changeset 4875:2f724c1e6ebe

Mention that S+T cannot overflow if S is the size of an existing object and T is sufficiently small.
author Paul Eggert <eggert@cs.ucla.edu>
date Mon, 17 Nov 2003 21:47:16 +0000
parents 310bf22ff300
children c515580049a9
files README
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/README
+++ b/README
@@ -130,6 +130,11 @@
    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.