Lines Matching refs:Cont
37 SVal Cont) const;
39 SVal Cont) const;
40 void handleAssignment(CheckerContext &C, SVal Cont, const Expr *CE = nullptr,
42 void handleAssign(CheckerContext &C, SVal Cont, const Expr *ContE) const;
43 void handleClear(CheckerContext &C, SVal Cont, const Expr *ContE) const;
44 void handlePushBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
45 void handlePopBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
46 void handlePushFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
47 void handlePopFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
48 void handleInsert(CheckerContext &C, SVal Cont, SVal Iter) const;
49 void handleErase(CheckerContext &C, SVal Cont, SVal Iter) const;
50 void handleErase(CheckerContext &C, SVal Cont, SVal Iter1, SVal Iter2) const;
51 void handleEraseAfter(CheckerContext &C, SVal Cont, SVal Iter) const;
52 void handleEraseAfter(CheckerContext &C, SVal Cont, SVal Iter1,
103 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
104 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
106 const MemRegion *Cont, const Expr *E,
109 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
113 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
116 const MemRegion *Cont);
119 const MemRegion *Cont, SymbolRef Offset,
130 const MemRegion *Cont,
133 const MemRegion *Cont,
142 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont);
211 for (const auto &Cont : ContMap) { in checkLiveSymbols() local
212 const auto CData = Cont.second; in checkLiveSymbols()
232 for (const auto &Cont : ContMap) { in checkDeadSymbols() local
233 if (!SR.isLiveRegion(Cont.first)) { in checkDeadSymbols()
236 if (!hasLiveIterators(State, Cont.first)) { in checkDeadSymbols()
237 State = State->remove<ContainerMap>(Cont.first); in checkDeadSymbols()
246 SVal RetVal, SVal Cont) const { in handleBegin()
247 const auto *ContReg = Cont.getAsRegion(); in handleBegin()
268 SVal RetVal, SVal Cont) const { in handleEnd()
269 const auto *ContReg = Cont.getAsRegion(); in handleEnd()
289 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont, in handleAssignment() argument
291 const auto *ContReg = Cont.getAsRegion(); in handleAssignment()
365 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont, in handleAssign() argument
367 const auto *ContReg = Cont.getAsRegion(); in handleAssign()
379 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont, in handleClear() argument
381 const auto *ContReg = Cont.getAsRegion(); in handleClear()
408 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont, in handlePushBack() argument
410 const auto *ContReg = Cont.getAsRegion(); in handlePushBack()
448 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont, in handlePopBack() argument
450 const auto *ContReg = Cont.getAsRegion(); in handlePopBack()
488 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront() argument
490 const auto *ContReg = Cont.getAsRegion(); in handlePushFront()
523 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont, in handlePopFront() argument
525 const auto *ContReg = Cont.getAsRegion(); in handlePopFront()
559 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont, in handleInsert() argument
561 const auto *ContReg = Cont.getAsRegion(); in handleInsert()
590 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, in handleErase() argument
592 const auto *ContReg = Cont.getAsRegion(); in handleErase()
624 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1, in handleErase() argument
626 const auto *ContReg = Cont.getAsRegion(); in handleErase()
660 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter() argument
681 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter() argument
728 for (const auto &Cont : ContMap) { in printState() local
729 Cont.first->dumpToStream(Out); in printState()
731 const auto CData = Cont.second; in printState()
822 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) { in getContainerBegin() argument
823 const auto *CDataPtr = getContainerData(State, Cont); in getContainerBegin()
830 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) { in getContainerEnd() argument
831 const auto *CDataPtr = getContainerData(State, Cont); in getContainerEnd()
839 const MemRegion *Cont, const Expr *E, in createContainerBegin() argument
843 const auto *CDataPtr = getContainerData(State, Cont); in createContainerBegin()
854 return setContainerData(State, Cont, CData); in createContainerBegin()
858 return setContainerData(State, Cont, CData); in createContainerBegin()
861 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont, in createContainerEnd() argument
866 const auto *CDataPtr = getContainerData(State, Cont); in createContainerEnd()
877 return setContainerData(State, Cont, CData); in createContainerEnd()
881 return setContainerData(State, Cont, CData); in createContainerEnd()
884 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData() argument
886 return State->set<ContainerMap>(Cont, CData); in setContainerData()
922 const MemRegion *Cont) { in invalidateAllIteratorPositions() argument
924 return Pos.getContainer() == Cont; in invalidateAllIteratorPositions()
934 const MemRegion *Cont, SymbolRef Offset, in invalidateAllIteratorPositionsExcept() argument
937 return Pos.getContainer() == Cont && in invalidateAllIteratorPositionsExcept()
974 const MemRegion *Cont, in reassignAllIteratorPositions() argument
977 return Pos.getContainer() == Cont; in reassignAllIteratorPositions()
986 const MemRegion *Cont, in reassignAllIteratorPositionsUnless() argument
991 return Pos.getContainer() == Cont && in reassignAllIteratorPositionsUnless()
1035 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) { in hasLiveIterators() argument
1038 if (Reg.second.getContainer() == Cont) in hasLiveIterators()
1044 if (Sym.second.getContainer() == Cont) in hasLiveIterators()