Skip to content

miri subtree update#159962

Open
RalfJung wants to merge 27 commits into
rust-lang:mainfrom
RalfJung:miri
Open

miri subtree update#159962
RalfJung wants to merge 27 commits into
rust-lang:mainfrom
RalfJung:miri

Conversation

@RalfJung

Copy link
Copy Markdown
Member

moabo3li and others added 27 commits July 18, 2026 08:00
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.
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
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`
This updates the rust-version file to 1af98b7.
…nsic support"

This reverts commit 785e740bb5c1d9166717c93612f7b9f99fee1caf. The additional intrinsic support has meanwhile been implemented.
This updates the rust-version file to 390279b.
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.
[Priroda] Render projected debug-info values
@rustbot

rustbot commented Jul 26, 2026

Copy link
Copy Markdown
Collaborator

miri is developed in its own repository. If the Miri part of this change can be broken out, consider making this change to rust-lang/miri instead. However, if Miri needs adjusting for rustc changes, just ignore this message.

cc @rust-lang/miri

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

Copy link
Copy Markdown
Member Author

@bors r+

@rust-bors

rust-bors Bot commented Jul 26, 2026

Copy link
Copy Markdown
Contributor

📌 Commit a9bc5ec has been approved by RalfJung

It is now in the queue for this repository.

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

Reason for tree closure: spurious failures

@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 Jul 26, 2026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 26, 2026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 26, 2026
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)
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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants