[Bug tree-optimization/27639] [4.1/4.2 regression] VRP miscompilation of simple loop

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2006-05-17 12:17 -------
scev_probably_wraps_p returns false because we recorded a max of 49 iteration
from

(gdb) call debug_generic_expr ( loop->bounds->next->at_stmt)
D.1993_10 = (charD.3) ixD.1987_7

using infer_loop_bounds_from_undefined which is of course bogus.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org


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