miri subtree update #144623

RalfJung · 2025-07-29T06:11:03Z

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

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

r? @ghost

Automatic Rustup

non-deterministically truncate reads/writes

Automatic Rustup

CI: add windows-arm runner

Use `josh-sync` instead of `miri-script` for Josh synchronization

make the missing-MIR message more clear

This updates the rust-version file to b56aaec.

Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: b56aaec Filtered ref: 12f5e3255df658296af9fc953d8c1ab79ba91ea3 This merge was created using https://github.com/rust-lang/josh-sync.

Fix cronjob Zulip message

Perfetto gives an error if an id does not fit in an 64-bit signed integer in 2's complement.

Automatic Rustup

Miscellaneous fixes for tracing

Reduce required `cc` crate version for `genmc-sys` sub-crate

lookup_link_section: support arrays of function pointers

rustbot · 2025-07-29T06:11:08Z

The Miri subtree was changed

cc @rust-lang/miri

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 · 2025-07-29T06:12:58Z

@bors try jobs=dist-aarch64-linux

rust-bors · 2025-07-29T06:13:03Z

⌛ Trying commit dc33eb6 with merge f34b893…

To cancel the try build, run the command @bors try cancel.

miri subtree update try-job: dist-aarch64-linux

rust-bors · 2025-07-29T08:27:43Z

☀️ Try build successful (CI)
Build commit: f34b893 (f34b893029f41a1f2cd032a9689e225769236acb, parent: cb6785f73df1aa3f558796a22a4ab9652cf38e26)

RalfJung · 2025-07-29T08:28:31Z

@bors r+ p=1

bors · 2025-07-29T08:28:34Z

📌 Commit dc33eb6 has been approved by RalfJung

It is now in the queue for this repository.

miri subtree update Subtree update of `miri` to rust-lang/miri@fc4d9a2. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`

Rollup of 14 pull requests Successful merges: - #144022 (Implementation: `#[feature(sync_nonpoison)]`, `#[feature(nonpoison_mutex)]`) - #144167 (Document why `Range*<&T> as RangeBounds<T>` impls are not `T: ?Sized`, and give an alternative.) - #144407 (fix(debuginfo): disable overflow check for recursive non-enum types) - #144451 (fix: Reject upvar scrutinees for `loop_match`) - #144482 (Add explicit download methods to download module in bootstrap) - #144500 (thread name in stack overflow message) - #144511 (tidy: increase performance of auto extra checks feature) - #144586 (Update wasi-sdk to 27.0 in CI) - #144599 (bootstrap: enable tidy auto extra checks on tools profile) - #144600 (Ensure external paths passed via flags end up in rustdoc depinfo) - #144609 (feat: Right align line numbers) - #144623 (miri subtree update) - #144626 (cc dependencies: clarify comment) - #144627 (Add a test case for the issue #129882) r? `@ghost` `@rustbot` modify labels: rollup

miri subtree update Subtree update of `miri` to rust-lang/miri@fc4d9a2. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`

bors · 2025-07-29T10:18:28Z

⌛ Testing commit dc33eb6 with merge 56dac6c...

Zalathar · 2025-07-29T10:20:43Z

Yielding to enclosing rollup: #144633

@bors retry

Rollup of 13 pull requests Successful merges: - #144022 (Implementation: `#[feature(sync_nonpoison)]`, `#[feature(nonpoison_mutex)]`) - #144167 (Document why `Range*<&T> as RangeBounds<T>` impls are not `T: ?Sized`, and give an alternative.) - #144407 (fix(debuginfo): disable overflow check for recursive non-enum types) - #144451 (fix: Reject upvar scrutinees for `loop_match`) - #144482 (Add explicit download methods to download module in bootstrap) - #144500 (thread name in stack overflow message) - #144511 (tidy: increase performance of auto extra checks feature) - #144599 (bootstrap: enable tidy auto extra checks on tools profile) - #144600 (Ensure external paths passed via flags end up in rustdoc depinfo) - #144609 (feat: Right align line numbers) - #144623 (miri subtree update) - #144626 (cc dependencies: clarify comment) - #144627 (Add a test case for the issue #129882) r? `@ghost` `@rustbot` modify labels: rollup

Rollup merge of #144623 - RalfJung:miri, r=RalfJung miri subtree update Subtree update of `miri` to rust-lang/miri@fc4d9a2. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`

bors · 2025-07-29T13:37:57Z

⌛ Testing commit dc33eb6 with merge 7278554...

Rollup of 13 pull requests Successful merges: - rust-lang/rust#144022 (Implementation: `#[feature(sync_nonpoison)]`, `#[feature(nonpoison_mutex)]`) - rust-lang/rust#144167 (Document why `Range*<&T> as RangeBounds<T>` impls are not `T: ?Sized`, and give an alternative.) - rust-lang/rust#144407 (fix(debuginfo): disable overflow check for recursive non-enum types) - rust-lang/rust#144451 (fix: Reject upvar scrutinees for `loop_match`) - rust-lang/rust#144482 (Add explicit download methods to download module in bootstrap) - rust-lang/rust#144500 (thread name in stack overflow message) - rust-lang/rust#144511 (tidy: increase performance of auto extra checks feature) - rust-lang/rust#144599 (bootstrap: enable tidy auto extra checks on tools profile) - rust-lang/rust#144600 (Ensure external paths passed via flags end up in rustdoc depinfo) - rust-lang/rust#144609 (feat: Right align line numbers) - rust-lang/rust#144623 (miri subtree update) - rust-lang/rust#144626 (cc dependencies: clarify comment) - rust-lang/rust#144627 (Add a test case for the issue rust-lang/rust#129882) r? `@ghost` `@rustbot` modify labels: rollup

