报告确保评估为 truefalse 的逐位运算掩码表达式。 表达式的形式为 (var & constant1) == constant2(var | constant1) == constant2,其中 constant1constant2 是不兼容的位掩码常量。

示例:

  //不兼容的掩码: 由于掩码中的最后一个字节为零,
//因此 0x1200 是可能的,但 0x1234 不可能
  if ((mask & 0xFF00) == 0x1234) {...}