diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-03-10 03:50:34 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-03-10 03:50:34 +0000 |
| commit | 0d28d360b5559abda755e50b855ba5e59727d9cd (patch) | |
| tree | 51890a6ad004bbc62e394584103d384a9121967d /include/clang/Analysis/AnalysisContext.h | |
| parent | d5e3ed085032def4ac875d64cb029fc3926652ed (diff) | |
When doing reachability analysis for warnings issued under DiagRuntimeBehavior, don't construct a ParentMap or CFGStmtMap.
Instead, create a small set of Stmt* -> CFGBlock* mappings during CFG construction for only the statements we care about
relating to the diagnostics we want to check for reachability.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@127396 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/AnalysisContext.h')
| -rw-r--r-- | include/clang/Analysis/AnalysisContext.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/clang/Analysis/AnalysisContext.h b/include/clang/Analysis/AnalysisContext.h index e449fe3c01..c4dbcb8825 100644 --- a/include/clang/Analysis/AnalysisContext.h +++ b/include/clang/Analysis/AnalysisContext.h @@ -92,6 +92,9 @@ public: bool getAddImplicitDtors() const { return cfgBuildOptions.AddImplicitDtors; } bool getAddInitializers() const { return cfgBuildOptions.AddInitializers; } + void registerForcedBlockExpression(const Stmt *stmt); + const CFGBlock *getBlockForRegisteredExpression(const Stmt *stmt); + Stmt *getBody(); CFG *getCFG(); |