-
-
Notifications
You must be signed in to change notification settings - Fork 14.3k
miri subtree update #150671
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
miri subtree update #150671
Conversation
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
add `vpdpbusd` avx512 intrinsic
This commit adds basic support for FFI callbacks by registering a shim function via libffi. This shim function currently only exits with an error. The main motivation for this is to prevent miri segfaulting as described in [4639](rust-lang/miri#4639). In the future miri could try to continue execution in the registered callback, although as far as I understand Ralf that is no easy problem.
Basic support for FFI callbacks (at least stop segfaulting and report a proper error)
native lib support: support returning structs
android: get the entire test suite to pass
This updates the rust-version file to e8f3cfc.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: e8f3cfc Filtered ref: 5837f859c413e836e4fd1eb4985632c2f62c7db0 Upstream diff: rust-lang/rust@7fefa09...e8f3cfc This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
…and data operations
…ests/libc-pipe Refactor libc pipe tests to use utility functions for error handling and data operations
This updates the rust-version file to f57b9e6.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: f57b9e6 Filtered ref: dd835ad11d6c5cea520a087bb620e3643e2dbf0f Upstream diff: rust-lang/rust@e8f3cfc...f57b9e6 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
add check_only feature for faster check builds
Collaborator
|
The Miri subtree was changed cc @rust-lang/miri These commits modify the If this was unintentional then you should revert the changes before this PR is merged. |
Member
Author
|
@bors r+ |
Collaborator
bors
added a commit
that referenced
this pull request
Jan 4, 2026
Rollup of 5 pull requests Successful merges: - #150554 (test: add regression cases for valtree hashing ICE) - #150597 (make specialization of `Vec::extend` and `VecDeque::extend_front` work for vec::IntoIter with any `Allocator`, not just `Global`) - #150619 (alloc: Move Cow impl to existing ones) - #150660 (THIR pattern building: Pass HIR nodes instead of loose types/spans) - #150671 (miri subtree update) r? `@ghost` `@rustbot` modify labels: rollup
Member
Author
|
@bors p=1 |
rust-timer
added a commit
that referenced
this pull request
Jan 4, 2026
Rollup merge of #150671 - RalfJung:miri, r=RalfJung miri subtree update Subtree update of `miri` to rust-lang/miri@5d149f2. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`
Collaborator
Member
|
@bors retry r- (sync) |
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.
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@5d149f2.Created using https://github.com/rust-lang/josh-sync.
r? @ghost