tests/posiso.c

   1 int main () {
   2   int *x;
   3   if (x == NULL) x = a; else x = b;
   4   if (!x) x = a; else x = b;
   5   if (x == a) x = a; else x = b;
   6   if (x == NULL) x = a;
   7   if (!x) x = a;
   8   if (x == a) x = a;
   9 }
  10
  11