diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-03-05 04:45:36 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-03-05 04:45:36 +0000 |
commit | c179a7fbb294fe3ff6cf5479f6239a10f39628c7 (patch) | |
tree | 1b7a5ec11a5f781c14dc6dcb4bf6fc109aa56e2f /lib/Checker/Environment.cpp | |
parent | fdf30aee637038bd89c42b04d912a04de4a59133 (diff) |
Remove reference to AnalysisContext in Environment. We already have LocationContext
information in ExplodedNode.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@97785 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/Environment.cpp')
-rw-r--r-- | lib/Checker/Environment.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Checker/Environment.cpp b/lib/Checker/Environment.cpp index c2c9190fc9..671cf89119 100644 --- a/lib/Checker/Environment.cpp +++ b/lib/Checker/Environment.cpp @@ -78,12 +78,12 @@ Environment EnvironmentManager::BindExpr(Environment Env, const Stmt *S, if (V.isUnknown()) { if (Invalidate) - return Environment(F.Remove(Env.ExprBindings, S), Env.ACtx); + return Environment(F.Remove(Env.ExprBindings, S)); else return Env; } - return Environment(F.Add(Env.ExprBindings, S, V), Env.ACtx); + return Environment(F.Add(Env.ExprBindings, S, V)); } namespace { @@ -109,12 +109,12 @@ EnvironmentManager::RemoveDeadBindings(Environment Env, const Stmt *S, const GRState *ST, llvm::SmallVectorImpl<const MemRegion*> &DRoots) { - CFG &C = *Env.getAnalysisContext().getCFG(); + CFG &C = *SymReaper.getLocationContext()->getCFG(); // We construct a new Environment object entirely, as this is cheaper than // individually removing all the subexpression bindings (which will greatly // outnumber block-level expression bindings). - Environment NewEnv = getInitialEnvironment(&Env.getAnalysisContext()); + Environment NewEnv = getInitialEnvironment(); // Iterate over the block-expr bindings. for (Environment::iterator I = Env.begin(), E = Env.end(); |