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