]>
Commit | Line | Data |
---|---|---|
64b92d63 | 1 | /* SPDX-License-Identifier: LGPL-2.1-or-later */ |
d94a24ca | 2 | @@ |
aad54dbc FS |
3 | /* Disable this transformation in cases where it doesn't make sense or |
4 | * where it makes the resulting expression more confusing | |
5 | */ | |
6 | position p : script:python() { | |
7 | not (p[0].file == "src/shared/securebits-util.h" or | |
8 | p[0].file == "src/core/manager.h" or | |
9 | p[0].current_element == "log_set_max_level_realm" or | |
10 | p[0].current_element == "unichar_is_valid") | |
11 | }; | |
ca21d59a FS |
12 | expression x; |
13 | constant y; | |
d94a24ca | 14 | @@ |
ccd52940 FS |
15 | ( |
16 | - ((x@p) & (y)) == (y) | |
d94a24ca | 17 | + FLAGS_SET(x, y) |
ccd52940 FS |
18 | | |
19 | - (x@p & (y)) == (y) | |
d94a24ca | 20 | + FLAGS_SET(x, y) |
ccd52940 FS |
21 | | |
22 | - ((x@p) & y) == y | |
d94a24ca | 23 | + FLAGS_SET(x, y) |
ccd52940 | 24 | ) |