]>
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) |