Auto merge of #97546 - RalfJung:miri, r=oli-obk

update Miri

First update with the new ui test suite, let's hope this all works. :)
r? `@oli-obk`

Fixes https://github.com/rust-lang/rust/issues/97486
This commit is contained in:
bors 2022-05-30 11:59:55 +00:00
commit 946a88a989
3 changed files with 53 additions and 10 deletions

View File

@ -220,7 +220,7 @@ dependencies = [
"libc", "libc",
"once_cell", "once_cell",
"opener", "opener",
"pretty_assertions", "pretty_assertions 0.7.2",
"serde", "serde",
"serde_json", "serde_json",
"tar", "tar",
@ -883,6 +883,20 @@ dependencies = [
"cfg-if 0.1.10", "cfg-if 0.1.10",
] ]
[[package]]
name = "crossbeam"
version = "0.8.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4ae5588f6b3c3cb05239e90bd110f257254aecd01e4635400391aeae07497845"
dependencies = [
"cfg-if 1.0.0",
"crossbeam-channel",
"crossbeam-deque",
"crossbeam-epoch",
"crossbeam-queue",
"crossbeam-utils",
]
[[package]] [[package]]
name = "crossbeam-channel" name = "crossbeam-channel"
version = "0.5.4" version = "0.5.4"
@ -917,6 +931,16 @@ dependencies = [
"scopeguard", "scopeguard",
] ]
[[package]]
name = "crossbeam-queue"
version = "0.3.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1f25d8400f4a7a5778f0e4e52384a48cbd9b5c495d110786187fc750075277a2"
dependencies = [
"cfg-if 1.0.0",
"crossbeam-utils",
]
[[package]] [[package]]
name = "crossbeam-utils" name = "crossbeam-utils"
version = "0.8.8" version = "0.8.8"
@ -2415,17 +2439,18 @@ name = "miri"
version = "0.1.0" version = "0.1.0"
dependencies = [ dependencies = [
"colored", "colored",
"compiletest_rs",
"env_logger 0.9.0", "env_logger 0.9.0",
"getrandom 0.2.0", "getrandom 0.2.0",
"lazy_static",
"libc", "libc",
"log", "log",
"measureme 9.1.2", "measureme 9.1.2",
"rand 0.8.5", "rand 0.8.5",
"regex",
"rustc-workspace-hack", "rustc-workspace-hack",
"rustc_version",
"shell-escape", "shell-escape",
"smallvec", "smallvec",
"ui_test",
] ]
[[package]] [[package]]
@ -2866,6 +2891,18 @@ dependencies = [
"output_vt100", "output_vt100",
] ]
[[package]]
name = "pretty_assertions"
version = "1.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c89f989ac94207d048d92db058e4f6ec7342b0971fc58d1271ca148b799b3563"
dependencies = [
"ansi_term",
"ctor",
"diff",
"output_vt100",
]
[[package]] [[package]]
name = "pretty_env_logger" name = "pretty_env_logger"
version = "0.4.0" version = "0.4.0"
@ -5462,6 +5499,18 @@ version = "0.1.3"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "56dee185309b50d1f11bfedef0fe6d036842e3fb77413abef29f8f8d1c5d4c1c" checksum = "56dee185309b50d1f11bfedef0fe6d036842e3fb77413abef29f8f8d1c5d4c1c"
[[package]]
name = "ui_test"
version = "0.1.0"
dependencies = [
"colored",
"crossbeam",
"lazy_static",
"pretty_assertions 1.2.1",
"regex",
"rustc_version",
]
[[package]] [[package]]
name = "unic-char-property" name = "unic-char-property"
version = "0.9.0" version = "0.9.0"

View File

@ -572,12 +572,6 @@ fn run(self, builder: &Builder<'_>) {
return; return;
} }
// # Run `cargo test` with `-Zmir-opt-level=4`.
cargo.env("MIRIFLAGS", "-O -Zmir-opt-level=4");
if !try_run(builder, &mut cargo) {
return;
}
// # Done! // # Done!
builder.save_toolstate("miri", ToolState::TestPass); builder.save_toolstate("miri", ToolState::TestPass);
} else { } else {

@ -1 +1 @@
Subproject commit 22c97b33e470d0b7c085e98417bef8b362d43d4e Subproject commit 065ff89e33b67b3527fcdd56cf8b432e593e32d4