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