Cranelift: Alias analysis panic with `compute_observed_stores`

メンテナーはふだん 1 日以内に返信

評価

この issue はまだ評価されていません。

説明

test optimize
set opt_level=speed
target x86_64

function %f(i64) {
    region0 = 1 "heap"
    fn0 = %g()

block0(v0: i64):
    atomic_store region0 v0, v0
    atomic_store notrap region0 v0, v0
    store notrap region0 v0, v0
    call fn0()
    return
}

$ cargo run -p cranelift-tools test foo.clif
   Compiling cranelift-tools v0.0.0 (/home/alex/code/wasmtime/cranelift)
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.65s
     Running `target/debug/clif-util test foo.clif`

thread 'worker #3' (3528945) panicked at cranelift/codegen/src/alias_analysis.rs:1622:17:
`compute_observed_stores` should have already found all observed stores, but processing inst2 found that inst0 is observed
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
[2026-10-28T21:24:52Z ERROR cranelift_filetests::concurrent] FAIL: panicked in worker #3: `compute_observed_stores` should have already found all observed stores, but processing inst2 found that inst0 is observed
FAIL foo.clif: panicked in worker #3: `compute_observed_stores` should have already found all observed stores, but processing inst2 found that inst0 is observed
1 tests
Error: 1 failure

環境構築

はじめの一歩

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

bytecodealliance/wasmtime のほかの issue

• Exception Reference Global Panics Coredump Serialization

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug wasm-proposal:exceptions wasmtime:debugging

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

  bytecodealliance/wasmtime#14102 · 2026年8月10日 に作成

  メンテナーはふだん 1 日以内に返信

• Copying gc in error reports uses x2 of the requested memory, which could mislead

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  wasm-proposal:gc

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

  bytecodealliance/wasmtime#13808 · コメント 2 件 · 2026年7月2日 に作成

  メンテナーはふだん 1 日以内に返信

• Element segment expressions are evaluated interleaved with table writes during instantiation

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

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

  bytecodealliance/wasmtime#15036 · 2026年10月27日 に作成

  メンテナーはふだん 1 日以内に返信

• wasi-http: Guest provided trailers can be lost

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug wasi-http

  難易度 3/5 1〜2日 初心者へのやさしさ 32/100

  bytecodealliance/wasmtime#15026 · コメント 1 件 · 2026年10月27日 に作成

  メンテナーはふだん 1 日以内に返信

• Proposal to rework `MemoryCreator` and remove internal types.

  対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  wasmtime:api

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

  bytecodealliance/wasmtime#14989 · コメント 3 件 · 2026年10月25日 に作成

  メンテナーはふだん 1 日以内に返信

bytecodealliance/wasmtime の issue をすべて見る

似ている issue

• thread pool - a bounded shutdown forgets the workers it left behind

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  FalkorDB/FalkorDB#3597 · コメント 1 件 · 2026年10月29日 に作成

  メンテナーはふだん 2 日以内に返信

• A render failure is hidden from `spawn`/`status` output, and the retry hint names a nonexistent `prepare`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  Spheroman/newgit#262 · 2026年10月29日 に作成

  メンテナーはふだん 1 日以内に返信

• The anchors of the links generated by the `{{svginfo}}` macro are not localized

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  needs triage

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

  mdn/rari#1009 · 2026年10月29日 に作成

  メンテナーはふだん 1 日以内に返信

• add a way to get the callee regardless of if it's a function, indirect, matches type, etc.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  TheDan64/inkwell#731 · 2026年10月29日 に作成

• [MySQL] Batch updates do not update bso sortindex

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  mozilla-services/syncstorage-rs#2715 · 2026年10月29日 に作成

  メンテナーはふだん 1 日以内に返信

Rust の issue をもっと見る