wasm-opt assertion failed in wasm-type.cpp:720: 'type.isSingle()'

[Messi-Q]

Version

commit 765c614
Author: Peng Qian messi.qp711@gmail.com
Date: Fri Jun 24:16:44 2024

Compile

cd binaryen
mkdir build
cd build 
cmake -DCMAKE_CXX_FLAGS="-fsanitize=address -fno-omit-frame-pointer" -DCMAKE_C_FLAGS="-fsanitize=address -fno-omit-frame-pointer" -DCMAKE_EXE_LINKER_FLAGS="-fsanitize=address" -DCMAKE_SHARED_LINKER_FLAGS="-fsanitize=address"  ..
make

Reproduce

./wasm-opt id:000011,sig:06,src:005302,op:python,pos:0

Log

wasm-opt: /home/peng/Documents/all_wasm_vm/new_version_test/binaryen/src/wasm/wasm-type.cpp:720: void wasm::{anonymous}::validateTuple(const Tuple&): Assertion `type.isSingle()' failed.
Aborted

PoC

PoC