Searched refs:TempDtorBuilder (Results 1 – 1 of 1) sorted by relevance
706 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch() local709 TempDtorBuilder.markInfeasible(false); in processCleanupTemporaryBranch()710 TempDtorBuilder.generateNode(Pred->getState(), true, Pred); in processCleanupTemporaryBranch()712 TempDtorBuilder.markInfeasible(true); in processCleanupTemporaryBranch()713 TempDtorBuilder.generateNode(Pred->getState(), false, Pred); in processCleanupTemporaryBranch()