Re: [cocci] [PATCH 1/3] coccinelle: mini_lock: improve performance when searching loops

Markus Elfring <[email protected]> Sun, 26 Jul 2026 15:55:33 +0200

Newsgroups	gmane.linux.kernel.janitors,gmane.linux.kernel
Message-ID	<[email protected]>

=E2=80=A6
> +++ b/scripts/coccinelle/locks/mini_lock.cocci
> @@ -53,11 +53,31 @@ spin_lock_irq@p1
>  spin_lock_irqsave@p1
>  ) (E1@p,...);
> =20
> -@looped@
> +@err_candidate exists@
> +expression E1;
> +position prelocked.p;
> +position up !=3D prelocked.p1;
> +position rc;
=E2=80=A6

Can it help a bit to avoid the repetition of the type
for a few metavariables?

+position prelocked.p, up !=3D prelocked.p1, rc;


Regards,
Markus