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