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()
52     assert (CE->arg_begin() != CE->arg_end());  in evalCall()
53     SVal X = state->getSVal(*(CE->arg_begin()), LCtx);  in evalCall()
54     C.addTransition(state->BindExpr(CE, LCtx, X));  in evalCall()
62       RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext());  in evalCall()
68         state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();  in evalCall()
77     C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));  in evalCall()
86     if (CE->EvaluateAsInt(Result, C.getASTContext(), Expr::SE_NoSideEffects)) {  in evalCall()
90       BVF.getAPSIntType(CE->getType()).apply(Result);  in evalCall()
94     C.addTransition(state->BindExpr(CE, LCtx, V));  in evalCall()