1 2 3 4 5 6 7 8 9 10 11 12 13
/* PR tree-optimization/113210 */ unsigned char a, c; unsigned short b; void foo (void) { c = a + 255; b = c; while (++b > 256) ; }