Reference types crash wasm-opt‘s asyncify pass

オープン

#3,739 2021年3月25日に作成コメント 24 件リアクション 2 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度: 4/5
見積もり時間: 3〜5日
初心者へのやさしさ: 55/100

issue の種類: バグ
明瞭さ: 明確に書かれている
活発さ: 活発
技術スタック: wasm
領域: compilers

調査の方向性

--enable-reference-types を使って wat2wasm でクラッシュを再現し、その後、生成された test.wasm に対して --asyncify を指定して wasm-opt を実行します。まず asyncify パスと、レポートに示されている wasm-type.cpp の失敗を調査してください。wasm-opt がこのモジュールで中断せず、有効な出力を生成すれば完了です。

索引モデルが issue の本文から書いたものです。

説明

(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

主要言語: WebAssembly
スター: 8.6k
フォーク: 885
平均マージ: 2日 4時間
マージ済み PR（30日）: 77

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

WebAssembly/binaryen のほかの issue

Remove unnecessary null pointer checks オープン

難易度 1/5 1時間未満初心者へのやさしさ 88/100

WebAssembly/binaryen#9135 · コメント 1 件 · 2026年9月22日に作成
Most lit/help tests fail with new python-filecheck オープン

難易度 2/5 半日初心者へのやさしさ 76/100

WebAssembly/binaryen#9018 · コメント 3 件 · 2026年8月19日に作成
Exact Type Precision vs Optimization Cost オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

WebAssembly/binaryen#9133 · 2026年9月22日に作成
Complete the ChildTyper migration of validator child-type checks オープン

難易度 4/5 3〜5日初心者へのやさしさ 52/100

WebAssembly/binaryen#9123 · 2026年9月20日に作成
ChildTyper constraints drop sharedness, blocking validator migration オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

WebAssembly/binaryen#9122 · 2026年9月20日に作成

WebAssembly/binaryen の issue をすべて見る

似ている issue

self-host checker: `write` with the wrong argument count is not E004 オープン

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

JakeChampion/lang#10213 · 2026年9月24日に作成
Add fixed-width integer peeks for byte readers オープン

enhancement good first issue needs testing

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

wavefnd/Wave#717 · 2026年9月24日に作成
Dotfiles such as ._main.plum are compiled as source, with no file or position in the error オープン

bug

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

bradcypert/plum#58 · 2026年9月24日に作成
[flang][cuda] CUFPredefinedVarToGPU crashes on a fir.copy whose destination is the predefined-variable declare オープン

flang:fir-hlfir

難易度 2/5 1〜3時間初心者へのやさしさ 70/100

llvm/llvm-project#225935 · 2026年9月23日に作成
Hand Tail: Brass Herald オープン

area:cards hand-tail ready-for-agent

難易度 2/5 1〜3時間初心者へのやさしさ 65/100

fil-donadoni/tolaria#4446 · 2026年9月23日に作成

Compilers の issue をもっと見る