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