[wasm2wat] Assertion failure in BinaryReaderIR::OnCallIndirectExpr

[pventuzelo]

Hey,

During fuzzing I triggered this assertion failure using wasm2wat --enable-all:

Assertion `sig_index < module_->types.size()' failed.

Related code (line 725):

wabt/src/binary-reader-ir.cc

Lines 724 to 726 in e88bc66

	Result BinaryReaderIR::OnCallIndirectExpr(Index sig_index, Index table_index) {
	assert(sig_index < module_->types.size());
	auto expr = MakeUnique<CallIndirectExpr>();

Reproducing

Download: assert_OnCallIndirectExpr_wabt.zip

Run:

./bin/wasm2wat --enable-all assert_OnCallIndirectExpr_wabt.wasm -o /dev/null
wasm2wat: /home/scop/Documents/wabt/src/binary-reader-ir.cc:725: virtual wabt::Result wabt::(anonymous namespace)::BinaryReaderIR::OnCallIndirectExpr(wabt::Index, wabt::Index): Assertion `sig_index < module_->types.size()' failed.
[1]    10570 abort (core dumped)  ./bin/wasm2wat --enable-all assert_OnCallIndirectExpr_wabt.wasm -o /dev/null

[pventuzelo]

fix confirmed

$ wasm2wat --enable-all assert_OnCallIndirectExpr_wabt.wasm 
assert_OnCallIndirectExpr_wabt.wasm:0000075: error: function type variable out of range: 16 (max 1)