Skip to content

Commit df621da

Browse files
committed
revert miri wording change
1 parent 233b82c commit df621da

File tree

476 files changed

+765
-765
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

476 files changed

+765
-765
lines changed

compiler/rustc_const_eval/src/interpret/stack.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -216,12 +216,12 @@ impl<'tcx> fmt::Display for FrameInfo<'tcx> {
216216
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
217217
ty::tls::with(|tcx| {
218218
if tcx.def_key(self.instance.def_id()).disambiguated_data.data == DefPathData::Closure {
219-
write!(f, "called from closure")
219+
write!(f, "inside closure")
220220
} else {
221221
// Note: this triggers a `must_produce_diag` state, which means that if we ever
222222
// get here we must emit a diagnostic. We should never display a `FrameInfo` unless
223223
// we actually want to emit a warning or error to the user.
224-
write!(f, "called from `{}`", self.instance)
224+
write!(f, "inside `{}`", self.instance)
225225
}
226226
})
227227
}

src/tools/miri/tests/fail/alloc/alloc_error_handler.stderr

+7-7
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,13 @@ LL | ABORT();
66
| ^ the program aborted execution
77
|
88
= note: BACKTRACE:
9-
= note: called from `std::sys::pal::PLATFORM::abort_internal` at RUSTLIB/std/src/sys/pal/PLATFORM/mod.rs:LL:CC
10-
= note: called from `std::process::abort` at RUSTLIB/std/src/process.rs:LL:CC
11-
= note: called from `std::alloc::rust_oom` at RUSTLIB/std/src/alloc.rs:LL:CC
12-
= note: called from `std::alloc::_::__rg_oom` at RUSTLIB/std/src/alloc.rs:LL:CC
13-
= note: called from `std::alloc::handle_alloc_error::rt_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
14-
= note: called from `std::alloc::handle_alloc_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
15-
note: inside `main`
9+
= note: inside `std::sys::pal::PLATFORM::abort_internal` at RUSTLIB/std/src/sys/pal/PLATFORM/mod.rs:LL:CC
10+
= note: inside `std::process::abort` at RUSTLIB/std/src/process.rs:LL:CC
11+
= note: inside `std::alloc::rust_oom` at RUSTLIB/std/src/alloc.rs:LL:CC
12+
= note: inside `std::alloc::_::__rg_oom` at RUSTLIB/std/src/alloc.rs:LL:CC
13+
= note: inside `std::alloc::handle_alloc_error::rt_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
14+
= note: inside `std::alloc::handle_alloc_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
15+
note: called from `main`
1616
--> tests/fail/alloc/alloc_error_handler.rs:LL:CC
1717
|
1818
LL | handle_alloc_error(Layout::for_value(&0));

src/tools/miri/tests/fail/alloc/alloc_error_handler_custom.stderr

+5-5
Original file line numberDiff line numberDiff line change
@@ -6,17 +6,17 @@ LL | core::intrinsics::abort();
66
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the program aborted execution
77
|
88
= note: BACKTRACE:
9-
= note: called from `alloc_error_handler` at tests/fail/alloc/alloc_error_handler_custom.rs:LL:CC
10-
note: inside `_::__rg_oom`
9+
= note: inside `alloc_error_handler` at tests/fail/alloc/alloc_error_handler_custom.rs:LL:CC
10+
note: called from `_::__rg_oom`
1111
--> tests/fail/alloc/alloc_error_handler_custom.rs:LL:CC
1212
|
1313
LL | #[alloc_error_handler]
1414
| ---------------------- in this procedural macro expansion
1515
LL | fn alloc_error_handler(layout: Layout) -> ! {
1616
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
17-
= note: called from `alloc::alloc::handle_alloc_error::rt_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
18-
= note: called from `alloc::alloc::handle_alloc_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
19-
note: inside `miri_start`
17+
= note: inside `alloc::alloc::handle_alloc_error::rt_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
18+
= note: inside `alloc::alloc::handle_alloc_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
19+
note: called from `miri_start`
2020
--> tests/fail/alloc/alloc_error_handler_custom.rs:LL:CC
2121
|
2222
LL | handle_alloc_error(Layout::for_value(&0));

src/tools/miri/tests/fail/alloc/alloc_error_handler_no_std.stderr

+5-5
Original file line numberDiff line numberDiff line change
@@ -8,11 +8,11 @@ LL | core::intrinsics::abort();
88
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the program aborted execution
99
|
1010
= note: BACKTRACE:
11-
= note: called from `panic_handler` at tests/fail/alloc/alloc_error_handler_no_std.rs:LL:CC
12-
= note: called from `alloc::alloc::__alloc_error_handler::__rdl_oom` at RUSTLIB/alloc/src/alloc.rs:LL:CC
13-
= note: called from `alloc::alloc::handle_alloc_error::rt_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
14-
= note: called from `alloc::alloc::handle_alloc_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
15-
note: inside `miri_start`
11+
= note: inside `panic_handler` at tests/fail/alloc/alloc_error_handler_no_std.rs:LL:CC
12+
= note: inside `alloc::alloc::__alloc_error_handler::__rdl_oom` at RUSTLIB/alloc/src/alloc.rs:LL:CC
13+
= note: inside `alloc::alloc::handle_alloc_error::rt_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
14+
= note: inside `alloc::alloc::handle_alloc_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
15+
note: called from `miri_start`
1616
--> tests/fail/alloc/alloc_error_handler_no_std.rs:LL:CC
1717
|
1818
LL | handle_alloc_error(Layout::for_value(&0));

src/tools/miri/tests/fail/alloc/deallocate-bad-alignment.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | dealloc(x, Layout::from_size_align_unchecked(1, 2));
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
99
= note: BACKTRACE:
10-
= note: called from `main` at tests/fail/alloc/deallocate-bad-alignment.rs:LL:CC
10+
= note: inside `main` at tests/fail/alloc/deallocate-bad-alignment.rs:LL:CC
1111

1212
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
1313

src/tools/miri/tests/fail/alloc/deallocate-bad-size.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | dealloc(x, Layout::from_size_align_unchecked(2, 1));
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
99
= note: BACKTRACE:
10-
= note: called from `main` at tests/fail/alloc/deallocate-bad-size.rs:LL:CC
10+
= note: inside `main` at tests/fail/alloc/deallocate-bad-size.rs:LL:CC
1111

1212
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
1313

src/tools/miri/tests/fail/alloc/deallocate-twice.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ help: ALLOC was deallocated here:
1717
LL | dealloc(x, Layout::from_size_align_unchecked(1, 1));
1818
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1919
= note: BACKTRACE (of the first span):
20-
= note: called from `main` at tests/fail/alloc/deallocate-twice.rs:LL:CC
20+
= note: inside `main` at tests/fail/alloc/deallocate-twice.rs:LL:CC
2121

2222
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
2323

src/tools/miri/tests/fail/alloc/global_system_mixup.stderr

+3-3
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,9 @@ LL | FREE();
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
99
= note: BACKTRACE:
10-
= note: called from `std::sys::alloc::PLATFORM::<impl std::alloc::GlobalAlloc for std::alloc::System>::dealloc` at RUSTLIB/std/src/sys/alloc/PLATFORM.rs:LL:CC
11-
= note: called from `<std::alloc::System as std::alloc::Allocator>::deallocate` at RUSTLIB/std/src/alloc.rs:LL:CC
12-
note: inside `main`
10+
= note: inside `std::sys::alloc::PLATFORM::<impl std::alloc::GlobalAlloc for std::alloc::System>::dealloc` at RUSTLIB/std/src/sys/alloc/PLATFORM.rs:LL:CC
11+
= note: inside `<std::alloc::System as std::alloc::Allocator>::deallocate` at RUSTLIB/std/src/alloc.rs:LL:CC
12+
note: called from `main`
1313
--> tests/fail/alloc/global_system_mixup.rs:LL:CC
1414
|
1515
LL | unsafe { System.deallocate(ptr, l) };

src/tools/miri/tests/fail/alloc/no_global_allocator.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | __rust_alloc(1, 1);
77
= help: if this is a basic API commonly used on this target, please report an issue with Miri
88
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
99
= note: BACKTRACE:
10-
= note: called from `miri_start` at tests/fail/alloc/no_global_allocator.rs:LL:CC
10+
= note: inside `miri_start` at tests/fail/alloc/no_global_allocator.rs:LL:CC
1111

1212
error: aborting due to 1 previous error
1313

src/tools/miri/tests/fail/alloc/reallocate-bad-size.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _y = realloc(x, Layout::from_size_align_unchecked(2, 1), 1);
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
99
= note: BACKTRACE:
10-
= note: called from `main` at tests/fail/alloc/reallocate-bad-size.rs:LL:CC
10+
= note: inside `main` at tests/fail/alloc/reallocate-bad-size.rs:LL:CC
1111

1212
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
1313

src/tools/miri/tests/fail/alloc/reallocate-change-alloc.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ help: ALLOC was deallocated here:
1717
LL | let _y = realloc(x, Layout::from_size_align_unchecked(1, 1), 1);
1818
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1919
= note: BACKTRACE (of the first span):
20-
= note: called from `main` at tests/fail/alloc/reallocate-change-alloc.rs:LL:CC
20+
= note: inside `main` at tests/fail/alloc/reallocate-change-alloc.rs:LL:CC
2121

2222
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
2323

src/tools/miri/tests/fail/alloc/reallocate-dangling.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ help: ALLOC was deallocated here:
1717
LL | dealloc(x, Layout::from_size_align_unchecked(1, 1));
1818
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1919
= note: BACKTRACE (of the first span):
20-
= note: called from `main` at tests/fail/alloc/reallocate-dangling.rs:LL:CC
20+
= note: inside `main` at tests/fail/alloc/reallocate-dangling.rs:LL:CC
2121

2222
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
2323

src/tools/miri/tests/fail/alloc/stack_free.stderr

+4-4
Original file line numberDiff line numberDiff line change
@@ -7,10 +7,10 @@ LL | self.1.deallocate(From::from(ptr.cast()), layout);
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
99
= note: BACKTRACE:
10-
= note: called from `<std::boxed::Box<i32> as std::ops::Drop>::drop` at RUSTLIB/alloc/src/boxed.rs:LL:CC
11-
= note: called from `std::ptr::drop_in_place::<std::boxed::Box<i32>> - shim(Some(std::boxed::Box<i32>))` at RUSTLIB/core/src/ptr/mod.rs:LL:CC
12-
= note: called from `std::mem::drop::<std::boxed::Box<i32>>` at RUSTLIB/core/src/mem/mod.rs:LL:CC
13-
note: inside `main`
10+
= note: inside `<std::boxed::Box<i32> as std::ops::Drop>::drop` at RUSTLIB/alloc/src/boxed.rs:LL:CC
11+
= note: inside `std::ptr::drop_in_place::<std::boxed::Box<i32>> - shim(Some(std::boxed::Box<i32>))` at RUSTLIB/core/src/ptr/mod.rs:LL:CC
12+
= note: inside `std::mem::drop::<std::boxed::Box<i32>>` at RUSTLIB/core/src/mem/mod.rs:LL:CC
13+
note: called from `main`
1414
--> tests/fail/alloc/stack_free.rs:LL:CC
1515
|
1616
LL | drop(bad_box);

src/tools/miri/tests/fail/alloc/too_large.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | __rust_alloc(bytes, 1);
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
99
= note: BACKTRACE:
10-
= note: called from `main` at tests/fail/alloc/too_large.rs:LL:CC
10+
= note: inside `main` at tests/fail/alloc/too_large.rs:LL:CC
1111

1212
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
1313

src/tools/miri/tests/fail/alloc/unsupported_big_alignment.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ LL | __rust_alloc(1, 1 << 30);
66
|
77
= help: this is likely not a bug in the program; it indicates that the program performed an operation that Miri does not support
88
= note: BACKTRACE:
9-
= note: called from `main` at tests/fail/alloc/unsupported_big_alignment.rs:LL:CC
9+
= note: inside `main` at tests/fail/alloc/unsupported_big_alignment.rs:LL:CC
1010

1111
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
1212

src/tools/miri/tests/fail/alloc/unsupported_non_power_two_alignment.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | __rust_alloc(1, 3);
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
99
= note: BACKTRACE:
10-
= note: called from `main` at tests/fail/alloc/unsupported_non_power_two_alignment.rs:LL:CC
10+
= note: inside `main` at tests/fail/alloc/unsupported_non_power_two_alignment.rs:LL:CC
1111

1212
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
1313

src/tools/miri/tests/fail/both_borrows/alias_through_mutation.stack.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ help: <TAG> was later invalidated at offsets [0x0..0x4] by a write access
2020
LL | *target = 13;
2121
| ^^^^^^^^^^^^
2222
= note: BACKTRACE (of the first span):
23-
= note: called from `main` at tests/fail/both_borrows/alias_through_mutation.rs:LL:CC
23+
= note: inside `main` at tests/fail/both_borrows/alias_through_mutation.rs:LL:CC
2424

2525
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
2626

src/tools/miri/tests/fail/both_borrows/alias_through_mutation.tree.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ LL | *target = 13;
1818
| ^^^^^^^^^^^^
1919
= help: this transition corresponds to a loss of read permissions
2020
= note: BACKTRACE (of the first span):
21-
= note: called from `main` at tests/fail/both_borrows/alias_through_mutation.rs:LL:CC
21+
= note: inside `main` at tests/fail/both_borrows/alias_through_mutation.rs:LL:CC
2222

2323
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
2424

src/tools/miri/tests/fail/both_borrows/aliasing_mut1.stack.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,8 @@ help: <TAG> is this argument
1717
LL | pub fn safe(x: &mut i32, y: &mut i32) {
1818
| ^
1919
= note: BACKTRACE (of the first span):
20-
= note: called from `safe` at tests/fail/both_borrows/aliasing_mut1.rs:LL:CC
21-
note: inside `main`
20+
= note: inside `safe` at tests/fail/both_borrows/aliasing_mut1.rs:LL:CC
21+
note: called from `main`
2222
--> tests/fail/both_borrows/aliasing_mut1.rs:LL:CC
2323
|
2424
LL | safe_raw(xraw, xraw);

src/tools/miri/tests/fail/both_borrows/aliasing_mut1.tree.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,8 @@ LL | pub fn safe(x: &mut i32, y: &mut i32) {
1818
| ^
1919
= help: this transition corresponds to a temporary loss of write permissions until function exit
2020
= note: BACKTRACE (of the first span):
21-
= note: called from `safe` at tests/fail/both_borrows/aliasing_mut1.rs:LL:CC
22-
note: inside `main`
21+
= note: inside `safe` at tests/fail/both_borrows/aliasing_mut1.rs:LL:CC
22+
note: called from `main`
2323
--> tests/fail/both_borrows/aliasing_mut1.rs:LL:CC
2424
|
2525
LL | safe_raw(xraw, xraw);

src/tools/miri/tests/fail/both_borrows/aliasing_mut2.stack.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,8 @@ help: <TAG> is this argument
1717
LL | pub fn safe(x: &i32, y: &mut i32) {
1818
| ^
1919
= note: BACKTRACE (of the first span):
20-
= note: called from `safe` at tests/fail/both_borrows/aliasing_mut2.rs:LL:CC
21-
note: inside `main`
20+
= note: inside `safe` at tests/fail/both_borrows/aliasing_mut2.rs:LL:CC
21+
note: called from `main`
2222
--> tests/fail/both_borrows/aliasing_mut2.rs:LL:CC
2323
|
2424
LL | safe_raw(xshr, xraw);

src/tools/miri/tests/fail/both_borrows/aliasing_mut2.tree.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,8 @@ LL | let _v = *x;
1818
| ^^
1919
= help: this transition corresponds to a temporary loss of write permissions until function exit
2020
= note: BACKTRACE (of the first span):
21-
= note: called from `safe` at tests/fail/both_borrows/aliasing_mut2.rs:LL:CC
22-
note: inside `main`
21+
= note: inside `safe` at tests/fail/both_borrows/aliasing_mut2.rs:LL:CC
22+
note: called from `main`
2323
--> tests/fail/both_borrows/aliasing_mut2.rs:LL:CC
2424
|
2525
LL | safe_raw(xshr, xraw);

src/tools/miri/tests/fail/both_borrows/aliasing_mut3.stack.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -20,8 +20,8 @@ help: <TAG> was later invalidated at offsets [0x0..0x4] by a Unique function-ent
2020
LL | safe_raw(xraw, xshr);
2121
| ^^^^^^^^^^^^^^^^^^^^
2222
= note: BACKTRACE (of the first span):
23-
= note: called from `safe` at tests/fail/both_borrows/aliasing_mut3.rs:LL:CC
24-
note: inside `main`
23+
= note: inside `safe` at tests/fail/both_borrows/aliasing_mut3.rs:LL:CC
24+
note: called from `main`
2525
--> tests/fail/both_borrows/aliasing_mut3.rs:LL:CC
2626
|
2727
LL | safe_raw(xraw, xshr);

src/tools/miri/tests/fail/both_borrows/aliasing_mut3.tree.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,8 @@ LL | pub fn safe(x: &mut i32, y: &i32) {
1818
| ^
1919
= help: this transition corresponds to a temporary loss of write permissions until function exit
2020
= note: BACKTRACE (of the first span):
21-
= note: called from `safe` at tests/fail/both_borrows/aliasing_mut3.rs:LL:CC
22-
note: inside `main`
21+
= note: inside `safe` at tests/fail/both_borrows/aliasing_mut3.rs:LL:CC
22+
note: called from `main`
2323
--> tests/fail/both_borrows/aliasing_mut3.rs:LL:CC
2424
|
2525
LL | safe_raw(xraw, xshr);

src/tools/miri/tests/fail/both_borrows/aliasing_mut4.stack.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,8 @@ help: <TAG> is this argument
1717
LL | pub fn safe(x: &i32, y: &mut Cell<i32>) {
1818
| ^
1919
= note: BACKTRACE (of the first span):
20-
= note: called from `safe` at tests/fail/both_borrows/aliasing_mut4.rs:LL:CC
21-
note: inside `main`
20+
= note: inside `safe` at tests/fail/both_borrows/aliasing_mut4.rs:LL:CC
21+
note: called from `main`
2222
--> tests/fail/both_borrows/aliasing_mut4.rs:LL:CC
2323
|
2424
LL | safe_raw(xshr, xraw as *mut _);

src/tools/miri/tests/fail/both_borrows/aliasing_mut4.tree.stderr

+5-5
Original file line numberDiff line numberDiff line change
@@ -19,15 +19,15 @@ help: the protected tag <TAG> was created here, in the initial state Frozen
1919
LL | pub fn safe(x: &i32, y: &mut Cell<i32>) {
2020
| ^
2121
= note: BACKTRACE (of the first span):
22-
= note: called from `std::mem::replace::<i32>` at RUSTLIB/core/src/mem/mod.rs:LL:CC
23-
= note: called from `std::cell::Cell::<i32>::replace` at RUSTLIB/core/src/cell.rs:LL:CC
24-
= note: called from `std::cell::Cell::<i32>::set` at RUSTLIB/core/src/cell.rs:LL:CC
25-
note: inside `safe`
22+
= note: inside `std::mem::replace::<i32>` at RUSTLIB/core/src/mem/mod.rs:LL:CC
23+
= note: inside `std::cell::Cell::<i32>::replace` at RUSTLIB/core/src/cell.rs:LL:CC
24+
= note: inside `std::cell::Cell::<i32>::set` at RUSTLIB/core/src/cell.rs:LL:CC
25+
note: called from `safe`
2626
--> tests/fail/both_borrows/aliasing_mut4.rs:LL:CC
2727
|
2828
LL | y.set(1);
2929
| ^^^^^^^^
30-
note: inside `main`
30+
note: called from `main`
3131
--> tests/fail/both_borrows/aliasing_mut4.rs:LL:CC
3232
|
3333
LL | safe_raw(xshr, xraw as *mut _);

src/tools/miri/tests/fail/both_borrows/box_exclusive_violation1.stack.stderr

+3-3
Original file line numberDiff line numberDiff line change
@@ -20,13 +20,13 @@ help: <TAG> was later invalidated at offsets [0x0..0x4] by a write access
2020
LL | *our = 5;
2121
| ^^^^^^^^
2222
= note: BACKTRACE (of the first span):
23-
= note: called from `unknown_code_2` at tests/fail/both_borrows/box_exclusive_violation1.rs:LL:CC
24-
note: inside `demo_box_advanced_unique`
23+
= note: inside `unknown_code_2` at tests/fail/both_borrows/box_exclusive_violation1.rs:LL:CC
24+
note: called from `demo_box_advanced_unique`
2525
--> tests/fail/both_borrows/box_exclusive_violation1.rs:LL:CC
2626
|
2727
LL | unknown_code_2();
2828
| ^^^^^^^^^^^^^^^^
29-
note: inside `main`
29+
note: called from `main`
3030
--> tests/fail/both_borrows/box_exclusive_violation1.rs:LL:CC
3131
|
3232
LL | demo_box_advanced_unique(Box::new(0));

src/tools/miri/tests/fail/both_borrows/box_exclusive_violation1.tree.stderr

+3-3
Original file line numberDiff line numberDiff line change
@@ -18,13 +18,13 @@ LL | *our = 5;
1818
| ^^^^^^^^
1919
= help: this transition corresponds to a loss of read permissions
2020
= note: BACKTRACE (of the first span):
21-
= note: called from `unknown_code_2` at tests/fail/both_borrows/box_exclusive_violation1.rs:LL:CC
22-
note: inside `demo_box_advanced_unique`
21+
= note: inside `unknown_code_2` at tests/fail/both_borrows/box_exclusive_violation1.rs:LL:CC
22+
note: called from `demo_box_advanced_unique`
2323
--> tests/fail/both_borrows/box_exclusive_violation1.rs:LL:CC
2424
|
2525
LL | unknown_code_2();
2626
| ^^^^^^^^^^^^^^^^
27-
note: inside `main`
27+
note: called from `main`
2828
--> tests/fail/both_borrows/box_exclusive_violation1.rs:LL:CC
2929
|
3030
LL | demo_box_advanced_unique(Box::new(0));

src/tools/miri/tests/fail/both_borrows/box_noalias_violation.stack.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,8 @@ help: <TAG> is this argument
1717
LL | unsafe fn test(mut x: Box<i32>, y: *const i32) -> i32 {
1818
| ^^^^^
1919
= note: BACKTRACE (of the first span):
20-
= note: called from `test` at tests/fail/both_borrows/box_noalias_violation.rs:LL:CC
21-
note: inside `main`
20+
= note: inside `test` at tests/fail/both_borrows/box_noalias_violation.rs:LL:CC
21+
note: called from `main`
2222
--> tests/fail/both_borrows/box_noalias_violation.rs:LL:CC
2323
|
2424
LL | test(Box::from_raw(ptr), ptr);

src/tools/miri/tests/fail/both_borrows/box_noalias_violation.tree.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -25,8 +25,8 @@ LL | *x = 5;
2525
| ^^^^^^
2626
= help: this transition corresponds to the first write to a 2-phase borrowed mutable reference
2727
= note: BACKTRACE (of the first span):
28-
= note: called from `test` at tests/fail/both_borrows/box_noalias_violation.rs:LL:CC
29-
note: inside `main`
28+
= note: inside `test` at tests/fail/both_borrows/box_noalias_violation.rs:LL:CC
29+
note: called from `main`
3030
--> tests/fail/both_borrows/box_noalias_violation.rs:LL:CC
3131
|
3232
LL | test(Box::from_raw(ptr), ptr);

0 commit comments

Comments
 (0)