summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/torture/pr30364-2.c
blob: d8b678d53c17480f036ddc9ff13a13b0f17ed048 (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(unsigned int a, unsigned 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;
}