Reference types crash wasm-opt‘s asyncify pass

Open

#3,739 opened on Mar 25, 2021 24 comments 2 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty: 4/5
Estimated time: 3-5 days
Newbie friendliness: 55/100

Issue type: Bug
Clarity: Clearly specified
Activity status: Active
Tech stack: wasm
Domain: compilers

Research direction

Reproduce the crash with wat2wasm using --enable-reference-types, then run wasm-opt with --asyncify on the generated test.wasm. Start by investigating the asyncify pass and the wasm-type.cpp failure shown in the report. Done means wasm-opt no longer aborts on this module and produces valid output.

Written by the indexing model from the issue text.

Description

(module
  (type (;0;) (func))
  (type (;1;) (func (result externref)))
  (import "gl" "createProgram" (func $src/asc/gl/createProgram (type 1)))
  (func $src/asc/lemonsoda/init (type 0)
    call $src/asc/gl/createProgram
    drop
  )
  (export "init" (func $src/asc/lemonsoda/init))
)

$ wat2wasm --enable-reference-types test.wat -o test.wasm
$ wasm-opt --asyncify --enable-reference-types test.wasm -o test2.wasm
invalid type
UNREACHABLE executed at /tmp/binaryen-20210320-71286-1g5tfwr/binaryen-version_100/src/wasm/wasm-type.cpp:488!
[1]    56081 abort      wasm-opt --asyncify --enable-reference-types test.wasm -o test2.wasm

Dominant language: WebAssembly
Stars: 8.6k
Forks: 885
Avg merge: 2d 4h
Merged PRs (30d): 77

Contributor guide

Open the contributing guide

First steps

Read the whole issue, then the project's contributing guide.
Comment on the issue to say you are picking it up — it saves two people doing the same work.
Fork the repository and make your change on a branch.
Open a pull request that references the issue number.

Similar issues

Unicode string escape silently accepts any number of repeated 'u' characters, not just one Open

Difficulty 2/5 1-3 hours Newbie friendliness 75/100

objectionary/eo#8923 · Opened Sep 23, 2026
`quote_keys` quotes private class member names, producing invalid output Open

Difficulty 2/5 1-3 hours Newbie friendliness 75/100

terser/terser#1743 · Opened Sep 23, 2026
Coarray integration tests carry no LABELS, so run_tests.py silently skips them under every backend Open

coarray

Difficulty 2/5 1-3 hours Newbie friendliness 70/100

lfortran/lfortran#13405 · Opened Sep 23, 2026
Float != answers false for NaN: arith.cmpf one where une belongs Open

Difficulty 2/5 1-3 hours Newbie friendliness 75/100

vx-lang/Vx#716 · Opened Sep 23, 2026
internal.h中，漏掉了1个定义。 Open

Difficulty 1/5 Under an hour Newbie friendliness 95/100

microsoft/mimalloc#1414 · 1 reaction · Opened Sep 23, 2026

More Compilers issues