bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

expand slice from_raw_part docs

Browse source
This commit is contained in:
Ralf Jung 2019-11-05 09:55:33 +01:00
parent 82dc3aa5fb
commit 1a254e4f43
2 changed files with 46 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/libcore/ptr/mod.rs
View file

@ -18,6 +18,10 @@
//! * A [null] pointer is *never* valid, not even for accesses of [size zero][zst].
//! * All pointers (except for the null pointer) are valid for all operations of
//! [size zero][zst].
//! * For a pointer to be valid, it is necessary (but not always sufficient) that the pointer
//! be *dereferencable*: the memory range of the given size starting at the pointer must all be
//! within the bounds of a single allocated object. Note that in Rust,
//! every (stack-allocated) variable is considered a separate allocated object.
//! * All accesses performed by functions in this module are *non-atomic* in the sense
//! of [atomic operations] used to synchronize between threads. This means it is
//! undefined behavior to perform two concurrent accesses to the same location from different