From 63e21a7237fac8dfedda51cc7f4089e8c07a25e9 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Fri, 13 Dec 2019 09:04:33 +0000 Subject: [PATCH] [Ada] Minor tweak to Volatile_Full_Access wording in GNAT RM 2019-12-13 Eric Botcazou 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 --- gcc/ada/ChangeLog | 6 ++++++ gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 6 +++--- gcc/ada/gnat_rm.texi | 8 ++++---- 3 files changed, 13 insertions(+), 7 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9838e9b2111..97b64698e72 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2019-12-13 Eric Botcazou + + * 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 * 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 bf0a9d46197..fd66aedfe26 100644 --- 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 2a4ad37a8ed..8d909deaf8d 100644 --- 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. -- 2.30.2