Skip to content

Commit edc61d8

Browse files
authored
Rollup merge of #141214 - RalfJung:miri-sync, r=RalfJung
Miri subtree update r? `@ghost` Fixes rust-lang/miri#4328
2 parents 6249eed + 0abf62f commit edc61d8

File tree

3 files changed

+11
-4
lines changed

3 files changed

+11
-4
lines changed

src/tools/miri/cargo-miri/src/phases.rs

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -176,8 +176,11 @@ pub fn phase_cargo_miri(mut args: impl Iterator<Item = String>) {
176176
// Set `--target-dir` to `miri` inside the original target directory.
177177
let target_dir = get_target_dir(&metadata);
178178
cmd.arg("--target-dir").arg(target_dir);
179-
// Enable cross-target doctests (for consistency between different cargo versions).
180-
cmd.arg("-Zdoctest-xcompile");
179+
// Only when running in x.py (where we are running with beta cargo): set `RUSTC_STAGE`.
180+
// Will have to be removed on next bootstrap bump. tag: cfg(bootstrap).
181+
if env::var_os("RUSTC_STAGE").is_some() {
182+
cmd.arg("-Zdoctest-xcompile");
183+
}
181184

182185
// *After* we set all the flags that need setting, forward everything else. Make sure to skip
183186
// `--target-dir` (which would otherwise be set twice).

src/tools/miri/rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
a69bc17fb8026bdc0d24bb1896ff95f0eba1da4e
1+
ac17c3486c6fdfbb0c3c18b99f3d8dfbff625d29

src/tools/miri/src/helpers.rs

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -933,7 +933,11 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
933933
}
934934

935935
/// Check that the calling convention is what we expect.
936-
fn check_callconv<'a>(&self, fn_abi: &FnAbi<'tcx, Ty<'tcx>>, exp_abi: Conv) -> InterpResult<'a, ()> {
936+
fn check_callconv<'a>(
937+
&self,
938+
fn_abi: &FnAbi<'tcx, Ty<'tcx>>,
939+
exp_abi: Conv,
940+
) -> InterpResult<'a, ()> {
937941
if fn_abi.conv != exp_abi {
938942
throw_ub_format!(
939943
"calling a function with calling convention {exp_abi} using caller calling convention {}",

0 commit comments

Comments
 (0)