Enum SandboxTrapKind 

#[repr(u64)]
pub enum SandboxTrapKind {
    DivisionByZero = 1,
    BoundsViolation = 2,
    CapabilityDenied = 3,
    ResourceExhausted = 4,
    HostFnMissing = 5,
    NumericOverflow = 6,
    HostFnError = 7,
}

Trap kind raised by a guard inside LLVM-emitted native code. The numeric values match the cranelift backend’s TrapKind and the [crate::state::NativeTrap] subset the JIT-side dynamic dispatch helper already records, so the host decodes the same cause numbering across backends. Encoded as u64 so it fits the ArenaState::trap_code slot the emitted object writes through relon_llvm_call_native / the Op::CheckCap trap arm.

Only the subset the LLVM native path can currently raise (DivisionByZero via the sdiv/srem guard, BoundsViolation via arena guards, CapabilityDenied via Op::CheckCap, NumericOverflow via checked Int arithmetic / reductions, and HostFnMissing/HostFnError via dynamic dispatch) is reachable today; the remaining variants are kept so the numbering stays a faithful mirror of cranelift’s for the deadline work that lands with the wider emitter.

Variants

DivisionByZero = 1

Division (Op::Div / Op::Mod) by zero. Buffer entries record this code in ArenaState::trap_code; legacy/fast entries have no typed error lane and still use llvm.trap.

BoundsViolation = 2

Pointer dereference walked past the arena bounds.

CapabilityDenied = 3

An Op::CheckCap { cap_bit } found the matching bit clear in the host-granted caps mask. Lifts to RuntimeError::CapabilityDenied. Matches cranelift’s TrapKind::CapabilityDenied and [crate::state::NativeTrap::CapabilityDenied] (= 3).

ResourceExhausted = 4

Per-call resource budget exhausted. LLVM currently raises this through deterministic step-budget fuel; a future wall-clock deadline can reuse the same trap code.

HostFnMissing = 5

No host fn registered at the requested import_idx, or no registry installed. Matches cranelift’s TrapKind::Unreachable (= 5) and [crate::state::NativeTrap::HostFnMissing]; lifts to RuntimeError::Unsupported.

NumericOverflow = 6

Signed integer overflow. Matches cranelift’s TrapKind::NumericOverflow (= 6) and [crate::state::NativeTrap::NumericOverflow]. Raised by checked Op::Add / Op::Sub / Op::Mul, the INT_MIN / -1 div/rem guard, and bundled checked reductions such as list_int_sum.

HostFnError = 7

A host fn returned an error, or a value outside the scalar return envelope. Matches [crate::state::NativeTrap::HostFnError] (= 7); lifts to RuntimeError::Unsupported.

Implementations

impl SandboxTrapKind

pub fn from_code(code: u64) -> SandboxTrapKind

Decode a u64 recorded in ArenaState::trap_code back into a SandboxTrapKind. Unknown / 0 codes route to SandboxTrapKind::HostFnError so the host always gets a typed RuntimeError rather than a panic — matching cranelift’s catch-all-into-typed-error posture.

pub fn to_runtime_error(self, range: TokenRange) -> RuntimeError

Lift a trap kind into the appropriate RuntimeError variant. All trap mappings carry the entry function’s source range so the diagnostic at least points at the #main declaration. Mirrors cranelift’s TrapKind::to_runtime_error and the [crate::state::NativeTrap::runtime_error_from_code] subset.

Trait Implementations

impl Clone for SandboxTrapKind

fn clone(&self) -> SandboxTrapKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SandboxTrapKind

impl Debug for SandboxTrapKind

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

Formats the value using the given formatter.

impl Eq for SandboxTrapKind

impl PartialEq for SandboxTrapKind

fn eq(&self, other: &SandboxTrapKind) -> 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 StructuralPartialEq for SandboxTrapKind