56   checkRegionChanges(ProgramStateRef State,
61   void printState(raw_ostream &Out, ProgramStateRef State,
206   void modelUse(ProgramStateRef State, const MemRegion *Region,
227 static ProgramStateRef removeFromState(ProgramStateRef State,  in REGISTER_MAP_WITH_PROGRAMSTATE()
230     return State;  in REGISTER_MAP_WITH_PROGRAMSTATE()
231   for (auto &E : State->get<TrackedRegionMap>()) {  in REGISTER_MAP_WITH_PROGRAMSTATE()
233       State = State->remove<TrackedRegionMap>(E.first);  in REGISTER_MAP_WITH_PROGRAMSTATE()
235   return State;  in REGISTER_MAP_WITH_PROGRAMSTATE()
238 static bool isAnyBaseRegionReported(ProgramStateRef State,  in isAnyBaseRegionReported()  argument
240   for (auto &E : State->get<TrackedRegionMap>()) {  in isAnyBaseRegionReported()
264   ProgramStateRef State = N->getState();  in VisitNode()  local
266   const RegionState *TrackedObject = State->get<TrackedRegionMap>(Region);  in VisitNode()
323     ProgramStateRef State = N->getState();  in getMoveLocation()  local
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()
347     C.addTransition(State);  in modelUse()
354   if (isAnyBaseRegionReported(State, Region)) {  in modelUse()
356       C.generateSink(State, C.getPredecessor());  in modelUse()
358       C.addTransition(State);  in modelUse()
369   State = State->set<TrackedRegionMap>(Region, RegionState::getReported());  in modelUse()
370   C.addTransition(State, N);  in modelUse()
431   ProgramStateRef State = C.getState();  in checkPostCall()  local
466   if (State->get<TrackedRegionMap>(ArgRegion))  in checkPostCall()
473     State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved());  in checkPostCall()
474     C.addTransition(State);  in checkPostCall()
586   ProgramStateRef State = C.getState();  in checkPreCall()  local
593     State = removeFromState(State, CC->getCXXThisVal().getAsRegion());  in checkPreCall()
600       modelUse(State, ArgRegion, RD, MK, C);  in checkPreCall()
627     State = removeFromState(State, ThisRegion);  in checkPreCall()
628     C.addTransition(State);  in checkPreCall()
644       State = removeFromState(State, ThisRegion);  in checkPreCall()
651         modelUse(State, ArgRegion, RD, MK, C);  in checkPreCall()
654       C.addTransition(State);  in checkPreCall()
659       modelUse(State, ThisRegion, RD, MK_Dereference, C);  in checkPreCall()
664   modelUse(State, ThisRegion, RD, MK_FunCall, C);  in checkPreCall()
669   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
670   TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>();  in checkDeadSymbols()
677       State = State->remove<TrackedRegionMap>(Region);  in checkDeadSymbols()
680   C.addTransition(State);  in checkDeadSymbols()
684     ProgramStateRef State, const InvalidatedSymbols *Invalidated,  in checkRegionChanges()  argument
705           State = removeFromState(State, Region);  in checkRegionChanges()
713       State = removeFromState(State, Region->getBaseRegion());  in checkRegionChanges()
716   return State;  in checkRegionChanges()
719 void MoveChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()  argument
722   TrackedRegionMapTy RS = State->get<TrackedRegionMap>();  in printState()