incorrect memory.copy in mixed memory index types

[sbaesdg]

Build

Build wasm-interp in debug mode

Command

./wasm-interp --enable-multi-memory --enable-memory64 poc.wasm --run-export test

Observed result

Debug assertion failure in include/wabt/interp/interp.h:587

Expected behavior

The module should execute successfully and return 72

Environment

• wabt 1.0.39
• OS: Linux x86_64 Ubuntu

poc.wasm.zip