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

Commit 6ed05d9

Browse files
RalfJungRalfJung
committed
bless
1 parent d9f8312 commit 6ed05d9

Some content is hidden

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

51 files changed

+51
-51
lines changed

‎tests/fail/box-cell-alias.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | unsafe { (*ptr).set(20); }
77
| trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of a reborrow at ALLOC[0x0..0x1]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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..0x1]
1313
--> $DIR/box-cell-alias.rs:LL:CC

‎tests/fail/stacked_borrows/alias_through_mutation.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _val = *target_alias;
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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/alias_through_mutation.rs:LL:CC

‎tests/fail/stacked_borrows/aliasing_mut1.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ error: Undefined Behavior: not granting access to tag <TAG> because incompatible
44
LL | pub fn safe(_x: &mut i32, _y: &mut i32) {}
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not granting access to tag <TAG> because incompatible item is protected: [Unique for <TAG> (call ID)]
66
|
7-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
7+
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
88
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
99
help: <TAG> was created by a retag at offsets [0x0..0x4]
1010
--> $DIR/aliasing_mut1.rs:LL:CC

‎tests/fail/stacked_borrows/aliasing_mut2.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ error: Undefined Behavior: not granting access to tag <TAG> because incompatible
44
LL | pub fn safe(_x: &i32, _y: &mut i32) {}
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not granting access to tag <TAG> because incompatible item is protected: [SharedReadOnly for <TAG> (call ID)]
66
|
7-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
7+
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
88
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
99
help: <TAG> was created by a retag at offsets [0x0..0x4]
1010
--> $DIR/aliasing_mut2.rs:LL:CC

‎tests/fail/stacked_borrows/aliasing_mut3.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | pub fn safe(_x: &mut i32, _y: &i32) {}
77
| trying to reborrow <untagged> for SharedReadOnly permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of a reborrow at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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/aliasing_mut3.rs:LL:CC

‎tests/fail/stacked_borrows/aliasing_mut4.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ error: Undefined Behavior: not granting access to tag <TAG> because incompatible
44
LL | pub fn safe(_x: &i32, _y: &mut Cell<i32>) {}
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not granting access to tag <TAG> because incompatible item is protected: [SharedReadOnly for <TAG> (call ID)]
66
|
7-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
7+
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
88
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
99
help: <TAG> was created by a retag at offsets [0x0..0x4]
1010
--> $DIR/aliasing_mut4.rs:LL:CC

‎tests/fail/stacked_borrows/box_exclusive_violation1.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | *our
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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

‎tests/fail/stacked_borrows/buggy_as_mut_slice.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | v1[1] = 5;
77
| attempting a write access using <TAG> at ALLOC[0x4], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x4..0x8]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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..0xc]
1313
--> $DIR/buggy_as_mut_slice.rs:LL:CC

‎tests/fail/stacked_borrows/buggy_split_at_mut.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let (a, b) = safe::split_at_mut(&mut array, 0);
77
| trying to reborrow <TAG> for Unique permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of a reborrow at ALLOC[0x0..0x10]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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..0x10]
1313
--> $DIR/buggy_split_at_mut.rs:LL:CC

‎tests/fail/stacked_borrows/deallocate_against_barrier1.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ error: Undefined Behavior: deallocating while item is protected: [Unique for <TA
44
LL | unsafe { __rust_dealloc(ptr, layout.size(), layout.align()) }
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ deallocating while item is protected: [Unique for <TAG> (call ID)]
66
|
7-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
7+
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
88
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
99

1010
= note: inside `std::alloc::dealloc` at RUSTLIB/alloc/src/alloc.rs:LL:CC

‎tests/fail/stacked_borrows/deallocate_against_barrier2.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ error: Undefined Behavior: deallocating while item is protected: [SharedReadWrit
44
LL | unsafe { __rust_dealloc(ptr, layout.size(), layout.align()) }
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ deallocating while item is protected: [SharedReadWrite for <TAG> (call ID)]
66
|
7-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
7+
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
88
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
99

1010
= note: inside `std::alloc::dealloc` at RUSTLIB/alloc/src/alloc.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_read1.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _val = *xref; // ...but any use of raw will invalidate our ref.
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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_read1.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_read2.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _val = *xref; // ...but any use of raw will invalidate our ref.
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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_read2.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_read3.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _val = *xref2;
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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_read3.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_read4.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _illegal = *xref2;
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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_read4.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_read5.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _val = *xref; // the mutable one is dead and gone
77
| attempting a read access using <TAG> at ALLOC[$HEX], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[$HEX..$HEX]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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 [$HEX..$HEX]
1313
--> $DIR/illegal_read5.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_read6.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _val = *raw;
77
| attempting a read access using <untagged> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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

‎tests/fail/stacked_borrows/illegal_read7.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _val = *x.get_mut();
77
| trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of a reborrow at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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

‎tests/fail/stacked_borrows/illegal_read8.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _fail = *y1;
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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

‎tests/fail/stacked_borrows/illegal_write1.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _x = *xref;
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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_write1.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_write2.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | unsafe { *target2 = 13; }
77
| attempting a write access using <untagged> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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_write2.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_write3.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | unsafe { *ptr = 42; }
77
| attempting a write access using <untagged> at ALLOC[0x0], but that tag only grants SharedReadOnly permission for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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_write3.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_write4.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _val = *reference;
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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_write4.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_write5.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | let _val = *xref;
77
| attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
88
| this error occurs as part of an access at ALLOC[0x0..0x4]
99
|
10-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
10+
= 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_write5.rs:LL:CC

‎tests/fail/stacked_borrows/illegal_write6.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ error: Undefined Behavior: not granting access to tag <untagged> because incompa
44
LL | unsafe { *y = 2; }
55
| ^^^^^^ not granting access to tag <untagged> because incompatible item is protected: [Unique for <TAG> (call ID)]
66
|
7-
= help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
7+
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
88
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
99
help: tag was most recently created at offsets [0x0..0x4]
1010
--> $DIR/illegal_write6.rs:LL:CC

0 commit comments

Comments
 (0)