gnu/dist/gcc4/gcc/testsuite/gcc.c-torture/execute/vrp-5.c

   1 extern void exit (int);
   2 extern void abort ();
   3
   4 void test(unsigned int a, unsigned int b)
   5 {
   6   if (a < 5)
   7     abort();
   8   if (b < 5)
   9     abort();
  10   if (a + b != 0U)
  11     abort();
  12 }
  13
  14 int main(int argc, char *argv[])
  15 {
  16   unsigned int x = 0x80000000;
  17   test(x, x);
  18   exit (0);
  19 }
  20
  21
  22