Register the implicit null-dereferenced object as a notable symbol.

llvm-svn: 56319
This commit is contained in:
Ted Kremenek 2008-09-18 23:23:19 +00:00
parent b42f482c91
commit 6a1a334b6c
1 changed files with 1 additions and 0 deletions

View File

@ -149,6 +149,7 @@ void NSErrorCheck::CheckParamDeref(VarDecl* Param, GRStateRef rootState,
<< Param->getName() << "' may be null."; << Param->getName() << "' may be null.";
desc = os.str().c_str(); desc = os.str().c_str();
BR.addNotableSymbol(SV->getSymbol());
BR.EmitWarning(R); BR.EmitWarning(R);
} }
} }