Lines Matching refs:InvalidateRegionsWorker
349 class InvalidateRegionsWorker;
376 void populateWorkList(InvalidateRegionsWorker &W,
986 class InvalidateRegionsWorker : public ClusterAnalysis<InvalidateRegionsWorker>
996 InvalidateRegionsWorker(RegionStoreManager &rm,
1005 : ClusterAnalysis<InvalidateRegionsWorker>(rm, stateMgr, b),
1026 bool InvalidateRegionsWorker::AddToWorkList(const MemRegion *R) {
1033 void InvalidateRegionsWorker::VisitBinding(SVal V) {
1058 void InvalidateRegionsWorker::VisitCluster(const MemRegion *baseR,
1248 bool InvalidateRegionsWorker::isInitiallyIncludedGlobalRegion(
1262 bool InvalidateRegionsWorker::includeEntireMemorySpace(const MemRegion *Base) {
1296 void RegionStoreManager::populateWorkList(InvalidateRegionsWorker &W,
1347 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits,