From 6d2bef3ff80bb96455207852d506c5bf12a6a851 Mon Sep 17 00:00:00 2001
From: Thomas Lively <tlively@google.com>
Date: Tue, 16 Jul 2024 19:19:34 -0400
Subject: [threads] Validate all features required by ref.null (#6757)
`ref.null` of shared types should only be allowed when shared-everything
is enabled, but we were previously checking only that reference types
were enabled when validating `ref.null`. Update the code to check all
features required by the null type and factor out shared logic for
printing lists of missing feature options in error messages.
---
scripts/fuzz_opt.py | 2 ++
1 file changed, 2 insertions(+)
(limited to 'scripts/fuzz_opt.py')
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py
index c6a68e85c..f4b64f44c 100755
--- a/scripts/fuzz_opt.py
+++ b/scripts/fuzz_opt.py
@@ -357,6 +357,8 @@ INITIAL_CONTENTS_IGNORE = [
'shared-struct.wast',
'shared-array.wast',
'shared-i31.wast',
+ 'shared-null.wast',
+ 'shared-absheaptype.wast',
'type-ssa-shared.wast',
]
--
cgit v1.2.3