71                      const MemRegion *ThisRegion) const;
72   bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
81                                const MemRegion *ThisRegion, const Expr *E,
151 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) {  in isNullSmartPtr()  argument
152   const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);  in isNullSmartPtr()
314     const MemRegion *ThisRegion = ThisRegionOpt->getAsRegion();  in evalCall()  local
315     State = State->set<TrackedRegionMap>(ThisRegion, PtrVal);  in evalCall()
382     const MemRegion *ThisRegion = CC->getCXXThisVal().getAsRegion();  in evalCall()  local
383     if (!ThisRegion)  in evalCall()
387       return handleMoveCtr(Call, C, ThisRegion);  in evalCall()
391       State = State->set<TrackedRegionMap>(ThisRegion, NullVal);  in evalCall()
394           State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in evalCall()
397                 !BR.isInteresting(ThisRegion))  in evalCall()
400             checkAndPrettyPrintRegion(OS, ThisRegion);  in evalCall()
408       State = State->set<TrackedRegionMap>(ThisRegion, ArgVal);  in evalCall()
410       C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr,  in evalCall()
414             !BR.isInteresting(ThisRegion))  in evalCall()
418         checkAndPrettyPrintRegion(OS, ThisRegion);  in evalCall()
440     ProgramStateRef State, const MemRegion *ThisRegion, const Expr *E,  in retrieveOrConjureInnerPtrVal()  argument
442   const auto *Ptr = State->get<TrackedRegionMap>(ThisRegion);  in retrieveOrConjureInnerPtrVal()
447   State = State->set<TrackedRegionMap>(ThisRegion, Val);  in retrieveOrConjureInnerPtrVal()
606   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleReset()  local
607   if (!ThisRegion)  in handleReset()
612   State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0));  in handleReset()
615       State, C.getNoteTag([ThisRegion, TrackingExpr](PathSensitiveBugReport &BR,  in handleReset()
618             !BR.isInteresting(ThisRegion))  in handleReset()
622         checkAndPrettyPrintRegion(OS, ThisRegion);  in handleReset()
636   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleRelease()  local
637   if (!ThisRegion)  in handleRelease()
640   const auto *InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);  in handleRelease()
648   State = State->set<TrackedRegionMap>(ThisRegion, ValueToUpdate);  in handleRelease()
650   C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in handleRelease()
653         !BR.isInteresting(ThisRegion))  in handleRelease()
657     checkAndPrettyPrintRegion(OS, ThisRegion);  in handleRelease()
719   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();  in handleGet()  local
720   if (!ThisRegion)  in handleGet()
725       State, ThisRegion, Call.getOriginExpr(), Call.getResultType(), C);  in handleGet()
741   const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion();  in handleAssignOp()  local
742   if (!ThisRegion)  in handleAssignOp()
752     State = State->set<TrackedRegionMap>(ThisRegion, NullVal);  in handleAssignOp()
753     C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in handleAssignOp()
756           !BR.isInteresting(ThisRegion))  in handleAssignOp()
759       checkAndPrettyPrintRegion(OS, ThisRegion);  in handleAssignOp()
765   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion);  in handleAssignOp()
769                                      const MemRegion *ThisRegion) const {  in handleMoveCtr()
774   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion);  in handleMoveCtr()
778     CheckerContext &C, const MemRegion *ThisRegion,  in updateMovedSmartPointers()  argument
783     State = State->set<TrackedRegionMap>(ThisRegion, *OtherInnerPtr);  in updateMovedSmartPointers()
790         C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull](  in updateMovedSmartPointers()
798             checkAndPrettyPrintRegion(OS, ThisRegion);  in updateMovedSmartPointers()
800           if (BR.isInteresting(ThisRegion) && IsArgValNull) {  in updateMovedSmartPointers()
802             checkAndPrettyPrintRegion(OS, ThisRegion);  in updateMovedSmartPointers()
811     State = State->remove<TrackedRegionMap>(ThisRegion);  in updateMovedSmartPointers()
814                                          ThisRegion](PathSensitiveBugReport &BR,  in updateMovedSmartPointers()
822       checkAndPrettyPrintRegion(OS, ThisRegion);  in updateMovedSmartPointers()
834   const MemRegion *ThisRegion =  in handleBoolConversion()  local
838   if (const auto *InnerValPtr = State->get<TrackedRegionMap>(ThisRegion)) {  in handleBoolConversion()
850     State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal);  in handleBoolConversion()
865   } else if (move::isMovedFrom(State, ThisRegion)) {  in handleBoolConversion()
877     NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal);  in handleBoolConversion()
882                                    [ThisRegion](PathSensitiveBugReport &BR,  in handleBoolConversion()
885                                      checkAndPrettyPrintRegion(OS, ThisRegion);  in handleBoolConversion()
895             [ThisRegion](PathSensitiveBugReport &BR, llvm::raw_ostream &OS) {  in handleBoolConversion()
897               checkAndPrettyPrintRegion(OS, ThisRegion);  in handleBoolConversion()