Skip to content

[test] Unify error messages in memory64/bulk64 #2045

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
q82419 wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[test] Unify error messages in memory64/bulk64 #2045

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions test/core/memory64/bulk64.wast
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@
;; Writing 0 bytes outside of memory limit is NOT allowed.
(assert_trap
(invoke "fill" (i64.const 0x10001) (i32.const 0) (i64.const 0))
"out of bounds")
"out of bounds memory access")

;; memory.copy
(module
Expand Down Expand Up @@ -88,7 +88,7 @@
;; Overlap, source < dest but size is out of bounds
(assert_trap
(invoke "copy" (i64.const 13) (i64.const 11) (i64.const -1))
"out of bounds")
"out of bounds memory access")
(assert_return (invoke "load8_u" (i64.const 10)) (i32.const 0))
(assert_return (invoke "load8_u" (i64.const 11)) (i32.const 0xaa))
(assert_return (invoke "load8_u" (i64.const 12)) (i32.const 0xbb))
Expand All @@ -108,10 +108,10 @@
;; Copying 0 bytes outside of memory limit is NOT allowed.
(assert_trap
(invoke "copy" (i64.const 0x10001) (i64.const 0) (i64.const 0))
"out of bounds")
"out of bounds memory access")
(assert_trap
(invoke "copy" (i64.const 0) (i64.const 0x10001) (i64.const 0))
"out of bounds")
"out of bounds memory access")

;; memory.init
(module
Expand All @@ -138,7 +138,7 @@

;; Out-of-bounds writes trap, and no partial writes has been made.
(assert_trap (invoke "init" (i64.const 0xfffe) (i32.const 0) (i32.const 3))
"out of bounds")
"out of bounds memory access")
(assert_return (invoke "load8_u" (i64.const 0xfffe)) (i32.const 0xcc))
(assert_return (invoke "load8_u" (i64.const 0xffff)) (i32.const 0xdd))

Expand All @@ -149,10 +149,10 @@
;; Writing 0 bytes outside of memory / segment limit is NOT allowed.
(assert_trap
(invoke "init" (i64.const 0x10001) (i32.const 0) (i32.const 0))
"out of bounds")
"out of bounds memory access")
(assert_trap
(invoke "init" (i64.const 0) (i32.const 5) (i32.const 0))
"out of bounds")
"out of bounds memory access")

;; OK to access 0 bytes at offset 0 in a dropped segment.
(invoke "init" (i64.const 0) (i32.const 0) (i32.const 0))
Expand Down