diff options
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); |