Searched refs:DstPreVisit (Results 1 – 1 of 1) sorted by relevance
741 ExplodedNodeSet DstPreVisit; in handleConstructor() local742 getCheckerManager().runCheckersForPreStmt(DstPreVisit, Pred, E, *this); in handleConstructor()747 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); in handleConstructor()748 for (ExplodedNode *N : DstPreVisit) { in handleConstructor()770 PreInitialized = DstPreVisit; in handleConstructor()