221 void ContainerModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
243   auto State = C.getState();  in checkDeadSymbols()  local
269   auto State = C.getState();  in handleBegin()  local
291   auto State = C.getState();  in handleEnd()  local
313   auto State = C.getState();  in handleAssignment()  local
388   auto State = C.getState();  in handleAssign()  local
403   auto State = C.getState();  in handleClear()  local
431   auto State = C.getState();  in handlePushBack()  local
470   auto State = C.getState();  in handlePopBack()  local
511   auto State = C.getState();  in handlePushFront()  local
545   auto State = C.getState();  in handlePopFront()  local
581   auto State = C.getState();  in handleInsert()  local
612   auto State = C.getState();  in handleErase()  local
645   auto State = C.getState();  in handleErase()  local
676   auto State = C.getState();  in handleEraseAfter()  local
697   auto State = C.getState();  in handleEraseAfter()  local
736 void ContainerModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
776 const CXXRecordDecl *getCXXRecordDecl(ProgramStateRef State,  in getCXXRecordDecl()
790 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg) {  in hasSubscriptOperator()
806 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) {  in frontModifiable()
821 bool backModifiable(ProgramStateRef State, const MemRegion *Reg) {  in backModifiable()
836 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
844 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
852 ProgramStateRef createContainerBegin(ProgramStateRef State,  in createContainerBegin()
875 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,  in createContainerEnd()
898 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,  in setContainerData()
904 ProgramStateRef processIteratorPositions(ProgramStateRef State, Condition Cond,  in processIteratorPositions()
935 ProgramStateRef invalidateAllIteratorPositions(ProgramStateRef State,  in invalidateAllIteratorPositions()
947 invalidateAllIteratorPositionsExcept(ProgramStateRef State,  in invalidateAllIteratorPositionsExcept()
960 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()
972 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,  in invalidateIteratorPositions()
987 ProgramStateRef reassignAllIteratorPositions(ProgramStateRef State,  in reassignAllIteratorPositions()
999 ProgramStateRef reassignAllIteratorPositionsUnless(ProgramStateRef State,  in reassignAllIteratorPositionsUnless()
1018     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()
1033 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()
1049 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) {  in hasLiveIterators()