1 2 3 4 5 6 7 8 9 10 11 12 13
/* PR tree-optimization/56250 */ extern void abort (void); int main () { unsigned int x = 2; unsigned int y = (0U - x / 2) / 2; if (-1U / x != y) abort (); return 0; }