Lines Matching refs:SVal
93 SVal, SVal, SVal) const;
101 void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
102 const SVal &LVal, const SVal &RVal,
105 SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal,
107 void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
109 void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
112 OverloadedOperatorKind Op, const SVal &RetVal,
113 const SVal &Iterator, const SVal &Amount) const;
115 OverloadedOperatorKind OK, SVal Offset) const;
116 void handleAdvance(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
117 SVal Amount) const;
118 void handlePrev(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
119 SVal Amount) const;
120 void handleNext(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
121 SVal Amount) const;
122 void assignToContainer(CheckerContext &C, const Expr *CE, const SVal &RetVal,
124 bool noChangeInAdvance(CheckerContext &C, SVal Iter, const Expr *CE) const;
151 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
162 ProgramStateRef removeIteratorPosition(ProgramStateRef State, const SVal &Val);
234 void IteratorModeling::checkBind(SVal Loc, SVal Val, const Stmt *S, in checkBind()
268 const SVal LVal = State->getSVal(LHS, C.getLocationContext()); in checkPostStmt()
269 const SVal RVal = State->getSVal(RHS, C.getLocationContext()); in checkPostStmt()
272 SVal Result = State->getSVal(BO, C.getLocationContext()); in checkPostStmt()
285 const SVal &AmountVal = IsIterOnLHS ? RVal : LVal; in checkPostStmt()
391 const SVal FirstArg = Call.getArgSVal(0); in handleOverloadedOperator()
392 const SVal SecondArg = Call.getArgSVal(1); in handleOverloadedOperator()
393 const SVal &Iterator = IsIterFirst ? FirstArg : SecondArg; in handleOverloadedOperator()
394 const SVal &Amount = IsIterFirst ? SecondArg : FirstArg; in handleOverloadedOperator()
449 SVal RetVal, const SVal &LVal, in handleComparison()
450 const SVal &RVal, in handleComparison()
509 SymbolRef Sym2, const SVal &RetVal, in processComparison()
537 void IteratorModeling::handleIncrement(CheckerContext &C, const SVal &RetVal, in handleIncrement()
538 const SVal &Iter, bool Postfix) const { in handleIncrement()
563 void IteratorModeling::handleDecrement(CheckerContext &C, const SVal &RetVal, in handleDecrement()
564 const SVal &Iter, bool Postfix) const { in handleDecrement()
591 const SVal &RetVal, in handleRandomIncrOrDecr()
592 const SVal &Iterator, in handleRandomIncrOrDecr()
593 const SVal &Amount) const { in handleRandomIncrOrDecr()
603 SVal Val; in handleRandomIncrOrDecr()
631 SVal Offset) const { in handlePtrIncrOrDecr()
641 SVal OldVal = State->getSVal(Iterator, C.getLocationContext()); in handlePtrIncrOrDecr()
647 SVal NewVal; in handlePtrIncrOrDecr()
652 SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>()); in handlePtrIncrOrDecr()
673 SVal RetVal, SVal Iter, in handleAdvance()
674 SVal Amount) const { in handleAdvance()
679 SVal RetVal, SVal Iter, SVal Amount) const { in handlePrev()
684 SVal RetVal, SVal Iter, SVal Amount) const { in handleNext()
689 const SVal &RetVal, in assignToContainer()
700 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter, in noChangeInAdvance()
777 ProgramStateRef removeIteratorPosition(ProgramStateRef State, const SVal &Val) { in removeIteratorPosition()