miri subtree update by RalfJung · Pull Request #165740 · rust-lang/rust

RalfJung · 2026-11-10T08:33:59Z

Helps with #143166

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

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

r? @ghost

Co-authored-by: Ralf Jung <[email protected]>

…is-to-ecx-3 rename `this` -> `ecx` in `intrinsics/x86`

…or-gc-alloc-backtrace-ecx Rename evaluation context bindings from this to ecx

add test for closing the end of a socketpair that someone is blocked on

syscall: return ENOSYS for unknown syscalls

statx: explain why we initialize these fields

Rename evaluation context bindings in shims

…x-len-arg-ice fix ICE when reading `nfds_t`/`socklen_t` as signed

rustbot · 2026-11-10T08:34:03Z

miri is developed in its own repository. If the Miri part of this change can be broken out, consider making this change to rust-lang/miri instead. However, if Miri needs adjusting for rustc changes, just ignore this message.

cc @rust-lang/miri

RalfJung · 2026-11-10T08:35:10Z

@bors r+

rust-bors · 2026-11-10T08:35:14Z

📌 Commit 9ee159b has been tentatively approved by RalfJung

It will be put into the queue for this repository once PR CI succeeds.

@ghost

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

…uwer Rollup of 16 pull requests Successful merges: - #165575 (Upgrade bundled musl to 1.2.6) - #163992 (add `core::arch::{x86, x86_64}::x87_f80`) - #165117 (std: use skip_unsupported_miri_tests to control when tests should be skipped in Miri due to missing shims) - #165458 (fix incorrect byte count suffix on MSVC) - #165487 (Migrate built-in macros `pattern_type` & `view_type` to macros 2.0 that expand to internal syntax) - #165490 (Mark the compile unit for `-Zdebuginfo-for-profiling`) - #165586 (Remove `backend_optimization_level`.) - #165646 (fix NumScalableVectors::from_field_count) - #165655 (Unignore passing GCC backend tests) - #165740 (miri subtree update) - #164559 (Windows: fix Dir::remove and Dir::rename following symlinks) - #165682 (interpret: ensure newly created unions have uninit in their padding) - #165693 (Move `check_attr` to attribute parsing) - #165715 (windows: check for null before wide encoding) - #165717 (mpsc_sync::stream_send_recv_stress: wait for all threads to finish) - #165733 (docs(num): remove needless whitespaces) Failed merges: - #165727 (Normalize "beta release channel" in `const-supertrait-unstable` test) - #153261 (Partially stabilize `ptr_alignment_type` as `alignment_type`) - #164218 (Tweak private re-export errors to point at correct span and have more context) - #165709 (remove 'x miri' smoke test from PR CI)

@ghost

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

…uwer Rollup of 16 pull requests Successful merges: - #165575 (Upgrade bundled musl to 1.2.6) - #163992 (add `core::arch::{x86, x86_64}::x87_f80`) - #165117 (std: use skip_unsupported_miri_tests to control when tests should be skipped in Miri due to missing shims) - #165458 (fix incorrect byte count suffix on MSVC) - #165490 (Mark the compile unit for `-Zdebuginfo-for-profiling`) - #165586 (Remove `backend_optimization_level`.) - #165646 (fix NumScalableVectors::from_field_count) - #165655 (Unignore passing GCC backend tests) - #165740 (miri subtree update) - #153261 (Partially stabilize `ptr_alignment_type` as `alignment_type`) - #164559 (Windows: fix Dir::remove and Dir::rename following symlinks) - #165682 (interpret: ensure newly created unions have uninit in their padding) - #165693 (Move `check_attr` to attribute parsing) - #165715 (windows: check for null before wide encoding) - #165717 (mpsc_sync::stream_send_recv_stress: wait for all threads to finish) - #165733 (docs(num): remove needless whitespaces) Failed merges: - #165727 (Normalize "beta release channel" in `const-supertrait-unstable` test) - #164218 (Tweak private re-export errors to point at correct span and have more context) - #165709 (remove 'x miri' smoke test from PR CI)

JonathanBrouwer · 2026-11-10T13:47:32Z

💔 I suspect this PR failed tests as part of a rollup
@bors r-

After fixing the problem, consider running a try job for the failed job before re-approving.

Link to failure: #165752 (comment)

@bors try jobs=test-x86_64-msvc-ext2

rust-bors · 2026-11-10T13:47:41Z

This pull request was unapproved.

