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