Stream: git-wasmtime

Topic: wasmtime / issue #8067 Parsing error of `.wat` format wit...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 08 2024 at 07:10):

f52985 added the bug label to Issue #8067.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 08 2024 at 07:10):

f52985 opened issue #8067:

There seem to be a bug at parsing a .wat format file for this corner-case exmaple.

Test Case

;; sample.wat
(module
  (data)
)

Steps to Reproduce

$ wasmtime sample.wat

Expected Results

Parsed normally, and wasmtime terminates normally (confirmed by the reference interpreter and wat2wasm)

Actual Results

Parsing fail:

Error: expected `(`
     --> sample.wat:2:8
      |
    2 |   (data)
      |        ^

Versions and Environment

Wasmtime version or commit: wasmtime-cli 18.0.0 (446a7f5e0 2024-01-08)

Operating system: macOS 12.6.3

Architecture: x86_64

Extra Info

The following test case is parsed normally:

;; sample.wat
(module
  (data "")
)

view this post on Zulip Wasmtime GitHub notifications bot (Mar 08 2024 at 12:46):

sunfishcode transferred issue #8067:

There seem to be a bug at parsing a .wat format file for this corner-case exmaple.

Test Case

;; sample.wat
(module
  (data)
)

Steps to Reproduce

$ wasmtime sample.wat

Expected Results

Parsed normally, and wasmtime terminates normally (confirmed by the reference interpreter and wat2wasm)

Actual Results

Parsing fail:

Error: expected `(`
     --> sample.wat:2:8
      |
    2 |   (data)
      |        ^

Versions and Environment

Wasmtime version or commit: wasmtime-cli 18.0.0 (446a7f5e0 2024-01-08)

Operating system: macOS 12.6.3

Architecture: x86_64

Extra Info

The following test case is parsed normally:

;; sample.wat
(module
  (data "")
)

Last updated: Dec 23 2024 at 12:05 UTC