stop using loc::SymbolVal.

llvm-svn: 68695
2009-04-09 06:41:51 +00:00 · 2009-04-09 06:41:51 +00:00 · 0c87a4e79b
parent 4a8f0cf874
commit 0c87a4e79b
1 changed files with 4 additions and 2 deletions
--- a/clang/lib/Analysis/CFRefCount.cpp
+++ b/clang/lib/Analysis/CFRefCount.cpp
@ -1888,7 +1888,9 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst,
      QualType RetT = GetReturnType(Ex, Eng.getContext());      
      state =
        state.set<RefBindings>(Sym, RefVal::makeOwned(RE.getObjKind(), RetT));
-      state = state.BindExpr(Ex, loc::SymbolVal(Sym), false);
+      MemRegionManager& MRMgr = Eng.getStoreManager().getRegionManager();
+      state = state.BindExpr(Ex, Loc::MakeVal(MRMgr.getSymbolicRegion(Sym)), 
+                             false);


      // FIXME: Add a flag to the checker where allocations are assumed to