diff options
| author | Julia Lawall <[email protected]> | 2018-05-21 08:58:48 +0200 |
|---|---|---|
| committer | Masahiro Yamada <[email protected]> | 2018-05-22 23:00:23 +0900 |
| commit | 32d0572a75c81a2c70394f9e110ca080b9a733b1 (patch) | |
| tree | e6355b35da23d5818cac3691463a9d32c04d00b4 /tools/perf/scripts/python/bin/export-to-postgresql-report | |
| 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 <[email protected]>
Signed-off-by: Masahiro Yamada <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/bin/export-to-postgresql-report')
0 files changed, 0 insertions, 0 deletions