1extern void abort (void); 2 3long long 4f (long long a, long long b) 5{ 6 return ((a + b) << 32) >> 32; 7} 8 9long long a = 0x1234567876543210LL; 10long long b = 0x2345678765432101LL; 11long long c = ((0x1234567876543210LL + 0x2345678765432101LL) << 32) >> 32; 12 13int 14main () 15{ 16 if (f (a, b) != c) 17 abort (); 18 return 0; 19} 20