[Bug tree-optimization/21029] [4.1 Regression] vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-14 20:42 -------
(In reply to comment #3)
> The other thing is that signed integer wrapping is defined if we add -fwrapv which means we now 
miss 
> compile some java programs too.

Actually I tried basically the same program with the casts removed and it worked, it has to do with the 
casts.

-- 


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