Lines Matching refs:CE

34   void analyzerIteratorDataField(const CallExpr *CE, CheckerContext &C,
36 void analyzerIteratorPosition(const CallExpr *CE, CheckerContext &C) const;
37 void analyzerIteratorContainer(const CallExpr *CE, CheckerContext &C) const;
38 void analyzerIteratorValidity(const CallExpr *CE, CheckerContext &C) const;
69 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall() local
70 if (!CE) in evalCall()
77 (this->**Handler)(CE, C); in evalCall()
82 void DebugIteratorModeling::analyzerIteratorDataField(const CallExpr *CE, in analyzerIteratorDataField() argument
86 if (CE->getNumArgs() == 0) { in analyzerIteratorDataField()
92 SVal V = C.getSVal(CE->getArg(0)); in analyzerIteratorDataField()
95 State = State->BindExpr(CE, C.getLocationContext(), get(Pos)); in analyzerIteratorDataField()
97 State = State->BindExpr(CE, C.getLocationContext(), Default); in analyzerIteratorDataField()
102 void DebugIteratorModeling::analyzerIteratorPosition(const CallExpr *CE, in analyzerIteratorPosition() argument
105 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorPosition()
110 void DebugIteratorModeling::analyzerIteratorContainer(const CallExpr *CE, in analyzerIteratorContainer() argument
113 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorContainer()
118 void DebugIteratorModeling::analyzerIteratorValidity(const CallExpr *CE, in analyzerIteratorValidity() argument
121 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()