diff options
author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-08 22:30:15 +0000 |
---|---|---|
committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-08 22:30:15 +0000 |
commit | 4975170267cadcd0048b69d60e5fd2044280204b (patch) | |
tree | aa7a2d27b321a1180afbfc1b4808cd35a1860018 /clang/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp | |
parent | f410a6299f9056eaa312340c2a0da1e74860b94d (diff) | |
download | bcm5719-llvm-4975170267cadcd0048b69d60e5fd2044280204b.tar.gz bcm5719-llvm-4975170267cadcd0048b69d60e5fd2044280204b.zip |
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp
llvm-svn: 125123
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp')
-rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp b/clang/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp deleted file mode 100644 index 606fb359fed..00000000000 --- a/clang/lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp +++ /dev/null @@ -1,46 +0,0 @@ -//=-- ExperimentalChecks.h ----------------------------------------*- C++ -*-=// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This file defines functions to instantiate and register experimental -// checks in ExprEngine. -// -//===----------------------------------------------------------------------===// - -#include "InternalChecks.h" -#include "ExperimentalChecks.h" -#include "clang/StaticAnalyzer/Checkers/LocalCheckers.h" - -using namespace clang; -using namespace ento; - -void ento::RegisterExperimentalChecks(ExprEngine &Eng) { - // These are checks that never belong as internal checks - // within ExprEngine. - RegisterCStringChecker(Eng); - RegisterChrootChecker(Eng); - RegisterMallocChecker(Eng); - RegisterPthreadLockChecker(Eng); - RegisterStreamChecker(Eng); - RegisterUnreachableCodeChecker(Eng); -} - -void ento::RegisterExperimentalInternalChecks(ExprEngine &Eng) { - // These are internal checks that should eventually migrate to - // RegisterInternalChecks() once they have been further tested. - - // Note that this must be registered after ReturnStackAddresEngsChecker. - RegisterReturnPointerRangeChecker(Eng); - - RegisterArrayBoundChecker(Eng); - RegisterCastSizeChecker(Eng); - RegisterCastToStructChecker(Eng); - RegisterFixedAddressChecker(Eng); - RegisterPointerArithChecker(Eng); - RegisterPointerSubChecker(Eng); -} |