Lines Matching refs:RetVal

209   void handleComparison(CheckerContext &C, const SVal &RetVal, const SVal &LVal,
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,
220 void handleBegin(CheckerContext &C, const Expr *CE, const SVal &RetVal,
222 void handleEnd(CheckerContext &C, const Expr *CE, const SVal &RetVal,
224 void assignToContainer(CheckerContext &C, const Expr *CE, const SVal &RetVal,
890 void IteratorChecker::handleComparison(CheckerContext &C, const SVal &RetVal, in handleComparison() argument
898 if (const auto *Condition = RetVal.getAsSymbolicExpression()) { in handleComparison()
905 } else if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) { in handleComparison()
941 void IteratorChecker::handleIncrement(CheckerContext &C, const SVal &RetVal, in handleIncrement() argument
954 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : NewPos); in handleIncrement()
959 void IteratorChecker::handleDecrement(CheckerContext &C, const SVal &RetVal, in handleDecrement() argument
972 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : NewPos); in handleDecrement()
1020 const SVal &RetVal, in handleRandomIncrOrDecr() argument
1036 auto &TgtVal = (Op == OO_PlusEqual || Op == OO_MinusEqual) ? LHS : RetVal; in handleRandomIncrOrDecr()
1129 const SVal &RetVal, const SVal &Cont) const { in handleBegin() argument
1147 State = setIteratorPosition(State, RetVal, in handleBegin()
1153 const SVal &RetVal, const SVal &Cont) const { in handleEnd() argument
1171 State = setIteratorPosition(State, RetVal, in handleEnd()
1177 const SVal &RetVal, in assignToContainer() argument
1186 State = setIteratorPosition(State, RetVal, in assignToContainer()