Rollup of 28 pull requests#159966
Open
JonathanBrouwer wants to merge 124 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 commit is a change for all WASI targets to use a different underlying implementation in the standard library for `thread_local!`. Previously all wasm targets, without the `atomics` feature, were funneled into the `no_threads` implementation and various fallbacks in the `thread_local` module. The upcoming `wasm32-wasip3` target, however, will actually have threads and will need different treatment. Additionally the modules that `wasm32-wasip3` needs all already work on all other WASI targets as well -- for example the `pthread_*` symbols needed to manage destructors are exposed by `wasi-libc`. The end result is that the `wasm32-wasip3` target will be "ready for threads" as soon as `wasi-libc` has support. Other targets shouldn't have any functional difference from before, too.
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
Contributor
Author
Contributor
This comment has been minimized.
This comment has been minimized.
rust-bors Bot
pushed a commit
that referenced
this pull request
Jul 26, 2026
Rollup of 28 pull requests try-job: dist-various-1 try-job: test-various try-job: x86_64-gnu-aux try-job: x86_64-gnu-llvm-21-3 try-job: x86_64-msvc-1 try-job: aarch64-apple try-job: x86_64-mingw-1 try-job: i686-msvc-*
Contributor
Author
|
@bors p=100 |
Contributor
|
⌛ Testing commit e6a1a8f with merge 6dc7429... Workflow: https://github.com/rust-lang/rust/actions/runs/30210726766 |
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)
Collaborator
|
The job Click to see the possible cause of the failure (guessed by this bot) |
Contributor
|
💔 Test for a23f299 failed: CI. Failed job:
|
Contributor
Author
|
@bors r- |
Contributor
|
This pull request was unapproved. Auto build was cancelled due to unapproval. Cancelled workflows: |
Contributor
Author
|
No clue which PR caused this, started some try jobs while I'm allowing rollup=never prs to run |
Contributor
Author
|
Just making sure this reproduces |
Contributor
|
⌛ Trying commit e6a1a8f with merge 37fa134… To cancel the try build, run the command Workflow: https://github.com/rust-lang/rust/actions/runs/30214548873 |
rust-bors Bot
pushed a commit
that referenced
this pull request
Jul 26, 2026
Rollup of 28 pull requests try-job: x86_64-mingw-1
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
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.
Successful merges:
Steptrait into multiple traits #159638 (bootstrap: Split theSteptrait into multiple traits)#[linkage]target checking #159617 (Fix up#[linkage]target checking)thread_local!for WASI #159733 (std: Switch implementations ofthread_local!for WASI)#[rustc_paren_sugar]feature gate #159826 (Remove redundant#[rustc_paren_sugar]feature gate)str::copy_from_str#159846 (Implementstr::copy_from_str)Optionfrom statement parsing #159849 (rustc_parse: Stop returningOptionfrom statement parsing)CStringstruct and method documentation #159853 (Updated expect messages forCStringstruct and method documentation)rustc_attr_parsing#159875 (More cleanup inrustc_attr_parsing)find_attrhygiene andrustc_hircleanups #159893 (Fixfind_attrhygiene andrustc_hircleanups)rustc_ast::astdoc cleanups #159936 (Minorrustc_ast::astdoc cleanups)r? @ghost
Create a similar rollup