summaryrefslogtreecommitdiff
path: root/src/wasm/wasm-validator.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
-rw-r--r--src/wasm/wasm-validator.cpp12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp
index a491fb951..9732f54a9 100644
--- a/src/wasm/wasm-validator.cpp
+++ b/src/wasm/wasm-validator.cpp
@@ -2215,30 +2215,30 @@ void FunctionValidator::visitRefAs(RefAs* curr) {
default:
// TODO: validate all the other ref.as_*
break;
- case ExternInternalize: {
+ case AnyConvertExtern: {
shouldBeTrue(getModule()->features.hasGC(),
curr,
- "extern.internalize requries GC [--enable-gc]");
+ "any.convert_extern requries GC [--enable-gc]");
if (curr->type == Type::unreachable) {
return;
}
shouldBeSubType(curr->value->type,
Type(HeapType::ext, Nullable),
curr->value,
- "extern.internalize value should be an externref");
+ "any.convert_extern value should be an externref");
break;
}
- case ExternExternalize: {
+ case ExternConvertAny: {
shouldBeTrue(getModule()->features.hasGC(),
curr,
- "extern.externalize requries GC [--enable-gc]");
+ "extern.convert_any requries GC [--enable-gc]");
if (curr->type == Type::unreachable) {
return;
}
shouldBeSubType(curr->value->type,
Type(HeapType::any, Nullable),
curr->value,
- "extern.externalize value should be an anyref");
+ "extern.convert_any value should be an anyref");
break;
}
}