table.set index truncation

[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

Like the issue in table.get, this should also trap because index >= table.size

Environment

• wabt 1.0.39
• OS: Linux x86_64 Ubuntu

poc.wasm.zip