]> Savannah Git Hosting - gnulib.git/commitdiff
doc: fix flat address space discussion
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Dec 2020 18:17:39 +0000 (10:17 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Dec 2020 18:18:13 +0000 (10:18 -0800)
* doc/gnulib-readme.texi (Other portability assumptions):
Move the all-bits-zero assumption outside the flat address space
section, since the two issues are independent.

ChangeLog
doc/gnulib-readme.texi

index 14a2ea95702dbc027eda5b0907eb91c00b4c0b01..5f4ae46a6f8625d3de24b91eda87ef3b5c39d94c 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2020-12-06  Paul Eggert  <eggert@cs.ucla.edu>
 
+       doc: fix flat address space discussion
+       * doc/gnulib-readme.texi (Other portability assumptions):
+       Move the all-bits-zero assumption outside the flat address space
+       section, since the two issues are independent.
+
        doc: document -static-libubsan more
        * doc/gnulib-readme.texi (High Quality): Document pros and cons of
        -static-libubsan a bit more.  Mostly cons.
index 833888320cae6dec75ccdabf46f93c6a978579be..3854829af1987b320a6de6ee121200916f2f8ee4 100644 (file)
@@ -465,6 +465,11 @@ contribute to its value in the usual way.
 In particular, an unsigned type and its signed counterpart have the
 same number of bits when you count the latter's sign bit.
 
+@item
+Objects with all bits zero are treated as 0 or NULL@.  For example,
+@code{memset@ (A, 0, sizeof@ A)} initializes an array @code{A} of
+pointers to NULL.
+
 @item
 The types @code{intptr_t} and @code{uintptr_t} exist, and pointers
 can be converted to and from these types without loss of information.
@@ -505,11 +510,6 @@ Overflow in this case would mean that the rest of your program fits
 into @var{T} bytes, which can't happen in realistic flat-address-space
 hosts.
 
-@item
-Objects with all bits zero are treated as 0 or NULL@.  For example,
-@code{memset@ (A, 0, sizeof@ A)} initializes an array @code{A} of
-pointers to NULL.
-
 @item
 Adding zero to a null pointer does not change the pointer.
 For example, @code{0 + (char *) NULL == (char *) NULL}.