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