Skip to content

miri subtree update#159548

Merged
rust-bors[bot] merged 85 commits into
rust-lang:mainfrom
RalfJung:miri
Jul 19, 2026
Merged

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

Conversation

@RalfJung

Copy link
Copy Markdown
Member

LorrensP-2158466 and others added 30 commits July 12, 2026 13:13
…is is the same behaviour as `posix_fallocate`.

And add tests for `fallocate` based on `posix_fallocate`.
To match the deadlocked diagnostic in both tests, we will need to
call the `libc::read/write()` methods directly.
memcmp: add tests and update comments
This updates the rust-version file to 48c2cee.
FileDescription: make destroy a NOP by default and document the risks
This updates the rust-version file to 55b6bd8.
remove bogus sanity check from weak memory mixed-size logic
Dropped readiness watchers are now removed from the global readiness
interest table when the GC runs.
This updates the rust-version file to 38a0576.
RalfJung and others added 14 commits July 17, 2026 09:22
replace global readiness watcher table by per-FD state
std on Android does vectored I/O at offsets through weak
preadv/pwritev symbols with a raw syscall fallback (bionic gained
them in API level 24). The weak symbols did not resolve under Miri,
so these calls failed. Register them for Android so they land in the
existing shims, and un-skip the Android case in the fs tests.
Resolve preadv/pwritev as weak symbols on Android
@rustbot

rustbot commented Jul 19, 2026

Copy link
Copy Markdown
Collaborator

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

⚠️ #[miri::intrinsic_fallback_is_spec] must only be used if the function actively checks for all UB cases,
and explores the possible non-determinism of the intrinsic.

cc @rust-lang/miri

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 19, 2026
@RalfJung

Copy link
Copy Markdown
Member Author

@bors r+

@rust-bors

rust-bors Bot commented Jul 19, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 37af38d has been approved by RalfJung

It is now in the queue for this repository.

@rust-bors 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 Jul 19, 2026
@RalfJung

Copy link
Copy Markdown
Member Author

@bors p=1

rust-bors Bot pushed a commit that referenced this pull request Jul 19, 2026
Rollup of 5 pull requests

Successful merges:

 - #158546 (Move `std::io::BufRead` to `alloc::io`)
 - #159372 (Remove SIZE generic param from DisplayBuffer in core::net)
 - #159548 (miri subtree update)
 - #159508 (Some cleanup in `rustc_attr_parsing`)
 - #159539 ([rustc_abi] Customize `Debug` for `Primitive` and `Scalar`)
@rust-bors
rust-bors Bot merged commit e82135a into rust-lang:main Jul 19, 2026
13 checks passed
@rustbot rustbot added this to the 1.99.0 milestone Jul 19, 2026
rust-timer added a commit that referenced this pull request Jul 19, 2026
Rollup merge of #159548 - RalfJung:miri, r=RalfJung

miri subtree update

Subtree update of `miri` to rust-lang/miri@f7f708b.

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

r? @ghost
@RalfJung
RalfJung deleted the miri branch July 20, 2026 07:16
pull Bot pushed a commit to xtqqczze/rust-lang-miri that referenced this pull request Jul 22, 2026
Rollup of 5 pull requests

Successful merges:

 - rust-lang/rust#158546 (Move `std::io::BufRead` to `alloc::io`)
 - rust-lang/rust#159372 (Remove SIZE generic param from DisplayBuffer in core::net)
 - rust-lang/rust#159548 (miri subtree update)
 - rust-lang/rust#159508 (Some cleanup in `rustc_attr_parsing`)
 - rust-lang/rust#159539 ([rustc_abi] Customize `Debug` for `Primitive` and `Scalar`)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants