Skip to content

miri subtree update#148993

Merged
bors merged 29 commits intorust-lang:mainfrom
RalfJung:miri
Nov 16, 2025
Merged

miri subtree update#148993
bors merged 29 commits intorust-lang:mainfrom
RalfJung:miri

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Nov 16, 2025

Subtree update of miri to rust-lang/miri@5774cef.

Created using https://github.com/rust-lang/josh-sync.

r? @ghost

The Miri Cronjob Bot and others added 29 commits November 12, 2025 04:54
Prepare for merging from rust-lang/rust
be30f5a 
This updates the rust-version file to 0b329f8.
Merge ref '0b329f801a09' from rust-lang/rust
a973a8c 
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 0b329f8
Filtered ref: f63ba2a05c24f7e8c4fdc4708d07717cc10ca90f
Upstream diff: rust-lang/rust@8401398...0b329f8

This merge was created using https://github.com/rust-lang/josh-sync.
fmt
1368257
@RalfJung
update lockfile
77f2e03
@RalfJung
fix function_casts_as_integer lint
d8b01c7
@RalfJung
try to be more robust against short hickups in the Ubuntu Ports mirrors
4e28f0f
@RalfJung
Merge pull request rust-lang#4680 from rust-lang/rustup-2025-11-12
037db1e 
Automatic Rustup
@RalfJung
epoll: get rid of separate ready_list
1f8f218
@RalfJung
Merge pull request rust-lang#4683 from RalfJung/epoll-without-ready
a395522 
epoll: get rid of separate ready_list
Prepare for merging from rust-lang/rust
b115de9 
This updates the rust-version file to 7a72c54.
Merge ref '7a72c5459dd5' from rust-lang/rust
e66f1b0 
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 7a72c54
Filtered ref: bd4cd7ec310d2634b0837ec149eac9bf0af82716
Upstream diff: rust-lang/rust@0b329f8...7a72c54

This merge was created using https://github.com/rust-lang/josh-sync.
@RalfJung
Merge pull request rust-lang#4687 from rust-lang/rustup-2025-11-14
ada5df7 
Automatic Rustup
@RalfJung
remove -Zmiri-retag-fields
5c75f78
@RalfJung
Merge pull request rust-lang#4689 from RalfJung/retag-the-fields
0d692cb 
remove -Zmiri-retag-fields
@RalfJung
refactor and unify top-level error handling a bit
4ed54a8
@RalfJung
Merge pull request rust-lang#4690 from RalfJung/top-level-error
3e5d797 
refactor and unify top-level error handling a bit
@RalfJung
apple os_unfair_lock: throw 'unsupported' when we would behave differ…
2e3fa6c 
…ent from the real implementation
@RalfJung
Merge pull request rust-lang#4691 from RalfJung/apple-os-unfair-lock
3ab8158 
apple os_unfair_lock: throw 'unsupported' when we would behave different from the real implementation
@RalfJung
epoll: confirm that timerfd wakes up even on write of 0; add nicer li…
7a86151 
…bc utils
@RalfJung
epoll: wake up multiple threads if that is needed to deliver all events
a8b14ee
@RalfJung
fix deadlock error showing 'no span available' nonsense backtraces
c82b572
@RalfJung
epoll: ensure we count the events that each thread will take
5420681
@RalfJung
Merge pull request rust-lang#4692 from RalfJung/epoll-wakeups
e117ee4 
epoll wakeup fixes
@folkertdev
add an avx512 psad shim
04d97bc 
also combine the sse2 and avx2 version into one generic function for all 3
@RalfJung
Merge pull request rust-lang#4686 from folkertdev/psad-avx512
573515c 
add an avx512 `psadbw` shim
@RalfJung
slightly simplify exit handling; get rid of GenmcBlockedExecution
cb5c5da
@RalfJung
Merge pull request rust-lang#4693 from RalfJung/genmc-exit
16685fc 
genmc: slightly simplify exit handling; get rid of GenmcBlockedExecution
@RalfJung
epoll: separately track ready_set
4155266
@RalfJung
Merge pull request rust-lang#4694 from RalfJung/epoll-ready-set
725db88 
epoll: separately track ready_set
@rustbot
Copy link
Collaborator

