diff options
| author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-28 19:49:17 +0000 |
|---|---|---|
| committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-28 19:49:17 +0000 |
| commit | d655ab28fdf7c940d3f79f8f287954d7f76e0977 (patch) | |
| tree | 480cfc2c3328cbc20ae7a3c457a12803834deae8 /include/clang/StaticAnalyzer/Core/CheckerManager.h | |
| parent | 344500e3b78b95e2d911f45a64c5364d346ba799 (diff) | |
[analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126674 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/CheckerManager.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/CheckerManager.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/clang/StaticAnalyzer/Core/CheckerManager.h b/include/clang/StaticAnalyzer/Core/CheckerManager.h index d57b55f5f7..3e3c683b97 100644 --- a/include/clang/StaticAnalyzer/Core/CheckerManager.h +++ b/include/clang/StaticAnalyzer/Core/CheckerManager.h @@ -97,6 +97,8 @@ public: CheckerManager(const LangOptions &langOpts) : LangOpts(langOpts) { } ~CheckerManager(); + bool hasPathSensitiveCheckers() const; + void finishedCheckerRegistration(); const LangOptions &getLangOptions() const { return LangOpts; } |