Searched refs:DstInvalidated (Results 1 – 1 of 1) sorted by relevance
389 ExplodedNodeSet DstInvalidated; in VisitCXXDestructor() local390 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx); in VisitCXXDestructor()396 getCheckerManager().runCheckersForPostCall(Dst, DstInvalidated, in VisitCXXDestructor()416 ExplodedNodeSet DstInvalidated; in VisitCXXNewAllocatorCall() local417 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx); in VisitCXXNewAllocatorCall()421 getCheckerManager().runCheckersForPostCall(Dst, DstInvalidated, in VisitCXXNewAllocatorCall()