table.get index truncation for table64

[sbaesdg]

Build

Build wasm-interp in debug mode

Command

./wasm-interp --enable-memory64 poc.wasm --run-all-exports

Observed result

i32:1 (no trap)

Expected behavior

Trap because index >= table.size

Environment

• wabt 1.0.39
• OS: Linux x86_64 Ubuntu

poc.wasm.zip