Lines Matching refs:CE
28 bool evalFind(CheckerContext &C, const CallExpr *CE) const;
30 void Find(CheckerContext &C, const CallExpr *CE, unsigned paramNum) const;
71 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall() local
72 if (!CE) in evalCall()
79 return (this->**Handler)(C, CE); in evalCall()
83 const CallExpr *CE) const { in evalFind()
88 if (!isIteratorType(CE->getArg(1)->getType())) in evalFind()
93 if (isIteratorType(CE->getArg(0)->getType())) { in evalFind()
94 Find(C, CE, 0); in evalFind()
100 if (isIteratorType(CE->getArg(2)->getType())) { in evalFind()
101 Find(C, CE, 1); in evalFind()
108 void STLAlgorithmModeling::Find(CheckerContext &C, const CallExpr *CE, in Find() argument
114 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
115 SVal Param = State->getSVal(CE->getArg(paramNum), LCtx); in Find()
117 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find()
126 CE, LCtx, C.blockCount()); in Find()
139 Param = State->getSVal(CE->getArg(paramNum + 1), LCtx); in Find()
148 CE, LCtx, C.blockCount()); in Find()
164 auto StateNotFound = State->BindExpr(CE, LCtx, Param); in Find()