about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2024-05-03Add assigntiif-0/+9
2024-05-02Change `SIGPIPE` ui from `#[unix_sigpipe = "..."]` to `-Zon-broken-pipe=...`Martin Nordholts-1/+1
In the stabilization attempt of `#[unix_sigpipe = "sig_dfl"]`, a concern was raised related to using a language attribute for the feature: Long term, we want `fn lang_start()` to be definable by any crate, not just libstd. Having a special language attribute in that case becomes awkward. So as a first step towards towards the next stabilization attempt, this PR changes the `#[unix_sigpipe = "..."]` attribute to a compiler flag `-Zon-broken-pipe=...` to remove that concern, since now the language is not "contaminated" by this feature. Another point was also raised, namely that the ui should not leak **how** it does things, but rather what the **end effect** is. The new flag uses the proposed naming. This is of course something that can be iterated on further before stabilization.
2024-05-02Rollup merge of #124627 - RalfJung:interpret-doc-no-inline, r=fmeaseMatthias Krüger-0/+2
interpret: hide some reexports in rustdoc Cc https://github.com/rust-lang/rust/issues/124608
2024-05-02Auto merge of #3535 - RalfJung:host-float, r=RalfJungbors-16/+16
update host-float comments Turns out most of these do not have guaranteed precision anyway so it's fine to use host floats (see https://github.com/rust-lang/rust/pull/121793 and https://github.com/rust-lang/rust/pull/118217). The exception are sqrt and mul_add, tracked at https://github.com/rust-lang/miri/issues/3534 and https://github.com/rust-lang/miri/issues/2995.
2024-05-02update host-float commentsRalf Jung-16/+16
2024-05-02interpret: hide some reexports in rustdocRalf Jung-0/+2
2024-05-02Don't use `Ty::new_unit` in miriWaffle Lapkin-1/+1
2024-05-02Auto merge of #3532 - RalfJung:tb-protectors, r=RalfJungbors-2/+2
Tree Borrows: first apply transition, then check protector with new 'initialized'
2024-05-02Tree Borrows: first apply transition, then check protector with new ↵Ralf Jung-2/+2
'initialized'
2024-05-01no longer strip `Preparing a sysroot` message from test outputPaul Gey-5/+1
2024-05-01fix usage example for `--print-sysroot`Paul Gey-1/+1
2024-05-01Don’t print `Preparing a sysroot` when `-q`/`--quiet` is passedPaul Gey-3/+8
2024-04-29Auto merge of #3523 - saethlin:localtime_r-env, r=RalfJungbors-151/+153
Use the interpreted program's TZ variable in localtime_r This requires a bit of wiring and a new dependency, but the tests should correctly pass now regardless of what the host's time zone is. Fixes https://github.com/rust-lang/miri/issues/3522
2024-04-29don't leak UnixEnvVars impl details into get_env_varRalf Jung-13/+19
2024-04-28Refactor UnixEnvVars::get so that it can be reused by getenvBen Kimock-20/+17
2024-04-28Use the interpreted program's TZ variable in localtime_rBen Kimock-138/+137
2024-04-28Remove direct dependencies on lazy_static, once_cell and byteorderGeorge Bateman-10/+13
The functionality of all three crates is now available in the standard library.
2024-04-28Auto merge of #3524 - RalfJung:fd-write, r=RalfJungbors-19/+15
file descriptors: make write take &mut self
2024-04-28file descriptors: make write take &mut selfRalf Jung-19/+15
2024-04-27Do not implement x86 SIMD abs with host integersEduardo Sánchez Muñoz-4/+10
2024-04-27Clarify behavior of AVX2 gather when dest and offsets have different numbers ↵Eduardo Sánchez Muñoz-0/+2
of elements
2024-04-27Add doc comment to `pack_generic`Eduardo Sánchez Muñoz-0/+7
2024-04-27Auto merge of #3520 - RalfJung:josh-check, r=RalfJungbors-0/+14
josh rustc-pull: check that no new root commits get created A second root was a bad sign in Miri (judging from the description in https://github.com/rust-lang/miri/pull/2583) and seems to be a [bad sign in RA](https://github.com/rust-lang/rust-analyzer/pull/17025#issuecomment-2080390014). So let's add this to the sanity checks.
2024-04-27fix: usage of `deprecated` version of `Node.js`Hamir Mahal-2/+2
2024-04-27josh rustc-pull: check that no new root commits get createdRalf Jung-0/+14
2024-04-26env: split up Windows and Unix environment variable handlingRalf Jung-530/+606
2024-04-26add test for concurrent env var accessRalf Jung-0/+8
2024-04-26Auto merge of #3516 - RalfJung:pathbuf, r=RalfJungbors-37/+60
add smoke tests for basic PathBuf interactions I wrote these while debugging [this](https://github.com/rust-lang/miri-test-libstd/actions/runs/8849912635/job/24302962983); it turns out the issue is [more complicated](https://github.com/rust-lang/rust/issues/124409) but these tests still seemed worth keeping.
2024-04-26add smoke tests for basic PathBuf interactionsRalf Jung-37/+60
2024-04-26Merge from rustcThe Miri Cronjob Bot-9/+5
2024-04-26Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-04-25debuginfo: Stabilize `-Z debug-macros`, `-Z collapse-macro-debuginfo` and ↵Vadim Petrochenkov-9/+5
`#[collapse_debuginfo]` `-Z debug-macros` is "stabilized" by enabling it by default and removing. `-Z collapse-macro-debuginfo` is stabilized as `-C collapse-macro-debuginfo`. It now supports all typical boolean values (`parse_opt_bool`) in addition to just yes/no. Default value of `collapse_debuginfo` was changed from `false` to `external` (i.e. collapsed if external, not collapsed if local). `#[collapse_debuginfo]` attribute without a value is no longer supported to avoid guessing the default.
2024-04-25Auto merge of #3514 - RalfJung:hyperfine, r=RalfJungbors-6/+6
CI: run benches with hyperfine rather than bash The hyperfine installation is cached so this should not cost a lot of CI time. This is step 1/2 to getting rid of the BASH variable hack.
2024-04-25CI: run benches with hyperfine rather than bashRalf Jung-6/+6
2024-04-25Auto merge of #3501 - RalfJung:tls-many-seeds, r=RalfJungbors-12/+47
add a test for the TLS memory leak This is a regression test for https://github.com/rust-lang/rust/issues/123583.
2024-04-25run many-seeds tests at least a few times on all tier 1 targetsRalf Jung-11/+28
2024-04-25add a test for the TLS memory leakRalf Jung-0/+13
2024-04-25weak memory outdated loads: show where the load was fromRalf Jung-5/+10
2024-04-25Auto merge of #3512 - RalfJung:miri-script-build, r=RalfJungbors-1/+3
make miri-script a workspace root This is needed to make miri-script build on stable (as is done by the `./miri` script) when the parent package uses unstable cargo features.
2024-04-25Auto merge of #3513 - rust-lang:rustup-2024-04-25, r=RalfJungbors-88/+155
Automatic Rustup
2024-04-25Auto merge of #3505 - RalfJung:ci, r=RalfJungbors-1/+1
CI: don't run cron-fail-notify when the job just got canceled Doesn't seem right to prepare a PR in that case
2024-04-25fmtThe Miri Cronjob Bot-80/+149
2024-04-25Merge from rustcThe Miri Cronjob Bot-28/+26
2024-04-25Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-04-25Rollup merge of #124335 - ChrisDenton:stabilize-absolute, r=dtolnayMatthias Krüger-2/+0
Stabilize `std::path::absolute` FCP complete in https://github.com/rust-lang/rust/issues/92750#issuecomment-2075046985
2024-04-24make miri-script a workspace rootRalf Jung-1/+3
2024-04-24Upgrade to `actions/checkout@v4` in `ci.yml`.Predrag Gruevski-3/+3
This is a newer version of the same action. None of the uses here were particularly special (no complex features of v3 were used) so this is a straightforward as-is upgrade.
2024-04-24Stabilize `std::path::absolute`Chris Denton-2/+0
2024-04-24unix_sigpipe: don't inline DEFAULT, just use it from rustcRalf Jung-3/+2
2024-04-24Auto merge of #3492 - eduardosm:intrinsics-x86-avx2, r=oli-obkbors-257/+2474
Implement LLVM x86 AVX2 intrinsics
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 05:49:37 +0000