1/* { dg-require-effective-target int32plus } */
2extern void exit (int);
3extern void abort ();
4
5void test(unsigned int a, unsigned int b)
6{
7  if (a < 5)
8    abort();
9  if (b < 5)
10    abort();
11  if (a + b != 0U)
12    abort();
13}
14
15int main(int argc, char *argv[])
16{
17  unsigned int x = 0x80000000;
18  test(x, x);
19  exit (0);
20}
21
22
23
24