Searched refs:verifyDereference (Results 1 – 1 of 1) sorted by relevance
212 void verifyDereference(CheckerContext &C, const SVal &Val) const;466 verifyDereference(C, InstCall->getCXXThisVal()); in checkPreCall()468 verifyDereference(C, Call.getArgSVal(0)); in checkPreCall()916 void IteratorChecker::verifyDereference(CheckerContext &C, in verifyDereference() function in IteratorChecker