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