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