mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Don't treat ref. fields with non-null niches as dereferenceable_or_null

Browse Source
This commit is contained in:
Moulins 2023-06-27 00:47:27 +02:00
parent f2dded27f8
commit 1984e208e0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/type_of.rs
View File

@ -339,7 +339,8 @@ impl<'tcx> LayoutGccExt<'tcx> for TyAndLayout<'tcx> {
return pointee;
}
let result = Ty::ty_and_layout_pointee_info_at(*self, cx, offset);
let assume_valid_ptr = true;
let result = Ty::ty_and_layout_pointee_info_at(*self, cx, offset, assume_valid_ptr);
cx.pointee_infos.borrow_mut().insert((self.ty, offset), result);
result