31 class BuiltinFunctionChecker : public Checker<eval::Call> {
33   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
48   bool isBuiltinLikeFunction(const CallEvent &Call) const;
54     const CallEvent &Call) const {  in isBuiltinLikeFunction()
55   const auto *FD = llvm::dyn_cast_or_null<FunctionDecl>(Call.getDecl());  in isBuiltinLikeFunction()
67   return BuiltinLikeStdFunctions.contains(Call);  in isBuiltinLikeFunction()
70 bool BuiltinFunctionChecker::evalCall(const CallEvent &Call,  in evalCall()  argument
73   const auto *FD = dyn_cast_or_null<FunctionDecl>(Call.getDecl());  in evalCall()
78   const Expr *CE = Call.getOriginExpr();  in evalCall()
80   if (isBuiltinLikeFunction(Call)) {  in evalCall()
81     C.addTransition(state->BindExpr(CE, LCtx, Call.getArgSVal(0)));  in evalCall()
91     assert (Call.getNumArgs() > 0);  in evalCall()
92     SVal Arg = Call.getArgSVal(0);  in evalCall()
119     assert (Call.getNumArgs() > 0);  in evalCall()
120     SVal Arg = Call.getArgSVal(0);  in evalCall()