@@ -340,7 +340,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
340
340
this. try_unwrap_io_result ( create_link ( target, linkpath) . map ( |_| 0 ) )
341
341
}
342
342
343
- fn stat (
343
+ fn macos_stat (
344
344
& mut self ,
345
345
path_op : OpTy < ' tcx , Tag > ,
346
346
buf_op : OpTy < ' tcx , Tag > ,
@@ -349,22 +349,22 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
349
349
this. check_no_isolation ( "stat" ) ?;
350
350
this. check_platform ( "macos" , "stat" ) ?;
351
351
// `stat` always follows symlinks.
352
- this. stat_or_lstat ( true , path_op, buf_op)
352
+ this. macos_stat_or_lstat ( true , path_op, buf_op)
353
353
}
354
354
355
355
// `lstat` is used to get symlink metadata.
356
- fn lstat (
356
+ fn macos_lstat (
357
357
& mut self ,
358
358
path_op : OpTy < ' tcx , Tag > ,
359
359
buf_op : OpTy < ' tcx , Tag > ,
360
360
) -> InterpResult < ' tcx , i32 > {
361
361
let this = self . eval_context_mut ( ) ;
362
362
this. check_no_isolation ( "lstat" ) ?;
363
363
this. check_platform ( "macos" , "lstat" ) ?;
364
- this. stat_or_lstat ( false , path_op, buf_op)
364
+ this. macos_stat_or_lstat ( false , path_op, buf_op)
365
365
}
366
366
367
- fn fstat (
367
+ fn macos_fstat (
368
368
& mut self ,
369
369
fd_op : OpTy < ' tcx , Tag > ,
370
370
buf_op : OpTy < ' tcx , Tag > ,
@@ -380,10 +380,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
380
380
Some ( metadata) => metadata,
381
381
None => return Ok ( -1 ) ,
382
382
} ;
383
- stat_macos_write_buf ( this, metadata, buf_op)
383
+ macos_stat_write_buf ( this, metadata, buf_op)
384
384
}
385
385
386
- fn stat_or_lstat (
386
+ fn macos_stat_or_lstat (
387
387
& mut self ,
388
388
follow_symlink : bool ,
389
389
path_op : OpTy < ' tcx , Tag > ,
@@ -398,10 +398,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
398
398
Some ( metadata) => metadata,
399
399
None => return Ok ( -1 ) ,
400
400
} ;
401
- stat_macos_write_buf ( this, metadata, buf_op)
401
+ macos_stat_write_buf ( this, metadata, buf_op)
402
402
}
403
403
404
- fn statx (
404
+ fn linux_statx (
405
405
& mut self ,
406
406
dirfd_op : OpTy < ' tcx , Tag > , // Should be an `int`
407
407
pathname_op : OpTy < ' tcx , Tag > , // Should be a `const char *`
@@ -688,7 +688,7 @@ impl FileMetadata {
688
688
}
689
689
}
690
690
691
- fn stat_macos_write_buf < ' tcx , ' mir > (
691
+ fn macos_stat_write_buf < ' tcx , ' mir > (
692
692
ecx : & mut MiriEvalContext < ' mir , ' tcx > ,
693
693
metadata : FileMetadata ,
694
694
buf_op : OpTy < ' tcx , Tag > ,
0 commit comments