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