Skip to content

Miri subtree update #119574

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.

Sign up for GitHub

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
bors merged 14 commits into from
Jan 4, 2024
Merged

Miri subtree update #119574

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
ac9368a
have windows tests use windows-sys
beepster4096 Dec 26, 2023
dae48ea
fast_math: detect non-finite results
RalfJung Dec 27, 2023
cf2ef7d
Support for tempfile crate on UNIX hosts
Pointerbender Dec 27, 2023
0c2c93e
Auto merge of #3240 - Jefffrey:tempfile, r=RalfJung
bors Dec 27, 2023
86198a1
make float intrinsics return non-deterministic NaN
RalfJung Dec 28, 2023
0f98c0e
add NaN-nondet to libm functions
RalfJung Dec 28, 2023
ee42d1e
NaN non-determinism for SIMD intrinsics
RalfJung Dec 28, 2023
771e479
don't test unspecified case
RalfJung Dec 28, 2023
a63fd5e
Auto merge of #3244 - RalfJung:nan-nondet, r=RalfJung
bors Dec 28, 2023
4da47a4
Fix integer overflow ICEs from round_up_to_next_multiple_of
saethlin Dec 28, 2023
8bec0a5
Auto merge of #3246 - saethlin:mmap-ices, r=RalfJung
bors Dec 28, 2023
109ada8
undo some lockfile changes, add explicit types to tests
beepster4096 Dec 29, 2023
38847ae
Auto merge of #3239 - beepster4096:windows_sys_tests, r=RalfJung
bors Dec 30, 2023
5aa15b6
miri: do not forward RUSTFLAGS to deps build
RalfJung Jan 4, 2024
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: 2 additions & 0 deletions src/tools/miri/tests/compiletest.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -111,6 +111,8 @@ fn test_config(target: &str, path: &str, mode: Mode, with_dependencies: bool) ->
"run".into(), // There is no `cargo miri build` so we just use `cargo miri run`.
]);
config.dependency_builder.args = builder_args.into_iter().map(Into::into).collect();
// Reset `RUSTFLAGS` to work around <https://github.com/rust-lang/rust/pull/119574#issuecomment-1876878344>.
config.dependency_builder.envs.push(("RUSTFLAGS".into(), None));
Comment on lines +114 to +115
Copy link
Contributor

@oli-obk oli-obk Jan 4, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This seems generally good to me. We should mostly isolate tests from their environment

}
config
}
Expand Down