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

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2005-06-27 
17:05 -------
(In reply to comment #12)
> Why does ivcanon/tree-ssa-loop-niter gets this correct (at 128) but VRP 
> cannot.
>
Wrong.  scev fails to tell us that this variable may wrap around.


-- 


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