miri subtree update

[RalfJung]

Subtree update of miri to rust-lang/miri@ef444b3.

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

r? @ghost

[rustbot]

The Miri subtree was changed

cc @rust-lang/miri

[RalfJung]

@bors r+ rollup=never
(disabling rollups as the libc update will affect the rest of the workspace as well)

[rust-bors]

📌 Commit b584d4d has been approved by RalfJung

It is now in the queue for this repository.

[JonathanBrouwer]

@bors p=4
Scheduling

[rust-bors]

☀️ Test successful - CI
Approved by: RalfJung
Duration: 3h 30m 17s
Pushing bbe8536 to main...

[github-actions]

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 562dee4 (parent) -> bbe8536 (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 bbe853615821442ef11d6cd42a30a73432b38d89 --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. aarch64-apple: 2h 24m -> 3h 24m (+41.8%)
2. dist-aarch64-apple: 1h 34m -> 2h 4m (+31.6%)
3. pr-check-1: 27m 50s -> 35m 27s (+27.4%)
4. x86_64-gnu-llvm-21-3: 1h 40m -> 2h (+19.3%)
5. pr-check-2: 38m 50s -> 46m 13s (+19.0%)
6. x86_64-gnu-llvm-21-2: 1h 22m -> 1h 38m (+19.0%)
7. i686-gnu-1: 2h 7m -> 2h 26m (+14.5%)
8. optional-x86_64-gnu-parallel-frontend: 2h 20m -> 2h 40m (+14.4%)
9. i686-gnu-2: 1h 31m -> 1h 44m (+14.4%)
10. x86_64-gnu-llvm-22-2: 1h 33m -> 1h 46m (+13.9%)

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]

Finished benchmarking commit (bbe8536): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

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

Max RSS (memory usage)

Results (primary -5.8%)

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)	-5.8%	[-5.8%, -5.8%]	1
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-5.8%	[-5.8%, -5.8%]	1

Cycles

Results (secondary -1.5%)

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)	2.0%	[2.0%, 2.0%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-3.3%	[-3.8%, -2.8%]	2
All ❌✅ (primary)	-	-	0

Binary size

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

Bootstrap: 485.484s -> 488.646s (0.65%)
Artifact size: 394.88 MiB -> 396.92 MiB (0.52%)