Rollup of 28 pull requests#159966
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
This comment has been minimized.
This comment has been minimized.
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-*
|
@bors p=100 |
|
⌛ Testing commit e6a1a8f with merge 6dc7429... Workflow: https://github.com/rust-lang/rust/actions/runs/30210726766 |
…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)
|
The job Click to see the possible cause of the failure (guessed by this bot) |
|
💔 Test for a23f299 failed: CI. Failed job:
|
|
@bors r- |
|
This pull request was unapproved. Auto build was cancelled due to unapproval. Cancelled workflows: |
|
No clue which PR caused this, started some try jobs while I'm allowing rollup=never prs to run |
|
Just making sure this reproduces |
This comment has been minimized.
This comment has been minimized.
Rollup of 28 pull requests try-job: x86_64-mingw-1
|
Omg it's spurious that explains why it was so weird... |
|
❗ You can only retry pull requests that are approved and have a previously failed auto build. |
|
@bors r+ |
|
@bors treeopen |
|
Tree is now open for merging. |
|
⌛ Testing commit e6a1a8f with merge dfbea5b... Workflow: https://github.com/rust-lang/rust/actions/runs/30225314443 |
…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)
View all comments
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