2006-10-31 Robert Dewar <dewar@adacore.com>

	    Ed Schonberg  <schonberg@adacore.com>
	    Bob Duff  <duff@adacore.com>

	* sinfo.ads, sinfo.adb (Set_Synchronized_Present,
	Synchronized_Present): Add Formal_Derived_Type_Definition and
	Private_Extension_Declaration to the list of assertions.
	(Is_Entry_Barrier_Function): New flag
	(Has_Self_Reference): New flag on aggregates, to indicate that they
	contain a reference to the enclosing type, inserted through a default
	initialization.
	(Next_Rep_Item): Move from Node4 to Node5.
	(Entity): Add this field for N_Attribute_Definition_Clause.
	(Comes_From_Extended_Return_Statement): New flag on N_Return_Statement
	(N_Return_Object_Declaration): Remove this node kind. We now use
	N_Object_Declaration instead.
	(Actual_Designated_Subtype): Move to a different place to make room in
	N_Extended_Return_Statement.
	(Procedure_To_Call): Move to a different place to make room in
	N_Extended_Return_Statement.
	(Return_Type): Removed this field to make room in return statements
	(both kinds).
	(Return_Statement_Entity): New field in return statements, in part to
	replace Return_Type, and in part to support the fact that return
	statements are now pushed on the scope stack during semantic analysis.
	(Return_Object_Declarations): New field to support extended return
	statements.
	(N_Extended_Return_Statement): New node for extended_return_statement
	nonterminal.
	(N_Return_Object_Declaration): New node for part of
	extended_return_statement nonterminal. Needed because all the necessary
	fields won't fit in N_Extended_Return_Statement.
	Generic_associations now carry the Box_Present flag, to indicate a
	default for an actual in a partially parametrized formal package.

        * snames.h, snames.ads, snames.adb: Add definition for Validity_Check
	(Preset_Names): Add entries for Priority_Specific_Dispatching pragma
	and for the new predefined dispatching policies: EDF_Across_Priorities,
	Non_Preemptive_Within_Priorities, and Round_Robin_Within_Priorities.
	Introduce new name Stub_Type for implementation defined attribute.
	Add pragma Preelaborable_Initialization
	Add entry for Priority attribute.
	Add Pragma_Wide_Character_Encoding
	(Get_Convention_Name): Given a convention id, this function returns the
	corresponding name id from the names table.



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

1 files changed, 193 insertions, 188 deletions

diff --git a/gcc/ada/snames.h b/gcc/ada/snames.h
index 106473070f4..bfe35b64d5c 100644
--- a/gcc/ada/snames.h
+++ b/gcc/ada/snames.h
@@ -115,72 +115,74 @@ extern unsigned char Get_Attribute_Id (int);
 #define  Attr_Pool_Address                  67
 #define  Attr_Pos                           68
 #define  Attr_Position                      69
