Lines Matching refs:CE
27 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
32 bool BuiltinFunctionChecker::evalCall(const CallExpr *CE, in evalCall() argument
35 const FunctionDecl *FD = C.getCalleeDecl(CE); in evalCall()
45 assert (CE->arg_begin() != CE->arg_end()); in evalCall()
46 SVal ArgSVal = C.getSVal(CE->getArg(0)); in evalCall()
70 assert (CE->arg_begin() != CE->arg_end()); in evalCall()
71 SVal X = C.getSVal(*(CE->arg_begin())); in evalCall()
72 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
81 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext()); in evalCall()
86 auto Size = C.getSVal(*(CE->arg_begin())).castAs<DefinedOrUnknownSVal>(); in evalCall()
95 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
105 if (CE->EvaluateAsInt(EVResult, C.getASTContext(), Expr::SE_NoSideEffects)) { in evalCall()
110 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
114 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()