tree e6355b35da23d5818cac3691463a9d32c04d00b4
parent 4c1d9bb0b5d3c0b3468ac8e68a05972eb957630f
author Julia Lawall <Julia.Lawall@lip6.fr> 1526885928 +0200
committer Masahiro Yamada <yamada.masahiro@socionext.com> 1526997623 +0900

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>