blob: fe73253a58739a3c3faebb9d3043c6010b84136f [file] [log] [blame]
void abort ();
void
f (long long a)
{
if ((a & 0xffffffffLL) != 0)
abort ();
}
long long a = 0x1234567800000000LL;
int
main ()
{
f (a);
return 0;
}