Reference types crash wasm-opt‘s asyncify pass

Abierto

#3,739 abierto el 25/3/2021 24 comentarios 2 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad: 4/5
Tiempo estimado: 3-5 días
Aptitud para principiantes: 55/100

Tipo de issue: Error
Claridad: Bien especificado
Estado de actividad: Activo
Stack tecnológico: wasm
Área: compilers

Línea de trabajo

Reproduce el fallo con wat2wasm usando --enable-reference-types y, después, ejecuta wasm-opt con --asyncify sobre el test.wasm generado. Empieza investigando el paso asyncify y el fallo de wasm-type.cpp mostrado en el informe. La tarea estará completada cuando wasm-opt ya no aborte con este módulo y produzca una salida válida.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

(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

Lenguaje dominante: WebAssembly
Estrellas: 8.6k
Forks: 885
Merge medio: 2 d 4 h
PR fusionados (30 d): 77

Guía de contribución

Abrir la guía de contribución

Primeros pasos

Lee el issue completo y luego la guía de contribución del proyecto.
Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
Haz un fork del repositorio y trabaja en una rama.
Abre un pull request que haga referencia al número del issue.

Más de WebAssembly/binaryen

Remove unnecessary null pointer checks Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100

WebAssembly/binaryen#9135 · 1 comentario · Abierto el 22/9/2026
Most lit/help tests fail with new python-filecheck Abierto

Dificultad 2/5 Medio día Aptitud para principiantes 76/100

WebAssembly/binaryen#9018 · 3 comentarios · Abierto el 19/8/2026
Exact Type Precision vs Optimization Cost Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

WebAssembly/binaryen#9133 · Abierto el 22/9/2026
Complete the ChildTyper migration of validator child-type checks Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 52/100

WebAssembly/binaryen#9123 · Abierto el 20/9/2026
ChildTyper constraints drop sharedness, blocking validator migration Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

WebAssembly/binaryen#9122 · Abierto el 20/9/2026

Todos los issues de WebAssembly/binaryen

Issues similares

[flang][cuda] CUFPredefinedVarToGPU crashes on a fir.copy whose destination is the predefined-variable declare Abierto

flang:fir-hlfir

Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100

llvm/llvm-project#225935 · Abierto el 23/9/2026
Unicode string escape silently accepts any number of repeated 'u' characters, not just one Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

objectionary/eo#8923 · Abierto el 23/9/2026
user feedback: Rename `lam` to `lambda` and give the unit type a name Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

argotorg/solcore#587 · Abierto el 23/9/2026
`quote_keys` quotes private class member names, producing invalid output Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

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

coarray

Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100

lfortran/lfortran#13405 · Abierto el 23/9/2026

Más issues de Compilers