blob: cf74a00cf59740d51f828f3140460f77268c1d40 [file] [log] [blame]
Nicolas Palix033456e2010-08-24 17:39:11 +02001/// 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
Julia Lawall29a36d42012-01-14 23:41:54 +01006// 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.
Nicolas Palix033456e2010-08-24 17:39:11 +02009// URL: http://coccinelle.lip6.fr/
Julia Lawalla1087ef2010-11-24 15:54:18 +010010// Comments: requires at least Coccinelle 0.2.4, lex or parse error otherwise
Nicolas Palix033456e2010-08-24 17:39:11 +020011// Options: -no_includes -include_headers
12
13virtual org
14virtual report
15
16@r@
17identifier I, s, fld;
18position p0,p;
19expression E;
20@@
21
Julia Lawalla1087ef2010-11-24 15:54:18 +010022struct I s =@p0 { ..., .fld@p = E, ...};
Nicolas Palix033456e2010-08-24 17:39:11 +020023
24@s@
25identifier I, s, r.fld;
26position r.p0,p;
27expression E;
28@@
29
Julia Lawalla1087ef2010-11-24 15:54:18 +010030struct I s =@p0 { ..., .fld@p = E, ...};
Nicolas Palix033456e2010-08-24 17:39:11 +020031
32@script:python depends on org@
33p0 << r.p0;
34fld << r.fld;
35ps << s.p;
36pr << r.p;
37@@
38
39if 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@
45p0 << r.p0;
46fld << r.fld;
47ps << s.p;
48pr << r.p;
49@@
50
51if 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)):
Julia Lawall29a36d42012-01-14 23:41:54 +010052 msg = "%s: first occurrence line %s, second occurrence line %s" % (fld,ps[0].line,pr[0].line)
Nicolas Palix033456e2010-08-24 17:39:11 +020053 coccilib.report.print_report(p0[0],msg)