[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