diff options
| author | Anna Zaks <ganna@apple.com> | 2011-10-18 23:06:44 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-10-18 23:06:44 +0000 |
| commit | 4e82d3cf6fd4c907265e3fa3aac0a835c35dc759 (patch) | |
| tree | f997ce150d184ef26d497440adaaf6dbbbaa33c0 /include/clang/StaticAnalyzer/Core/CheckerManager.h | |
| parent | 3152b3cb5b6a2f797d0972c81a5eb3fd69c0d620 (diff) | |
[analyzer] Make NodeBuilder and Pred node loosely coupled
NodeBuilder should not assume it's dealing with a single predecessor. Remove predecessor getters. Modify the BranchNodeBuilder to not be responsible for doing auto-transitions (which depend on a predecessor).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142453 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, 4 insertions, 2 deletions
diff --git a/include/clang/StaticAnalyzer/Core/CheckerManager.h b/include/clang/StaticAnalyzer/Core/CheckerManager.h index 6026aec643..7450df63c4 100644 --- a/include/clang/StaticAnalyzer/Core/CheckerManager.h +++ b/include/clang/StaticAnalyzer/Core/CheckerManager.h @@ -232,7 +232,8 @@ public: /// \brief Run checkers for branch condition. void runCheckersForBranchCondition(const Stmt *condition, - NodeBuilder &B, ExprEngine &Eng); + NodeBuilder &B, ExplodedNode *Pred, + ExprEngine &Eng); /// \brief Run checkers for live symbols. /// @@ -334,7 +335,8 @@ public: typedef CheckerFn<void (EndOfFunctionNodeBuilder &, ExprEngine &)> CheckEndPathFunc; - typedef CheckerFn<void (const Stmt *, NodeBuilder &, ExprEngine &)> + typedef CheckerFn<void (const Stmt *, NodeBuilder &, ExplodedNode *Pred, + ExprEngine &)> CheckBranchConditionFunc; typedef CheckerFn<void (SymbolReaper &, CheckerContext &)> |