Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update Miri #113151

Merged
merged 64 commits into from
Jun 29, 2023
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
64 commits
Select commit Hold shift click to select a range
13c20f2
deref shim arguments with actual ty instead of declared ty
beepster4096 Nov 9, 2022
9d1d651
add deref_pointer_as
beepster4096 Jun 2, 2023
7380a4d
explain windows sync layouts
beepster4096 Jun 3, 2023
580e2b3
Select more TB fail tests
Vanille-N May 10, 2023
9667886
Auto merge of #2887 - Vanille-N:tb-mut-transmute, r=RalfJung
bors Jun 3, 2023
7444a50
use as_os_str_bytes
RalfJung Jun 3, 2023
c1a7783
Auto merge of #2915 - RalfJung:as_os_str_bytes, r=RalfJung
bors Jun 3, 2023
53187d7
Remove rustc-workspace-hack
ehuss Jun 4, 2023
5d01a6b
Auto merge of #2916 - ehuss:remove-workspace-hack, r=RalfJung
bors Jun 4, 2023
7a1cdf7
Differentiate between explicit accesses and accesses inserted by TB
Vanille-N Jun 5, 2023
98c5fce
Auto merge of #2918 - Vanille-N:tb-diags, r=RalfJung
bors Jun 5, 2023
c87f6d9
Revert error in doc comment
Vanille-N Jun 5, 2023
634c21f
Auto merge of #2919 - Vanille-N:tb-diags, r=RalfJung
bors Jun 5, 2023
be5f6b2
box_exclusive_violation
Vanille-N Jun 10, 2023
85533a3
Auto merge of #2922 - Vanille-N:tb-tests, r=RalfJung
bors Jun 11, 2023
6147833
Preparing for merge from rustc
RalfJung Jun 11, 2023
6ab7af4
Merge from rustc
RalfJung Jun 11, 2023
15a6362
Auto merge of #2924 - RalfJung:rustup, r=RalfJung
bors Jun 12, 2023
36e0c42
Preparing for merge from rustc
oli-obk Jun 15, 2023
24595f5
Merge from rustc
oli-obk Jun 15, 2023
52036f5
Auto merge of #2928 - oli-obk:rustup, r=oli-obk
bors Jun 15, 2023
b4b7cd6
Auto merge of #2661 - DrMeepster:deref_operand_as, r=oli-obk
bors Jun 15, 2023
8e930fd
Preparing for merge from rustc
RalfJung Jun 16, 2023
508675b
Merge from rustc
RalfJung Jun 16, 2023
c853744
Auto merge of #2930 - RalfJung:rustup, r=RalfJung
bors Jun 16, 2023
e2d2266
add tests for panicky drop in thread_local destructor
RalfJung Jun 16, 2023
f3b52fd
make test work cross-platform
RalfJung Jun 16, 2023
6f771c8
Auto merge of #2929 - RalfJung:tls-panic, r=RalfJung
bors Jun 16, 2023
5c9ad8b
comment tweaks
RalfJung Jun 16, 2023
20a2a24
Auto merge of #2932 - RalfJung:comment, r=RalfJung
bors Jun 16, 2023
dfd5037
Preparing for merge from rustc
RalfJung Jun 17, 2023
14155e9
Merge from rustc
RalfJung Jun 17, 2023
5f81d83
Auto merge of #2933 - RalfJung:rustup, r=RalfJung
bors Jun 17, 2023
e696299
Preparing for merge from rustc
RalfJung Jun 18, 2023
7cef286
Merge from rustc
RalfJung Jun 18, 2023
6ea5035
bless new tests
RalfJung Jun 19, 2023
f769045
Auto merge of #2935 - RalfJung:rustup, r=RalfJung
bors Jun 19, 2023
a004056
mmap/munmap/mremamp shims
saethlin Aug 13, 2022
69dc735
Make munmap throw unsup errors instead of trying to work
saethlin Jun 16, 2023
8fc8f13
Improve organization
saethlin Jun 17, 2023
b621c4d
Auto merge of #2520 - saethlin:mmap-shim, r=RalfJung
bors Jun 20, 2023
2bd9ade
Preparing for merge from rustc
RalfJung Jun 22, 2023
940cd59
Merge from rustc
RalfJung Jun 22, 2023
878c6ae
Auto merge of #2938 - RalfJung:rustup, r=RalfJung
bors Jun 22, 2023
65d60f9
drop perform_read_access (always read) in favor of zero_size
Vanille-N Jun 19, 2023
732f127
Update ui test crate
oli-obk Jun 26, 2023
3917774
Auto merge of #2941 - oli-obk:ui_test_bump, r=oli-obk
bors Jun 26, 2023
0ba4cdb
Make `--quiet` actually do something
oli-obk Jun 27, 2023
b567773
Auto merge of #2942 - oli-obk:ui_test_bump, r=RalfJung
bors Jun 27, 2023
c91fb78
Add trophy
cbeuw Jun 27, 2023
662388e
Auto merge of #2943 - cbeuw:patch-1, r=oli-obk
bors Jun 27, 2023
48294e4
Preparing for merge from rustc
oli-obk Jun 28, 2023
c10656e
Merge from rustc
oli-obk Jun 28, 2023
de9dc59
fmt
oli-obk Jun 28, 2023
984d29d
Auto merge of #2944 - oli-obk:rustup, r=oli-obk
bors Jun 28, 2023
e1b2951
Try running a sync automatically
oli-obk Jun 28, 2023
1ffe627
Auto merge of #2945 - oli-obk:gha_mk_pr, r=RalfJung
bors Jun 28, 2023
0671f14
Unique gets special treatment when -Zmiri-unique-is-unique
Vanille-N Jun 19, 2023
cec5ec4
Auto merge of #2936 - Vanille-N:unique, r=RalfJung
bors Jun 28, 2023
8d4b2bd
Preparing for merge from rustc
RalfJung Jun 29, 2023
cca0c81
Merge from rustc
RalfJung Jun 29, 2023
feed376
Auto merge of #2946 - RalfJung:rustup, r=RalfJung
bors Jun 29, 2023
a3cea7f
update lockfile
RalfJung Jun 29, 2023
78f58f9
Use a valid `target` directory in miri ui tests
oli-obk Jun 29, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Make --quiet actually do something
  • Loading branch information
