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