diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-05-24 16:08:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-24 16:08:45 +0200 |
| commit | 334d7bd698ca8a6c90824afe42a4c307d0692fea (patch) | |
| tree | a1f6e0aaffb2876e333d3150425d7fd1f9f0bd39 /compiler/rustc_codegen_llvm/src | |
| parent | 3de4f1ccf3873782fae2a3883d029ed3d4542581 (diff) | |
| parent | 0fdeab95250126d135a4bf14cb8959038481204c (diff) | |
| download | rust-334d7bd698ca8a6c90824afe42a4c307d0692fea.tar.gz rust-334d7bd698ca8a6c90824afe42a4c307d0692fea.zip | |
Rollup merge of #137323 - joshlf:transmute-npo, r=RalfJung
Guarantee behavior of transmuting `Option::<T>::None` subject to NPO In https://github.com/rust-lang/rust/pull/115333, we added a guarantee that transmuting from `[0u8; N]` to `Option<P>` is sound where `P` is a pointer type subject to the null pointer optimization (NPO). It would be useful to be able to guarantee the inverse - that a `None::<P>` value can be transmutes to an array and that will yield `[0u8; N]`. Closes #117591
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions