Lines Matching defs: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());
70 if (!CE)
77 (this->**Handler)(CE, C);
82 void DebugIteratorModeling::analyzerIteratorDataField(const CallExpr *CE,
86 if (CE->getNumArgs() == 0) {
92 SVal V = C.getSVal(CE->getArg(0));
95 State = State->BindExpr(CE, C.getLocationContext(), get(Pos));
97 State = State->BindExpr(CE, C.getLocationContext(), Default);
102 void DebugIteratorModeling::analyzerIteratorPosition(const CallExpr *CE,
105 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) {
110 void DebugIteratorModeling::analyzerIteratorContainer(const CallExpr *CE,
113 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) {
118 void DebugIteratorModeling::analyzerIteratorValidity(const CallExpr *CE,
121 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) {