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