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,
450                                        SVal RetVal, const SVal &LVal,  in handleComparison()  argument
497   if (RetVal.isUnknown()) {  in handleComparison()
500     RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol(  in handleComparison()
502     State = State->BindExpr(CE, LCtx, RetVal);  in handleComparison()
505   processComparison(C, State, LPos->getOffset(), RPos->getOffset(), RetVal, Op);  in handleComparison()
510                                          SymbolRef Sym2, const SVal &RetVal,  in processComparison()  argument
512   if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) {  in processComparison()
523   const auto ConditionVal = RetVal.getAs<DefinedSVal>();  in processComparison()
538 void IteratorModeling::handleIncrement(CheckerContext &C, const SVal &RetVal,  in handleIncrement()  argument
560   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleIncrement()
564 void IteratorModeling::handleDecrement(CheckerContext &C, const SVal &RetVal,  in handleDecrement()  argument
586   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleDecrement()
592                                               const SVal &RetVal,  in handleRandomIncrOrDecr()  argument
611       (Op == OO_PlusEqual || Op == OO_MinusEqual) ? Iterator : RetVal;  in handleRandomIncrOrDecr()
674                                      SVal RetVal, SVal Iter,  in handleAdvance()  argument
676   handleRandomIncrOrDecr(C, CE, OO_PlusEqual, RetVal, Iter, Amount);  in handleAdvance()
680                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handlePrev()  argument
681   handleRandomIncrOrDecr(C, CE, OO_Minus, RetVal, Iter, Amount);  in handlePrev()
685                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handleNext()  argument
686   handleRandomIncrOrDecr(C, CE, OO_Plus, RetVal, Iter, Amount);  in handleNext()
690                                          const SVal &RetVal,  in assignToContainer()  argument
696   State = createIteratorPosition(State, RetVal, Cont, CE, LCtx, C.blockCount());  in assignToContainer()