Skip to content

Introduce stricter checks for might_permit_raw_init under a debug flag - #97323

Merged
bors merged 1 commit into
masterfrom
unknown repository
May 25, 2022
Merged

bors merged 1 commit into
masterfrom
unknown repository

Conversation

@ghost

@ghost ghost commented May 23, 2022 •

Copy link
Copy Markdown

This is intended to be a version of the strict checks tried out in #79296, but also checking number validity (under the assumption that let _ = std::mem::uninitialized::<u32>() is UB, which seems to be what rust-lang/unsafe-code-guidelines#71 is leaning towards.)

Loading
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. 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.

8 participants