[GC] Validate that struct.set is to a mutable field. (#3473)

This required a few test fixes, to ensure we don't have invalid wasts with
writes to immutable fields.

1 files changed, 4 insertions, 1 deletions

diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp
index 06f77b093..bf6e121bf 100644
--- a/src/wasm/wasm-validator.cpp
+++ b/src/wasm/wasm-validator.cpp
@@ -2336,10 +2336,13 @@ void FunctionValidator::visitStructSet(StructSet* curr) {
   if (curr->ref->type != Type::unreachable) {
     const auto& fields = curr->ref->type.getHeapType().getStruct().fields;
     shouldBeTrue(curr->index < fields.size(), curr, "bad struct.get field");
+    auto& field = fields[curr->index];
     shouldBeEqual(curr->value->type,
-                  fields[curr->index].type,
+                  field.type,
                   curr,
                   "struct.set must have the proper type");
+    shouldBeEqual(
+      field.mutable_, Mutable, curr, "struct.set field must be mutable");
   }
 }