also test parts of std

Author: RalfJung

library/std/benches/lib.rs

@@ -1,3 +1,5 @@
+// Disabling in Miri as these would take too long.
+#![cfg(not(miri))]
 #![feature(test)]
 
 extern crate test;

library/std/tests/process_spawning.rs

@@ -1,4 +1,6 @@
 #![cfg(not(target_env = "sgx"))]
+// Process spawning does not work in Miri.
+#![cfg(not(miri))]
 
 use std::env;
 use std::fs;

library/std/tests/switch-stdout.rs

@@ -1,4 +1,6 @@
 #![cfg(any(target_family = "unix", target_family = "windows"))]
+// Calls functions that are not supported by Miri.
+#![cfg(not(miri))]
 
 use std::fs::File;
 use std::io::{Read, Write};

src/bootstrap/mk/Makefile.in

@@ -57,11 +57,21 @@ check-aux:
 		library/core \
 		library/alloc \
 		--no-doc
+	# Some doctests have intentional memory leaks.
 	$(Q)MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" \
 		$(BOOTSTRAP) miri --stage 2 \
 		library/core \
 		library/alloc \
 		--doc
+	# In `std` we cannot test everything, so we test the most target-dependent modules.
+	$(Q)MIRIFLAGS="-Zmiri-disable-isolation" BOOTSTRAP_SKIP_TARGET_SANITY=1 \
+		$(BOOTSTRAP) miri --stage 2 library/std \
+		--no-doc -- \
+		--skip fs:: --skip net:: --skip process:: --skip sys::pal::
+	$(Q)MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" BOOTSTRAP_SKIP_TARGET_SANITY=1 \
+		$(BOOTSTRAP) miri --stage 2 library/std \
+		--doc -- \
+		--skip fs:: --skip net:: --skip process:: --skip sys::pal::
 dist:
 	$(Q)$(BOOTSTRAP) dist $(BOOTSTRAP_ARGS)
 distcheck: