From 32d0572a75c81a2c70394f9e110ca080b9a733b1 Mon Sep 17 00:00:00 2001 From: Julia Lawall Date: Mon, 21 May 2018 08:58:48 +0200 Subject: coccinelle: mini_lock: improve performance Replace <+... ...+> by ... when any. <+... ...+> is slow, and in some obscure cases involving backward jumps it doesn't force the unlock to actually come after the end of the if. Signed-off-by: Julia Lawall Signed-off-by: Masahiro Yamada --- scripts/coccinelle/locks/mini_lock.cocci | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'scripts/coccinelle') diff --git a/scripts/coccinelle/locks/mini_lock.cocci b/scripts/coccinelle/locks/mini_lock.cocci index 47f649b0ea87..19c6ee5b986b 100644 --- a/scripts/coccinelle/locks/mini_lock.cocci +++ b/scripts/coccinelle/locks/mini_lock.cocci @@ -67,12 +67,14 @@ identifier lock,unlock; @@ *lock(E1@p,...); -<+... when != E1 +... when != E1 + when any if (...) { ... when != E1 * return@r ...; } -...+> +... when != E1 + when any *unlock@up(E1,...); @script:python depends on org@ -- cgit