diff options
author | Linus Torvalds <torvalds@linux-foundation.org> | 2013-02-27 15:27:18 -0500 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2013-02-27 15:27:18 -0500 |
commit | ad60a9333035f2323840b71ab8ad07bbab728faf (patch) | |
tree | c0bee7557b62a0c1c26ede9cb26f1a1785cfd04c /scripts/coccinelle/misc/semicolon.cocci | |
parent | 0ca7ffb356063c5ece847687da457dfe748612a2 (diff) | |
parent | 24f0c2d6ff859fbca45fd765f0d241528bdb4365 (diff) |
Merge branch 'misc' of git://git.kernel.org/pub/scm/linux/kernel/git/mmarek/kbuild
Pull misc non-critical kbuild changes from Michal Marek:
- Fix for make TAGS
- Fix for make rpm
- Some new coccinelle semantic patches
* 'misc' of git://git.kernel.org/pub/scm/linux/kernel/git/mmarek/kbuild:
scripts/coccinelle: find constant additions that could be bit ors
coccicheck: Allow to show the executed command line
coccicheck: Allow the user to give a V= (verbose) argument
scripts/coccinelle/misc/memcpy-assign.cocci: Replace memcpy with struct assignment
kbuild: clear KBUILD_SRC when calling 'make' in RPM spec
scripts/coccinelle/misc/semicolon.cocci: Add unneeded semicolon test
scripts/tags.sh: Fix regex syntax for etags
Diffstat (limited to 'scripts/coccinelle/misc/semicolon.cocci')
-rw-r--r-- | scripts/coccinelle/misc/semicolon.cocci | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/scripts/coccinelle/misc/semicolon.cocci b/scripts/coccinelle/misc/semicolon.cocci new file mode 100644 index 000000000000..a47eba2edc9e --- /dev/null +++ b/scripts/coccinelle/misc/semicolon.cocci | |||
@@ -0,0 +1,83 @@ | |||
1 | /// | ||
2 | /// Removes unneeded semicolon. | ||
3 | /// | ||
4 | // Confidence: Moderate | ||
5 | // Copyright: (C) 2012 Peter Senna Tschudin, INRIA/LIP6. GPLv2. | ||
6 | // URL: http://coccinelle.lip6.fr/ | ||
7 | // Comments: Some false positives on empty default cases in switch statements. | ||
8 | // Options: --no-includes --include-headers | ||
9 | |||
10 | virtual patch | ||
11 | virtual report | ||
12 | virtual context | ||
13 | virtual org | ||
14 | |||
15 | @r_default@ | ||
16 | position p; | ||
17 | @@ | ||
18 | switch (...) | ||
19 | { | ||
20 | default: ...;@p | ||
21 | } | ||
22 | |||
23 | @r_case@ | ||
24 | position p; | ||
25 | @@ | ||
26 | ( | ||
27 | switch (...) | ||
28 | { | ||
29 | case ...:;@p | ||
30 | } | ||
31 | | | ||
32 | switch (...) | ||
33 | { | ||
34 | case ...:... | ||
35 | case ...:;@p | ||
36 | } | ||
37 | | | ||
38 | switch (...) | ||
39 | { | ||
40 | case ...:... | ||
41 | case ...: | ||
42 | case ...:;@p | ||
43 | } | ||
44 | ) | ||
45 | |||
46 | @r1@ | ||
47 | statement S; | ||
48 | position p1; | ||
49 | position p != {r_default.p, r_case.p}; | ||
50 | identifier label; | ||
51 | @@ | ||
52 | ( | ||
53 | label:; | ||
54 | | | ||
55 | S@p1;@p | ||
56 | ) | ||
57 | |||
58 | @script:python@ | ||
59 | p << r1.p; | ||
60 | p1 << r1.p1; | ||
61 | @@ | ||
62 | if p[0].line != p1[0].line_end: | ||
63 | cocci.include_match(False) | ||
64 | |||
65 | @depends on patch@ | ||
66 | position r1.p; | ||
67 | @@ | ||
68 | -;@p | ||
69 | |||
70 | @script:python depends on report@ | ||
71 | p << r1.p; | ||
72 | @@ | ||
73 | coccilib.report.print_report(p[0],"Unneeded semicolon") | ||
74 | |||
75 | @depends on context@ | ||
76 | position r1.p; | ||
77 | @@ | ||
78 | *;@p | ||
79 | |||
80 | @script:python depends on org@ | ||
81 | p << r1.p; | ||
82 | @@ | ||
83 | cocci.print_main("Unneeded semicolon",p) | ||