Searched refs:DstPreVisit (Results 1 – 1 of 1) sorted by relevance
683 ExplodedNodeSet DstPreVisit; in handleConstructor() local684 getCheckerManager().runCheckersForPreStmt(DstPreVisit, Pred, E, *this); in handleConstructor()689 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); in handleConstructor()690 for (ExplodedNodeSet::iterator I = DstPreVisit.begin(), in handleConstructor()691 E = DstPreVisit.end(); in handleConstructor()714 PreInitialized = DstPreVisit; in handleConstructor()