File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -647,8 +647,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
647647 Ok ( ( ) )
648648 }
649649
650- /// This function write bytes to the user supplied buffer and write the total number of bytes
651- /// written to the dest place. (TODO: fix phrasing later, this function might change)
650+ /// This function either writes to the user supplied buffer and to dest place, or return error.
652651 fn read_byte_helper (
653652 & mut self ,
654653 buf : Pointer ,
@@ -680,6 +679,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
680679 }
681680 }
682681
682+ /// This function either writes the number of written bytes to dest place or return error.
683683 fn write_byte_helper (
684684 & mut self ,
685685 result : io:: Result < usize > ,
You can’t perform that action at this time.
0 commit comments