PC Lint并检查可能的nullptr

Question

我的PC Lint V9.00k在一个相当简单的情况下保持沉默，即使在-w3上我也会发出警告。 有没有人知道是否有一些设置让Lint检查这种情况？

int* fp() { return 0; }
void f()
{
      int* p = fp();
      *p = 2; // I would expect something like "Issue 613: (Warning -- Possible use of null pointer..." here
}

Answer 1

对于价值追踪，PC-lint需要多次处理代码。即你需要在配置中使用至少-passes（2）。