summaryrefslogtreecommitdiffstats
path: root/coccinelle/flags-set.cocci
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 13:00:47 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 13:00:47 +0000
commit2cb7e0aaedad73b076ea18c6900b0e86c5760d79 (patch)
treeda68ca54bb79f4080079bf0828acda937593a4e1 /coccinelle/flags-set.cocci
parentInitial commit. (diff)
downloadsystemd-upstream.tar.xz
systemd-upstream.zip
Adding upstream version 247.3.upstream/247.3upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'coccinelle/flags-set.cocci')
-rw-r--r--coccinelle/flags-set.cocci22
1 files changed, 22 insertions, 0 deletions
diff --git a/coccinelle/flags-set.cocci b/coccinelle/flags-set.cocci
new file mode 100644
index 0000000..f6cc8ba
--- /dev/null
+++ b/coccinelle/flags-set.cocci
@@ -0,0 +1,22 @@
+@@
+/* Disable this transformation in cases where it doesn't make sense or
+ * where it makes the resulting expression more confusing
+ */
+position p : script:python() {
+ not (p[0].file == "src/shared/securebits-util.h" or
+ p[0].file == "src/core/manager.h" or
+ p[0].current_element == "log_set_max_level_realm" or
+ p[0].current_element == "unichar_is_valid")
+ };
+expression x, y;
+@@
+(
+- ((x@p) & (y)) == (y)
++ FLAGS_SET(x, y)
+|
+- (x@p & (y)) == (y)
++ FLAGS_SET(x, y)
+|
+- ((x@p) & y) == y
++ FLAGS_SET(x, y)
+)