Searched refs:verifyDereference (Results 1 – 1 of 1) sorted by relevance
38 void verifyDereference(CheckerContext &C, SVal Val) const;118 verifyDereference(C, InstCall->getCXXThisVal()); in checkPreCall()120 verifyDereference(C, Call.getArgSVal(0)); in checkPreCall()148 verifyDereference(C, SubVal); in checkPreStmt()163 verifyDereference(C, LVal); in checkPreStmt()177 verifyDereference(C, LVal); in checkPreStmt()187 verifyDereference(C, BaseVal); in checkPreStmt()190 void IteratorRangeChecker::verifyDereference(CheckerContext &C, in verifyDereference() function in IteratorRangeChecker