Skip to content

miri subtree update#158489

Closed
RalfJung wants to merge 39 commits into
rust-lang:mainfrom
RalfJung:miri
Closed

miri subtree update#158489
RalfJung wants to merge 39 commits into
rust-lang:mainfrom
RalfJung:miri

Conversation

@RalfJung

Copy link
Copy Markdown
Member

Subtree update of miri to rust-lang/miri@94f5dd3.

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

r? @ghost

RalfJung and others added 30 commits June 3, 2026 22:14
We still only support `PROT_READ|PROT_WRITE`, so `mprotect` is a no-op
other than validating arguments.

We only implement `madvise` for the hints that can be ignored without
a change in semantic (e.g. no `MADV_DONTNEED`, so it is also a no-op
other than validating arguments.
This updates the rust-version file to 942ac9c.
Update `cargo miri --help` to point to README.md.
Minimal support for `mmap` protections, `mprotect`, `madvise`
move nextest section up and mark it more clearly as such
This updates the rust-version file to 40557f6.
RalfJung and others added 9 commits June 26, 2026 06:46
This updates the rust-version file to 1676160.
Removing the readable readiness after a short read even when
the read end is closed would mean that applications which strictly
rely on the readable readiness (e.g. tokio) would no longer read
zero (indicating EOF) on the closed socket.
This is problematic as those applications could block indefinitely
waiting for a readable event on the socket.
…readable-after-rdhup

Don't clear TCP socket readable readiness when read end is already closed
test that even ZST references prevent deallocation via child pointers
@rustbot

rustbot commented Jun 27, 2026

Copy link
Copy Markdown
Collaborator

miri is developed in its own repository. If possible, consider making this change to rust-lang/miri instead.

cc @rust-lang/miri

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

Copy link
Copy Markdown
Member Author

@bors r+

@rust-bors

rust-bors Bot commented Jun 27, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 290b370 has been approved by RalfJung

It is now in the queue for this repository.

🌲 The tree is currently closed for pull requests below priority 1. This pull request will be tested once the tree is reopened.

@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 Jun 27, 2026
@RalfJung

Copy link
Copy Markdown
Member Author

Actually let's pull in another bugfix.
@bors r-

@RalfJung RalfJung closed this Jun 27, 2026
@rust-bors rust-bors Bot added the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Jun 27, 2026
@rust-bors

rust-bors Bot commented Jun 27, 2026

Copy link
Copy Markdown
Contributor

This pull request was unapproved due to being closed.

@rust-bors rust-bors Bot removed the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jun 27, 2026
@rust-bors

rust-bors Bot commented Jun 27, 2026

Copy link
Copy Markdown
Contributor

📋 Only unclosed PRs can be unapproved.

@RalfJung RalfJung deleted the miri branch June 27, 2026 21:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

10 participants