1extern void abort (void);
2extern void exit (int);
3
4void t1 (int x)
5{
6  if (x != 4100)
7    abort ();
8}
9
10int t2 (void)
11{
12  int i;
13  t1 ((i = 4096) + 4);
14  return i;
15}
16
17void t3 (long long x)
18{
19  if (x != 0x80000fffULL)
20    abort ();
21}
22
23long long t4 (void)
24{
25  long long i;
26  t3 ((i = 4096) + 0x7fffffffULL);
27  return i;
28}
29
30main ()
31{
32  if (t2 () != 4096)
33    abort ();
34  if (t4 () != 4096)
35    abort ();
36  exit (0);
37}
38