]> Savannah Git Hosting - gnulib.git/commitdiff
Mention WG14 N3322 in manual
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 3 Oct 2024 23:03:26 +0000 (16:03 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 3 Oct 2024 23:03:53 +0000 (16:03 -0700)
doc/gnulib-readme.texi

index eafb3a0b0173b655bfd1635dd9498642f23a6b39..876a4951033825b33efc87a9c6293cf7886be773 100644 (file)
@@ -547,6 +547,11 @@ hosts.
 @item
 Adding zero to a null pointer does not change the pointer.
 For example, @code{0 + (char *) NULL == (char *) NULL}.
+Similarly, subtracting zero does not change a null pointer,
+and subtracting two null pointers results in zero.
+A future C standard is planned to require this behavior; see
+``@url{https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3322.pdf,
+Allow zero length operations on null pointers}'', WG14 N3322 (2024-08-28).
 @end itemize
 @end itemize