gcc/testsuite/gcc.dg/tree-ssa/vrp74.c

   1 /* { dg-options "-O2" } */
   2
   3 void abort (void);
   4 void exit (int);
   5
   6 __attribute__ ((noinline)) void
   7 f (unsigned long long i)
   8 {
   9   if (i <= 0x1000000000000000ull)
  10     {
  11       unsigned long long j = i | 0x1000000000000000ull;
  12       if (j == 0x1100000000000000ull)
  13         exit (0);
  14     }
  15 }
  16
  17 int
  18 main ()
  19 {
  20   f (0x0100000000000000ull);
  21   abort ();
  22 }
  23