diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-09-04 04:08:58 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-26 04:58:53 -0400 |
| commit | e3710c6509fc8a914f94b5cbf50531e773229c9a (patch) | |
| tree | a75b0adb87565762288d4f183839a1d0d5db99c7 | |
| parent | e8d6d5f039902653af5b04b58078bd1003acc624 (diff) | |
| download | gcc-e3710c6509fc8a914f94b5cbf50531e773229c9a.zip gcc-e3710c6509fc8a914f94b5cbf50531e773229c9a.tar.gz gcc-e3710c6509fc8a914f94b5cbf50531e773229c9a.tar.bz2 | |
[Ada] AI12-0395: Allow aspect_specifications on formal parameters
gcc/ada/
* par-ch6.adb (P_Formal_Part): Ada 2020 supports scanning
aspects on formal parameters.
* doc/gnat_rm/implementation_defined_aspects.rst (Aspect
Unreferenced): Update documentation.
* gnat_rm.texi: Regenerate.
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst | 2 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 2 | ||||
| -rw-r--r-- | gcc/ada/par-ch6.adb | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst index de5efea..6f39de6 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst @@ -566,7 +566,7 @@ Aspect Unreferenced This boolean aspect is equivalent to :ref:`pragma Unreferenced<Pragma-Unreferenced>`. -When using the ``-gnatX`` switch, this aspect is also supported on formal +When using the ``-gnat2020`` switch, this aspect is also supported on formal parameters, which is in particular the only form possible for expression functions. diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index e1a5568..0ec8509 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -9933,7 +9933,7 @@ This boolean aspect is equivalent to @ref{10b,,pragma Unmodified}. This boolean aspect is equivalent to @ref{10c,,pragma Unreferenced}. -When using the @code{-gnatX} switch, this aspect is also supported on formal +When using the @code{-gnat2020} switch, this aspect is also supported on formal parameters, which is in particular the only form possible for expression functions. diff --git a/gcc/ada/par-ch6.adb b/gcc/ada/par-ch6.adb index 622a508..c8f4d87 100644 --- a/gcc/ada/par-ch6.adb +++ b/gcc/ada/par-ch6.adb @@ -1631,8 +1631,8 @@ package body Ch6 is -- the time being. elsif Token = Tok_With then - if not Extensions_Allowed then - Error_Msg_SP ("aspect on formal parameter requires -gnatX"); + if Ada_Version < Ada_2020 then + Error_Msg_SP ("aspect on formal parameter requires -gnat2020"); end if; P_Aspect_Specifications (Specification_Node, False); |