Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit 1c66163

Browse files
committed
Bless stderr files after rustfmt
1 parent 30376ba commit 1c66163

15 files changed

+72
-68
lines changed

tests/fail/intrinsics/simd-rem-by-zero.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: Undefined Behavior: calculating the remainder with a divisor of zero
22
--> $DIR/simd-rem-by-zero.rs:LL:CC
33
|
4-
LL | simd_rem(x, y);
5-
| ^^^^^^^^^^^^^^ calculating the remainder with a divisor of zero
4+
LL | simd_rem(x, y);
5+
| ^^^^^^^^^^^^^^ calculating the remainder with a divisor 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

tests/fail/intrinsics/simd-scatter.stderr

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,12 @@ LL | intrinsics::simd_scatter(self, ptrs, enable.to_int())
1111
note: inside `main` at $DIR/simd-scatter.rs:LL:CC
1212
--> $DIR/simd-scatter.rs:LL:CC
1313
|
14-
LL | Simd::from_array([-27, 82, -41, 124]).scatter_select_unchecked(&mut vec, Mask::splat(true), idxs);
15-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
14+
LL | / Simd::from_array([-27, 82, -41, 124]).scatter_select_unchecked(
15+
LL | | &mut vec,
16+
LL | | Mask::splat(true),
17+
LL | | idxs,
18+
LL | | );
19+
| |_________^
1620

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

tests/fail/intrinsics/simd-select-bitmask-invalid.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: Undefined Behavior: a SIMD bitmask less than 8 bits long must be filled with 0s for the remaining bits
22
--> $DIR/simd-select-bitmask-invalid.rs:LL:CC
33
|
4-
LL | simd_select_bitmask(0b11111111u8, x, x);
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ a SIMD bitmask less than 8 bits long must be filled with 0s for the remaining bits
4+
LL | simd_select_bitmask(0b11111111u8, x, x);
5+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ a SIMD bitmask less than 8 bits long must be filled with 0s for the remaining bits
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

tests/fail/intrinsics/simd-select-invalid-bool.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: Undefined Behavior: each element of a SIMD mask must be all-0-bits or all-1-bits
22
--> $DIR/simd-select-invalid-bool.rs:LL:CC
33
|
4-
LL | simd_select(x, x, x);
5-
| ^^^^^^^^^^^^^^^^^^^^ each element of a SIMD mask must be all-0-bits or all-1-bits
4+
LL | simd_select(x, x, x);
5+
| ^^^^^^^^^^^^^^^^^^^^ each element of a SIMD mask must be all-0-bits or all-1-bits
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

tests/fail/intrinsics/simd-shl-too-far.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: Undefined Behavior: overflowing shift by 100 in `simd_shl` in SIMD lane 0
22
--> $DIR/simd-shl-too-far.rs:LL:CC
33
|
4-
LL | simd_shl(x, y);
5-
| ^^^^^^^^^^^^^^ overflowing shift by 100 in `simd_shl` in SIMD lane 0
4+
LL | simd_shl(x, y);
5+
| ^^^^^^^^^^^^^^ overflowing shift by 100 in `simd_shl` in SIMD lane 0
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

tests/fail/intrinsics/simd-shr-too-far.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: Undefined Behavior: overflowing shift by 40 in `simd_shr` in SIMD lane 1
22
--> $DIR/simd-shr-too-far.rs:LL:CC
33
|
4-
LL | simd_shr(x, y);
5-
| ^^^^^^^^^^^^^^ overflowing shift by 40 in `simd_shr` in SIMD lane 1
4+
LL | simd_shr(x, y);
5+
| ^^^^^^^^^^^^^^ overflowing shift by 40 in `simd_shr` in SIMD lane 1
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

tests/fail/should-pass/cpp20_rwc_syncs.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,8 @@ LL | unsafe { intrinsics::unreachable() }
1111
note: inside `test_cpp20_rwc_syncs` at $DIR/cpp20_rwc_syncs.rs:LL:CC
1212
--> $DIR/cpp20_rwc_syncs.rs:LL:CC
1313
|
14-
LL | unsafe { std::hint::unreachable_unchecked(); }
15-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
14+
LL | std::hint::unreachable_unchecked();
15+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1616
note: inside `main` at $DIR/cpp20_rwc_syncs.rs:LL:CC
1717
--> $DIR/cpp20_rwc_syncs.rs:LL:CC
1818
|

