Searched refs:verifyDereference (Results 1 – 1 of 1) sorted by relevance
38 void verifyDereference(CheckerContext &C, SVal Val) const;123 verifyDereference(C, InstCall->getCXXThisVal()); in checkPreCall()125 verifyDereference(C, Call.getArgSVal(0)); in checkPreCall()153 verifyDereference(C, SubVal); in checkPreStmt()168 verifyDereference(C, LVal); in checkPreStmt()182 verifyDereference(C, LVal); in checkPreStmt()192 verifyDereference(C, BaseVal); in checkPreStmt()195 void IteratorRangeChecker::verifyDereference(CheckerContext &C, in verifyDereference() function in IteratorRangeChecker