diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-07-21 05:45:31 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-20 03:21:51 -0400 |
| commit | 71400efc5eeacbef8e1e69e181241f99bcc097e5 (patch) | |
| tree | 9fff6b8ee16367b01aa0d6bae7c19fff239a356e /gcc/ada/doc | |
| parent | 53642c37e2a585718b6e3c443e64007b4f4bbc14 (diff) | |
| download | gcc-71400efc5eeacbef8e1e69e181241f99bcc097e5.zip gcc-71400efc5eeacbef8e1e69e181241f99bcc097e5.tar.gz gcc-71400efc5eeacbef8e1e69e181241f99bcc097e5.tar.bz2 | |
[Ada] Add support for Unreferenced aspect on formal parameters
gcc/ada/
* aspects.adb (Has_Aspect_Specifications_Flag): Add
N_Parameter_Specification.
* par-ch13.adb (Aspect_Specifications_Present): Also handle case
of an unknown aspect on the last formal parameter (terminated by
a Tok_Right_Paren). Minor reformatting.
* par-ch6.adb (P_Formal_Part): Scan aspects on formal
parameters.
* par.adb: Fix typos.
* sem_ch6.adb (Process_Formals): Add processing of aspects and
in particular Unreferenced aspect for now.
* sinfo.ads: Allow ASPECT_SPECIFICATIONS on a
PARAMETER_SPECIFICATION.
* doc/gnat_rm/implementation_defined_aspects.rst
(Aspect Unreferenced): Update documentation.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst index 736710d..de5efea 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst @@ -564,9 +564,11 @@ Aspect Unreferenced =================== .. index:: Unreferenced -This boolean aspect is equivalent to :ref:`pragma Unreferenced<Pragma-Unreferenced>`. Note that -in the case of formal parameters, it is not permitted to have aspects for -a formal parameter, so in this case the pragma form must be used. +This boolean aspect is equivalent to :ref:`pragma Unreferenced<Pragma-Unreferenced>`. + +When using the ``-gnatX`` switch, this aspect is also supported on formal +parameters, which is in particular the only form possible for expression +functions. Aspect Unreferenced_Objects =========================== |