user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

sync with nomicon: raw ptr must be non-dangling and aligned every time it is dereferenced

Browse source
This commit is contained in:
Ralf Jung 2019-07-21 12:08:19 +02:00
parent 2e6b13a649
commit f502bf78cb
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/libstd/primitive_docs.rs
View file

@ -363,8 +363,8 @@ mod prim_unit { }
/// *[See also the `std::ptr` module](ptr/index.html).*
///
/// Working with raw pointers in Rust is uncommon, typically limited to a few patterns.
/// Raw pointers can be unaligned or null when unused. However, when a raw pointer is used to
/// load/store data from/to memory, they must be non-null and aligned.
/// Raw pointers can be unaligned or null when unused. However, when a raw pointer is
/// dereferenced (using the `*` operator), it must be non-null and aligned.
/// Storing through a raw pointer (`*ptr = data`) calls `drop` on the old value, so
/// [`write`] must be used if memory is not already initialized.
///