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

2006-08-11 Thread rguenth at gcc dot gnu dot org
--- Comment #11 from rguenth at gcc dot gnu dot org 2006-08-11 07:44 --- Subject: Bug 28651 Author: rguenth Date: Fri Aug 11 07:44:45 2006 New Revision: 116079 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116079 Log: 2006-08-11 Richard Guenther <[EMAIL PROTECTED]>

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

2006-08-10 Thread pinskia at gcc dot gnu dot org
--- Comment #10 from pinskia at gcc dot gnu dot org 2006-08-10 16:53 --- (In reply to comment #9) > Here is a testcase which makes this a regression: I forgot to say this testcase worked in 3.4.0 but failed in 4.0.0. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28651

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

2006-08-10 Thread pinskia at gcc dot gnu dot org
--- Comment #9 from pinskia at gcc dot gnu dot org 2006-08-10 16:44 --- Here is a testcase which makes this a regression: extern void abort (void); int foo (unsigned int u) { unsigned t; for (t=0;t!=u;t++) ; return (int)(t + 4) < (int)u; } int main (int argc, char *argv[]) { uns