Searched refs:TempDtorBuilder (Results 1 – 1 of 1) sorted by relevance
1646 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch() local1650 TempDtorBuilder.markInfeasible(false); in processCleanupTemporaryBranch()1651 TempDtorBuilder.generateNode(State, true, Pred); in processCleanupTemporaryBranch()1653 TempDtorBuilder.markInfeasible(true); in processCleanupTemporaryBranch()1654 TempDtorBuilder.generateNode(State, false, Pred); in processCleanupTemporaryBranch()