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