lib/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-08-05 19:35:48 +03:00
Code Activity

Explain why p + n isn't good enough

Browse Source 
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine
2022-11-25 13:34:59 +01:00
parent d551413027
commit ff97f336e3
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
library/common.h
View File

@@ -63,6 +63,9 @@
* *
* This is just the addition of an offset to a pointer, except that this * This is just the addition of an offset to a pointer, except that this
* function also accepts an offset of 0 into a buffer whose pointer is null. * function also accepts an offset of 0 into a buffer whose pointer is null.
* (`p + n` has undefined behavior when `p` is null, even when `n == 0`.
* A null pointer is a valid buffer pointer when the size is 0, for example
* as the result of `malloc(0)` on some platforms.)
* *
* \param p Pointer to a buffer of at least n bytes. * \param p Pointer to a buffer of at least n bytes.
* This may be \p NULL if \p n is zero. * This may be \p NULL if \p n is zero.
@@ -79,8 +82,7 @@ static inline unsigned char *mbedtls_buffer_offset(
/** Return an offset into a read-only buffer. /** Return an offset into a read-only buffer.
* *
* This is just the addition of an offset to a pointer, except that this * Similar to mbedtls_buffer_offset(), but for const pointers.
* function also accepts an offset of 0 into a buffer whose pointer is null.
* *
* \param p Pointer to a buffer of at least n bytes. * \param p Pointer to a buffer of at least n bytes.
* This may be \p NULL if \p n is zero. * This may be \p NULL if \p n is zero.