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