Enum wasmi_core::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§
Trait Implementations§
impl Copy for TrapCode
Auto Trait Implementations§
impl RefUnwindSafe for TrapCode
impl Send for TrapCode
impl Sync for TrapCode
impl Unpin for TrapCode
impl UnwindSafe for TrapCode
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere T: Any,
source§fn into_any(self: Box<T, Global>) -> Box<dyn Any, Global>
fn into_any(self: Box<T, Global>) -> Box<dyn Any, Global>
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.source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.