]> granicus.if.org Git - clang/commitdiff
clean up code with new API.
authorZhongxing Xu <xuzhongxing@gmail.com>
Thu, 9 Apr 2009 06:35:30 +0000 (06:35 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Thu, 9 Apr 2009 06:35:30 +0000 (06:35 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68694 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/CFRefCount.cpp

index 1f7f5fb4d0fb08cc85c8a6cfc2aa24edcfe73ab0..c78ee69c32cf818b4943507aca88a4509c05c0e3 100644 (file)
@@ -1857,12 +1857,8 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst,
       
       if (Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType())) {
         unsigned Count = Builder.getCurrentBlockCount();
-        SymbolRef Sym = Eng.getSymbolManager().getConjuredSymbol(Ex, Count);
-        
-        SVal X = Loc::IsLocType(T)
-               ? cast<SVal>(loc::SymbolVal(Sym)) 
-               : cast<SVal>(nonloc::SymbolVal(Sym));
-        
+        SVal X = SVal::GetConjuredSymbolVal(Eng.getSymbolManager(),
+                       Eng.getStoreManager().getRegionManager(), Ex, T, Count);
         state = state.BindExpr(Ex, X, false);
       }