Use correct alignment for fat pointer extra part

This commit is contained in:
Oliver Scherer
2018-11-15 17:47:11 +01:00
parent 9d57adf2ba
commit 927c5aab47
+1 -1
View File
@@ -295,7 +295,7 @@ pub(super) fn try_read_immediate_from_mplace(
let a_val = self.memory
.get(ptr.alloc_id)?
.read_scalar(self, a_ptr, a_size)?;
self.memory.check_align(b_ptr.into(), b.align(self))?;
self.memory.check_align(b_ptr.into(), b.align(self).min(ptr_align))?;
let b_val = self.memory
.get(ptr.alloc_id)?
.read_scalar(self, b_ptr, b_size)?;