do not validate start-fn code

diff --git a/tests/compiletest.rs b/tests/compiletest.rs
index 151aa89be3f3af0396a9f64ab5d539d4521f229a..43989a49b30883a42e252c0a9e8fdddbf036f540 100644 (file)
--- a/tests/compiletest.rs
+++ b/tests/compiletest.rs
@@ -103,6 +103,8 @@ fn miri_pass(sysroot: &Path, path: &str, target: &str, host: &str, need_fullmir:
     flags.push("-Dwarnings -Dunused".to_owned()); // overwrite the -Aunused in compiletest-rs
     if have_fullmir() {
         flags.push("-Zmiri-start-fn".to_owned());
+        // start-fn uses ptr::read, and so fails validation
+        flags.push("-Zmiri-disable-validation".to_owned());
     }
     if opt {
         flags.push("-Zmir-opt-level=3".to_owned());