PC Lint，错误613和＆＃34;复杂＆＃34;如果

Question

int* ptrF();
void f()
{
    int* p = ptrF();
    bool pOK = p && true;
    if (pOK)
        *p = 12; // Lint thinks p might be nullptr here
}

Lint发出警告

C:\lint_test\nullptr_with_init.cpp(8): Issue 613: (Warning -- Possible use of null pointer 'p' in argument to operator 'unary *' [Reference: file C:\lint_test\nullptr_with_init.cpp: line 6])

有没有人知道是否有设置使Lint更多＆＃34;聪明＆＃34;如果p == nullptr ？

，那么pOK不可能是真的

这比改变代码或抑制警告要好得多，比如

        *p = 12; //lint !e613

编辑：

Pc Lint, how to suppress err 613(Possible use of null ponter) for class with init() 是一个完全不同的问题。那个是关于如何压制警告。 这个是关于如何使Lint检查＆＃34;复杂＆＃34; if语句（如果可能）

Answer 1

我似乎在这种情况下，将指针转换为bool会有所帮助

bool pOK = (bool)p && true;