Add a test for malformed mutability in array types

dhil · May 23, 2023 · 05c53e5 · 05c53e5
1 parent 25c042b
commit 05c53e5
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/test/core/gc/binary-gc.wast b/test/core/gc/binary-gc.wast
@@ -0,0 +1,12 @@
+(assert_malformed
+  (module binary
+    "\00asm" "\01\00\00\00"
+    "\01"                     ;; Type section id
+    "\05"                     ;; Type section length
+    "\01"                     ;; Types vector length
+    "\5e"                     ;; Array type, -0x22
+    "\7a"                     ;; Storage type: i8 or -0x06
+    "\02"                     ;; Mutability, should be 0 or 1, but isn't
+  )
+  "malformed mutability"
+)