Add a couple more out-of-bounds data segment cases

WebAssembly · Sep 28, 2024 · 4c10619 · 4c10619
1 parent f713000
commit 4c10619
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/core/gc/array_new_data.wast b/test/core/gc/array_new_data.wast
@@ -17,6 +17,9 @@
 ;; Out-of-bounds data segment accesses.
 (assert_trap (invoke "array-new-data" (i32.const 0) (i32.const 5)) "out of bounds memory access")
 (assert_trap (invoke "array-new-data" (i32.const 5) (i32.const 0)) "out of bounds memory access")
+(assert_trap (invoke "array-new-data" (i32.const 1) (i32.const 4)) "out of bounds memory access")
+(assert_trap (invoke "array-new-data" (i32.const 4) (i32.const 1)) "out of bounds memory access")
+
 
 (module
   (type $arr (array (mut i8)))