diff options
| author | Anna Zaks <ganna@apple.com> | 2011-10-18 23:06:21 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-10-18 23:06:21 +0000 |
| commit | cd656cab3fa3dd4b0c974c6ae1c0e60880b18c22 (patch) | |
| tree | 95fabbc9cca21c9cd2a8a347d00536d9d9db0c7a /include/clang/StaticAnalyzer/Core/CheckerManager.h | |
| parent | ad62deeb70e97da6bd514dd390ea1ce6af6ad81d (diff) | |
[analyzer] Modularize builder use in processBranch.
Take advantage of the new builders for branch processing. As part of this change pass generic NodeBuilder (instead of BranchNodeBuilder) to the BranchCondition callback and remove the unused methods form BranchBuilder.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142448 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/CheckerManager.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/CheckerManager.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/clang/StaticAnalyzer/Core/CheckerManager.h b/include/clang/StaticAnalyzer/Core/CheckerManager.h index e3e4c49f71..6026aec643 100644 --- a/include/clang/StaticAnalyzer/Core/CheckerManager.h +++ b/include/clang/StaticAnalyzer/Core/CheckerManager.h @@ -39,7 +39,7 @@ namespace ento { class ExplodedGraph; class ProgramState; class EndOfFunctionNodeBuilder; - class BranchNodeBuilder; + class NodeBuilder; class MemRegion; class SymbolReaper; @@ -232,7 +232,7 @@ public: /// \brief Run checkers for branch condition. void runCheckersForBranchCondition(const Stmt *condition, - BranchNodeBuilder &B, ExprEngine &Eng); + NodeBuilder &B, ExprEngine &Eng); /// \brief Run checkers for live symbols. /// @@ -334,7 +334,7 @@ public: typedef CheckerFn<void (EndOfFunctionNodeBuilder &, ExprEngine &)> CheckEndPathFunc; - typedef CheckerFn<void (const Stmt *, BranchNodeBuilder &, ExprEngine &)> + typedef CheckerFn<void (const Stmt *, NodeBuilder &, ExprEngine &)> CheckBranchConditionFunc; typedef CheckerFn<void (SymbolReaper &, CheckerContext &)> |