Lines Matching refs:CE
28 bool evalFind(CheckerContext &C, const CallExpr *CE) const;
30 void Find(CheckerContext &C, const CallExpr *CE, unsigned paramNum) const;
92 const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalCall() local
93 if (!CE) in evalCall()
100 return (this->**Handler)(C, CE); in evalCall()
104 const CallExpr *CE) const { in evalFind()
109 if (!isIteratorType(CE->getArg(1)->getType())) in evalFind()
114 if (isIteratorType(CE->getArg(0)->getType())) { in evalFind()
115 Find(C, CE, 0); in evalFind()
121 if (isIteratorType(CE->getArg(2)->getType())) { in evalFind()
122 Find(C, CE, 1); in evalFind()
129 void STLAlgorithmModeling::Find(CheckerContext &C, const CallExpr *CE, in Find() argument
135 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
136 SVal Param = State->getSVal(CE->getArg(paramNum), LCtx); in Find()
138 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find()
147 CE, LCtx, C.blockCount()); in Find()
160 Param = State->getSVal(CE->getArg(paramNum + 1), LCtx); in Find()
169 CE, LCtx, C.blockCount()); in Find()
185 auto StateNotFound = State->BindExpr(CE, LCtx, Param); in Find()