Skip to content

Commit 7b76cc3

Browse files
committed
make it more clear that the uninit-mem clause is type-driven
1 parent e8303be commit 7b76cc3

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/behavior-considered-undefined.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -43,8 +43,8 @@ code.
4343
* A null `fn` pointer.
4444
* A value in a `char` which is a surrogate or above `char::MAX`.
4545
* A `!` (all values are invalid for this type).
46-
* [Uninitialized memory][undef] in the value of an integer (`i*`/`u*`),
47-
floating point value (`f*`), or raw pointer.
46+
* An integer (`i*`/`u*`), floating point value (`f*`), or raw pointer obtained
47+
from [uninitialized memory][undef].
4848
* A reference or `Box<T>` that is dangling, unaligned, or points to an invalid value.
4949
* Invalid metadata in a wide reference, `Box<T>`, or raw pointer:
5050
* `dyn Trait` metadata is invalid if it is not a pointer to a vtable for

0 commit comments

Comments
 (0)