diff options
author | 2018-04-18 14:20:49 +0200 | |
---|---|---|
committer | 2018-04-18 14:20:49 +0200 | |
commit | 57ea45e11a3856a110cf195628f8b26cfe019a15 (patch) | |
tree | 900a35ca836367027c812d0829bf7cf2f508e9b1 /coccinelle | |
parent | Merge pull request #8417 from brauner/2018-03-09/add_bind_mount_fallback_to_p... (diff) | |
download | systemd-57ea45e11a3856a110cf195628f8b26cfe019a15.tar.gz systemd-57ea45e11a3856a110cf195628f8b26cfe019a15.tar.bz2 systemd-57ea45e11a3856a110cf195628f8b26cfe019a15.zip |
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 000000000..bf2f614da --- /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) |