manywarnings: update the list of "all" warnings

[gnulib.git] / README

diff --git a/README b/README
index 921cfe7..ed72c41 100644 (file)
--- a/README
+++ b/README
@@ -149,7 +149,7 @@ can use these instructions.
       set noexpandtab
 
   * For Eclipse: In the "Window|Preferences" dialog (or "Eclipse|Preferences"
-    dialog on MacOS),
+    dialog on Mac OS),
     1. Under "General|Editors|Text Editors", select the "Insert spaces for tabs"
        checkbox.
     2. Under "C/C++|Code Style", select a code style profile that has the
@@ -258,15 +258,19 @@ as well.  Gnulib code makes the following additional assumptions:
  * There are no "holes" in integer values: all the bits of an integer
    contribute to its value in the usual way.
 
- * If two nonoverlapping objects have sizes S and T represented as
-   size_t values, then S + T cannot overflow.  This assumption is true
-   for all practical hosts with flat address spaces, but it is not
-   always true for hosts with segmented address spaces.
+ * Addresses and sizes behave as if objects reside in a flat address space.
+   In particular:
 
- * 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.
+   - If two nonoverlapping objects have sizes S and T represented as
+     size_t values, then S + T cannot overflow.
+
+   - A pointer P points within an object O if and only if
+     (char *) &O <= (char *) P && (char *) P < (char *) (&O + 1).
+
+   - 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.
@@ -300,7 +304,7 @@ branches to help promote this.
 
 
 -----
-Copyright 2001, 2003-2011 Free Software Foundation, Inc.
+Copyright 2001, 2003-2012 Free Software Foundation, Inc.
 
 This program is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by