-#define  Attr_Range                         70
-#define  Attr_Range_Length                  71
-#define  Attr_Round                         72
-#define  Attr_Safe_Emax                     73
-#define  Attr_Safe_First                    74
-#define  Attr_Safe_Large                    75
-#define  Attr_Safe_Last                     76
-#define  Attr_Safe_Small                    77
-#define  Attr_Scale                         78
-#define  Attr_Scaling                       79
-#define  Attr_Signed_Zeros                  80
-#define  Attr_Size                          81
-#define  Attr_Small                         82
-#define  Attr_Storage_Size                  83
-#define  Attr_Storage_Unit                  84
-#define  Attr_Stream_Size                   85
-#define  Attr_Tag                           86
-#define  Attr_Target_Name                   87
-#define  Attr_Terminated                    88
-#define  Attr_To_Address                    89
-#define  Attr_Type_Class                    90
-#define  Attr_UET_Address                   91
-#define  Attr_Unbiased_Rounding             92
-#define  Attr_Unchecked_Access              93
-#define  Attr_Unconstrained_Array           94
-#define  Attr_Universal_Literal_String      95
-#define  Attr_Unrestricted_Access           96
-#define  Attr_VADS_Size                     97
-#define  Attr_Val                           98
-#define  Attr_Valid                         99
-#define  Attr_Value_Size                    100
-#define  Attr_Version                       101
-#define  Attr_Wchar_T_Size                  102
-#define  Attr_Wide_Wide_Width               103
-#define  Attr_Wide_Width                    104
-#define  Attr_Width                         105
-#define  Attr_Word_Size                     106
-#define  Attr_Adjacent                      107
-#define  Attr_Ceiling                       108
-#define  Attr_Copy_Sign                     109
-#define  Attr_Floor                         110
-#define  Attr_Fraction                      111
-#define  Attr_Image                         112
-#define  Attr_Input                         113
-#define  Attr_Machine                       114
-#define  Attr_Max                           115
-#define  Attr_Min                           116
-#define  Attr_Model                         117
-#define  Attr_Pred                          118
-#define  Attr_Remainder                     119
-#define  Attr_Rounding                      120
-#define  Attr_Succ                          121
-#define  Attr_Truncation                    122
-#define  Attr_Value                         123
-#define  Attr_Wide_Image                    124
-#define  Attr_Wide_Wide_Image               125
-#define  Attr_Wide_Value                    126
-#define  Attr_Wide_Wide_Value               127
-#define  Attr_Output                        128
-#define  Attr_Read                          129
-#define  Attr_Write                         130
-#define  Attr_Elab_Body                     131
-#define  Attr_Elab_Spec                     132
-#define  Attr_Storage_Pool                  133
-#define  Attr_Base                          134
-#define  Attr_Class                         135
+#define  Attr_Priority                      70
+#define  Attr_Range                         71
+#define  Attr_Range_Length                  72
+#define  Attr_Round                         73
+#define  Attr_Safe_Emax                     74
+#define  Attr_Safe_First                    75
+#define  Attr_Safe_Large                    76
+#define  Attr_Safe_Last                     77
+#define  Attr_Safe_Small                    78
+#define  Attr_Scale                         79
+#define  Attr_Scaling                       80
+#define  Attr_Signed_Zeros                  81
+#define  Attr_Size                          82
+#define  Attr_Small                         83
+#define  Attr_Storage_Size                  84
+#define  Attr_Storage_Unit                  85
+#define  Attr_Stream_Size                   86
+#define  Attr_Tag                           87
+#define  Attr_Target_Name                   88
+#define  Attr_Terminated                    89
+#define  Attr_To_Address                    90
+#define  Attr_Type_Class                    91
+#define  Attr_UET_Address                   92
+#define  Attr_Unbiased_Rounding             93
+#define  Attr_Unchecked_Access              94
+#define  Attr_Unconstrained_Array           95
+#define  Attr_Universal_Literal_String      96
+#define  Attr_Unrestricted_Access           97
+#define  Attr_VADS_Size                     98
+#define  Attr_Val                           99
+#define  Attr_Valid                         100
+#define  Attr_Value_Size                    101
+#define  Attr_Version                       102
+#define  Attr_Wchar_T_Size                  103
+#define  Attr_Wide_Wide_Width               104
+#define  Attr_Wide_Width                    105
+#define  Attr_Width                         106
+#define  Attr_Word_Size                     107
+#define  Attr_Adjacent                      108
+#define  Attr_Ceiling                       109
+#define  Attr_Copy_Sign                     110
+#define  Attr_Floor                         111
+#define  Attr_Fraction                      112
+#define  Attr_Image                         113
+#define  Attr_Input                         114
+#define  Attr_Machine                       115
+#define  Attr_Max                           116
+#define  Attr_Min                           117
+#define  Attr_Model                         118
+#define  Attr_Pred                          119
+#define  Attr_Remainder                     120
+#define  Attr_Rounding                      121
+#define  Attr_Succ                          122
+#define  Attr_Truncation                    123
+#define  Attr_Value                         124
+#define  Attr_Wide_Image                    125
+#define  Attr_Wide_Wide_Image               126
+#define  Attr_Wide_Value                    127
+#define  Attr_Wide_Wide_Value               128
+#define  Attr_Output                        129
+#define  Attr_Read                          130
+#define  Attr_Write                         131
+#define  Attr_Elab_Body                     132
+#define  Attr_Elab_Spec                     133
+#define  Attr_Storage_Pool                  134
+#define  Attr_Base                          135
+#define  Attr_Class                         136
+#define  Attr_Stub_Type                     137
 
 /* Define the numeric values for the conventions.  */
 
