[Bug tree-optimization/55079] [4.8 regression] false positive -Warray-bounds (also seen at -O3 bootstrap)

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079

--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-10 13:50:15 UTC ---
For the testcase in comment#1 we have

Found new range for len_10: [1, 7]


Visiting statement:
len_17 = MIN_EXPR <len_10, len_11(D)>;

Found new range for len_17: [0, +INF]

which should have been [0, 7] I think.  That fixes the testcase from comment#1.