]> git.lizzy.rs Git - rust.git/commit
Auto merge of #106180 - RalfJung:dereferenceable-generators, r=nbdd0121
authorbors <bors@rust-lang.org>
Tue, 7 Feb 2023 03:35:10 +0000 (03:35 +0000)
committerbors <bors@rust-lang.org>
Tue, 7 Feb 2023 03:35:10 +0000 (03:35 +0000)
commitdffea43fc1102bdfe16d88ed412c23d4f0f08d9d
tree586e4b0654ddcf6e78ba98498deb33ed10c49c98
parent35d6d70a64d8db139a700ccfdb31824bbf4ba350
parent1ef16874b5ef79e193526cd23eebd30d45826360
Auto merge of #106180 - RalfJung:dereferenceable-generators, r=nbdd0121

make &mut !Unpin not dereferenceable, and Box<!Unpin> not noalias

See https://github.com/rust-lang/unsafe-code-guidelines/issues/381 and [this LLVM discussion](https://discourse.llvm.org/t/interaction-of-noalias-and-dereferenceable/66979). The exact semantics of how `noalias` and `dereferenceable` interact are unclear, and `@comex` found a case of LLVM actually exploiting that ambiguity for optimizations. I think for now we should treat LLVM `dereferenceable` as implying a "fake read" to happen immediately at the top of the function (standing in for the spurious reads that LLVM might introduce), and that fake read is subject to all the usual `noalias` restrictions. This means we cannot put `dereferenceable` on `&mut !Unpin` references as those references can alias with other references that are being read and written inside the function (e.g. for self-referential generators), meaning the fake read introduces aliasing conflicts with those other accesses.

For `&` this is already not a problem due to https://github.com/rust-lang/rust/pull/98017 which removed the `dereferenceable` attribute for other reasons.

Regular `&mut Unpin` references are unaffected, so I hope the impact of this is going to be tiny.

The first commit does some refactoring of the `PointerKind` enum since I found the old code very confusing each time I had to touch it. It doesn't change behavior.

Fixes https://github.com/rust-lang/miri/issues/2714

EDIT: Turns out our `Box<!Unpin>` treatment was incorrect, too, so the PR also fixes that now (in codegen and Miri): we do not put `noalias` on these boxes any more.