Repository navigation
Fuzzing issue related to ref / gc types #4056
Description
Fuzzer found issue on seed 11469194492158386059.
running testcase handler: RoundtripText
<...>/binaryen/bin/wasm-opt a.wasm --name-types -S -o a.wast
--enable-threads --enable-mutable-globals --enable-nontrapping-float-to-int --enable-simd
--enable-bulk-memory --enable-sign-ext --enable-tail-call --enable-reference-types --enable-gc
--enable-typed-function-references --strip-dwarf <....>/binaryen/bin/wasm-opt a.wast --enable-threads
--enable-mutable-globals --enable-nontrapping-float-to-int --enable-simd --enable-bulk-memory
--enable-sign-ext --enable-tail-call --enable-reference-types --enable-gc
--enable-typed-function-references --strip-dwarf
[parse exception: unknown dollared function type (at 175:51)]
Fatal: error parsing wasm
....
['<...>/binaryen/bin/wasm-opt', 'a.wast', '--enable-threads',
'--enable-mutable-globals',
'--enable-nontrapping-float-to-int',
'--enable-simd',
'--enable-bulk-memory',
'--enable-sign-ext',
'--enable-tail-call',
'--enable-reference-types',
'--enable-gc',
'--enable-typed-function-references',
'--strip-dwarf']
================================================================================
Reduced example:
(module
(type $none_=>_none (func))
(global $global$14 (mut i32) (i32.const 10))
(memory $0 (shared 16 17))
(table $0 111 111 funcref)
(elem (table $0) (i32.const 0) funcref (ref.null $none_=>_none))
)
Activity
kripken commentedon Aug 5, 2021
Thanks, this looks like #3989 . Until that is fixed we should probably ignore fuzz issues in roundtripping text. I opened #4058