diff options
| author | Thomas Lively <tlively@google.com> | 2024-07-16 19:19:34 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-16 16:19:34 -0700 |
| commit | 6d2bef3ff80bb96455207852d506c5bf12a6a851 (patch) | |
| tree | ca7b4c0743a72083ce1fc15b6c0cdf44c8cd9b5c /scripts/fuzz_opt.py | |
| parent | d91f1c4ea8d4d8fc075fc868d6f7c05829003968 (diff) | |
| download | binaryen-6d2bef3ff80bb96455207852d506c5bf12a6a851.tar.gz binaryen-6d2bef3ff80bb96455207852d506c5bf12a6a851.tar.bz2 binaryen-6d2bef3ff80bb96455207852d506c5bf12a6a851.zip | |
[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.
Diffstat (limited to 'scripts/fuzz_opt.py')
| -rwxr-xr-x | scripts/fuzz_opt.py | 2 |
1 files changed, 2 insertions, 0 deletions
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', ] |