From 45f6bdd4b2f694513aaed8b785bda422f0067a0d Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Thu, 20 Jun 2024 09:58:18 -0700 Subject: Validate memarg offsets (#6683) For 32-bit memories, the offset value must be in the u32 range. Update the address.wast spec test to assert that a module with an overlarge offset value is invalid rather than malformed. --- test/spec/address.wast | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/spec') diff --git a/test/spec/address.wast b/test/spec/address.wast index e071cca50..212b7a85a 100644 --- a/test/spec/address.wast +++ b/test/spec/address.wast @@ -203,7 +203,7 @@ (assert_trap (invoke "16s_bad" (i32.const 1)) "out of bounds memory access") (assert_trap (invoke "32_bad" (i32.const 1)) "out of bounds memory access") -(assert_malformed +(assert_invalid (module quote "(memory 1)" "(func (drop (i32.load offset=4294967296 (i32.const 0))))" -- cgit v1.2.3