On May 8, 2012, at 4:40 PM, Anna Zaks <[email protected]> wrote: > SVal RegionStoreManager::getBindingForElement(Store store, > - const ElementRegion* R) { > + 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); > + } > +
Hi Anna, You can just call getBaseRegion() instead of manually going through the region hierarchy. Cheers, Ted
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
