Directly write to dest place in EvalContextExt::Write

Author: tiif

src/shims/unix/fd.rs

@@ -628,14 +628,18 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                 let Ok(offset) = u64::try_from(offset) else {
                     let einval = this.eval_libc("EINVAL");
                     this.set_last_error(einval)?;
-                    return Ok(Scalar::from_target_isize(-1, this));
+                    let res = Scalar::from_target_isize(-1, this);
+                    this.write_scalar(res, dest)?;
+                    return Ok(());
                 };
                 fd.pwrite(communicate, &bytes, offset, this)
             }
         };
 
-        let result = result?.map(|c| i64::try_from(c).unwrap());
-        Ok(Scalar::from_target_isize(this.try_unwrap_io_result(result)?, this))
+        let result = this.try_unwrap_io_result(result?.map(|c| i64::try_from(c).unwrap()))?;
+        this.write_scalar(Scalar::from_target_isize(result, this), dest)?;
+        Ok(())
+        //Ok(Scalar::from_target_isize(this.try_unwrap_io_result(result)?, this))
     }
 
     /// This function write bytes to the user supplied buffer and write the total number of bytes