Stream: git-wasmtime

Topic: wasmtime / issue #15053 Cranelift: Alias analysis panic w...

Wasmtime GitHub notifications bot (Oct 28 2026 at 21:46):

alexcrichton opened issue #15053:

This input:

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
}

yields:

$ 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

cc @fitzgen

Wasmtime GitHub notifications bot (Oct 28 2026 at 21:46):

alexcrichton added the bug label to Issue #15053.

Wasmtime GitHub notifications bot (Oct 28 2026 at 21:46):

alexcrichton added the cranelift label to Issue #15053.

Wasmtime GitHub notifications bot (Oct 28 2026 at 22:39):

fitzgen assigned fitzgen to issue #15053.

Wasmtime GitHub notifications bot (Oct 30 2026 at 01:36):

cfallin closed issue #15053:

This input:

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
}

yields:

$ 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

cc @fitzgen

Last updated: Oct 31 2026 at 23:03 UTC