tests/positionc.cocci

   1 @x disable all@
   2 position p;
   3 expression E;
   4 expression A;
   5 statement S1, S2;
   6 @@
   7
   8 if@p (foo(E,A)) S1 else S2
   9
  10 // here the incoming environment is p = 1,2 E = 6 and p = 3 E = 7
  11 @disable all@
  12 position p1 != x.p;
  13 expression x.E;
  14 expression B;
  15 statement S1, S2;
  16 @@
  17
  18 - if@p1 (foo(E,B)) S1 else S2
  19
  20 @y disable all@
  21 position p;
  22 expression E;
  23 expression A;
  24 statement S1, S2;
  25 @@
  26
  27 if@p (bar(E,A)) S1 else S2
  28
  29 // here the incoming environment is p = 4,5 E = 6 and p = 6 E = 7
  30 @disable all@
  31 position p1 != y.p;
  32 expression y.E;
  33 expression C;
  34 statement S1, S2;
  35 @@
  36
  37 - if@p1 (bar(C,E)) S1 else S2