null check exception

[Q1IQ]

Current State

Run the following command:

wizeng --invoke=main test.wasm 10 -45 78 62

Observed output:

!NullCheckException
	in X86_64Linux_WasiInstance.fd_read_write() [src/modules/wasi/x86-64-linux/WspOneModule-x86-64-linux.v3 @ 371:32]
	in X86_64Linux_WasiInstance.fd_write() [src/modules/wasi/x86-64-linux/WspOneModule-x86-64-linux.v3 @ 55:37]
	in HostAdapters.iiii_r.0() [src/util/HostAdapters.v3 @ 28:142]
	in X86_64Runtime.runtime_callHost() [src/engine/x86-64/X86_64Runtime.v3 @ 17:47]
	in [host-call-stub]
	in [fast-int] #20
	in [fast-int] #44
	in [fast-int] #45
	in [fast-int] #51
	in [fast-int] #61
	in [fast-int] #60
	in [fast-int] #42
	in [fast-int] #39
	in [fast-int] #12
	in [fast-int] #11
	in [return-parent-stub]
	in X86_64Stack.resume() [src/engine/x86-64/X86_64Stack.v3 @ 74:56]
	in X86_64StackManager.runOnFreshStack() [src/engine/x86-64/X86_64Stack.v3 @ 1137:62]
	in X86_64InterpreterOnlyStrategy.call() [src/engine/x86-64/X86_64Target.v3 @ 181:58]
	in Execute.call() [src/engine/Execute.v3 @ 18:36]
	in WasmMode.executeMainFunction() [src/WasmMode.v3 @ 161:37]
	in WasmMode.linkAndExecuteMain() [src/WasmMode.v3 @ 117:60]
	in WasmMode.run() [src/WasmMode.v3 @ 25:64]
	in main() [src/wizeng.main.v3 @ 89:48]

WIZARD Version

Commit: 23a1557
Version: Wizard Engine 25β.2883

Operating system information

Ubuntu 20.04

Hardware Architecture

amd64 (x86_64)

test.wasm.txt

[titzer]

It looks like this module doesn't export a memory. WASI requires a memory named "memory" to be exported in order to bind properly to a module. Wizard should give a better error message, though. Does it work if you export your memory?

[Q1IQ]

Yes, after exporting the memory, the module loads, but I now get this assertion failure:

Assertion failed: a != -1 (/home/runner/work/wasi-testsuite/wasi-testsuite/tests/c/src/stat-dev-ino.c: main: 11)
<wasm func #11> +31
  <wasm func #12> +140
    <wasm func #39> +51
      <wasm func #33> +1
        !trap[UNREACHABLE]

exportmem.wasm.txt