test/test9.c

   1 /* Test 9 setjmp with register variables.       Author: Ceriel Jacobs */
   2
   3 #include <sys/types.h>
   4 #include <setjmp.h>
   5 #include <signal.h>
   6
   7 #define MAX_ERROR 4
   8
   9 #include "common.c"
  10
  11 char *tmpa;
  12
  13 _PROTOTYPE(int main, (int argc, char *argv []));
  14 _PROTOTYPE(void test9a, (void));
  15 _PROTOTYPE(void test9b, (void));
  16 _PROTOTYPE(void test9c, (void));
  17 _PROTOTYPE(void test9d, (void));
  18 _PROTOTYPE(void test9e, (void));
  19 _PROTOTYPE(void test9f, (void));
  20 _PROTOTYPE(char *addr, (void));
  21 _PROTOTYPE(void garbage, (void));
  22 _PROTOTYPE(void  level1, (void));
  23 _PROTOTYPE(void level2, (void));
  24 _PROTOTYPE(void dolev, (void));
  25 _PROTOTYPE(void catch, (int s));
  26 _PROTOTYPE(void hard, (void));
  27
  28 int main(argc, argv)
  29 int argc;
  30 char *argv[];
  31 {
  32   jmp_buf envm;
  33   int i, j, m = 0xFFFF;
  34
  35   start(9);
  36   if (argc == 2) m = atoi(argv[1]);
  37   for (j = 0; j < 100; j++) {
  38         if (m & 00001) test9a();
  39         if (m & 00002) test9b();
  40         if (m & 00004) test9c();
  41         if (m & 00010) test9d();
  42         if (m & 00020) test9e();
  43         if (m & 00040) test9f();
  44   }
  45   if (errct) quit();
  46   i = 1;
  47   if (setjmp(envm) == 0) {
  48         i = 2;
  49         longjmp(envm, 1);
  50   } else {
  51         if (i == 2) {
  52                 /* Correct */
  53         } else if (i == 1) {
  54                 printf("WARNING: The setjmp/longjmp of this machine restore register variables\n\
  55 to the value they had at the time of the Setjmp\n");
  56         } else {
  57                 printf("Aha, I just found one last error\n");
  58                 return 1;
  59         }
  60   }
  61   quit();
  62   return(-1);                   /* impossible */
  63 }
  64
  65 void test9a()
  66 {
  67   register p;
  68
  69   subtest = 1;
  70   p = 200;
  71   garbage();
  72   if (p != 200) e(1);
  73 }
  74
  75 void test9b()
  76 {
  77   register p, q;
  78
  79   subtest = 2;
  80   p = 200;
  81   q = 300;
  82   garbage();
  83   if (p != 200) e(1);
  84   if (q != 300) e(2);
  85 }
  86
  87 void test9c()
  88 {
  89   register p, q, r;
  90
  91   subtest = 3;
  92   p = 200;
  93   q = 300;
  94   r = 400;
  95   garbage();
  96   if (p != 200) e(1);
  97   if (q != 300) e(2);
  98   if (r != 400) e(3);
  99 }
 100
 101 char buf[512];
 102
 103 void test9d()
 104 {
 105   register char *p;
 106
 107   subtest = 4;
 108   p = &buf[100];
 109   garbage();
 110   if (p != &buf[100]) e(1);
 111 }
 112
 113 void test9e()
 114 {
 115   register char *p, *q;
 116
 117   subtest = 5;
 118   p = &buf[100];
 119   q = &buf[200];
 120   garbage();
 121   if (p != &buf[100]) e(1);
 122   if (q != &buf[200]) e(2);
 123 }
 124
 125 void test9f()
 126 {
 127   register char *p, *q, *r;
 128
 129   subtest = 6;
 130   p = &buf[100];
 131   q = &buf[200];
 132   r = &buf[300];
 133   garbage();
 134   if (p != &buf[100]) e(1);
 135   if (q != &buf[200]) e(2);
 136   if (r != &buf[300]) e(3);
 137 }
 138
 139 jmp_buf env;
 140
 141 /*      return address of local variable.
 142   This way we can check that the stack is not polluted.
 143 */
 144 char *
 145  addr()
 146 {
 147   char a;
 148
 149   return &a;
 150 }
 151
 152 void garbage()
 153 {
 154   register i, j, k;
 155   register char *p, *q, *r;
 156   char *a;
 157
 158   p = &buf[300];
 159   q = &buf[400];
 160   r = &buf[500];
 161   i = 10;
 162   j = 20;
 163   k = 30;
 164   switch (setjmp(env)) {
 165       case 0:
 166         a = addr();
 167 #ifdef __GNUC__
 168         /*
 169          * to defeat the smartness of the GNU C optimizer we pretend we
 170          * use 'a'. Otherwise the optimizer will not detect the looping
 171          * effectuated by setjmp/longjmp, so that it thinks it can get
 172          * rid of the assignment to 'a'.
 173          */
 174         srand((unsigned)&a);
 175 #endif
 176         longjmp(env, 1);
 177         break;
 178       case 1:
 179         if (i != 10) e(11);
 180         if (j != 20) e(12);
 181         if (k != 30) e(13);
 182         if (p != &buf[300]) e(14);
 183         if (q != &buf[400]) e(15);
 184         if (r != &buf[500]) e(16);
 185         tmpa = addr();
 186         if (a != tmpa) e(17);
 187         level1();
 188         break;
 189       case 2:
 190         if (i != 10) e(21);
 191         if (j != 20) e(22);
 192         if (k != 30) e(23);
 193         if (p != &buf[300]) e(24);
 194         if (q != &buf[400]) e(25);
 195         if (r != &buf[500]) e(26);
 196         tmpa = addr();
 197         if (a != tmpa) e(27);
 198         level2();
 199         break;
 200       case 3:
 201         if (i != 10) e(31);
 202         if (j != 20) e(32);
 203         if (k != 30) e(33);
 204         if (p != &buf[300]) e(34);
 205         if (q != &buf[400]) e(35);
 206         if (r != &buf[500]) e(36);
 207         tmpa = addr();
 208         if (a != tmpa) e(37);
 209         hard();
 210       case 4:
 211         if (i != 10) e(41);
 212         if (j != 20) e(42);
 213         if (k != 30) e(43);
 214         if (p != &buf[300]) e(44);
 215         if (q != &buf[400]) e(45);
 216         if (r != &buf[500]) e(46);
 217         tmpa = addr();
 218         if (a != tmpa) e(47);
 219         return;
 220         break;
 221       default:  e(100);
 222   }
 223   e(200);
 224 }
 225
 226 void level1()
 227 {
 228   register char *p;
 229   register i;
 230
 231   i = 1000;
 232   p = &buf[10];
 233   i = 200;
 234   p = &buf[20];
 235   longjmp(env, 2);
 236 }
 237
 238 void level2()
 239 {
 240   register char *p;
 241   register i;
 242
 243   i = 0200;
 244   p = &buf[2];
 245   *p = i;
 246   dolev();
 247 }
 248
 249 void dolev()
 250 {
 251   register char *p;
 252   register i;
 253
 254   i = 010;
 255   p = &buf[3];
 256   *p = i;
 257   longjmp(env, 3);
 258 }
 259
 260 void catch(s)
 261 int s;
 262 {
 263   longjmp(env, 4);
 264 }
 265
 266 void hard()
 267 {
 268   register char *p;
 269
 270   signal(SIGHUP, catch);
 271   for (p = buf; p <= &buf[511]; p++) *p = 025;
 272   kill(getpid(), SIGHUP);
 273 }