Skip to content

Conversation

RalfJung
Copy link
Member

Fixes #146748
r? @oli-obk

@rustbot
Copy link
Collaborator

rustbot commented Sep 24, 2025

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri, @RalfJung, @oli-obk, @lcnr

Some changes occurred in src/tools/compiletest

cc @jieyouxu

@rustbot rustbot added A-compiletest Area: The compiletest test runner A-testsuite Area: The testsuite used to check the correctness of rustc S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Sep 24, 2025
@rustbot
Copy link
Collaborator

rustbot commented Sep 24, 2025

oli-obk is not on the review rotation at the moment.
They may take a while to respond.

// The alloc-id appears in pretty-printed allocations.
normalized = static_regex!(
r"╾─*a(lloc)?([0-9]+)(\+0x[0-9]+)?(<imm>)?( \([0-9]+ ptr bytes\))?─*╼"
r"╾─*a(lloc)?([0-9]+)(\+0x[0-9a-f]+)?(<imm>)?( \([0-9]+ ptr bytes\))?─*╼"
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The type_id7 test uncovered that our alloc ID normalization regex doesn't properly handle hex offsets.

@rust-log-analyzer

This comment has been minimized.

@oli-obk
Copy link
Contributor

oli-obk commented Sep 24, 2025

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Sep 24, 2025

📌 Commit 8328c3d has been approved by oli-obk

It is now in the queue for this repository.

@bors bors 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 Sep 24, 2025
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Sep 24, 2025
const-eval: better wording for errors involving maybe-null pointers

Fixes rust-lang#146748
r? `@oli-obk`
bors added a commit that referenced this pull request Sep 24, 2025
Rollup of 9 pull requests

Successful merges:

 - #146711 (fix 2 borrowck issues)
 - #146735 (unstably constify float mul_add methods)
 - #146857 (revert change removing `has_infer` check. Commit conservatively patch…)
 - #146897 (fix ICE in rustdoc::invalid_html_tags)
 - #146915 (Make missed precondition-free float intrinsics safe)
 - #146932 (Switch next-solver related rustc dependencies of r-a to crates.io ones)
 - #146959 (temporary-lifetime-extension-tuple-ctor.rs: make usable on all editions)
 - #146964 (library: std: sys: pal: uefi: Add some comments)
 - #146969 (const-eval: better wording for errors involving maybe-null pointers)

r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit that referenced this pull request Sep 24, 2025
Rollup of 8 pull requests

Successful merges:

 - #146711 (fix 2 borrowck issues)
 - #146857 (revert change removing `has_infer` check. Commit conservatively patch…)
 - #146897 (fix ICE in rustdoc::invalid_html_tags)
 - #146915 (Make missed precondition-free float intrinsics safe)
 - #146932 (Switch next-solver related rustc dependencies of r-a to crates.io ones)
 - #146959 (temporary-lifetime-extension-tuple-ctor.rs: make usable on all editions)
 - #146964 (library: std: sys: pal: uefi: Add some comments)
 - #146969 (const-eval: better wording for errors involving maybe-null pointers)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit ec378dc into rust-lang:master Sep 24, 2025
10 checks passed
rust-timer added a commit that referenced this pull request Sep 24, 2025
Rollup merge of #146969 - RalfJung:maybe-null-errors, r=oli-obk

const-eval: better wording for errors involving maybe-null pointers

Fixes #146748
r? ``@oli-obk``
@rustbot rustbot added this to the 1.92.0 milestone Sep 24, 2025
github-actions bot pushed a commit to rust-lang/rust-analyzer that referenced this pull request Sep 25, 2025
Rollup of 8 pull requests

Successful merges:

 - rust-lang/rust#146711 (fix 2 borrowck issues)
 - rust-lang/rust#146857 (revert change removing `has_infer` check. Commit conservatively patch…)
 - rust-lang/rust#146897 (fix ICE in rustdoc::invalid_html_tags)
 - rust-lang/rust#146915 (Make missed precondition-free float intrinsics safe)
 - rust-lang/rust#146932 (Switch next-solver related rustc dependencies of r-a to crates.io ones)
 - rust-lang/rust#146959 (temporary-lifetime-extension-tuple-ctor.rs: make usable on all editions)
 - rust-lang/rust#146964 (library: std: sys: pal: uefi: Add some comments)
 - rust-lang/rust#146969 (const-eval: better wording for errors involving maybe-null pointers)

r? `@ghost`
`@rustbot` modify labels: rollup
@RalfJung RalfJung deleted the maybe-null-errors branch September 25, 2025 19:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-compiletest Area: The compiletest test runner A-testsuite Area: The testsuite used to check the correctness of rustc S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Turning TypeId into references in const complains about null pointers
6 participants