summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/fuzz_opt.py7
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py
index 6f184d6aa..337ac3440 100755
--- a/scripts/fuzz_opt.py
+++ b/scripts/fuzz_opt.py
@@ -351,7 +351,12 @@ def fix_spec_output(out):
def run_vm(cmd):
# ignore some vm assertions, if bugs have already been filed
known_issues = [
- 'local count too large', # ignore this; can be caused by flatten, ssa, etc. passes
+ # can be caused by flatten, ssa, etc. passes
+ 'local count too large',
+ # https://github.com/WebAssembly/binaryen/issues/3767
+ # note that this text is a little too broad, but the problem is rare
+ # enough that it's unlikely to hide an unrelated issue
+ 'found br_if of type',
]
try:
return run(cmd)