bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Fix ICE in mir when evaluating SizeOf on unsized type

Browse source 
Fixes #80742
This commit is contained in:
Ömer Sinan Ağacan 2021-01-19 10:11:24 +03:00
parent f09fb488f7
commit 3fb53c2c85
3 changed files with 82 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/rustc_mir/src/interpret/step.rs
View file

@ -264,10 +264,13 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
NullaryOp(mir::NullOp::SizeOf, ty) => {
let ty = self.subst_from_current_frame_and_normalize_erasing_regions(ty);
let layout = self.layout_of(ty)?;
assert!(
!layout.is_unsized(),
"SizeOf nullary MIR operator called for unsized type"
);
if layout.is_unsized() {
// FIXME: This should be a span_bug (#80742)
self.tcx.sess.delay_span_bug(
self.frame().current_span(),
&format!("SizeOf nullary MIR operator called for unsized type {}", ty),
);
}
self.write_scalar(Scalar::from_machine_usize(layout.size.bytes(), self), dest)?;
}