[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-15 
13:39 -------
(In reply to comment #7)
> Then, shouldn't your patch check -fwrapv somehow? And if Ada relies on wrap 
> around, does it enable -fwrapv?

Huh, the testcase is still defined C even though signed overflow is undefined 
since it is overflowing 
while in unsigned.

-- 


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