Gimpel 的 PC 皮棉值跟踪

Question

我是这个网站的新手，所以如果我在这里搞砸了任何提问的礼仪，我提前道歉......谢谢！

这是非常简化的示例代码，但我认为它说明了我在说什么：我有一个 C++ 方法，它调用另一个方法来测试一个值...

char m_array[MAX]; // class member, MAX is a #define

foo(unsigned int n)
{
    if (validNumber(n)) //test n
    {
        // do stuff
        m_array[n-1] = 0;
    }
}

在哪里：validNumber(unsigned int val) { return ((val > 0) && (val <= MAX)); }

令我恼火的是，PC Lint 的值跟踪似乎忽略了 validNumber() 调用，并给出了一个 警告 661 操作员可能访问越界指针（1 超出数据末尾）' ['

但是，如果我这样做，Lint 很高兴：

if ((n > 0) && (n <= MAX)) //test n
...

那么，如果测试是方法调用，Lint 的值跟踪是否不起作用？

再次感谢，

高频

Answer 1

我猜validNumber 是在foo 之后定义的，但无论如何，PC Lint 通常会遍历代码，在这种情况下它看不到 validNumber检查n 的边界。

您可以尝试使用 -passes(2) 甚至 3 选项，看看 Lint 从中得到了什么。我认为（但没有尝试）Lint 会正确地注意到 n 的值在正确的范围内。