Asyncify does not support unwinding from functions returning non-nullable values

Hi,

While testing some wasm-opt options for Wasocaml, I found the following assertion failure:

$ wasm-opt -O3 --enable-gc --enable-tail-call --enable-reference-types --enable-multivalue --enable-exception-handling a.out.wasm -o a.out.optimised.wasm --asyncify    
wasm-opt: ~/dev/cpp/binaryen/src/ir/literal-utils.h:35: wasm::Expression* wasm::LiteralUtils::makeZero(wasm::Type, wasm::Module&): Assertion `canMakeZero(type)' failed.
zsh: IOT instruction  wasm-opt -O3 --enable-gc --enable-tail-call --enable-reference-types    -o

I'm on a recent version:

$ wasm-opt version 119 (version_119-55-g7e1413902)

It works without --asyncify.

The binary file is attached, I don't have the text version sorry. I uploaded it as a .jpeg otherwise GitHub won't let me do it: .

Thanks!

Start by reproducing the reported wasm-opt command with the attached binary and --asyncify enabled. Read src/ir/literal-utils.h at the failing makeZero assertion, then trace the asyncify path that handles functions returning non-nullable values. Done means the input no longer triggers the assertion while retaining the reported optimization behavior.