diff options
| author | Lennart Poettering <lennart@poettering.net> | 2018-04-18 14:20:49 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2018-04-18 14:20:49 +0200 |
| commit | 57ea45e11a3856a110cf195628f8b26cfe019a15 (patch) | |
| tree | 900a35ca836367027c812d0829bf7cf2f508e9b1 /coccinelle | |
| parent | 12777909c9cbf4217aecbbb38de97bac5252fc5b (diff) | |
util-lib: introduce new empty_or_root() helper (#8746)
We check the same condition at various places. Let's add a trivial,
common helper for this, and use it everywhere.
It's not going to make things much faster or much shorter, but I think a
lot more readable
Diffstat (limited to 'coccinelle')
| -rw-r--r-- | coccinelle/empty-or-root.cocci | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/coccinelle/empty-or-root.cocci b/coccinelle/empty-or-root.cocci new file mode 100644 index 0000000000..bf2f614da6 --- /dev/null +++ b/coccinelle/empty-or-root.cocci @@ -0,0 +1,10 @@ +@@ +expression s; +@@ +- (isempty(s) || path_equal(s, "/")) ++ empty_or_root(s) +@@ +expression s; +@@ +- (!isempty(s) && !path_equal(s, "/")) ++ !empty_or_root(s) |