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