Skip to content

Commit 89dbd45

Browse files
committed
bless tests
1 parent c89237a commit 89dbd45

File tree

413 files changed

+1258
-1258
lines changed

Some content is hidden

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

413 files changed

+1258
-1258
lines changed

tests/fail-dep/concurrency/windows_join_detached.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ LL | let rc = unsafe { c::WaitForSingleObject(self.handle.as_raw_handle(
1111
= note: inside `std::thread::JoinInner::<'_, ()>::join` at RUSTLIB/std/src/thread/mod.rs:LL:CC
1212
= note: inside `std::thread::JoinHandle::<()>::join` at RUSTLIB/std/src/thread/mod.rs:LL:CC
1313
note: inside `main`
14-
--> $DIR/windows_join_detached.rs:LL:CC
14+
--> $DIR/concurrency/windows_join_detached.rs:LL:CC
1515
|
1616
LL | thread.join().unwrap();
1717
| ^^^^^^^^^^^^^

tests/fail-dep/concurrency/windows_join_main.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: deadlock: the evaluated program deadlocked
2-
--> $DIR/windows_join_main.rs:LL:CC
2+
--> $DIR/concurrency/windows_join_main.rs:LL:CC
33
|
44
LL | assert_eq!(WaitForSingleObject(MAIN_THREAD, INFINITE), WAIT_OBJECT_0);
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the evaluated program deadlocked
@@ -19,7 +19,7 @@ LL | let rc = unsafe { c::WaitForSingleObject(self.handle.as_raw_handle(
1919
= note: inside `std::thread::JoinInner::<'_, ()>::join` at RUSTLIB/std/src/thread/mod.rs:LL:CC
2020
= note: inside `std::thread::JoinHandle::<()>::join` at RUSTLIB/std/src/thread/mod.rs:LL:CC
2121
note: inside `main`
22-
--> $DIR/windows_join_main.rs:LL:CC
22+
--> $DIR/concurrency/windows_join_main.rs:LL:CC
2323
|
2424
LL | / thread::spawn(|| {
2525
LL | | unsafe {

tests/fail-dep/concurrency/windows_join_self.stderr

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
error: deadlock: the evaluated program deadlocked
2-
--> $DIR/windows_join_self.rs:LL:CC
2+
--> $DIR/concurrency/windows_join_self.rs:LL:CC
33
|
44
LL | assert_eq!(WaitForSingleObject(native, INFINITE), WAIT_OBJECT_0);
55
| ^ the evaluated program deadlocked
66
|
77
= note: BACKTRACE on thread `unnamed-ID`:
8-
= note: inside closure at $DIR/windows_join_self.rs:LL:CC
8+
= note: inside closure at $DIR/concurrency/windows_join_self.rs:LL:CC
99

1010
error: deadlock: the evaluated program deadlocked
1111
--> RUSTLIB/std/src/sys/pal/PLATFORM/thread.rs:LL:CC
@@ -18,7 +18,7 @@ LL | let rc = unsafe { c::WaitForSingleObject(self.handle.as_raw_handle(
1818
= note: inside `std::thread::JoinInner::<'_, ()>::join` at RUSTLIB/std/src/thread/mod.rs:LL:CC
1919
= note: inside `std::thread::JoinHandle::<()>::join` at RUSTLIB/std/src/thread/mod.rs:LL:CC
2020
note: inside `main`
21-
--> $DIR/windows_join_self.rs:LL:CC
21+
--> $DIR/concurrency/windows_join_self.rs:LL:CC
2222
|
2323
LL | / thread::spawn(|| {
2424
LL | | unsafe {

tests/fail-dep/libc/malloc_zero_double_free.stderr

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,23 @@
11
error: Undefined Behavior: memory access failed: ALLOC has been freed, so this pointer is dangling
2-
--> $DIR/malloc_zero_double_free.rs:LL:CC
2+
--> $DIR/libc/malloc_zero_double_free.rs:LL:CC
33
|
44
LL | libc::free(ptr);
55
| ^^^^^^^^^^^^^^^ memory access failed: ALLOC has been freed, so this pointer is dangling
66
|
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
help: ALLOC was allocated here:
10-
--> $DIR/malloc_zero_double_free.rs:LL:CC
10+
--> $DIR/libc/malloc_zero_double_free.rs:LL:CC
1111
|
1212
LL | let ptr = libc::malloc(0);
1313
| ^^^^^^^^^^^^^^^
1414
help: ALLOC was deallocated here:
15-
--> $DIR/malloc_zero_double_free.rs:LL:CC
15+
--> $DIR/libc/malloc_zero_double_free.rs:LL:CC
1616
|
1717
LL | libc::free(ptr);
1818
| ^^^^^^^^^^^^^^^
1919
= note: BACKTRACE (of the first span):
20-
= note: inside `main` at $DIR/malloc_zero_double_free.rs:LL:CC
20+
= note: inside `main` at $DIR/libc/malloc_zero_double_free.rs:LL:CC
2121

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

tests/fail-dep/libc/malloc_zero_memory_leak.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
error: memory leaked: ALLOC (C heap, size: 0, align: 1), allocated here:
2-
--> $DIR/malloc_zero_memory_leak.rs:LL:CC
2+
--> $DIR/libc/malloc_zero_memory_leak.rs:LL:CC
33
|
44
LL | let _ptr = libc::malloc(0);
55
| ^^^^^^^^^^^^^^^
66
|
77
= note: BACKTRACE:
8-
= note: inside `main` at $DIR/malloc_zero_memory_leak.rs:LL:CC
8+
= note: inside `main` at $DIR/libc/malloc_zero_memory_leak.rs:LL:CC
99

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

tests/fail-dep/libc/memchr_null.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
error: Undefined Behavior: out-of-bounds pointer use: null pointer is a dangling pointer (it has no provenance)
2-
--> $DIR/memchr_null.rs:LL:CC
2+
--> $DIR/libc/memchr_null.rs:LL:CC
33
|
44
LL | libc::memchr(ptr::null(), 0, 0);
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds pointer use: null pointer is a dangling pointer (it has no provenance)
66
|
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: inside `main` at $DIR/memchr_null.rs:LL:CC
10+
= note: inside `main` at $DIR/libc/memchr_null.rs:LL:CC
1111

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

tests/fail-dep/libc/memcmp_null.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
error: Undefined Behavior: out-of-bounds pointer use: null pointer is a dangling pointer (it has no provenance)
2-
--> $DIR/memcmp_null.rs:LL:CC
2+
--> $DIR/libc/memcmp_null.rs:LL:CC
33
|
44
LL | libc::memcmp(ptr::null(), ptr::null(), 0);
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds pointer use: null pointer is a dangling pointer (it has no provenance)
66
|
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: inside `main` at $DIR/memcmp_null.rs:LL:CC
10+
= note: inside `main` at $DIR/libc/memcmp_null.rs:LL:CC
1111

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

tests/fail-dep/libc/memcmp_zero.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
error: Undefined Behavior: out-of-bounds pointer use: 0x2a[noalloc] is a dangling pointer (it has no provenance)
2-
--> $DIR/memcmp_zero.rs:LL:CC
2+
--> $DIR/libc/memcmp_zero.rs:LL:CC
33
|
44
LL | libc::memcmp(ptr.cast(), ptr.cast(), 0);
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds pointer use: 0x2a[noalloc] is a dangling pointer (it has no provenance)
66
|
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: inside `main` at $DIR/memcmp_zero.rs:LL:CC
10+
= note: inside `main` at $DIR/libc/memcmp_zero.rs:LL:CC
1111

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

tests/fail-dep/libc/memcpy_zero.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
error: Undefined Behavior: out-of-bounds pointer use: 0x17[noalloc] is a dangling pointer (it has no provenance)
2-
--> $DIR/memcpy_zero.rs:LL:CC
2+
--> $DIR/libc/memcpy_zero.rs:LL:CC
33
|
44
LL | libc::memcpy(to.cast(), from.cast(), 0);
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds pointer use: 0x17[noalloc] is a dangling pointer (it has no provenance)
66
|
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: inside `main` at $DIR/memcpy_zero.rs:LL:CC
10+
= note: inside `main` at $DIR/libc/memcpy_zero.rs:LL:CC
1111

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

tests/fail-dep/libc/realloc-zero.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
error: Undefined Behavior: `realloc` with a size of zero
2-
--> $DIR/realloc-zero.rs:LL:CC
2+
--> $DIR/libc/realloc-zero.rs:LL:CC
33
|
44
LL | let p2 = libc::realloc(p1, 0);
55
| ^^^^^^^^^^^^^^^^^^^^ `realloc` with a size of zero
66
|
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: inside `main` at $DIR/realloc-zero.rs:LL:CC
10+
= note: inside `main` at $DIR/libc/realloc-zero.rs:LL:CC
1111

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

tests/fail/alloc/alloc_error_handler.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ LL | ABORT();
1313
= note: inside `std::alloc::handle_alloc_error::rt_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1414
= note: inside `std::alloc::handle_alloc_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1515
note: inside `main`
16-
--> $DIR/alloc_error_handler.rs:LL:CC
16+
--> $DIR/alloc/alloc_error_handler.rs:LL:CC
1717
|
1818
LL | handle_alloc_error(Layout::for_value(&0));
1919
| ^

tests/fail/alloc/alloc_error_handler_custom.stderr

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
11
custom alloc error handler: Layout { size: 4, align: 4 (1 << 2) }
22
error: abnormal termination: the program aborted execution
3-
--> $DIR/alloc_error_handler_custom.rs:LL:CC
3+
--> $DIR/alloc/alloc_error_handler_custom.rs:LL:CC
44
|
55
LL | core::intrinsics::abort();
66
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the program aborted execution
77
|
88
= note: BACKTRACE:
9-
= note: inside `alloc_error_handler` at $DIR/alloc_error_handler_custom.rs:LL:CC
9+
= note: inside `alloc_error_handler` at $DIR/alloc/alloc_error_handler_custom.rs:LL:CC
1010
note: inside `_::__rg_oom`
11-
--> $DIR/alloc_error_handler_custom.rs:LL:CC
11+
--> $DIR/alloc/alloc_error_handler_custom.rs:LL:CC
1212
|
1313
LL | #[alloc_error_handler]
1414
| ---------------------- in this procedural macro expansion
@@ -17,7 +17,7 @@ LL | fn alloc_error_handler(layout: Layout) -> ! {
1717
= note: inside `alloc::alloc::handle_alloc_error::rt_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1818
= note: inside `alloc::alloc::handle_alloc_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1919
note: inside `start`
20-
--> $DIR/alloc_error_handler_custom.rs:LL:CC
20+
--> $DIR/alloc/alloc_error_handler_custom.rs:LL:CC
2121
|
2222
LL | handle_alloc_error(Layout::for_value(&0));
2323
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/fail/alloc/alloc_error_handler_no_std.stderr

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,18 +2,18 @@ custom panic handler called!
22
panicked at RUSTLIB/alloc/src/alloc.rs:LL:CC:
33
memory allocation of 4 bytes failed
44
error: abnormal termination: the program aborted execution
5-
--> $DIR/alloc_error_handler_no_std.rs:LL:CC
5+
--> $DIR/alloc/alloc_error_handler_no_std.rs:LL:CC
66
|
77
LL | core::intrinsics::abort();
88
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the program aborted execution
99
|
1010
= note: BACKTRACE:
11-
= note: inside `panic_handler` at $DIR/alloc_error_handler_no_std.rs:LL:CC
11+
= note: inside `panic_handler` at $DIR/alloc/alloc_error_handler_no_std.rs:LL:CC
1212
= note: inside `alloc::alloc::__alloc_error_handler::__rdl_oom` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1313
= note: inside `alloc::alloc::handle_alloc_error::rt_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1414
= note: inside `alloc::alloc::handle_alloc_error` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1515
note: inside `start`
16-
--> $DIR/alloc_error_handler_no_std.rs:LL:CC
16+
--> $DIR/alloc/alloc_error_handler_no_std.rs:LL:CC
1717
|
1818
LL | handle_alloc_error(Layout::for_value(&0));
1919
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/fail/alloc/deallocate-bad-alignment.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ LL | unsafe { __rust_dealloc(ptr, layout.size(), layout.align()) }
99
= note: BACKTRACE:
1010
= note: inside `std::alloc::dealloc` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1111
note: inside `main`
12-
--> $DIR/deallocate-bad-alignment.rs:LL:CC
12+
--> $DIR/alloc/deallocate-bad-alignment.rs:LL:CC
1313
|
1414
LL | dealloc(x, Layout::from_size_align_unchecked(1, 2));
1515
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/fail/alloc/deallocate-bad-size.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ LL | unsafe { __rust_dealloc(ptr, layout.size(), layout.align()) }
99
= note: BACKTRACE:
1010
= note: inside `std::alloc::dealloc` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1111
note: inside `main`
12-
--> $DIR/deallocate-bad-size.rs:LL:CC
12+
--> $DIR/alloc/deallocate-bad-size.rs:LL:CC
1313
|
1414
LL | dealloc(x, Layout::from_size_align_unchecked(2, 1));
1515
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/fail/alloc/deallocate-twice.stderr

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,19 +7,19 @@ LL | unsafe { __rust_dealloc(ptr, layout.size(), layout.align()) }
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
help: ALLOC was allocated here:
10-
--> $DIR/deallocate-twice.rs:LL:CC
10+
--> $DIR/alloc/deallocate-twice.rs:LL:CC
1111
|
1212
LL | let x = alloc(Layout::from_size_align_unchecked(1, 1));
1313
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1414
help: ALLOC was deallocated here:
15-
--> $DIR/deallocate-twice.rs:LL:CC
15+
--> $DIR/alloc/deallocate-twice.rs:LL:CC
1616
|
1717
LL | dealloc(x, Layout::from_size_align_unchecked(1, 1));
1818
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1919
= note: BACKTRACE (of the first span):
2020
= note: inside `std::alloc::dealloc` at RUSTLIB/alloc/src/alloc.rs:LL:CC
2121
note: inside `main`
22-
--> $DIR/deallocate-twice.rs:LL:CC
22+
--> $DIR/alloc/deallocate-twice.rs:LL:CC
2323
|
2424
LL | dealloc(x, Layout::from_size_align_unchecked(1, 1));
2525
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/fail/alloc/global_system_mixup.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ LL | FREE();
1010
= note: inside `std::sys::pal::PLATFORM::alloc::<impl std::alloc::GlobalAlloc for std::alloc::System>::dealloc` at RUSTLIB/std/src/sys/pal/PLATFORM/alloc.rs:LL:CC
1111
= note: inside `<std::alloc::System as std::alloc::Allocator>::deallocate` at RUSTLIB/std/src/alloc.rs:LL:CC
1212
note: inside `main`
13-
--> $DIR/global_system_mixup.rs:LL:CC
13+
--> $DIR/alloc/global_system_mixup.rs:LL:CC
1414
|
1515
LL | System.deallocate(ptr, l);
1616
| ^
Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
error: unsupported operation: can't call foreign function `__rust_alloc` on $OS
2-
--> $DIR/no_global_allocator.rs:LL:CC
2+
--> $DIR/alloc/no_global_allocator.rs:LL:CC
33
|
44
LL | __rust_alloc(1, 1);
55
| ^^^^^^^^^^^^^^^^^^ can't call foreign function `__rust_alloc` on $OS
66
|
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: inside `start` at $DIR/no_global_allocator.rs:LL:CC
10+
= note: inside `start` at $DIR/alloc/no_global_allocator.rs:LL:CC
1111

1212
error: aborting due to 1 previous error
1313

tests/fail/alloc/reallocate-bad-size.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ LL | unsafe { __rust_realloc(ptr, layout.size(), layout.align(), new_size) }
99
= note: BACKTRACE:
1010
= note: inside `std::alloc::realloc` at RUSTLIB/alloc/src/alloc.rs:LL:CC
1111
note: inside `main`
12-
--> $DIR/reallocate-bad-size.rs:LL:CC
12+
--> $DIR/alloc/reallocate-bad-size.rs:LL:CC
1313
|
1414
LL | let _y = realloc(x, Layout::from_size_align_unchecked(2, 1), 1);
1515
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/fail/alloc/reallocate-change-alloc.stderr

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,23 @@
11
error: Undefined Behavior: memory access failed: ALLOC has been freed, so this pointer is dangling
2-
--> $DIR/reallocate-change-alloc.rs:LL:CC
2+
--> $DIR/alloc/reallocate-change-alloc.rs:LL:CC
33
|
44
LL | let _z = *x;
55
| ^^ memory access failed: ALLOC has been freed, so this pointer is dangling
66
|
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
help: ALLOC was allocated here:
10-
--> $DIR/reallocate-change-alloc.rs:LL:CC
10+
--> $DIR/alloc/reallocate-change-alloc.rs:LL:CC
1111
|
1212
LL | let x = alloc(Layout::from_size_align_unchecked(1, 1));
1313
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1414
help: ALLOC was deallocated here:
15-
--> $DIR/reallocate-change-alloc.rs:LL:CC
15+
--> $DIR/alloc/reallocate-change-alloc.rs:LL:CC
1616
|
1717
LL | let _y = realloc(x, Layout::from_size_align_unchecked(1, 1), 1);
1818
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1919
= note: BACKTRACE (of the first span):
20-
= note: inside `main` at $DIR/reallocate-change-alloc.rs:LL:CC
20+
= note: inside `main` at $DIR/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

tests/fail/alloc/reallocate-dangling.stderr

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,19 +7,19 @@ LL | unsafe { __rust_realloc(ptr, layout.size(), layout.align(), new_size) }
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
help: ALLOC was allocated here:
10-
--> $DIR/reallocate-dangling.rs:LL:CC
10+
--> $DIR/alloc/reallocate-dangling.rs:LL:CC
1111
|
1212
LL | let x = alloc(Layout::from_size_align_unchecked(1, 1));
1313
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1414
help: ALLOC was deallocated here:
15-
--> $DIR/reallocate-dangling.rs:LL:CC
15+
--> $DIR/alloc/reallocate-dangling.rs:LL:CC
1616
|
1717
LL | dealloc(x, Layout::from_size_align_unchecked(1, 1));
1818
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1919
= note: BACKTRACE (of the first span):
2020
= note: inside `std::alloc::realloc` at RUSTLIB/alloc/src/alloc.rs:LL:CC
2121
note: inside `main`
22-
--> $DIR/reallocate-dangling.rs:LL:CC
22+
--> $DIR/alloc/reallocate-dangling.rs:LL:CC
2323
|
2424
LL | let _z = realloc(x, Layout::from_size_align_unchecked(1, 1), 1);
2525
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/fail/alloc/stack_free.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ LL | unsafe { __rust_dealloc(ptr, layout.size(), layout.align()) }
1313
= 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
1414
= note: inside `std::mem::drop::<std::boxed::Box<i32>>` at RUSTLIB/core/src/mem/mod.rs:LL:CC
1515
note: inside `main`
16-
--> $DIR/stack_free.rs:LL:CC
16+
--> $DIR/alloc/stack_free.rs:LL:CC
1717
|
1818
LL | drop(bad_box);
1919
| ^^^^^^^^^^^^^

tests/fail/alloc/too_large.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
error: Undefined Behavior: creating an allocation larger than half the address space
2-
--> $DIR/too_large.rs:LL:CC
2+
--> $DIR/alloc/too_large.rs:LL:CC
33
|
44
LL | __rust_alloc(bytes, 1);
55
| ^^^^^^^^^^^^^^^^^^^^^^ creating an allocation larger than half the address space
66
|
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: inside `main` at $DIR/too_large.rs:LL:CC
10+
= note: inside `main` at $DIR/alloc/too_large.rs:LL:CC
1111

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

0 commit comments

Comments
 (0)