Skip to content

Commit 41dcec7

Browse files
correct way to get file size
1 parent 78a7482 commit 41dcec7

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

@@ -1241,7 +1240,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
12411240

12421241
if file.writable {
12431242
let current_size = match file.file.metadata() {
1244-
Ok(metadata) => metadata.size(),
1243+
Ok(metadata) => metadata.len(),
12451244
Err(err) => return this.io_error_to_errnum(err),
12461245
};
12471246
let new_size = match offset.checked_add(len) {

0 commit comments

Comments
 (0)