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,
108 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
109 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
111 const MemRegion *Cont, const Expr *E,
114 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
118 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
121 const MemRegion *Cont);
124 const MemRegion *Cont, SymbolRef Offset,
135 const MemRegion *Cont,
138 const MemRegion *Cont,
147 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont);
216 for (const auto &Cont : ContMap) { in checkLiveSymbols() local
217 const auto CData = Cont.second; in checkLiveSymbols()
237 for (const auto &Cont : ContMap) { in checkDeadSymbols() local
238 if (!SR.isLiveRegion(Cont.first)) { in checkDeadSymbols()
241 if (!hasLiveIterators(State, Cont.first)) { in checkDeadSymbols()
242 State = State->remove<ContainerMap>(Cont.first); in checkDeadSymbols()
251 SVal RetVal, SVal Cont) const { in handleBegin()
252 const auto *ContReg = Cont.getAsRegion(); in handleBegin()
273 SVal RetVal, SVal Cont) const { in handleEnd()
274 const auto *ContReg = Cont.getAsRegion(); in handleEnd()
294 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont, in handleAssignment() argument
296 const auto *ContReg = Cont.getAsRegion(); in handleAssignment()
370 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont, in handleAssign() argument
372 const auto *ContReg = Cont.getAsRegion(); in handleAssign()
384 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont, in handleClear() argument
386 const auto *ContReg = Cont.getAsRegion(); in handleClear()
413 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont, in handlePushBack() argument
415 const auto *ContReg = Cont.getAsRegion(); in handlePushBack()
453 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont, in handlePopBack() argument
455 const auto *ContReg = Cont.getAsRegion(); in handlePopBack()
493 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront() argument
495 const auto *ContReg = Cont.getAsRegion(); in handlePushFront()
528 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont, in handlePopFront() argument
530 const auto *ContReg = Cont.getAsRegion(); in handlePopFront()
564 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont, in handleInsert() argument
566 const auto *ContReg = Cont.getAsRegion(); in handleInsert()
595 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, in handleErase() argument
597 const auto *ContReg = Cont.getAsRegion(); in handleErase()
629 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1, in handleErase() argument
631 const auto *ContReg = Cont.getAsRegion(); in handleErase()
665 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter() argument
686 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter() argument
733 for (const auto &Cont : ContMap) { in printState() local
734 Cont.first->dumpToStream(Out); in printState()
736 const auto CData = Cont.second; in printState()
831 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) { in getContainerBegin() argument
832 const auto *CDataPtr = getContainerData(State, Cont); in getContainerBegin()
839 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) { in getContainerEnd() argument
840 const auto *CDataPtr = getContainerData(State, Cont); in getContainerEnd()
848 const MemRegion *Cont, const Expr *E, in createContainerBegin() argument
852 const auto *CDataPtr = getContainerData(State, Cont); in createContainerBegin()
863 return setContainerData(State, Cont, CData); in createContainerBegin()
867 return setContainerData(State, Cont, CData); in createContainerBegin()
870 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont, in createContainerEnd() argument
875 const auto *CDataPtr = getContainerData(State, Cont); in createContainerEnd()
886 return setContainerData(State, Cont, CData); in createContainerEnd()
890 return setContainerData(State, Cont, CData); in createContainerEnd()
893 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData() argument
895 return State->set<ContainerMap>(Cont, CData); in setContainerData()
931 const MemRegion *Cont) { in invalidateAllIteratorPositions() argument
933 return Pos.getContainer() == Cont; in invalidateAllIteratorPositions()
943 const MemRegion *Cont, SymbolRef Offset, in invalidateAllIteratorPositionsExcept() argument
946 return Pos.getContainer() == Cont && in invalidateAllIteratorPositionsExcept()
983 const MemRegion *Cont, in reassignAllIteratorPositions() argument
986 return Pos.getContainer() == Cont; in reassignAllIteratorPositions()
995 const MemRegion *Cont, in reassignAllIteratorPositionsUnless() argument
1000 return Pos.getContainer() == Cont && in reassignAllIteratorPositionsUnless()
1044 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) { in hasLiveIterators() argument
1047 if (Reg.second.getContainer() == Cont) in hasLiveIterators()
1053 if (Sym.second.getContainer() == Cont) in hasLiveIterators()