Lines Matching defs:RetVal

102   void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
105                          SymbolRef Sym1, SymbolRef Sym2, SVal RetVal,
107   void handleIncrement(CheckerContext &C, SVal RetVal, SVal Iter,
109   void handleDecrement(CheckerContext &C, SVal RetVal, SVal Iter,
112                               OverloadedOperatorKind Op, SVal RetVal,
116   void handleAdvance(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
118   void handlePrev(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
120   void handleNext(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
122   void assignToContainer(CheckerContext &C, const Expr *CE, SVal RetVal,
447                                         SVal RetVal, SVal LVal, SVal RVal,
493   if (RetVal.isUnknown()) {
496     RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol(
498     State = State->BindExpr(CE, LCtx, RetVal);
501   processComparison(C, State, LPos->getOffset(), RPos->getOffset(), RetVal, Op);
506                                          SymbolRef Sym2, SVal RetVal,
508   if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) {
519   const auto ConditionVal = RetVal.getAs<DefinedSVal>();
534 void IteratorModeling::handleIncrement(CheckerContext &C, SVal RetVal,
556   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
560 void IteratorModeling::handleDecrement(CheckerContext &C, SVal RetVal,
582   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
588                                               SVal RetVal, SVal Iterator,
606       (Op == OO_PlusEqual || Op == OO_MinusEqual) ? Iterator : RetVal;
669                                      SVal RetVal, SVal Iter,
671   handleRandomIncrOrDecr(C, CE, OO_PlusEqual, RetVal, Iter, Amount);
675                                   SVal RetVal, SVal Iter, SVal Amount) const {
676   handleRandomIncrOrDecr(C, CE, OO_Minus, RetVal, Iter, Amount);
680                                   SVal RetVal, SVal Iter, SVal Amount) const {
681   handleRandomIncrOrDecr(C, CE, OO_Plus, RetVal, Iter, Amount);
685                                          SVal RetVal,
691   State = createIteratorPosition(State, RetVal, Cont, CE, LCtx, C.blockCount());