Lines Matching refs:CE
1953 if (const CallExpr *CE = dyn_cast<CallExpr>(S)) {
1955 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx);
2018 if (const CallExpr *CE = dyn_cast<CallExpr>(S)) {
2023 for (CallExpr::const_arg_iterator AI=CE->arg_begin(), AE=CE->arg_end();
2261 const Stmt *CE = CEP->getCallExpr();
2262 if (const ObjCMessageExpr *ME = dyn_cast_or_null<ObjCMessageExpr>(CE)) {
2614 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
2631 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
2741 void RetainCountChecker::checkPostStmt(const CastExpr *CE,
2743 const ObjCBridgedCastExpr *BE = dyn_cast<ObjCBridgedCastExpr>(CE);
2762 SymbolRef Sym = state->getSVal(CE, C.getLocationContext()).getAsLocSymbol();
3345 bool RetainCountChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
3348 const FunctionDecl *FD = C.getCalleeDecl(CE);
3360 if (CE->getNumArgs() != 1)
3370 QualType ResultTy = CE->getCallReturnType(C.getASTContext());
3391 SVal RetVal = state->getSVal(CE->getArg(0), LCtx);
3395 RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount());
3397 state = state->BindExpr(CE, LCtx, RetVal, false);
3409 state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx,
4001 CallEffects CE(S->getRetEffect());\
4002 CE.Receiver = S->getReceiverEffect();\
4005 CE.Args.push_back(S->getArg(i));\
4010 return CE;
4015 return CE;
