[Bug middle-end/28651] [4.0 Regression] signed compare incorrectly false for (int)(U+4)<(int)U where U is unsigned INT_MAX (for optimized x86)

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2006-08-11 07:52 
-------
Fixed for 4.1.2 and 4.2.0.  No longer blocks PR26847.  Unassigning.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|26847                       |
              nThis|                            |
         AssignedTo|rguenth at gcc dot gnu dot  |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW
      Known to fail|2.95.4 3.3.6 3.4.6 4.0.3    |2.95.4 3.3.6 3.4.6 4.0.3
                   |4.1.2                       |4.1.1
      Known to work|4.2.0                       |4.2.0 4.1.2
            Summary|[4.0/4.1 Regression] signed |[4.0 Regression] signed
                   |compare incorrectly false   |compare incorrectly false
                   |for (int)(U+4)<(int)U where |for (int)(U+4)<(int)U where
                   |U is unsigned INT_MAX (for  |U is unsigned INT_MAX (for
                   |optimized  x86)             |optimized  x86)


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