tests/posiso.cocci

   1 @x@
   2 position p1,p2;
   3 expression E;
   4 statement S1, S2;
   5 @@
   6
   7 if@p1 (E ==@p2 NULL) S1 else S2
   8
   9 @@
  10 position x.p1;
  11 statement S1, S2;
  12 @@
  13
  14 - if@p1 (...) S1 else S2