bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

safe transmute: forbid reference lifetime extension

Browse source 
Modifies `BikeshedIntrinsicFrom` to forbid lifetime extensions on
references. This static check can be opted out of with the
`Assume::lifetimes` flag.

Fixes #129097
This commit is contained in:
Jack Wrenn 2024-08-14 20:10:28 +00:00
parent 0f442e265c
commit 17995d5cc2
9 changed files with 535 additions and 132 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_transmute/src/maybe_transmutable/mod.rs
View file

@ -30,7 +30,7 @@ where
// FIXME: Nix this cfg, so we can write unit tests independently of rustc
#[cfg(feature = "rustc")]
mod rustc {
use rustc_middle::ty::layout::{LayoutCx, LayoutOf};
use rustc_middle::ty::layout::LayoutCx;
use rustc_middle::ty::{ParamEnv, Ty, TyCtxt};
use super::*;
@ -45,10 +45,9 @@ mod rustc {
let layout_cx = LayoutCx { tcx: context, param_env: ParamEnv::reveal_all() };
let layout_of = |ty| {
layout_cx
.layout_of(ty)
crate::layout::rustc::layout_of(layout_cx, ty)
.map_err(|_| Err::NotYetSupported)
.and_then(|tl| Tree::from_ty(tl, layout_cx))
.and_then(|_| Tree::from_ty(ty, layout_cx))
};
// Convert `src` and `dst` from their rustc representations, to `Tree`-based