Enum paralegal_spdg::rustc::mir::TerminatorEdges

pub enum TerminatorEdges<'mir, 'tcx> {
    None,
    Single(BasicBlock),
    Double(BasicBlock, BasicBlock),
    AssignOnReturn {
        return_: Option<BasicBlock>,
        unwind: UnwindAction,
        place: CallReturnPlaces<'mir, 'tcx>,
    },
    SwitchInt {
        targets: &'mir SwitchTargets,
        discr: &'mir Operand<'tcx>,
    },
}

Variants

None

For terminators that have no successor, like return.

Single(BasicBlock)

For terminators that a single successor, like goto, and assert without cleanup block.

Double(BasicBlock, BasicBlock)

For terminators that two successors, assert with cleanup block and falseEdge.

AssignOnReturn

Fields

return_: Option<BasicBlock>

unwind: UnwindAction

place: CallReturnPlaces<'mir, 'tcx>

Special action for Yield, Call and InlineAsm terminators.

SwitchInt

Fields

targets: &'mir SwitchTargets

discr: &'mir Operand<'tcx>

Special edge for SwitchInt.