In r 156482. Thanks. On May 8, 2012, at 5:04 PM, Ted Kremenek wrote: > 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
