admin/coccinelle/double_unbind.cocci

   1 @double_unbind@
   2 identifier X1;
   3 position p;
   4 @@
   5 unbind_to (X1, ...)
   6 ... when != X1 = SPECPDL_INDEX ()
   7 unbind_to@p (X1, ...)
   8
   9 @script:python@
  10 p << double_unbind.p;
  11 @@
  12 coccilib.report.print_report (p[0], "double unbind")
  13
  14 @count_condition@
  15 identifier X1;
  16 position p;
  17 @@
  18 X1 = SPECPDL_INDEX ()
  19 ...
  20 if (<+... X1@p ...+>) { ... }
  21
  22 @script:python@
  23 p << count_condition.p;
  24 @@
  25 coccilib.report.print_report (p[0], "specpdl count in condition")