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