projects / mirror_ubuntu-artful-kernel.git / blame
| Commit | Line | Data |
|---|---|---|
| 033456e2 NP |
1 | /// Find duplicate field initializations. This has a high rate of false |
| 2 | /// positives due to #ifdefs, which Coccinelle is not aware of in a structure | |
| 3 | /// initialization. | |
| 4 | /// | |
| 5 | // Confidence: Low | |
| 29a36d4d JL |
6 | // Copyright: (C) 2010-2012 Nicolas Palix. GPLv2. |
| 7 | // Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. GPLv2. | |
| 8 | // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2. | |
| 033456e2 | 9 | // URL: http://coccinelle.lip6.fr/ |
| a1087ef6 | 10 | // Comments: requires at least Coccinelle 0.2.4, lex or parse error otherwise |
| 93f14468 | 11 | // Options: --no-includes --include-headers |
| 033456e2 NP |
12 | |
| 13 | virtual org | |
| 14 | virtual report | |
| 15 | ||
| 16 | @r@ | |
| 17 | identifier I, s, fld; | |
| 18 | position p0,p; | |
| 19 | expression E; | |
| 20 | @@ | |
| 21 | ||
| a1087ef6 | 22 | struct I s =@p0 { ..., .fld@p = E, ...}; |
| 033456e2 NP |
23 | |
| 24 | @s@ | |
| 25 | identifier I, s, r.fld; | |
| 26 | position r.p0,p; | |
| 27 | expression E; | |
| 28 | @@ | |
| 29 | ||
| a1087ef6 | 30 | struct I s =@p0 { ..., .fld@p = E, ...}; |
| 033456e2 NP |
31 | |
| 32 | @script:python depends on org@ | |
| 33 | p0 << r.p0; | |
| 34 | fld << r.fld; | |
| 35 | ps << s.p; | |
| 36 | pr << r.p; | |
| 37 | @@ | |
| 38 | ||
| 39 | if int(ps[0].line) < int(pr[0].line) or (int(ps[0].line) == int(pr[0].line) and int(ps[0].column) < int(pr[0].column)): | |
| 40 | cocci.print_main(fld,p0) | |
| 41 | cocci.print_secs("s",ps) | |
| 42 | cocci.print_secs("r",pr) | |
| 43 | ||
| 44 | @script:python depends on report@ | |
| 45 | p0 << r.p0; | |
| 46 | fld << r.fld; | |
| 47 | ps << s.p; | |
| 48 | pr << r.p; | |
| 49 | @@ | |
| 50 | ||
| 51 | if int(ps[0].line) < int(pr[0].line) or (int(ps[0].line) == int(pr[0].line) and int(ps[0].column) < int(pr[0].column)): | |
| 29a36d4d | 52 | msg = "%s: first occurrence line %s, second occurrence line %s" % (fld,ps[0].line,pr[0].line) |
| 033456e2 | 53 | coccilib.report.print_report(p0[0],msg) |