2013-04-23 Ed Schonberg <schonberg@adacore.com>

	* sem_ch3.adb (Analyze_Object_Declarations): Undo previous patch.
	* exp_util.adb (Expand_Subtype_From_Expr): If the expression
	is a source entity and the declaration is for an aliased
	unconstrained array, create a new subtype so that the flag
	Is_Constr_Subt_For_UN_Aliased does not pollute other entities.

2013-04-23  Hristian Kirtchev  <kirtchev@adacore.com>

	* aspects.adb: Move tables Base_Aspect and Inherited_Aspect
	from the spec to the body.
	(Find_Aspect): Update the call to Get_Aspect_Id.
	(Get_Aspect_Id): New version that takes an aspect specification.
	* aspects.ads: Reorganize all aspect related tables.
	(Get_Aspect_Id): New version that takes an aspect specification.
	* par_sco.adb (Traverse_Aspects): Update the call to Get_Aspect_Id.
	* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Update
	the call to Get_Aspect_Id.
	* sem_ch13.adb (Analyze_Aspect_At_Freeze_Point): Update the
	call to Get_Aspect_Id.	(Analyze_Aspect_Specifications): Update
	the call to Get_Aspect_Id. Update the call to Impl_Defined_Aspect.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198179 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 210 insertions, 235 deletions

diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads
index 690b7b1ecad..ee8676af330 100644
--- a/gcc/ada/aspects.ads
+++ b/gcc/ada/aspects.ads
@@ -196,89 +196,59 @@ package Aspects is
    --  The following array indicates aspects that accept 'Class
 
    Class_Aspect_OK : constant array (Aspect_Id) of Boolean :=
-                       (Aspect_Invariant      => True,
-                        Aspect_Pre            => True,
-                        Aspect_Predicate      => True,
-                        Aspect_Post           => True,
-                        Aspect_Type_Invariant => True,
-                        others                => False);
-
-   --  The following array indicates aspects that a subtype inherits from
-   --  its base type. True means that the subtype inherits the aspect from
-   --  its base type. False means it is not inherited.
-
-   Base_Aspect : constant array (Aspect_Id) of Boolean :=
-                   (Aspect_Atomic                  => True,
-                    Aspect_Atomic_Components       => True,
-                    Aspect_Discard_Names           => True,
-                    Aspect_Independent_Components  => True,
-                    Aspect_Iterator_Element        => True,
-                    Aspect_Constant_Indexing       => True,
-                    Aspect_Default_Iterator        => True,
-                    Aspect_Type_Invariant          => True,
-                    Aspect_Unchecked_Union         => True,
-                    Aspect_Variable_Indexing       => True,
-                    Aspect_Volatile                => True,
-                    others                         => False);
+     (Aspect_Invariant      => True,
+      Aspect_Pre            => True,
+      Aspect_Predicate      => True,
+      Aspect_Post           => True,
+      Aspect_Type_Invariant => True,
+      others                => False);
 
    --  The following array identifies all implementation defined aspects
 
