Lines Matching defs:RemoveDeadBindingsWorker

2831 class RemoveDeadBindingsWorker
2832     : public ClusterAnalysis<RemoveDeadBindingsWorker> {
2838   RemoveDeadBindingsWorker(RegionStoreManager &rm,
2842     : ClusterAnalysis<RemoveDeadBindingsWorker>(rm, stateMgr, b),
2848   using ClusterAnalysis<RemoveDeadBindingsWorker>::VisitCluster;
2859 bool RemoveDeadBindingsWorker::AddToWorkList(const MemRegion *R) {
2864 void RemoveDeadBindingsWorker::VisitAddedToCluster(const MemRegion *baseR,
2899 void RemoveDeadBindingsWorker::VisitCluster(const MemRegion *baseR,
2917 void RemoveDeadBindingsWorker::VisitBinding(SVal V) {
2951 bool RemoveDeadBindingsWorker::UpdatePostponed() {
2970   RemoveDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx);