bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

CFI: Erase regions when projecting ADT to its transparent non-1zst field

Browse source
This commit is contained in:
Michael Goulet 2024-08-16 21:33:44 -04:00
parent a73bc4a131
commit c8ae02fb84
2 changed files with 19 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_sanitizers/src/cfi/typeid/itanium_cxx_abi/transform.rs
View file

@ -146,7 +146,7 @@ impl<'tcx> TypeFolder<TyCtxt<'tcx>> for TransformTy<'tcx> {
!is_zst
});
if let Some(field) = field {
let ty0 = self.tcx.type_of(field.did).instantiate(self.tcx, args);
let ty0 = self.tcx.erase_regions(field.ty(self.tcx, args));
// Generalize any repr(transparent) user-defined type that is either a
// pointer or reference, and either references itself or any other type that
// contains or references itself, to avoid a reference cycle.