1 /* { dg-options "-O2" } */ 2 3 void abort (void); 4 void exit (int); 5 6 __attribute__ ((noinline)) void f(unsigned long long i)7f (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 main()18main () 19 { 20 f (0x0100000000000000ull); 21 abort (); 22 } 23 24