Lines Matching refs:CE
27 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
32 bool BuiltinFunctionChecker::evalCall(const CallExpr *CE,
35 const FunctionDecl *FD = C.getCalleeDecl(CE);
49 assert (CE->arg_begin() != CE->arg_end());
50 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
51 C.addTransition(state->BindExpr(CE, LCtx, X));
59 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext());
65 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
74 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
83 if (CE->EvaluateAsInt(Result, C.getASTContext(), Expr::SE_NoSideEffects)) {
87 BVF.getAPSIntType(CE->getType()).apply(Result);
91 C.addTransition(state->BindExpr(CE, LCtx, V));