diff options
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; |