From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 8 Nov 2021 11:46:42 +0000 (+0100)
Subject: [Ada] Document System.Atomic_Counters as supported on ARM and AARCH64
X-Git-Tag: basepoints/gcc-13~2653
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6054bc84f0f6ff064c3dfc4a7e6080ffd1fdbe56;p=thirdparty%2Fgcc.git

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

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
index d70e71c83375..de1c83ec25e3 100644
--- 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
index 37ce6909d23b..a7d666c0b779 100644
--- 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
index a8232f2361fa..547d5b9e208d 100644
--- 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
index 00195e87d87d..22b679522aa9 100644
--- 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