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