bors e7bdc5f9f8 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		2023-10-16 12:40:16 +00:00
..
allocation	Format all the let chains in compiler	2023-10-13 08:59:36 +00:00
allocation.rs	interpret: clean up AllocBytes	2023-10-14 12:29:16 +02:00
error.rs	more precise error for 'based on misaligned pointer' case	2023-10-15 18:13:33 +02:00
mod.rs	more precise error for 'based on misaligned pointer' case	2023-10-15 18:13:33 +02:00
pointer.rs	interpret: make MemPlace, Place, Operand types private to the interpreter	2023-09-04 17:53:38 +02:00
queries.rs	don't point at const usage site for resolution-time errors	2023-09-14 22:34:05 +02:00
value.rs	Auto merge of #115827 - eduardosm:miri-sse-reduce-code-dup, r=RalfJung	2023-09-20 12:07:26 +00:00