101   void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
105                          SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal,
107   void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
109   void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
112                               OverloadedOperatorKind Op, const 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, const SVal &RetVal,
449                                        SVal RetVal, const SVal &LVal,  in handleComparison()  argument
496   if (RetVal.isUnknown()) {  in handleComparison()
499     RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol(  in handleComparison()
501     State = State->BindExpr(CE, LCtx, RetVal);  in handleComparison()
504   processComparison(C, State, LPos->getOffset(), RPos->getOffset(), RetVal, Op);  in handleComparison()
509                                          SymbolRef Sym2, const SVal &RetVal,  in processComparison()  argument
511   if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) {  in processComparison()
522   const auto ConditionVal = RetVal.getAs<DefinedSVal>();  in processComparison()
537 void IteratorModeling::handleIncrement(CheckerContext &C, const SVal &RetVal,  in handleIncrement()  argument
559   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleIncrement()
563 void IteratorModeling::handleDecrement(CheckerContext &C, const SVal &RetVal,  in handleDecrement()  argument
585   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleDecrement()
591                                               const SVal &RetVal,  in handleRandomIncrOrDecr()  argument
610       (Op == OO_PlusEqual || Op == OO_MinusEqual) ? Iterator : RetVal;  in handleRandomIncrOrDecr()
673                                      SVal RetVal, SVal Iter,  in handleAdvance()  argument
675   handleRandomIncrOrDecr(C, CE, OO_PlusEqual, RetVal, Iter, Amount);  in handleAdvance()
679                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handlePrev()  argument
680   handleRandomIncrOrDecr(C, CE, OO_Minus, RetVal, Iter, Amount);  in handlePrev()
684                                   SVal RetVal, SVal Iter, SVal Amount) const {  in handleNext()  argument
685   handleRandomIncrOrDecr(C, CE, OO_Plus, RetVal, Iter, Amount);  in handleNext()
689                                          const SVal &RetVal,  in assignToContainer()  argument
695   State = createIteratorPosition(State, RetVal, Cont, CE, LCtx, C.blockCount());  in assignToContainer()