From 528f4c22e5b297c299b55f4a7939ca974c82eb7a Mon Sep 17 00:00:00 2001 From: Federico Poli Date: Wed, 6 Mar 2024 11:13:12 +0100 Subject: [PATCH] Disable MIR optimizations in tests (#1507) --- prusti-tests/tests/compiletest.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/prusti-tests/tests/compiletest.rs b/prusti-tests/tests/compiletest.rs index c1dafc5a37b..fd28cd57bc3 100644 --- a/prusti-tests/tests/compiletest.rs +++ b/prusti-tests/tests/compiletest.rs @@ -83,7 +83,11 @@ fn run_prusti_tests(group_name: &str, filter: &Option, rustc_flags: Opti } // Add compilation flags - config.target_rustcflags = Some(format!("--edition=2018 {}", rustc_flags.unwrap_or(""))); + // mir-opt-level=0 disables MIR optimizations (e.g., const propagation) that might hide bugs. + config.target_rustcflags = Some(format!( + "--edition=2018 -Z mir-opt-level=0 {}", + rustc_flags.unwrap_or("") + )); let path: PathBuf = ["tests", group_name, "ui"].iter().collect(); if path.exists() {