Searched refs:DstPreCall (Results 1 – 1 of 1) sorted by relevance
743 ExplodedNodeSet DstPreCall; in handleConstructor() local744 getCheckerManager().runCheckersForPreCall(DstPreCall, PreInitialized, in handleConstructor()752 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx); in handleConstructor()754 for (ExplodedNode *N : DstPreCall) in handleConstructor()758 for (ExplodedNode *N : DstPreCall) in handleConstructor()880 ExplodedNodeSet DstPreCall; in VisitCXXDestructor() local881 getCheckerManager().runCheckersForPreCall(DstPreCall, Pred, in VisitCXXDestructor()885 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx); in VisitCXXDestructor()886 for (ExplodedNode *N : DstPreCall) in VisitCXXDestructor()905 ExplodedNodeSet DstPreCall; in VisitCXXNewAllocatorCall() local[all …]