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