Stream: git-wasmtime

Topic: wasmtime / issue #13365 Invalid CLIF generated from condi...

Wasmtime GitHub notifications bot (May 14 2026 at 13:32):

alexcrichton opened issue #13365:

This input, fuzz generated, fails with:

$ cargo run test ../out.clif
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.12s
     Running `/home/alex/code/wasmtime/target/debug/clif-util test ../out.clif`
[2026-05-14T13:31:21Z ERROR cranelift_filetests::concurrent] FAIL: Compilation error: Verifier errors
FAIL ../out.clif: Compilation error: Verifier errors

Caused by:
    0: Verifier errors
    1: - inst334: invalid block reference block12

1 tests
Error: 1 failure

Bisection shows #13267 as the culprit (cc @fitzgen)

Wasmtime GitHub notifications bot (May 14 2026 at 13:32):

alexcrichton added the fuzz-bug label to Issue #13365.

Wasmtime GitHub notifications bot (May 14 2026 at 13:32):

alexcrichton added the cranelift label to Issue #13365.

Wasmtime GitHub notifications bot (May 14 2026 at 16:17):

fitzgen assigned fitzgen to issue #13365.

Wasmtime GitHub notifications bot (May 18 2026 at 18:33):

cfallin closed issue #13365:

This input, fuzz generated, fails with:

$ cargo run test ../out.clif
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.12s
     Running `/home/alex/code/wasmtime/target/debug/clif-util test ../out.clif`
[2026-05-14T13:31:21Z ERROR cranelift_filetests::concurrent] FAIL: Compilation error: Verifier errors
FAIL ../out.clif: Compilation error: Verifier errors

Caused by:
    0: Verifier errors
    1: - inst334: invalid block reference block12

1 tests
Error: 1 failure

Bisection shows #13267 as the culprit (cc @fitzgen)

Wasmtime GitHub notifications bot (May 27 2026 at 13:34):

alexcrichton reopened issue #13365:

This input, fuzz generated, fails with:

$ cargo run test ../out.clif
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.12s
     Running `/home/alex/code/wasmtime/target/debug/clif-util test ../out.clif`
[2026-05-14T13:31:21Z ERROR cranelift_filetests::concurrent] FAIL: Compilation error: Verifier errors
FAIL ../out.clif: Compilation error: Verifier errors

Caused by:
    0: Verifier errors
    1: - inst334: invalid block reference block12

1 tests
Error: 1 failure

Bisection shows #13267 as the culprit (cc @fitzgen)

Wasmtime GitHub notifications bot (May 27 2026 at 13:34):

alexcrichton commented on issue #13365:

The oss-fuzz origin bug didn't get closed out, perhaps because there's a different test case? The currently failing reproduction is: input.txt

cc @fitzgen

Wasmtime GitHub notifications bot (May 29 2026 at 20:02):

cfallin closed issue #13365:

This input, fuzz generated, fails with:

$ cargo run test ../out.clif
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.12s
     Running `/home/alex/code/wasmtime/target/debug/clif-util test ../out.clif`
[2026-05-14T13:31:21Z ERROR cranelift_filetests::concurrent] FAIL: Compilation error: Verifier errors
FAIL ../out.clif: Compilation error: Verifier errors

Caused by:
    0: Verifier errors
    1: - inst334: invalid block reference block12

1 tests
Error: 1 failure

Bisection shows #13267 as the culprit (cc @fitzgen)

Last updated: Jun 01 2026 at 09:49 UTC