[cfe-commits] r68698 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp

Zhongxing Xu xuzhongxing at gmail.com
Wed Apr 8 23:53:24 PDT 2009


Author: zhongxingxu
Date: Thu Apr  9 01:53:24 2009
New Revision: 68698

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

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

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

==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Thu Apr  9 01:53:24 2009
@@ -2138,14 +2138,8 @@
       // UnknownVal.
       if (InitVal.isUnknown() || 
           !getConstraintManager().canReasonAbout(InitVal)) {
-        if (Loc::IsLocType(T)) {
-          SymbolRef Sym = SymMgr.getConjuredSymbol(InitEx, Count);        
-          InitVal = loc::SymbolVal(Sym);
-        }
-        else if (T->isIntegerType() && T->isScalarType()) {
-          SymbolRef Sym = SymMgr.getConjuredSymbol(InitEx, Count);        
-          InitVal = nonloc::SymbolVal(Sym);                    
-        }
+        InitVal = SVal::GetConjuredSymbolVal(SymMgr, 
+                          getStoreManager().getRegionManager(), InitEx, Count);
       }        
       
       state = StateMgr.BindDecl(state, VD, InitVal);





More information about the cfe-commits mailing list