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