demos/posmult.cocci

   1 @n@
   2 position p;
   3 expression E;
   4 statement S,S1;
   5 @@
   6
   7 E = NULL
   8 ... when != E = ALLOC(...)
   9 if@p (\(E\|!E\)) S else S1
  10
  11 @@
  12 expression E, E1;
  13 statement S,S1;
  14 position p1 != n.p;
  15 @@
  16
  17 * E = ALLOC(...)
  18 ... when != E = E1
  19 * if@p1 (\(E\|!E\))
  20  S else S1