1/* PR tree-optimization/56250 */ 2 3extern void abort (void); 4 5int 6main () 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