Lines Matching refs:verifyMatch
37 void verifyMatch(CheckerContext &C, SVal Iter, const MemRegion *Cont) const;
38 void verifyMatch(CheckerContext &C, SVal Iter1, SVal Iter2) const;
70 verifyMatch(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPreCall()
79 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
87 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
90 verifyMatch(C, Call.getArgSVal(1), in checkPreCall()
94 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
99 verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2)); in checkPreCall()
102 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
122 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
177 verifyMatch(C, LHS, Call.getArgSVal(J)); in checkPreCall()
192 verifyMatch(C, LVal, RVal); in checkPreStmt()
195 void MismatchedIteratorChecker::verifyMatch(CheckerContext &C, SVal Iter, in verifyMatch() function in MismatchedIteratorChecker
231 void MismatchedIteratorChecker::verifyMatch(CheckerContext &C, SVal Iter1, in verifyMatch() function in MismatchedIteratorChecker