160         : Chk(Chk), Region(R), RD(RD), MK(MK), Found(false) {}  in MovedBugVisitor()
165       ID.AddPointer(Region);  in Profile()
179     const MemRegion *Region;  member in __anona0b2285a0211::MoveChecker::MovedBugVisitor
210   void modelUse(ProgramStateRef State, const MemRegion *Region,
217   ExplodedNode *tryToReportBug(const MemRegion *Region, const CXXRecordDecl *RD,
224                                       const MemRegion *Region,
235 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) {  in isMovedFrom()  argument
236   const RegionState *RS = State->get<TrackedRegionMap>(Region);  in isMovedFrom()
245                                        const MemRegion *Region) {  in removeFromState()  argument
246   if (!Region)  in removeFromState()
249     if (E.first->isSubRegionOf(Region))  in removeFromState()
256                                     const MemRegion *Region) {  in isAnyBaseRegionReported()  argument
258     if (Region->isSubRegionOf(E.first) && E.second.isReported())  in isAnyBaseRegionReported()
284   const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region);  in VisitNode()
286       StatePrev->get<TrackedRegionMap>(Region);  in VisitNode()
301   ObjectKind OK = Chk.classifyObject(Region, RD);  in VisitNode()
306         Chk.explainObject(OS, Region, RD, MK);  in VisitNode()
317       Chk.explainObject(OS, Region, RD, MK);  in VisitNode()
322       Chk.explainObject(OS, Region, RD, MK);  in VisitNode()
334                                                  const MemRegion *Region,  in getMoveLocation()  argument
342     if (!State->get<TrackedRegionMap>(Region))  in getMoveLocation()
350 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region,  in modelUse()  argument
354   const RegionState *RS = State->get<TrackedRegionMap>(Region);  in modelUse()
355   ObjectKind OK = classifyObject(Region, RD);  in modelUse()
372   if (isAnyBaseRegionReported(State, Region)) {  in modelUse()
381   ExplodedNode *N = tryToReportBug(Region, RD, C, MK);  in modelUse()
387   State = State->set<TrackedRegionMap>(Region, RegionState::getReported());  in modelUse()
391 ExplodedNode *MoveChecker::tryToReportBug(const MemRegion *Region,  in tryToReportBug()  argument
399     const ExplodedNode *MoveNode = getMoveLocation(N, Region, C);  in tryToReportBug()
411         explainObject(OS, Region, RD, MK);  in tryToReportBug()
415         explainObject(OS, Region, RD, MK);  in tryToReportBug()
420         explainObject(OS, Region, RD, MK);  in tryToReportBug()
425         explainObject(OS, Region, RD, MK);  in tryToReportBug()
432     R->addVisitor(std::make_unique<MovedBugVisitor>(*this, Region, RD, MK));  in tryToReportBug()
687     const MemRegion *Region = E.first;  in checkDeadSymbols()  local
688     bool IsRegDead = !SymReaper.isLiveRegion(Region);  in checkDeadSymbols()
692       State = State->remove<TrackedRegionMap>(Region);  in checkDeadSymbols()
716     for (const auto *Region : RequestedRegions) {  in checkRegionChanges()  local
717       if (ThisRegion != Region &&  in checkRegionChanges()
718           llvm::is_contained(InvalidatedRegions, Region))  in checkRegionChanges()
719         State = removeFromState(State, Region);  in checkRegionChanges()
724     for (const auto *Region : InvalidatedRegions)  in checkRegionChanges()  local
725       State = removeFromState(State, Region->getBaseRegion());  in checkRegionChanges()