[wasm] Mutable globals cannot be imported

test/unittests/wasm/module-decoder-unittest.cc

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "test/unittests/test-utils.h"
 
 #include "src/handles.h"
 #include "src/objects-inl.h"
 #include "src/wasm/module-decoder.h"
 #include "src/wasm/wasm-macro-gen.h"
@@ skipping 876 matching lines @@
 TEST_F(WasmModuleVerifyTest, ImportTable_empty) {
   static const byte data[] = {SECTION(Type, 1), 0, SECTION(Import, 1), 0};
   EXPECT_VERIFIES(data);
 }
 
 TEST_F(WasmModuleVerifyTest, ImportTable_nosigs1) {
   static const byte data[] = {SECTION(Import, 1), 0};
   EXPECT_VERIFIES(data);
 }
 
+TEST_F(WasmModuleVerifyTest, ImportTable_mutable_global) {
+  {
+    static const byte data[] = {
+        SECTION(Import, 8),  // section header
+        1,                   // number of imports
+        NAME_LENGTH(1),      // --
+        'm',                 // module name
+        NAME_LENGTH(1),      // --
+        'f',                 // global name
+        kExternalGlobal,     // import kind
+        kLocalI32,           // type
+        0,                   // mutability
+    };
+    EXPECT_VERIFIES(data);
+  }
+  {
+    static const byte data[] = {
+        SECTION(Import, 8),  // section header
+        1,                   // sig table
+        NAME_LENGTH(1),      // --
+        'm',                 // module name
+        NAME_LENGTH(1),      // --
+        'f',                 // global name
+        kExternalGlobal,     // import kind
+        kLocalI32,           // type
+        1,                   // mutability
+    };
+    EXPECT_FAILURE(data);
+  }
+}
+
 TEST_F(WasmModuleVerifyTest, ImportTable_nosigs2) {
   static const byte data[] = {
       SECTION(Import, 6),  1,    // sig table
       NAME_LENGTH(1),      'm',  // module name
       NAME_LENGTH(1),      'f',  // function name
       kExternalFunction,         // import kind
       IMPORT_SIG_INDEX(0),       // sig index
   };
   EXPECT_FAILURE(data);
 }
@@ skipping 397 matching lines @@
       SECTION(Unknown, 4), 1, 'X', 17,  18,                      // --
       SECTION(Unknown, 9), 3, 'f', 'o', 'o', 5,   6,   7, 8, 9,  // --
       SECTION(Unknown, 8), 5, 'o', 't', 'h', 'e', 'r', 7, 8,     // --
   };
   EXPECT_VERIFIES(data);
 }
 
 }  // namespace wasm
 }  // namespace internal
 }  // namespace v8