rustbot commented Nov 16, 2025

The Miri subtree was changed

cc @rust-lang/miri

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 16, 2025
@RalfJung
Copy link
Member Author

RalfJung commented Nov 16, 2025

@bors r+

@bors
Copy link
Collaborator

bors commented Nov 16, 2025

📌 Commit 725db88 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 Nov 16, 2025
@bors
Copy link
Collaborator

bors commented Nov 16, 2025

⌛ Testing commit 725db88 with merge e92ffc3...

@bors
Copy link
Collaborator

bors commented Nov 16, 2025

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing e92ffc3 to main...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Nov 16, 2025
@bors bors merged commit e92ffc3 into rust-lang:main Nov 16, 2025
12 checks passed
@rustbot rustbot added this to the 1.93.0 milestone Nov 16, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Nov 16, 2025

What is this? This is an experimental post-merge analysis report that shows differences in test outcomes between the merged PR and its parent PR.

Comparing b25b6ea (parent) -> e92ffc3 (this PR)

Test differences

Show 4 test diffs

4 doctest diffs were found. These are ignored, as they are noisy.

Test dashboard

Run

cargo run --manifest-path src/ci/citool/Cargo.toml -- \
    test-dashboard e92ffc3a3a700741d7e05abff055ce96afa64619 --output-dir test-dashboard

And then open test-dashboard/index.html in your browser to see an overview of all executed tests.

Job duration changes

  1. pr-check-1: 1927.5s -> 1503.1s (-22.0%)
  2. x86_64-gnu-gcc: 3468.0s -> 2769.4s (-20.1%)
  3. x86_64-rust-for-linux: 3252.6s -> 2670.2s (-17.9%)
  4. aarch64-apple: 8419.7s -> 7100.1s (-15.7%)
  5. dist-aarch64-apple: 5464.6s -> 6302.3s (+15.3%)
  6. x86_64-gnu-tools: 3833.5s -> 3280.6s (-14.4%)
  7. i686-gnu-2: 6259.6s -> 5381.0s (-14.0%)
  8. x86_64-gnu-llvm-21-1: 3577.4s -> 3084.6s (-13.8%)
  9. aarch64-gnu-debug: 4490.2s -> 3884.7s (-13.5%)
  10. i686-gnu-1: 8482.3s -> 7464.3s (-12.0%)
How to interpret the job duration changes?

Job durations can vary a lot, based on the actual runner instance
that executed the job, system noise, invalidated caches, etc. The table above is provided
mostly for t-infra members, for simpler debugging of potential CI slow-downs.

@rust-timer
Copy link
Collaborator

rust-timer commented Nov 16, 2025

Finished benchmarking commit (e92ffc3): comparison URL.

Overall result: ✅ improvements - no action needed

@rustbot label: -perf-regression

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

mean range count
Regressions ❌
(primary)		 - - 0
Regressions ❌
(secondary)		 - - 0
Improvements ✅
(primary)		 - - 0
Improvements ✅
(secondary)		 -0.6% [-0.8%, -0.3%] 2
All ❌✅ (primary) - - 0

Max RSS (memory usage)

Results (primary -2.9%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)		 - - 0
Regressions ❌
(secondary)		 - - 0
Improvements ✅
(primary)		 -2.9% [-2.9%, -2.9%] 1
Improvements ✅
(secondary)		 - - 0
All ❌✅ (primary) -2.9% [-2.9%, -2.9%] 1

Cycles

Results (secondary -2.1%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)		 - - 0
Regressions ❌
(secondary)		 - - 0
Improvements ✅
(primary)		 - - 0
Improvements ✅
(secondary)		 -2.1% [-2.1%, -2.1%] 2
All ❌✅ (primary) - - 0

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 472.117s -> 470.813s (-0.28%)
Artifact size: 388.71 MiB -> 388.74 MiB (0.01%)

@dtolnay dtolnay mentioned this pull request Nov 17, 2025
Closed
@RalfJung RalfJung deleted the miri branch November 17, 2025 12:31
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

merged-by-bors This PR was explicitly merged by bors. 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.93.0

Development

Successfully merging this pull request may close these issues.

5 participants

@RalfJung @rustbot @bors @rust-timer @folkertdev