diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-08-25 06:51:30 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-08-25 06:51:30 +0000 |
| commit | 5032ffe4259e7d436f2eb19e5a29fdae559e7c12 (patch) | |
| tree | 62df2b628e75f5eb82778f1becd7647809709a95 /lib/Analysis/GRState.cpp | |
| parent | 80f01ba80b2827fb06b6c5809fe325570535af74 (diff) | |
Remove CodeDecl and CFG from GRExprEngine and GRStateManager.
Now AnalysisManager is the only place we can get CodeDecl.
This leads to an API change: GRState::bindExpr() now takes the CFG argument.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@79980 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRState.cpp')
| -rw-r--r-- | lib/Analysis/GRState.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index 828ea26eea..862bd5f72d 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -98,7 +98,7 @@ const GRState *GRState::bindExpr(const Stmt* Ex, SVal V, bool isBlkExpr, return Mgr->getPersistentState(NewSt); } -const GRState *GRState::bindExpr(const Stmt* Ex, SVal V, +const GRState *GRState::bindExpr(const Stmt* Ex, SVal V, CFG &cfg, bool Invalidate) const { bool isBlkExpr = false; @@ -106,7 +106,7 @@ const GRState *GRState::bindExpr(const Stmt* Ex, SVal V, if (Ex == Mgr->CurrentStmt) { // FIXME: Should this just be an assertion? When would we want to set // the value of a block-level expression if it wasn't CurrentStmt? - isBlkExpr = Mgr->cfg.isBlkExpr(Ex); + isBlkExpr = cfg.isBlkExpr(Ex); if (!isBlkExpr) return this; |