Enum wasmi::TrapCode

source · [−]
pub enum TrapCode {
    Unreachable,
    MemoryAccessOutOfBounds,
    TableAccessOutOfBounds,
    ElemUninitialized,
    DivisionByZero,
    IntegerOverflow,
    InvalidConversionToInt,
    StackOverflow,
    UnexpectedSignature,
}
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.

IntegerOverflow

An integer arithmetic operation caused an overflow.

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.

InvalidConversionToInt

Attempt to make a conversion to an int failed.

This can happen when:

  • 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 a Wasm or host function was invoked with mismatching parameters or result values.

This can always happen with indirect calls as they always specify the expected signature of function. If an indirect call is executed with an index that points to a function with signature different of what is expected by this indirect call, this trap is raised.

Implementations

Returns the trap message as specified by the WebAssembly specification.

Note

This API is primarily useful for the Wasm spec testsuite but might have other uses since it avoid heap memory allocation in certain cases.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Formats the value using the given formatter. Read more

Converts to this type from the input type.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

Convert one type to another by rounding to the nearest integer towards zero.

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

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

Converts the given value to a String. Read more

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.