tests/dropparam.cocci

   1 @ rule1 disable add_signed @
   2 parameter list[n] P;
   3 identifier x;
   4 @@
   5
   6 f (P,int x,...) { ... }
   7
   8 @ rule3 disable add_signed @
   9 expression list[rule1.n] Es;
  10 expression E;
  11 identifier x;
  12 @@
  13
  14 g (Es,
  15 -    E,
  16    ...)
  17
  18 @ rule2 disable add_signed @
  19 parameter list[rule1.n] P;
  20 identifier x;
  21 @@
  22
  23 g (P,
  24 -    int x,
  25    ...) { ... }