Searched refs:DstInvalidated (Results 1 – 1 of 1) sorted by relevance
908 ExplodedNodeSet DstInvalidated; in VisitCXXDestructor() local909 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx); in VisitCXXDestructor()914 getCheckerManager().runCheckersForPostCall(Dst, DstInvalidated, in VisitCXXDestructor()