+++ /dev/null
-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);
-}