Pass dest place to read

Author: tiif

src/shims/unix/fd.rs

@@ -32,6 +32,7 @@ pub trait FileDescription: std::fmt::Debug + Any {
         _communicate_allowed: bool,
         _bytes: &mut [u8],
         _ptr: Pointer,
+        _dest: &MPlaceTy<'tcx>,
         _ecx: &mut MiriInterpCx<'tcx>,
     ) -> InterpResult<'tcx, io::Result<usize>> {
         throw_unsup_format!("cannot read from {}", self.name());
@@ -128,6 +129,7 @@ impl FileDescription for io::Stdin {
         communicate_allowed: bool,
         bytes: &mut [u8],
         _ptr: Pointer,
+        _dest: &MPlaceTy<'tcx>,
         _ecx: &mut MiriInterpCx<'tcx>,
     ) -> InterpResult<'tcx, io::Result<usize>> {
         if !communicate_allowed {
@@ -571,7 +573,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
 
         let mut bytes = vec![0; usize::try_from(count).unwrap()];
         let result = match offset {
-            None => fd.read(&fd, communicate, &mut bytes, buf, this),
+            None => fd.read(&fd, communicate, &mut bytes, buf, dest, this),
             Some(offset) => {
                 let Ok(offset) = u64::try_from(offset) else {
                     let einval = this.eval_libc("EINVAL");

src/shims/unix/fs.rs

@@ -36,6 +36,7 @@ impl FileDescription for FileHandle {
         communicate_allowed: bool,
         bytes: &mut [u8],
         _ptr: Pointer,
+        _dest: &MPlaceTy<'tcx>,
         _ecx: &mut MiriInterpCx<'tcx>,
     ) -> InterpResult<'tcx, io::Result<usize>> {
         assert!(communicate_allowed, "isolation should have prevented even opening a file");

src/shims/unix/linux/eventfd.rs

@@ -64,6 +64,7 @@ impl FileDescription for Event {
         _communicate_allowed: bool,
         bytes: &mut [u8],
         _ptr: Pointer,
+        _dest: &MPlaceTy<'tcx>,
         ecx: &mut MiriInterpCx<'tcx>,
     ) -> InterpResult<'tcx, io::Result<usize>> {
         // Check the size of slice, and return error only if the size of the slice < 8.

src/shims/unix/unnamed_socket.rs

@@ -128,6 +128,7 @@ impl FileDescription for AnonSocket {
         _communicate_allowed: bool,
         bytes: &mut [u8],
         _ptr: Pointer,
+        _dest: &MPlaceTy<'tcx>,
         ecx: &mut MiriInterpCx<'tcx>,
     ) -> InterpResult<'tcx, io::Result<usize>> {
         let request_byte_size = bytes.len();