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