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