pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
Show 24 methods
// Provided methods
fn open(&mut self, args: &[OpTy<'tcx>]) -> InterpResult<'tcx, Scalar> { ... }
fn lseek64(
&mut self,
fd: i32,
offset: i128,
whence: i32,
) -> InterpResult<'tcx, Scalar> { ... }
fn unlink(&mut self, path_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
fn symlink(
&mut self,
target_op: &OpTy<'tcx>,
linkpath_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn macos_fbsd_stat(
&mut self,
path_op: &OpTy<'tcx>,
buf_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn macos_fbsd_lstat(
&mut self,
path_op: &OpTy<'tcx>,
buf_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn macos_fbsd_fstat(
&mut self,
fd_op: &OpTy<'tcx>,
buf_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn linux_statx(
&mut self,
dirfd_op: &OpTy<'tcx>,
pathname_op: &OpTy<'tcx>,
flags_op: &OpTy<'tcx>,
mask_op: &OpTy<'tcx>,
statxbuf_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn rename(
&mut self,
oldpath_op: &OpTy<'tcx>,
newpath_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn mkdir(
&mut self,
path_op: &OpTy<'tcx>,
mode_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn rmdir(&mut self, path_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
fn opendir(&mut self, name_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
fn linux_readdir64(
&mut self,
dirp_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn macos_fbsd_readdir_r(
&mut self,
dirp_op: &OpTy<'tcx>,
entry_op: &OpTy<'tcx>,
result_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn closedir(&mut self, dirp_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
fn ftruncate64(
&mut self,
fd: i32,
length: i128,
) -> InterpResult<'tcx, Scalar> { ... }
fn fsync(&mut self, fd_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
fn ffullsync_fd(&mut self, fd: i32) -> InterpResult<'tcx, Scalar> { ... }
fn fdatasync(&mut self, fd_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
fn sync_file_range(
&mut self,
fd_op: &OpTy<'tcx>,
offset_op: &OpTy<'tcx>,
nbytes_op: &OpTy<'tcx>,
flags_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn readlink(
&mut self,
pathname_op: &OpTy<'tcx>,
buf_op: &OpTy<'tcx>,
bufsize_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, i64> { ... }
fn isatty(&mut self, miri_fd: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
fn realpath(
&mut self,
path_op: &OpTy<'tcx>,
processed_path_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn mkstemp(
&mut self,
template_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
}