diff options
| author | Ralf Jung <post@ralfj.de> | 2024-12-30 19:28:03 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-12-30 19:28:03 +0100 |
| commit | e36b4c95f440f1b25f91a7ad52596956518e145d (patch) | |
| tree | 154d360205b86d7c0beef649a3d0472d237f2e4f | |
| parent | f95c9967506712bdf8e86b08d8b17accbde2d985 (diff) | |
| download | rust-e36b4c95f440f1b25f91a7ad52596956518e145d.tar.gz rust-e36b4c95f440f1b25f91a7ad52596956518e145d.zip | |
ptr docs: make it clear that we are talking only about memory accesses
| -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 e6e13eaff7b..2d128d4f528 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 |