summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorPaul Eggert <eggert@cs.ucla.edu>2003-10-16 18:28:06 +0000
committerPaul Eggert <eggert@cs.ucla.edu>2003-10-16 18:28:06 +0000
commit7fd2829dd83186fadc9cc23de2859c5819ce8337 (patch)
treefbc9ff8f25bb506c1b7642d0304de517bf548e2f /README
parent11312bf3714ccee407ff2c160b0f7dd17f728d47 (diff)
downloadgnulib-7fd2829dd83186fadc9cc23de2859c5819ce8337.tar.gz
(foo *) NULL + 0 == NULL
Diffstat (limited to 'README')
-rw-r--r--README3
1 files changed, 3 insertions, 0 deletions
diff --git a/README b/README
index 25907e986f..fa26478e5c 100644
--- a/README
+++ b/README
@@ -133,6 +133,9 @@ as well. GNULib code makes the following additional assumptions:
* 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.
+ * Adding zero to a null pointer does not change the pointer.
+ For example, 0 + (char *) NULL == (char *) NULL.
+
The above assumptions are not required by the C or POSIX standards but
hold on all practical porting targets that we're familiar with. If
you have a porting target where these assumptions are not true, we'd