Lines Matching refs:SVal
209 void handleComparison(CheckerContext &C, const SVal &RetVal, const SVal &LVal,
210 const SVal &RVal, OverloadedOperatorKind Op) const;
211 void verifyAccess(CheckerContext &C, const SVal &Val) const;
212 void verifyDereference(CheckerContext &C, const SVal &Val) const;
213 void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
215 void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
218 const SVal &RetVal, const SVal &LHS,
219 const SVal &RHS) const;
220 void handleBegin(CheckerContext &C, const Expr *CE, const SVal &RetVal,
221 const SVal &Cont) const;
222 void handleEnd(CheckerContext &C, const Expr *CE, const SVal &RetVal,
223 const SVal &Cont) const;
224 void assignToContainer(CheckerContext &C, const Expr *CE, const SVal &RetVal,
226 void handleAssign(CheckerContext &C, const SVal &Cont,
228 const SVal &OldCont = UndefinedVal()) const;
229 void handleClear(CheckerContext &C, const SVal &Cont) const;
230 void handlePushBack(CheckerContext &C, const SVal &Cont) const;
231 void handlePopBack(CheckerContext &C, const SVal &Cont) const;
232 void handlePushFront(CheckerContext &C, const SVal &Cont) const;
233 void handlePopFront(CheckerContext &C, const SVal &Cont) const;
234 void handleInsert(CheckerContext &C, const SVal &Iter) const;
235 void handleErase(CheckerContext &C, const SVal &Iter) const;
236 void handleErase(CheckerContext &C, const SVal &Iter1,
237 const SVal &Iter2) const;
238 void handleEraseAfter(CheckerContext &C, const SVal &Iter) const;
239 void handleEraseAfter(CheckerContext &C, const SVal &Iter1,
240 const SVal &Iter2) const;
241 void verifyIncrement(CheckerContext &C, const SVal &Iter) const;
242 void verifyDecrement(CheckerContext &C, const SVal &Iter) const;
244 const SVal &LHS, const SVal &RHS) const;
245 void verifyMatch(CheckerContext &C, const SVal &Iter,
247 void verifyMatch(CheckerContext &C, const SVal &Iter1,
248 const SVal &Iter2) const;
251 const SVal &Distance) const;
252 void reportOutOfRangeBug(const StringRef &Message, const SVal &Val,
254 void reportMismatchedBug(const StringRef &Message, const SVal &Val1,
255 const SVal &Val2, CheckerContext &C,
257 void reportMismatchedBug(const StringRef &Message, const SVal &Val,
260 void reportInvalidatedBug(const StringRef &Message, const SVal &Val,
278 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
285 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
329 const RegionOrSymbol getRegionOrSymbol(const SVal &Val);
334 const SymExpr *Condition, const SVal &LVal,
335 const SVal &RVal, bool Eq);
346 const SVal &Val);
349 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val,
354 ProgramStateRef removeIteratorPosition(ProgramStateRef State, const SVal &Val);
579 SVal LHS = UndefinedVal(); in checkPreCall()
743 void IteratorChecker::checkBind(SVal Loc, SVal Val, const Stmt *S, in checkBind()
852 ProgramStateRef IteratorChecker::evalAssume(ProgramStateRef State, SVal Cond, in evalAssume()
890 void IteratorChecker::handleComparison(CheckerContext &C, const SVal &RetVal, in handleComparison()
891 const SVal &LVal, const SVal &RVal, in handleComparison()
917 const SVal &Val) const { in verifyDereference()
929 void IteratorChecker::verifyAccess(CheckerContext &C, const SVal &Val) const { in verifyAccess()
941 void IteratorChecker::handleIncrement(CheckerContext &C, const SVal &RetVal, in handleIncrement()
942 const SVal &Iter, bool Postfix) const { in handleIncrement()
959 void IteratorChecker::handleDecrement(CheckerContext &C, const SVal &RetVal, in handleDecrement()
960 const SVal &Iter, bool Postfix) const { in handleDecrement()
996 SVal IsCappedFromAbove = in assumeNoOverflow()
1006 SVal IsCappedFromBelow = in assumeNoOverflow()
1020 const SVal &RetVal, in handleRandomIncrOrDecr()
1021 const SVal &LHS, in handleRandomIncrOrDecr()
1022 const SVal &RHS) const { in handleRandomIncrOrDecr()
1043 const SVal &Iter) const { in verifyIncrement()
1050 const SVal &Iter) const { in verifyDecrement()
1058 const SVal &LHS, in verifyRandomIncrOrDecr()
1059 const SVal &RHS) const { in verifyRandomIncrOrDecr()
1097 void IteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter, in verifyMatch()
1113 void IteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter1, in verifyMatch()
1114 const SVal &Iter2) const { in verifyMatch()
1129 const SVal &RetVal, const SVal &Cont) const { in handleBegin()
1153 const SVal &RetVal, const SVal &Cont) const { in handleEnd()
1177 const SVal &RetVal, in assignToContainer()
1191 void IteratorChecker::handleAssign(CheckerContext &C, const SVal &Cont, in handleAssign()
1192 const Expr *CE, const SVal &OldCont) const { in handleAssign()
1267 void IteratorChecker::handleClear(CheckerContext &C, const SVal &Cont) const { in handleClear()
1294 const SVal &Cont) const { in handlePushBack()
1331 void IteratorChecker::handlePopBack(CheckerContext &C, const SVal &Cont) const { in handlePopBack()
1369 const SVal &Cont) const { in handlePushFront()
1402 const SVal &Cont) const { in handlePopFront()
1435 void IteratorChecker::handleInsert(CheckerContext &C, const SVal &Iter) const { in handleInsert()
1460 void IteratorChecker::handleErase(CheckerContext &C, const SVal &Iter) const { in handleErase()
1488 void IteratorChecker::handleErase(CheckerContext &C, const SVal &Iter1, in handleErase()
1489 const SVal &Iter2) const { in handleErase()
1521 const SVal &Iter) const { in handleEraseAfter()
1541 void IteratorChecker::handleEraseAfter(CheckerContext &C, const SVal &Iter1, in handleEraseAfter()
1542 const SVal &Iter2) const { in handleEraseAfter()
1558 const SVal &Distance) const { in advancePosition()
1585 const SVal &Val, CheckerContext &C, in reportOutOfRangeBug()
1593 const SVal &Val1, const SVal &Val2, in reportMismatchedBug()
1603 const SVal &Val, const MemRegion *Reg, in reportMismatchedBug()
1613 const SVal &Val, CheckerContext &C, in reportInvalidatedBug()
1933 const RegionOrSymbol getRegionOrSymbol(const SVal &Val) { in getRegionOrSymbol()
1960 const SymExpr *Condition, const SVal &LVal, in saveComparison()
1961 const SVal &RVal, bool Eq) { in saveComparison()
2033 const SVal &Val) { in getIteratorPosition()
2056 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition()
2081 ProgramStateRef removeIteratorPosition(ProgramStateRef State, const SVal &Val) { in removeIteratorPosition()