[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.