parent
2945210d71
commit
726876b385
|
|
@ -2758,11 +2758,9 @@ void GRExprEngine::VisitBinaryOperator(BinaryOperator* B,
|
||||||
&& (Loc::IsLocType(T) ||
|
&& (Loc::IsLocType(T) ||
|
||||||
(T->isScalarType() && T->isIntegerType()))) {
|
(T->isScalarType() && T->isIntegerType()))) {
|
||||||
unsigned Count = Builder->getCurrentBlockCount();
|
unsigned Count = Builder->getCurrentBlockCount();
|
||||||
SymbolRef Sym = SymMgr.getConjuredSymbol(B->getRHS(), Count);
|
|
||||||
|
|
||||||
RightV = Loc::IsLocType(T)
|
RightV = SVal::GetConjuredSymbolVal(SymMgr,
|
||||||
? cast<SVal>(loc::SymbolVal(Sym))
|
getStoreManager().getRegionManager(), B->getRHS(), Count);
|
||||||
: cast<SVal>(nonloc::SymbolVal(Sym));
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// Simulate the effects of a "store": bind the value of the RHS
|
// Simulate the effects of a "store": bind the value of the RHS
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue