Searched refs:getConcreteOffsetRegion (Results 1 – 1 of 1) sorted by relevance
58 assert(getConcreteOffsetRegion() == Base && "Failed to store base region"); in BindingKey()82 const SubRegion *getConcreteOffsetRegion() const { in getConcreteOffsetRegion() function in __anonfa909ae00111::BindingKey89 return getConcreteOffsetRegion()->getBaseRegion(); in getBaseRegion()980 const MemRegion *Base = K.getConcreteOffsetRegion(); in getSymbolicOffsetFields()1028 Top = TopKey.getConcreteOffsetRegion(); in collectSubRegionBindings()1072 const MemRegion *Base = NextKey.getConcreteOffsetRegion(); in collectSubRegionBindings()1116 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); in removeSubRegionBindings()1135 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); in removeSubRegionBindings()