Lines Matching defs:Cont

211   for (const auto &Cont : ContMap) {  in checkLiveSymbols()  local
232 for (const auto &Cont : ContMap) { in checkDeadSymbols() local
289 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont, in handleAssignment()
365 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont, in handleAssign()
379 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont, in handleClear()
408 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont, in handlePushBack()
448 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont, in handlePopBack()
488 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront()
523 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont, in handlePopFront()
559 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont, in handleInsert()
590 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, in handleErase()
624 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1, in handleErase()
660 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
681 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
728 for (const auto &Cont : ContMap) { in printState() local
822 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) { in getContainerBegin()
830 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) { in getContainerEnd()
839 const MemRegion *Cont, const Expr *E, in createContainerBegin()
861 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont, in createContainerEnd()
884 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData()
922 const MemRegion *Cont) { in invalidateAllIteratorPositions()
934 const MemRegion *Cont, SymbolRef Offset, in invalidateAllIteratorPositionsExcept()
974 const MemRegion *Cont, in reassignAllIteratorPositions()
986 const MemRegion *Cont, in reassignAllIteratorPositionsUnless()
1035 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) { in hasLiveIterators()