Searched refs:ClusterHead (Results 1 – 1 of 1) sorted by relevance
898 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings() local900 if (Top == ClusterHead) { in removeSubRegionBindings()905 const ClusterBindings *Cluster = B.lookup(ClusterHead); in removeSubRegionBindings()937 return B.remove(ClusterHead); in removeSubRegionBindings()938 return B.add(ClusterHead, Result.asImmutableMap()); in removeSubRegionBindings()