Enum flowistry_pdg::rustc::mir::UnwindAction

pub enum UnwindAction {
    Continue,
    Unreachable,
    Terminate,
    Cleanup(BasicBlock),
}

Action to be taken when a stack unwind happens.

Variants

Continue

No action is to be taken. Continue unwinding.

This is similar to Cleanup(bb) where bb does nothing but Resume, but they are not equivalent, as presence of Cleanup(_) will make a frame non-POF.

Unreachable

Triggers undefined behavior if unwind happens.

Terminate

Terminates the execution if unwind happens.

Depending on the platform and situation this may cause a non-unwindable panic or abort.

Cleanup(BasicBlock)

Cleanups to be done.