------- Comment #1 from jakub at gcc dot gnu dot org 2009-09-29 07:23 ------- Fails on x86_64-linux too, the bug first appears in sccp. extern void abort (void);
static unsigned short bar (unsigned short x, unsigned short y) { return x + y; } unsigned int a; unsigned char b, c; void foo (void) { for (b = 0; b <= 0; b = 1) for (a = -13; a == 0; a = bar (a, 0)) c = 1; } int main () { foo (); if (a != -13) abort (); return 0; } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41497