Stream: git-wasmtime

Topic: wasmtime / issue #10467 GC: array.fill not filling the array

Wasmtime GitHub notifications bot (Mar 25 2025 at 17:05):

vouillon added the bug label to Issue #10467.

Wasmtime GitHub notifications bot (Mar 25 2025 at 17:05):

vouillon opened issue #10467:

I expect this module to execute without failure.
But the unreachable instruction is reached.

(module
  (type $string (array (mut i8)))
  (export "_start" (func $f))
  (func $f
    (local $s (ref $string))
    (local.set $s (array.new_default $string (i32.const 1)))
    (array.fill $string
      (local.get $s) (i32.const 0) (i32.const 32) (i32.const 1))
    (if (i32.ne (array.get_u $string (local.get $s) (i32.const 0))  (i32.const 32))
      (then
        (unreachable))))
)

Tested with efb4e4c09f4838506f0ea2d8376a6326af3a6d59.

Wasmtime GitHub notifications bot (Mar 25 2025 at 17:22):

alexcrichton assigned fitzgen to issue #10467.

Wasmtime GitHub notifications bot (Mar 25 2025 at 17:22):

alexcrichton added the wasm-proposal:gc label to Issue #10467.

Wasmtime GitHub notifications bot (Mar 25 2025 at 20:04):

fitzgen commented on issue #10467:

Thanks for another bug report! Fix in https://github.com/bytecodealliance/wasmtime/pull/10470

Wasmtime GitHub notifications bot (Mar 26 2025 at 14:54):

alexcrichton closed issue #10467:

I expect this module to execute without failure.
But the unreachable instruction is reached.

(module
  (type $string (array (mut i8)))
  (export "_start" (func $f))
  (func $f
    (local $s (ref $string))
    (local.set $s (array.new_default $string (i32.const 1)))
    (array.fill $string
      (local.get $s) (i32.const 0) (i32.const 32) (i32.const 1))
    (if (i32.ne (array.get_u $string (local.get $s) (i32.const 0))  (i32.const 32))
      (then
        (unreachable))))
)

Tested with efb4e4c09f4838506f0ea2d8376a6326af3a6d59.

Last updated: Apr 16 2025 at 21:03 UTC