This PR was contained in a rollup (#165752), which was unapproved.

View changes since this unapproval

miri subtree update try-job: test-x86_64-msvc-ext2

RalfJung · 2026-11-10T13:59:41Z

#165709 should fix that, FWIW.

RalfJung · 2026-11-10T14:07:58Z

I am pretty sure this was caused by #165117, not by the subtree update,

@bors r+

rust-bors · 2026-11-10T14:08:02Z

📌 Commit 9ee159b has been approved by RalfJung

It is now in the queue for this repository.

JonathanBrouwer · 2026-11-10T14:08:10Z

Ah oops,
then
@bors r=RalfJung

rust-bors · 2026-11-10T14:08:13Z

📌 Commit 9ee159b has been approved by RalfJung

It is now in the queue for this repository.

@ghost

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

rust-bors · 2026-11-10T15:07:27Z

☀️ Try build successful (CI)
Build commit: 1e38e31 (1e38e315867c82cf2a49afcc97c5e7c8e4403601)
Base parent: ac8310b (ac8310ba643a3796cbe77d2e06944d7c8513999f)

…uwer Rollup of 24 pull requests Successful merges: - #165709 (remove 'x miri' smoke test from PR CI) - #164217 (Prepare to make `rustc_trivial_field_reads` usable in user code) - #165569 (`Move` trait feature gate) - #165575 (Upgrade bundled musl to 1.2.6) - #163241 (Add enclosing item context when pointing at `FnMut` bound) - #163992 (add `core::arch::{x86, x86_64}::x87_f80`) - #165047 (Change the span building of paths from first-to-last to chained) - #165458 (fix incorrect byte count suffix on MSVC) - #165490 (Mark the compile unit for `-Zdebuginfo-for-profiling`) - #165586 (Remove `backend_optimization_level`.) - #165646 (fix NumScalableVectors::from_field_count) - #165655 (Unignore passing GCC backend tests) - #165740 (miri subtree update) - #165753 (avoid Terminator:None in MIR inliner) - #153261 (Partially stabilize `ptr_alignment_type` as `alignment_type`) - #164559 (Windows: fix Dir::remove and Dir::rename following symlinks) - #165562 (stop using gce in a test) - #165681 (Add safety requirements for Pattern and Searcher) - #165682 (interpret: ensure newly created unions have uninit in their padding) - #165693 (Move `check_attr` to attribute parsing) - #165715 (windows: check for null before wide encoding) - #165717 (mpsc_sync::stream_send_recv_stress: wait for all threads to finish) - #165733 (docs(num): remove needless whitespaces) - #165739 (remove NOP File::flush from fs tests) Failed merges: - #165727 (Normalize "beta release channel" in `const-supertrait-unstable` test) - #164218 (Tweak private re-export errors to point at correct span and have more context)

@ghost

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

programskillforverification and others added 15 commits November 8, 2026 00:46

rename this -> ecx in intrinsics/x86

48106d7

Rename evaluation context bindings from this to ecx

ae4771b

fix ICE when reading as signed

bbcae61

Co-authored-by: Ralf Jung <[email protected]>

add test for closing the end of a socketpair that someone is blocked on

c07d3b3

Merge pull request rust-lang#5591 from programskillforverification/th…

8c9cbb2

…is-to-ecx-3 rename `this` -> `ecx` in `intrinsics/x86`

Merge pull request rust-lang#5593 from Kaileshwar16/issue-5569-operat…

ea34445

…or-gc-alloc-backtrace-ecx Rename evaluation context bindings from this to ecx

Merge pull request rust-lang#5600 from RalfJung/socketpair-deadlock-test

a6611ac

add test for closing the end of a socketpair that someone is blocked on

syscall: return ENOSYS for unknown syscalls

0edc67f

Rename evaluation context bindings in shims

462d762

Merge pull request rust-lang#5602 from RalfJung/syscall-nosys

a4cc283

syscall: return ENOSYS for unknown syscalls

statx: explain why we initialize these fields

98962a2

Merge pull request rust-lang#5605 from RalfJung/statx-comment

be44f80

statx: explain why we initialize these fields

Merge pull request rust-lang#5603 from darkraider01/rename-shims-ecx

32d7c93

Rename evaluation context bindings in shims

tweak comment

792c14e

Merge pull request rust-lang#5537 from programskillforverification/fi…

9ee159b

…x-len-arg-ice fix ICE when reading `nfds_t`/`socklen_t` as signed

rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 10, 2026

rust-bors Bot 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 10, 2026

JonathanBrouwer mentioned this pull request Nov 10, 2026

Rollup of 16 pull requests #165747

Closed

JonathanBrouwer mentioned this pull request Nov 10, 2026

Rollup of 16 pull requests #165752

Closed

rust-bors Bot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Nov 10, 2026

rust-bors Bot pushed a commit that referenced this pull request Nov 10, 2026

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

1e38e31

miri subtree update try-job: test-x86_64-msvc-ext2

This comment has been minimized.

Sign in to view

rust-bors Bot 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-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Nov 10, 2026

This was referenced Nov 10, 2026

Rollup of 24 pull requests #165759

Closed

Rollup of 24 pull requests #165760

Merged

rust-bors Bot merged commit a47f850 into rust-lang:main Nov 10, 2026
15 checks passed

rustbot added this to the 1.102.0 milestone Nov 10, 2026

RalfJung deleted the miri branch November 10, 2026 20:34

Navigation Menu

Repository navigation

miri subtree update - #165740

miri subtree update#165740
rust-bors[bot] merged 15 commits into
rust-lang:mainfrom
RalfJung:miri

RalfJung commented Nov 10, 2026

Uh oh!

rustbot commented Nov 10, 2026

Uh oh!

RalfJung commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

JonathanBrouwer commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

This comment has been minimized.

RalfJung commented Nov 10, 2026

Uh oh!

RalfJung commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

JonathanBrouwer commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

6 participants

Conversation

RalfJung commented Nov 10, 2026

Uh oh!

rustbot commented Nov 10, 2026

Uh oh!

RalfJung commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

JonathanBrouwer commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

This comment has been minimized.

RalfJung commented Nov 10, 2026

Uh oh!

RalfJung commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

JonathanBrouwer commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

rust-bors Bot commented Nov 10, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

6 participants