Searched refs:OtherSmartPtrRegion (Results 1 – 1 of 1) sorted by relevance
73 const MemRegion *OtherSmartPtrRegion,748 if (!OtherSmartPtrRegion) { in handleAssignOp()771 const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion(); in handleMoveCtr() local772 if (!OtherSmartPtrRegion) in handleMoveCtr()793 C.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull]( in updateMovedSmartPointers()797 if (BR.isInteresting(OtherSmartPtrRegion)) { in updateMovedSmartPointers()799 checkAndPrettyPrintRegion(OS, OtherSmartPtrRegion); in updateMovedSmartPointers()806 BR.markInteresting(OtherSmartPtrRegion); in updateMovedSmartPointers()817 C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion, in updateMovedSmartPointers()821 !BR.isInteresting(OtherSmartPtrRegion)) in updateMovedSmartPointers()[all …]