459   const auto ArgRegion = AFC->getArgSVal(0).getAsRegion();  in checkPostCall()  local
460   if (!ArgRegion)  in checkPostCall()
465   if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion)  in checkPostCall()
469     if (IC->getCXXThisVal().getAsRegion() == ArgRegion)  in checkPostCall()
472   const MemRegion *BaseRegion = ArgRegion->getBaseRegion();  in checkPostCall()
479   if (State->get<TrackedRegionMap>(ArgRegion))  in checkPostCall()
483   ObjectKind OK = classifyObject(ArgRegion, RD);  in checkPostCall()
486     State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved());  in checkPostCall()
610       const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion();  in checkPreCall()  local
613       modelUse(State, ArgRegion, RD, MK, C);  in checkPreCall()
661         const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion();  in checkPreCall()  local
664         modelUse(State, ArgRegion, RD, MK, C);  in checkPreCall()