diff options
author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-15 21:25:03 +0000 |
---|---|---|
committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-15 21:25:03 +0000 |
commit | a0decc9a2481f938e1675b4f7bbd58761a882a36 (patch) | |
tree | f968a987d1e655cceee333ff6920283f49cb6e87 /lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp | |
parent | adafdbae908a8e798fa4940ed89f61597b3d7ca5 (diff) |
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
CStringChecker
ChrootChecker
MallocChecker
PthreadLockChecker
StreamChecker
UnreachableCodeChecker
MallocChecker creates implicit dependencies between checkers and needs to be handled differently.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125598 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp b/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp index 606fb359fe..28a045d2fc 100644 --- a/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp +++ b/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp @@ -22,12 +22,7 @@ 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); + RegisterMallocChecker(Eng); // ArrayBoundChecker depends on this. } void ento::RegisterExperimentalInternalChecks(ExprEngine &Eng) { |