| ;;; TOOL: run-interp-spec |
| ;;; STDIN_FILE: third_party/testsuite/data.wast |
| (;; STDOUT ;;; |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [0, 1) >= max value 0 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [0, 1) >= max value 0 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [0, 1) >= max value 0 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [1, 1) >= max value 0 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [1, 1) >= max value 0 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [666, 667) >= max value 0 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [65536, 65537) >= max value 65536 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [65536, 65537) >= max value 65536 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [131072, 131073) >= max value 131072 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [131072, 131073) >= max value 131072 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [4294967295, 4294967296) >= max value 65536 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [4294967295, 4294967296) >= max value 65536 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [4294967196, 4294967197) >= max value 131072 |
| assert_unlinkable passed: out of bounds memory access: data segment is out of bounds: [4294967196, 4294967197) >= max value 65536 |
| out/test/spec/data.wast:283: assert_invalid passed: |
| 000000b: error: data section without memory section |
| out/test/spec/data.wast:292: assert_invalid passed: |
| 0000013: error: expected i32 init_expr |
| out/test/spec/data.wast:300: assert_invalid passed: |
| 0000014: error: expected END opcode after initializer expression |
| out/test/spec/data.wast:308: assert_invalid passed: |
| 0000012: error: unexpected opcode in initializer expression: 0x1 |
| out/test/spec/data.wast:316: assert_invalid passed: |
| 0000012: error: unexpected opcode in initializer expression: 0x1 |
| out/test/spec/data.wast:324: assert_invalid passed: |
| 0000014: error: expected END opcode after initializer expression |
| 20/20 tests passed. |
| ;;; STDOUT ;;) |
