diff options
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 7abb1a4262..7996e0c6de 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -2758,11 +2758,9 @@ void GRExprEngine::VisitBinaryOperator(BinaryOperator* B, && (Loc::IsLocType(T) || (T->isScalarType() && T->isIntegerType()))) { unsigned Count = Builder->getCurrentBlockCount(); - SymbolRef Sym = SymMgr.getConjuredSymbol(B->getRHS(), Count); - RightV = Loc::IsLocType(T) - ? cast<SVal>(loc::SymbolVal(Sym)) - : cast<SVal>(nonloc::SymbolVal(Sym)); + RightV = SVal::GetConjuredSymbolVal(SymMgr, + getStoreManager().getRegionManager(), B->getRHS(), Count); } // Simulate the effects of a "store": bind the value of the RHS |