SVal RegionStoreManager::getBindingForElement(Store store,
const ElementRegion* R) {
// We do not currently model bindings of the CompoundLiteralregion.
- const ElementRegion *Tmp = R;
- while (Tmp) {
- const MemRegion *Sup = Tmp->getSuperRegion();
- if (isa<CompoundLiteralRegion>(Sup))
- return UnknownVal();
- Tmp = dyn_cast<ElementRegion>(Sup);
- }
+ if (isa<CompoundLiteralRegion>(R->getBaseRegion()))
+ return UnknownVal();
// Check if the region has a binding.
RegionBindings B = GetRegionBindings(store);