Commit | Line | Data |
---|---|---|
3dcf03a6 BT |
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") |