Remove todo

Author: tiif

src/shims/unix/fd.rs

@@ -568,7 +568,6 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
         // because it was a target's `usize`. Also we are sure that its smaller than
         // `usize::MAX` because it is bounded by the host's `isize`.
 
-        // TODO: shouldn't pass vec, just pass pointer and directly write to it.
         let mut bytes = vec![0; usize::try_from(count).unwrap()];
         let result = match offset {
             None => fd.read(&fd, communicate, &mut bytes, buf, this),
@@ -629,14 +628,12 @@ fn read_byte_helper<'tcx>(
 ) -> InterpResult<'tcx, Scalar> {
     // `File::read` never returns a value larger than `count`, so this cannot fail.
     match result?.map(|c| i64::try_from(c).unwrap()) {
-        // TODO: get the byte out the result, then write the ptr.
         // try to pass this the write_ptr inside write
         // Pass the pointer inside the write function.
         Ok(read_bytes) => {
             // If reading to `bytes` did not fail, we write those bytes to the buffer.
             // Crucially, if fewer than `bytes.len()` bytes were read, only write
             // that much into the output buffer!
-            // TODO: write to pointer here.
             ecx.write_bytes_ptr(
                 buf,
                 bytes[..usize::try_from(read_bytes).unwrap()].iter().copied(),