From cbe3738e6eaa37972b065038c69483b34339ec9d Mon Sep 17 00:00:00 2001 From: Joshua Liebow-Feeser Date: Sat, 4 Nov 2023 05:04:38 -0700 Subject: [PATCH] Update based on #116988 (the null address has the value 0) --- library/core/src/ptr/mod.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/library/core/src/ptr/mod.rs b/library/core/src/ptr/mod.rs index 8548912840fd1..10532a669fee4 100644 --- a/library/core/src/ptr/mod.rs +++ b/library/core/src/ptr/mod.rs @@ -66,10 +66,10 @@ //! a separate allocated object), and `static` variables. //! //! It is guaranteed that an allocated object never spans more than `isize::MAX` bytes. -//! An allocated object cannot contain [`null()`] and cannot contain the last (`usize::MAX`) byte -//! of the address space. As a consequence, any address which is either in the allocated object or -//! one byte past the last address in the allocated object can be computed without wrapping around -//! the address space. +//! An allocated object cannot contain [`null()`] (i.e., the address with the numerical value 0) and +//! cannot contain the last (`usize::MAX`) byte of the address space. As a consequence, any address +//! which is either in the allocated object or one byte past the last address in the allocated object +//! can be computed without wrapping around the address space. //! //! [`null()`]: null //!