diff options
| author | Anna Zaks <ganna@apple.com> | 2011-10-25 19:56:54 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-10-25 19:56:54 +0000 |
| commit | f236b6503a4dbc44c1fccb8756bd57c9d0efdf05 (patch) | |
| tree | f22c7a0ddbc24d0e3bf43f12b98215bd6d34e60a /include/clang/StaticAnalyzer/Core/CheckerManager.h | |
| parent | af498a28797c075c48d7e943df5f5a8e78ed8eb0 (diff) | |
[analyzer] Make branch for condition callback use CheckerContext
Now, all the path sensitive checkers use CheckerContext!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142944 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/CheckerManager.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/CheckerManager.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/include/clang/StaticAnalyzer/Core/CheckerManager.h b/include/clang/StaticAnalyzer/Core/CheckerManager.h index e74bd8b826..806085460b 100644 --- a/include/clang/StaticAnalyzer/Core/CheckerManager.h +++ b/include/clang/StaticAnalyzer/Core/CheckerManager.h @@ -236,7 +236,7 @@ public: /// \brief Run checkers for branch condition. void runCheckersForBranchCondition(const Stmt *condition, - NodeBuilder &B, ExplodedNode *Pred, + ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng); /// \brief Run checkers for live symbols. @@ -339,8 +339,7 @@ public: typedef CheckerFn<void (CheckerContext &)> CheckEndPathFunc; - typedef CheckerFn<void (const Stmt *, NodeBuilder &, ExplodedNode *Pred, - ExprEngine &)> + typedef CheckerFn<void (const Stmt *, CheckerContext &)> CheckBranchConditionFunc; typedef CheckerFn<void (SymbolReaper &, CheckerContext &)> |