[Bug rtl-optimization/28651] 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 #2 from rguenth at gcc dot gnu dot org  2006-08-08 16:13 -------
ppc also broken.  But not a regression, so technically FIXED.  Still this looks
like something we want to fix - but maybe someone can convince me it is
undefined ;)

Shorter testcase ("folds" to return 0):

int foo(unsigned u)
{
  return (int)(u + 4) < (int)u;
}


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 GCC target triplet|i686-*-*                    |
      Known to fail|                            |2.95.4 3.3.6 3.4.6 4.0.3
                   |                            |4.1.2
      Known to work|                            |4.2.0


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