From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 17 Nov 2003 21:47:16 +0000 (+0000)
Subject: Mention that S+T cannot overflow if S is the size of an existing
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9b1421e27185130c8a169af0d00bb9016d2dabb5;p=pspp

Mention that S+T cannot overflow if S is the size of an existing
object and T is sufficiently small.
---

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.