diff mbox series

[Ada] Document System.Atomic_Counters as supported on ARM and AARCH64

Message ID 20211201102525.GA1635067@adacore.com
State Committed
Commit 6054bc84f0f6ff064c3dfc4a7e6080ffd1fdbe56
Headers
Series [Ada] Document System.Atomic_Counters as supported on ARM and AARCH64 |

Commit Message

Pierre-Marie de Rodat Dec. 1, 2021, 10:25 a.m. UTC 
  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 mbox series

Patch

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