diff options
author | Alon Zakai <azakai@google.com> | 2022-08-16 15:21:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-16 15:21:07 -0700 |
commit | e5d004062d965f7cc4a5ac14bf61379359b81ee4 (patch) | |
tree | 75309690bfd77eec2e85ab1f32e314159027803c | |
parent | 62924de6959bb6fe28c1dcb5b788104e05d5467f (diff) | |
download | binaryen-e5d004062d965f7cc4a5ac14bf61379359b81ee4.tar.gz binaryen-e5d004062d965f7cc4a5ac14bf61379359b81ee4.tar.bz2 binaryen-e5d004062d965f7cc4a5ac14bf61379359b81ee4.zip |
Fuzzer: When typed-function-references is disabled, disable GC too (#4908)
-rwxr-xr-x | scripts/fuzz_opt.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 63edb9879..bb73aeb6b 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1287,7 +1287,8 @@ print('POSSIBLE_FEATURE_OPTS:', POSSIBLE_FEATURE_OPTS) # some features depend on other features, so if a required feature is # disabled, its dependent features need to be disabled as well. IMPLIED_FEATURE_OPTS = { - '--disable-reference-types': ['--disable-gc'] + '--disable-reference-types': ['--disable-gc'], + '--disable-typed-function-references': ['--disable-gc'], } print(''' |