212 void ContainerModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
234   auto State = C.getState();  in checkDeadSymbols()  local
260   auto State = C.getState();  in handleBegin()  local
282   auto State = C.getState();  in handleEnd()  local
304   auto State = C.getState();  in handleAssignment()  local
379   auto State = C.getState();  in handleAssign()  local
394   auto State = C.getState();  in handleClear()  local
422   auto State = C.getState();  in handlePushBack()  local
461   auto State = C.getState();  in handlePopBack()  local
502   auto State = C.getState();  in handlePushFront()  local
536   auto State = C.getState();  in handlePopFront()  local
572   auto State = C.getState();  in handleInsert()  local
603   auto State = C.getState();  in handleErase()  local
636   auto State = C.getState();  in handleErase()  local
667   auto State = C.getState();  in handleEraseAfter()  local
688   auto State = C.getState();  in handleEraseAfter()  local
727 void ContainerModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
767 const CXXRecordDecl *getCXXRecordDecl(ProgramStateRef State,  in getCXXRecordDecl()
785 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg) {  in hasSubscriptOperator()
801 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) {  in frontModifiable()
816 bool backModifiable(ProgramStateRef State, const MemRegion *Reg) {  in backModifiable()
831 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
839 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
847 ProgramStateRef createContainerBegin(ProgramStateRef State,  in createContainerBegin()
870 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,  in createContainerEnd()
893 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,  in setContainerData()
899 ProgramStateRef processIteratorPositions(ProgramStateRef State, Condition Cond,  in processIteratorPositions()
930 ProgramStateRef invalidateAllIteratorPositions(ProgramStateRef State,  in invalidateAllIteratorPositions()
942 invalidateAllIteratorPositionsExcept(ProgramStateRef State,  in invalidateAllIteratorPositionsExcept()
955 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()
967 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()
982 ProgramStateRef reassignAllIteratorPositions(ProgramStateRef State,  in reassignAllIteratorPositions()
994 ProgramStateRef reassignAllIteratorPositionsUnless(ProgramStateRef State,  in reassignAllIteratorPositionsUnless()
1013     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()
1028 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()
1044 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) {  in hasLiveIterators()