Lines Matching refs:CE

35   void analyzerIteratorDataField(const CallExpr *CE, CheckerContext &C,
37 void analyzerIteratorPosition(const CallExpr *CE, CheckerContext &C) const;
38 void analyzerIteratorContainer(const CallExpr *CE, CheckerContext &C) const;
39 void analyzerIteratorValidity(const CallExpr *CE, CheckerContext &C) const;
62 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall() local
63 if (!CE) in evalCall()
70 (this->**Handler)(CE, C); in evalCall()
75 void DebugIteratorModeling::analyzerIteratorDataField(const CallExpr *CE, in analyzerIteratorDataField() argument
79 if (CE->getNumArgs() == 0) { in analyzerIteratorDataField()
85 SVal V = C.getSVal(CE->getArg(0)); in analyzerIteratorDataField()
88 State = State->BindExpr(CE, C.getLocationContext(), get(Pos)); in analyzerIteratorDataField()
90 State = State->BindExpr(CE, C.getLocationContext(), Default); in analyzerIteratorDataField()
95 void DebugIteratorModeling::analyzerIteratorPosition(const CallExpr *CE, in analyzerIteratorPosition() argument
98 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorPosition()
103 void DebugIteratorModeling::analyzerIteratorContainer(const CallExpr *CE, in analyzerIteratorContainer() argument
106 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorContainer()
111 void DebugIteratorModeling::analyzerIteratorValidity(const CallExpr *CE, in analyzerIteratorValidity() argument
114 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()