diff options
| author | bors <bors@rust-lang.org> | 2023-10-16 12:40:16 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-10-16 12:40:16 +0000 |
| commit | e7bdc5f9f869219e8d20060b42a09ea10a837851 (patch) | |
| tree | 472cfab537e3f3d06219759f4cf11a6e00c2472c /compiler/rustc_ast_pretty/src/lib.rs | |
| parent | a00c09e9d80b763fb29206b47b04e1d99c3ace96 (diff) | |
| parent | 1ac153f60bb30748a813e27f433c82e483d9a98a (diff) | |
| download | rust-e7bdc5f9f869219e8d20060b42a09ea10a837851.tar.gz rust-e7bdc5f9f869219e8d20060b42a09ea10a837851.zip | |
Auto merge of #114330 - RalfJung:dagling-ptr-deref, r=oli-obk
don't UB on dangling ptr deref, instead check inbounds on projections This implements https://github.com/rust-lang/reference/pull/1387 in Miri. See that PR for what the change is about. Detecting dangling references in `let x = &...;` is now done by validity checking only, so some tests need to have validity checking enabled. There is no longer inherently a "nodangle" check in evaluating the expression `&*ptr` (aside from the aliasing model). r? `@oli-obk` Based on: - https://github.com/rust-lang/reference/pull/1387 - https://github.com/rust-lang/rust/pull/115524
Diffstat (limited to 'compiler/rustc_ast_pretty/src/lib.rs')
0 files changed, 0 insertions, 0 deletions