[Bug tree-optimization/26270] missed vrp optimization with unsigned comparison

Mon Feb 13 23:59:00 GMT 2006

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-02-13 23:59 -------
(In reply to comment #1)
> f1 in the following is optimized to f2
> but f3 isn't seen as equivalent to f4

These are because fold is not recalled on the full expression a < CST0 && a +
CST1 < CST0.

Confirmed.

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |missed-optimization
   Last reconfirmed|0000-00-00 00:00:00         |2006-02-13 23:59:09
               date|                            |

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