diff options
Diffstat (limited to 'contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp')
| -rw-r--r-- | contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp | 22 | 
1 files changed, 12 insertions, 10 deletions
| diff --git a/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp b/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp index 417b015ca39a..12ac652ba060 100644 --- a/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp +++ b/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp @@ -11,8 +11,10 @@  //  //===----------------------------------------------------------------------===// -#include "InternalChecks.h" -#include "clang/StaticAnalyzer/Core/PathSensitive/Checker.h" +#include "ClangSACheckers.h" +#include "clang/StaticAnalyzer/Core/Checker.h" +#include "clang/StaticAnalyzer/Core/CheckerManager.h" +#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"  #include "clang/Basic/Builtins.h"  using namespace clang; @@ -20,19 +22,15 @@ using namespace ento;  namespace { -class BuiltinFunctionChecker : public Checker { +class BuiltinFunctionChecker : public Checker<eval::Call> {  public: -  static void *getTag() { static int tag = 0; return &tag; } -  virtual bool evalCallExpr(CheckerContext &C, const CallExpr *CE); +  bool evalCall(const CallExpr *CE, CheckerContext &C) const;  };  } -void ento::RegisterBuiltinFunctionChecker(ExprEngine &Eng) { -  Eng.registerCheck(new BuiltinFunctionChecker()); -} - -bool BuiltinFunctionChecker::evalCallExpr(CheckerContext &C,const CallExpr *CE){ +bool BuiltinFunctionChecker::evalCall(const CallExpr *CE, +                                      CheckerContext &C) const{    const GRState *state = C.getState();    const Expr *Callee = CE->getCallee();    SVal L = state->getSVal(Callee); @@ -81,3 +79,7 @@ bool BuiltinFunctionChecker::evalCallExpr(CheckerContext &C,const CallExpr *CE){    return false;  } + +void ento::registerBuiltinFunctionChecker(CheckerManager &mgr) { +  mgr.registerChecker<BuiltinFunctionChecker>(); +} | 
