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

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:

  • trying to do signed division (or get the remainder) -2N-1 over -1. This is because the result +2N-1 isn’t representable as a N-bit signed integer.
  • trying to truncate NaNs, infinity, or value for which the result is out of range into an integer.

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

Whether this trap is specified by the host.

Trait Implementations

Formats the value using the given formatter. Read more

Performs the conversion.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait. Read more

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait. Read more

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s. Read more

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s. Read more

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait. Read more

Performs the conversion.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.