[Ada] Handle iterator filters on loop specifications over containers
authorEd Schonberg <schonberg@adacore.com>
Sat, 28 Nov 2020 15:19:47 +0000 (10:19 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 16 Dec 2020 13:01:04 +0000 (08:01 -0500)
commitd1d0c4c80058923fbf681d1d80ff90eeb7883949
treeb20bdde60c5b2872074a0cdf5e1d0b1ff2433cfb
parentaa44eaca60245cda7913543e3a7848800b79b955
[Ada] Handle iterator filters on loop specifications over containers

gcc/ada/

* sem_ch5.adb (Analyze_Iterator_Specification): If iterator
filter is present, preanalyze filter without expansion.
(Analyze_Loop_Parameter_Specification): When
loop_Parameter_Specification is rewritten as
Iterator_Specification, transfer Iterator_Filter if present.
gcc/ada/sem_ch5.adb