From b98b57a59fb3130d4a9ffa275cba303fdf1b2a9f Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Fri, 17 Oct 2014 08:46:37 +0000 Subject: sem_ch3.adb (Build_Derived_Enumeration_Type): Propagate aspect specfications from original type declaration to declaration of... 2014-10-17 Ed Schonberg * sem_ch3.adb (Build_Derived_Enumeration_Type): Propagate aspect specfications from original type declaration to declaration of implicit base, because original node is rewritten as a subtype declaration on which type aspects do not belong. From-SVN: r216373 --- gcc/ada/ChangeLog | 7 +++++++ gcc/ada/sem_ch3.adb | 5 +++++ 2 files changed, 12 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 549f7fb..c5d6122 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2014-10-17 Ed Schonberg + + * sem_ch3.adb (Build_Derived_Enumeration_Type): Propagate aspect + specfications from original type declaration to declaration of + implicit base, because original node is rewritten as a subtype + declaration on which type aspects do not belong. + 2014-10-17 Hristian Kirtchev * sem_ch3.adb (Propagate_Default_Init_Cond_Attributes): A derived type diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 6f68580..5cf186a 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -6364,6 +6364,11 @@ package body Sem_Ch3 is Analyze (N); + -- Propagate the aspects from the original type declaration to the + -- declaration of the implicit base. + + Move_Aspects (From => Original_Node (N), To => Type_Decl); + -- Apply a range check. Since this range expression doesn't have an -- Etype, we have to specifically pass the Source_Typ parameter. Is -- this right??? -- cgit v1.1