[cfe-commits] r68701 - /cfe/trunk/lib/Analysis/GRSimpleVals.cpp

Zhongxing Xu xuzhongxing at gmail.com
Thu Apr 9 00:04:45 PDT 2009


Author: zhongxingxu
Date: Thu Apr  9 02:04:45 2009
New Revision: 68701

URL: http://llvm.org/viewvc/llvm-project?rev=68701&view=rev
Log:
clean up code with new API.

Modified:
    cfe/trunk/lib/Analysis/GRSimpleVals.cpp

Modified: cfe/trunk/lib/Analysis/GRSimpleVals.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRSimpleVals.cpp?rev=68701&r1=68700&r2=68701&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/GRSimpleVals.cpp (original)
+++ cfe/trunk/lib/Analysis/GRSimpleVals.cpp Thu Apr  9 02:04:45 2009
@@ -460,11 +460,9 @@
   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);
   }  





More information about the cfe-commits mailing list