1  /* { dg-do run } */
       2  
       3  #include <limits.h>
       4  extern void abort (void);
       5  
       6  int f(int a, int b)
       7  {
       8    if (a > INT_MAX - 15) return 0;
       9    if (b > INT_MAX - 15) return 0;
      10  
      11    int c = (a - 20) + (b - 20);
      12    return c > INT_MAX - 15;
      13  }
      14  
      15  int main()
      16  {
      17    if (f (INT_MAX - 15, 41) != 1)
      18      abort ();
      19    return 0;
      20  }