Lines Matching refs:Cont
36 SVal Cont) const;
38 SVal Cont) const;
39 void handleAssignment(CheckerContext &C, SVal Cont, const Expr *CE = nullptr,
41 void handleAssign(CheckerContext &C, SVal Cont, const Expr *ContE) const;
42 void handleClear(CheckerContext &C, SVal Cont, const Expr *ContE) const;
43 void handlePushBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
44 void handlePopBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
45 void handlePushFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
46 void handlePopFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
47 void handleInsert(CheckerContext &C, SVal Cont, SVal Iter) const;
48 void handleErase(CheckerContext &C, SVal Cont, SVal Iter) const;
49 void handleErase(CheckerContext &C, SVal Cont, SVal Iter1, SVal Iter2) const;
50 void handleEraseAfter(CheckerContext &C, SVal Cont, SVal Iter) const;
51 void handleEraseAfter(CheckerContext &C, SVal Cont, SVal Iter1,
117 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
118 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
120 const MemRegion *Cont, const Expr *E,
123 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
127 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
130 const MemRegion *Cont);
133 const MemRegion *Cont, SymbolRef Offset,
144 const MemRegion *Cont,
147 const MemRegion *Cont,
156 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont);
225 for (const auto &Cont : ContMap) { in checkLiveSymbols() local
226 const auto CData = Cont.second; in checkLiveSymbols()
246 for (const auto &Cont : ContMap) { in checkDeadSymbols() local
247 if (!SR.isLiveRegion(Cont.first)) { in checkDeadSymbols()
250 if (!hasLiveIterators(State, Cont.first)) { in checkDeadSymbols()
251 State = State->remove<ContainerMap>(Cont.first); in checkDeadSymbols()
260 SVal RetVal, SVal Cont) const { in handleBegin()
261 const auto *ContReg = Cont.getAsRegion(); in handleBegin()
282 SVal RetVal, SVal Cont) const { in handleEnd()
283 const auto *ContReg = Cont.getAsRegion(); in handleEnd()
303 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont, in handleAssignment() argument
305 const auto *ContReg = Cont.getAsRegion(); in handleAssignment()
379 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont, in handleAssign() argument
381 const auto *ContReg = Cont.getAsRegion(); in handleAssign()
393 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont, in handleClear() argument
395 const auto *ContReg = Cont.getAsRegion(); in handleClear()
422 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont, in handlePushBack() argument
424 const auto *ContReg = Cont.getAsRegion(); in handlePushBack()
462 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont, in handlePopBack() argument
464 const auto *ContReg = Cont.getAsRegion(); in handlePopBack()
502 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront() argument
504 const auto *ContReg = Cont.getAsRegion(); in handlePushFront()
537 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont, in handlePopFront() argument
539 const auto *ContReg = Cont.getAsRegion(); in handlePopFront()
573 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont, in handleInsert() argument
575 const auto *ContReg = Cont.getAsRegion(); in handleInsert()
604 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, in handleErase() argument
606 const auto *ContReg = Cont.getAsRegion(); in handleErase()
638 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1, in handleErase() argument
640 const auto *ContReg = Cont.getAsRegion(); in handleErase()
674 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter() argument
695 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter() argument
742 for (const auto &Cont : ContMap) { in printState() local
743 Cont.first->dumpToStream(Out); in printState()
745 const auto CData = Cont.second; in printState()
836 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) { in getContainerBegin() argument
837 const auto *CDataPtr = getContainerData(State, Cont); in getContainerBegin()
844 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) { in getContainerEnd() argument
845 const auto *CDataPtr = getContainerData(State, Cont); in getContainerEnd()
853 const MemRegion *Cont, const Expr *E, in createContainerBegin() argument
857 const auto *CDataPtr = getContainerData(State, Cont); in createContainerBegin()
868 return setContainerData(State, Cont, CData); in createContainerBegin()
872 return setContainerData(State, Cont, CData); in createContainerBegin()
875 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont, in createContainerEnd() argument
880 const auto *CDataPtr = getContainerData(State, Cont); in createContainerEnd()
891 return setContainerData(State, Cont, CData); in createContainerEnd()
895 return setContainerData(State, Cont, CData); in createContainerEnd()
898 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData() argument
900 return State->set<ContainerMap>(Cont, CData); in setContainerData()
936 const MemRegion *Cont) { in invalidateAllIteratorPositions() argument
938 return Pos.getContainer() == Cont; in invalidateAllIteratorPositions()
948 const MemRegion *Cont, SymbolRef Offset, in invalidateAllIteratorPositionsExcept() argument
951 return Pos.getContainer() == Cont && in invalidateAllIteratorPositionsExcept()
988 const MemRegion *Cont, in reassignAllIteratorPositions() argument
991 return Pos.getContainer() == Cont; in reassignAllIteratorPositions()
1000 const MemRegion *Cont, in reassignAllIteratorPositionsUnless() argument
1005 return Pos.getContainer() == Cont && in reassignAllIteratorPositionsUnless()
1049 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) { in hasLiveIterators() argument
1052 if (Reg.second.getContainer() == Cont) in hasLiveIterators()
1058 if (Sym.second.getContainer() == Cont) in hasLiveIterators()