[multiple changes]

2015-10-16  Hristian Kirtchev  <kirtchev@adacore.com>

	* aspects.adb Add an entry for Constant_After_Elaboration in
	table Canonical_Aspect.
	* aspects.ads Add entries for Constant_After_Elaboration in
	tables Aspect_Argument, Aspect_Delay, Aspect_Id, Aspect_Names
	and Implementation_Defined_Aspect.
	* par-prag.adb Pragma Constant_After_Elaboration does not require
	special processing by the parser.
	* sem_ch13.adb Add an entry for Constant_After_Elaboration
	in table Sig_Flags.
	(Analyze_Aspect_Specifications):
	Add processing for aspect Constant_After_Elaboration.
	(Check_Aspect_At_Freeze_Point): Aspect Constant_After_Elaboration
	does not require special processing at freeze time.
	* sem_prag.adb (Analyze_Pragma): Add processing for pragma
	Constant_After_Elaboration. Use routine Find_Related_Context to
	retrieve the context of pragma Part_Of.
	(Duplication_Error): Update comment on usage.
	(Find_Related_Context): New routine.
	* sem_prag.ads Add an entry for Constant_After_Elaboration
	in table Aspect_Specifying_Pragma.
	(Analyze_Contract_Cases_In_Decl_Part): Update the comment on usage.
	* sem_util.adb (Add_Contract_Item): Add processing for pragma
	Constant_After_Elaboration.
	* sem_util.ads (Add_Contract_Item): Update the comment on usage.
	* snames.ads-tmpl Add new predefined name and aspect id for
	Constant_After_Elaboration.

2015-10-16  Vincent Celier  <celier@adacore.com>

	* prj-pp.adb (Pretty_Print.Print): Correctly display extending
	packages, instead of making them renamed packages.

From-SVN: r228911

1 files changed, 119 insertions, 114 deletions

diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads
index e215622..2d71394 100644
--- a/gcc/ada/aspects.ads
+++ b/gcc/ada/aspects.ads
@@ -81,6 +81,7 @@ package Aspects is
       Aspect_Attach_Handler,
       Aspect_Bit_Order,
       Aspect_Component_Size,
+      Aspect_Constant_After_Elaboration,    -- GNAT
       Aspect_Constant_Indexing,
       Aspect_Contract_Cases,                -- GNAT
       Aspect_Convention,
@@ -226,44 +227,45 @@ package Aspects is
    --  The following array identifies all implementation defined aspects
 
    Implementation_Defined_Aspect : constant array (Aspect_Id) of Boolean :=
-     (Aspect_Abstract_State           => True,
-      Aspect_Annotate                 => True,
-      Aspect_Async_Readers            => True,
-      Aspect_Async_Writers            => True,
-      Aspect_Contract_Cases           => True,
-      Aspect_Depends                  => True,
-      Aspect_Dimension                => True,
-      Aspect_Dimension_System         => True,
-      Aspect_Effective_Reads          => True,
-      Aspect_Effective_Writes         => True,
-      Aspect_Extensions_Visible       => True,
-      Aspect_Favor_Top_Level          => True,
-      Aspect_Ghost                    => True,
-      Aspect_Global                   => True,
-      Aspect_Inline_Always            => True,
-      Aspect_Invariant                => True,
-      Aspect_Lock_Free                => True,
-      Aspect_Object_Size              => True,
-      Aspect_Persistent_BSS           => True,
-      Aspect_Predicate                => True,
-      Aspect_Pure_Function            => True,
-      Aspect_Remote_Access_Type       => True,
-      Aspect_Scalar_Storage_Order     => True,
-      Aspect_Shared                   => True,
-      Aspect_Simple_Storage_Pool      => True,
-      Aspect_Simple_Storage_Pool_Type => True,
-      Aspect_Suppress_Debug_Info      => True,
-      Aspect_Suppress_Initialization  => True,
-      Aspect_Thread_Local_Storage     => True,
-      Aspect_Test_Case                => True,
-      Aspect_Universal_Aliasing       => True,
-      Aspect_Universal_Data           => True,
-      Aspect_Unmodified               => True,
-      Aspect_Unreferenced             => True,
-      Aspect_Unreferenced_Objects     => True,
-      Aspect_Value_Size               => True,
-      Aspect_Warnings                 => True,
-      others                          => False);
+     (Aspect_Abstract_State             => True,
+      Aspect_Annotate                   => True,
+      Aspect_Async_Readers              => True,
+      Aspect_Async_Writers              => True,
+      Aspect_Constant_After_Elaboration => True,
+      Aspect_Contract_Cases             => True,
+      Aspect_Depends                    => True,
+      Aspect_Dimension                  => True,
+      Aspect_Dimension_System           => True,
+      Aspect_Effective_Reads            => True,
+      Aspect_Effective_Writes           => True,
+      Aspect_Extensions_Visible         => True,
+      Aspect_Favor_Top_Level            => True,
+      Aspect_Ghost                      => True,
+      Aspect_Global                     => True,
+      Aspect_Inline_Always              => True,
+      Aspect_Invariant                  => True,
+      Aspect_Lock_Free                  => True,
+      Aspect_Object_Size                => True,
+      Aspect_Persistent_BSS             => True,
+      Aspect_Predicate                  => True,
+      Aspect_Pure_Function              => True,
+      Aspect_Remote_Access_Type         => True,
+      Aspect_Scalar_Storage_Order       => True,
+      Aspect_Shared                     => True,
+      Aspect_Simple_Storage_Pool        => True,
+      Aspect_Simple_Storage_Pool_Type   => True,
+      Aspect_Suppress_Debug_Info        => True,
+      Aspect_Suppress_Initialization    => True,
+      Aspect_Thread_Local_Storage       => True,
+      Aspect_Test_Case                  => True,
+      Aspect_Universal_Aliasing         => True,
+      Aspect_Universal_Data             => True,
+      Aspect_Unmodified                 => True,
+      Aspect_Unreferenced               => True,
+      Aspect_Unreferenced_Objects       => True,
+      Aspect_Value_Size                 => True,
+      Aspect_Warnings                   => True,
+      others                            => False);
 
    --  The following array indicates aspects for which multiple occurrences of
    --  the same aspect attached to the same declaration are allowed.
