control

unreachable

Trap immediately if executed.

core0x00

Syntax

unreachable

Stack Effect

polymorphic -> trap

Opcode

Hex: 0x00
Decimal: 0
Bytes: [0x00]
Encoding: 0x00
Category: control

Browser Support

Core WebAssembly instruction.

Validation Rules

Operands and result types must match the instruction signature.
The instruction must appear in a valid structured control context.

Common Mistakes

Using the instruction with the wrong operand type.
Forgetting that WAT validation is stack-typed.

Example

(func $example
  ;; unreachable example
)