Searched refs:getStaticSize (Results 1 – 4 of 4) sorted by relevance
37 return MR->getMemRegionManager().getStaticSize(MR, SVB); in getDynamicExtent()
783 DefinedOrUnknownSVal MemRegionManager::getStaticSize(const MemRegion *MR, in getStaticSize() function in MemRegionManager
864 SVal Extent = Top->getMemRegionManager().getStaticSize(Top, SVB); in collectSubRegionBindings()
1436 DefinedOrUnknownSVal getStaticSize(const MemRegion *MR,