1 int f(long long a) __attribute__((noinline,noclone));
f(long long a)2 int f(long long a)
3 {
4   if (a & 0x3ffffffffffffffull)
5     return 1;
6   return 1024;
7 }
8 
main(void)9 int main(void)
10 {
11   if(f(0x48375d8000000000ull) != 1)
12     __builtin_abort ();
13   if (f(0xfc00000000000000ull) != 1024)
14     __builtin_abort ();
15   return 0;
16 }
17 
18