Skip to content

Commit

Permalink
Remove double line breaks from behaviour-considered-undefined
Browse files Browse the repository at this point in the history
  • Loading branch information
chorman0773 committed Oct 21, 2024
1 parent 6943bc1 commit a8b8c49
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/behavior-considered-undefined.md
Original file line number Diff line number Diff line change
Expand Up @@ -177,7 +177,6 @@ to be larger than `isize::MAX`.

r[undefined.validity]


r[undefined.validity.general]
The Rust compiler assumes that all values produced during program execution are
"valid", and producing an invalid value is hence immediate UB.
Expand All @@ -200,7 +199,6 @@ r[undefined.validity.scalar]
* An integer (`i*`/`u*`), floating point value (`f*`), or raw pointer must be
initialized, i.e., must not be obtained from [uninitialized memory][undef].


r[undefined.validity.str]
* A `str` value is treated like `[u8]`, i.e. it must be initialized.

Expand Down Expand Up @@ -244,7 +242,6 @@ a restricted set of valid values. In other words, the only cases in which
reading uninitialized memory is permitted are inside `union`s and in "padding"
(the gaps between the fields of a type).


[`bool`]: types/boolean.md
[`const`]: items/constant-items.md
[noalias]: http://llvm.org/docs/LangRef.html#noalias
Expand Down

0 comments on commit a8b8c49

Please sign in to comment.