diff options
Diffstat (limited to 'coccinelle/flags-set.cocci')
| -rw-r--r-- | coccinelle/flags-set.cocci | 22 |
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) +) |