From f0e0b54df644f41bfa2dfe22a9e9b15c504faffe Mon Sep 17 00:00:00 2001 From: hlorenzi Date: Sat, 7 Oct 2023 18:59:27 -0300 Subject: [PATCH] fix `--debug-no-optimize` command-line options --- src/driver.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/driver.rs b/src/driver.rs index 6df7f106..e921f429 100644 --- a/src/driver.rs +++ b/src/driver.rs @@ -355,10 +355,10 @@ fn parse_command( command.opts.debug_iterations |= parsed.opt_present("debug-iters"); - command.opts.optimize_statically_known |= + command.opts.optimize_statically_known &= !parsed.opt_present("debug-no-optimize-static"); - command.opts.optimize_instruction_matching |= + command.opts.optimize_instruction_matching &= !parsed.opt_present("debug-no-optimize-matcher"); if parsed.opt_present("color")