docs: clarify that reading uninit memory is UB even for POD types#153248
Closed
Not-Sarthak wants to merge 1 commit intorust-lang:mainfrom
Closed
docs: clarify that reading uninit memory is UB even for POD types#153248Not-Sarthak wants to merge 1 commit intorust-lang:mainfrom
Not-Sarthak wants to merge 1 commit intorust-lang:mainfrom
Conversation
rustbot
added
S-waiting-on-review
Collaborator
|
rustbot has assigned @Mark-Simulacrum. Use Why was this reviewer chosen?The reviewer was selected based on:
|
This comment has been minimized.
This comment has been minimized.
MaybeUninit::assume_init docs now explicitly state that uninitialized memory is undefined behavior even for types where every bit pattern is valid (like u8 or i32), since uninitialized data is not a fixed value. Also adds a u8 example to the "incorrect usage" section.
Not-Sarthak
force-pushed
the
fix-150689-maybeuninit-docs
branch
from
b87104a to
2494b7f
Compare
Author
|
Closing as duplicate of #153030 |
rustbot
removed
the
S-waiting-on-review
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
3 participants
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.
Summary
MaybeUninit::assume_initdocs clarifying that uninitialized memory is UB even for types where every bit pattern is valid (likeu8,i32)u8example to the "incorrect usage" section to make this concreteCloses #150689
Test plan
./x test tidy --blesspasses./x doc library/core