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]

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

Answer 1

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

目前，我们建议使用false positive suppression的方式之一或使用suppression base。