Lines Matching defs:Cont
225 for (const auto &Cont : ContMap) { in checkLiveSymbols() local
246 for (const auto &Cont : ContMap) { in checkDeadSymbols() local
303 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont, in handleAssignment()
379 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont, in handleAssign()
393 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont, in handleClear()
422 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont, in handlePushBack()
462 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont, in handlePopBack()
502 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront()
537 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont, in handlePopFront()
573 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont, in handleInsert()
604 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, in handleErase()
638 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1, in handleErase()
674 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
695 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
742 for (const auto &Cont : ContMap) { in printState() local
836 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) { in getContainerBegin()
844 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) { in getContainerEnd()
853 const MemRegion *Cont, const Expr *E, in createContainerBegin()
875 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont, in createContainerEnd()
898 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData()
936 const MemRegion *Cont) { in invalidateAllIteratorPositions()
948 const MemRegion *Cont, SymbolRef Offset, in invalidateAllIteratorPositionsExcept()
988 const MemRegion *Cont, in reassignAllIteratorPositions()
1000 const MemRegion *Cont, in reassignAllIteratorPositionsUnless()
1049 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) { in hasLiveIterators()