Commit 4619c2b8304a0751d9ec2ba89e11f387977c8cb4
Committed by
Michal Marek
Michal Marek
1 parent
dd775ae254
Exists in
master
and in
20 other branches
scripts/coccinelle: address test is always true
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz>
Showing 1 changed file with 35 additions and 0 deletions Side-by-side Diff
scripts/coccinelle/misc/ifaddr.cocci
| 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) |