[GC] Add dataref type (#3500)

This is not 100% of everything, but is enough to get tests passing, which
includes full binary and text format support, getting all switches to compile
without error, and some additions to InstrumentLocals.

1 files changed, 3 insertions, 1 deletions

diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp
index 1557240bb..cc8a2bb56 100644
--- a/src/wasm/wasm-validator.cpp
+++ b/src/wasm/wasm-validator.cpp
@@ -1398,6 +1398,7 @@ void FunctionValidator::validateMemBytes(uint8_t bytes,
     case Type::exnref:
     case Type::anyref:
     case Type::eqref:
+    case Type::dataref:
     case Type::i31ref:
     case Type::none:
       WASM_UNREACHABLE("unexpected type");
@@ -2447,7 +2448,7 @@ void FunctionValidator::visitFunction(Function* curr) {
   }
   for (const auto& var : curr->vars) {
     features |= var.getFeatures();
-    shouldBeTrue(var.isDefaultable(), curr, "vars must be defaultable");
+    shouldBeTrue(var.isDefaultable(), var, "vars must be defaultable");
   }
   shouldBeTrue(features <= getModule()->features,
                curr->name,
@@ -2544,6 +2545,7 @@ void FunctionValidator::validateAlignment(
     case Type::exnref:
     case Type::anyref:
     case Type::eqref:
+    case Type::dataref:
     case Type::i31ref:
     case Type::none:
       WASM_UNREACHABLE("invalid type");