diff options
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 41088d5c8..18ec9072c 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1276,6 +1276,7 @@ def write_commands(commands, filename): opt_choices = [ (), ('-O1',), ('-O2',), ('-O3',), ('-O4',), ('-Os',), ('-Oz',), + ("--abstract-type-refining",), ("--cfp",), ("--coalesce-locals",), # XXX slow, non-default ("--coalesce-locals-learning",), @@ -1353,6 +1354,7 @@ requires_closed_world = {("--type-refining",), ("--signature-refining",), ("--gto",), ("--remove-unused-types",), + ("--abstract-type-refining",), ("--cfp",), ("--gsi",), ("--type-ssa",), |