wasm-opt assertion failed in wasm-type.cpp:1015: 'isRef()'

[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:000021,sig:06,src:009924,op:python,pos:0

Log

wasm-opt: wasm-opt: wasm-opt: /home/peng/Documents/all_wasm_vm/new_version_test/binaryen/src/wasm/wasm-type.cpp:1015: wasm::HeapType wasm::Type::getHeapType() const: Assertion `isRef()' failed.
Aborted

PoC

PoC