Lines Matching refs:SVal
35 void verifyMatch(CheckerContext &C, const SVal &Iter,
37 void verifyMatch(CheckerContext &C, const SVal &Iter1,
38 const SVal &Iter2) const;
39 void reportBug(const StringRef &Message, const SVal &Val1,
40 const SVal &Val2, CheckerContext &C,
42 void reportBug(const StringRef &Message, const SVal &Val,
170 SVal LHS = UndefinedVal(); in checkPreCall()
198 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
199 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext()); in checkPreStmt()
203 void MismatchedIteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter, in verifyMatch()
240 const SVal &Iter1, in verifyMatch()
241 const SVal &Iter2) const { in verifyMatch()
279 const SVal &Val1, in reportBug()
280 const SVal &Val2, in reportBug()
291 const SVal &Val, const MemRegion *Reg, in reportBug()