]>
Commit | Line | Data |
---|---|---|
d94a24ca | 1 | @@ |
ccd52940 FS |
2 | /* Disable this transformation for the securebits-util.h, as it makes |
3 | * the expression there confusing. */ | |
4 | position p : script:python() { p[0].file != "src/shared/securebits-util.h" }; | |
d94a24ca ZJS |
5 | expression x, y; |
6 | @@ | |
ccd52940 FS |
7 | ( |
8 | - ((x@p) & (y)) == (y) | |
d94a24ca | 9 | + FLAGS_SET(x, y) |
ccd52940 FS |
10 | | |
11 | - (x@p & (y)) == (y) | |
d94a24ca | 12 | + FLAGS_SET(x, y) |
ccd52940 FS |
13 | | |
14 | - ((x@p) & y) == y | |
d94a24ca | 15 | + FLAGS_SET(x, y) |
ccd52940 | 16 | ) |