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