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/exp_prag.adb | |
| 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/exp_prag.adb')
0 files changed, 0 insertions, 0 deletions