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