We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f31c47b commit d7ee32dCopy full SHA for d7ee32d
src/shims/unix/linux/eventfd.rs
@@ -68,7 +68,7 @@ impl FileDescription for Event {
68
ecx: &mut MiriInterpCx<'tcx>,
69
) -> InterpResult<'tcx> {
70
// eventfd read at the size of u64.
71
- let buf_place = ecx.ptr_to_mplace(ptr, ecx.machine.layouts.u64);
+ let buf_place = ecx.ptr_to_mplace_unaligned(ptr, ecx.machine.layouts.u64);
72
// Check the size of slice, and return error only if the size of the slice < 8.
73
if len < U64_ARRAY_SIZE.try_into().unwrap() {
74
let result = Err(Error::from(ErrorKind::InvalidInput));
0 commit comments