Lines Matching defs:removeDeadBindingsWorker

2181 class removeDeadBindingsWorker :
2182   public ClusterAnalysis<removeDeadBindingsWorker> {
2188   removeDeadBindingsWorker(RegionStoreManager &rm,
2192     : ClusterAnalysis<removeDeadBindingsWorker>(rm, stateMgr, b, GFK_None),
2198   using ClusterAnalysis<removeDeadBindingsWorker>::VisitCluster;
2205 void removeDeadBindingsWorker::VisitAddedToCluster(const MemRegion *baseR,
2240 void removeDeadBindingsWorker::VisitCluster(const MemRegion *baseR,
2254 void removeDeadBindingsWorker::VisitBinding(SVal V) {
2289 bool removeDeadBindingsWorker::UpdatePostponed() {
2311   removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx);