Skip to content

Commit 5d40d63

Browse files
author
The Miri Cronjob Bot
committed
Merge from rustc
2 parents 7257e08 + e65c226 commit 5d40d63

File tree

7 files changed

+7
-6
lines changed

7 files changed

+7
-6
lines changed

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)