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