* [PATCH] Coccinelle: Add a SmPL script for the reconsideration of specific combinations of assignment and return statements [not found] ` <alpine.DEB.2.21.1909231058380.2283@hadrien> @ 2019-09-25 11:33 ` Markus Elfring 2019-10-01 14:30 ` [PATCH v2] " Markus Elfring 0 siblings, 1 reply; 2+ messages in thread From: Markus Elfring @ 2019-09-25 11:33 UTC (permalink / raw) To: Julia Lawall, Coccinelle, kernel-janitors, Gilles Muller, Masahiro Yamada, Michal Marek, Nicolas Palix Cc: LKML, Allison Randal, Enrico Weigelt, Greg Kroah-Hartman, Kate Stewart From: Markus Elfring <elfring@users.sourceforge.net> Date: Wed, 25 Sep 2019 11:55:24 +0200 Values from expressions were occasionally assigned to local variables before they will be returned by the subsequent statement. Such expressions can be directly specified in the return statement instead. Adjust affected source code by the means of the semantic patch language (Coccinelle software). Signed-off-by: Markus Elfring <elfring@users.sourceforge.net> --- .../coccinelle/misc/move_code_to_return.cocci | 67 +++++++++++++++++++ 1 file changed, 67 insertions(+) create mode 100644 scripts/coccinelle/misc/move_code_to_return.cocci diff --git a/scripts/coccinelle/misc/move_code_to_return.cocci b/scripts/coccinelle/misc/move_code_to_return.cocci new file mode 100644 index 000000000000..78cdf84f9aaa --- /dev/null +++ b/scripts/coccinelle/misc/move_code_to_return.cocci @@ -0,0 +1,67 @@ +// SPDX-License-Identifier: GPL-2.0 +/// Return expressions directly instead of assigning them to +/// local variables immediately before affected statements. +// +// Keywords: return statements variable assignments coding style +// Confidence: Medium + +virtual patch + +@replacement1 depends on patch@ +expression x; +identifier f, rc; +local idexpression lrc; +type rt; +@@ + rt f(...) + { + ... when any + if (...) +-{ +-lrc@rc = x; + return +- rc ++ x + ; +-} + ... when any + } + +@replacement2 depends on patch@ +expression x; +identifier f, rc; +local idexpression lrc; +type rt; +@@ + rt f(...) + { + ... when any +-lrc@rc = x; + return +- rc ++ x + ; + ... when any + } + +@deletion2 depends on patch@ +identifier replacement2.f, replacement2.rc; +type replacement2.rt, t; +@@ + rt f(...) + { + ... when any +-t rc; + ... when != rc + } + +@deletion1 depends on patch@ +identifier replacement1.f, replacement1.rc; +type replacement1.rt, t; +@@ + rt f(...) + { + ... when any +-t rc; + ... when != rc + } -- 2.23.0 ^ permalink raw reply [flat|nested] 2+ messages in thread
* [PATCH v2] Coccinelle: Add a SmPL script for the reconsideration of specific combinations of assignment and return statements 2019-09-25 11:33 ` [PATCH] Coccinelle: Add a SmPL script for the reconsideration of specific combinations of assignment and return statements Markus Elfring @ 2019-10-01 14:30 ` Markus Elfring 0 siblings, 0 replies; 2+ messages in thread From: Markus Elfring @ 2019-10-01 14:30 UTC (permalink / raw) To: Julia Lawall, Coccinelle, kernel-janitors, Gilles Muller, Masahiro Yamada, Michal Marek, Nicolas Palix Cc: LKML, Allison Randal, Enrico Weigelt, Greg Kroah-Hartman, Kate Stewart From: Markus Elfring <elfring@users.sourceforge.net> Date: Tue, 1 Oct 2019 15:50:10 +0200 Values from expressions were occasionally assigned to local variables before they will be returned by the subsequent statement. Such expressions can be directly specified in the return statement instead. Adjust affected source code by the means of the semantic patch language (Coccinelle software). Signed-off-by: Markus Elfring <elfring@users.sourceforge.net> --- v2: * Application of the SmPL construct “<+... … ...+>” * Addition of a hint for the supported coccicheck operation modes .../coccinelle/misc/move_code_to_return.cocci | 73 +++++++++++++++++++ 1 file changed, 73 insertions(+) create mode 100644 scripts/coccinelle/misc/move_code_to_return.cocci diff --git a/scripts/coccinelle/misc/move_code_to_return.cocci b/scripts/coccinelle/misc/move_code_to_return.cocci new file mode 100644 index 000000000000..22ce7c9d0fd2 --- /dev/null +++ b/scripts/coccinelle/misc/move_code_to_return.cocci @@ -0,0 +1,73 @@ +// SPDX-License-Identifier: GPL-2.0 +/// Return expressions directly instead of assigning them to +/// local variables immediately before affected statements. +// +// Keywords: return statements variable assignments coding style +// Confidence: Medium + +virtual patch +virtual report + +@replacement1 depends on patch@ +expression x; +identifier f, rc; +local idexpression lrc; +type rt; +@@ + rt f(...) + { + <+... + if (...) +-{ +-lrc@rc = x; + return +- rc ++ x + ; +-} + ...+> + } + +@replacement2 depends on patch@ +expression x; +identifier f, rc; +local idexpression lrc; +type rt; +@@ + rt f(...) + { + <+... +-lrc@rc = x; + return +- rc ++ x + ; + ...+> + } + +@deletion2 depends on patch@ +identifier replacement2.f, replacement2.rc; +type replacement2.rt, t; +@@ + rt f(...) + { + ... when any +-t rc; + ... when != rc + } + +@deletion1 depends on patch@ +identifier replacement1.f, replacement1.rc; +type replacement1.rt, t; +@@ + rt f(...) + { + ... when any +-t rc; + ... when != rc + } + +@script:python info depends on report@ +@@ +import sys +sys.stderr.write("INFO: Unfortunately, specific software limitations have got the consequence that only the operation mode “patch” can be supported by this SmPL script so far as expected.\n") -- 2.23.0 ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-10-01 14:31 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <e07ce253-8a13-0f90-3ee0-79c1a0e78b38@web.de>
[not found] ` <alpine.DEB.2.21.1909231058380.2283@hadrien>
2019-09-25 11:33 ` [PATCH] Coccinelle: Add a SmPL script for the reconsideration of specific combinations of assignment and return statements Markus Elfring
2019-10-01 14:30 ` [PATCH v2] " Markus Elfring
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®