1int f(long long a) __attribute__((noinline,noclone)); 2int f(long long a) 3{ 4 if (a & 0x3ffffffffffffffull) 5 return 1; 6 return 1024; 7} 8 9int 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