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

/external/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp897 const MemRegion *ClusterHead = TopKey.getBaseRegion(); local
899 if (Top == ClusterHead) {
904 const ClusterBindings *Cluster = B.lookup(ClusterHead);
936 return B.remove(ClusterHead);
937 return B.add(ClusterHead, Result.asImmutableMap());

Completed in 583 milliseconds