modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/vrp-5.c (about) 1 /* { dg-require-effective-target int32plus } */ 2 extern void exit (int); 3 extern void abort (); 4 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 15 int main(int argc, char *argv[]) 16 { 17 unsigned int x = 0x80000000; 18 test(x, x); 19 exit (0); 20 } 21 22 23