StaticAnalyzer/Core/RegionStore.cpp

775   void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C) {}
776   void VisitCluster(const MemRegion *baseR, const ClusterBindings *C) {}
1008   void VisitCluster(const MemRegion *baseR, const ClusterBindings *C);
1057 void InvalidateRegionsWorker::VisitCluster(const MemRegion *baseR,
1061       ITraits.hasTrait(baseR,
1070       B = B.remove(baseR);
1073   if (const auto *TO = dyn_cast<TypedValueRegion>(baseR)) {
1101   if (const BlockDataRegion *BR = dyn_cast<BlockDataRegion>(baseR)) {
1127   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
1136     Regions->push_back(baseR);
1138   if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) {
1142       svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1143     B = B.addBinding(baseR, BindingKey::Default, V);
1147   if (!baseR->isBoundable())
1150   const TypedValueRegion *TR = cast<TypedValueRegion>(baseR);
1153   if (isInitiallyIncludedGlobalRegion(baseR)) {
1163     DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1165     B = B.addBinding(baseR, BindingKey::Default, V);
1171         baseR,
1186       const RegionOffset &RO = baseR->getAsOffset();
1187       const MemRegion *SuperR = baseR->getBaseRegion();
1235     svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1237     B = B.addBinding(baseR, BindingKey::Default, V);
1241   DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1244   B = B.addBinding(baseR, BindingKey::Direct, V);
1710   if (const TypedValueRegion *baseR =
1712     QualType baseT = baseR->getValueType();
2475   void VisitAddedToCluster(const MemRegion *baseR, const ClusterBindings &C);
2476   void VisitCluster(const MemRegion *baseR, const ClusterBindings *C);
2493 void RemoveDeadBindingsWorker::VisitAddedToCluster(const MemRegion *baseR,
2496   if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) {
2498       AddToWorkList(baseR, &C);
2503   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) {
2512   if (isa<NonStaticGlobalSpaceRegion>(baseR)) {
2513     AddToWorkList(baseR, &C);
2518   if (const CXXThisRegion *TR = dyn_cast<CXXThisRegion>(baseR)) {
2528 void RemoveDeadBindingsWorker::VisitCluster(const MemRegion *baseR,
2535   if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR))