Searched refs:DstPreCall (Results 1 – 1 of 1) sorted by relevance
773 ExplodedNodeSet DstPreCall; in handleConstructor() local774 getCheckerManager().runCheckersForPreCall(DstPreCall, PreInitialized, in handleConstructor()782 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx); in handleConstructor()784 for (ExplodedNode *N : DstPreCall) in handleConstructor()788 for (ExplodedNode *N : DstPreCall) in handleConstructor()910 ExplodedNodeSet DstPreCall; in VisitCXXDestructor() local911 getCheckerManager().runCheckersForPreCall(DstPreCall, Pred, in VisitCXXDestructor()915 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx); in VisitCXXDestructor()916 for (ExplodedNode *N : DstPreCall) in VisitCXXDestructor()935 ExplodedNodeSet DstPreCall; in VisitCXXNewAllocatorCall() local[all …]