@@ -305,82 +307,83 @@ package Aspects is
    --  The following array indicates what argument type is required
 
    Aspect_Argument : constant array (Aspect_Id) of Aspect_Expression :=
-     (No_Aspect                        => Optional_Expression,
-      Aspect_Abstract_State            => Expression,
-      Aspect_Address                   => Expression,
-      Aspect_Alignment                 => Expression,
-      Aspect_Annotate                  => Expression,
-      Aspect_Attach_Handler            => Expression,
-      Aspect_Bit_Order                 => Expression,
-      Aspect_Component_Size            => Expression,
-      Aspect_Constant_Indexing         => Name,
-      Aspect_Contract_Cases            => Expression,
-      Aspect_Convention                => Name,
-      Aspect_CPU                       => Expression,
-      Aspect_Default_Component_Value   => Expression,
-      Aspect_Default_Initial_Condition => Optional_Expression,
-      Aspect_Default_Iterator          => Name,
-      Aspect_Default_Storage_Pool      => Expression,
-      Aspect_Default_Value             => Expression,
-      Aspect_Depends                   => Expression,
-      Aspect_Dimension                 => Expression,
-      Aspect_Dimension_System          => Expression,
-      Aspect_Dispatching_Domain        => Expression,
-      Aspect_Dynamic_Predicate         => Expression,
-      Aspect_Extensions_Visible        => Optional_Expression,
-      Aspect_External_Name             => Expression,
-      Aspect_External_Tag              => Expression,
-      Aspect_Ghost                     => Optional_Expression,
-      Aspect_Global                    => Expression,
-      Aspect_Implicit_Dereference      => Name,
-      Aspect_Initial_Condition         => Expression,
-      Aspect_Initializes               => Expression,
-      Aspect_Input                     => Name,
-      Aspect_Interrupt_Priority        => Expression,
-      Aspect_Invariant                 => Expression,
-      Aspect_Iterable                  => Expression,
-      Aspect_Iterator_Element          => Name,
-      Aspect_Link_Name                 => Expression,
-      Aspect_Linker_Section            => Expression,
-      Aspect_Machine_Radix             => Expression,
-      Aspect_Object_Size               => Expression,
-      Aspect_Obsolescent               => Optional_Expression,
-      Aspect_Output                    => Name,
-      Aspect_Part_Of                   => Expression,
-      Aspect_Post                      => Expression,
-      Aspect_Postcondition             => Expression,
-      Aspect_Pre                       => Expression,
-      Aspect_Precondition              => Expression,
-      Aspect_Predicate                 => Expression,
-      Aspect_Priority                  => Expression,
-      Aspect_Read                      => Name,
-      Aspect_Refined_Depends           => Expression,
-      Aspect_Refined_Global            => Expression,
-      Aspect_Refined_Post              => Expression,
-      Aspect_Refined_State             => Expression,
-      Aspect_Relative_Deadline         => Expression,
-      Aspect_Scalar_Storage_Order      => Expression,
-      Aspect_Simple_Storage_Pool       => Name,
-      Aspect_Size                      => Expression,
-      Aspect_Small                     => Expression,
-      Aspect_SPARK_Mode                => Optional_Name,
-      Aspect_Static_Predicate          => Expression,
-      Aspect_Storage_Pool              => Name,
-      Aspect_Storage_Size              => Expression,
-      Aspect_Stream_Size               => Expression,
-      Aspect_Suppress                  => Name,
-      Aspect_Synchronization           => Name,
-      Aspect_Test_Case                 => Expression,
-      Aspect_Type_Invariant            => Expression,
-      Aspect_Unimplemented             => Optional_Expression,
-      Aspect_Unsuppress                => Name,
-      Aspect_Value_Size                => Expression,
-      Aspect_Variable_Indexing         => Name,
-      Aspect_Warnings                  => Name,
-      Aspect_Write                     => Name,
-
-      Boolean_Aspects                  => Optional_Expression,
-      Library_Unit_Aspects             => Optional_Expression);
+     (No_Aspect                         => Optional_Expression,
+      Aspect_Abstract_State             => Expression,
+      Aspect_Address                    => Expression,
+      Aspect_Alignment                  => Expression,
+      Aspect_Annotate                   => Expression,
+      Aspect_Attach_Handler             => Expression,
+      Aspect_Bit_Order                  => Expression,
+      Aspect_Component_Size             => Expression,
+      Aspect_Constant_After_Elaboration => Optional_Expression,
+      Aspect_Constant_Indexing          => Name,
+      Aspect_Contract_Cases             => Expression,
+      Aspect_Convention                 => Name,
+      Aspect_CPU                        => Expression,
+      Aspect_Default_Component_Value    => Expression,
+      Aspect_Default_Initial_Condition  => Optional_Expression,
+      Aspect_Default_Iterator           => Name,
+      Aspect_Default_Storage_Pool       => Expression,
+      Aspect_Default_Value              => Expression,
+      Aspect_Depends                    => Expression,
+      Aspect_Dimension                  => Expression,
+      Aspect_Dimension_System           => Expression,
+      Aspect_Dispatching_Domain         => Expression,
+      Aspect_Dynamic_Predicate          => Expression,
+      Aspect_Extensions_Visible         => Optional_Expression,
+      Aspect_External_Name              => Expression,
+      Aspect_External_Tag               => Expression,
+      Aspect_Ghost                      => Optional_Expression,
+      Aspect_Global                     => Expression,
+      Aspect_Implicit_Dereference       => Name,
+      Aspect_Initial_Condition          => Expression,
+      Aspect_Initializes                => Expression,
+      Aspect_Input                      => Name,
+      Aspect_Interrupt_Priority         => Expression,
+      Aspect_Invariant                  => Expression,
+      Aspect_Iterable                   => Expression,
+      Aspect_Iterator_Element           => Name,
+      Aspect_Link_Name                  => Expression,
+      Aspect_Linker_Section             => Expression,
+      Aspect_Machine_Radix              => Expression,
+      Aspect_Object_Size                => Expression,
+      Aspect_Obsolescent                => Optional_Expression,
+      Aspect_Output                     => Name,
+      Aspect_Part_Of                    => Expression,
+      Aspect_Post                       => Expression,
+      Aspect_Postcondition              => Expression,
+      Aspect_Pre                        => Expression,
+      Aspect_Precondition               => Expression,
+      Aspect_Predicate                  => Expression,
+      Aspect_Priority                   => Expression,
+      Aspect_Read                       => Name,
+      Aspect_Refined_Depends            => Expression,
+      Aspect_Refined_Global             => Expression,
+      Aspect_Refined_Post               => Expression,
+      Aspect_Refined_State              => Expression,
+      Aspect_Relative_Deadline          => Expression,
+      Aspect_Scalar_Storage_Order       => Expression,
+      Aspect_Simple_Storage_Pool        => Name,
+      Aspect_Size                       => Expression,
+      Aspect_Small                      => Expression,
+      Aspect_SPARK_Mode                 => Optional_Name,
+      Aspect_Static_Predicate           => Expression,
+      Aspect_Storage_Pool               => Name,
+      Aspect_Storage_Size               => Expression,
+      Aspect_Stream_Size                => Expression,
+      Aspect_Suppress                   => Name,
+      Aspect_Synchronization            => Name,
+      Aspect_Test_Case                  => Expression,
+      Aspect_Type_Invariant             => Expression,
+      Aspect_Unimplemented              => Optional_Expression,
+      Aspect_Unsuppress                 => Name,
+      Aspect_Value_Size                 => Expression,
+      Aspect_Variable_Indexing          => Name,
+      Aspect_Warnings                   => Name,
+      Aspect_Write                      => Name,
+
+      Boolean_Aspects                   => Optional_Expression,
+      Library_Unit_Aspects              => Optional_Expression);
 
    -----------------------------------------
    -- Table Linking Names and Aspect_Id's --
@@ -403,6 +406,7 @@ package Aspects is
       Aspect_Attach_Handler               => Name_Attach_Handler,
       Aspect_Bit_Order                    => Name_Bit_Order,
       Aspect_Component_Size               => Name_Component_Size,
+      Aspect_Constant_After_Elaboration   => Name_Constant_After_Elaboration,
       Aspect_Constant_Indexing            => Name_Constant_Indexing,
       Aspect_Contract_Cases               => Name_Contract_Cases,
       Aspect_Convention                   => Name_Convention,
@@ -700,6 +704,7 @@ package Aspects is
       Aspect_Annotate                     => Never_Delay,
       Aspect_Async_Readers                => Never_Delay,
       Aspect_Async_Writers                => Never_Delay,
+      Aspect_Constant_After_Elaboration   => Never_Delay,
       Aspect_Contract_Cases               => Never_Delay,
       Aspect_Convention                   => Never_Delay,
       Aspect_Default_Initial_Condition    => Never_Delay,