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 __anon2f850c290211::MoveChecker::MovedBugVisitor
206   void modelUse(ProgramStateRef State, const MemRegion *Region,
212   ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
219                                       const MemRegion *Region,
228                                        const MemRegion *Region) {  in REGISTER_MAP_WITH_PROGRAMSTATE()
229   if (!Region)  in REGISTER_MAP_WITH_PROGRAMSTATE()
232     if (E.first->isSubRegionOf(Region))  in REGISTER_MAP_WITH_PROGRAMSTATE()
239                                     const MemRegion *Region) {  in isAnyBaseRegionReported()  argument
241     if (Region->isSubRegionOf(E.first) && E.second.isReported())  in isAnyBaseRegionReported()
266   const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region);  in VisitNode()
268       StatePrev->get<TrackedRegionMap>(Region);  in VisitNode()
283   ObjectKind OK = Chk.classifyObject(Region, RD);  in VisitNode()
288         Chk.explainObject(OS, Region, RD, MK);  in VisitNode()
299       Chk.explainObject(OS, Region, RD, MK);  in VisitNode()
304       Chk.explainObject(OS, Region, RD, MK);  in VisitNode()
316                                                  const MemRegion *Region,  in getMoveLocation()  argument
324     if (!State->get<TrackedRegionMap>(Region))  in getMoveLocation()
332 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region,  in modelUse()  argument
336   const RegionState *RS = State->get<TrackedRegionMap>(Region);  in modelUse()
337   ObjectKind OK = classifyObject(Region, RD);  in modelUse()
354   if (isAnyBaseRegionReported(State, Region)) {  in modelUse()
363   ExplodedNode *N = reportBug(Region, RD, C, MK);  in modelUse()
369   State = State->set<TrackedRegionMap>(Region, RegionState::getReported());  in modelUse()
373 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region,  in reportBug()  argument
385     const ExplodedNode *MoveNode = getMoveLocation(N, Region, C);  in reportBug()
397         explainObject(OS, Region, RD, MK);  in reportBug()
401         explainObject(OS, Region, RD, MK);  in reportBug()
406         explainObject(OS, Region, RD, MK);  in reportBug()
411         explainObject(OS, Region, RD, MK);  in reportBug()
418     R->addVisitor(llvm::make_unique<MovedBugVisitor>(*this, Region, RD, MK));  in reportBug()
672     const MemRegion *Region = E.first;  in checkDeadSymbols()  local
673     bool IsRegDead = !SymReaper.isLiveRegion(Region);  in checkDeadSymbols()
677       State = State->remove<TrackedRegionMap>(Region);  in checkDeadSymbols()
701     for (const auto *Region : RequestedRegions) {  in checkRegionChanges()  local
702       if (ThisRegion != Region) {  in checkRegionChanges()
703         if (llvm::find(InvalidatedRegions, Region) !=  in checkRegionChanges()
705           State = removeFromState(State, Region);  in checkRegionChanges()
712     for (const auto *Region : InvalidatedRegions)  in checkRegionChanges()  local
713       State = removeFromState(State, Region->getBaseRegion());  in checkRegionChanges()