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