Мой 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
}
Для отслеживания значения PC-lint необходимо обработать код несколько раз. То есть вам нужно использовать как минимум -ppass (2) в конфигурации.
Других решений пока нет …