bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

make sure miri ices when dereferencing a box

Browse source
This commit is contained in:
DrMeepster 2022-05-19 17:33:12 -07:00
parent 1d1ff36214
commit dff1f9f6bb
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_const_eval/src/interpret/place.rs
View file

@ -313,6 +313,11 @@ where
) -> InterpResult<'tcx, MPlaceTy<'tcx, M::PointerTag>> {
let val = self.read_immediate(src)?;
trace!("deref to {} on {:?}", val.layout.ty, *val);
if val.layout.ty.is_box() {
bug!("dereferencing {:?}", val.layout.ty);
}
let mplace = self.ref_to_mplace(&val)?;
self.check_mplace_access(mplace, CheckInAllocMsg::DerefTest)?;
Ok(mplace)