Lines Matching defs:CE
27 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
32 bool BuiltinFunctionChecker::evalCall(const CallExpr *CE,
35 const FunctionDecl *FD = C.getCalleeDecl(CE);
48 assert (CE->arg_begin() != CE->arg_end());
49 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
50 C.addTransition(state->BindExpr(CE, LCtx, X));
58 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext());
64 cast<DefinedOrUnknownSVal>(state->getSVal(*(CE->arg_begin()), LCtx));
72 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));