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