Searched refs:destNodes (Results 1 – 1 of 1) sorted by relevance
584 ExplodedNodeSet &destNodes) { in handleConstructor() argument601 StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx); in handleConstructor()642 StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx); in handleConstructor()841 getCheckerManager().runCheckersForPostStmt(destNodes, DstPostCall, E, *this); in handleConstructor()