tests/fnty.cocci

   1 @structure@
   2 identifier idtype, y;
   3 type t;
   4 position p;
   5 @@
   6 struct idtype {
   7   ...
   8         t (*y)(...);@p
   9   ...
  10 };
  11
  12 @bad@
  13 identifier structure.idtype, y;
  14 type t;
  15 position p != structure.p;
  16 @@
  17
  18 struct idtype {
  19   ...
  20         t y;@p
  21   ...
  22 };
  23
  24 @depends on !bad@
  25 identifier structure.idtype;
  26 @@
  27 struct
  28 - idtype
  29 + newname
  30 {
  31   ...
  32 };