From 0ac724be552d6291371488717a1122eb401302c3 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Thu, 27 Aug 2009 22:15:20 +0000 Subject: Move the AnalysisContext* from GRState to Environment. llvm-svn: 80293 --- clang/lib/Analysis/GRState.cpp | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (limited to 'clang/lib/Analysis/GRState.cpp') diff --git a/clang/lib/Analysis/GRState.cpp b/clang/lib/Analysis/GRState.cpp index 7bef3510062..a2cfdeb96ca 100644 --- a/clang/lib/Analysis/GRState.cpp +++ b/clang/lib/Analysis/GRState.cpp @@ -85,22 +85,20 @@ SVal GRState::getSValAsScalarOrLoc(const MemRegion *R) const { } -const GRState *GRState::bindExpr(const Stmt* Ex, SVal V, bool Invalidate) const { - +const GRState *GRState::bindExpr(const Stmt* Ex, SVal V, bool Invalidate) const{ Environment NewEnv = getStateManager().EnvMgr.BindExpr(Env, Ex, V, - Invalidate); - + Invalidate); if (NewEnv == Env) return this; - + GRState NewSt = *this; NewSt.Env = NewEnv; return getStateManager().getPersistentState(NewSt); } const GRState* GRStateManager::getInitialState(const LocationContext *InitLoc) { - GRState State(this, InitLoc->getAnalysisContext(), - EnvMgr.getInitialEnvironment(), + GRState State(this, + EnvMgr.getInitialEnvironment(InitLoc->getAnalysisContext()), StoreMgr->getInitialStore(InitLoc), GDMFactory.GetEmptyMap()); -- cgit v1.2.3