Re: [cocci] [PATCH 01/36] coccinelle: misc: add cond_return_no_effect.cocci

Markus Elfring <[email protected]> Mon, 27 Jul 2026 11:51:04 +0200
Newsgroups org.kernel.vger.kernel-janitors,org.kernel.vger.linux-kernel
Message-ID <[email protected]>
=E2=80=A6
> +++ b/scripts/coccinelle/misc/cond_return_no_effect.cocci
> @@ -0,0 +1,121 @@
=E2=80=A6
> +@depends on patch@
> +type T;
> +identifier collect.ret;
> +constant C;
> +@@
> +-	T ret =3D C;
> +	... when !=3D ret
> +	    when strict
=E2=80=A6

Previous transformation rules can have the effect that some variable defin=
itions
would not be used any more.
Thus such an SmPL rule can look succinct for a possible source code clean-=
up.

I suggest to take also another look at information according to software
run time characteristics.
Software components are still improvable accordingly which can be seen by =
bug reports.

Example:
In-place parallelized run on a directory seems to be stuck after 17 hours
https://github.com/coccinelle/coccinelle/issues/416#issuecomment-508015867=
0

Regards,
Markus