Lines Matching refs:SVal
92 SVal, SVal, SVal) const;
100 void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
101 const SVal &LVal, const SVal &RVal,
104 SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal,
106 void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
108 void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
111 OverloadedOperatorKind Op, const SVal &RetVal,
112 const SVal &Iterator, const SVal &Amount) const;
114 OverloadedOperatorKind OK, SVal Offset) const;
115 void handleAdvance(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
116 SVal Amount) const;
117 void handlePrev(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
118 SVal Amount) const;
119 void handleNext(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
120 SVal Amount) const;
121 void assignToContainer(CheckerContext &C, const Expr *CE, const SVal &RetVal,
123 bool noChangeInAdvance(CheckerContext &C, SVal Iter, const Expr *CE) const;
150 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
163 ProgramStateRef removeIteratorPosition(ProgramStateRef State, const SVal &Val);
235 void IteratorModeling::checkBind(SVal Loc, SVal Val, const Stmt *S, in checkBind()
269 const SVal LVal = State->getSVal(LHS, C.getLocationContext()); in checkPostStmt()
270 const SVal RVal = State->getSVal(RHS, C.getLocationContext()); in checkPostStmt()
273 SVal Result = State->getSVal(BO, C.getLocationContext()); in checkPostStmt()
286 const SVal &AmountVal = IsIterOnLHS ? RVal : LVal; in checkPostStmt()
392 const SVal FirstArg = Call.getArgSVal(0); in handleOverloadedOperator()
393 const SVal SecondArg = Call.getArgSVal(1); in handleOverloadedOperator()
394 const SVal &Iterator = IsIterFirst ? FirstArg : SecondArg; in handleOverloadedOperator()
395 const SVal &Amount = IsIterFirst ? SecondArg : FirstArg; in handleOverloadedOperator()
450 SVal RetVal, const SVal &LVal, in handleComparison()
451 const SVal &RVal, in handleComparison()
510 SymbolRef Sym2, const SVal &RetVal, in processComparison()
538 void IteratorModeling::handleIncrement(CheckerContext &C, const SVal &RetVal, in handleIncrement()
539 const SVal &Iter, bool Postfix) const { in handleIncrement()
564 void IteratorModeling::handleDecrement(CheckerContext &C, const SVal &RetVal, in handleDecrement()
565 const SVal &Iter, bool Postfix) const { in handleDecrement()
592 const SVal &RetVal, in handleRandomIncrOrDecr()
593 const SVal &Iterator, in handleRandomIncrOrDecr()
594 const SVal &Amount) const { in handleRandomIncrOrDecr()
604 SVal Val; in handleRandomIncrOrDecr()
632 SVal Offset) const { in handlePtrIncrOrDecr()
642 SVal OldVal = State->getSVal(Iterator, C.getLocationContext()); in handlePtrIncrOrDecr()
648 SVal NewVal; in handlePtrIncrOrDecr()
653 SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>()); in handlePtrIncrOrDecr()
674 SVal RetVal, SVal Iter, in handleAdvance()
675 SVal Amount) const { in handleAdvance()
680 SVal RetVal, SVal Iter, SVal Amount) const { in handlePrev()
685 SVal RetVal, SVal Iter, SVal Amount) const { in handleNext()
690 const SVal &RetVal, in assignToContainer()
701 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter, in noChangeInAdvance()
778 ProgramStateRef removeIteratorPosition(ProgramStateRef State, const SVal &Val) { in removeIteratorPosition()