summaryrefslogtreecommitdiffstats
path: root/coccinelle/flags-set.cocci
blob: f6cc8ba68a08aac2ddbb286e58171bf452bd45d5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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)
)