1 /* { dg-do run } */
2 /* { dg-options "-fwrapv" } */
3 
4 #include <limits.h>
5 extern void abort (void);
6 
f(int a,int b)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 
main()16 int main()
17 {
18   if (f (INT_MAX - 15, 41) != 1)
19     abort ();
20   return 0;
21 }
22