fix issue 184 by marking the destination as a packed struct

rust-lang · Jun 6, 2017 · c8be312 · c8be312
1 parent 58a4639
commit c8be312
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/src/terminator/intrinsic.rs b/src/terminator/intrinsic.rs
@@ -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" => {

diff --git a/tests/run-pass/issue-miri-184.rs b/tests/run-pass/issue-miri-184.rs
@@ -0,0 +1,4 @@
+pub fn main() {
+    let bytes: [u8; 8] = unsafe { ::std::mem::transmute(0u64) };
+    let _: &[u8] = &bytes;
+}