Searched refs:TempDtorBuilder (Results 1 – 1 of 1) sorted by relevance
701 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch() local704 TempDtorBuilder.markInfeasible(false); in processCleanupTemporaryBranch()705 TempDtorBuilder.generateNode(Pred->getState(), true, Pred); in processCleanupTemporaryBranch()707 TempDtorBuilder.markInfeasible(true); in processCleanupTemporaryBranch()708 TempDtorBuilder.generateNode(Pred->getState(), false, Pred); in processCleanupTemporaryBranch()