102                         ConstCFGElementRef Elem, SVal RetVal, SVal LVal,
111   void handleRandomIncrOrDecr(CheckerContext &C, ConstCFGElementRef Elem,
115                            ConstCFGElementRef Elem, OverloadedOperatorKind OK,
117   void handleAdvance(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,
119   void handlePrev(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,
121   void handleNext(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,
123   void assignToContainer(CheckerContext &C, ConstCFGElementRef Elem,
355       const auto Elem = Call.getCFGElementRef();  in handleOverloadedOperator()  local
360         handleComparison(C, OrigExpr, Elem, Call.getReturnValue(),  in handleOverloadedOperator()
365       handleComparison(C, OrigExpr, Elem, Call.getReturnValue(),  in handleOverloadedOperator()
370       const auto Elem = Call.getCFGElementRef();  in handleOverloadedOperator()  local
377           handleRandomIncrOrDecr(C, Elem, Op, Call.getReturnValue(),  in handleOverloadedOperator()
397           handleRandomIncrOrDecr(C, Elem, Op, Call.getReturnValue(), Iterator,  in handleOverloadedOperator()
450                                         ConstCFGElementRef Elem, SVal RetVal,  in handleComparison()  argument
474     Sym = SymMgr.conjureSymbol(Elem, C.getLocationContext(),  in handleComparison()
501         Elem, LCtx, C.getASTContext().BoolTy, C.blockCount()));  in handleComparison()
591                                               ConstCFGElementRef Elem,  in handleRandomIncrOrDecr()  argument
625     assignToContainer(C, Elem, TgtVal, Pos->getContainer());  in handleRandomIncrOrDecr()
631                                            ConstCFGElementRef Elem,  in handlePtrIncrOrDecr()  argument
670     assignToContainer(C, Elem, NewVal, OldPos->getContainer());  in handlePtrIncrOrDecr()
674 void IteratorModeling::handleAdvance(CheckerContext &C, ConstCFGElementRef Elem,  in handleAdvance()  argument
677   handleRandomIncrOrDecr(C, Elem, OO_PlusEqual, RetVal, Iter, Amount);  in handleAdvance()
680 void IteratorModeling::handlePrev(CheckerContext &C, ConstCFGElementRef Elem,  in handlePrev()  argument
682   handleRandomIncrOrDecr(C, Elem, OO_Minus, RetVal, Iter, Amount);  in handlePrev()
685 void IteratorModeling::handleNext(CheckerContext &C, ConstCFGElementRef Elem,  in handleNext()  argument
687   handleRandomIncrOrDecr(C, Elem, OO_Plus, RetVal, Iter, Amount);  in handleNext()
691                                          ConstCFGElementRef Elem, SVal RetVal,  in assignToContainer()  argument
698       createIteratorPosition(State, RetVal, Cont, Elem, LCtx, C.blockCount());  in assignToContainer()