Skip to content

Miri subtree update #139573

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

Jump to bottom
Merged
merged 31 commits into from
Apr 9, 2025
Merged

Miri subtree update #139573

merged 31 commits into from
Apr 9, 2025

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Apr 9, 2025

r? @ghost

RalfJung and others added 30 commits March 28, 2025 14:51
@RalfJung
machine clock: make 'monotonic' explicit
65bf8a8
@RalfJung
Merge pull request rust-lang#4242 from RalfJung/clock-names
99ce8fc 
machine clock: make 'monotonic' explicit
@RalfJung
do not run EnvVars::cleanup if there was an interpreter error
76034a6
@RalfJung
Merge pull request rust-lang#4243 from RalfJung/env-cleanup-too-much
4858c3f 
do not run EnvVars::cleanup if there was an interpreter error
@RalfJung
Preparing for merge from rustc
a3af09f
@RalfJung
Merge from rustc
e435ba3
@RalfJung
Merge pull request rust-lang#4245 from RalfJung/rustup
5103bde 
Rustup
@RalfJung
visit_freeze_sensitive: add comment
28d1844
@RalfJung
Merge pull request rust-lang#4246 from RalfJung/freeze-sensitive-comment
1bfaa16 
visit_freeze_sensitive: add comment
@RalfJung
fix comment nit
1a89c2b
@RalfJung
Merge pull request rust-lang#4247 from RalfJung/foreign-items-comment
1d42087 
foreign_items: make comment more consistent
@RalfJung
test-cargo-miri: permissive provenance should not be needed any more
e7de860
@RalfJung
Merge pull request rust-lang#4249 from RalfJung/test-cargo-miri-stric…
6a43818 
…t-provenance

test-cargo-miri: permissive provenance should not be needed any more
@asomers
Add another Miri-detected bug to README.md
05d64b1 
Miri detected this bug in Mockall: asomers/mockall#647

[skip ci]
@RalfJung
semver-bump some dependencies
bd779df
@RalfJung
cargo update
eb00d96
@RalfJung
bump parts of test-cargo-miri to edition 2024
3508778
@asomers @RalfJung
Update README.md
a503ecb 
verb -> participle

Co-authored-by: Ralf Jung <[email protected]>
@RalfJung
Merge pull request rust-lang#4248 from RalfJung/edition-2024
ec1f3af 
bump parts of test-cargo-miri to edition 2024
@RalfJung
Merge pull request rust-lang#4250 from asomers/patch-1
23f1dfe 
Add another Miri-detected bug to README.md
@RalfJung
fix windows_join_multiple
e2c8ae9
@RalfJung
Solaris does not have flock
f868322
@RalfJung
Merge pull request rust-lang#4251 from RalfJung/cargo-update
1a4e85a 
Cargo update
Preparing for merge from rustc
fa06e72
Merge from rustc
2eb7791
@RalfJung
big-allocs benchmark: use up less of the address space on 32bit
4c5babd
@RalfJung
reduce the error tolerance to match algebraic and fast-math operations
6ac0120
@RalfJung
Merge pull request rust-lang#4252 from rust-lang/rustup-2025-04-07
f6e4d3b 
Automatic Rustup
@RalfJung
test_dependencies: bump tokio
e160d93
@RalfJung
Merge pull request rust-lang#4257 from RalfJung/bump-tokio
e44f5c9 
test_dependencies: bump tokio
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 9, 2025
@rustbot
Copy link
Collaborator

rustbot commented Apr 9, 2025

The Miri subtree was changed

cc @rust-lang/miri

@rustbot
Copy link
Collaborator

rustbot commented Apr 9, 2025

These commits modify the Cargo.lock file. Unintentional changes to Cargo.lock can be introduced when switching branches and rebasing PRs.

If this was unintentional then you should revert the changes before this PR is merged.
Otherwise, you can ignore this comment.

@RalfJung
Copy link
Member Author

RalfJung commented Apr 9, 2025

@bors r+ p=1

@bors
Copy link
Collaborator

bors commented Apr 9, 2025

📌 Commit f0fb21e has been approved by RalfJung

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 9, 2025
@RalfJung RalfJung mentioned this pull request Apr 9, 2025
Open
@bors
Copy link
Collaborator

bors commented Apr 9, 2025

⌛ Testing commit f0fb21e with merge c4481b2...

bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 9, 2025
@bors
Auto merge of rust-lang#139573 - RalfJung:miri-sync, r=RalfJung
c4481b2 
Miri subtree update

r? `@ghost`
@matthiaskrgr matthiaskrgr mentioned this pull request Apr 9, 2025
Merged
@matthiaskrgr
Copy link
Member

@bors retry

added to the rollup

bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 9, 2025
@bors
Auto merge of rust-lang#139581 - matthiaskrgr:rollup-d6hph16, r=matth…
7f34062 
…iaskrgr

Rollup of 7 pull requests

Successful merges:

 - rust-lang#138869 (Try not to use verbatim paths in `Command::current_dir`)
 - rust-lang#138993 (Make `cfg_match!` a semitransparent macro)
 - rust-lang#139099 (Promise `array::from_fn` is generated in order of increasing indices)
 - rust-lang#139364 (Make the compiler suggest actual paths instead of visible paths if the visible paths are through any doc hidden path.)
 - rust-lang#139468 (Don't call `Span::with_parent` on the good path in `has_stashed_diagnostic`)
 - rust-lang#139481 (Add job summary links to post-merge report)
 - rust-lang#139573 (Miri subtree update)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors
Copy link
Collaborator

bors commented Apr 9, 2025

⌛ Testing commit f0fb21e with merge a5d543c...

bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 9, 2025
@bors
Auto merge of rust-lang#139573 - RalfJung:miri-sync, r=RalfJung
a5d543c 
Miri subtree update

r? `@ghost`
@matthiaskrgr
Copy link
Member

@bors retry mingw failed as usual

@matthiaskrgr
Copy link
Member

@bors retry

bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 9, 2025
@bors
Auto merge of rust-lang#139581 - matthiaskrgr:rollup-d6hph16, r=matth…
48f89e7 
…iaskrgr

Rollup of 7 pull requests

Successful merges:

 - rust-lang#138869 (Try not to use verbatim paths in `Command::current_dir`)
 - rust-lang#138993 (Make `cfg_match!` a semitransparent macro)
 - rust-lang#139099 (Promise `array::from_fn` is generated in order of increasing indices)
 - rust-lang#139364 (Make the compiler suggest actual paths instead of visible paths if the visible paths are through any doc hidden path.)
 - rust-lang#139468 (Don't call `Span::with_parent` on the good path in `has_stashed_diagnostic`)
 - rust-lang#139481 (Add job summary links to post-merge report)
 - rust-lang#139573 (Miri subtree update)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 1aa6f70 into rust-lang:master Apr 9, 2025
6 of 7 checks passed
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Apr 9, 2025
@rust-timer
Unrolled build for rust-lang#139573
ce70c2d 
Rollup merge of rust-lang#139573 - RalfJung:miri-sync, r=RalfJung

Miri subtree update

r? `@ghost`
@rustbot rustbot added this to the 1.88.0 milestone Apr 9, 2025
@bors
Copy link
Collaborator

bors commented Apr 9, 2025

⌛ Testing commit f0fb21e with merge 48f89e7...

@RalfJung RalfJung deleted the miri-sync branch April 10, 2025 05:51
@Kobzol Kobzol mentioned this pull request Apr 10, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
1.88.0
Development

Successfully merging this pull request may close these issues.
5 participants
@RalfJung @rustbot @bors @matthiaskrgr @asomers