Searched refs:getConcreteOffsetRegion (Results 1 – 1 of 1) sorted by relevance
57 assert(getConcreteOffsetRegion() == Base && "Failed to store base region"); in BindingKey()78 const SubRegion *getConcreteOffsetRegion() const { in getConcreteOffsetRegion() function in __anon38c42dcb0111::BindingKey85 return getConcreteOffsetRegion()->getBaseRegion(); in getBaseRegion()758 const MemRegion *Base = K.getConcreteOffsetRegion(); in getSymbolicOffsetFields()806 Top = cast<SubRegion>(TopKey.getConcreteOffsetRegion()); in collectSubRegionBindings()851 const MemRegion *Base = NextKey.getConcreteOffsetRegion(); in collectSubRegionBindings()895 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); in removeSubRegionBindings()916 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); in removeSubRegionBindings()