linux_dsm_epyc7002/scripts/coccinelle/misc/semicolon.cocci

// SPDX-License-Identifier: GPL-2.0-only
///
/// Remove unneeded semicolon.
///
// Confidence: Moderate
// Copyright: (C) 2012 Peter Senna Tschudin, INRIA/LIP6.
// 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)
treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 505 Based on 1 normalized pattern(s): gplv2 extracted by the scancode license scanner the SPDX license identifier GPL-2.0-only has been chosen to replace the boilerplate/reference in 58 file(s). Signed-off-by: Thomas Gleixner <tglx@linutronix.de> Reviewed-by: Enrico Weigelt <info@metux.net> Reviewed-by: Allison Randal <allison@lohutok.net> Reviewed-by: Kate Stewart <kstewart@linuxfoundation.org> Cc: linux-spdx@vger.kernel.org Link: https://lkml.kernel.org/r/20190604081207.556988620@linutronix.de Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org> 2019-06-04 15:11:38 +07:00			`// SPDX-License-Identifier: GPL-2.0-only`
scripts/coccinelle/misc/semicolon.cocci: Add unneeded semicolon test This semantic patch looks for semicolons that can be removed without changing the semantics of the code. The confidence is moderate because there are some false positives on cases like: b/drivers/mmc/host/cb710-mmc.c:589 break; case MMC_POWER_UP: default: - /* ignore */; } There are 37 patches accepted reported by this semantic patch and more than 300 fixes to be applied. Signed-off-by: Peter Senna Tschudin <peter.senna@gmail.com> Signed-off-by: Michal Marek <mmarek@suse.cz> 2012-12-09 00:34:34 +07:00			`///`
scripts/coccinelle/misc/semicolon.cocci: Use imperative mood According to Documentation/SubmittingPatches: "Describe your changes in imperative mood, e.g. "make xyzzy do frotz" instead of "[This patch] makes xyzzy do frotz" or "[I] changed xyzzy to do frotz", as if you are giving orders to the codebase to change its behaviour. So do as recommended. Signed-off-by: Fabio Estevam <fabio.estevam@freescale.com> Acked-by: Julia Lawall <julia.lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 2015-05-20 18:02:34 +07:00			`/// Remove unneeded semicolon.`
scripts/coccinelle/misc/semicolon.cocci: Add unneeded semicolon test This semantic patch looks for semicolons that can be removed without changing the semantics of the code. The confidence is moderate because there are some false positives on cases like: b/drivers/mmc/host/cb710-mmc.c:589 break; case MMC_POWER_UP: default: - /* ignore */; } There are 37 patches accepted reported by this semantic patch and more than 300 fixes to be applied. Signed-off-by: Peter Senna Tschudin <peter.senna@gmail.com> Signed-off-by: Michal Marek <mmarek@suse.cz> 2012-12-09 00:34:34 +07:00			`///`
			`// Confidence: Moderate`
treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 505 Based on 1 normalized pattern(s): gplv2 extracted by the scancode license scanner the SPDX license identifier GPL-2.0-only has been chosen to replace the boilerplate/reference in 58 file(s). Signed-off-by: Thomas Gleixner <tglx@linutronix.de> Reviewed-by: Enrico Weigelt <info@metux.net> Reviewed-by: Allison Randal <allison@lohutok.net> Reviewed-by: Kate Stewart <kstewart@linuxfoundation.org> Cc: linux-spdx@vger.kernel.org Link: https://lkml.kernel.org/r/20190604081207.556988620@linutronix.de Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org> 2019-06-04 15:11:38 +07:00			`// Copyright: (C) 2012 Peter Senna Tschudin, INRIA/LIP6.`
scripts/coccinelle/misc/semicolon.cocci: Add unneeded semicolon test This semantic patch looks for semicolons that can be removed without changing the semantics of the code. The confidence is moderate because there are some false positives on cases like: b/drivers/mmc/host/cb710-mmc.c:589 break; case MMC_POWER_UP: default: - /* ignore */; } There are 37 patches accepted reported by this semantic patch and more than 300 fixes to be applied. Signed-off-by: Peter Senna Tschudin <peter.senna@gmail.com> Signed-off-by: Michal Marek <mmarek@suse.cz> 2012-12-09 00:34:34 +07:00			`// 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)`