Searched refs:OtherSmartPtrRegion (Results 1 – 1 of 1) sorted by relevance
747 if (!OtherSmartPtrRegion) { in handleAssignOp()770 const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion(); in handleMoveCtr() local771 if (!OtherSmartPtrRegion) in handleMoveCtr()779 const MemRegion *OtherSmartPtrRegion) const { in updateMovedSmartPointers()790 C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull]( in updateMovedSmartPointers()794 if (BR.isInteresting(OtherSmartPtrRegion)) { in updateMovedSmartPointers()796 checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion); in updateMovedSmartPointers()803 BR.markInteresting(OtherSmartPtrRegion); in updateMovedSmartPointers()813 C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion, in updateMovedSmartPointers()817 !BR.isInteresting(OtherSmartPtrRegion)) in updateMovedSmartPointers()[all …]