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

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