gcc/testsuite/gcc.c-torture/execute/vrp-5.c

   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