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