oli-obk committed Jun 27, 2023
commit 0ba4cdb712e64c624abe931b1e750c7e00c40161
4 changes: 2 additions & 2 deletions src/tools/miri/Cargo.lock
Original file line number Diff line number Diff line change
Expand Up @@ -842,9 842,9 @@ dependencies = [

[[package]]
name = "ui_test"
version = "0.11.0"
version = "0.11.6"
source = "registry https://github.com/rust-lang/crates.io-index"
checksum = "b75049e51d3db204b2de79c8ff7a8675c628d81ceef6ec97598c1ab7d4d66802"
checksum = "24a2e70adc9d18b9b4dd80ea57aeec447103c6fbb354a07c080adad451c645e1"
dependencies = [
"bstr",
"cargo-platform",
Expand Down
2 changes: 1 addition & 1 deletion src/tools/miri/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 36,7 @@ libloading = "0.7"

[dev-dependencies]
colored = "2"
ui_test = "0.11"
ui_test = "0.11.6"
rustc_version = "0.4"
# Features chosen to match those required by env_logger, to avoid rebuilds
regex = { version = "1.5.5", default-features = false, features = ["perf", "std"] }
Expand Down
13 changes: 10 additions & 3 deletions src/tools/miri/tests/compiletest.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 3,8 @@ use regex::bytes::Regex;
use std::ffi::OsString;
use std::path::{Path, PathBuf};
use std::{env, process::Command};
use ui_test::CommandBuilder;
use ui_test::{color_eyre::Result, Config, Match, Mode, OutputConflictHandling};
use ui_test::{status_emitter, CommandBuilder};

fn miri_path() -> PathBuf {
PathBuf::from(option_env!("MIRI").unwrap_or(env!("CARGO_BIN_EXE_miri")))
Expand Down Expand Up @@ -149,8 149,15 @@ fn run_tests(mode: Mode, path: &str, target: &str, with_dependencies: bool) -> R
// This could be used to overwrite the `Config` on a per-test basis.
|_, _| None,
(
ui_test::status_emitter::Text,
ui_test::status_emitter::Gha::<false> { name: format!("{mode:?} {path} ({target})") },
if quiet {
Box::<status_emitter::Quiet>::default()
as Box<dyn status_emitter::StatusEmitter Send>
} else {
Box::new(status_emitter::Text)
},
status_emitter::Gha::</* GHA Actions groups*/ false> {
name: format!("{mode:?} {path} ({target})"),
},
),
)
}
Expand Down