summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRState.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-08-27 22:15:20 +0000
committerTed Kremenek <kremenek@apple.com>2009-08-27 22:15:20 +0000
commit0ac724be552d6291371488717a1122eb401302c3 (patch)
tree9e15d4900c55da6eb92096e879667cfbf8237095 /clang/lib/Analysis/GRState.cpp
parent80110179f49de99e52e5167568b151c1ab420b96 (diff)
downloadbcm5719-llvm-0ac724be552d6291371488717a1122eb401302c3.tar.gz
bcm5719-llvm-0ac724be552d6291371488717a1122eb401302c3.zip
Move the AnalysisContext* from GRState to Environment.
llvm-svn: 80293
Diffstat (limited to 'clang/lib/Analysis/GRState.cpp')
-rw-r--r--clang/lib/Analysis/GRState.cpp12
1 files changed, 5 insertions, 7 deletions
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());
OpenPOWER on IntegriCloud