Lines Matching refs:SVal
38 void verifyDereference(CheckerContext &C, SVal Val) const;
39 void verifyIncrement(CheckerContext &C, SVal Iter) const;
40 void verifyDecrement(CheckerContext &C, SVal Iter) const;
42 SVal LHS, SVal RHS) const;
43 void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;
44 void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;
45 void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;
46 void reportBug(StringRef Message, SVal Val, CheckerContext &C,
56 using AdvanceFn = void (IteratorRangeChecker::*)(CheckerContext &, SVal,
57 SVal) const;
150 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
165 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
170 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext()); in checkPreStmt()
181 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
191 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
196 SVal Val) const { in verifyDereference()
208 void IteratorRangeChecker::verifyIncrement(CheckerContext &C, SVal Iter) const { in verifyIncrement()
214 void IteratorRangeChecker::verifyDecrement(CheckerContext &C, SVal Iter) const { in verifyDecrement()
222 SVal LHS, SVal RHS) const { in verifyRandomIncrOrDecr()
262 void IteratorRangeChecker::verifyAdvance(CheckerContext &C, SVal LHS, in verifyAdvance()
263 SVal RHS) const { in verifyAdvance()
267 void IteratorRangeChecker::verifyPrev(CheckerContext &C, SVal LHS, in verifyPrev()
268 SVal RHS) const { in verifyPrev()
272 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS, in verifyNext()
273 SVal RHS) const { in verifyNext()
277 void IteratorRangeChecker::reportBug(StringRef Message, SVal Val, in reportBug()