| @@ | |
| /* 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; | |
| constant 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) | |
| ) |