Searched refs:OtherSmartPtrRegion (Results 1 – 1 of 1) sorted by relevance
74 const MemRegion *OtherSmartPtrRegion,747 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion(); in handleAssignOp() local749 if (!OtherSmartPtrRegion) { in handleAssignOp()767 return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call); in handleAssignOp()772 const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion(); in handleMoveCtr() local773 if (!OtherSmartPtrRegion) in handleMoveCtr()776 return updateMovedSmartPointers(C, ThisRegion, OtherSmartPtrRegion, Call); in handleMoveCtr()781 const MemRegion *OtherSmartPtrRegion, const CallEvent &Call) const { in updateMovedSmartPointers() argument784 const auto *OtherInnerPtr = State->get<TrackedRegionMap>(OtherSmartPtrRegion); in updateMovedSmartPointers()789 State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal); in updateMovedSmartPointers()[all …]