From ab0a805440ccd4d254d77b6214440e5382f91307 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Mon, 27 Nov 2017 14:32:09 +0100
Subject: [PATCH] Use correct alignment

---
 miri/intrinsic.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/miri/intrinsic.rs b/miri/intrinsic.rs
index 79dc3c7fe2a..ccc2a9dd257 100644
--- a/miri/intrinsic.rs
+++ b/miri/intrinsic.rs
@@ -514,7 +514,7 @@ fn call_intrinsic(
                 let (_, align) = self.size_and_align_of_dst(ty, args[0].value)?;
                 self.write_primval(
                     dest,
-                    PrimVal::from_u128(align.pref() as u128),
+                    PrimVal::from_u128(align.abi() as u128),
                     dest_layout.ty,
                 )?;
             }
-- 
2.44.0