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