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