Properly validate ref.cast when lacking a common supertype

src/wasm/wasm-validator.cpp

@@ -2780,6 +2780,21 @@ void FunctionValidator::visitRefCast(RefCast* curr) {
         curr->ref->type.isRef(), curr, "ref.cast ref must have ref type")) {
     return;
   }
+  // If the cast is unreachable but not the ref (we ruled out the former
+  // earlier), then the cast is unreachable because the cast type had no
+  // common supertype with the ref, which is invalid. This is the same as the
+  // check below us, but we must do it first (as getHeapType fails otherwise).
+  if (!shouldBeUnequal(
+        curr->type,
+        Type(Type::unreachable),
+        curr,
+        "ref.cast target type and ref type must have a common supertype")) {
+    return;
+  }
+  // Also error (more generically) on i32 and anything else invalid here.
+  if (!shouldBeTrue(curr->type.isRef(), curr, "ref.cast must have ref type")) {
+    return;
+  }
   shouldBeEqual(
     curr->type.getHeapType().getBottom(),
     curr->ref->type.getHeapType().getBottom(),

test/spec/ref_cast.wast

@@ -170,6 +170,16 @@
   "common supertype"
 )
 
+(assert_invalid
+  (module
+    (type $t0 (struct))
+    (func (export "test-ref-cast-extern") (result anyref)
+      (ref.cast (ref extern) (struct.new $t0))
+    )
+  )
+  "common supertype"
+)
+
 (assert_malformed
   (module quote "(func (ref.cast i32 (unreachable)))")
   "expected reftype"