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

[Markus Elfring]

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

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

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


Regards,
Markus