404

[ Avaa Bypassed ]




Upload:

Command:

botdev@18.117.146.157: ~ $
///
/// 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)

Filemanager

Name Type Size Permission Actions
array_size.cocci File 1.66 KB 0644
badty.cocci File 1.68 KB 0644
boolconv.cocci File 1.44 KB 0644
boolinit.cocci File 2.2 KB 0644
boolreturn.cocci File 698 B 0644
bugon.cocci File 1.45 KB 0644
cond_no_effect.cocci File 2.04 KB 0644
cstptr.cocci File 827 B 0644
doubleinit.cocci File 1.36 KB 0644
ifaddr.cocci File 659 B 0644
ifcol.cocci File 1.21 KB 0644
irqf_oneshot.cocci File 1.91 KB 0644
noderef.cocci File 1.17 KB 0644
of_table.cocci File 1.33 KB 0644
orplus.cocci File 1 KB 0644
returnvar.cocci File 1.22 KB 0644
semicolon.cocci File 1.04 KB 0644
warn.cocci File 1.62 KB 0644