1/* SPDX-License-Identifier: LGPL-2.1-or-later */
2@@
3/* Disable this transformation in cases where it doesn't make sense or
4 * where it makes the resulting expression more confusing
5 */
6position 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        };
12expression x;
13constant y;
14@@
15(
16- ((x@p) & (y)) == (y)
17+ FLAGS_SET(x, y)
18|
19- (x@p & (y)) == (y)
20+ FLAGS_SET(x, y)
21|
22- ((x@p) & y) == y
23+ FLAGS_SET(x, y)
24)
25