| extern void abort (void); | |
| extern void exit (int); | |
| void t1 (int x) | |
| { | |
| if (x != 4100) | |
| abort (); | |
| } | |
| int t2 (void) | |
| { | |
| int i; | |
| t1 ((i = 4096) + 4); | |
| return i; | |
| } | |
| void t3 (long long x) | |
| { | |
| if (x != 0x80000fffULL) | |
| abort (); | |
| } | |
| long long t4 (void) | |
| { | |
| long long i; | |
| t3 ((i = 4096) + 0x7fffffffULL); | |
| return i; | |
| } | |
| main () | |
| { | |
| if (t2 () != 4096) | |
| abort (); | |
| if (t4 () != 4096) | |
| abort (); | |
| exit (0); | |
| } |