commit 23ec48cd3369c8d7d1ab3c3f2226cfcffd2cd3d3
author Ted Kremenek <kremenek@apple.com> Thu Jun 18 23:58:37 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Jun 18 23:58:37 2009 +0000
tree 6d84c8ac6f6a269f440851eb9d552d686c66e7ef
parent f1b8227d758721075e3a84a85e66cb7173334b13

Move clients over from using GRStateManager::BindXXX and friends to
GRState->bindXXX and friends (and constify some arguments along the way).


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73740 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngine.cpp

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index c43c83b..728ac93 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -644,7 +644,7 @@
   if (!bitsInit || !T->isIntegerType() || Ctx.getTypeSize(T) > bits)
     return UnknownVal();
   
-  return StateMgr.GetSVal(state, Ex);
+  return state->getSVal(Ex);
 }
 
 void GRExprEngine::ProcessBranch(Stmt* Condition, Stmt* Term,
@@ -1284,10 +1284,9 @@
   const void *OSAtomicStoreTag = &magic_store;
   
   // Load 'theValue'.
-  GRStateManager &StateMgr = Engine.getStateManager();
   const GRState *state = Pred->getState();
   ExplodedNodeSet<GRState> Tmp;
-  SVal location = StateMgr.GetSVal(state, theValueExpr);
+  SVal location = state->getSVal(theValueExpr);
   Engine.EvalLoad(Tmp, theValueExpr, Pred, state, location, OSAtomicLoadTag);
 
   for (ExplodedNodeSet<GRState>::iterator I = Tmp.begin(), E = Tmp.end();
@@ -1310,8 +1309,7 @@
       // Perform the store.
       ExplodedNodeSet<GRState> TmpStore;
       Engine.EvalStore(TmpStore, theValueExpr, N, stateEqual, location, 
-                       StateMgr.GetSVal(stateEqual, newValueExpr),
-                       OSAtomicStoreTag);
+                       stateEqual->getSVal(newValueExpr), OSAtomicStoreTag);
       
       // Now bind the result of the comparison.
       for (ExplodedNodeSet<GRState>::iterator I2 = TmpStore.begin(),