tests/fail/stacked_borrows/alias_through_mutation.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,8 @@ LL | let _val = *target_alias;
1212
help: <TAG> was created by a retag at offsets [0x0..0x4]
1313
--> $DIR/alias_through_mutation.rs:LL:CC
1414
|
15-
LL | unsafe { *x = &mut *(target as *mut _); }
16-
| ^^^^^^^^^^^^^^^^^^^^^^^^
15+
LL | *x = &mut *(target as *mut _);
16+
| ^^^^^^^^^^^^^^^^^^^^^^^^
1717
help: <TAG> was later invalidated at offsets [0x0..0x4]
1818
--> $DIR/alias_through_mutation.rs:LL:CC
1919
|

tests/fail/stacked_borrows/box_exclusive_violation1.stderr

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,30 +1,30 @@
11
error: Undefined Behavior: attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
22
--> $DIR/box_exclusive_violation1.rs:LL:CC
33
|
4-
LL | *our
5-
| ^^^^
6-
| |
7-
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8-
| this error occurs as part of an access at ALLOC[0x0..0x4]
4+
LL | *our
5+
| ^^^^
6+
| |
7+
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8+
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
1010
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
1111
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
1212
help: <TAG> was created by a retag at offsets [0x0..0x4]
1313
--> $DIR/box_exclusive_violation1.rs:LL:CC
1414
|
1515
LL | / fn demo_mut_advanced_unique(mut our: Box<i32>) -> i32 {
16-
LL | | unknown_code_1(&*our);
16+
LL | | unknown_code_1(&*our);
1717
LL | |
18-
LL | | // This "re-asserts" uniqueness of the reference: After writing, we know
18+
LL | | // This "re-asserts" uniqueness of the reference: After writing, we know
1919
... |
20-
LL | | *our
20+
LL | | *our
2121
LL | | }
2222
| |_^
2323
help: <TAG> was later invalidated at offsets [0x0..0x4]
2424
--> $DIR/box_exclusive_violation1.rs:LL:CC
2525
|
26-
LL | *LEAK = 7;
27-
| ^^^^^^^^^
26+
LL | *LEAK = 7;
27+
| ^^^^^^^^^
2828
= note: inside `demo_mut_advanced_unique` at $DIR/box_exclusive_violation1.rs:LL:CC
2929
note: inside `main` at $DIR/box_exclusive_violation1.rs:LL:CC
3030
--> $DIR/box_exclusive_violation1.rs:LL:CC

tests/fail/stacked_borrows/buggy_as_mut_slice.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,8 @@ LL | let v1 = safe::as_mut_slice(&v);
1717
help: <TAG> was later invalidated at offsets [0x0..0xc]
1818
--> $DIR/buggy_as_mut_slice.rs:LL:CC
1919
|
20-
LL | from_raw_parts_mut(self_.as_ptr() as *mut T, self_.len())
21-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
20+
LL | unsafe { from_raw_parts_mut(self_.as_ptr() as *mut T, self_.len()) }
21+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2222
= note: inside `main` at $DIR/buggy_as_mut_slice.rs:LL:CC
2323

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

tests/fail/stacked_borrows/buggy_split_at_mut.stderr

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12,13 +12,13 @@ LL | let (a, b) = safe::split_at_mut(&mut array, 0);
1212
help: <TAG> was created by a retag at offsets [0x0..0x10]
1313
--> $DIR/buggy_split_at_mut.rs:LL:CC
1414
|
15-
LL | (from_raw_parts_mut(ptr, len - mid), // BUG: should be "mid" instead of "len - mid"
16-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
15+
LL | from_raw_parts_mut(ptr, len - mid), // BUG: should be "mid" instead of "len - mid"
16+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1717
help: <TAG> was later invalidated at offsets [0x0..0x10]
1818
--> $DIR/buggy_split_at_mut.rs:LL:CC
1919
|
20-
LL | from_raw_parts_mut(ptr.offset(mid as isize), len - mid))
21-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
20+
LL | from_raw_parts_mut(ptr.offset(mid as isize), len - mid),
21+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2222
= note: inside `main` at $DIR/buggy_split_at_mut.rs:LL:CC
2323

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

tests/fail/stacked_borrows/illegal_read6.stderr

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
error: Undefined Behavior: attempting a read access using <untagged> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
22
--> $DIR/illegal_read6.rs:LL:CC
33
|
4-
LL | let _val = *raw;
5-
| ^^^^
6-
| |
7-
| attempting a read access using <untagged> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8-
| this error occurs as part of an access at ALLOC[0x0..0x4]
4+
LL | let _val = *raw;
5+
| ^^^^
6+
| |
7+
| attempting a read access using <untagged> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8+
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
1010
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
1111
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
1212
help: tag was most recently created at offsets [0x0..0x4]
1313
--> $DIR/illegal_read6.rs:LL:CC
1414
|
15-
LL | let raw = x as *mut _;
16-
| ^
15+
LL | let raw = x as *mut _;
16+
| ^
1717
help: tag was later invalidated at offsets [0x0..0x4]
1818
--> $DIR/illegal_read6.rs:LL:CC
1919
|
20-
LL | let x = &mut *x; // kill `raw`
21-
| ^^^^^^^
20+
LL | let x = &mut *x; // kill `raw`
21+
| ^^^^^^^
2222
= note: inside `main` at $DIR/illegal_read6.rs:LL:CC
2323

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

tests/fail/stacked_borrows/illegal_read7.stderr

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
error: Undefined Behavior: trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
22
--> $DIR/illegal_read7.rs:LL:CC
33
|
4-
LL | let _val = *x.get_mut();
5-
| ^^^^^^^^^^^
6-
| |
7-
| trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8-
| this error occurs as part of a reborrow at ALLOC[0x0..0x4]
4+
LL | let _val = *x.get_mut();
5+
| ^^^^^^^^^^^
6+
| |
7+
| trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8+
| this error occurs as part of a reborrow at ALLOC[0x0..0x4]
99
|
1010
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
1111
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
1212
help: <TAG> was created by a retag at offsets [0x0..0x4]
1313
--> $DIR/illegal_read7.rs:LL:CC
1414
|
15-
LL | let x = &mut *raw;
16-
| ^^^^^^^^^
15+
LL | let x = &mut *raw;
16+
| ^^^^^^^^^
1717
help: <TAG> was later invalidated at offsets [0x0..0x4]
1818
--> $DIR/illegal_read7.rs:LL:CC
1919
|
20-
LL | let _val = ptr::read(raw);
21-
| ^^^^^^^^^^^^^^
20+
LL | let _val = ptr::read(raw);
21+
| ^^^^^^^^^^^^^^
2222
= note: inside `main` at $DIR/illegal_read7.rs:LL:CC
2323

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

tests/fail/stacked_borrows/illegal_read8.stderr

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
error: Undefined Behavior: attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
22
--> $DIR/illegal_read8.rs:LL:CC
33
|
4-
LL | let _fail = *y1;
5-
| ^^^
6-
| |
7-
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8-
| this error occurs as part of an access at ALLOC[0x0..0x4]
4+
LL | let _fail = *y1;
5+
| ^^^
6+
| |
7+
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8+
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
1010
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
1111
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
1212
help: <TAG> was created by a retag at offsets [0x0..0x4]
1313
--> $DIR/illegal_read8.rs:LL:CC
1414
|
15-
LL | let y1: &i32 = mem::transmute(&*x); // launder lifetimes
16-
| ^^^^^^^^^^^^^^^^^^^
15+
LL | let y1: &i32 = mem::transmute(&*x); // launder lifetimes
16+
| ^^^^^^^^^^^^^^^^^^^
1717
help: <TAG> was later invalidated at offsets [0x0..0x4]
1818
--> $DIR/illegal_read8.rs:LL:CC
1919
|
20-
LL | *y2 += 1;
21-
| ^^^^^^^^
20+
LL | *y2 += 1;
21+
| ^^^^^^^^
2222
= note: inside `main` at $DIR/illegal_read8.rs:LL:CC
2323

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

tests/fail/stacked_borrows/interior_mut1.stderr

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
error: Undefined Behavior: trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
22
--> $DIR/interior_mut1.rs:LL:CC
33
|
4-
LL | let _val = *inner_shr.get();
5-
| ^^^^^^^^^^^^^^^
6-
| |
7-
| trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8-
| this error occurs as part of a reborrow at ALLOC[0x0..0x4]
4+
LL | let _val = *inner_shr.get();
5+
| ^^^^^^^^^^^^^^^
6+
| |
7+
| trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
8+
| this error occurs as part of a reborrow at ALLOC[0x0..0x4]
99
|
1010
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
1111
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
1212
help: <TAG> was created by a retag at offsets [0x0..0x4]
1313
--> $DIR/interior_mut1.rs:LL:CC
1414
|
15-
LL | let inner_shr = &*inner_uniq; // adds a SharedReadWrite
16-
| ^^^^^^^^^^^^
15+
LL | let inner_shr = &*inner_uniq; // adds a SharedReadWrite
16+
| ^^^^^^^^^^^^
1717
help: <TAG> was later invalidated at offsets [0x0..0x4]
1818
--> $DIR/interior_mut1.rs:LL:CC
1919
|
20-
LL | *c.get() = UnsafeCell::new(1); // invalidates inner_shr
21-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
20+
LL | *c.get() = UnsafeCell::new(1); // invalidates inner_shr
21+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2222
= note: inside `main` at $DIR/interior_mut1.rs:LL:CC
2323

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

0 commit comments

Comments
 (0)