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

[aoliva at gcc dot gnu dot org]

------- Additional Comments From aoliva at gcc dot gnu dot org  2005-04-15 
02:40 -------
> Hmm?  VRP is automatically enabled at -O2 and higher.

But it doesn't run unless we find some ASSERT_EXPR, and if all we have is a
simple loop, no such ASSERT_EXPR is introduced.

-- 


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