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
..
dep_graph	Move DepKind to rustc_query_system and define it as u16	2023-09-21 17:06:14 +02:00
hir	Extend impl's def_span to include where clauses	2023-10-09 11:47:02 +00:00
hooks	add some docs to hooks/mod.rs	2023-09-30 22:33:22 +02:00
infer	Format all the let chains in compiler	2023-10-13 08:59:36 +00:00
middle	Format all the let chains in compiler	2023-10-13 08:59:36 +00:00
mir	Auto merge of #114330 - RalfJung:dagling-ptr-deref, r=oli-obk	2023-10-16 12:40:16 +00:00
query	remove another unused Key impl	2023-10-02 09:49:45 +02:00
thir	Propagate pattern errors via a new PatKind::Error variant	2023-10-14 13:38:02 +02:00
traits	Check types live across yields in generators too	2023-09-23 04:19:14 +00:00
ty	Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstrieb	2023-10-15 13:23:55 +00:00
util	Merge ExternProviders into the general Providers struct	2023-09-22 20:15:34 +00:00
arena.rs	Implement Deref<LayoutS> for Layout	2023-10-02 21:31:16 +02:00
error.rs	don't point at const usage site for resolution-time errors	2023-09-14 22:34:05 +02:00
lib.rs	rustdoc: remove rust logo from non-Rust crates	2023-10-08 20:17:53 -07:00
lint.rs	give FutureIncompatibilityReason variants more explicit names	2023-09-22 08:51:18 +02:00
macros.rs	Rename CloneLiftImpls as TrivialLiftImpls.	2023-09-18 09:37:09 +10:00
metadata.rs	rustc_metadata: Remove Span from ModChild	2023-04-18 17:25:04 +03:00
tests.rs	mv compiler to compiler/	2020-08-30 18:45:07 +03:00
thir.rs	Propagate pattern errors via a new PatKind::Error variant	2023-10-14 13:38:02 +02:00
values.rs	Format all the let chains in compiler	2023-10-13 08:59:36 +00:00