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