Home
last modified time | relevance | path

Searched refs:ClusterHead (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp882 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings() local
884 if (Top == ClusterHead) { in removeSubRegionBindings()
889 const ClusterBindings *Cluster = B.lookup(ClusterHead); in removeSubRegionBindings()
921 return B.remove(ClusterHead); in removeSubRegionBindings()
922 return B.add(ClusterHead, Result.asImmutableMap()); in removeSubRegionBindings()