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/par.adb | |
| parent | 53642c37e2a585718b6e3c443e64007b4f4bbc14 (diff) | |
[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/par.adb')
| -rw-r--r-- | gcc/ada/par.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb index 69da69d07be..4c3a1549988 100644 --- a/gcc/ada/par.adb +++ b/gcc/ada/par.adb @@ -995,10 +995,10 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is procedure P_Aspect_Specifications (Decl : Node_Id; Semicolon : Boolean := True); - -- This procedure scans out a series of aspect spefications. If argument - -- Semicolon is True, a terminating semicolon is also scanned. If this - -- argument is False, the scan pointer is left pointing past the aspects - -- and the caller must check for a proper terminator. + -- This procedure scans out a series of aspect specifications. If + -- argument Semicolon is True, a terminating semicolon is also scanned. + -- If this argument is False, the scan pointer is left pointing past the + -- aspects and the caller must check for a proper terminator. -- -- P_Aspect_Specifications is called with the current token pointing -- to either a WITH keyword starting an aspect specification, or an |