Skip to content

Commit b355d81

Browse files
committed
Auto merge of #3828 - rust-lang:rustup-2024-08-20, r=RalfJung
Automatic Rustup
2 parents 0665f6e + 5d40d63 commit b355d81

File tree

8 files changed

+8
-7
lines changed

8 files changed

+8
-7
lines changed

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
f24a6ba06f4190d8ec4f22d1baa800e64b1900cb
1+
fdf61d499c8a8421ecf98e7924bb87caf43a9938

src/eval.rs

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -458,7 +458,14 @@ pub fn eval_entry<'tcx>(
458458
panic::resume_unwind(panic_payload)
459459
});
460460
// `Ok` can never happen.
461+
#[cfg(not(bootstrap))]
461462
let Err(res) = res;
463+
#[cfg(bootstrap)]
464+
let res = match res {
465+
Err(res) => res,
466+
// `Ok` can never happen
467+
Ok(never) => match never {},
468+
};
462469

463470
// Machine cleanup. Only do this if all threads have terminated; threads that are still running
464471
// might cause Stacked Borrows errors (https://github.com/rust-lang/miri/issues/2396).

tests/fail/dangling_pointers/dangling_pointer_to_raw_pointer.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
#![feature(raw_ref_op)]
21
#![feature(strict_provenance)]
32
use std::ptr;
43

tests/fail/function_calls/return_pointer_aliasing_read.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
//@revisions: stack tree none
22
//@[tree]compile-flags: -Zmiri-tree-borrows
33
//@[none]compile-flags: -Zmiri-disable-stacked-borrows
4-
#![feature(raw_ref_op)]
54
#![feature(core_intrinsics)]
65
#![feature(custom_mir)]
76

tests/fail/function_calls/return_pointer_aliasing_write.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
// This does need an aliasing model and protectors.
22
//@revisions: stack tree
33
//@[tree]compile-flags: -Zmiri-tree-borrows
4-
#![feature(raw_ref_op)]
54
#![feature(core_intrinsics)]
65
#![feature(custom_mir)]
76

tests/fail/function_calls/return_pointer_aliasing_write_tail_call.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
// This does need an aliasing model and protectors.
22
//@revisions: stack tree
33
//@[tree]compile-flags: -Zmiri-tree-borrows
4-
#![feature(raw_ref_op)]
54
#![feature(core_intrinsics)]
65
#![feature(custom_mir)]
76
#![feature(explicit_tail_calls)]

tests/fail/function_calls/return_pointer_on_unwind.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// Doesn't need an aliasing model.
22
//@compile-flags: -Zmiri-disable-stacked-borrows
3-
#![feature(raw_ref_op)]
43
#![feature(core_intrinsics)]
54
#![feature(custom_mir)]
65

tests/pass/function_calls/return_place_on_heap.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
#![feature(raw_ref_op)]
21
#![feature(core_intrinsics)]
32
#![feature(custom_mir)]
43

0 commit comments

Comments
 (0)