]> granicus.if.org Git - clang/commitdiff
stop using loc::SymbolVal.
authorZhongxing Xu <xuzhongxing@gmail.com>
Thu, 9 Apr 2009 06:41:51 +0000 (06:41 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Thu, 9 Apr 2009 06:41:51 +0000 (06:41 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68695 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/CFRefCount.cpp

index c78ee69c32cf818b4943507aca88a4509c05c0e3..2246b3b6c1e274115fa176a0cf904cdb8a86f1e3 100644 (file)
@@ -1887,8 +1887,10 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst,
       SymbolRef Sym = Eng.getSymbolManager().getConjuredSymbol(Ex, Count);
       QualType RetT = GetReturnType(Ex, Eng.getContext());      
       state =
-        state.set<RefBindings>(Sym, RefVal::makeOwned(RE.getObjKind(), RetT));      
-      state = state.BindExpr(Ex, loc::SymbolVal(Sym), false);
+        state.set<RefBindings>(Sym, RefVal::makeOwned(RE.getObjKind(), RetT));
+      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