do not validate start-fn code

RalfJung · RalfJung · commit 26f9d617c347 · 2018-10-11T16:10:04.000+02:00
diff --git 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());

Original file line number	Diff line number	Diff line change
`@@ -103,6 +103,8 @@ fn miri_pass(sysroot: &Path, path: &str, target: &str, host: &str, need_fullmir:`
`103`	`103`	`flags.push("-Dwarnings -Dunused".to_owned()); // overwrite the -Aunused in compiletest-rs`
`104`	`104`	`if have_fullmir() {`
`105`	`105`	`flags.push("-Zmiri-start-fn".to_owned());`
	`106`	`+ // start-fn uses ptr::read, and so fails validation`
	`107`	`+ flags.push("-Zmiri-disable-validation".to_owned());`
`106`	`108`	`}`
`107`	`109`	`if opt {`
`108`	`110`	`flags.push("-Zmir-opt-level=3".to_owned());`