1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
void abort (); void f (long long a) { if ((a & 0xffffffffLL) != 0) abort (); } long long a = 0x1234567800000000LL; int main () { f (a); return 0; }