Skip to content

Miri subtree update #124430

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 8 commits into from
Apr 27, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/tools/miri/rust-version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
cb3752d20e0f5d24348062211102a08d46fbecff
6acb9e75ebc936df737381a9d0b7a7bccd6f0b2f
11 changes: 5 additions & 6 deletions src/tools/miri/src/machine.rs
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ use rustc_target::spec::abi::Abi;

use crate::{
concurrency::{data_race, weak_memory},
shims::unix::FdTable,
shims::unix,
*,
};

Expand Down Expand Up @@ -439,8 +439,7 @@ pub struct MiriMachine<'mir, 'tcx> {
/// Ptr-int-cast module global data.
pub alloc_addresses: alloc_addresses::GlobalState,

/// Environment variables set by `setenv`.
/// Miri does not expose env vars from the host to the emulated program.
/// Environment variables.
pub(crate) env_vars: EnvVars<'tcx>,

/// Return place of the main function.
Expand All @@ -465,9 +464,9 @@ pub struct MiriMachine<'mir, 'tcx> {
pub(crate) validate: bool,

/// The table of file descriptors.
pub(crate) fds: shims::unix::FdTable,
pub(crate) fds: unix::FdTable,
/// The table of directory descriptors.
pub(crate) dirs: shims::unix::DirTable,
pub(crate) dirs: unix::DirTable,

/// This machine's monotone clock.
pub(crate) clock: Clock,
Expand Down Expand Up @@ -642,7 +641,7 @@ impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> {
tls: TlsData::default(),
isolated_op: config.isolated_op,
validate: config.validate,
fds: FdTable::new(config.mute_stdout_stderr),
fds: unix::FdTable::new(config.mute_stdout_stderr),
dirs: Default::default(),
layouts,
threads: ThreadManager::default(),
Expand Down
Loading
Loading