-   Impl_Defined_Aspects : constant array (Aspect_Id) of Boolean :=
-                            (Aspect_Abstract_State           => True,
-                             Aspect_Ada_2005                 => True,
-                             Aspect_Ada_2012                 => True,
-                             Aspect_Compiler_Unit            => True,
-                             Aspect_Contract_Cases           => True,
-                             Aspect_Depends                  => True,
-                             Aspect_Dimension                => True,
-                             Aspect_Dimension_System         => 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_Preelaborate_05          => True,
-                             Aspect_Pure_05                  => True,
-                             Aspect_Pure_12                  => 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_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);
+   Implementation_Defined_Aspect : constant array (Aspect_Id) of Boolean :=
+     (Aspect_Abstract_State           => True,
+      Aspect_Ada_2005                 => True,
+      Aspect_Ada_2012                 => True,
+      Aspect_Compiler_Unit            => True,
+      Aspect_Contract_Cases           => True,
+      Aspect_Depends                  => True,
+      Aspect_Dimension                => True,
+      Aspect_Dimension_System         => 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_Preelaborate_05          => True,
+      Aspect_Pure_05                  => True,
+      Aspect_Pure_12                  => 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_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.
 
    No_Duplicates_Allowed : constant array (Aspect_Id) of Boolean :=
-                             (Aspect_Test_Case      => False,
-                              others                => True);
-
-   --  The following array indicates type aspects that are inherited and apply
-   --  to the class-wide type as well.
-
-   Inherited_Aspect : constant array (Aspect_Id) of Boolean :=
-                        (Aspect_Constant_Indexing    => True,
-                         Aspect_Default_Iterator     => True,
-                         Aspect_Implicit_Dereference => True,
-                         Aspect_Iterator_Element     => True,
-                         Aspect_Remote_Types         => True,
-                         Aspect_Variable_Indexing    => True,
-                         others                      => False);
+     (Aspect_Test_Case => False,
+      others           => True);
 
    --  The following subtype defines aspects corresponding to library unit
    --  pragmas, these can only validly appear as aspects for library units,
@@ -311,65 +281,65 @@ package Aspects is
    --  The following array indicates what argument type is required
 
    Aspect_Argument : constant array (Aspect_Id) of Aspect_Expression :=
-                       (No_Aspect                      => Optional,
-                        Aspect_Abstract_State          => Expression,
-                        Aspect_Address                 => Expression,
-                        Aspect_Alignment               => 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_Iterator        => Name,
-                        Aspect_Default_Value           => Expression,
-                        Aspect_Depends                 => Expression,
-                        Aspect_Dimension               => Expression,
-                        Aspect_Dimension_System        => Expression,
-                        Aspect_Dispatching_Domain      => Expression,
-                        Aspect_Dynamic_Predicate       => Expression,
-                        Aspect_External_Name           => Expression,
-                        Aspect_External_Tag            => Expression,
-                        Aspect_Global                  => Expression,
-                        Aspect_Implicit_Dereference    => Name,
-                        Aspect_Input                   => Name,
-                        Aspect_Interrupt_Priority      => Expression,
-                        Aspect_Invariant               => Expression,
-                        Aspect_Iterator_Element        => Name,
-                        Aspect_Link_Name               => Expression,
-                        Aspect_Machine_Radix           => Expression,
-                        Aspect_Object_Size             => Expression,
-                        Aspect_Output                  => Name,
-                        Aspect_Post                    => Expression,
-                        Aspect_Postcondition           => Expression,
-                        Aspect_Pre                     => Expression,
-                        Aspect_Precondition            => Expression,
-                        Aspect_Predicate               => Expression,
-                        Aspect_Priority                => Expression,
-                        Aspect_Read                    => Name,
-                        Aspect_Relative_Deadline       => Expression,
-                        Aspect_Scalar_Storage_Order    => Expression,
-                        Aspect_Simple_Storage_Pool     => Name,
-                        Aspect_Size                    => Expression,
-                        Aspect_Small                   => Expression,
-                        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_Unsuppress              => Name,
-                        Aspect_Value_Size              => Expression,
-                        Aspect_Variable_Indexing       => Name,
-                        Aspect_Warnings                => Name,
-                        Aspect_Write                   => Name,
-
-                        Library_Unit_Aspects           => Optional,
-                        Boolean_Aspects                => Optional);
+     (No_Aspect                      => Optional,
+      Aspect_Abstract_State          => Expression,
+      Aspect_Address                 => Expression,
+      Aspect_Alignment               => 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_Iterator        => Name,
+      Aspect_Default_Value           => Expression,
+      Aspect_Depends                 => Expression,
+      Aspect_Dimension               => Expression,
+      Aspect_Dimension_System        => Expression,
+      Aspect_Dispatching_Domain      => Expression,
+      Aspect_Dynamic_Predicate       => Expression,
+      Aspect_External_Name           => Expression,
+      Aspect_External_Tag            => Expression,
+      Aspect_Global                  => Expression,
+      Aspect_Implicit_Dereference    => Name,
+      Aspect_Input                   => Name,
+      Aspect_Interrupt_Priority      => Expression,
+      Aspect_Invariant               => Expression,
+      Aspect_Iterator_Element        => Name,
+      Aspect_Link_Name               => Expression,
+      Aspect_Machine_Radix           => Expression,
+      Aspect_Object_Size             => Expression,
+      Aspect_Output                  => Name,
+      Aspect_Post                    => Expression,
+      Aspect_Postcondition           => Expression,
+      Aspect_Pre                     => Expression,
+      Aspect_Precondition            => Expression,
+      Aspect_Predicate               => Expression,
+      Aspect_Priority                => Expression,
+      Aspect_Read                    => Name,
+      Aspect_Relative_Deadline       => Expression,
+      Aspect_Scalar_Storage_Order    => Expression,
+      Aspect_Simple_Storage_Pool     => Name,
+      Aspect_Size                    => Expression,
+      Aspect_Small                   => Expression,
+      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_Unsuppress              => Name,
+      Aspect_Value_Size              => Expression,
+      Aspect_Variable_Indexing       => Name,
+      Aspect_Warnings                => Name,
+      Aspect_Write                   => Name,
+
+      Boolean_Aspects                => Optional,
+      Library_Unit_Aspects           => Optional);
 
    -----------------------------------------
    -- Table Linking Names and Aspect_Id's --
@@ -377,113 +347,118 @@ package Aspects is
 
    --  Table linking aspect names and id's
 
-   Aspect_Names : constant array (Aspect_Id) of Name_Id := (
-     No_Aspect                           => No_Name,
-     Aspect_Abstract_State               => Name_Abstract_State,
-     Aspect_Ada_2005                     => Name_Ada_2005,
-     Aspect_Ada_2012                     => Name_Ada_2012,
-     Aspect_Address                      => Name_Address,
-     Aspect_Alignment                    => Name_Alignment,
-     Aspect_All_Calls_Remote             => Name_All_Calls_Remote,
-     Aspect_Asynchronous                 => Name_Asynchronous,
-     Aspect_Atomic                       => Name_Atomic,
-     Aspect_Atomic_Components            => Name_Atomic_Components,
-     Aspect_Attach_Handler               => Name_Attach_Handler,
-     Aspect_Bit_Order                    => Name_Bit_Order,
-     Aspect_Compiler_Unit                => Name_Compiler_Unit,
-     Aspect_Component_Size               => Name_Component_Size,
-     Aspect_Constant_Indexing            => Name_Constant_Indexing,
-     Aspect_Contract_Cases               => Name_Contract_Cases,
-     Aspect_Convention                   => Name_Convention,
-     Aspect_CPU                          => Name_CPU,
-     Aspect_Default_Iterator             => Name_Default_Iterator,
-     Aspect_Default_Value                => Name_Default_Value,
-     Aspect_Default_Component_Value      => Name_Default_Component_Value,
-     Aspect_Depends                      => Name_Depends,
-     Aspect_Dimension                    => Name_Dimension,
-     Aspect_Dimension_System             => Name_Dimension_System,
-     Aspect_Discard_Names                => Name_Discard_Names,
-     Aspect_Dispatching_Domain           => Name_Dispatching_Domain,
-     Aspect_Dynamic_Predicate            => Name_Dynamic_Predicate,
-     Aspect_Elaborate_Body               => Name_Elaborate_Body,
-     Aspect_External_Name                => Name_External_Name,
-     Aspect_External_Tag                 => Name_External_Tag,
-     Aspect_Export                       => Name_Export,
-     Aspect_Favor_Top_Level              => Name_Favor_Top_Level,
-     Aspect_Ghost                        => Name_Ghost,
-     Aspect_Global                       => Name_Global,
-     Aspect_Implicit_Dereference         => Name_Implicit_Dereference,
-     Aspect_Import                       => Name_Import,
-     Aspect_Independent                  => Name_Independent,
-     Aspect_Independent_Components       => Name_Independent_Components,
-     Aspect_Inline                       => Name_Inline,
-     Aspect_Inline_Always                => Name_Inline_Always,
-     Aspect_Input                        => Name_Input,
-     Aspect_Interrupt_Handler            => Name_Interrupt_Handler,
-     Aspect_Interrupt_Priority           => Name_Interrupt_Priority,
-     Aspect_Invariant                    => Name_Invariant,
-     Aspect_Iterator_Element             => Name_Iterator_Element,
-     Aspect_Link_Name                    => Name_Link_Name,
-     Aspect_Lock_Free                    => Name_Lock_Free,
-     Aspect_Machine_Radix                => Name_Machine_Radix,
-     Aspect_No_Return                    => Name_No_Return,
-     Aspect_Object_Size                  => Name_Object_Size,
-     Aspect_Output                       => Name_Output,
-     Aspect_Pack                         => Name_Pack,
-     Aspect_Persistent_BSS               => Name_Persistent_BSS,
-     Aspect_Post                         => Name_Post,
-     Aspect_Postcondition                => Name_Postcondition,
-     Aspect_Pre                          => Name_Pre,
-     Aspect_Precondition                 => Name_Precondition,
-     Aspect_Predicate                    => Name_Predicate,
-     Aspect_Preelaborable_Initialization => Name_Preelaborable_Initialization,
-     Aspect_Preelaborate                 => Name_Preelaborate,
-     Aspect_Preelaborate_05              => Name_Preelaborate_05,
-     Aspect_Priority                     => Name_Priority,
-     Aspect_Pure                         => Name_Pure,
-     Aspect_Pure_05                      => Name_Pure_05,
-     Aspect_Pure_12                      => Name_Pure_12,
-     Aspect_Pure_Function                => Name_Pure_Function,
-     Aspect_Read                         => Name_Read,
-     Aspect_Relative_Deadline            => Name_Relative_Deadline,
-     Aspect_Remote_Access_Type           => Name_Remote_Access_Type,
-     Aspect_Remote_Call_Interface        => Name_Remote_Call_Interface,
-     Aspect_Remote_Types                 => Name_Remote_Types,
-     Aspect_Scalar_Storage_Order         => Name_Scalar_Storage_Order,
-     Aspect_Shared                       => Name_Shared,
-     Aspect_Shared_Passive               => Name_Shared_Passive,
-     Aspect_Simple_Storage_Pool          => Name_Simple_Storage_Pool,
-     Aspect_Simple_Storage_Pool_Type     => Name_Simple_Storage_Pool_Type,
-     Aspect_Size                         => Name_Size,
-     Aspect_Small                        => Name_Small,
-     Aspect_Static_Predicate             => Name_Static_Predicate,
-     Aspect_Storage_Pool                 => Name_Storage_Pool,
-     Aspect_Storage_Size                 => Name_Storage_Size,
-     Aspect_Stream_Size                  => Name_Stream_Size,
-     Aspect_Suppress                     => Name_Suppress,
-     Aspect_Suppress_Debug_Info          => Name_Suppress_Debug_Info,
-     Aspect_Synchronization              => Name_Synchronization,
-     Aspect_Test_Case                    => Name_Test_Case,
-     Aspect_Type_Invariant               => Name_Type_Invariant,
-     Aspect_Unchecked_Union              => Name_Unchecked_Union,
-     Aspect_Universal_Aliasing           => Name_Universal_Aliasing,
-     Aspect_Universal_Data               => Name_Universal_Data,
-     Aspect_Unmodified                   => Name_Unmodified,
-     Aspect_Unreferenced                 => Name_Unreferenced,
-     Aspect_Unreferenced_Objects         => Name_Unreferenced_Objects,
-     Aspect_Unsuppress                   => Name_Unsuppress,
-     Aspect_Value_Size                   => Name_Value_Size,
-     Aspect_Variable_Indexing            => Name_Variable_Indexing,
-     Aspect_Volatile                     => Name_Volatile,
-     Aspect_Volatile_Components          => Name_Volatile_Components,
-     Aspect_Warnings                     => Name_Warnings,
-     Aspect_Write                        => Name_Write);
+   Aspect_Names : constant array (Aspect_Id) of Name_Id :=
+     (No_Aspect                           => No_Name,
+      Aspect_Abstract_State               => Name_Abstract_State,
+      Aspect_Ada_2005                     => Name_Ada_2005,
+      Aspect_Ada_2012                     => Name_Ada_2012,
+      Aspect_Address                      => Name_Address,
+      Aspect_Alignment                    => Name_Alignment,
+      Aspect_All_Calls_Remote             => Name_All_Calls_Remote,
+      Aspect_Asynchronous                 => Name_Asynchronous,
+      Aspect_Atomic                       => Name_Atomic,
+      Aspect_Atomic_Components            => Name_Atomic_Components,
+      Aspect_Attach_Handler               => Name_Attach_Handler,
+      Aspect_Bit_Order                    => Name_Bit_Order,
+      Aspect_Compiler_Unit                => Name_Compiler_Unit,
+      Aspect_Component_Size               => Name_Component_Size,
+      Aspect_Constant_Indexing            => Name_Constant_Indexing,
+      Aspect_Contract_Cases               => Name_Contract_Cases,
+      Aspect_Convention                   => Name_Convention,
+      Aspect_CPU                          => Name_CPU,
+      Aspect_Default_Iterator             => Name_Default_Iterator,
+      Aspect_Default_Value                => Name_Default_Value,
+      Aspect_Default_Component_Value      => Name_Default_Component_Value,
+      Aspect_Depends                      => Name_Depends,
+      Aspect_Dimension                    => Name_Dimension,
+      Aspect_Dimension_System             => Name_Dimension_System,
+      Aspect_Discard_Names                => Name_Discard_Names,
+      Aspect_Dispatching_Domain           => Name_Dispatching_Domain,
+      Aspect_Dynamic_Predicate            => Name_Dynamic_Predicate,
+      Aspect_Elaborate_Body               => Name_Elaborate_Body,
+      Aspect_External_Name                => Name_External_Name,
+      Aspect_External_Tag                 => Name_External_Tag,
+      Aspect_Export                       => Name_Export,
+      Aspect_Favor_Top_Level              => Name_Favor_Top_Level,
+      Aspect_Ghost                        => Name_Ghost,
+      Aspect_Global                       => Name_Global,
+      Aspect_Implicit_Dereference         => Name_Implicit_Dereference,
+      Aspect_Import                       => Name_Import,
+      Aspect_Independent                  => Name_Independent,
+      Aspect_Independent_Components       => Name_Independent_Components,
+      Aspect_Inline                       => Name_Inline,
+      Aspect_Inline_Always                => Name_Inline_Always,
+      Aspect_Input                        => Name_Input,
+      Aspect_Interrupt_Handler            => Name_Interrupt_Handler,
+      Aspect_Interrupt_Priority           => Name_Interrupt_Priority,
+      Aspect_Invariant                    => Name_Invariant,
+      Aspect_Iterator_Element             => Name_Iterator_Element,
+      Aspect_Link_Name                    => Name_Link_Name,
+      Aspect_Lock_Free                    => Name_Lock_Free,
+      Aspect_Machine_Radix                => Name_Machine_Radix,
+      Aspect_No_Return                    => Name_No_Return,
+      Aspect_Object_Size                  => Name_Object_Size,
+      Aspect_Output                       => Name_Output,
+      Aspect_Pack                         => Name_Pack,
+      Aspect_Persistent_BSS               => Name_Persistent_BSS,
+      Aspect_Post                         => Name_Post,
+      Aspect_Postcondition                => Name_Postcondition,
+      Aspect_Pre                          => Name_Pre,
+      Aspect_Precondition                 => Name_Precondition,
+      Aspect_Predicate                    => Name_Predicate,
+      Aspect_Preelaborable_Initialization => Name_Preelaborable_Initialization,
+      Aspect_Preelaborate                 => Name_Preelaborate,
+      Aspect_Preelaborate_05              => Name_Preelaborate_05,
+      Aspect_Priority                     => Name_Priority,
+      Aspect_Pure                         => Name_Pure,
+      Aspect_Pure_05                      => Name_Pure_05,
+      Aspect_Pure_12                      => Name_Pure_12,
+      Aspect_Pure_Function                => Name_Pure_Function,
+      Aspect_Read                         => Name_Read,
+      Aspect_Relative_Deadline            => Name_Relative_Deadline,
+      Aspect_Remote_Access_Type           => Name_Remote_Access_Type,
+      Aspect_Remote_Call_Interface        => Name_Remote_Call_Interface,
+      Aspect_Remote_Types                 => Name_Remote_Types,
+      Aspect_Scalar_Storage_Order         => Name_Scalar_Storage_Order,
+      Aspect_Shared                       => Name_Shared,
+      Aspect_Shared_Passive               => Name_Shared_Passive,
+      Aspect_Simple_Storage_Pool          => Name_Simple_Storage_Pool,
+      Aspect_Simple_Storage_Pool_Type     => Name_Simple_Storage_Pool_Type,
+      Aspect_Size                         => Name_Size,
+      Aspect_Small                        => Name_Small,
+      Aspect_Static_Predicate             => Name_Static_Predicate,
+      Aspect_Storage_Pool                 => Name_Storage_Pool,
+      Aspect_Storage_Size                 => Name_Storage_Size,
+      Aspect_Stream_Size                  => Name_Stream_Size,
+      Aspect_Suppress                     => Name_Suppress,
+      Aspect_Suppress_Debug_Info          => Name_Suppress_Debug_Info,
+      Aspect_Synchronization              => Name_Synchronization,
+      Aspect_Test_Case                    => Name_Test_Case,
+      Aspect_Type_Invariant               => Name_Type_Invariant,
+      Aspect_Unchecked_Union              => Name_Unchecked_Union,
+      Aspect_Universal_Aliasing           => Name_Universal_Aliasing,
+      Aspect_Universal_Data               => Name_Universal_Data,
+      Aspect_Unmodified                   => Name_Unmodified,
+      Aspect_Unreferenced                 => Name_Unreferenced,
+      Aspect_Unreferenced_Objects         => Name_Unreferenced_Objects,
+      Aspect_Unsuppress                   => Name_Unsuppress,
+      Aspect_Value_Size                   => Name_Value_Size,
+      Aspect_Variable_Indexing            => Name_Variable_Indexing,
+      Aspect_Volatile                     => Name_Volatile,
+      Aspect_Volatile_Components          => Name_Volatile_Components,
+      Aspect_Warnings                     => Name_Warnings,
+      Aspect_Write                        => Name_Write);
 
    function Get_Aspect_Id (Name : Name_Id) return Aspect_Id;
    pragma Inline (Get_Aspect_Id);
    --  Given a name Nam, returns the corresponding aspect id value. If the name
    --  does not match any aspect, then No_Aspect is returned as the result.
 
+   function Get_Aspect_Id (Aspect : Node_Id) return Aspect_Id;
+   pragma Inline (Get_Aspect_Id);
+   --  Given an aspect specification, return the corresponding aspect_id value.
+   --  If the name does not match any aspect, return No_Aspect.
+
    ---------------------------------------------------
    -- Handling of Aspect Specifications in the Tree --
    ---------------------------------------------------