In I64ToI32Lowering pass, lowerReinterpretFloat64() and lowerReinterpretInt64() are not multithreading, ASAN, STACK_OVERLOW_CHECK or SAFE_HEAP safe

オープン

#4,710 2022年6月2日に作成コメント 0 件リアクション 0 件担当者 0 名 GitHub で見る

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

評価

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

issue の種類: バグ
明瞭さ: 説明が足りない
活発さ: 停滞
技術スタック: cpp, wasm
領域: compilers

調査の方向性

参照されている行にある src/passes/I64ToI32Lowering.cpp の lowerReinterpretFloat64() と lowerReinterpretInt64() の周辺から始めてください。pass がメモリアドレス 0 をどのように扱うかを追跡し、multithreading、ASAN、STACK_OVERFLOW_CHECK、SAFE_HEAP に関する前提を検討してください。対象となる Wasm2JS ビルドでこれらの lowering が安全になれば作業完了です。

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

説明

In https://github.com/WebAssembly/binaryen/blob/fc00dcc64c337a8128fbf2b5fbdb40bb0aaa861b/src/passes/I64ToI32Lowering.cpp#L548-L584

there are assumptions made that are unsafe for multithreaded Wasm2JS builds. The memory address zero could be trashed by other threads when they are reinterpreted as float64/int64.

Also the Emscripten STACK_OVERFLOW_CHECK, ASAN and SAFE_HEAP checks place a cookie at address 0.

主要言語: 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

[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日に作成
Unicode string escape silently accepts any number of repeated 'u' characters, not just one オープン

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

objectionary/eo#8923 · 2026年9月23日に作成
user feedback: Rename `lam` to `lambda` and give the unit type a name オープン

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

argotorg/solcore#587 · 2026年9月23日に作成
`quote_keys` quotes private class member names, producing invalid output オープン

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

terser/terser#1743 · 2026年9月23日に作成
Coarray integration tests carry no LABELS, so run_tests.py silently skips them under every backend オープン

coarray

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

lfortran/lfortran#13405 · 2026年9月23日に作成

Compilers の issue をもっと見る