| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283 |
- ///
- /// Remove unneeded semicolon.
- ///
- // Confidence: Moderate
- // Copyright: (C) 2012 Peter Senna Tschudin, INRIA/LIP6. GPLv2.
- // URL: http://coccinelle.lip6.fr/
- // Comments: Some false positives on empty default cases in switch statements.
- // Options: --no-includes --include-headers
- virtual patch
- virtual report
- virtual context
- virtual org
- @r_default@
- position p;
- @@
- switch (...)
- {
- default: ...;@p
- }
- @r_case@
- position p;
- @@
- (
- switch (...)
- {
- case ...:;@p
- }
- |
- switch (...)
- {
- case ...:...
- case ...:;@p
- }
- |
- switch (...)
- {
- case ...:...
- case ...:
- case ...:;@p
- }
- )
- @r1@
- statement S;
- position p1;
- position p != {r_default.p, r_case.p};
- identifier label;
- @@
- (
- label:;
- |
- S@p1;@p
- )
- @script:python@
- p << r1.p;
- p1 << r1.p1;
- @@
- if p[0].line != p1[0].line_end:
- cocci.include_match(False)
- @depends on patch@
- position r1.p;
- @@
- -;@p
- @script:python depends on report@
- p << r1.p;
- @@
- coccilib.report.print_report(p[0],"Unneeded semicolon")
- @depends on context@
- position r1.p;
- @@
- *;@p
- @script:python depends on org@
- p << r1.p;
- @@
- cocci.print_main("Unneeded semicolon",p)
|
