2021-10-01 10:28:36 +00:00
|
|
|
/* SPDX-License-Identifier: LGPL-2.1-or-later */
|
2018-04-20 13:36:20 +00:00
|
|
|
@@
|
2020-10-02 09:31:47 +00:00
|
|
|
/* 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")
|
|
|
|
};
|
2021-03-18 10:59:53 +00:00
|
|
|
expression x;
|
|
|
|
constant y;
|
2018-04-20 13:36:20 +00:00
|
|
|
@@
|
2019-04-29 14:12:41 +00:00
|
|
|
(
|
|
|
|
- ((x@p) & (y)) == (y)
|
2018-04-20 13:36:20 +00:00
|
|
|
+ FLAGS_SET(x, y)
|
2019-04-29 14:12:41 +00:00
|
|
|
|
|
|
|
|
- (x@p & (y)) == (y)
|
2018-04-20 13:36:20 +00:00
|
|
|
+ FLAGS_SET(x, y)
|
2019-04-29 14:12:41 +00:00
|
|
|
|
|
|
|
|
- ((x@p) & y) == y
|
2018-04-20 13:36:20 +00:00
|
|
|
+ FLAGS_SET(x, y)
|
2019-04-29 14:12:41 +00:00
|
|
|
)
|