报告评估之值保证为 truefalse 的按位掩码表达式。

该检查将检查 (var & constant1) == constant2(var | constant1) == constant2 形式的表达式,其中 constant1constant2 是不兼容的位掩码常量。

示例:

  // 不兼容的掩码: 由于掩码以 00 结尾,
  // 结果可能是 0x1200,但不是 0x1234
  if ((mask & 0xFF00) == 0x1234) {...}