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 b697dd2 commit fe32934Copy full SHA for fe32934
src/shims/unix/fs.rs
@@ -40,7 +40,8 @@ impl FileDescription for FileHandle {
40
ecx: &mut MiriInterpCx<'tcx>,
41
) -> InterpResult<'tcx> {
42
assert!(communicate_allowed, "isolation should have prevented even opening a file");
43
- ecx.read_byte_helper(ptr, bytes.to_vec(), (&mut &self.file).read(bytes), dest)?;
+ let result = (&mut &self.file).read(bytes);
44
+ ecx.read_byte_helper(ptr, bytes.to_vec(), result, dest)?;
45
Ok(())
46
}
47
0 commit comments