1 /* { dg-require-effective-target int32plus } */
2 extern void exit (int);
3 extern void abort ();
4 
test(unsigned int a,unsigned int b)5 void 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 
main(int argc,char * argv[])15 int main(int argc, char *argv[])
16 {
17   unsigned int x = 0x80000000;
18   test(x, x);
19   exit (0);
20 }
21 
22 
23 
24