Lines Matching refs:CE
33 void analyzerIteratorDataField(const CallExpr *CE, CheckerContext &C,
35 void analyzerIteratorPosition(const CallExpr *CE, CheckerContext &C) const;
36 void analyzerIteratorContainer(const CallExpr *CE, CheckerContext &C) const;
37 void analyzerIteratorValidity(const CallExpr *CE, CheckerContext &C) const;
68 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall() local
69 if (!CE) in evalCall()
76 (this->**Handler)(CE, C); in evalCall()
81 void DebugIteratorModeling::analyzerIteratorDataField(const CallExpr *CE, in analyzerIteratorDataField() argument
85 if (CE->getNumArgs() == 0) { in analyzerIteratorDataField()
91 SVal V = C.getSVal(CE->getArg(0)); in analyzerIteratorDataField()
94 State = State->BindExpr(CE, C.getLocationContext(), get(Pos)); in analyzerIteratorDataField()
96 State = State->BindExpr(CE, C.getLocationContext(), Default); in analyzerIteratorDataField()
101 void DebugIteratorModeling::analyzerIteratorPosition(const CallExpr *CE, in analyzerIteratorPosition() argument
104 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorPosition()
109 void DebugIteratorModeling::analyzerIteratorContainer(const CallExpr *CE, in analyzerIteratorContainer() argument
112 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorContainer()
117 void DebugIteratorModeling::analyzerIteratorValidity(const CallExpr *CE, in analyzerIteratorValidity() argument
120 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()