Lines Matching refs:MemRegion
49 llvm::PointerIntPair<const MemRegion *, 2> P;
61 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k) in BindingKey()
74 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion()
85 const MemRegion *getBaseRegion() const { in getBaseRegion()
96 static BindingKey Make(const MemRegion *R, Kind k);
115 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { in Make()
150 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
154 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
170 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>
177 : llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>(T, F), in RegionBindingsRef()
183 : llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>(P), in RegionBindingsRef()
198 RegionBindingsRef addBinding(const MemRegion *R,
202 const SVal *lookup(const MemRegion *R, BindingKey::Kind k) const;
203 using llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>::lookup;
207 RegionBindingsRef removeBinding(const MemRegion *R,
210 RegionBindingsRef removeBinding(const MemRegion *R) { in removeBinding()
215 Optional<SVal> getDirectBinding(const MemRegion *R) const;
219 Optional<SVal> getDefaultBinding(const MemRegion *R) const;
265 Optional<SVal> RegionBindingsRef::getDirectBinding(const MemRegion *R) const { in getDirectBinding()
269 Optional<SVal> RegionBindingsRef::getDefaultBinding(const MemRegion *R) const { in getDefaultBinding()
274 const MemRegion *Base = K.getBaseRegion(); in addBinding()
285 RegionBindingsRef RegionBindingsRef::addBinding(const MemRegion *R, in addBinding()
298 const SVal *RegionBindingsRef::lookup(const MemRegion *R, in lookup()
304 const MemRegion *Base = K.getBaseRegion(); in removeBinding()
315 RegionBindingsRef RegionBindingsRef::removeBinding(const MemRegion *R, in removeBinding()
378 const MemRegion *R, QualType T);
402 RegionBindingsRef invalidateGlobalRegion(MemRegion::Kind K,
419 bool scanReachableSymbols(Store S, const MemRegion *R,
444 StoreRef BindDefaultInitial(Store store, const MemRegion *R, in BindDefaultInitial()
457 StoreRef BindDefaultZero(Store store, const MemRegion *R) override { in BindDefaultZero()
532 bool includedInBindings(Store store, const MemRegion *region) const override;
551 Optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override { in getDefaultBinding()
593 const MemRegion *superR,
688 typedef llvm::DenseMap<const MemRegion *, const ClusterBindings *> ClusterMap;
689 typedef const MemRegion * WorkListElement;
704 const ClusterBindings *getCluster(const MemRegion *R) { in getCluster()
711 bool includeEntireMemorySpace(const MemRegion *Base) { in includeEntireMemorySpace()
723 bool isVisited(const MemRegion *R) { in isVisited()
731 const MemRegion *Base = RI.getKey(); in GenerateClusters()
751 bool AddToWorkList(const MemRegion *R) { in AddToWorkList()
758 const MemRegion *BaseR = E; in RunWorkList()
764 void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C) {} in VisitAddedToCluster()
765 void VisitCluster(const MemRegion *baseR, const ClusterBindings *C) {} in VisitCluster()
767 void VisitCluster(const MemRegion *BaseR, const ClusterBindings *C, in VisitCluster()
778 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols()
805 const MemRegion *Base = K.getConcreteOffsetRegion(); in getSymbolicOffsetFields()
806 const MemRegion *R = K.getRegion(); in getSymbolicOffsetFields()
898 const MemRegion *Base = NextKey.getConcreteOffsetRegion(); in collectSubRegionBindings()
930 const MemRegion *ClusterHead = TopKey.getBaseRegion(); in removeSubRegionBindings()
997 void VisitCluster(const MemRegion *baseR, const ClusterBindings *C);
1002 bool AddToWorkList(const MemRegion *R);
1006 bool includeEntireMemorySpace(const MemRegion *Base);
1010 bool isInitiallyIncludedGlobalRegion(const MemRegion *R);
1014 bool InvalidateRegionsWorker::AddToWorkList(const MemRegion *R) { in AddToWorkList()
1017 const MemRegion *BaseR = doNotInvalidateSuperRegion ? R : R->getBaseRegion(); in AddToWorkList()
1026 if (const MemRegion *R = V.getAsRegion()) { in VisitBinding()
1046 void InvalidateRegionsWorker::VisitCluster(const MemRegion *baseR, in VisitCluster()
1107 if (const MemRegion *LR = L->getAsRegion()) in VisitCluster()
1176 const MemRegion *SuperR = baseR->getBaseRegion(); in VisitCluster()
1215 const MemRegion *R = V.getAsRegion(); in VisitCluster()
1237 const MemRegion *R) { in isInitiallyIncludedGlobalRegion()
1250 bool InvalidateRegionsWorker::includeEntireMemorySpace(const MemRegion *Base) { in includeEntireMemorySpace()
1260 RegionStoreManager::invalidateGlobalRegion(MemRegion::Kind K, in invalidateGlobalRegion()
1299 if (const MemRegion *R = (*I).getAsRegion()) in populateWorkList()
1305 if (const MemRegion *R = V.getAsRegion()) { in populateWorkList()
1355 B = invalidateGlobalRegion(MemRegion::GlobalInternalSpaceRegionKind, in invalidateRegions()
1359 B = invalidateGlobalRegion(MemRegion::GlobalSystemSpaceRegionKind, in invalidateRegions()
1413 const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion(); in getBinding()
1647 static std::pair<SmallVector<SVal, 2>, const MemRegion *>
1650 const MemRegion *Base; in getElementRegionOffsetsWithBase()
1730 const MemRegion *Base; in getConstantValFromConstArrayInitializer()
1921 const MemRegion* superR = R->getSuperRegion(); in getBindingForElement()
1976 const MemRegion* superR = R->getSuperRegion(); in getBindingForField()
2023 const MemRegion *superR, in getBindingForDerivedDefaultValue()
2116 const MemRegion *Base = SR->getSuperRegion(); in getBindingForFieldOrElementCommon()
2175 const MemRegion *superR = R->getSuperRegion(); in getBindingForObjCIvar()
2334 const MemRegion *region) const { in includedInBindings()
2348 if (const MemRegion *R = D.getAsRegion()) in includedInBindings()
2363 if (const MemRegion* R = LV->getRegion()) in killBinding()
2378 const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion(); in bind()
2413 const MemRegion *R, in setImplicitDefaultValue()
2761 void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C);
2762 void VisitCluster(const MemRegion *baseR, const ClusterBindings *C);
2767 bool AddToWorkList(const MemRegion *R);
2774 bool RemoveDeadBindingsWorker::AddToWorkList(const MemRegion *R) { in AddToWorkList()
2775 const MemRegion *BaseR = R->getBaseRegion(); in AddToWorkList()
2779 void RemoveDeadBindingsWorker::VisitAddedToCluster(const MemRegion *baseR, in VisitAddedToCluster()
2814 void RemoveDeadBindingsWorker::VisitCluster(const MemRegion *baseR, in VisitCluster()
2848 if (const MemRegion *R = V.getAsRegion()) { in VisitBinding()
2903 const MemRegion *Base = I.getKey(); in removeDeadBindings()