diff options
| author | Sam Clegg <sbc@chromium.org> | 2021-10-18 11:54:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-18 11:54:59 -0700 |
| commit | 61be173f4b4754cf6e46408a6fd21e175fc8eb7c (patch) | |
| tree | 49728637adcda20550279cd6390613501ccefeb4 /src/type-checker.cc | |
| parent | 669d32b09920c41bec6a4524c0f2c371483ad12c (diff) | |
| download | wabt-61be173f4b4754cf6e46408a6fd21e175fc8eb7c.tar.gz wabt-61be173f4b4754cf6e46408a6fd21e175fc8eb7c.tar.bz2 wabt-61be173f4b4754cf6e46408a6fd21e175fc8eb7c.zip | |
Update testsuite (#1738)
bulk-memory-operations and reference-types were completely
removed from the upstream testsuite becuase there were
merged into the upstream spec:
https://github.com/WebAssembly/testsuite/pull/44
In order to land this I had to disable several spec tests
under wasm2c because it lacks support for mutli-table and
reference types. I filed #1737 to track this.
Diffstat (limited to 'src/type-checker.cc')
| -rw-r--r-- | src/type-checker.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/type-checker.cc b/src/type-checker.cc index 3e875a31..9453dee2 100644 --- a/src/type-checker.cc +++ b/src/type-checker.cc @@ -492,7 +492,7 @@ Result TypeChecker::OnCallIndirect(const TypeVector& param_types, Result TypeChecker::OnFuncRef(Index* out_index) { Type type; Result result = PeekType(0, &type); - if (!type.IsIndex()) { + if (!(type == Type::Any || type.IsIndex())) { TypeVector actual; if (Succeeded(result)) { actual.push_back(type); @@ -766,7 +766,7 @@ Result TypeChecker::OnRefNullExpr(Type type) { Result TypeChecker::OnRefIsNullExpr() { Type type; Result result = PeekType(0, &type); - if (!type.IsRef()) { + if (!(type == Type::Any || type.IsRef())) { TypeVector actual; if (Succeeded(result)) { actual.push_back(type); |