blob: 6aa5665fbaf9f7ab93b209509fd0bd4b0195bf32 [file] [log] [blame]
int f(long long a) __attribute__((noinline,noclone));
int f(long long a)
{
if (a & 0x3ffffffffffffffull)
return 1;
return 1024;
}
int main(void)
{
if(f(0x48375d8000000000ull) != 1)
__builtin_abort ();
if (f(0xfc00000000000000ull) != 1024)
__builtin_abort ();
return 0;
}