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