pvs-studio - PVS-Studio：即使检查了分母，也会生成警告 V609

Question

#define b1 0x01
#define b2 0x02
#define b3 0x04
#define b1 0x08

int flag = get_flag();
int x1 = ((flag & b1) ? 1 : 0) + ((flag & b2) ? 1 : 0);
int x2 = ((flag & b3) ? 1 : 0) + ((flag & b4) ? 1 : 0);
int x = max(x1, x2);
if (x < 1)
    throw "fail";
int y = 1 / x;        // <<< V609: Divide by zero. Denominator range [0..2]

y如果 ，则不会评估x < 1，但会生成 V609。为什么？

Answer 1

感谢您提供代码片段。这确实是一个误报。我们将调查它出现的原因，并将尝试修复此缺陷。

就目前而言，我们建议使用其中一种假阳性抑制或使用抑制基的手段。