parent
e4a3f6fa3b
commit
b5bf7ee393
|
@ -814,7 +814,7 @@ SVal RegionStoreManager::Retrieve(const GRState *state, Loc L, QualType T) {
|
||||||
|
|
||||||
if (isa<SymbolicRegion>(MR)) {
|
if (isa<SymbolicRegion>(MR)) {
|
||||||
ASTContext &Ctx = getContext();
|
ASTContext &Ctx = getContext();
|
||||||
SVal idx = ValMgr.makeIntVal(0, Ctx.IntTy);
|
SVal idx = ValMgr.makeZeroArrayIndex();
|
||||||
assert(!T.isNull());
|
assert(!T.isNull());
|
||||||
MR = MRMgr.getElementRegion(T, idx, MR, Ctx);
|
MR = MRMgr.getElementRegion(T, idx, MR, Ctx);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue