[][src]Enum wasmi::TrapKind

pub enum TrapKind {
    Unreachable,
    MemoryAccessOutOfBounds,
    TableAccessOutOfBounds,
    ElemUninitialized,
    DivisionByZero,
    InvalidConversionToInt,
    StackOverflow,
    UnexpectedSignature,
    Host(Box<dyn HostError>),
}

Error type which can be thrown by wasm code or by host environment.

See Trap for details.

Variants

Unreachable

Wasm code executed unreachable opcode.

unreachable is a special opcode which always traps upon execution. This opcode have a similar purpose as ud2 in x86.

MemoryAccessOutOfBounds

Attempt to load or store at the address which lies outside of bounds of the memory.

Since addresses are interpreted as unsigned integers, out of bounds access can't happen with negative addresses (i.e. they will always wrap).

TableAccessOutOfBounds

Attempt to access table element at index which lies outside of bounds.

This typically can happen when call_indirect is executed with index that lies out of bounds.

Since indexes are interpreted as unsinged integers, out of bounds access can't happen with negative indexes (i.e. they will always wrap).

ElemUninitialized

Attempt to access table element which is uninitialized (i.e. None).

This typically can happen when call_indirect is executed.

DivisionByZero

Attempt to divide by zero.

This trap typically can happen if div or rem is executed with zero as divider.

InvalidConversionToInt

Attempt to make a conversion to an int failed.

This can happen when:

StackOverflow

Stack overflow.

This is likely caused by some infinite or very deep recursion. Extensive inlining might also be the cause of stack overflow.

UnexpectedSignature

Attempt to invoke a function with mismatching signature.

This can happen if [FuncInstance] was invoked with mismatching signature.

This can always happen with indirect calls. call_indirect instruction always specifies the expected signature of function. If call_indirect is executed with index that points on function with signature different that is expected by this call_indirect, this trap is raised.

Host(Box<dyn HostError>)

Error specified by the host.

Typically returned from an implementation of Externals.

Implementations

impl TrapKind[src]

pub fn is_host(&self) -> bool[src]

Whether this trap is specified by the host.

Trait Implementations

impl Debug for TrapKind[src]

impl From<TrapKind> for Trap[src]

Auto Trait Implementations

impl !RefUnwindSafe for TrapKind

impl Send for TrapKind

impl Sync for TrapKind

impl Unpin for TrapKind

impl !UnwindSafe for TrapKind

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Downcast for T where
    T: Any
[src]

impl<T> DowncastSync for T where
    T: Send + Sync + Any
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.