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 __anon4e3ee8f10211::MoveChecker::MovedBugVisitor
210   void modelUse(ProgramStateRef State, const MemRegion *Region,
216   ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
223                                       const MemRegion *Region,
234 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) {  in isMovedFrom()  argument
235   const RegionState *RS = State->get<TrackedRegionMap>(Region);  in isMovedFrom()
244                                        const MemRegion *Region) {  in removeFromState()  argument
245   if (!Region)  in removeFromState()
248     if (E.first->isSubRegionOf(Region))  in removeFromState()
255                                     const MemRegion *Region) {  in isAnyBaseRegionReported()  argument
257     if (Region->isSubRegionOf(E.first) && E.second.isReported())  in isAnyBaseRegionReported()
283   const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region);  in VisitNode()
285       StatePrev->get<TrackedRegionMap>(Region);  in VisitNode()
300   ObjectKind OK = Chk.classifyObject(Region, RD);  in VisitNode()
305         Chk.explainObject(OS, Region, RD, MK);  in VisitNode()
316       Chk.explainObject(OS, Region, RD, MK);  in VisitNode()
321       Chk.explainObject(OS, Region, RD, MK);  in VisitNode()
333                                                  const MemRegion *Region,  in getMoveLocation()  argument
341     if (!State->get<TrackedRegionMap>(Region))  in getMoveLocation()
349 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region,  in modelUse()  argument
353   const RegionState *RS = State->get<TrackedRegionMap>(Region);  in modelUse()
354   ObjectKind OK = classifyObject(Region, RD);  in modelUse()
371   if (isAnyBaseRegionReported(State, Region)) {  in modelUse()
380   ExplodedNode *N = reportBug(Region, RD, C, MK);  in modelUse()
386   State = State->set<TrackedRegionMap>(Region, RegionState::getReported());  in modelUse()
390 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region,  in reportBug()  argument
397     const ExplodedNode *MoveNode = getMoveLocation(N, Region, C);  in reportBug()
409         explainObject(OS, Region, RD, MK);  in reportBug()
413         explainObject(OS, Region, RD, MK);  in reportBug()
418         explainObject(OS, Region, RD, MK);  in reportBug()
423         explainObject(OS, Region, RD, MK);  in reportBug()
430     R->addVisitor(std::make_unique<MovedBugVisitor>(*this, Region, RD, MK));  in reportBug()
684     const MemRegion *Region = E.first;  in checkDeadSymbols()  local
685     bool IsRegDead = !SymReaper.isLiveRegion(Region);  in checkDeadSymbols()
689       State = State->remove<TrackedRegionMap>(Region);  in checkDeadSymbols()
713     for (const auto *Region : RequestedRegions) {  in checkRegionChanges()  local
714       if (ThisRegion != Region &&  in checkRegionChanges()
715           llvm::is_contained(InvalidatedRegions, Region))  in checkRegionChanges()
716         State = removeFromState(State, Region);  in checkRegionChanges()
721     for (const auto *Region : InvalidatedRegions)  in checkRegionChanges()  local
722       State = removeFromState(State, Region->getBaseRegion());  in checkRegionChanges()