Lines Matching defs:OtherSmartPtrRegion

74                                 const MemRegion *OtherSmartPtrRegion,
747   const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion();
749   if (!OtherSmartPtrRegion) {
767   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);
772   const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion();
773   if (!OtherSmartPtrRegion)
776   return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call);
781     const MemRegion *OtherSmartPtrRegion, const CallEvent &Call) const {
784   const auto *OtherInnerPtr = State->get<TrackedRegionMap>(OtherSmartPtrRegion);
789     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);
794         C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull](
798           if (BR.isInteresting(OtherSmartPtrRegion)) {
800             checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion);
807             BR.markInteresting(OtherSmartPtrRegion);
817     State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);
818     C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion,
822           !BR.isInteresting(OtherSmartPtrRegion))
825       checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion);