Lines Matching refs:SVal

37   void verifyMatch(CheckerContext &C, SVal Iter, const MemRegion *Cont) const;
38   void verifyMatch(CheckerContext &C, SVal Iter1, SVal Iter2) const;
39   void reportBug(StringRef Message, SVal Val1, SVal Val2, CheckerContext &C,
41   void reportBug(StringRef Message, SVal Val, const MemRegion *Reg,
160       SVal LHS = UndefinedVal();  in checkPreCall()
190   SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext());  in checkPreStmt()
191   SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext());  in checkPreStmt()
195 void MismatchedIteratorChecker::verifyMatch(CheckerContext &C, SVal Iter,  in verifyMatch()
231 void MismatchedIteratorChecker::verifyMatch(CheckerContext &C, SVal Iter1,  in verifyMatch()
232                                             SVal Iter2) const {  in verifyMatch()
269 void MismatchedIteratorChecker::reportBug(StringRef Message, SVal Val1,  in reportBug()
270                                           SVal Val2, CheckerContext &C,  in reportBug()
279 void MismatchedIteratorChecker::reportBug(StringRef Message, SVal Val,  in reportBug()