summaryrefslogtreecommitdiff
path: root/src/tools
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2022-03-30 15:54:44 -0700
committerGitHub <noreply@github.com>2022-03-30 15:54:44 -0700
commite7c4f9da6d4a98f58b6320b5769f653a6bf26d3e (patch)
tree917176abd4f7913cb831ca0567d597ea817c377e /src/tools
parent247f4c20a1eea63ebe77c64e1681081b5b5de302 (diff)
downloadbinaryen-e7c4f9da6d4a98f58b6320b5769f653a6bf26d3e.tar.gz
binaryen-e7c4f9da6d4a98f58b6320b5769f653a6bf26d3e.tar.bz2
binaryen-e7c4f9da6d4a98f58b6320b5769f653a6bf26d3e.zip
[Wasm GC] Fix non-nullable tuples (#4555)
Apply the same logic to tuple fields as we do for all other fields, when checking whether a non-nullable value is valid. Fixes #4554
Diffstat (limited to 'src/tools')
-rw-r--r--src/tools/wasm-shell.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp
index 0de93c69e..2d0fbf14c 100644
--- a/src/tools/wasm-shell.cpp
+++ b/src/tools/wasm-shell.cpp
@@ -134,7 +134,7 @@ protected:
lastModule = module->name;
builders[moduleName] = builder;
modules[moduleName].swap(module);
- modules[moduleName]->features = FeatureSet::All;
+ modules[moduleName]->features.setAll();
bool valid = WasmValidator().validate(*modules[moduleName]);
if (!valid) {
std::cout << *modules[moduleName] << '\n';
@@ -237,7 +237,7 @@ protected:
void parseModuleAssertion(Element& s) {
Module wasm;
- wasm.features = FeatureSet::All;
+ wasm.features.setAll();
std::unique_ptr<SExpressionWasmBuilder> builder;
auto id = s[0]->str();
@@ -358,7 +358,7 @@ protected:
"memory", spectest->memory.name, ExternalKind::Memory));
modules["spectest"].swap(spectest);
- modules["spectest"]->features = FeatureSet::All;
+ modules["spectest"]->features.setAll();
instantiate(modules["spectest"].get());
linkedInstances["spectest"] = instances["spectest"];
// print_* functions are handled separately, no need to define here.