Lines Matching refs:Base
54 /// from region \p Base.
55 explicit BindingKey(const SubRegion *r, const SubRegion *Base, Kind k)
56 : P(r, k | Symbolic), Data(reinterpret_cast<uintptr_t>(Base)) {
57 assert(r && Base && "Must have known regions.");
58 assert(getConcreteOffsetRegion() == Base && "Failed to store base region");
275 const MemRegion *Base = K.getBaseRegion();
277 const ClusterBindings *ExistingCluster = lookup(Base);
282 return add(Base, NewCluster);
305 const MemRegion *Base = K.getBaseRegion();
306 const ClusterBindings *Cluster = lookup(Base);
312 return remove(Base);
313 return add(Base, NewCluster);
723 bool includeEntireMemorySpace(const MemRegion *Base) {
743 const MemRegion *Base = RI.getKey();
747 static_cast<DERIVED*>(this)->VisitAddedToCluster(Base, Cluster);
751 if (static_cast<DERIVED*>(this)->includeEntireMemorySpace(Base))
752 AddToWorkList(WorkListElement(Base), &Cluster);
817 const MemRegion *Base = K.getConcreteOffsetRegion();
820 while (R != Base) {
910 const MemRegion *Base = NextKey.getConcreteOffsetRegion();
911 if (Top->isSubRegionOf(Base) && Top != Base) {
918 } else if (const SubRegion *BaseSR = dyn_cast<SubRegion>(Base)) {
1016 /// Returns true if all clusters in the memory space for \p Base should be
1018 bool includeEntireMemorySpace(const MemRegion *Base);
1262 bool InvalidateRegionsWorker::includeEntireMemorySpace(const MemRegion *Base) {
1263 if (isInitiallyIncludedGlobalRegion(Base))
1266 const MemSpaceRegion *MemSpace = Base->getMemorySpace();
1872 const MemRegion *Base = SR->getSuperRegion();
1873 if (Optional<SVal> D = getBindingForDerivedDefaultValue(B, Base, R, Ty)) {
1882 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Base)) {
1890 SR = dyn_cast<SubRegion>(Base);
2401 assert(BTy->isStructureOrClassType() && "Base classes must be classes!");
2404 assert(BRD && "Base classes must be C++ classes!");
2618 const MemRegion *Base = I.getKey();
2622 if (!W.isVisited(Base))
2623 B = B.remove(Base);