diff options
Diffstat (limited to 'scripts/coccinelle/misc/ifaddr.cocci')
| -rw-r--r-- | scripts/coccinelle/misc/ifaddr.cocci | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/scripts/coccinelle/misc/ifaddr.cocci b/scripts/coccinelle/misc/ifaddr.cocci deleted file mode 100644 index 3e4089a7700..00000000000 --- a/scripts/coccinelle/misc/ifaddr.cocci +++ /dev/null | |||
| @@ -1,35 +0,0 @@ | |||
| 1 | /// the address of a variable or field is non-zero is likely always to bo | ||
| 2 | /// non-zero | ||
| 3 | /// | ||
| 4 | // Confidence: High | ||
| 5 | // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. | ||
| 6 | // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. | ||
| 7 | // URL: http://coccinelle.lip6.fr/ | ||
| 8 | // Comments: | ||
| 9 | // Options: -no_includes -include_headers | ||
| 10 | |||
| 11 | virtual org | ||
| 12 | virtual report | ||
| 13 | virtual context | ||
| 14 | |||
| 15 | @r@ | ||
| 16 | expression x; | ||
| 17 | statement S1,S2; | ||
| 18 | position p; | ||
| 19 | @@ | ||
| 20 | |||
| 21 | *if@p (&x) | ||
| 22 | S1 else S2 | ||
| 23 | |||
| 24 | @script:python depends on org@ | ||
| 25 | p << r.p; | ||
| 26 | @@ | ||
| 27 | |||
| 28 | cocci.print_main("test of a variable/field address",p) | ||
| 29 | |||
| 30 | @script:python depends on report@ | ||
| 31 | p << r.p; | ||
| 32 | @@ | ||
| 33 | |||
| 34 | msg = "ERROR: test of a variable/field address" | ||
| 35 | coccilib.report.print_report(p[0],msg) | ||
