bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Resolve null/ZST conflict correctly (whoops)

Browse source
This commit is contained in:
Dylan MacKenzie 2018-07-04 12:02:26 -07:00 • committed by Ralf Jung
parent 7e165d90a6
commit c8da321581
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/libcore/ptr.rs
View file

@ -42,10 +42,9 @@
//!
//! * The result of casting a reference to a pointer is valid for as long as the
//! underlying object is live.
//! * All pointers to types with a [size of zero][zst] are valid for all
//! operations of size zero.
//! * A [null] pointer is *never* valid, except when it points to a zero-sized
//! type.
//! * A [null] pointer is *never* valid.
//! * All pointers (except for the null pointer) are valid for all operations of
//! [size zero][zst].
//!
//! These axioms, along with careful use of [`offset`] for pointer arithmentic,
//! are enough to correctly implement many useful things in unsafe code. Still,