]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] AI12-0156 Use subtype indication in generalized iterators
authorArnaud Charlet <charlet@adacore.com>
Mon, 31 May 2021 08:59:01 +0000 (04:59 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 8 Jul 2021 13:34:21 +0000 (13:34 +0000)
commit3c18e32037a4ab02afd22a535a96ac4cc3f88b16
treecfaa236e3e282bbe59096fe242ca0e00c6250546
parent629c82d729f1439718aa3759416cdb6cb03052f1
[Ada] AI12-0156 Use subtype indication in generalized iterators

gcc/ada/

* par-ch5.adb (P_Iterator_Specification): Add support for access
definition in loop parameter.
* sem_ch5.adb (Check_Subtype_Indication): Renamed...
(Check_Subtype_Definition): ... into this and check for conformance
on access definitions, and improve error messages.
(Analyze_Iterator_Specification): Add support for access definition
in loop parameter.
gcc/ada/par-ch5.adb
gcc/ada/sem_ch5.adb