diff options
| author | Stuart Cook <Zalathar@users.noreply.github.com> | 2024-12-31 14:12:46 +1100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-31 14:12:46 +1100 |
| commit | fa6990c16ec1f2535ad89d874e5ee4a0aaaae77a (patch) | |
| tree | 51c2354c0c5d18aa7c31d5448fabe978c34e605d | |
| parent | 1200d3d7339f4d993a667ee90d4700c023159c73 (diff) | |
| parent | e36b4c95f440f1b25f91a7ad52596956518e145d (diff) | |
| download | rust-fa6990c16ec1f2535ad89d874e5ee4a0aaaae77a.tar.gz rust-fa6990c16ec1f2535ad89d874e5ee4a0aaaae77a.zip | |
Rollup merge of #134930 - RalfJung:ptr-docs-valid-access, r=jhpratt
ptr docs: make it clear that we are talking only about memory accesses This should make it harder to take this sentence out of context and misunderstand it.
| -rw-r--r-- | library/core/src/ptr/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/library/core/src/ptr/mod.rs b/library/core/src/ptr/mod.rs index ac074c097d9..dd61848d6e8 100644 --- a/library/core/src/ptr/mod.rs +++ b/library/core/src/ptr/mod.rs @@ -15,8 +15,8 @@ //! The precise rules for validity are not determined yet. The guarantees that are //! provided at this point are very minimal: //! -//! * For operations of [size zero][zst], *every* pointer is valid, including the [null] pointer. -//! The following points are only concerned with non-zero-sized accesses. +//! * For memory accesses of [size zero][zst], *every* pointer is valid, including the [null] +//! pointer. The following points are only concerned with non-zero-sized accesses. //! * A [null] pointer is *never* valid. //! * 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 |