Lines Matching defs:Cont

216   for (const auto &Cont : ContMap) {  in checkLiveSymbols()  local
237 for (const auto &Cont : ContMap) { in checkDeadSymbols() local
294 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont, in handleAssignment()
370 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont, in handleAssign()
384 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont, in handleClear()
413 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont, in handlePushBack()
453 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont, in handlePopBack()
493 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront()
528 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont, in handlePopFront()
564 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont, in handleInsert()
595 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, in handleErase()
629 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1, in handleErase()
665 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
686 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
733 for (const auto &Cont : ContMap) { in printState() local
831 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) { in getContainerBegin()
839 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) { in getContainerEnd()
848 const MemRegion *Cont, const Expr *E, in createContainerBegin()
870 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont, in createContainerEnd()
893 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData()
931 const MemRegion *Cont) { in invalidateAllIteratorPositions()
943 const MemRegion *Cont, SymbolRef Offset, in invalidateAllIteratorPositionsExcept()
983 const MemRegion *Cont, in reassignAllIteratorPositions()
995 const MemRegion *Cont, in reassignAllIteratorPositionsUnless()
1044 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) { in hasLiveIterators()