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