about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2025-07-31Rollup merge of #144726 - jdonszelmann:move-attr-data-structures, r=lcnrJana Dönszelmann-2/+1
merge rustc_attr_data_structures into rustc_hir this move was discussed on zulip: [#t-compiler > attribute parsing rework @ đź’¬](https://rust-lang.zulipchat.com/#narrow/channel/131828-t-compiler/topic/attribute.20parsing.20rework/near/528530091) Many PRs in the attribute rework depend on this move.
2025-07-31Make Miri's enter_trace_span! call const_eval'sStypox-22/+5
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-2/+1
2025-07-31Uniform enter_trace_span! and add documentationStypox-16/+2
The macro was uniformed between rustc_const_eval and miri
2025-07-28Merge pull request #4504 from RalfJung/link-section-arraysRalf Jung-10/+22
lookup_link_section: support arrays of function pointers
2025-07-28lookup_link_section: support arrays of function pointersRalf Jung-10/+22
2025-07-28Reduce required cc crate version.Patrick-6-4/+6
2025-07-28revert accidental changeRalf Jung-1/+5
2025-07-28Merge commit 'abd9cba5acbcc35fb4cc59ce25580fa1624b5571'Ralf Jung-22/+19
2025-07-28prepare for syncRalf Jung-1/+1
2025-07-27centralize clockid_t interpretationRalf Jung-114/+79
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-22/+19
2025-07-27Merge pull request #4498 from RalfJung/genmc-buildRalf Jung-42/+1130
Add support for building and linking against genmc
2025-07-27various minor adjustmentsRalf Jung-79/+49
2025-07-27Add support for building and linking against genmcPatrick-6-42/+1160
2025-07-27Merge pull request #4497 from RalfJung/check-shimRalf Jung-793/+897
introduce a macro for shim signature checking
2025-07-27introduce a macro for shim signature checkingRalf Jung-795/+900
Co-Authored-By: geetanshjuneja <ronitjuneja2002@gmail.com>
2025-07-27call_function helper: dont ICE on return type mismatchesRalf Jung-2/+54
2025-07-26CI: run apt update before installing anythingRalf Jung-0/+4
2025-07-25Merge pull request #4489 from Stypox/misc-tracing-fixesRalf Jung-6/+11
Miscellaneous fixes for tracing
2025-07-25Merge pull request #4492 from rust-lang/rustup-2025-07-25Ralf Jung-67/+11
Automatic Rustup
2025-07-25fix target jsonRalf Jung-1/+1
2025-07-25Fix double "fatal error: " in messageStypox-1/+1
2025-07-25Fix missing $ in enter_trace_span!Stypox-1/+1
2025-07-25Use i64 for tracing chrome "id"Stypox-4/+9
Perfetto gives an error if an id does not fit in an 64-bit signed integer in 2's complement.
2025-07-25Fix cronjob Zulip messageJakub Beránek-1/+1
2025-07-25fmtThe Miri Cronjob Bot-7/+2
2025-07-25Merge ref 'b56aaec52bc0' from rust-lang/rustThe Miri Cronjob Bot-58/+7
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: b56aaec52bc0fa35591a872fb4aac81f606e265c Filtered ref: 12f5e3255df658296af9fc953d8c1ab79ba91ea3 This merge was created using https://github.com/rust-lang/josh-sync.
2025-07-25Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
This updates the rust-version file to b56aaec52bc0fa35591a872fb4aac81f606e265c.
2025-07-24make the missing-MIR message more clearRalf Jung-2/+2
2025-07-23Remove const deduplication from the interpreter.Camille GILLOT-58/+7
2025-07-23Merge pull request #4490 from Kobzol/use-josh-syncRalf Jung-354/+41
Use `josh-sync` instead of `miri-script` for Josh synchronization
2025-07-23Remove Zulip API keys and use `set -x`Jakub Beránek-5/+5
2025-07-23Update CI workflowJakub Beránek-10/+23
2025-07-23Update `CONTRIBUTING.md`Jakub Beránek-6/+8
2025-07-23Remove Josh code from `miri-script`Jakub Beránek-336/+6
2025-07-23Init josh-sync config fileJakub Beránek-0/+2
2025-07-23CI: add windows-arm runnerRalf Jung-8/+20
2025-07-22Merge from rustcThe Miri Cronjob Bot-38/+58
2025-07-22Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-22Rollup merge of #144187 - RalfJung:type-id-base-addr, r=oli-obk许杰友 Jieyou Xu (Joe)-27/+37
fix handling of base address for TypeId allocations This fixes the problems discovered by ````@theemathas```` in https://github.com/rust-lang/rust/pull/142789: - const-eval would sometimes consider TypeId pointers to be null - the type ID is different in Miri than in regular executions Both boil down to the same issue: the TypeId "allocation" has a guaranteed 0 base address, but const-eval assumes it was non-zero (like normal allocations) and Miri randomized it (like normal allocations). r? ````@oli-obk````
2025-07-22Rollup merge of #144080 - jieyouxu:realign, r=BoxyUwU许杰友 Jieyou Xu (Joe)-3/+7
Mitigate `#[align]` name resolution ambiguity regression with a rename Mitigates beta regression rust-lang/rust#143834 after a beta backport. ### Background on the beta regression The name resolution regression arises due to rust-lang/rust#142507 adding a new feature-gated built-in attribute named `#[align]`. However, unfortunately even [introducing new feature-gated unstable built-in attributes can break user code](https://www.github.com/rust-lang/rust/issues/134963) such as ```rs macro_rules! align { () => { /* .. */ }; } pub(crate) use align; // `use` here becomes ambiguous ``` ### Mitigation approach This PR renames `#[align]` to `#[rustc_align]` to mitigate the beta regression by: 1. Undoing the introduction of a new built-in attribute with a common name, i.e. `#[align]`. 2. Renaming `#[align]` to `#[rustc_align]`. The renamed attribute being `rustc_align` will not introduce new stable breakages, as attributes beginning with `rustc` are reserved and perma-unstable. This does mean existing nightly code using `fn_align` feature will additionally need to specify `#![feature(rustc_attrs)]`. This PR is very much a short-term mitigation to alleviate time pressure from having to fully fix the current limitation of inevitable name resolution regressions that would arise from adding any built-in attributes. Long-term solutions are discussed in [#t-lang > namespacing macro attrs to reduce conflicts with new adds](https://rust-lang.zulipchat.com/#narrow/channel/213817-t-lang/topic/namespacing.20macro.20attrs.20to.20reduce.20conflicts.20with.20new.20adds/with/529249622). ### Alternative mitigation options [Various mitigation options were considered during the compiler triage meeting](https://github.com/rust-lang/rust/issues/143834#issuecomment-3084415277), and those consideration are partly reproduced here: - Reverting the PR doesn't seem very minimal/trivial, and carries risks of its own. - Rename to a less-common but aim-to-stabilization name is itself not safe nor convenient, because (1) that risks introducing new regressions (i.e. ambiguity against the new name), and (2) lang would have to FCP the new name hastily for the mitigation to land timely and have a chance to be backported. This also makes the path towards stabilization annoying. - Rename the attribute to a rustc attribute, which will be perma-unstable and does not cause new ambiguities in stable code. - This alleviates the time pressure to address *this* regression, or for lang to have to rush an FCP for some new name that can still break user code. - This avoids backing out a whole implementation. ### Review advice This PR is best reviewed commit-by-commit. - Commit 1 adds a test `tests/ui/attributes/fn-align-nameres-ambiguity-143834.rs` which demonstrates the current name resolution regression re. `align`. This test fails against current master. - Commit 2 carries out the renames and test reblesses. Notably, commit 2 will cause `tests/ui/attributes/fn-align-nameres-ambiguity-143834.rs` to change from fail (nameres regression) to pass. This PR, if the approach still seems acceptable, will need a beta-backport to address the beta regression.
2025-07-21Merge pull request #4481 from RalfJung/read-write-truncateOli Scherer-123/+326
non-deterministically truncate reads/writes
2025-07-21Auto merge of #144238 - jhpratt:rollup-xb8aida, r=jhprattbors-684/+1349
Rollup of 8 pull requests Successful merges: - rust-lang/rust#144144 (tests: Skip supported-crate-types test on musl hosts) - rust-lang/rust#144159 (opt-dist: change build_dir field to be an actual build dir) - rust-lang/rust#144162 (Debug impls for DropElaborators) - rust-lang/rust#144189 (Add non-regression test for rust-lang/rust#144168) - rust-lang/rust#144216 (Don't consider unstable fields always-inhabited) - rust-lang/rust#144229 (Miri subtree update) - rust-lang/rust#144230 (Option::as_slice: fix comment) - rust-lang/rust#144235 (Fix run-make tests on musl hosts) r? `@ghost` `@rustbot` modify labels: rollup
2025-07-21Merge from rustcThe Miri Cronjob Bot-8/+33
2025-07-21Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-20Rollup merge of #144229 - RalfJung:miri-sync, r=RalfJungJacob Pratt-684/+1349
Miri subtree update r? `@ghost`
2025-07-20fix handling of base address for TypeId allocationsRalf Jung-27/+37
2025-07-20Update Miri TestsScott McMurray-8/+14
2025-07-20Rollup merge of #144190 - scottmcm:spanned-errors-in-mir-validation, r=RalfJungGuillaume Gomez-4/+10
Give a message with a span on MIR validation error It was handy to get a source+line link for rust-lang/rust#143833, even if it's just to the function and not necessarily to the statement. r? mir