Hi! The bug in this PR has been introduced by my r204516 change and fixed by r205884 (PR59417) fix.
I've committed the testcase as obvious so that we can close the PR. 2013-12-20 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/59413 * gcc.c-torture/execute/pr59413.c: New test. --- gcc/testsuite/gcc.c-torture/execute/pr59413.c.jj 2013-12-20 13:59:46.518654547 +0100 +++ gcc/testsuite/gcc.c-torture/execute/pr59413.c 2013-12-20 13:59:29.000000000 +0100 @@ -0,0 +1,21 @@ +/* PR tree-optimization/59413 */ + +typedef unsigned int uint32_t; + +uint32_t a; +int b; + +int +main () +{ + uint32_t c; + for (a = 7; a <= 1; a++) + { + char d = a; + c = d; + b = a == c; + } + if (a != 7) + __builtin_abort (); + return 0; +} Jakub