RalfJung and others added 30 commits July 19, 2025 15:39

don't halt execution when we write to a read-only file

8acdee7

non-deterministically truncate reads/writes

d3fc02c

Preparing for merge from rustc

72ba7c5

Merge from rustc

e3e711b

Merge pull request rust-lang#4486 from rust-lang/rustup-2025-07-21

9ef15d2

Automatic Rustup

Merge pull request rust-lang#4481 from RalfJung/read-write-truncate

800d805

non-deterministically truncate reads/writes

Preparing for merge from rustc

6f06667

Merge from rustc

4d62686

Merge pull request rust-lang#4487 from rust-lang/rustup-2025-07-22

7a8288b

Automatic Rustup

CI: add windows-arm runner

08d7787

Init josh-sync config file

a6c1093

Remove Josh code from miri-script

a61657e

Merge pull request rust-lang#4479 from RalfJung/ci-win-arm

037b2f6

CI: add windows-arm runner

Update CONTRIBUTING.md

e685e90

Update CI workflow

48963fa

Remove Zulip API keys and use set -x

8664aa7

Merge pull request rust-lang#4490 from Kobzol/use-josh-sync

cbd1557

Use `josh-sync` instead of `miri-script` for Josh synchronization

make the missing-MIR message more clear

fd114d4

Merge pull request rust-lang#4491 from RalfJung/missing-mir

94f725f

make the missing-MIR message more clear

Prepare for merging from rust-lang/rust

0258894

This updates the rust-version file to b56aaec.

fmt

0dba9f5

Fix cronjob Zulip message

60b0545

Merge pull request rust-lang#4493 from Kobzol/ci-fail-message

80c9f78

Fix cronjob Zulip message

Use i64 for tracing chrome "id"

2a81b4f

Perfetto gives an error if an id does not fit in an 64-bit signed integer in 2's complement.

Fix missing $ in enter_trace_span!

00de833

Fix double "fatal error: " in message

c7b81f3

fix target json

d2ba3c8

Merge pull request rust-lang#4492 from rust-lang/rustup-2025-07-25

dd96ec6

Automatic Rustup

Merge pull request rust-lang#4489 from Stypox/misc-tracing-fixes

5295649

Miscellaneous fixes for tracing

Patrick-6 and others added 5 commits July 28, 2025 10:50

Reduce required cc crate version.

ecb046a

Merge pull request rust-lang#4502 from Patrick-6/reduce-cc-version

9176fee

Reduce required `cc` crate version for `genmc-sys` sub-crate

lookup_link_section: support arrays of function pointers

d409694

Merge pull request rust-lang#4504 from RalfJung/link-section-arrays

86e9370

lookup_link_section: support arrays of function pointers

update lockfile and bless tidy

dc33eb6

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) labels Jul 29, 2025

rust-bors bot added a commit that referenced this pull request Jul 29, 2025

Auto merge of #144623 - RalfJung:miri, r=<try>

f34b893

miri subtree update try-job: dist-aarch64-linux

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 Jul 29, 2025

Zalathar mentioned this pull request Jul 29, 2025

Rollup of 14 pull requests #144628

Closed

bors added a commit that referenced this pull request Jul 29, 2025

Auto merge of #144623 - RalfJung:miri, r=RalfJung

56dac6c

miri subtree update Subtree update of `miri` to rust-lang/miri@fc4d9a2. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`

Zalathar mentioned this pull request Jul 29, 2025

Rollup of 13 pull requests #144633

Merged

bors merged commit f034a4f into rust-lang:master Jul 29, 2025
11 of 12 checks passed

rustbot added this to the 1.90.0 milestone Jul 29, 2025

RalfJung deleted the miri branch July 29, 2025 13:51

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

miri subtree update #144623

miri subtree update #144623

Uh oh!

RalfJung commented Jul 29, 2025

Uh oh!

rustbot commented Jul 29, 2025

Uh oh!

RalfJung commented Jul 29, 2025

Uh oh!

rust-bors bot commented Jul 29, 2025

Uh oh!

rust-bors bot commented Jul 29, 2025

Uh oh!

RalfJung commented Jul 29, 2025

Uh oh!

bors commented Jul 29, 2025

Uh oh!

bors commented Jul 29, 2025

Uh oh!

Zalathar commented Jul 29, 2025

Uh oh!

Uh oh!

bors commented Jul 29, 2025

Uh oh!

Uh oh!

miri subtree update #144623

miri subtree update #144623

Uh oh!

Conversation

RalfJung commented Jul 29, 2025

Uh oh!

rustbot commented Jul 29, 2025

Uh oh!

RalfJung commented Jul 29, 2025

Uh oh!

rust-bors bot commented Jul 29, 2025

Uh oh!

rust-bors bot commented Jul 29, 2025

Uh oh!

RalfJung commented Jul 29, 2025

Uh oh!

bors commented Jul 29, 2025

Uh oh!

bors commented Jul 29, 2025

Uh oh!

Zalathar commented Jul 29, 2025

Uh oh!

Uh oh!

bors commented Jul 29, 2025

Uh oh!

Uh oh!