Lines Matching refs:baseR
653 const MemRegion *baseR = R->getBaseRegion();
654 return AddToWorkList(baseR, getCluster(baseR));
659 const MemRegion *baseR = WL.pop_back_val();
662 if (const ClusterBindings *Cluster = getCluster(baseR))
663 static_cast<DERIVED*>(this)->VisitCluster(baseR, *Cluster);
666 static_cast<DERIVED*>(this)->VisitBaseRegion(baseR);
671 void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C) {}
672 void VisitCluster(const MemRegion *baseR, const ClusterBindings &C) {}
673 void VisitBaseRegion(const MemRegion *baseR) {}
887 void VisitCluster(const MemRegion *baseR, const ClusterBindings &C);
888 void VisitBaseRegion(const MemRegion *baseR);
920 void invalidateRegionsWorker::VisitCluster(const MemRegion *BaseR,
925 B = B.remove(BaseR);
928 void invalidateRegionsWorker::VisitBaseRegion(const MemRegion *baseR) {
930 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
935 if (const BlockDataRegion *BR = dyn_cast<BlockDataRegion>(baseR)) {
962 Regions->push_back(baseR);
964 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) {
968 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
969 B = B.addBinding(baseR, BindingKey::Default, V);
973 if (!baseR->isBoundable())
976 const TypedValueRegion *TR = cast<TypedValueRegion>(baseR);
983 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
985 B = B.addBinding(baseR, BindingKey::Default, V);
992 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
994 B = B.addBinding(baseR, BindingKey::Default, V);
999 isa<NonStaticGlobalSpaceRegion>(baseR->getMemorySpace())) {
1003 B = B.removeBinding(baseR);
1008 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1011 B = B.addBinding(baseR, BindingKey::Direct, V);
1406 if (const TypedValueRegion *baseR =
1408 QualType baseT = baseR->getValueType();
2042 void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C);
2043 void VisitCluster(const MemRegion *baseR, const ClusterBindings &C);
2050 void removeDeadBindingsWorker::VisitAddedToCluster(const MemRegion *baseR,
2053 if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) {
2055 AddToWorkList(baseR, &C);
2060 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) {
2069 if (isa<NonStaticGlobalSpaceRegion>(baseR)) {
2070 AddToWorkList(baseR, &C);
2075 if (const CXXThisRegion *TR = dyn_cast<CXXThisRegion>(baseR)) {
2085 void removeDeadBindingsWorker::VisitCluster(const MemRegion *baseR,
2089 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR))
