sem_ch3.adb (Check_Or_Process_Discriminants): In Ada 2012, allow limited tagged types...
authorGary Dismukes <dismukes@adacore.com>
Fri, 22 Oct 2010 10:28:52 +0000 (10:28 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 22 Oct 2010 10:28:52 +0000 (12:28 +0200)
commit5e5db3b4b48ede7d0d1815ec2126b669affeda96
treeb62adf60e72734b8896d83cb6ca033a7f86f4335
parenta043e7356e5eb2e7c0c09f0775d7647c8f2a0ece
sem_ch3.adb (Check_Or_Process_Discriminants): In Ada 2012, allow limited tagged types to have defaulted discriminants.

2010-10-22  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb (Check_Or_Process_Discriminants): In Ada 2012, allow
limited tagged types to have defaulted discriminants. Customize the
error message for the Ada 2012 case.
(Process_Discriminants): In Ada 2012, allow limited tagged types to have
defaulted discriminants. Customize the error message for the Ada 2012
case.
* sem_ch6.adb (Create_Extra_Formals): Suppress creation of the extra
formal for out formals of discriminated types in the case where the
underlying type is a limited tagged type.
* exp_attr.adb (Expand_N_Attribute_Reference, case
Attribute_Constrained): Return True for 'Constrained when the
underlying type of the prefix is a limited tagged type.

From-SVN: r165819
gcc/ada/ChangeLog
gcc/ada/exp_attr.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch6.adb