user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix issue 184 by marking the destination as a packed struct

Browse source
This commit is contained in:
David Renshaw 2017-06-06 09:49:34 -04:00
parent 58a46392c1
commit c8be312933
2 changed files with 14 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/terminator/intrinsic.rs
View file

@ -383,8 +383,17 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
}
"transmute" => {
let src_ty = substs.type_at(0);
let dest_ty = substs.type_at(1);
self.write_value(arg_vals[0], dest, dest_ty)?;
let (_, src_align) = self.size_and_align_of_dst(src_ty, arg_vals[0])?;
let (size, dest_align) = self.size_and_align_of_dst(dest_ty, arg_vals[0])?;
if dest_align < src_align {
let ptr = self.force_allocation(dest)?.to_ptr();
self.memory.mark_packed(ptr, size);
self.write_value_to_ptr(arg_vals[0], ptr, dest_ty)?;
} else {
self.write_value(arg_vals[0], dest, dest_ty)?;
}
}
"uninit" => {

4
tests/run-pass/issue-miri-184.rs Normal file
View file

@ -0,0 +1,4 @@
pub fn main() {
let bytes: [u8; 8] = unsafe { ::std::mem::transmute(0u64) };
let _: &[u8] = &bytes;
}