Enum Terminator 

pub enum Terminator {
    Fallthrough,
    UnconditionalBranch {
        target: VAddr,
    },
    ConditionalBranch {
        taken: VAddr,
        fallthrough: VAddr,
    },
    Return,
    IndirectBranch,
    InvalidOrUnreachable,
}

How control flow leaves a basic block.

Calls are deliberately not terminators: the standard CFG convention treats a call as a regular instruction whose semantics include transferring control elsewhere and eventually returning.

Variants

Fallthrough

Reached only at the very end of a function whose body simply ran out of recorded bytes (e.g. nops for alignment with no branch back). Rare in real code but possible.

UnconditionalBranch

Unconditional direct branch (jmp rel32, etc.) to a known target.

Fields

target: VAddr

ConditionalBranch

Conditional direct branch (jcc); has both a taken target and a fall-through edge to the next address.

Fields

taken: VAddr

fallthrough: VAddr

Return

Return from function (ret, iret, etc.).

IndirectBranch

Indirect branch or call where the target is not a constant (jmp rax, jmp [rip+...], call rax). Static analysis can’t resolve these; downstream passes may attempt jump-table recovery.

InvalidOrUnreachable

ud2, int3 reaching here as a terminator, or any other instruction that surfaces as flow-control “exception” / “interrupt” / “unreachable”.

Trait Implementations

impl Clone for Terminator

fn clone(&self) -> Terminator

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Terminator

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Terminator

fn eq(&self, other: &Terminator) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Terminator

impl StructuralPartialEq for Terminator