[Bug tree-optimization/21959] [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-06-17 20:54 -------
Why does ivcanon/tree-ssa-loop-niter gets this correct (at 128) but VRP cannot.

-- 


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