From 9b1421e27185130c8a169af0d00bb9016d2dabb5 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 17 Nov 2003 21:47:16 +0000 Subject: [PATCH] Mention that S+T cannot overflow if S is the size of an existing object and T is sufficiently small. --- README | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README b/README index fa26478e5c..ea528bd9b5 100644 --- a/README +++ b/README @@ -130,6 +130,11 @@ as well. GNULib code makes the following additional assumptions: for all practical hosts with flat address spaces, but it is not always true for hosts with segmented address spaces. + * If an existing object has size S, and if T is sufficiently small + (e.g., 8 KiB), then S + T cannot overflow. Overflow in this case + would mean that the rest of your program fits into T bytes, which + can't happen in realistic flat-address-space hosts. + * Objects with all bits zero are treated as 0 or NULL. For example, memset (A, 0, sizeof A) initializes an array A of pointers to NULL. -- 2.30.2