[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-14 
20:25 -------
The other thing is that signed integer wrapping is defined if we add -fwrapv 
which means we now miss 
compile some java programs too.

Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |wrong-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-04-14 20:25:02
               date|                            |
            Summary|vrp miscompiles Ada front-  |[4.1 Regression] vrp
                   |end, drops loop exit test in|miscompiles Ada front-end,
                   |well-defined wrap-around    |drops loop exit test in
                   |circumstances               |well-defined wrap-around
                   |                            |circumstances
   Target Milestone|---                         |4.1.0


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