@@ -241,127 +243,130 @@ extern unsigned char Get_Pragma_Id (int);
 #define  Pragma_Normalize_Scalars             26
 #define  Pragma_Polling                       27
 #define  Pragma_Persistent_BSS                28
-#define  Pragma_Profile                       29
-#define  Pragma_Profile_Warnings              30
-#define  Pragma_Propagate_Exceptions          31
-#define  Pragma_Queuing_Policy                32
-#define  Pragma_Ravenscar                     33
-#define  Pragma_Restricted_Run_Time           34
-#define  Pragma_Restrictions                  35
-#define  Pragma_Restriction_Warnings          36
-#define  Pragma_Reviewable                    37
-#define  Pragma_Source_File_Name              38
-#define  Pragma_Source_File_Name_Project      39
-#define  Pragma_Style_Checks                  40
-#define  Pragma_Suppress                      41
-#define  Pragma_Suppress_Exception_Locations  42
-#define  Pragma_Task_Dispatching_Policy       43
-#define  Pragma_Universal_Data                44
-#define  Pragma_Unsuppress                    45
-#define  Pragma_Use_VADS_Size                 46
-#define  Pragma_Validity_Checks               47
-#define  Pragma_Warnings                      48
-#define  Pragma_Abort_Defer                   49
-#define  Pragma_All_Calls_Remote              50
-#define  Pragma_Annotate                      51
-#define  Pragma_Assert                        52
-#define  Pragma_Asynchronous                  53
-#define  Pragma_Atomic                        54
-#define  Pragma_Atomic_Components             55
-#define  Pragma_Attach_Handler                56
-#define  Pragma_Comment                       57
-#define  Pragma_Common_Object                 58
-#define  Pragma_Complete_Representation       59
-#define  Pragma_Complex_Representation        60
-#define  Pragma_Controlled                    61
-#define  Pragma_Convention                    62
-#define  Pragma_CPP_Class                     63
-#define  Pragma_CPP_Constructor               64
-#define  Pragma_CPP_Virtual                   65
-#define  Pragma_CPP_Vtable                    66
-#define  Pragma_Debug                         67
-#define  Pragma_Elaborate                     68
-#define  Pragma_Elaborate_All                 69
-#define  Pragma_Elaborate_Body                70
-#define  Pragma_Export                        71
-#define  Pragma_Export_Exception              72
-#define  Pragma_Export_Function               73
-#define  Pragma_Export_Object                 74
-#define  Pragma_Export_Procedure              75
-#define  Pragma_Export_Value                  76
-#define  Pragma_Export_Valued_Procedure       77
-#define  Pragma_External                      78
-#define  Pragma_Finalize_Storage_Only         79
-#define  Pragma_Ident                         80
-#define  Pragma_Import                        81
-#define  Pragma_Import_Exception              82
-#define  Pragma_Import_Function               83
-#define  Pragma_Import_Object                 84
-#define  Pragma_Import_Procedure              85
-#define  Pragma_Import_Valued_Procedure       86
-#define  Pragma_Inline                        87
-#define  Pragma_Inline_Always                 88
-#define  Pragma_Inline_Generic                89
-#define  Pragma_Inspection_Point              90
-#define  Pragma_Interface_Name                91
-#define  Pragma_Interrupt_Handler             92
-#define  Pragma_Interrupt_Priority            93
-#define  Pragma_Java_Constructor              94
-#define  Pragma_Java_Interface                95
-#define  Pragma_Keep_Names                    96
-#define  Pragma_Link_With                     97
-#define  Pragma_Linker_Alias                  98
-#define  Pragma_Linker_Constructor            99
-#define  Pragma_Linker_Destructor             100
-#define  Pragma_Linker_Options                101
-#define  Pragma_Linker_Section                102
-#define  Pragma_List                          103
-#define  Pragma_Machine_Attribute             104
-#define  Pragma_Main                          105
-#define  Pragma_Main_Storage                  106
-#define  Pragma_Memory_Size                   107
-#define  Pragma_No_Return                     108
-#define  Pragma_Obsolescent                   109
-#define  Pragma_Optimize                      110
-#define  Pragma_Optional_Overriding           111
-#define  Pragma_Pack                          112
-#define  Pragma_Page                          113
-#define  Pragma_Passive                       114
-#define  Pragma_Preelaborate                  115
-#define  Pragma_Preelaborate_05               116
-#define  Pragma_Priority                      117
-#define  Pragma_Psect_Object                  118
-#define  Pragma_Pure                          119
-#define  Pragma_Pure_05                       120
-#define  Pragma_Pure_Function                 121
-#define  Pragma_Remote_Call_Interface         122
-#define  Pragma_Remote_Types                  123
-#define  Pragma_Share_Generic                 124
-#define  Pragma_Shared                        125
-#define  Pragma_Shared_Passive                126
-#define  Pragma_Source_Reference              127
-#define  Pragma_Stream_Convert                128
-#define  Pragma_Subtitle                      129
-#define  Pragma_Suppress_All                  130
-#define  Pragma_Suppress_Debug_Info           131
-#define  Pragma_Suppress_Initialization       132
-#define  Pragma_System_Name                   133
-#define  Pragma_Task_Info                     134
-#define  Pragma_Task_Name                     135
-#define  Pragma_Task_Storage                  136
-#define  Pragma_Thread_Body                   137
-#define  Pragma_Time_Slice                    138
-#define  Pragma_Title                         139
-#define  Pragma_Unchecked_Union               140
-#define  Pragma_Unimplemented_Unit            141
-#define  Pragma_Unreferenced                  142
-#define  Pragma_Unreserve_All_Interrupts      143
-#define  Pragma_Volatile                      144
-#define  Pragma_Volatile_Components           145
-#define  Pragma_Weak_External                 146
-#define  Pragma_AST_Entry                     147
-#define  Pragma_Interface                     148
-#define  Pragma_Storage_Size                  149
-#define  Pragma_Storage_Unit                  150
+#define  Pragma_Priority_Specific_Dispatching 29
+#define  Pragma_Profile                       30
+#define  Pragma_Profile_Warnings              31
+#define  Pragma_Propagate_Exceptions          32
+#define  Pragma_Queuing_Policy                33
+#define  Pragma_Ravenscar                     34
+#define  Pragma_Restricted_Run_Time           35
+#define  Pragma_Restrictions                  36
+#define  Pragma_Restriction_Warnings          37
+#define  Pragma_Reviewable                    38
+#define  Pragma_Source_File_Name              39
+#define  Pragma_Source_File_Name_Project      40
+#define  Pragma_Style_Checks                  41
+#define  Pragma_Suppress                      42
+#define  Pragma_Suppress_Exception_Locations  43
+#define  Pragma_Task_Dispatching_Policy       44
+#define  Pragma_Universal_Data                45
+#define  Pragma_Unsuppress                    46
+#define  Pragma_Use_VADS_Size                 47
+#define  Pragma_Validity_Checks               48
+#define  Pragma_Warnings                      49
+#define  Pragma_Wide_Character_Encoding       50
+#define  Pragma_Abort_Defer                   51
+#define  Pragma_All_Calls_Remote              52
+#define  Pragma_Annotate                      53
+#define  Pragma_Assert                        54
+#define  Pragma_Asynchronous                  55
+#define  Pragma_Atomic                        56
+#define  Pragma_Atomic_Components             57
+#define  Pragma_Attach_Handler                58
+#define  Pragma_Comment                       59
+#define  Pragma_Common_Object                 60
+#define  Pragma_Complete_Representation       61
+#define  Pragma_Complex_Representation        62
+#define  Pragma_Controlled                    63
+#define  Pragma_Convention                    64
+#define  Pragma_CPP_Class                     65
+#define  Pragma_CPP_Constructor               66
+#define  Pragma_CPP_Virtual                   67
+#define  Pragma_CPP_Vtable                    68
+#define  Pragma_Debug                         69
+#define  Pragma_Elaborate                     70
+#define  Pragma_Elaborate_All                 71
+#define  Pragma_Elaborate_Body                72
+#define  Pragma_Export                        73
+#define  Pragma_Export_Exception              74
+#define  Pragma_Export_Function               75
+#define  Pragma_Export_Object                 76
+#define  Pragma_Export_Procedure              77
+#define  Pragma_Export_Value                  78
+#define  Pragma_Export_Valued_Procedure       79
+#define  Pragma_External                      80
+#define  Pragma_Finalize_Storage_Only         81
+#define  Pragma_Ident                         82
+#define  Pragma_Import                        83
+#define  Pragma_Import_Exception              84
+#define  Pragma_Import_Function               85
+#define  Pragma_Import_Object                 86
+#define  Pragma_Import_Procedure              87
+#define  Pragma_Import_Valued_Procedure       88
+#define  Pragma_Inline                        89
+#define  Pragma_Inline_Always                 90
+#define  Pragma_Inline_Generic                91
+#define  Pragma_Inspection_Point              92
+#define  Pragma_Interface_Name                93
+#define  Pragma_Interrupt_Handler             94
+#define  Pragma_Interrupt_Priority            95
+#define  Pragma_Java_Constructor              96
+#define  Pragma_Java_Interface                97
+#define  Pragma_Keep_Names                    98
+#define  Pragma_Link_With                     99
+#define  Pragma_Linker_Alias                  100
+#define  Pragma_Linker_Constructor            101
+#define  Pragma_Linker_Destructor             102
+#define  Pragma_Linker_Options                103
+#define  Pragma_Linker_Section                104
+#define  Pragma_List                          105
+#define  Pragma_Machine_Attribute             106
+#define  Pragma_Main                          107
+#define  Pragma_Main_Storage                  108
+#define  Pragma_Memory_Size                   109
+#define  Pragma_No_Return                     110
+#define  Pragma_Obsolescent                   111
+#define  Pragma_Optimize                      112
+#define  Pragma_Optional_Overriding           113
+#define  Pragma_Pack                          114
+#define  Pragma_Page                          115
+#define  Pragma_Passive                       116
+#define  Pragma_Preelaborable_Initialization  117
+#define  Pragma_Preelaborate                  118
+#define  Pragma_Preelaborate_05               119
+#define  Pragma_Psect_Object                  120
+#define  Pragma_Pure                          121
+#define  Pragma_Pure_05                       122
+#define  Pragma_Pure_Function                 123
+#define  Pragma_Remote_Call_Interface         124
+#define  Pragma_Remote_Types                  125
+#define  Pragma_Share_Generic                 126
+#define  Pragma_Shared                        127
+#define  Pragma_Shared_Passive                128
+#define  Pragma_Source_Reference              129
+#define  Pragma_Stream_Convert                130
+#define  Pragma_Subtitle                      131
+#define  Pragma_Suppress_All                  132
+#define  Pragma_Suppress_Debug_Info           133
+#define  Pragma_Suppress_Initialization       134
+#define  Pragma_System_Name                   135
+#define  Pragma_Task_Info                     136
+#define  Pragma_Task_Name                     137
+#define  Pragma_Task_Storage                  138
+#define  Pragma_Thread_Body                   139
+#define  Pragma_Time_Slice                    140
+#define  Pragma_Title                         141
+#define  Pragma_Unchecked_Union               142
+#define  Pragma_Unimplemented_Unit            143
+#define  Pragma_Unreferenced                  144
+#define  Pragma_Unreserve_All_Interrupts      145
+#define  Pragma_Volatile                      146
+#define  Pragma_Volatile_Components           147
+#define  Pragma_Weak_External                 148
+#define  Pragma_AST_Entry                     149
+#define  Pragma_Interface                     150
+#define  Pragma_Priority                      151
+#define  Pragma_Storage_Size                  152
+#define  Pragma_Storage_Unit                  153
 
 /* End of snames.h (C version of Snames package spec) */