Reports bitwise mask expressions which are guaranteed to
evaluate to true or false.
Expressions checked are of the form (var & constant1) == constant2 or
(var | constant1) == constant2, where constant1
and constant2 are incompatible bitmask constants.