PC Lint et vérifier pour nullptr possible

Question

Mon PC Lint V9.00k est silencieux dans une situation assez simple quand je m'attendais à un avertissement, même sur -w3. Est-ce que quelqu'un sait s'il y a des paramètres qui font que Lint vérifie ce cas?

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

Pour le suivi de la valeur PC-lint doit traiter le code plusieurs fois. C'est à dire. vous devez utiliser au moins -passes (2) dans la configuration.