| commit | 32d0572a75c81a2c70394f9e110ca080b9a733b1 | [log] [tgz] |
|---|---|---|
| author | Julia Lawall <Julia.Lawall@lip6.fr> | Mon May 21 08:58:48 2018 +0200 |
| committer | Masahiro Yamada <yamada.masahiro@socionext.com> | Tue May 22 23:00:23 2018 +0900 |
| tree | e6355b35da23d5818cac3691463a9d32c04d00b4 | |
| parent | 4c1d9bb0b5d3c0b3468ac8e68a05972eb957630f [diff] |
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>