Lines Matching defs:RetVal
100 void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
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,
115 void handleAdvance(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
117 void handlePrev(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
119 void handleNext(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
121 void assignToContainer(CheckerContext &C, const Expr *CE, const SVal &RetVal,
425 SVal RetVal, const SVal &LVal,
466 if (RetVal.isUnknown()) {
469 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol(
471 State = State->BindExpr(CE, LCtx, RetVal);
474 processComparison(C, State, LPos->getOffset(), RPos->getOffset(), RetVal, Op);
479 SymbolRef Sym2, const SVal &RetVal,
481 if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) {
492 const auto ConditionVal = RetVal.getAs<DefinedSVal>();
507 void IteratorModeling::handleIncrement(CheckerContext &C, const SVal &RetVal,
529 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
533 void IteratorModeling::handleDecrement(CheckerContext &C, const SVal &RetVal,
555 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
562 const SVal &RetVal,
580 auto &TgtVal = (Op == OO_PlusEqual || Op == OO_MinusEqual) ? LHS : RetVal;
642 SVal RetVal, SVal Iter,
644 handleRandomIncrOrDecr(C, CE, OO_PlusEqual, RetVal, Iter, Amount);
648 SVal RetVal, SVal Iter, SVal Amount) const {
649 handleRandomIncrOrDecr(C, CE, OO_Minus, RetVal, Iter, Amount);
653 SVal RetVal, SVal Iter, SVal Amount) const {
654 handleRandomIncrOrDecr(C, CE, OO_Plus, RetVal, Iter, Amount);
658 const SVal &RetVal,
664 State = createIteratorPosition(State, RetVal, Cont, CE, LCtx, C.blockCount());