rewrite and rename issue-46239

rust-lang · May 17, 2024 · 46091b0 · 46091b0
1 parent ddba1dc
commit 46091b0
Show file tree

Hide file tree

Showing 5 changed files with 20 additions and 7 deletions.
diff --git a/src/tools/run-make-support/src/rustc.rs b/src/tools/run-make-support/src/rustc.rs
@@ -64,6 +64,12 @@ impl Rustc {
         self
     }
 
+    /// Specify a specific optimization level.
+    pub fn opt_level(&mut self, option: &str) -> &mut Self {
+        self.cmd.arg(format!("-Copt-level={option}"));
+        self
+    }
+
     /// Specify type(s) of output files to generate.
     pub fn emit(&mut self, kinds: &str) -> &mut Self {
         self.cmd.arg(format!("--emit={kinds}"));

diff --git a/src/tools/tidy/src/allowed_run_make_makefiles.txt b/src/tools/tidy/src/allowed_run_make_makefiles.txt
@@ -112,7 +112,6 @@ run-make/issue-37839/Makefile
 run-make/issue-37893/Makefile
 run-make/issue-38237/Makefile
 run-make/issue-40535/Makefile
-run-make/issue-46239/Makefile
 run-make/issue-47384/Makefile
 run-make/issue-47551/Makefile
 run-make/issue-51671/Makefile

diff --git a/tests/run-make/issue-46239/Makefile b/tests/run-make/issue-46239/Makefile
diff --git a/tests/run-make/issue-46239/main.rs → tests/run-make/no-mark-noalias/main.rs b/tests/run-make/issue-46239/main.rs → tests/run-make/no-mark-noalias/main.rs
diff --git a/tests/run-make/no-mark-noalias/rmake.rs b/tests/run-make/no-mark-noalias/rmake.rs
@@ -0,0 +1,14 @@
+// In the rustc_trans crate, references returned by a Frozen pointer type
+// could mark them as "noalias", which caused miscompilation errors.
+// This test runs the most minimal possible code that can reproduce this bug,
+// and checks that compilation remains successful.
+// See https://github.com/rust-lang/rust/issues/46239
+
+//@ ignore-cross-compile
+
+use run_make_support::{run, rustc};
+
+fn main() {
+    rustc().input("main.rs").opt_level("1").run();
+    run("main");
+}