wasm-decompile: Assertion `is_name()' failed.

[nepx]

wasm-decompile crashes when trying to process this WAT file. Interestingly enough, it works after being processed with wasm-opt.

The full text of the error is:

wabt-main/include/wabt/ir.h:62: const string& wabt::Var::name() const: Assertion `is_name()' failed.

[keithw]

I think the root issue here is that wasm-decompile doesn't know how to handle a br to the implicit function label, which is basically equivalent to a return. My guess is that wasm-opt is converting this to a return, which wasm-decompile does know how to handle.

Here's a minimal test case that also triggers the same assertion failure:

(func br 0)

Handling this cleanly is probably pretty doable but requires some mucking with the decompiler.