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

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

目前，我们建议使用false positive suppression or use suppression base中的一种方式。