diff options
| author | bors <bors@rust-lang.org> | 2022-09-01 13:49:27 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-09-01 13:49:27 +0000 |
| commit | 2d50443401d04becfa13ad350d2fba1b9819a686 (patch) | |
| tree | 6517f03f20a509a751a4edca5e15421bc3761925 /tests/mir-opt/lower_array_len.array_bound_mut.NormalizeArrayLen.diff | |
| parent | 8218248fd19d2507d035b9a3ac6b5ebc89d31a32 (diff) | |
| parent | 3cfb9915fcf97ac3f312d2277193d2c2cf934057 (diff) | |
| download | rust-2d50443401d04becfa13ad350d2fba1b9819a686.tar.gz rust-2d50443401d04becfa13ad350d2fba1b9819a686.zip | |
Auto merge of #2523 - saethlin:protector-test, r=RalfJung
Add a protector test that demonstrates the base tag diagnostic Per https://github.com/rust-lang/miri/pull/2519#issuecomment-1232736295, this demonstrates this case for protector diagnostics: ``` help: <3131> was created here, as a base tag for alloc1623 --> tests/fail/stacked_borrows/invalidate_against_protector3.rs:10:19 | 10 | let ptr = std::alloc::alloc(std::alloc::Layout::for_value(&0i32)) as *mut i32; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ``` This diagnostic is inspired by what Miri used to do with https://github.com/rust-lang/rust/issues/60076#issuecomment-1214169179
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_bound_mut.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions