Searched refs:DstPreVisit (Results 1 – 1 of 1) sorted by relevance
707 ExplodedNodeSet DstPreVisit; in handleConstructor() local708 getCheckerManager().runCheckersForPreStmt(DstPreVisit, Pred, E, *this); in handleConstructor()713 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); in handleConstructor()714 for (ExplodedNode *N : DstPreVisit) { in handleConstructor()740 PreInitialized = DstPreVisit; in handleConstructor()