Stream: git-wasmtime

Topic: wasmtime / issue #5445 Panic compiling a memory operation...


view this post on Zulip Wasmtime GitHub notifications bot (Dec 15 2022 at 15:36):

alexcrichton opened issue #5445:

This input module:

(module
  (func
    (local i32 i64)
    local.get 0
    i64.load8_s offset=2147483631
    local.set 1
  )
  (memory  1 1)
)

will fail to compile with:

$ cargo run compile testcase0.wat --fuel 0 --static-memory-maximum-size 538976288
...
thread '<unnamed>' panicked at 'assertion failed: `(left == right)`
  left: `2`,
 right: `0`', crates/cranelift/src/func_environ.rs:388:13
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

cc @fitzgen as bisection shows that this was a regression from https://github.com/bytecodealliance/wasmtime/pull/5386

view this post on Zulip Wasmtime GitHub notifications bot (Dec 15 2022 at 15:36):

alexcrichton labeled issue #5445:

This input module:

(module
  (func
    (local i32 i64)
    local.get 0
    i64.load8_s offset=2147483631
    local.set 1
  )
  (memory  1 1)
)

will fail to compile with:

$ cargo run compile testcase0.wat --fuel 0 --static-memory-maximum-size 538976288
...
thread '<unnamed>' panicked at 'assertion failed: `(left == right)`
  left: `2`,
 right: `0`', crates/cranelift/src/func_environ.rs:388:13
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

cc @fitzgen as bisection shows that this was a regression from https://github.com/bytecodealliance/wasmtime/pull/5386

view this post on Zulip Wasmtime GitHub notifications bot (Dec 15 2022 at 16:12):

fitzgen commented on issue #5445:

Thanks! Looking into it.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 15 2022 at 20:18):

fitzgen closed issue #5445:

This input module:

(module
  (func
    (local i32 i64)
    local.get 0
    i64.load8_s offset=2147483631
    local.set 1
  )
  (memory  1 1)
)

will fail to compile with:

$ cargo run compile testcase0.wat --fuel 0 --static-memory-maximum-size 538976288
...
thread '<unnamed>' panicked at 'assertion failed: `(left == right)`
  left: `2`,
 right: `0`', crates/cranelift/src/func_environ.rs:388:13
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

cc @fitzgen as bisection shows that this was a regression from https://github.com/bytecodealliance/wasmtime/pull/5386


Last updated: Nov 22 2024 at 17:03 UTC