Commit | Line | Data |
---|---|---|
61cb48c3 JL |
1 | /// Free of a structure field |
2 | /// | |
3 | // Confidence: High | |
4 | // Copyright: (C) 2013 Julia Lawall, INRIA/LIP6. GPLv2. | |
5 | // URL: http://coccinelle.lip6.fr/ | |
6 | // Comments: | |
93f14468 | 7 | // Options: --no-includes --include-headers |
61cb48c3 JL |
8 | |
9 | virtual org | |
10 | virtual report | |
11 | virtual context | |
12 | ||
13 | @r depends on context || report || org @ | |
14 | expression e; | |
15 | identifier f; | |
16 | position p; | |
17 | @@ | |
18 | ||
19 | * kfree@p(&e->f) | |
20 | ||
21 | @script:python depends on org@ | |
22 | p << r.p; | |
23 | @@ | |
24 | ||
25 | cocci.print_main("kfree",p) | |
26 | ||
27 | @script:python depends on report@ | |
28 | p << r.p; | |
29 | @@ | |
30 | ||
31 | msg = "ERROR: kfree of structure field" | |
32 | coccilib.report.print_report(p[0],msg) |