Repository navigation
miri subtree update - #163790
Merged
Merged
miri subtree update#163790
Conversation
dynamically test for symlink permission
As the comments explain, `Span` does not implement `Send` and so Miri had to store `SpanData` (which does implement `Send`) instead, so certain other types are `Send`. At least, that used to be true. When the serial rustc front-end was removed `Span` became `Send`. So now Miri can store `Span`, which is much more standard than storing `SpanData`.
This updates the rust-version file to 837b18a.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: rust-lang/rust@837b18a Filtered ref: rust-lang/miri@7edc483 Upstream diff: rust-lang/rust@5c543b0...837b18a This merge was created using https://github.com/rust-lang/josh-sync.
This reverts commit ab956667801480a745969fedced5dd5c92372a49.
Store `Span` instead of `SpanData`
rustup, restore FreeBSD test
Add native FreeBSD runner to CI
remove some unnecessary @only-on-host
make Linux current_exe work on non-Linux hosts
Make tests work offline
getaddrinfo test: ensure we see both IPv4 and IPv6
bump dependencies
pick more sensible path for current_exe
This updates the rust-version file to e0452e2.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Previous upstream ref: rust-lang/rust@837b18a New upstream ref: rust-lang/rust@e0452e2 Filtered ref: rust-lang/miri@b586a31 Upstream diff: rust-lang/rust@837b18a...e0452e2 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
This updates the rust-version file to 56343b1.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Previous upstream ref: rust-lang/rust@e0452e2 New upstream ref: rust-lang/rust@56343b1 Filtered ref: rust-lang/miri@0f0d7b8 Upstream diff: rust-lang/rust@e0452e2...56343b1 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
this helps with File debug-printing on Linux (but not on other Unixes)
unix open: support opening directories
solarish: support current_exe via /proc/self/path/a.out in readlink.
Collaborator
|
cc @rust-lang/miri |
rustbot
added
the
S-waiting-on-review
Collaborator
|
Member
Author
|
@bors r+ p=1 |
Contributor
rust-bors
Bot
added
S-waiting-on-bors
rust-bors Bot
pushed a commit
that referenced
this pull request
Oct 5, 2026
Rollup merge of #163790 - RalfJung:miri, r=RalfJung miri subtree update Subtree update of `miri` to rust-lang/miri@39f6500. Created using https://github.com/rust-lang/josh-sync. r? @ghost
programskillforverification
pushed a commit
to programskillforverification/miri
that referenced
this pull request
Oct 9, 2026
…uwer Rollup of 4 pull requests Successful merges: - rust-lang/rust#163790 (miri subtree update) - rust-lang/rust#163610 (optimize empty `NestedGoals::extend_from_child`) - rust-lang/rust#163697 (cg_llvm: Use `LLVMGlobalAddMetadata` from LLVM-C) - rust-lang/rust#163750 (lower spans of error const args and test binder bounds)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
5 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Subtree update of
mirito rust-lang/miri@39f6500.Created using https://github.com/rust-lang/josh-sync.
r? @ghost