diff options
author | Bob Duff <duff@adacore.com> | 2022-01-10 10:29:40 -0500 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-09 09:27:30 +0000 |
commit | 320eb42df09f3cb96fea9a7b090ae61d9edb20b6 (patch) | |
tree | ef796f5f7aec8a09b419b42879bb05840b4554f5 /gcc/ada/doc | |
parent | 82bd388bf08329b4e271ef83adca22b3816ff14f (diff) | |
download | gcc-320eb42df09f3cb96fea9a7b090ae61d9edb20b6.zip gcc-320eb42df09f3cb96fea9a7b090ae61d9edb20b6.tar.gz gcc-320eb42df09f3cb96fea9a7b090ae61d9edb20b6.tar.bz2 |
[Ada] Use "aspect" instead of "pragma" in warnings
For warnings related to the Unreferenced, Unmodified, and Unused
aspects, refer to the "aspect", not the "pragma". Note that the aspect
can be set by an aspect_specification or a pragma, so the term "aspect"
is correct even in the pragma case. However, messages in sem_prag.adb
use Fix_Error, so they refer to "aspect" or "pragma". It's not clear
that we really ought to refer to "pragma", now that those are obsolete,
but de call Fix_Error for uniformity. We do not attempt to make
Fix_Error available outside sem_prag.adb -- too much trouble for
something that perhaps ought to be removed.
gcc/ada/
* lib-xref.adb, sem_util.adb: Change wording of warning messages
to use "aspect".
* sem_prag.adb: Use Fix_Error to change wording of warnings.
* doc/gnat_rm/implementation_defined_pragmas.rst: Minor: fix
cut&paste error.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc')
-rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index fbd60eb..895180e 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -7313,7 +7313,7 @@ For the variable case, warnings are never given for unreferenced variables whose name contains one of the substrings ``DISCARD, DUMMY, IGNORE, JUNK, UNUSED`` in any casing. Such names are typically to be used in cases where such warnings are expected. -Thus it is never necessary to use ``pragma Unmodified`` for such +Thus it is never necessary to use ``pragma Unused`` for such variables, though it is harmless to do so. Pragma Validity_Checks |