summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2022-08-16 15:21:07 -0700
committerGitHub <noreply@github.com>2022-08-16 15:21:07 -0700
commite5d004062d965f7cc4a5ac14bf61379359b81ee4 (patch)
tree75309690bfd77eec2e85ab1f32e314159027803c
parent62924de6959bb6fe28c1dcb5b788104e05d5467f (diff)
downloadbinaryen-e5d004062d965f7cc4a5ac14bf61379359b81ee4.tar.gz
binaryen-e5d004062d965f7cc4a5ac14bf61379359b81ee4.tar.bz2
binaryen-e5d004062d965f7cc4a5ac14bf61379359b81ee4.zip
Fuzzer: When typed-function-references is disabled, disable GC too (#4908)
-rwxr-xr-xscripts/fuzz_opt.py3
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('''