diff options
| author | Ben Smith <binji@chromium.org> | 2020-07-15 16:39:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-15 16:39:52 -0700 |
| commit | bd52b8845aa8dcbecc8fc14d77a2bd4e64ad6e75 (patch) | |
| tree | 1cff008fdeeff4f4a2a7aa703a19d0910fa1b72b /src/wast-parser.cc | |
| parent | 3041d94d21c82c5a31d1d003bfacbcf2fc28b573 (diff) | |
| download | wabt-bd52b8845aa8dcbecc8fc14d77a2bd4e64ad6e75.tar.gz wabt-bd52b8845aa8dcbecc8fc14d77a2bd4e64ad6e75.tar.bz2 wabt-bd52b8845aa8dcbecc8fc14d77a2bd4e64ad6e75.zip | |
Remove ref.is_null type parameter (#1474)
See https://github.com/WebAssembly/reference-types/issues/99.
This change also updates the testsuite, so the spec tests pass too.
In addition, the behavior of `br_table` is no longer different from MVP,
and has a text to confirm this. That is now fixed in `type-checker.cc`
too.
Diffstat (limited to 'src/wast-parser.cc')
| -rw-r--r-- | src/wast-parser.cc | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/wast-parser.cc b/src/wast-parser.cc index 90d92f87..c3ed9d28 100644 --- a/src/wast-parser.cc +++ b/src/wast-parser.cc @@ -1996,13 +1996,10 @@ Result WastParser::ParsePlainInstr(std::unique_ptr<Expr>* out_expr) { break; } - case TokenType::RefIsNull: { + case TokenType::RefIsNull: ErrorUnlessOpcodeEnabled(Consume()); - Type type; - CHECK_RESULT(ParseRefKind(&type)); - out_expr->reset(new RefIsNullExpr(type, loc)); + out_expr->reset(new RefIsNullExpr(loc)); break; - } case TokenType::Throw: ErrorUnlessOpcodeEnabled(Consume()); |