From: Bruno Haible Date: Tue, 14 Nov 2023 01:47:21 +0000 (+0100) Subject: doc: Add a note. X-Git-Tag: v1.0~591 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=7cf571ff735209c68e8263347db8126f87624b20;p=gnulib.git doc: Add a note. * doc/posix-headers/stdatomic.texi: Add a note about the memory model. --- diff --git a/ChangeLog b/ChangeLog index ab55ea915c..9673099168 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2023-11-13 Bruno Haible + + doc: Add a note. + * doc/posix-headers/stdatomic.texi: Add a note about the memory model. + 2023-11-13 Bruno Haible Don't use CHERI facilities with CC="clang -march=morello". diff --git a/doc/posix-headers/stdatomic.texi b/doc/posix-headers/stdatomic.texi index d2368006bd..440dab625d 100644 --- a/doc/posix-headers/stdatomic.texi +++ b/doc/posix-headers/stdatomic.texi @@ -17,4 +17,8 @@ Portability problems not fixed by Gnulib: @item This header file is missing on many platforms: glibc with GCC 4.8.x or clang 2.8, FreeBSD 6.4, NetBSD 7.0, OpenBSD 6.5, OpenBSD 6.9 with gcc, Minix 3.3.0, AIX 7.2 with xlc or xlclang, HP-UX 11.31, IRIX 6.5, Solaris 11.3 with Oracle Studio 12.4 (Sun C 5.13), Cygwin 1.5.19, mingw, MSVC 14. +@item +Linus Torvalds believes that +``no compiler writer will get the C/C++ memory model right''; +see @url{https://lkml.org/lkml/2018/6/7/761}. @end itemize