Searched refs:verifyDereference (Results 1 – 1 of 1) sorted by relevance
37 void verifyDereference(CheckerContext &C, SVal Val) const;124 verifyDereference(C, InstCall->getCXXThisVal()); in checkPreCall()126 verifyDereference(C, Call.getArgSVal(0)); in checkPreCall()154 verifyDereference(C, SubVal); in checkPreStmt()169 verifyDereference(C, LVal); in checkPreStmt()183 verifyDereference(C, LVal); in checkPreStmt()193 verifyDereference(C, BaseVal); in checkPreStmt()196 void IteratorRangeChecker::verifyDereference(CheckerContext &C, in verifyDereference() function in IteratorRangeChecker