projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8d6d5f) | patch
[Ada] AI12-0395: Allow aspect_specifications on formal parameters
authorArnaud Charlet <charlet@adacore.com>
Fri, 4 Sep 2020 08:08:58 +0000 (04:08 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 26 Oct 2020 08:58:53 +0000 (04:58 -0400)
commite3710c6509fc8a914f94b5cbf50531e773229c9a
treea75b0adb87565762288d4f183839a1d0d5db99c7tree
parente8d6d5f039902653af5b04b58078bd1003acc624commit | diff
[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.
gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/par-ch6.adb diff | blob | history