tests/if.res

   1 int main () {
   2   before();
   3   f(x);
   4   after();
   5   before();
   6   g(x);
   7   after();
   8 }
   9
  10 int main1 () {
  11   before();
  12   f(x);
  13   if (x == NULL) {
  14     before();
  15     g(x);
  16   }
  17 }
  18
  19 int main1 () {
  20   before();
  21   f(x);
  22   while (x == NULL) {
  23     if (q == 3) {
  24       before();
  25       g(x);
  26     }
  27   }
  28   x = 6;
  29 }
  30 int main2 () {
  31   before();
  32   f(x);
  33   if (x == NULL || y == 2) {
  34     before();
  35     g(x);
  36   }
  37 }
  38