StaticAnalyzer/Checkers/DebugIteratorModeling.cpp

33   void analyzerContainerDataField(const CallExpr *CE, CheckerContext &C,
35   void analyzerContainerBegin(const CallExpr *CE, CheckerContext &C) const;
36   void analyzerContainerEnd(const CallExpr *CE, CheckerContext &C) const;
38   void analyzerIteratorDataField(const CallExpr *CE, CheckerContext &C,
40   void analyzerIteratorPosition(const CallExpr *CE, CheckerContext &C) const;
41   void analyzerIteratorContainer(const CallExpr *CE, CheckerContext &C) const;
42   void analyzerIteratorValidity(const CallExpr *CE, CheckerContext &C) const;
77   const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());
78   if (!CE)
85   (this->**Handler)(CE, C);
90 void DebugIteratorModeling::analyzerContainerDataField(const CallExpr *CE,
93   if (CE->getNumArgs() == 0) {
99   const MemRegion *Cont = C.getSVal(CE->getArg(0)).getAsRegion();
105         State = State->BindExpr(CE, C.getLocationContext(),
114   State = State->BindExpr(CE, C.getLocationContext(),
118 void DebugIteratorModeling::analyzerContainerBegin(const CallExpr *CE,
120   analyzerContainerDataField(CE, C, [](const ContainerData *D) {
125 void DebugIteratorModeling::analyzerContainerEnd(const CallExpr *CE,
127   analyzerContainerDataField(CE, C, [](const ContainerData *D) {
133 void DebugIteratorModeling::analyzerIteratorDataField(const CallExpr *CE,
137   if (CE->getNumArgs() == 0) {
143   SVal V = C.getSVal(CE->getArg(0));
146     State = State->BindExpr(CE, C.getLocationContext(), get(Pos));
148     State = State->BindExpr(CE, C.getLocationContext(), Default);
153 void DebugIteratorModeling::analyzerIteratorPosition(const CallExpr *CE,
156   analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) {
161 void DebugIteratorModeling::analyzerIteratorContainer(const CallExpr *CE,
164   analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) {
169 void DebugIteratorModeling::analyzerIteratorValidity(const CallExpr *CE,
172   analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) {