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