Searched refs:ClusterHead (Results 1 – 1 of 1) sorted by relevance
883 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings() local885 if (Top == ClusterHead) { in removeSubRegionBindings()890 const ClusterBindings *Cluster = B.lookup(ClusterHead); in removeSubRegionBindings()922 return B.remove(ClusterHead); in removeSubRegionBindings()923 return B.add(ClusterHead, Result.asImmutableMap()); in removeSubRegionBindings()