Incorrect handling of table.init with out-of-bounds element segment

[Q1IQ]

Subject of the issue

WasmEdge fails to correctly handle table.init when attempting out-of-bounds table access, resulting in unexpected behavior or a failure to throw the expected exception.

Test case

(module
  (table 4 funcref)

  (elem (i32.const 0) funcref (ref.null func) (ref.null func))

  (func $main
    (table.init 0 (i32.const 0) (i32.const 0) (i32.const 1))
  )

  (export "main" (func $main) )
)

Your environment

• OS: Ubuntu 20.04
• CPU: amd64
• WAMR version: iwasm 1.2.3
• Commands:

iwasm --fast-jit -f main ./program.wasm
iwasm --multi-tier-jit -f main./program.wasm

Expected behavior

The WebAssembly runtime should detect the out-of-bounds table access during table.init and report the error. A valid error message should look like:

Out of bounds table access