Lines Matching defs:baseR

830   void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C) {}
831   void VisitCluster(const MemRegion *baseR, const ClusterBindings *C) {}
1057   void VisitCluster(const MemRegion *baseR, const ClusterBindings *C);
1105 void InvalidateRegionsWorker::VisitCluster(const MemRegion *baseR,
1109       ITraits.hasTrait(baseR,
1118       B = B.remove(baseR);
1121   if (const auto *TO = dyn_cast<TypedValueRegion>(baseR)) {
1149   if (const BlockDataRegion *BR = dyn_cast<BlockDataRegion>(baseR)) {
1173   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
1182     Regions->push_back(baseR);
1184   if (isa<AllocaRegion, SymbolicRegion>(baseR)) {
1188         svalBuilder.conjureSymbolVal(baseR, S, LCtx, Ctx.IntTy, Count);
1189     B = B.addBinding(baseR, BindingKey::Default, V);
1193   if (!baseR->isBoundable())
1196   const TypedValueRegion *TR = cast<TypedValueRegion>(baseR);
1199   if (isInitiallyIncludedGlobalRegion(baseR)) {
1210         svalBuilder.conjureSymbolVal(baseR, S, LCtx, Ctx.IntTy, Count);
1211     B = B.addBinding(baseR, BindingKey::Default, V);
1217         baseR,
1232       const RegionOffset &RO = baseR->getAsOffset();
1233       const MemRegion *SuperR = baseR->getBaseRegion();
1278           baseR, S, LCtx, AT->getElementType(), Count);
1279       B = B.addBinding(baseR, BindingKey::Default, V);
1284       svalBuilder.conjureSymbolVal(baseR, S, LCtx, T, Count);
1286   B = B.addBinding(baseR, BindingKey::Direct, V);
2001   if (const TypedValueRegion *baseR = dyn_cast<TypedValueRegion>(O.getRegion()))
2002     if (auto V = getDerivedSymbolForBinding(B, baseR, R, Ctx, svalBuilder))
2846   void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C);
2847   void VisitCluster(const MemRegion *baseR, const ClusterBindings *C);
2864 void RemoveDeadBindingsWorker::VisitAddedToCluster(const MemRegion *baseR,
2867   if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) {
2869       AddToWorkList(baseR, &C);
2874   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) {
2883   if (isa<NonStaticGlobalSpaceRegion>(baseR)) {
2884     AddToWorkList(baseR, &C);
2889   if (const CXXThisRegion *TR = dyn_cast<CXXThisRegion>(baseR)) {
2899 void RemoveDeadBindingsWorker::VisitCluster(const MemRegion *baseR,
2906   if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR))