coccinelle: mini_lock: improve performance
authorJulia Lawall <Julia.Lawall@lip6.fr>
Mon, 21 May 2018 06:58:48 +0000 (08:58 +0200)
committerMasahiro Yamada <yamada.masahiro@socionext.com>
Tue, 22 May 2018 14:00:23 +0000 (23:00 +0900)
commit32d0572a75c81a2c70394f9e110ca080b9a733b1
treee6355b35da23d5818cac3691463a9d32c04d00b4
parent4c1d9bb0b5d3c0b3468ac8e68a05972eb957630f
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 <Julia.Lawall@lip6.fr>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
scripts/coccinelle/locks/mini_lock.cocci