diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2019-12-13 09:04:33 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-13 09:04:33 +0000 |
commit | 63e21a7237fac8dfedda51cc7f4089e8c07a25e9 (patch) | |
tree | 00b509a768c67c5192bf3064331271f7087f13d5 | |
parent | 47997d257aaaac802d5857c898a4a3ef38e9e65a (diff) | |
download | gcc-63e21a7237fac8dfedda51cc7f4089e8c07a25e9.zip gcc-63e21a7237fac8dfedda51cc7f4089e8c07a25e9.tar.gz gcc-63e21a7237fac8dfedda51cc7f4089e8c07a25e9.tar.bz2 |
[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
-rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 6 | ||||
-rw-r--r-- | gcc/ada/gnat_rm.texi | 8 |
3 files changed, 13 insertions, 7 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9838e9b..97b6469 100644 --- 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 bf0a9d4..fd66aed 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 2a4ad37..8d909de 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. |