sem_prag.adb (Default_Initial_Condition): If the desired type declaration is a derive...
authorEd Schonberg <schonberg@adacore.com>
Mon, 23 Jan 2017 13:31:43 +0000 (13:31 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 23 Jan 2017 13:31:43 +0000 (14:31 +0100)
commitd268147dea8efee7a66e409e7cba492ab4679f29
treecd6a7a5446c06599bb38427f0ad658fcfda1bae7
parentdafe11cd1851fecb7b7bc780410be394fc99142a
sem_prag.adb (Default_Initial_Condition): If the desired type declaration is a derived type declaration with discriminants...

2017-01-23  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Default_Initial_Condition): If the desired type
declaration is a derived type declaration with discriminants,
it is rewritten as a private type declaration.
* sem_ch13.adb (Replace_Type_References_Generic,
Visible_Component): A discriminated private type with descriminnts
has components that must be rewritten as selected components
if they appear as identifiers in an aspect expression such as
a Default_Initial_Condition.
* sem_util.adb (Defining_Entity): support N_Iterator_Specification
nodes.

From-SVN: r244809
gcc/ada/ChangeLog
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_util.adb