161         : Chk(Chk), Region(R), RD(RD), MK(MK), Found(false) {}  in MovedBugVisitor()
166       ID.AddPointer(Region);  in Profile()
180     const MemRegion *Region;  member in __anon6f91540e0211::MoveChecker::MovedBugVisitor
211   void modelUse(ProgramStateRef State, const MemRegion *Region,
217   ExplodedNode *reportBug(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 = reportBug(Region, RD, C, MK);  in modelUse()
387   State = State->set<TrackedRegionMap>(Region, RegionState::getReported());  in modelUse()
391 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region,  in reportBug()  argument
398     const ExplodedNode *MoveNode = getMoveLocation(N, Region, C);  in reportBug()
410         explainObject(OS, Region, RD, MK);  in reportBug()
414         explainObject(OS, Region, RD, MK);  in reportBug()
419         explainObject(OS, Region, RD, MK);  in reportBug()
424         explainObject(OS, Region, RD, MK);  in reportBug()
431     R->addVisitor(std::make_unique<MovedBugVisitor>(*this, Region, RD, MK));  in reportBug()
685     const MemRegion *Region = E.first;  in checkDeadSymbols()  local
686     bool IsRegDead = !SymReaper.isLiveRegion(Region);  in checkDeadSymbols()
690       State = State->remove<TrackedRegionMap>(Region);  in checkDeadSymbols()
714     for (const auto *Region : RequestedRegions) {  in checkRegionChanges()  local
715       if (ThisRegion != Region) {  in checkRegionChanges()
716         if (llvm::find(InvalidatedRegions, Region) !=  in checkRegionChanges()
718           State = removeFromState(State, Region);  in checkRegionChanges()
725     for (const auto *Region : InvalidatedRegions)  in checkRegionChanges()  local
726       State = removeFromState(State, Region->getBaseRegion());  in checkRegionChanges()