Skip to content

Commit 64be5bb

Browse files
correct way to get file size
1 parent 3626dff commit 64be5bb

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/shims/unix/fs.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ use std::fs::{
66
remove_file, rename,
77
};
88
use std::io::{self, ErrorKind, Read, Seek, SeekFrom, Write};
9-
use std::os::unix::fs::MetadataExt;
109
use std::path::{Path, PathBuf};
1110
use std::time::SystemTime;
1211

@@ -1236,7 +1235,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
12361235

12371236
if file.writable {
12381237
let current_size = match file.file.metadata() {
1239-
Ok(metadata) => metadata.size(),
1238+
Ok(metadata) => metadata.len(),
12401239
Err(err) => return this.io_error_to_errnum(err),
12411240
};
12421241
let new_size = match offset.checked_add(len) {

0 commit comments

Comments
 (0)