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

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2005-04-15 
13:10 -------
Then, shouldn't your patch check -fwrapv somehow? And if Ada relies on wrap 
around, does it enable -fwrapv?

-- 


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