diff options
| author | Ben Smith <binji@chromium.org> | 2020-12-03 21:24:11 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-03 21:24:11 -0800 |
| commit | 215279faaca0913b574dbc7c8e4d0ad7d0e5139b (patch) | |
| tree | 7f37c3f5612d01745ae52b88a3648c474c32053a /test/spec | |
| parent | f6a833f9b220786b18e083b01a117e679a33d8d0 (diff) | |
| download | wabt-215279faaca0913b574dbc7c8e4d0ad7d0e5139b.tar.gz wabt-215279faaca0913b574dbc7c8e4d0ad7d0e5139b.tar.bz2 wabt-215279faaca0913b574dbc7c8e4d0ad7d0e5139b.zip | |
Select instr. with multiple results is invalid (#1582)
The reference-types proposal adds a select instruction with a type
vector, but any number greater than 1 is invalid.
Fixes #1577.
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/reference-types/select.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/spec/reference-types/select.txt b/test/spec/reference-types/select.txt index 04973ee2..84e57e17 100644 --- a/test/spec/reference-types/select.txt +++ b/test/spec/reference-types/select.txt @@ -15,7 +15,8 @@ out/test/spec/reference-types/select.wast:346: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [i32] 000001c: error: OnSelectExpr callback failed out/test/spec/reference-types/select.wast:350: assert_invalid passed: - 0000025: error: invalid arity in select instrcution: 2 + error: invalid arity in select instruction: 2. + 0000027: error: OnSelectExpr callback failed out/test/spec/reference-types/select.wast:362: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [externref, externref, i32] 000001f: error: OnSelectExpr callback failed |