update Miri

[RalfJung]

Fixes #100779

[rustbot]

The Miri submodule was changed

cc @rust-lang/miri

[rust-highfive]

r? @Mark-Simulacrum

(rust-highfive has picked a reviewer for you, use r? to override)

[rust-highfive]

⚠️ Warning ⚠️

• These commits modify submodules.

[RalfJung]

@bors r+ p=1

[bors]

📌 Commit 4df65c3 has been approved by RalfJung

It is now in the queue for this repository.

[bors]

⌛ Testing commit 4df65c3 with merge 3130203...

[bors]

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 3130203 to master...

[rust-highfive]

📣 Toolstate changed by #100841!

Tested on commit 3130203.
Direct link to PR: #100841

🎉 miri on windows: test-fail → test-pass (cc @RalfJung @oli-obk).
🎉 miri on linux: test-fail → test-pass (cc @RalfJung @oli-obk).

[rust-timer]

Finished benchmarking commit (3130203): comparison url.

Instruction count

• Primary benchmarks: mixed results
• Secondary benchmarks: ❌ relevant regression found

	mean1	max	count2
Regressions ❌ (primary)	0.8%	1.0%	5
Regressions ❌ (secondary)	0.2%	0.2%	1
Improvements ✅ (primary)	-0.8%	-0.8%	1
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	0.5%	1.0%	6

Max RSS (memory usage)

Results

• Primary benchmarks: ❌ relevant regression found
• Secondary benchmarks: mixed results

	mean1	max	count2
Regressions ❌ (primary)	2.5%	2.5%	1
Regressions ❌ (secondary)	2.3%	3.4%	6
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-2.9%	-2.9%	1
All ❌✅ (primary)	2.5%	2.5%	1

Cycles

Results

• Primary benchmarks: ❌ relevant regression found
• Secondary benchmarks: ❌ relevant regressions found

	mean1	max	count2
Regressions ❌ (primary)	1.9%	1.9%	1
Regressions ❌ (secondary)	4.7%	4.9%	2
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	1.9%	1.9%	1

If you disagree with this performance assessment, please file an issue in rust-lang/rustc-perf.

Next Steps: If you can justify the regressions found in this perf run, please indicate this with @rustbot label: +perf-regression-triaged along with sufficient written justification. If you cannot justify the regressions please open an issue or create a new PR that fixes the regressions, add a comment linking to the newly created issue or PR, and then add the perf-regression-triaged label to this PR.

@rustbot label: +perf-regression
cc @rust-lang/wg-compiler-performance

Footnotes

1. the arithmetic mean of the percent change ↩ ↩² ↩³

2. number of relevant changes ↩ ↩² ↩³