sem_ch5.adb (Pre_Analyze_Range): new procedure extracted from Process_Bounds...
authorEd Schonberg <schonberg@adacore.com>
Tue, 2 Aug 2011 12:24:07 +0000 (12:24 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 2 Aug 2011 12:24:07 +0000 (14:24 +0200)
commitfb86fe11bfa9d28396b7283c41f8da190e205934
tree5342945941c5c45f59dd2ef3e30c1a0cd6d53b1b
parent7ea56b2382568eec303549248a2c1986f2385fd2
sem_ch5.adb (Pre_Analyze_Range): new procedure extracted from Process_Bounds...

2011-08-02  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Pre_Analyze_Range): new procedure extracted from
Process_Bounds, to perform analysis with expansion of a range or an
expression that is the iteration scheme for a loop.
(Analyze_Iterator_Specification): If domain of iteration is given by a
function call with a controlled result, as is the case if call returns
a predefined container, ensure that finalization actions are properly
generated.
* par-ch3.adb: accept Ada2012 iterator form in P_Discrete_Range.

From-SVN: r177134
gcc/ada/ChangeLog
gcc/ada/par-ch3.adb
gcc/ada/sem_ch5.adb