Searched refs:getConcreteOffsetRegion (Results 1 – 1 of 1) sorted by relevance
58 assert(getConcreteOffsetRegion() == Base && "Failed to store base region"); in BindingKey()81 const SubRegion *getConcreteOffsetRegion() const { in getConcreteOffsetRegion() function in __anonfa909ae00111::BindingKey88 return getConcreteOffsetRegion()->getBaseRegion(); in getBaseRegion()810 const MemRegion *Base = K.getConcreteOffsetRegion(); in getSymbolicOffsetFields()858 Top = TopKey.getConcreteOffsetRegion(); in collectSubRegionBindings()902 const MemRegion *Base = NextKey.getConcreteOffsetRegion(); in collectSubRegionBindings()946 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); in removeSubRegionBindings()965 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); in removeSubRegionBindings()