1  /* { dg-do run } */
       2  
       3  extern void abort (void);
       4  
       5  int foo (int x)
       6  {
       7    return (x / 2) / ((-__INT_MAX__ - 1) / -2);
       8  }
       9  
      10  int main()
      11  {
      12    if (foo (- __INT_MAX__ - 1) != -1)
      13      abort ();
      14    return 0;
      15  }