From db6fa71e32e67c85af03e3dab482fbd35ffd1889 Mon Sep 17 00:00:00 2001
From: Alon Zakai <azakai@google.com>
Date: Fri, 26 Feb 2021 20:30:09 +0000
Subject: [Wasm GC] Add array.wast and validator fixes for it (#3622)

---
 src/wasm/wasm-validator.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/wasm/wasm-validator.cpp')

diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp
index 7e9c30c77..1a5894343 100644
--- a/src/wasm/wasm-validator.cpp
+++ b/src/wasm/wasm-validator.cpp
@@ -2491,6 +2491,7 @@ void FunctionValidator::visitArraySet(ArraySet* curr) {
                 element.type,
                 curr,
                 "array.set must have the proper type");
+  shouldBeTrue(element.mutable_, curr, "array.set type must be mutable");
 }
 
 void FunctionValidator::visitArrayLen(ArrayLen* curr) {
-- 
cgit v1.2.3