diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-09 06:53:24 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-09 06:53:24 +0000 |
| commit | cfe2991306434fb0fe2decf7637a15b8d79f256e (patch) | |
| tree | fadb3e1b0310bd166628d4fea8c13a41a47be8c7 /lib/Analysis/GRExprEngine.cpp | |
| parent | ea7c5ce4771d8307c91c5cde0160cad0d76c11f5 (diff) | |
clean up code with new API.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68698 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 3809d593cf..7abb1a4262 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -2138,14 +2138,8 @@ void GRExprEngine::VisitDeclStmt(DeclStmt* DS, NodeTy* Pred, NodeSet& Dst) { // 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); |