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