miri subtree update #147744
Merged
miri subtree update #147744
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
use check_nondet helper in a few more places
native-lib: support all types with Scalar layout
This updates the rust-version file to 235a4c0.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 235a4c0 Filtered ref: 548dcbbeab7592100a0ba9f2338ddc8ad1003824 Upstream diff: rust-lang/rust@36e4f5d...235a4c0 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
don't debug-print an Any
native-lib: bump libffi
This updates the rust-version file to 28d0a4a.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 28d0a4a Filtered ref: 310e49750b70768361f78966c10be9716a300784 Upstream diff: rust-lang/rust@235a4c0...28d0a4a This merge was created using https://github.com/rust-lang/josh-sync.
| 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. |
rustbot added the S-waiting-on-review 
| @bors r+ |
bors added S-waiting-on-bors matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Oct 16, 2025
miri subtree update Subtree update of `miri` to rust-lang/miri@50ba3a7. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`
bors added a commit that referenced this pull request Oct 16, 2025
Rollup of 7 pull requests Successful merges: - #144936 (CFI: Fix types that implement Fn, FnMut, or FnOnce) - #147000 (std: Add Motor OS std library port) - #147732 (remove duplicate inline macro) - #147738 (Don't highlight `let` expressions as having type `bool` in let-chain error messages) - #147744 (miri subtree update) - #147751 (Use `bit_set::Word` in a couple more places.) - #147752 (style-guide: fix typo for empty struct advice) r? `@ghost` `@rustbot` modify labels: rollup
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Oct 16, 2025
miri subtree update Subtree update of `miri` to rust-lang/miri@50ba3a7. Created using https://github.com/rust-lang/josh-sync. r? ``@ghost``
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Oct 16, 2025
miri subtree update Subtree update of `miri` to rust-lang/miri@50ba3a7. Created using https://github.com/rust-lang/josh-sync. r? ```@ghost```
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Oct 16, 2025
miri subtree update Subtree update of `miri` to rust-lang/miri@50ba3a7. Created using https://github.com/rust-lang/josh-sync. r? `````@ghost`````
bors added a commit that referenced this pull request Oct 16, 2025
Rollup of 7 pull requests Successful merges: - #147000 (std: Add Motor OS std library port) - #147732 (remove duplicate inline macro) - #147738 (Don't highlight `let` expressions as having type `bool` in let-chain error messages) - #147739 (Fix whitespace in rustfmt-excluded clippy file) - #147744 (miri subtree update) - #147751 (Use `bit_set::Word` in a couple more places.) - #147752 (style-guide: fix typo for empty struct advice) r? `@ghost` `@rustbot` modify labels: rollup
bors added a commit that referenced this pull request Oct 16, 2025
Rollup of 7 pull requests Successful merges: - #147000 (std: Add Motor OS std library port) - #147732 (remove duplicate inline macro) - #147738 (Don't highlight `let` expressions as having type `bool` in let-chain error messages) - #147739 (Fix whitespace in rustfmt-excluded clippy file) - #147744 (miri subtree update) - #147751 (Use `bit_set::Word` in a couple more places.) - #147752 (style-guide: fix typo for empty struct advice) r? `@ghost` `@rustbot` modify labels: rollup
bors added a commit that referenced this pull request Oct 16, 2025
Rollup of 9 pull requests Successful merges: - #144438 (Guard HIR lowered contracts with `contract_checks`) - #147000 (std: Add Motor OS std library port) - #147576 (Fix ICE on offsetted ZST pointer) - #147732 (remove duplicate inline macro) - #147738 (Don't highlight `let` expressions as having type `bool` in let-chain error messages) - #147744 (miri subtree update) - #147751 (Use `bit_set::Word` in a couple more places.) - #147752 (style-guide: fix typo for empty struct advice) - #147773 (`is_ascii` on an empty string or slice returns true) r? `@ghost` `@rustbot` modify labels: rollup
rust-timer added a commit that referenced this pull request Oct 16, 2025
Rollup merge of #147744 - RalfJung:miri, r=RalfJung miri subtree update Subtree update of `miri` to rust-lang/miri@50ba3a7. Created using https://github.com/rust-lang/josh-sync. r? ``````@ghost``````
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
4 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@50ba3a7.Created using https://github.com/rust-lang/josh-sync.
r? @ghost