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

lib/Analysis/GRSimpleVals.cpp

index 8e605ca4c783835da29ba9dbc561fca091e4f490..dfc9d4eb1ce4367fba2ef34b549ed0ce5746d5e5 100644 (file)
@@ -460,11 +460,9 @@ void GRSimpleVals::EvalCall(ExplodedNodeSet<GRState>& Dst,
   QualType T = CE->getType();  
   if (Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType())) {    
     unsigned Count = Builder.getCurrentBlockCount();
-    SymbolRef Sym = Eng.getSymbolManager().getConjuredSymbol(CE, Count);
         
-    SVal X = Loc::IsLocType(CE->getType())
-             ? cast<SVal>(loc::SymbolVal(Sym)) 
-             : cast<SVal>(nonloc::SymbolVal(Sym));
+    SVal X = SVal::GetConjuredSymbolVal(Eng.getSymbolManager(),
+                          Eng.getStoreManager().getRegionManager(), CE, Count);
     
     St = StateMgr.BindExpr(St, CE, X, Eng.getCFG().isBlkExpr(CE), false);
   }