[Ada] Minor tweak to Volatile_Full_Access wording in GNAT RM

2019-12-13  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* doc/gnat_rm/implementation_defined_pragmas.rst: Minor tweak to
	Volatile_Full_Access wording in GNAT RM.
	* gnat_rm.texi: Regenerate.

From-SVN: r279354

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 9838e9b21110f42529325686ec0df8ae5624fabb..97b64698e7288cdeff82879acbab64cf9611a1a0 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2019-12-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * doc/gnat_rm/implementation_defined_pragmas.rst: Minor tweak to
+       Volatile_Full_Access wording in GNAT RM.
+       * gnat_rm.texi: Regenerate.
+
 2019-12-13  Gary Dismukes  <dismukes@adacore.com>
 
        * exp_attr.adb (Expand_N_Attribute_Reference,

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index bf0a9d4619713e8be3835dd77df7b7bcc7661531..fd66aedfe26e69966051dbbb2ab860ffa6dc2495 100644 (file)
--- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
@@ -7425,8 +7425,8 @@ Syntax:
 This is similar in effect to pragma Volatile, except that any reference to the
 object is guaranteed to be done only with instructions that read or write all
 the bits of the object. Furthermore, if the object is of a composite type,
-then any reference to a component of the object is guaranteed to read and/or
-write all the bits of the object.
+then any reference to a subcomponent of the object is guaranteed to read
+and/or write all the bits of the object.
 
 The intention is that this be suitable for use with memory-mapped I/O devices
 on some machines. Note that there are two important respects in which this is
@@ -7438,7 +7438,7 @@ is not to the whole object; the compiler is allowed (and generally will)
 access only part of the object in this case.
 
 It is not permissible to specify ``Atomic`` and ``Volatile_Full_Access`` for
-the same object.
+the same type or object.
 
 It is not permissible to specify ``Volatile_Full_Access`` for a composite
 (record or array) type or object that has at least one ``Aliased`` component.

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 2a4ad37a8ed03afb7ca632cad70b8ef3b7a24352..8d909deaf8d28aa45026ce3317681c7273a68c7b 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -21,7 +21,7 @@
 
 @copying
 @quotation
-GNAT Reference Manual , Sep 14, 2019
+GNAT Reference Manual , Dec 10, 2019
 
 AdaCore
 
@@ -8931,8 +8931,8 @@ pragma Volatile_Full_Access (LOCAL_NAME);
 This is similar in effect to pragma Volatile, except that any reference to the
 object is guaranteed to be done only with instructions that read or write all
 the bits of the object. Furthermore, if the object is of a composite type,
-then any reference to a component of the object is guaranteed to read and/or
-write all the bits of the object.
+then any reference to a subcomponent of the object is guaranteed to read
+and/or write all the bits of the object.
 
 The intention is that this be suitable for use with memory-mapped I/O devices
 on some machines. Note that there are two important respects in which this is
@@ -8944,7 +8944,7 @@ is not to the whole object; the compiler is allowed (and generally will)
 access only part of the object in this case.
 
 It is not permissible to specify @code{Atomic} and @code{Volatile_Full_Access} for
-the same object.
+the same type or object.
 
 It is not permissible to specify @code{Volatile_Full_Access} for a composite
 (record or array) type or object that has at least one @code{Aliased} component.