Lines Matching refs:baseR

764   void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C) {}  in VisitAddedToCluster()  argument
765 void VisitCluster(const MemRegion *baseR, const ClusterBindings *C) {} in VisitCluster() argument
997 void VisitCluster(const MemRegion *baseR, const ClusterBindings *C);
1046 void InvalidateRegionsWorker::VisitCluster(const MemRegion *baseR, in VisitCluster() argument
1050 ITraits.hasTrait(baseR, in VisitCluster()
1059 B = B.remove(baseR); in VisitCluster()
1062 if (const auto *TO = dyn_cast<TypedValueRegion>(baseR)) { in VisitCluster()
1090 if (const BlockDataRegion *BR = dyn_cast<BlockDataRegion>(baseR)) { in VisitCluster()
1116 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
1125 Regions->push_back(baseR); in VisitCluster()
1127 if (isa<AllocaRegion, SymbolicRegion>(baseR)) { in VisitCluster()
1131 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); in VisitCluster()
1132 B = B.addBinding(baseR, BindingKey::Default, V); in VisitCluster()
1136 if (!baseR->isBoundable()) in VisitCluster()
1139 const TypedValueRegion *TR = cast<TypedValueRegion>(baseR); in VisitCluster()
1142 if (isInitiallyIncludedGlobalRegion(baseR)) { in VisitCluster()
1152 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1154 B = B.addBinding(baseR, BindingKey::Default, V); in VisitCluster()
1160 baseR, in VisitCluster()
1175 const RegionOffset &RO = baseR->getAsOffset(); in VisitCluster()
1176 const MemRegion *SuperR = baseR->getBaseRegion(); in VisitCluster()
1224 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1226 B = B.addBinding(baseR, BindingKey::Default, V); in VisitCluster()
1230 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1233 B = B.addBinding(baseR, BindingKey::Direct, V); in VisitCluster()
1959 if (const TypedValueRegion *baseR = dyn_cast<TypedValueRegion>(O.getRegion())) in getBindingForElement() local
1960 if (auto V = getDerivedSymbolForBinding(B, baseR, R, Ctx, svalBuilder)) in getBindingForElement()
2761 void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C);
2762 void VisitCluster(const MemRegion *baseR, const ClusterBindings *C);
2779 void RemoveDeadBindingsWorker::VisitAddedToCluster(const MemRegion *baseR, in VisitAddedToCluster() argument
2782 if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) { in VisitAddedToCluster()
2784 AddToWorkList(baseR, &C); in VisitAddedToCluster()
2789 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitAddedToCluster()
2798 if (isa<NonStaticGlobalSpaceRegion>(baseR)) { in VisitAddedToCluster()
2799 AddToWorkList(baseR, &C); in VisitAddedToCluster()
2804 if (const CXXThisRegion *TR = dyn_cast<CXXThisRegion>(baseR)) { in VisitAddedToCluster()
2814 void RemoveDeadBindingsWorker::VisitCluster(const MemRegion *baseR, in VisitCluster() argument
2821 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()