handle the case that the array element is of structure type when bind the whole array to a single value (for example, UnknownVal, UndefinedVal).
llvm-svn: 59521
This commit is contained in:
parent
13020d22da
commit
f87a7abcd4
|
@ -569,6 +569,9 @@ Store RegionStoreManager::BindArrayToVal(Store store, const TypedRegion* BaseR,
|
|||
|
||||
ElementRegion* ER = MRMgr.getElementRegion(Idx, BaseR);
|
||||
|
||||
if (CAT->getElementType()->isStructureType())
|
||||
store = BindStructToVal(store, ER, V);
|
||||
else
|
||||
store = Bind(store, loc::MemRegionVal(ER), V);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue