Unit System.Atomic_Counters on ARM and AARCH64 is supported via GCC
builtins. This patch makes the documentation consistent with
Makefile.rtl and with comments in s-atocou.ads.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* doc/gnat_rm/the_gnat_library.rst (System.Atomic_Counters):
Sync description with comment in s-atocou.ads.
* gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Regenerate.diff --git a/gcc/ada/doc/gnat_rm/the_gnat_library.rst b/gcc/ada/doc/gnat_rm/the_gnat_library.rst
--- a/gcc/ada/doc/gnat_rm/the_gnat_library.rst
+++ b/gcc/ada/doc/gnat_rm/the_gnat_library.rst
@@ -2163,7 +2163,7 @@ This package provides the declaration of an atomic counter type,
together with efficient routines (using hardware
synchronization primitives) for incrementing, decrementing,
and testing of these counters. This package is implemented
-on most targets, including all Alpha, ia64, PowerPC, SPARC V9,
+on most targets, including all Alpha, AARCH64, ARM, ia64, PowerPC, SPARC V9,
x86, and x86_64 platforms.
.. _`System.Memory_(s-memory.ads)`:
diff --git a/gcc/ada/gnat-style.texi b/gcc/ada/gnat-style.texi
--- a/gcc/ada/gnat-style.texi
+++ b/gcc/ada/gnat-style.texi
@@ -3,7 +3,7 @@
@setfilename gnat-style.info
@documentencoding UTF-8
@ifinfo
-@*Generated by Sphinx 4.0.2.@*
+@*Generated by Sphinx 4.3.0.@*
@end ifinfo
@settitle GNAT Coding Style A Guide for GNAT Developers
@defindex ge
@@ -21,7 +21,7 @@
@copying
@quotation
-GNAT Coding Style: A Guide for GNAT Developers , Jun 23, 2021
+GNAT Coding Style: A Guide for GNAT Developers , Nov 30, 2021
AdaCore
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -3,7 +3,7 @@
@setfilename gnat_rm.info
@documentencoding UTF-8
@ifinfo
-@*Generated by Sphinx 4.0.2.@*
+@*Generated by Sphinx 4.3.0.@*
@end ifinfo
@settitle GNAT Reference Manual
@defindex ge
@@ -21,7 +21,7 @@
@copying
@quotation
-GNAT Reference Manual , Nov 08, 2021
+GNAT Reference Manual , Nov 30, 2021
AdaCore
@@ -5400,7 +5400,7 @@ Machine-dependent attributes can be specified for types and/or
declarations. This pragma is semantically equivalent to
@code{__attribute__((@emph{attribute_name}))} (if @code{info} is not
specified) or @code{__attribute__((@emph{attribute_name(info})))}
-or @code{__attribute__((@emph{attribute_name(info,…})))} in GNU C,
+or @code{__attribute__((@emph{attribute_name(info,...})))} in GNU C,
where @emph{attribute_name} is recognized by the compiler middle-end
or the @code{TARGET_ATTRIBUTE_TABLE} machine specific macro. Note
that a string literal for the optional parameter @code{info} or the
@@ -25444,7 +25444,7 @@ This package provides the declaration of an atomic counter type,
together with efficient routines (using hardware
synchronization primitives) for incrementing, decrementing,
and testing of these counters. This package is implemented
-on most targets, including all Alpha, ia64, PowerPC, SPARC V9,
+on most targets, including all Alpha, AARCH64, ARM, ia64, PowerPC, SPARC V9,
x86, and x86_64 platforms.
@node System Memory s-memory ads,System Multiprocessors s-multip ads,System Atomic_Counters s-atocou ads,The GNAT Library
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -3,7 +3,7 @@
@setfilename gnat_ugn.info
@documentencoding UTF-8
@ifinfo
-@*Generated by Sphinx 4.0.2.@*
+@*Generated by Sphinx 4.3.0.@*
@end ifinfo
@settitle GNAT User's Guide for Native Platforms
@defindex ge
@@ -21,7 +21,7 @@
@copying
@quotation
-GNAT User's Guide for Native Platforms , Nov 08, 2021
+GNAT User's Guide for Native Platforms , Nov 30, 2021
AdaCore
@@ -725,7 +725,7 @@ comprising the @code{$} character followed by a space.
Full file names are shown with the ‘/’ character
as the directory separator; e.g., @code{parent-dir/subdir/myfile.adb}.
If you are using GNAT on a Windows platform, please note that
-the ‘' character should be used instead.
+the ‘\’ character should be used instead.
@end itemize
@node Getting Started with GNAT,The GNAT Compilation Model,About This Guide,Top
