miri subtree update#159962
Open
RalfJung wants to merge 27 commits into
Open
Conversation
Use `local_to_op` and the operand storage shape to render initialized immediate locals through Miri's Immediate display implementation. Keep mplace-backed locals as `<indirect>` for now, preserve explicit dead/uninit states, and expose interpreter errors in `LocalDesc`.value. Add value-shape and metadata-sized local fixtures for the next indirect rendering slices.
Resolve allocation-backed mplace locals and display their allocation contents with dump_alloc. Keep unsupported provenance as <indirect> and update the fixtures for the temporary diagnostic allocation output.
This updates the rust-version file to c904ba3.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: rust-lang/rust@c904ba3 Filtered ref: rust-lang/miri@d686e0d Upstream diff: rust-lang/rust@4a9d536...c904ba3 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
Replace the diagnostic dump_alloc output with a Priroda-owned byte renderer for mplace-backed locals. Compute the current value size with size_and_align_of_val, inspect only the mplace byte range, and render uninitialized bytes with an explicit marker.
Render complete pointer provenance while dumping indirect local values. Preserve initialized and uninitialized byte ranges, including padding and partial pointer bytes, and report unsupported unsized values explicitly. Add UI coverage for pointer positions, nonzero target offsets, uninitialized regions, and partial provenance.
Add a `follow` command that renders allocation bytes starting at a given allocation offset, reusing the provenance-aware allocation byte renderer used for indirect locals. Document the command and cover following a rendered pointer allocation in the pointer-rendering UI test.
…dling [Priroda] Render indirect local values
support `neon.tbl*` intrinsics
When using `RUSTFLAGS="-Ctarget-features=+avx512f"`, the Rust compiler
complains:
error: unknown codegen option: `target-features`
The actual option uses the singular form.
…eature-typo readme: fix misspelling of `-Ctarget-feature`
add a riscv target to CI
This updates the rust-version file to 1af98b7.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: rust-lang/rust@1af98b7 Filtered ref: rust-lang/miri@c4103d8 Upstream diff: rust-lang/rust@c904ba3...1af98b7 This merge was created using https://github.com/rust-lang/josh-sync.
…nsic support" This reverts commit 785e740bb5c1d9166717c93612f7b9f99fee1caf. The additional intrinsic support has meanwhile been implemented.
This updates the rust-version file to 390279b.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: rust-lang/rust@390279b Filtered ref: rust-lang/miri@161dd69 Upstream diff: rust-lang/rust@1af98b7...390279b This merge was created using https://github.com/rust-lang/josh-sync.
Add a CLI fixture covering a projected memory-backed field inside a larger aggregate. This locks in that projected values render only their own MPlace layout bytes instead of trailing bytes from the parent allocation.
Keep projected MIR Places long enough to evaluate them with `eval_place_to_op`, then reuse the existing raw operand renderer for immediate and memory-backed values. This removes `<unsupported-projection>` from projected locals, including fields, enum projections, references, and dereferences. Update the projected debug-info UI expectations and verify the full Priroda suite.
Automatic Rustup
[Priroda] Render projected debug-info values
Collaborator
|
cc @rust-lang/miri |
rustbot
added
the
S-waiting-on-review
Member
Author
|
@bors r+ |
Contributor
rust-bors
Bot
added
S-waiting-on-bors
JonathanBrouwer
added a commit
to JonathanBrouwer/rust
that referenced
this pull request
Jul 26, 2026
miri subtree update Subtree update of `miri` to rust-lang/miri@15e1f27. Created using https://github.com/rust-lang/josh-sync. r? @ghost
JonathanBrouwer
added a commit
to JonathanBrouwer/rust
that referenced
this pull request
Jul 26, 2026
miri subtree update Subtree update of `miri` to rust-lang/miri@15e1f27. Created using https://github.com/rust-lang/josh-sync. r? @ghost
rust-bors Bot
pushed a commit
that referenced
this pull request
Jul 26, 2026
…uwer Rollup of 28 pull requests Successful merges: - #159638 (bootstrap: Split the `Step` trait into multiple traits) - #159774 (rustc_trait_selection: fix trait solver hang caused by degenerate obligations) - #159837 (line-tables-only test: check that the line number matches the function name) - #159946 (Update Enzyme submodule to imporve llvm-cov) - #159962 (miri subtree update) - #156570 (tests: extend remap-path-prefix-std to all stdlib rlibs) - #159617 (Fix up `#[linkage]` target checking) - #159633 (Improve workings of attribute suggestions) - #159733 (std: Switch implementations of `thread_local!` for WASI) - #159783 (Check unsafe impls on safe EIIs) - #159810 (Add tuple never coercion collection regression test) - #159826 (Remove redundant `#[rustc_paren_sugar]` feature gate) - #159846 (Implement `str::copy_from_str`) - #159849 (rustc_parse: Stop returning `Option` from statement parsing) - #159853 (Updated expect messages for `CString` struct and method documentation) - #159875 (More cleanup in `rustc_attr_parsing`) - #159882 (Update expect messages in library/alloc/boxed.rs and library/alloc/string.rs to follow the style guide) - #159891 (Split multiline derives into std/rustc macros) - #159893 (Fix `find_attr` hygiene and `rustc_hir` cleanups) - #159895 (rustc-dev-guide subtree update) - #159902 (Clarify that the expected runtime symbols signature is for the current target only) - #159914 (Fix error in diagnostic on_unmatched_args) - #159917 (spare capacity mut constification) - #159918 (rename abort_unwind → abort_on_unwind) - #159927 (Remove sve2 from the ImpliedFeatures of AArch64 v9a.) - #159936 (Minor `rustc_ast::ast` doc cleanups) - #159945 (Update expect messages in library/core/src/ptr/non_null.rs) - #159950 (Add CFI tests for return types and never type)
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
6 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@15e1f27.Created using https://github.com/rust-lang/josh-sync.
r? @ghost