stop using loc::SymbolVal.
authorZhongxing Xu <xuzhongxing@gmail.com>
Thu, 9 Apr 2009 06:43:44 +0000 (06:43 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Thu, 9 Apr 2009 06:43:44 +0000 (06:43 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68696 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/CFRefCount.cpp

index 2246b3b6c1e274115fa176a0cf904cdb8a86f1e3..482662c19e16b52d9b6c030cecb4942f3e72f498 100644 (file)
@@ -1913,7 +1913,9 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst,
       
       state =
         state.set<RefBindings>(Sym, RefVal::makeNotOwned(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);
       break;
     }
   }