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