summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/vrp-5.c
blob: 8f3c7255a02134d0e4f1e1eec72c95f16e8d2f05 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
extern void exit (int);
extern void abort ();

void test(unsigned int a, unsigned int b)
{
  if (a < 5)
    abort();
  if (b < 5)
    abort();
  if (a + b != 0U)
    abort();
}

int main(int argc, char *argv[])
{
  unsigned int x = 0x80000000;
  test(x, x);
  exit (0);
}