parent
783cd82487
commit
48abb5d91f
|
|
@ -460,11 +460,9 @@ void GRSimpleVals::EvalCall(ExplodedNodeSet<GRState>& Dst,
|
||||||
QualType T = CE->getType();
|
QualType T = CE->getType();
|
||||||
if (Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType())) {
|
if (Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType())) {
|
||||||
unsigned Count = Builder.getCurrentBlockCount();
|
unsigned Count = Builder.getCurrentBlockCount();
|
||||||
SymbolRef Sym = Eng.getSymbolManager().getConjuredSymbol(CE, Count);
|
|
||||||
|
|
||||||
SVal X = Loc::IsLocType(CE->getType())
|
SVal X = SVal::GetConjuredSymbolVal(Eng.getSymbolManager(),
|
||||||
? cast<SVal>(loc::SymbolVal(Sym))
|
Eng.getStoreManager().getRegionManager(), CE, Count);
|
||||||
: cast<SVal>(nonloc::SymbolVal(Sym));
|
|
||||||
|
|
||||||
St = StateMgr.BindExpr(St, CE, X, Eng.getCFG().isBlkExpr(CE), false);
|
St = StateMgr.BindExpr(St, CE, X, Eng.getCFG().isBlkExpr(CE), false);
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue