diff options
| author | bors <bors@rust-lang.org> | 2022-08-31 10:06:05 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-08-31 10:06:05 +0000 |
| commit | da45adc62246fb229ffaf4f0102ed60d199e8c32 (patch) | |
| tree | 40a76f5e17333f0d0c34256fea5c1235a1fa5b30 /tests/mir-opt/lower_array_len.array_bound.NormalizeArrayLen.diff | |
| parent | 284b59c4dc89ef7fe44ac0b372394081fcbb88f5 (diff) | |
| parent | da0d4829bf7ca00fce64ce8563b84299699131b2 (diff) | |
| download | rust-da45adc62246fb229ffaf4f0102ed60d199e8c32.tar.gz rust-da45adc62246fb229ffaf4f0102ed60d199e8c32.zip | |
Auto merge of #2519 - saethlin:rustup, r=RalfJung
Use the better FnEntry spans in protector errors
Example error, from `tests/fail/stacked_borrows/invalidate_against_protector1.rs`:
```
error: Undefined Behavior: not granting access to tag <3095> because that would remove [Unique for <3099>] which is protected because it is an argument of call 943
--> tests/fail/stacked_borrows/invalidate_against_protector1.rs:5:25
|
5 | let _val = unsafe { *x }; //~ ERROR: protect
| ^^ not granting access to tag <3095> because that would remove [Unique for <3099>] which is protected because it is an argument of call 943
|
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
help: <3095> was created by a SharedReadWrite retag at offsets [0x0..0x4]
--> tests/fail/stacked_borrows/invalidate_against_protector1.rs:10:16
|
10 | let xraw = &mut x as *mut _;
| ^^^^^^
help: <3099> is this argument
--> tests/fail/stacked_borrows/invalidate_against_protector1.rs:1:23
|
1 | fn inner(x: *mut i32, _y: &mut i32) {
| ^^
= note: backtrace:
= note: inside `inner` at tests/fail/stacked_borrows/invalidate_against_protector1.rs:5:25
note: inside `main` at tests/fail/stacked_borrows/invalidate_against_protector1.rs:12:5
--> tests/fail/stacked_borrows/invalidate_against_protector1.rs:12:5
|
12 | inner(xraw, xref);
| ^^^^^^^^^^^^^^^^^
```
Benchmarks report no change, within noise.
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_bound.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions
