bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

ptr docs: make it clear that we are talking only about memory accesses

Browse source
This commit is contained in:
Ralf Jung 2024-12-30 19:28:03 +01:00
parent f95c996750
commit e36b4c95f4
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
library/core/src/ptr/mod.rs
View file

@ -15,8 +15,8 @@
//! The precise rules for validity are not determined yet. The guarantees that are //! The precise rules for validity are not determined yet. The guarantees that are
//! provided at this point are very minimal: //! provided at this point are very minimal:
//! //!
//! * For operations of [size zero][zst], *every* pointer is valid, including the [null] pointer. //! * For memory accesses of [size zero][zst], *every* pointer is valid, including the [null]
//! The following points are only concerned with non-zero-sized accesses. //! pointer. The following points are only concerned with non-zero-sized accesses.
//! * A [null] pointer is *never* valid. //! * A [null] pointer is *never* valid.
//! * For a pointer to be valid, it is necessary, but not always sufficient, that the pointer be //! * For a pointer to be valid, it is necessary, but not always sufficient, that the pointer be
//! *dereferenceable*. The [provenance] of the pointer is used to determine which [allocated //! *dereferenceable*. The [provenance] of the pointer is used to determine which [allocated