about summary refs log tree commit diff
path: root/compiler/rustc_codegen_gcc
diff options
context:
space:
mode:
authorMatthias Krüger <476013+matthiaskrgr@users.noreply.github.com>2025-05-24 16:08:45 +0200
committerGitHub <noreply@github.com>2025-05-24 16:08:45 +0200
commit334d7bd698ca8a6c90824afe42a4c307d0692fea (patch)
treea1f6e0aaffb2876e333d3150425d7fd1f9f0bd39 /compiler/rustc_codegen_gcc
parent3de4f1ccf3873782fae2a3883d029ed3d4542581 (diff)
parent0fdeab95250126d135a4bf14cb8959038481204c (diff)
downloadrust-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_gcc')
0 files changed, 0 insertions, 0 deletions