|
39 | 39 | ;; Writing 0 bytes outside of memory limit is NOT allowed. |
40 | 40 | (assert_trap |
41 | 41 | (invoke "fill" (i64.const 0x10001) (i32.const 0) (i64.const 0)) |
42 | | - "out of bounds") |
| 42 | + "out of bounds memory access") |
43 | 43 |
|
44 | 44 | ;; memory.copy |
45 | 45 | (module |
|
88 | 88 | ;; Overlap, source < dest but size is out of bounds |
89 | 89 | (assert_trap |
90 | 90 | (invoke "copy" (i64.const 13) (i64.const 11) (i64.const -1)) |
91 | | - "out of bounds") |
| 91 | + "out of bounds memory access") |
92 | 92 | (assert_return (invoke "load8_u" (i64.const 10)) (i32.const 0)) |
93 | 93 | (assert_return (invoke "load8_u" (i64.const 11)) (i32.const 0xaa)) |
94 | 94 | (assert_return (invoke "load8_u" (i64.const 12)) (i32.const 0xbb)) |
|
108 | 108 | ;; Copying 0 bytes outside of memory limit is NOT allowed. |
109 | 109 | (assert_trap |
110 | 110 | (invoke "copy" (i64.const 0x10001) (i64.const 0) (i64.const 0)) |
111 | | - "out of bounds") |
| 111 | + "out of bounds memory access") |
112 | 112 | (assert_trap |
113 | 113 | (invoke "copy" (i64.const 0) (i64.const 0x10001) (i64.const 0)) |
114 | | - "out of bounds") |
| 114 | + "out of bounds memory access") |
115 | 115 |
|
116 | 116 | ;; memory.init |
117 | 117 | (module |
|
138 | 138 |
|
139 | 139 | ;; Out-of-bounds writes trap, and no partial writes has been made. |
140 | 140 | (assert_trap (invoke "init" (i64.const 0xfffe) (i32.const 0) (i32.const 3)) |
141 | | - "out of bounds") |
| 141 | + "out of bounds memory access") |
142 | 142 | (assert_return (invoke "load8_u" (i64.const 0xfffe)) (i32.const 0xcc)) |
143 | 143 | (assert_return (invoke "load8_u" (i64.const 0xffff)) (i32.const 0xdd)) |
144 | 144 |
|
|
149 | 149 | ;; Writing 0 bytes outside of memory / segment limit is NOT allowed. |
150 | 150 | (assert_trap |
151 | 151 | (invoke "init" (i64.const 0x10001) (i32.const 0) (i32.const 0)) |
152 | | - "out of bounds") |
| 152 | + "out of bounds memory access") |
153 | 153 | (assert_trap |
154 | 154 | (invoke "init" (i64.const 0) (i32.const 5) (i32.const 0)) |
155 | | - "out of bounds") |
| 155 | + "out of bounds memory access") |
156 | 156 |
|
157 | 157 | ;; OK to access 0 bytes at offset 0 in a dropped segment. |
158 | 158 | (invoke "init" (i64.const 0) (i32.const 0) (i32.const 0)) |
|
0 commit comments