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

[rakdver at gcc dot gnu dot org]

------- Comment #4 from rakdver at gcc dot gnu dot org  2006-05-17 13:02 -------
(In reply to comment #2)
> 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.

what is the scev of D.1993_10 in this statement?  It should be (char) [50000,
+, ~0u], if it is anything else, there is a problem in scev analysis.


-- 


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