From f140e45c456a155ce43cc83740b60eee16251965 Mon Sep 17 00:00:00 2001 From: charlet Date: Thu, 16 Jun 2005 08:46:36 +0000 Subject: [PATCH] 2005-06-14 Robert Dewar Ed Schonberg PR ada/10671 * sem_prag.adb: Implement pragma Persistent_BSS Remove obsolete pragma Persistent_Data, Persistent_Object Set Ada_Version_Explicit, for implementation of AI-362 Test Ada_Version_Explicit for Preelaborate_05 and Pure_05 Add processing for pragma Pure_05 and Preelaborate_05 Add processing for Assertion_Policy pragma Add pragma identifiers for Assert (Analyze_Pragma, case Assert): Check number of arguments (Process_Inline): Additional guard against an illegal program, where the argument of the pragma is undefined, and warnings on redundant constructs are enabled. (Analyze_Pragma, case Obsolescent): Allow an optional second argument Ada_05 to this pragma, specifying that the pragma is only active in Ada_05 mode. (Check_Arg_Order): New procedure Add appropriate calls to this procedure throughout Also throughout, check entity name before doing any other checks * snames.h snames.ads, snames.adb: Add pragma Persistent_BSS Remove obsolete pragma Persistent_Data, Persistent_Object Add entries for pragma Pure_05 and Preelaborate_05 Add entries for Assertion_Policy pragma and associated names Add some names for pragma argument processing * tbuild.ads, tbuild.adb: (Make_Linker_Section_Pragma): New function git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101060 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sem_prag.adb | 420 +++++++++++++++------- gcc/ada/snames.adb | 15 +- gcc/ada/snames.ads | 981 ++++++++++++++++++++++++++------------------------- gcc/ada/snames.h | 414 +++++++++++----------- gcc/ada/tbuild.adb | 31 ++ gcc/ada/tbuild.ads | 7 + 6 files changed, 1043 insertions(+), 825 deletions(-) diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index a65c9ca7002..2c11ca3c0d1 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -249,6 +249,10 @@ package body Sem_Prag is -- First four pragma arguments (pragma argument association nodes, -- or Empty if the corresponding argument does not exist). + type Name_List is array (Natural range <>) of Name_Id; + type Args_List is array (Natural range <>) of Node_Id; + -- Types used for arguments to Check_Arg_Order and Gather_Associations + procedure Check_Ada_83_Warning; -- Issues a warning message for the current pragma if operating in Ada -- 83 mode (used for language pragmas that are not a standard part of @@ -322,6 +326,11 @@ package body Sem_Prag is -- valid task dispatching policy name. If not give error and raise -- Pragma_Exit. + procedure Check_Arg_Order (Names : Name_List); + -- Checks for an instance of two arguments with identifiers for the + -- current pragma which are not in the sequence indicated by Names, + -- and if so, generates a fatal message about bad order of arguments. + procedure Check_At_Least_N_Arguments (N : Nat); -- Check there are at least N arguments present @@ -443,8 +452,6 @@ package body Sem_Prag is -- unit pragma that is not a compilation unit pragma, then the -- identifier must be visible. - type Name_List is array (Natural range <>) of Name_Id; - type Args_List is array (Natural range <>) of Node_Id; procedure Gather_Associations (Names : Name_List; Args : out Args_List); @@ -899,6 +906,42 @@ package body Sem_Prag is end if; end Check_Arg_Is_Task_Dispatching_Policy; + --------------------- + -- Check_Arg_Order -- + --------------------- + + procedure Check_Arg_Order (Names : Name_List) is + Arg : Node_Id; + + Highest_So_Far : Natural := 0; + -- Highest index in Names seen do far + + begin + Arg := Arg1; + for J in 1 .. Arg_Count loop + if Chars (Arg) /= No_Name then + for K in Names'Range loop + if Chars (Arg) = Names (K) then + if K < Highest_So_Far then + Error_Msg_Name_1 := Chars (N); + Error_Msg_N + ("parameters out of order for pragma%", Arg); + Error_Msg_Name_1 := Names (K); + Error_Msg_Name_2 := Names (Highest_So_Far); + Error_Msg_N ("\% must appear before %", Arg); + raise Pragma_Exit; + + else + Highest_So_Far := K; + end if; + end if; + end loop; + end if; + + Arg := Next (Arg); + end loop; + end Check_Arg_Order; + -------------------------------- -- Check_At_Least_N_Arguments -- -------------------------------- @@ -1965,8 +2008,8 @@ package body Sem_Prag is begin Check_At_Least_N_Arguments (2); - Check_Arg_Is_Identifier (Arg1); Check_Optional_Identifier (Arg1, Name_Convention); + Check_Arg_Is_Identifier (Arg1); Cname := Chars (Expression (Arg1)); -- C_Pass_By_Copy is treated as a synonym for convention C @@ -1996,8 +2039,8 @@ package body Sem_Prag is C := Convention_C; end if; - Check_Arg_Is_Local_Name (Arg2); Check_Optional_Identifier (Arg2, Name_Entity); + Check_Arg_Is_Local_Name (Arg2); Id := Expression (Arg2); Analyze (Id); @@ -3289,7 +3332,11 @@ package body Sem_Prag is Subp := Entity (Subp_Id); if Subp = Any_Id then + + -- If previous error, avoid cascaded errors + Applies := True; + Effective := True; else Make_Inline (Subp); @@ -4286,6 +4333,7 @@ package body Sem_Prag is when Pragma_Ada_83 => GNAT_Pragma; Ada_Version := Ada_83; + Ada_Version_Explicit := Ada_Version; Check_Arg_Count (0); ------------ @@ -4300,6 +4348,7 @@ package body Sem_Prag is when Pragma_Ada_95 => GNAT_Pragma; Ada_Version := Ada_95; + Ada_Version_Explicit := Ada_Version; Check_Arg_Count (0); ------------ @@ -4329,8 +4378,9 @@ package body Sem_Prag is Set_Is_Ada_2005 (Entity (E_Id)); else - Ada_Version := Ada_05; Check_Arg_Count (0); + Ada_Version := Ada_05; + Ada_Version_Explicit := Ada_Version; end if; end; @@ -4413,14 +4463,17 @@ package body Sem_Prag is -- Assert -- ------------ - -- pragma Assert (Boolean_EXPRESSION [, static_string_EXPRESSION]); + -- pragma Assert ([Check =>] Boolean_EXPRESSION + -- [, [Message =>] Static_String_EXPRESSION]); when Pragma_Assert => - GNAT_Pragma; - Check_No_Identifiers; + Check_At_Least_N_Arguments (1); + Check_At_Most_N_Arguments (2); + Check_Arg_Order ((Name_Check, Name_Message)); + Check_Optional_Identifier (Arg1, Name_Check); if Arg_Count > 1 then - Check_Arg_Count (2); + Check_Optional_Identifier (Arg2, Name_Message); Check_Arg_Is_Static_Expression (Arg2, Standard_String); end if; @@ -4457,6 +4510,17 @@ package body Sem_Prag is Analyze_And_Resolve (Expression (Arg1), Any_Boolean); end if; + ---------------------- + -- Assertion_Policy -- + ---------------------- + + -- pragma Assertion_Policy (Check | Ignore) + + when Pragma_Assertion_Policy => + Check_Arg_Count (1); + Check_Arg_Is_One_Of (Arg1, Name_Check, Name_Ignore); + Assertions_Enabled := Chars (Expression (Arg1)) = Name_Check; + --------------- -- AST_Entry -- --------------- @@ -5065,6 +5129,7 @@ package body Sem_Prag is C : Convention_Id; E : Entity_Id; begin + Check_Arg_Order ((Name_Convention, Name_Entity)); Check_Ada_83_Warning; Check_Arg_Count (2); Process_Convention (C, E); @@ -5083,6 +5148,7 @@ package body Sem_Prag is begin GNAT_Pragma; + Check_Arg_Order ((Name_Name, Name_Convention)); Check_Arg_Count (2); Check_Optional_Identifier (Arg1, Name_Name); Check_Optional_Identifier (Arg2, Name_Convention); @@ -5276,17 +5342,18 @@ package body Sem_Prag is begin GNAT_Pragma; + Check_Arg_Order ((Name_Entity, Name_Vtable_Ptr, Name_Position)); if Arg_Count = 3 then - Check_Optional_Identifier (Arg2, "vtable_ptr"); + Check_Optional_Identifier (Arg2, Name_Vtable_Ptr); -- We allow Entry_Count as well as Position for the third -- parameter for back compatibility with versions of GNAT -- before version 3.12. The documentation has always said -- Position, but the code up to 3.12 said Entry_Count. - if Chars (Arg3) /= Name_Position then - Check_Optional_Identifier (Arg3, "entry_count"); + if Chars (Arg3) /= Name_Entry_Count then + Check_Optional_Identifier (Arg3, Name_Position); end if; else @@ -5393,10 +5460,11 @@ package body Sem_Prag is begin GNAT_Pragma; + Check_Arg_Order ((Name_Entity, Name_Vtable_Ptr, Name_Entry_Count)); Check_Arg_Count (3); Check_Optional_Identifier (Arg1, Name_Entity); - Check_Optional_Identifier (Arg2, "vtable_ptr"); - Check_Optional_Identifier (Arg3, "entry_count"); + Check_Optional_Identifier (Arg2, Name_Vtable_Ptr); + Check_Optional_Identifier (Arg3, Name_Entry_Count); Check_Arg_Is_Local_Name (Arg1); -- First argument is a record type name @@ -5943,6 +6011,11 @@ package body Sem_Prag is begin Check_Ada_83_Warning; + Check_Arg_Order + ((Name_Convention, + Name_Entity, + Name_External_Name, + Name_Link_Name)); Check_At_Least_N_Arguments (2); Check_At_Most_N_Arguments (4); Process_Convention (C, Def_Id); @@ -6186,6 +6259,7 @@ package body Sem_Prag is when Pragma_Export_Value => GNAT_Pragma; + Check_Arg_Order ((Name_Value, Name_Link_Name)); Check_Arg_Count (2); Check_Optional_Identifier (Arg1, Name_Value); @@ -6315,6 +6389,8 @@ package body Sem_Prag is Ada_Version := Ada_Version_Type'Min (Ada_Version, Ada_95); end if; + Ada_Version_Explicit := Ada_Version; + -------------- -- External -- -------------- @@ -6328,9 +6404,13 @@ package body Sem_Prag is when Pragma_External => External : declare C : Convention_Id; Def_Id : Entity_Id; - begin GNAT_Pragma; + Check_Arg_Order + ((Name_Convention, + Name_Entity, + Name_External_Name, + Name_Link_Name)); Check_At_Least_N_Arguments (2); Check_At_Most_N_Arguments (4); Process_Convention (C, Def_Id); @@ -6650,6 +6730,11 @@ package body Sem_Prag is when Pragma_Import => Check_Ada_83_Warning; + Check_Arg_Order + ((Name_Convention, + Name_Entity, + Name_External_Name, + Name_Link_Name)); Check_At_Least_N_Arguments (2); Check_At_Most_N_Arguments (4); Process_Import_Or_Interface; @@ -7034,6 +7119,8 @@ package body Sem_Prag is begin GNAT_Pragma; + Check_Arg_Order + ((Name_Entity, Name_External_Name, Name_Link_Name)); Check_At_Least_N_Arguments (2); Check_At_Most_N_Arguments (3); Id := Expression (Arg1); @@ -7215,10 +7302,11 @@ package body Sem_Prag is begin GNAT_Pragma; + Check_Arg_Order ((Name_Name, Name_State)); Check_Arg_Count (2); Check_Optional_Identifier (Arg1, Name_Name); - Check_Optional_Identifier (Arg2, "state"); + Check_Optional_Identifier (Arg2, Name_State); Check_Arg_Is_Identifier (Arg2); -- First argument is identifier @@ -7455,7 +7543,7 @@ package body Sem_Prag is -- License -- ------------- - -- pragma License (RESTRICTED | UNRESRICTED | GPL | MODIFIED_GPL); + -- pragma License (RESTRICTED | UNRESTRICTED | GPL | MODIFIED_GPL); when Pragma_License => GNAT_Pragma; @@ -7575,9 +7663,10 @@ package body Sem_Prag is when Pragma_Linker_Alias => GNAT_Pragma; + Check_Arg_Order ((Name_Entity, Name_Alias)); Check_Arg_Count (2); Check_Optional_Identifier (Arg1, Name_Entity); - Check_Optional_Identifier (Arg2, "alias"); + Check_Optional_Identifier (Arg2, Name_Alias); Check_Arg_Is_Library_Level_Local_Name (Arg1); Check_Arg_Is_Static_Expression (Arg2, Standard_String); @@ -7636,6 +7725,7 @@ package body Sem_Prag is when Pragma_Linker_Section => GNAT_Pragma; + Check_Arg_Order ((Name_Entity, Name_Section)); Check_Arg_Count (2); Check_Optional_Identifier (Arg1, Name_Entity); Check_Optional_Identifier (Arg2, Name_Section); @@ -7754,17 +7844,18 @@ package body Sem_Prag is begin GNAT_Pragma; + Check_Arg_Order ((Name_Entity, Name_Attribute_Name, Name_Info)); if Arg_Count = 3 then - Check_Optional_Identifier (Arg3, "info"); + Check_Optional_Identifier (Arg3, Name_Info); Check_Arg_Is_Static_Expression (Arg3, Standard_String); else Check_Arg_Count (2); end if; - Check_Arg_Is_Local_Name (Arg1); - Check_Optional_Identifier (Arg2, "attribute_name"); Check_Optional_Identifier (Arg1, Name_Entity); + Check_Optional_Identifier (Arg2, Name_Attribute_Name); + Check_Arg_Is_Local_Name (Arg1); Check_Arg_Is_Static_Expression (Arg2, Standard_String); Def_Id := Entity (Expression (Arg1)); @@ -7978,15 +8069,16 @@ package body Sem_Prag is -- Obsolescent -- ----------------- - -- pragma Obsolescent [(static_string_EXPRESSION)]; + -- pragma Obsolescent [(static_string_EXPRESSION [, Ada_05])]; when Pragma_Obsolescent => Obsolescent : declare - Subp : Node_Or_Entity_Id; - S : String_Id; + Subp : Node_Or_Entity_Id; + S : String_Id; + Active : Boolean := True; begin GNAT_Pragma; - Check_At_Most_N_Arguments (1); + Check_At_Most_N_Arguments (2); Check_No_Identifiers; -- Check OK placement @@ -8017,28 +8109,60 @@ package body Sem_Prag is Error_Pragma ("pragma% misplaced, must immediately " & "follow subprogram spec"); + end if; - -- If OK placement, set flag and acquire argument + -- If OK placement, acquire arguments - else - Subp := Defining_Entity (Subp); - Set_Is_Obsolescent (Subp); + Subp := Defining_Entity (Subp); + + if Arg_Count >= 1 then + + -- Deal with static string argument + + Check_Arg_Is_Static_Expression (Arg1, Standard_String); + S := Strval (Expression (Arg1)); + + for J in 1 .. String_Length (S) loop + if not In_Character_Range (Get_String_Char (S, J)) then + Error_Pragma_Arg + ("pragma% argument does not allow wide characters", + Arg1); + end if; + end loop; + + Set_Obsolescent_Warning (Subp, Expression (Arg1)); + + -- Check for Ada_05 parameter - if Arg_Count = 1 then - Check_Arg_Is_Static_Expression (Arg1, Standard_String); - S := Strval (Expression (Arg1)); + if Arg_Count /= 1 then + Check_Arg_Count (2); - for J in 1 .. String_Length (S) loop - if not In_Character_Range (Get_String_Char (S, J)) then + declare + Argx : constant Node_Id := Get_Pragma_Arg (Arg2); + + begin + Check_Arg_Is_Identifier (Argx); + + if Chars (Argx) /= Name_Ada_05 then + Error_Msg_Name_2 := Name_Ada_05; Error_Pragma_Arg - ("pragma% argument does not allow wide characters", - Arg1); + ("only allowed argument for pragma% is %", Argx); end if; - end loop; - Set_Obsolescent_Warning (Subp, Expression (Arg1)); + if Ada_Version_Explicit < Ada_05 + or else not Warn_On_Ada_2005_Compatibility + then + Active := False; + end if; + end; end if; end if; + + -- Set flag if pragma active + + if Active then + Set_Is_Obsolescent (Subp); + end if; end Obsolescent; ----------------- @@ -8230,104 +8354,63 @@ package body Sem_Prag is Check_Arg_Is_One_Of (Arg1, Name_On, Name_Off); Polling_Required := (Chars (Expression (Arg1)) = Name_On); - --------------------- - -- Persistent_Data -- - --------------------- - - when Pragma_Persistent_Data => declare - Ent : Entity_Id; - - begin - -- Register the pragma as applying to the compilation unit. - -- Individual Persistent_Object pragmas for relevant objects - -- are generated the end of the compilation. - - GNAT_Pragma; - Check_Valid_Configuration_Pragma; - Check_Arg_Count (0); - Ent := Find_Lib_Unit_Name; - Set_Is_Preelaborated (Ent); - end; - - ----------------------- - -- Persistent_Object -- - ----------------------- + -------------------- + -- Persistent_BSS -- + -------------------- - when Pragma_Persistent_Object => declare + when Pragma_Persistent_BSS => Persistent_BSS : declare Decl : Node_Id; Ent : Entity_Id; - MA : Node_Id; - Str : String_Id; + Prag : Node_Id; begin GNAT_Pragma; - Check_Arg_Count (1); - Check_Arg_Is_Library_Level_Local_Name (Arg1); + Check_At_Most_N_Arguments (1); - if not Is_Entity_Name (Expression (Arg1)) - or else - (Ekind (Entity (Expression (Arg1))) /= E_Variable - and then Ekind (Entity (Expression (Arg1))) /= E_Constant) - then - Error_Pragma_Arg ("pragma only applies to objects", Arg1); - end if; + -- Case of application to specific object (one argument) - Ent := Entity (Expression (Arg1)); - Decl := Parent (Ent); + if Arg_Count = 1 then + Check_Arg_Is_Library_Level_Local_Name (Arg1); - if Nkind (Decl) /= N_Object_Declaration then - return; - end if; + if not Is_Entity_Name (Expression (Arg1)) + or else + (Ekind (Entity (Expression (Arg1))) /= E_Variable + and then Ekind (Entity (Expression (Arg1))) /= E_Constant) + then + Error_Pragma_Arg ("pragma% only applies to objects", Arg1); + end if; - -- Placement of the object depends on whether there is - -- an initial value or none. If the No_Initialization flag - -- is set, the initialization has been transformed into - -- assignments, which is disallowed elaboration code. + Ent := Entity (Expression (Arg1)); + Decl := Parent (Ent); - if No_Initialization (Decl) then - Error_Msg_N - ("initialization for persistent object" - & "must be static expression", Decl); - return; - end if; + if Rep_Item_Too_Late (Ent, N) then + return; + end if; - if No (Expression (Decl)) then - Start_String; - Store_String_Chars ("section ("".persistent.bss"")"); - Str := End_String; + if Present (Expression (Decl)) then + Error_Pragma_Arg + ("object for pragma% cannot have initialization", Arg1); + end if; - else - if not Is_OK_Static_Expression (Expression (Decl)) then - Flag_Non_Static_Expr - ("initialization for persistent object" - & "must be static expression!", Expression (Decl)); - return; + if not Is_Potentially_Persistent_Type (Etype (Ent)) then + Error_Pragma_Arg + ("object type for pragma% is not potentially persistent", + Arg1); end if; - Start_String; - Store_String_Chars ("section ("".persistent.data"")"); - Str := End_String; - end if; - - MA := - Make_Pragma - (Sloc (N), - Name_Machine_Attribute, - New_List - (Make_Pragma_Argument_Association - (Sloc => Sloc (Arg1), - Expression => New_Occurrence_Of (Ent, Sloc (Ent))), - Make_Pragma_Argument_Association - (Sloc => Sloc (Arg1), - Expression => - Make_String_Literal - (Sloc => Sloc (Arg1), - Strval => Str)))); - - Insert_After (N, MA); - Analyze (MA); - Set_Has_Gigi_Rep_Item (Ent); - end; + Prag := + Make_Linker_Section_Pragma + (Ent, Sloc (N), ".persistent.bss"); + Insert_After (N, Prag); + Analyze (Prag); + + -- Case of use as configuration pragma with no arguments + + else + Check_Valid_Configuration_Pragma; + Persistent_BSS_Mode := True; + end if; + end Persistent_BSS; ------------------ -- Preelaborate -- @@ -8357,7 +8440,7 @@ package body Sem_Prag is if Present (Ent) and then not (Pk = N_Package_Specification - and then Present (Generic_Parent (Pa))) + and then Present (Generic_Parent (Pa))) then if not Debug_Flag_U then Set_Is_Preelaborated (Ent); @@ -8366,6 +8449,44 @@ package body Sem_Prag is end if; end Preelaborate; + --------------------- + -- Preelaborate_05 -- + --------------------- + + -- pragma Preelaborate_05 [(library_unit_NAME)]; + + -- This pragma is useable only in GNAT_Mode, where it is used like + -- pragma Preelaborate but it is only effective in Ada 2005 mode + -- (otherwise it is ignored). This is used to implement AI-362 which + -- recategorizes some run-time packages in Ada 2005 mode. + + when Pragma_Preelaborate_05 => Preelaborate_05 : declare + Ent : Entity_Id; + + begin + GNAT_Pragma; + Check_Valid_Library_Unit_Pragma; + + if not GNAT_Mode then + Error_Pragma ("pragma% only available in GNAT mode"); + end if; + + if Nkind (N) = N_Null_Statement then + return; + end if; + + -- This is one of the few cases where we need to test the value of + -- Ada_Version_Explicit rather than Ada_Version (which is always + -- set to Ada_05 in a predefined unit), we need to know the + -- explicit version set to know if this pragma is active. + + if Ada_Version_Explicit >= Ada_05 then + Ent := Find_Lib_Unit_Name; + Set_Is_Preelaborated (Ent); + Set_Suppress_Elaboration_Warnings (Ent); + end if; + end Preelaborate_05; + -------------- -- Priority -- -------------- @@ -8674,6 +8795,7 @@ package body Sem_Prag is when Pragma_Pure => Pure : declare Ent : Entity_Id; + begin Check_Ada_83_Warning; Check_Valid_Library_Unit_Pragma; @@ -8687,6 +8809,46 @@ package body Sem_Prag is Set_Suppress_Elaboration_Warnings (Ent); end Pure; + ------------- + -- Pure_05 -- + ------------- + + -- pragma Pure_05 [(library_unit_NAME)]; + + -- This pragma is useable only in GNAT_Mode, where it is used like + -- pragma Pure but it is only effective in Ada 2005 mode (otherwise + -- it is ignored). It may be used after a pragma Preelaborate, in + -- which case it overrides the effect of the pragma Preelaborate. + -- This is used to implement AI-362 which recategorizes some run-time + -- packages in Ada 2005 mode. + + when Pragma_Pure_05 => Pure_05 : declare + Ent : Entity_Id; + + begin + GNAT_Pragma; + Check_Valid_Library_Unit_Pragma; + + if not GNAT_Mode then + Error_Pragma ("pragma% only available in GNAT mode"); + end if; + if Nkind (N) = N_Null_Statement then + return; + end if; + + -- This is one of the few cases where we need to test the value of + -- Ada_Version_Explicit rather than Ada_Version (which is always + -- set to Ada_05 in a predefined unit), we need to know the + -- explicit version set to know if this pragma is active. + + if Ada_Version_Explicit >= Ada_05 then + Ent := Find_Lib_Unit_Name; + Set_Is_Preelaborated (Ent, False); + Set_Is_Pure (Ent); + Set_Suppress_Elaboration_Warnings (Ent); + end if; + end Pure_05; + ------------------- -- Pure_Function -- ------------------- @@ -9185,6 +9347,7 @@ package body Sem_Prag is begin GNAT_Pragma; + Check_Arg_Order ((Name_Entity, Name_Read, Name_Write)); Check_Arg_Count (3); Check_Optional_Identifier (Arg1, Name_Entity); Check_Optional_Identifier (Arg2, Name_Read); @@ -9389,8 +9552,8 @@ package body Sem_Prag is when Pragma_Suppress_Debug_Info => GNAT_Pragma; Check_Arg_Count (1); - Check_Arg_Is_Local_Name (Arg1); Check_Optional_Identifier (Arg1, Name_Entity); + Check_Arg_Is_Local_Name (Arg1); Set_Debug_Info_Off (Entity (Get_Pragma_Arg (Arg1))); ---------------------------------- @@ -9628,6 +9791,7 @@ package body Sem_Prag is begin GNAT_Pragma; + Check_Arg_Order ((Name_Entity, Name_Secondary_Stack_Size)); Check_At_Least_N_Arguments (1); Check_At_Most_N_Arguments (2); Check_Optional_Identifier (Arg1, Name_Entity); @@ -10328,6 +10492,7 @@ package body Sem_Prag is Pragma_All_Calls_Remote => -1, Pragma_Annotate => -1, Pragma_Assert => -1, + Pragma_Assertion_Policy => 0, Pragma_Asynchronous => -1, Pragma_Atomic => 0, Pragma_Atomic_Components => 0, @@ -10410,16 +10575,17 @@ package body Sem_Prag is Pragma_Page => -1, Pragma_Passive => -1, Pragma_Polling => -1, - Pragma_Persistent_Data => -1, - Pragma_Persistent_Object => -1, + Pragma_Persistent_BSS => 0, Pragma_Preelaborate => -1, + Pragma_Preelaborate_05 => -1, Pragma_Priority => -1, Pragma_Profile => 0, Pragma_Profile_Warnings => 0, Pragma_Propagate_Exceptions => -1, Pragma_Psect_Object => -1, - Pragma_Pure => 0, - Pragma_Pure_Function => 0, + Pragma_Pure => -1, + Pragma_Pure_05 => -1, + Pragma_Pure_Function => -1, Pragma_Queuing_Policy => -1, Pragma_Ravenscar => -1, Pragma_Remote_Call_Interface => -1, diff --git a/gcc/ada/snames.adb b/gcc/ada/snames.adb index 237984600d7..4894f549599 100644 --- a/gcc/ada/snames.adb +++ b/gcc/ada/snames.adb @@ -169,6 +169,7 @@ package body Snames is "ada_83#" & "ada_95#" & "ada_05#" & + "assertion_policy#" & "c_pass_by_copy#" & "compile_time_warning#" & "component_alignment#" & @@ -191,8 +192,7 @@ package body Snames is "no_strict_aliasing#" & "normalize_scalars#" & "polling#" & - "persistent_data#" & - "persistent_object#" & + "persistent_bss#" & "profile#" & "profile_warnings#" & "propagate_exceptions#" & @@ -277,9 +277,11 @@ package body Snames is "page#" & "passive#" & "preelaborate#" & + "preelaborate_05#" & "priority#" & "psect_object#" & "pure#" & + "pure_05#" & "pure_function#" & "remote_call_interface#" & "remote_types#" & @@ -320,9 +322,12 @@ package body Snames is "default#" & "dll#" & "win32#" & + "alias#" & "as_is#" & + "attribute_name#" & "body_file_name#" & "boolean_entry_barriers#" & + "check#" & "casing#" & "code#" & "component#" & @@ -333,6 +338,7 @@ package body Snames is "dot_replacement#" & "dynamic#" & "entity#" & + "entry_count#" & "external_name#" & "first_optional_parameter#" & "form#" & @@ -341,6 +347,8 @@ package body Snames is "gnat#" & "gpl#" & "ieee_float#" & + "ignore#" & + "info#" & "internal#" & "link_name#" & "lowercase#" & @@ -348,6 +356,7 @@ package body Snames is "max_entry_queue_length#" & "max_size#" & "mechanism#" & + "message#" & "mixedcase#" & "modified_gpl#" & "name#" & @@ -373,6 +382,7 @@ package body Snames is "semaphore#" & "simple_barriers#" & "spec_file_name#" & + "state#" & "static#" & "stack_size#" & "subunit_file_name#" & @@ -390,6 +400,7 @@ package body Snames is "user#" & "vax_float#" & "vms#" & + "vtable_ptr#" & "working_storage#" & "abort_signal#" & "access#" & diff --git a/gcc/ada/snames.ads b/gcc/ada/snames.ads index 4c8d2547ef0..aa0c8d4952c 100644 --- a/gcc/ada/snames.ads +++ b/gcc/ada/snames.ads @@ -47,17 +47,17 @@ package Snames is -- Preset Names -- ------------------ - -- The following are preset entries in the names table, which are - -- entered at the start of every compilation for easy access. Note - -- that the order of initialization of these names in the body must - -- be coordinated with the order of names in this table. - - -- Note: a name may not appear more than once in the following list. - -- If additional pragmas or attributes are introduced which might - -- otherwise cause a duplicate, then list it only once in this table, - -- and adjust the definition of the functions for testing for pragma - -- names and attribute names, and returning their ID values. Of course - -- everything is simpler if no such duplications occur! + -- The following are preset entries in the names table, which are entered + -- at the start of every compilation for easy access. Note that the order + -- of initialization of these names in the body must be coordinated with + -- the order of names in this table. + + -- Note: a name may not appear more than once in the following list. If + -- additional pragmas or attributes are introduced which might otherwise + -- cause a duplicate, then list it only once in this table, and adjust the + -- definition of the functions for testing for pragma names and attribute + -- names, and returning their ID values. Of course everything is simpler + -- if no such duplications occur! -- First we have the one character names used to optimize the lookup -- process for one character identifiers (to avoid the hashing in this @@ -323,36 +323,36 @@ package Snames is Name_Ada_83 : constant Name_Id := N + 109; -- GNAT Name_Ada_95 : constant Name_Id := N + 110; -- GNAT Name_Ada_05 : constant Name_Id := N + 111; -- GNAT - Name_C_Pass_By_Copy : constant Name_Id := N + 112; -- GNAT - Name_Compile_Time_Warning : constant Name_Id := N + 113; -- GNAT - Name_Component_Alignment : constant Name_Id := N + 114; -- GNAT - Name_Convention_Identifier : constant Name_Id := N + 115; -- GNAT - Name_Detect_Blocking : constant Name_Id := N + 116; -- Ada05 - Name_Discard_Names : constant Name_Id := N + 117; - Name_Elaboration_Checks : constant Name_Id := N + 118; -- GNAT - Name_Eliminate : constant Name_Id := N + 119; -- GNAT - Name_Explicit_Overriding : constant Name_Id := N + 120; - Name_Extend_System : constant Name_Id := N + 121; -- GNAT - Name_Extensions_Allowed : constant Name_Id := N + 122; -- GNAT - Name_External_Name_Casing : constant Name_Id := N + 123; -- GNAT - Name_Float_Representation : constant Name_Id := N + 124; -- GNAT - Name_Initialize_Scalars : constant Name_Id := N + 125; -- GNAT - Name_Interrupt_State : constant Name_Id := N + 126; -- GNAT - Name_License : constant Name_Id := N + 127; -- GNAT - Name_Locking_Policy : constant Name_Id := N + 128; - Name_Long_Float : constant Name_Id := N + 129; -- VMS - Name_No_Run_Time : constant Name_Id := N + 130; -- GNAT - Name_No_Strict_Aliasing : constant Name_Id := N + 131; -- GNAT - Name_Normalize_Scalars : constant Name_Id := N + 132; - Name_Polling : constant Name_Id := N + 133; -- GNAT - Name_Persistent_Data : constant Name_Id := N + 134; -- GNAT - Name_Persistent_Object : constant Name_Id := N + 135; -- GNAT - Name_Profile : constant Name_Id := N + 136; -- Ada05 + Name_Assertion_Policy : constant Name_Id := N + 112; -- Ada 05 + Name_C_Pass_By_Copy : constant Name_Id := N + 113; -- GNAT + Name_Compile_Time_Warning : constant Name_Id := N + 114; -- GNAT + Name_Component_Alignment : constant Name_Id := N + 115; -- GNAT + Name_Convention_Identifier : constant Name_Id := N + 116; -- GNAT + Name_Detect_Blocking : constant Name_Id := N + 117; -- Ada 05 + Name_Discard_Names : constant Name_Id := N + 118; + Name_Elaboration_Checks : constant Name_Id := N + 119; -- GNAT + Name_Eliminate : constant Name_Id := N + 120; -- GNAT + Name_Explicit_Overriding : constant Name_Id := N + 121; -- Ada 05 + Name_Extend_System : constant Name_Id := N + 122; -- GNAT + Name_Extensions_Allowed : constant Name_Id := N + 123; -- GNAT + Name_External_Name_Casing : constant Name_Id := N + 124; -- GNAT + Name_Float_Representation : constant Name_Id := N + 125; -- GNAT + Name_Initialize_Scalars : constant Name_Id := N + 126; -- GNAT + Name_Interrupt_State : constant Name_Id := N + 127; -- GNAT + Name_License : constant Name_Id := N + 128; -- GNAT + Name_Locking_Policy : constant Name_Id := N + 129; + Name_Long_Float : constant Name_Id := N + 130; -- VMS + Name_No_Run_Time : constant Name_Id := N + 131; -- GNAT + Name_No_Strict_Aliasing : constant Name_Id := N + 132; -- GNAT + Name_Normalize_Scalars : constant Name_Id := N + 133; + Name_Polling : constant Name_Id := N + 134; -- GNAT + Name_Persistent_BSS : constant Name_Id := N + 135; -- GNAT + Name_Profile : constant Name_Id := N + 136; -- Ada 05 Name_Profile_Warnings : constant Name_Id := N + 137; -- GNAT Name_Propagate_Exceptions : constant Name_Id := N + 138; -- GNAT Name_Queuing_Policy : constant Name_Id := N + 139; - Name_Ravenscar : constant Name_Id := N + 140; - Name_Restricted_Run_Time : constant Name_Id := N + 141; + Name_Ravenscar : constant Name_Id := N + 140; -- Ada 05 + Name_Restricted_Run_Time : constant Name_Id := N + 141; -- GNAT Name_Restrictions : constant Name_Id := N + 142; Name_Restriction_Warnings : constant Name_Id := N + 143; -- GNAT Name_Reviewable : constant Name_Id := N + 144; @@ -381,7 +381,7 @@ package Snames is -- and Check_Pragma_Id correctly recognize and process Name_AST_Entry. -- AST_Entry is a VMS specific pragma. - Name_Assert : constant Name_Id := N + 159; -- GNAT + Name_Assert : constant Name_Id := N + 159; -- Ada 05 Name_Asynchronous : constant Name_Id := N + 160; Name_Atomic : constant Name_Id := N + 161; Name_Atomic_Components : constant Name_Id := N + 162; @@ -437,20 +437,22 @@ package Snames is Name_No_Return : constant Name_Id := N + 212; -- GNAT Name_Obsolescent : constant Name_Id := N + 213; -- GNAT Name_Optimize : constant Name_Id := N + 214; - Name_Optional_Overriding : constant Name_Id := N + 215; + Name_Optional_Overriding : constant Name_Id := N + 215; -- Ada 05 Name_Pack : constant Name_Id := N + 216; Name_Page : constant Name_Id := N + 217; Name_Passive : constant Name_Id := N + 218; -- GNAT Name_Preelaborate : constant Name_Id := N + 219; - Name_Priority : constant Name_Id := N + 220; - Name_Psect_Object : constant Name_Id := N + 221; -- VMS - Name_Pure : constant Name_Id := N + 222; - Name_Pure_Function : constant Name_Id := N + 223; -- GNAT - Name_Remote_Call_Interface : constant Name_Id := N + 224; - Name_Remote_Types : constant Name_Id := N + 225; - Name_Share_Generic : constant Name_Id := N + 226; -- GNAT - Name_Shared : constant Name_Id := N + 227; -- Ada 83 - Name_Shared_Passive : constant Name_Id := N + 228; + Name_Preelaborate_05 : constant Name_Id := N + 220; -- GNAT + Name_Priority : constant Name_Id := N + 221; + Name_Psect_Object : constant Name_Id := N + 222; -- VMS + Name_Pure : constant Name_Id := N + 223; + Name_Pure_05 : constant Name_Id := N + 224; -- GNAT + Name_Pure_Function : constant Name_Id := N + 225; -- GNAT + Name_Remote_Call_Interface : constant Name_Id := N + 226; + Name_Remote_Types : constant Name_Id := N + 227; + Name_Share_Generic : constant Name_Id := N + 228; -- GNAT + Name_Shared : constant Name_Id := N + 229; -- Ada 83 + Name_Shared_Passive : constant Name_Id := N + 230; -- Note: Storage_Size is not in this list because its name matches the -- name of the corresponding attribute. However, it is included in the @@ -460,27 +462,27 @@ package Snames is -- Note: Storage_Unit is also omitted from the list because of a clash -- with an attribute name, and is treated similarly. - Name_Source_Reference : constant Name_Id := N + 229; -- GNAT - Name_Stream_Convert : constant Name_Id := N + 230; -- GNAT - Name_Subtitle : constant Name_Id := N + 231; -- GNAT - Name_Suppress_All : constant Name_Id := N + 232; -- GNAT - Name_Suppress_Debug_Info : constant Name_Id := N + 233; -- GNAT - Name_Suppress_Initialization : constant Name_Id := N + 234; -- GNAT - Name_System_Name : constant Name_Id := N + 235; -- Ada 83 - Name_Task_Info : constant Name_Id := N + 236; -- GNAT - Name_Task_Name : constant Name_Id := N + 237; -- GNAT - Name_Task_Storage : constant Name_Id := N + 238; -- VMS - Name_Thread_Body : constant Name_Id := N + 239; -- GNAT - Name_Time_Slice : constant Name_Id := N + 240; -- GNAT - Name_Title : constant Name_Id := N + 241; -- GNAT - Name_Unchecked_Union : constant Name_Id := N + 242; -- GNAT - Name_Unimplemented_Unit : constant Name_Id := N + 243; -- GNAT - Name_Unreferenced : constant Name_Id := N + 244; -- GNAT - Name_Unreserve_All_Interrupts : constant Name_Id := N + 245; -- GNAT - Name_Volatile : constant Name_Id := N + 246; - Name_Volatile_Components : constant Name_Id := N + 247; - Name_Weak_External : constant Name_Id := N + 248; -- GNAT - Last_Pragma_Name : constant Name_Id := N + 248; + Name_Source_Reference : constant Name_Id := N + 231; -- GNAT + Name_Stream_Convert : constant Name_Id := N + 232; -- GNAT + Name_Subtitle : constant Name_Id := N + 233; -- GNAT + Name_Suppress_All : constant Name_Id := N + 234; -- GNAT + Name_Suppress_Debug_Info : constant Name_Id := N + 235; -- GNAT + Name_Suppress_Initialization : constant Name_Id := N + 236; -- GNAT + Name_System_Name : constant Name_Id := N + 237; -- Ada 83 + Name_Task_Info : constant Name_Id := N + 238; -- GNAT + Name_Task_Name : constant Name_Id := N + 239; -- GNAT + Name_Task_Storage : constant Name_Id := N + 240; -- VMS + Name_Thread_Body : constant Name_Id := N + 241; -- GNAT + Name_Time_Slice : constant Name_Id := N + 242; -- GNAT + Name_Title : constant Name_Id := N + 243; -- GNAT + Name_Unchecked_Union : constant Name_Id := N + 244; -- GNAT + Name_Unimplemented_Unit : constant Name_Id := N + 245; -- GNAT + Name_Unreferenced : constant Name_Id := N + 246; -- GNAT + Name_Unreserve_All_Interrupts : constant Name_Id := N + 247; -- GNAT + Name_Volatile : constant Name_Id := N + 248; + Name_Volatile_Components : constant Name_Id := N + 249; + Name_Weak_External : constant Name_Id := N + 250; -- GNAT + Last_Pragma_Name : constant Name_Id := N + 250; -- Language convention names for pragma Convention/Export/Import/Interface -- Note that Name_C is not included in this list, since it was already @@ -491,106 +493,115 @@ package Snames is -- Entry and Protected, this is because these conventions cannot be -- specified by a pragma. - First_Convention_Name : constant Name_Id := N + 249; - Name_Ada : constant Name_Id := N + 249; - Name_Assembler : constant Name_Id := N + 250; - Name_COBOL : constant Name_Id := N + 251; - Name_CPP : constant Name_Id := N + 252; - Name_Fortran : constant Name_Id := N + 253; - Name_Intrinsic : constant Name_Id := N + 254; - Name_Java : constant Name_Id := N + 255; - Name_Stdcall : constant Name_Id := N + 256; - Name_Stubbed : constant Name_Id := N + 257; - Last_Convention_Name : constant Name_Id := N + 257; + First_Convention_Name : constant Name_Id := N + 251; + Name_Ada : constant Name_Id := N + 251; + Name_Assembler : constant Name_Id := N + 252; + Name_COBOL : constant Name_Id := N + 253; + Name_CPP : constant Name_Id := N + 254; + Name_Fortran : constant Name_Id := N + 255; + Name_Intrinsic : constant Name_Id := N + 256; + Name_Java : constant Name_Id := N + 257; + Name_Stdcall : constant Name_Id := N + 258; + Name_Stubbed : constant Name_Id := N + 259; + Last_Convention_Name : constant Name_Id := N + 259; -- The following names are preset as synonyms for Assembler - Name_Asm : constant Name_Id := N + 258; - Name_Assembly : constant Name_Id := N + 259; + Name_Asm : constant Name_Id := N + 260; + Name_Assembly : constant Name_Id := N + 261; -- The following names are preset as synonyms for C - Name_Default : constant Name_Id := N + 260; + Name_Default : constant Name_Id := N + 262; -- Name_Exernal (previously defined as pragma) -- The following names are present as synonyms for Stdcall - Name_DLL : constant Name_Id := N + 261; - Name_Win32 : constant Name_Id := N + 262; + Name_DLL : constant Name_Id := N + 263; + Name_Win32 : constant Name_Id := N + 264; -- Other special names used in processing pragmas - Name_As_Is : constant Name_Id := N + 263; - Name_Body_File_Name : constant Name_Id := N + 264; - Name_Boolean_Entry_Barriers : constant Name_Id := N + 265; - Name_Casing : constant Name_Id := N + 266; - Name_Code : constant Name_Id := N + 267; - Name_Component : constant Name_Id := N + 268; - Name_Component_Size_4 : constant Name_Id := N + 269; - Name_Copy : constant Name_Id := N + 270; - Name_D_Float : constant Name_Id := N + 271; - Name_Descriptor : constant Name_Id := N + 272; - Name_Dot_Replacement : constant Name_Id := N + 273; - Name_Dynamic : constant Name_Id := N + 274; - Name_Entity : constant Name_Id := N + 275; - Name_External_Name : constant Name_Id := N + 276; - Name_First_Optional_Parameter : constant Name_Id := N + 277; - Name_Form : constant Name_Id := N + 278; - Name_G_Float : constant Name_Id := N + 279; - Name_Gcc : constant Name_Id := N + 280; - Name_Gnat : constant Name_Id := N + 281; - Name_GPL : constant Name_Id := N + 282; - Name_IEEE_Float : constant Name_Id := N + 283; - Name_Internal : constant Name_Id := N + 284; - Name_Link_Name : constant Name_Id := N + 285; - Name_Lowercase : constant Name_Id := N + 286; - Name_Max_Entry_Queue_Depth : constant Name_Id := N + 287; - Name_Max_Entry_Queue_Length : constant Name_Id := N + 288; - Name_Max_Size : constant Name_Id := N + 289; - Name_Mechanism : constant Name_Id := N + 290; - Name_Mixedcase : constant Name_Id := N + 291; - Name_Modified_GPL : constant Name_Id := N + 292; - Name_Name : constant Name_Id := N + 293; - Name_NCA : constant Name_Id := N + 294; - Name_No : constant Name_Id := N + 295; - Name_No_Dependence : constant Name_Id := N + 296; - Name_No_Dynamic_Attachment : constant Name_Id := N + 297; - Name_No_Dynamic_Interrupts : constant Name_Id := N + 298; - Name_No_Requeue : constant Name_Id := N + 299; - Name_No_Requeue_Statements : constant Name_Id := N + 300; - Name_No_Task_Attributes : constant Name_Id := N + 301; - Name_No_Task_Attributes_Package : constant Name_Id := N + 302; - Name_On : constant Name_Id := N + 303; - Name_Parameter_Types : constant Name_Id := N + 304; - Name_Reference : constant Name_Id := N + 305; - Name_Restricted : constant Name_Id := N + 306; - Name_Result_Mechanism : constant Name_Id := N + 307; - Name_Result_Type : constant Name_Id := N + 308; - Name_Runtime : constant Name_Id := N + 309; - Name_SB : constant Name_Id := N + 310; - Name_Secondary_Stack_Size : constant Name_Id := N + 311; - Name_Section : constant Name_Id := N + 312; - Name_Semaphore : constant Name_Id := N + 313; - Name_Simple_Barriers : constant Name_Id := N + 314; - Name_Spec_File_Name : constant Name_Id := N + 315; - Name_Static : constant Name_Id := N + 316; - Name_Stack_Size : constant Name_Id := N + 317; - Name_Subunit_File_Name : constant Name_Id := N + 318; - Name_Task_Stack_Size_Default : constant Name_Id := N + 319; - Name_Task_Type : constant Name_Id := N + 320; - Name_Time_Slicing_Enabled : constant Name_Id := N + 321; - Name_Top_Guard : constant Name_Id := N + 322; - Name_UBA : constant Name_Id := N + 323; - Name_UBS : constant Name_Id := N + 324; - Name_UBSB : constant Name_Id := N + 325; - Name_Unit_Name : constant Name_Id := N + 326; - Name_Unknown : constant Name_Id := N + 327; - Name_Unrestricted : constant Name_Id := N + 328; - Name_Uppercase : constant Name_Id := N + 329; - Name_User : constant Name_Id := N + 330; - Name_VAX_Float : constant Name_Id := N + 331; - Name_VMS : constant Name_Id := N + 332; - Name_Working_Storage : constant Name_Id := N + 333; + Name_Alias : constant Name_Id := N + 265; + Name_As_Is : constant Name_Id := N + 266; + Name_Attribute_Name : constant Name_Id := N + 267; + Name_Body_File_Name : constant Name_Id := N + 268; + Name_Boolean_Entry_Barriers : constant Name_Id := N + 269; + Name_Check : constant Name_Id := N + 270; + Name_Casing : constant Name_Id := N + 271; + Name_Code : constant Name_Id := N + 272; + Name_Component : constant Name_Id := N + 273; + Name_Component_Size_4 : constant Name_Id := N + 274; + Name_Copy : constant Name_Id := N + 275; + Name_D_Float : constant Name_Id := N + 276; + Name_Descriptor : constant Name_Id := N + 277; + Name_Dot_Replacement : constant Name_Id := N + 278; + Name_Dynamic : constant Name_Id := N + 279; + Name_Entity : constant Name_Id := N + 280; + Name_Entry_Count : constant Name_Id := N + 281; + Name_External_Name : constant Name_Id := N + 282; + Name_First_Optional_Parameter : constant Name_Id := N + 283; + Name_Form : constant Name_Id := N + 284; + Name_G_Float : constant Name_Id := N + 285; + Name_Gcc : constant Name_Id := N + 286; + Name_Gnat : constant Name_Id := N + 287; + Name_GPL : constant Name_Id := N + 288; + Name_IEEE_Float : constant Name_Id := N + 289; + Name_Ignore : constant Name_Id := N + 290; + Name_Info : constant Name_Id := N + 291; + Name_Internal : constant Name_Id := N + 292; + Name_Link_Name : constant Name_Id := N + 293; + Name_Lowercase : constant Name_Id := N + 294; + Name_Max_Entry_Queue_Depth : constant Name_Id := N + 295; + Name_Max_Entry_Queue_Length : constant Name_Id := N + 296; + Name_Max_Size : constant Name_Id := N + 297; + Name_Mechanism : constant Name_Id := N + 298; + Name_Message : constant Name_Id := N + 299; + Name_Mixedcase : constant Name_Id := N + 300; + Name_Modified_GPL : constant Name_Id := N + 301; + Name_Name : constant Name_Id := N + 302; + Name_NCA : constant Name_Id := N + 303; + Name_No : constant Name_Id := N + 304; + Name_No_Dependence : constant Name_Id := N + 305; + Name_No_Dynamic_Attachment : constant Name_Id := N + 306; + Name_No_Dynamic_Interrupts : constant Name_Id := N + 307; + Name_No_Requeue : constant Name_Id := N + 308; + Name_No_Requeue_Statements : constant Name_Id := N + 309; + Name_No_Task_Attributes : constant Name_Id := N + 310; + Name_No_Task_Attributes_Package : constant Name_Id := N + 311; + Name_On : constant Name_Id := N + 312; + Name_Parameter_Types : constant Name_Id := N + 313; + Name_Reference : constant Name_Id := N + 314; + Name_Restricted : constant Name_Id := N + 315; + Name_Result_Mechanism : constant Name_Id := N + 316; + Name_Result_Type : constant Name_Id := N + 317; + Name_Runtime : constant Name_Id := N + 318; + Name_SB : constant Name_Id := N + 319; + Name_Secondary_Stack_Size : constant Name_Id := N + 320; + Name_Section : constant Name_Id := N + 321; + Name_Semaphore : constant Name_Id := N + 322; + Name_Simple_Barriers : constant Name_Id := N + 323; + Name_Spec_File_Name : constant Name_Id := N + 324; + Name_State : constant Name_Id := N + 325; + Name_Static : constant Name_Id := N + 326; + Name_Stack_Size : constant Name_Id := N + 327; + Name_Subunit_File_Name : constant Name_Id := N + 328; + Name_Task_Stack_Size_Default : constant Name_Id := N + 329; + Name_Task_Type : constant Name_Id := N + 330; + Name_Time_Slicing_Enabled : constant Name_Id := N + 331; + Name_Top_Guard : constant Name_Id := N + 332; + Name_UBA : constant Name_Id := N + 333; + Name_UBS : constant Name_Id := N + 334; + Name_UBSB : constant Name_Id := N + 335; + Name_Unit_Name : constant Name_Id := N + 336; + Name_Unknown : constant Name_Id := N + 337; + Name_Unrestricted : constant Name_Id := N + 338; + Name_Uppercase : constant Name_Id := N + 339; + Name_User : constant Name_Id := N + 340; + Name_VAX_Float : constant Name_Id := N + 341; + Name_VMS : constant Name_Id := N + 342; + Name_Vtable_Ptr : constant Name_Id := N + 343; + Name_Working_Storage : constant Name_Id := N + 344; -- Names of recognized attributes. The entries with the comment "Ada 83" -- are attributes that are defined in Ada 83, but not in Ada 95. These @@ -604,165 +615,165 @@ package Snames is -- The entries marked VMS are recognized only in OpenVMS implementations -- of GNAT, and are treated as illegal in all other contexts. - First_Attribute_Name : constant Name_Id := N + 334; - Name_Abort_Signal : constant Name_Id := N + 334; -- GNAT - Name_Access : constant Name_Id := N + 335; - Name_Address : constant Name_Id := N + 336; - Name_Address_Size : constant Name_Id := N + 337; -- GNAT - Name_Aft : constant Name_Id := N + 338; - Name_Alignment : constant Name_Id := N + 339; - Name_Asm_Input : constant Name_Id := N + 340; -- GNAT - Name_Asm_Output : constant Name_Id := N + 341; -- GNAT - Name_AST_Entry : constant Name_Id := N + 342; -- VMS - Name_Bit : constant Name_Id := N + 343; -- GNAT - Name_Bit_Order : constant Name_Id := N + 344; - Name_Bit_Position : constant Name_Id := N + 345; -- GNAT - Name_Body_Version : constant Name_Id := N + 346; - Name_Callable : constant Name_Id := N + 347; - Name_Caller : constant Name_Id := N + 348; - Name_Code_Address : constant Name_Id := N + 349; -- GNAT - Name_Component_Size : constant Name_Id := N + 350; - Name_Compose : constant Name_Id := N + 351; - Name_Constrained : constant Name_Id := N + 352; - Name_Count : constant Name_Id := N + 353; - Name_Default_Bit_Order : constant Name_Id := N + 354; -- GNAT - Name_Definite : constant Name_Id := N + 355; - Name_Delta : constant Name_Id := N + 356; - Name_Denorm : constant Name_Id := N + 357; - Name_Digits : constant Name_Id := N + 358; - Name_Elaborated : constant Name_Id := N + 359; -- GNAT - Name_Emax : constant Name_Id := N + 360; -- Ada 83 - Name_Enum_Rep : constant Name_Id := N + 361; -- GNAT - Name_Epsilon : constant Name_Id := N + 362; -- Ada 83 - Name_Exponent : constant Name_Id := N + 363; - Name_External_Tag : constant Name_Id := N + 364; - Name_First : constant Name_Id := N + 365; - Name_First_Bit : constant Name_Id := N + 366; - Name_Fixed_Value : constant Name_Id := N + 367; -- GNAT - Name_Fore : constant Name_Id := N + 368; - Name_Has_Access_Values : constant Name_Id := N + 369; -- GNAT - Name_Has_Discriminants : constant Name_Id := N + 370; -- GNAT - Name_Identity : constant Name_Id := N + 371; - Name_Img : constant Name_Id := N + 372; -- GNAT - Name_Integer_Value : constant Name_Id := N + 373; -- GNAT - Name_Large : constant Name_Id := N + 374; -- Ada 83 - Name_Last : constant Name_Id := N + 375; - Name_Last_Bit : constant Name_Id := N + 376; - Name_Leading_Part : constant Name_Id := N + 377; - Name_Length : constant Name_Id := N + 378; - Name_Machine_Emax : constant Name_Id := N + 379; - Name_Machine_Emin : constant Name_Id := N + 380; - Name_Machine_Mantissa : constant Name_Id := N + 381; - Name_Machine_Overflows : constant Name_Id := N + 382; - Name_Machine_Radix : constant Name_Id := N + 383; - Name_Machine_Rounds : constant Name_Id := N + 384; - Name_Machine_Size : constant Name_Id := N + 385; -- GNAT - Name_Mantissa : constant Name_Id := N + 386; -- Ada 83 - Name_Max_Size_In_Storage_Elements : constant Name_Id := N + 387; - Name_Maximum_Alignment : constant Name_Id := N + 388; -- GNAT - Name_Mechanism_Code : constant Name_Id := N + 389; -- GNAT - Name_Mod : constant Name_Id := N + 390; - Name_Model_Emin : constant Name_Id := N + 391; - Name_Model_Epsilon : constant Name_Id := N + 392; - Name_Model_Mantissa : constant Name_Id := N + 393; - Name_Model_Small : constant Name_Id := N + 394; - Name_Modulus : constant Name_Id := N + 395; - Name_Null_Parameter : constant Name_Id := N + 396; -- GNAT - Name_Object_Size : constant Name_Id := N + 397; -- GNAT - Name_Partition_ID : constant Name_Id := N + 398; - Name_Passed_By_Reference : constant Name_Id := N + 399; -- GNAT - Name_Pool_Address : constant Name_Id := N + 400; - Name_Pos : constant Name_Id := N + 401; - Name_Position : constant Name_Id := N + 402; - Name_Range : constant Name_Id := N + 403; - Name_Range_Length : constant Name_Id := N + 404; -- GNAT - Name_Round : constant Name_Id := N + 405; - Name_Safe_Emax : constant Name_Id := N + 406; -- Ada 83 - Name_Safe_First : constant Name_Id := N + 407; - Name_Safe_Large : constant Name_Id := N + 408; -- Ada 83 - Name_Safe_Last : constant Name_Id := N + 409; - Name_Safe_Small : constant Name_Id := N + 410; -- Ada 83 - Name_Scale : constant Name_Id := N + 411; - Name_Scaling : constant Name_Id := N + 412; - Name_Signed_Zeros : constant Name_Id := N + 413; - Name_Size : constant Name_Id := N + 414; - Name_Small : constant Name_Id := N + 415; - Name_Storage_Size : constant Name_Id := N + 416; - Name_Storage_Unit : constant Name_Id := N + 417; -- GNAT - Name_Stream_Size : constant Name_Id := N + 418; -- Ada 05 - Name_Tag : constant Name_Id := N + 419; - Name_Target_Name : constant Name_Id := N + 420; -- GNAT - Name_Terminated : constant Name_Id := N + 421; - Name_To_Address : constant Name_Id := N + 422; -- GNAT - Name_Type_Class : constant Name_Id := N + 423; -- GNAT - Name_UET_Address : constant Name_Id := N + 424; -- GNAT - Name_Unbiased_Rounding : constant Name_Id := N + 425; - Name_Unchecked_Access : constant Name_Id := N + 426; - Name_Unconstrained_Array : constant Name_Id := N + 427; - Name_Universal_Literal_String : constant Name_Id := N + 428; -- GNAT - Name_Unrestricted_Access : constant Name_Id := N + 429; -- GNAT - Name_VADS_Size : constant Name_Id := N + 430; -- GNAT - Name_Val : constant Name_Id := N + 431; - Name_Valid : constant Name_Id := N + 432; - Name_Value_Size : constant Name_Id := N + 433; -- GNAT - Name_Version : constant Name_Id := N + 434; - Name_Wchar_T_Size : constant Name_Id := N + 435; -- GNAT - Name_Wide_Wide_Width : constant Name_Id := N + 436; -- Ada 05 - Name_Wide_Width : constant Name_Id := N + 437; - Name_Width : constant Name_Id := N + 438; - Name_Word_Size : constant Name_Id := N + 439; -- GNAT + First_Attribute_Name : constant Name_Id := N + 345; + Name_Abort_Signal : constant Name_Id := N + 345; -- GNAT + Name_Access : constant Name_Id := N + 346; + Name_Address : constant Name_Id := N + 347; + Name_Address_Size : constant Name_Id := N + 348; -- GNAT + Name_Aft : constant Name_Id := N + 349; + Name_Alignment : constant Name_Id := N + 350; + Name_Asm_Input : constant Name_Id := N + 351; -- GNAT + Name_Asm_Output : constant Name_Id := N + 352; -- GNAT + Name_AST_Entry : constant Name_Id := N + 353; -- VMS + Name_Bit : constant Name_Id := N + 354; -- GNAT + Name_Bit_Order : constant Name_Id := N + 355; + Name_Bit_Position : constant Name_Id := N + 356; -- GNAT + Name_Body_Version : constant Name_Id := N + 357; + Name_Callable : constant Name_Id := N + 358; + Name_Caller : constant Name_Id := N + 359; + Name_Code_Address : constant Name_Id := N + 360; -- GNAT + Name_Component_Size : constant Name_Id := N + 361; + Name_Compose : constant Name_Id := N + 362; + Name_Constrained : constant Name_Id := N + 363; + Name_Count : constant Name_Id := N + 364; + Name_Default_Bit_Order : constant Name_Id := N + 365; -- GNAT + Name_Definite : constant Name_Id := N + 366; + Name_Delta : constant Name_Id := N + 367; + Name_Denorm : constant Name_Id := N + 368; + Name_Digits : constant Name_Id := N + 369; + Name_Elaborated : constant Name_Id := N + 370; -- GNAT + Name_Emax : constant Name_Id := N + 371; -- Ada 83 + Name_Enum_Rep : constant Name_Id := N + 372; -- GNAT + Name_Epsilon : constant Name_Id := N + 373; -- Ada 83 + Name_Exponent : constant Name_Id := N + 374; + Name_External_Tag : constant Name_Id := N + 375; + Name_First : constant Name_Id := N + 376; + Name_First_Bit : constant Name_Id := N + 377; + Name_Fixed_Value : constant Name_Id := N + 378; -- GNAT + Name_Fore : constant Name_Id := N + 379; + Name_Has_Access_Values : constant Name_Id := N + 380; -- GNAT + Name_Has_Discriminants : constant Name_Id := N + 381; -- GNAT + Name_Identity : constant Name_Id := N + 382; + Name_Img : constant Name_Id := N + 383; -- GNAT + Name_Integer_Value : constant Name_Id := N + 384; -- GNAT + Name_Large : constant Name_Id := N + 385; -- Ada 83 + Name_Last : constant Name_Id := N + 386; + Name_Last_Bit : constant Name_Id := N + 387; + Name_Leading_Part : constant Name_Id := N + 388; + Name_Length : constant Name_Id := N + 389; + Name_Machine_Emax : constant Name_Id := N + 390; + Name_Machine_Emin : constant Name_Id := N + 391; + Name_Machine_Mantissa : constant Name_Id := N + 392; + Name_Machine_Overflows : constant Name_Id := N + 393; + Name_Machine_Radix : constant Name_Id := N + 394; + Name_Machine_Rounds : constant Name_Id := N + 395; + Name_Machine_Size : constant Name_Id := N + 396; -- GNAT + Name_Mantissa : constant Name_Id := N + 397; -- Ada 83 + Name_Max_Size_In_Storage_Elements : constant Name_Id := N + 398; + Name_Maximum_Alignment : constant Name_Id := N + 399; -- GNAT + Name_Mechanism_Code : constant Name_Id := N + 400; -- GNAT + Name_Mod : constant Name_Id := N + 401; + Name_Model_Emin : constant Name_Id := N + 402; + Name_Model_Epsilon : constant Name_Id := N + 403; + Name_Model_Mantissa : constant Name_Id := N + 404; + Name_Model_Small : constant Name_Id := N + 405; + Name_Modulus : constant Name_Id := N + 406; + Name_Null_Parameter : constant Name_Id := N + 407; -- GNAT + Name_Object_Size : constant Name_Id := N + 408; -- GNAT + Name_Partition_ID : constant Name_Id := N + 409; + Name_Passed_By_Reference : constant Name_Id := N + 410; -- GNAT + Name_Pool_Address : constant Name_Id := N + 411; + Name_Pos : constant Name_Id := N + 412; + Name_Position : constant Name_Id := N + 413; + Name_Range : constant Name_Id := N + 414; + Name_Range_Length : constant Name_Id := N + 415; -- GNAT + Name_Round : constant Name_Id := N + 416; + Name_Safe_Emax : constant Name_Id := N + 417; -- Ada 83 + Name_Safe_First : constant Name_Id := N + 418; + Name_Safe_Large : constant Name_Id := N + 419; -- Ada 83 + Name_Safe_Last : constant Name_Id := N + 420; + Name_Safe_Small : constant Name_Id := N + 421; -- Ada 83 + Name_Scale : constant Name_Id := N + 422; + Name_Scaling : constant Name_Id := N + 423; + Name_Signed_Zeros : constant Name_Id := N + 424; + Name_Size : constant Name_Id := N + 425; + Name_Small : constant Name_Id := N + 426; + Name_Storage_Size : constant Name_Id := N + 427; + Name_Storage_Unit : constant Name_Id := N + 428; -- GNAT + Name_Stream_Size : constant Name_Id := N + 429; -- Ada 05 + Name_Tag : constant Name_Id := N + 430; + Name_Target_Name : constant Name_Id := N + 431; -- GNAT + Name_Terminated : constant Name_Id := N + 432; + Name_To_Address : constant Name_Id := N + 433; -- GNAT + Name_Type_Class : constant Name_Id := N + 434; -- GNAT + Name_UET_Address : constant Name_Id := N + 435; -- GNAT + Name_Unbiased_Rounding : constant Name_Id := N + 436; + Name_Unchecked_Access : constant Name_Id := N + 437; + Name_Unconstrained_Array : constant Name_Id := N + 438; + Name_Universal_Literal_String : constant Name_Id := N + 439; -- GNAT + Name_Unrestricted_Access : constant Name_Id := N + 440; -- GNAT + Name_VADS_Size : constant Name_Id := N + 441; -- GNAT + Name_Val : constant Name_Id := N + 442; + Name_Valid : constant Name_Id := N + 443; + Name_Value_Size : constant Name_Id := N + 444; -- GNAT + Name_Version : constant Name_Id := N + 445; + Name_Wchar_T_Size : constant Name_Id := N + 446; -- GNAT + Name_Wide_Wide_Width : constant Name_Id := N + 447; -- Ada 05 + Name_Wide_Width : constant Name_Id := N + 448; + Name_Width : constant Name_Id := N + 449; + Name_Word_Size : constant Name_Id := N + 450; -- GNAT -- Attributes that designate attributes returning renamable functions, -- i.e. functions that return other than a universal value and that -- have non-universal arguments. - First_Renamable_Function_Attribute : constant Name_Id := N + 440; - Name_Adjacent : constant Name_Id := N + 440; - Name_Ceiling : constant Name_Id := N + 441; - Name_Copy_Sign : constant Name_Id := N + 442; - Name_Floor : constant Name_Id := N + 443; - Name_Fraction : constant Name_Id := N + 444; - Name_Image : constant Name_Id := N + 445; - Name_Input : constant Name_Id := N + 446; - Name_Machine : constant Name_Id := N + 447; - Name_Max : constant Name_Id := N + 448; - Name_Min : constant Name_Id := N + 449; - Name_Model : constant Name_Id := N + 450; - Name_Pred : constant Name_Id := N + 451; - Name_Remainder : constant Name_Id := N + 452; - Name_Rounding : constant Name_Id := N + 453; - Name_Succ : constant Name_Id := N + 454; - Name_Truncation : constant Name_Id := N + 455; - Name_Value : constant Name_Id := N + 456; - Name_Wide_Image : constant Name_Id := N + 457; - Name_Wide_Wide_Image : constant Name_Id := N + 458; - Name_Wide_Value : constant Name_Id := N + 459; - Name_Wide_Wide_Value : constant Name_Id := N + 460; - Last_Renamable_Function_Attribute : constant Name_Id := N + 460; + First_Renamable_Function_Attribute : constant Name_Id := N + 451; + Name_Adjacent : constant Name_Id := N + 451; + Name_Ceiling : constant Name_Id := N + 452; + Name_Copy_Sign : constant Name_Id := N + 453; + Name_Floor : constant Name_Id := N + 454; + Name_Fraction : constant Name_Id := N + 455; + Name_Image : constant Name_Id := N + 456; + Name_Input : constant Name_Id := N + 457; + Name_Machine : constant Name_Id := N + 458; + Name_Max : constant Name_Id := N + 459; + Name_Min : constant Name_Id := N + 460; + Name_Model : constant Name_Id := N + 461; + Name_Pred : constant Name_Id := N + 462; + Name_Remainder : constant Name_Id := N + 463; + Name_Rounding : constant Name_Id := N + 464; + Name_Succ : constant Name_Id := N + 465; + Name_Truncation : constant Name_Id := N + 466; + Name_Value : constant Name_Id := N + 467; + Name_Wide_Image : constant Name_Id := N + 468; + Name_Wide_Wide_Image : constant Name_Id := N + 469; + Name_Wide_Value : constant Name_Id := N + 470; + Name_Wide_Wide_Value : constant Name_Id := N + 471; + Last_Renamable_Function_Attribute : constant Name_Id := N + 471; -- Attributes that designate procedures - First_Procedure_Attribute : constant Name_Id := N + 461; - Name_Output : constant Name_Id := N + 461; - Name_Read : constant Name_Id := N + 462; - Name_Write : constant Name_Id := N + 463; - Last_Procedure_Attribute : constant Name_Id := N + 463; + First_Procedure_Attribute : constant Name_Id := N + 472; + Name_Output : constant Name_Id := N + 472; + Name_Read : constant Name_Id := N + 473; + Name_Write : constant Name_Id := N + 474; + Last_Procedure_Attribute : constant Name_Id := N + 474; -- Remaining attributes are ones that return entities - First_Entity_Attribute_Name : constant Name_Id := N + 464; - Name_Elab_Body : constant Name_Id := N + 464; -- GNAT - Name_Elab_Spec : constant Name_Id := N + 465; -- GNAT - Name_Storage_Pool : constant Name_Id := N + 466; + First_Entity_Attribute_Name : constant Name_Id := N + 475; + Name_Elab_Body : constant Name_Id := N + 475; -- GNAT + Name_Elab_Spec : constant Name_Id := N + 476; -- GNAT + Name_Storage_Pool : constant Name_Id := N + 477; -- These attributes are the ones that return types - First_Type_Attribute_Name : constant Name_Id := N + 467; - Name_Base : constant Name_Id := N + 467; - Name_Class : constant Name_Id := N + 468; - Last_Type_Attribute_Name : constant Name_Id := N + 468; - Last_Entity_Attribute_Name : constant Name_Id := N + 468; - Last_Attribute_Name : constant Name_Id := N + 468; + First_Type_Attribute_Name : constant Name_Id := N + 478; + Name_Base : constant Name_Id := N + 478; + Name_Class : constant Name_Id := N + 479; + Last_Type_Attribute_Name : constant Name_Id := N + 479; + Last_Entity_Attribute_Name : constant Name_Id := N + 479; + Last_Attribute_Name : constant Name_Id := N + 479; -- Names of recognized locking policy identifiers @@ -770,10 +781,10 @@ package Snames is -- name (e.g. C for Ceiling_Locking). If new policy names are added, -- the first character must be distinct. - First_Locking_Policy_Name : constant Name_Id := N + 469; - Name_Ceiling_Locking : constant Name_Id := N + 469; - Name_Inheritance_Locking : constant Name_Id := N + 470; - Last_Locking_Policy_Name : constant Name_Id := N + 470; + First_Locking_Policy_Name : constant Name_Id := N + 480; + Name_Ceiling_Locking : constant Name_Id := N + 480; + Name_Inheritance_Locking : constant Name_Id := N + 481; + Last_Locking_Policy_Name : constant Name_Id := N + 481; -- Names of recognized queuing policy identifiers. @@ -781,10 +792,10 @@ package Snames is -- name (e.g. F for FIFO_Queuing). If new policy names are added, -- the first character must be distinct. - First_Queuing_Policy_Name : constant Name_Id := N + 471; - Name_FIFO_Queuing : constant Name_Id := N + 471; - Name_Priority_Queuing : constant Name_Id := N + 472; - Last_Queuing_Policy_Name : constant Name_Id := N + 472; + First_Queuing_Policy_Name : constant Name_Id := N + 482; + Name_FIFO_Queuing : constant Name_Id := N + 482; + Name_Priority_Queuing : constant Name_Id := N + 483; + Last_Queuing_Policy_Name : constant Name_Id := N + 483; -- Names of recognized task dispatching policy identifiers @@ -792,215 +803,215 @@ package Snames is -- name (e.g. F for FIFO_WIthinn_Priorities). If new policy names -- are added, the first character must be distinct. - First_Task_Dispatching_Policy_Name : constant Name_Id := N + 473; - Name_FIFO_Within_Priorities : constant Name_Id := N + 473; - Last_Task_Dispatching_Policy_Name : constant Name_Id := N + 473; + First_Task_Dispatching_Policy_Name : constant Name_Id := N + 484; + Name_FIFO_Within_Priorities : constant Name_Id := N + 484; + Last_Task_Dispatching_Policy_Name : constant Name_Id := N + 484; -- Names of recognized checks for pragma Suppress - First_Check_Name : constant Name_Id := N + 474; - Name_Access_Check : constant Name_Id := N + 474; - Name_Accessibility_Check : constant Name_Id := N + 475; - Name_Discriminant_Check : constant Name_Id := N + 476; - Name_Division_Check : constant Name_Id := N + 477; - Name_Elaboration_Check : constant Name_Id := N + 478; - Name_Index_Check : constant Name_Id := N + 479; - Name_Length_Check : constant Name_Id := N + 480; - Name_Overflow_Check : constant Name_Id := N + 481; - Name_Range_Check : constant Name_Id := N + 482; - Name_Storage_Check : constant Name_Id := N + 483; - Name_Tag_Check : constant Name_Id := N + 484; - Name_All_Checks : constant Name_Id := N + 485; - Last_Check_Name : constant Name_Id := N + 485; + First_Check_Name : constant Name_Id := N + 485; + Name_Access_Check : constant Name_Id := N + 485; + Name_Accessibility_Check : constant Name_Id := N + 486; + Name_Discriminant_Check : constant Name_Id := N + 487; + Name_Division_Check : constant Name_Id := N + 488; + Name_Elaboration_Check : constant Name_Id := N + 489; + Name_Index_Check : constant Name_Id := N + 490; + Name_Length_Check : constant Name_Id := N + 491; + Name_Overflow_Check : constant Name_Id := N + 492; + Name_Range_Check : constant Name_Id := N + 493; + Name_Storage_Check : constant Name_Id := N + 494; + Name_Tag_Check : constant Name_Id := N + 495; + Name_All_Checks : constant Name_Id := N + 496; + Last_Check_Name : constant Name_Id := N + 496; -- Names corresponding to reserved keywords, excluding those already -- declared in the attribute list (Access, Delta, Digits, Mod, Range). - Name_Abort : constant Name_Id := N + 486; - Name_Abs : constant Name_Id := N + 487; - Name_Accept : constant Name_Id := N + 488; - Name_And : constant Name_Id := N + 489; - Name_All : constant Name_Id := N + 490; - Name_Array : constant Name_Id := N + 491; - Name_At : constant Name_Id := N + 492; - Name_Begin : constant Name_Id := N + 493; - Name_Body : constant Name_Id := N + 494; - Name_Case : constant Name_Id := N + 495; - Name_Constant : constant Name_Id := N + 496; - Name_Declare : constant Name_Id := N + 497; - Name_Delay : constant Name_Id := N + 498; - Name_Do : constant Name_Id := N + 499; - Name_Else : constant Name_Id := N + 500; - Name_Elsif : constant Name_Id := N + 501; - Name_End : constant Name_Id := N + 502; - Name_Entry : constant Name_Id := N + 503; - Name_Exception : constant Name_Id := N + 504; - Name_Exit : constant Name_Id := N + 505; - Name_For : constant Name_Id := N + 506; - Name_Function : constant Name_Id := N + 507; - Name_Generic : constant Name_Id := N + 508; - Name_Goto : constant Name_Id := N + 509; - Name_If : constant Name_Id := N + 510; - Name_In : constant Name_Id := N + 511; - Name_Is : constant Name_Id := N + 512; - Name_Limited : constant Name_Id := N + 513; - Name_Loop : constant Name_Id := N + 514; - Name_New : constant Name_Id := N + 515; - Name_Not : constant Name_Id := N + 516; - Name_Null : constant Name_Id := N + 517; - Name_Of : constant Name_Id := N + 518; - Name_Or : constant Name_Id := N + 519; - Name_Others : constant Name_Id := N + 520; - Name_Out : constant Name_Id := N + 521; - Name_Package : constant Name_Id := N + 522; - Name_Pragma : constant Name_Id := N + 523; - Name_Private : constant Name_Id := N + 524; - Name_Procedure : constant Name_Id := N + 525; - Name_Raise : constant Name_Id := N + 526; - Name_Record : constant Name_Id := N + 527; - Name_Rem : constant Name_Id := N + 528; - Name_Renames : constant Name_Id := N + 529; - Name_Return : constant Name_Id := N + 530; - Name_Reverse : constant Name_Id := N + 531; - Name_Select : constant Name_Id := N + 532; - Name_Separate : constant Name_Id := N + 533; - Name_Subtype : constant Name_Id := N + 534; - Name_Task : constant Name_Id := N + 535; - Name_Terminate : constant Name_Id := N + 536; - Name_Then : constant Name_Id := N + 537; - Name_Type : constant Name_Id := N + 538; - Name_Use : constant Name_Id := N + 539; - Name_When : constant Name_Id := N + 540; - Name_While : constant Name_Id := N + 541; - Name_With : constant Name_Id := N + 542; - Name_Xor : constant Name_Id := N + 543; + Name_Abort : constant Name_Id := N + 497; + Name_Abs : constant Name_Id := N + 498; + Name_Accept : constant Name_Id := N + 499; + Name_And : constant Name_Id := N + 500; + Name_All : constant Name_Id := N + 501; + Name_Array : constant Name_Id := N + 502; + Name_At : constant Name_Id := N + 503; + Name_Begin : constant Name_Id := N + 504; + Name_Body : constant Name_Id := N + 505; + Name_Case : constant Name_Id := N + 506; + Name_Constant : constant Name_Id := N + 507; + Name_Declare : constant Name_Id := N + 508; + Name_Delay : constant Name_Id := N + 509; + Name_Do : constant Name_Id := N + 510; + Name_Else : constant Name_Id := N + 511; + Name_Elsif : constant Name_Id := N + 512; + Name_End : constant Name_Id := N + 513; + Name_Entry : constant Name_Id := N + 514; + Name_Exception : constant Name_Id := N + 515; + Name_Exit : constant Name_Id := N + 516; + Name_For : constant Name_Id := N + 517; + Name_Function : constant Name_Id := N + 518; + Name_Generic : constant Name_Id := N + 519; + Name_Goto : constant Name_Id := N + 520; + Name_If : constant Name_Id := N + 521; + Name_In : constant Name_Id := N + 522; + Name_Is : constant Name_Id := N + 523; + Name_Limited : constant Name_Id := N + 524; + Name_Loop : constant Name_Id := N + 525; + Name_New : constant Name_Id := N + 526; + Name_Not : constant Name_Id := N + 527; + Name_Null : constant Name_Id := N + 528; + Name_Of : constant Name_Id := N + 529; + Name_Or : constant Name_Id := N + 530; + Name_Others : constant Name_Id := N + 531; + Name_Out : constant Name_Id := N + 532; + Name_Package : constant Name_Id := N + 533; + Name_Pragma : constant Name_Id := N + 534; + Name_Private : constant Name_Id := N + 535; + Name_Procedure : constant Name_Id := N + 536; + Name_Raise : constant Name_Id := N + 537; + Name_Record : constant Name_Id := N + 538; + Name_Rem : constant Name_Id := N + 539; + Name_Renames : constant Name_Id := N + 540; + Name_Return : constant Name_Id := N + 541; + Name_Reverse : constant Name_Id := N + 542; + Name_Select : constant Name_Id := N + 543; + Name_Separate : constant Name_Id := N + 544; + Name_Subtype : constant Name_Id := N + 545; + Name_Task : constant Name_Id := N + 546; + Name_Terminate : constant Name_Id := N + 547; + Name_Then : constant Name_Id := N + 548; + Name_Type : constant Name_Id := N + 549; + Name_Use : constant Name_Id := N + 550; + Name_When : constant Name_Id := N + 551; + Name_While : constant Name_Id := N + 552; + Name_With : constant Name_Id := N + 553; + Name_Xor : constant Name_Id := N + 554; -- Names of intrinsic subprograms -- Note: Asm is missing from this list, since Asm is a legitimate -- convention name. So is To_Adress, which is a GNAT attribute. - First_Intrinsic_Name : constant Name_Id := N + 544; - Name_Divide : constant Name_Id := N + 544; - Name_Enclosing_Entity : constant Name_Id := N + 545; - Name_Exception_Information : constant Name_Id := N + 546; - Name_Exception_Message : constant Name_Id := N + 547; - Name_Exception_Name : constant Name_Id := N + 548; - Name_File : constant Name_Id := N + 549; - Name_Generic_Dispatching_Constructor : constant Name_Id := N + 550; - Name_Import_Address : constant Name_Id := N + 551; - Name_Import_Largest_Value : constant Name_Id := N + 552; - Name_Import_Value : constant Name_Id := N + 553; - Name_Is_Negative : constant Name_Id := N + 554; - Name_Line : constant Name_Id := N + 555; - Name_Rotate_Left : constant Name_Id := N + 556; - Name_Rotate_Right : constant Name_Id := N + 557; - Name_Shift_Left : constant Name_Id := N + 558; - Name_Shift_Right : constant Name_Id := N + 559; - Name_Shift_Right_Arithmetic : constant Name_Id := N + 560; - Name_Source_Location : constant Name_Id := N + 561; - Name_Unchecked_Conversion : constant Name_Id := N + 562; - Name_Unchecked_Deallocation : constant Name_Id := N + 563; - Name_To_Pointer : constant Name_Id := N + 564; - Last_Intrinsic_Name : constant Name_Id := N + 564; + First_Intrinsic_Name : constant Name_Id := N + 555; + Name_Divide : constant Name_Id := N + 555; + Name_Enclosing_Entity : constant Name_Id := N + 556; + Name_Exception_Information : constant Name_Id := N + 557; + Name_Exception_Message : constant Name_Id := N + 558; + Name_Exception_Name : constant Name_Id := N + 559; + Name_File : constant Name_Id := N + 560; + Name_Generic_Dispatching_Constructor : constant Name_Id := N + 561; + Name_Import_Address : constant Name_Id := N + 562; + Name_Import_Largest_Value : constant Name_Id := N + 563; + Name_Import_Value : constant Name_Id := N + 564; + Name_Is_Negative : constant Name_Id := N + 565; + Name_Line : constant Name_Id := N + 566; + Name_Rotate_Left : constant Name_Id := N + 567; + Name_Rotate_Right : constant Name_Id := N + 568; + Name_Shift_Left : constant Name_Id := N + 569; + Name_Shift_Right : constant Name_Id := N + 570; + Name_Shift_Right_Arithmetic : constant Name_Id := N + 571; + Name_Source_Location : constant Name_Id := N + 572; + Name_Unchecked_Conversion : constant Name_Id := N + 573; + Name_Unchecked_Deallocation : constant Name_Id := N + 574; + Name_To_Pointer : constant Name_Id := N + 575; + Last_Intrinsic_Name : constant Name_Id := N + 575; -- Reserved words used only in Ada 95 - First_95_Reserved_Word : constant Name_Id := N + 565; - Name_Abstract : constant Name_Id := N + 565; - Name_Aliased : constant Name_Id := N + 566; - Name_Protected : constant Name_Id := N + 567; - Name_Until : constant Name_Id := N + 568; - Name_Requeue : constant Name_Id := N + 569; - Name_Tagged : constant Name_Id := N + 570; - Last_95_Reserved_Word : constant Name_Id := N + 570; + First_95_Reserved_Word : constant Name_Id := N + 576; + Name_Abstract : constant Name_Id := N + 576; + Name_Aliased : constant Name_Id := N + 577; + Name_Protected : constant Name_Id := N + 578; + Name_Until : constant Name_Id := N + 579; + Name_Requeue : constant Name_Id := N + 580; + Name_Tagged : constant Name_Id := N + 581; + Last_95_Reserved_Word : constant Name_Id := N + 581; subtype Ada_95_Reserved_Words is Name_Id range First_95_Reserved_Word .. Last_95_Reserved_Word; -- Miscellaneous names used in semantic checking - Name_Raise_Exception : constant Name_Id := N + 571; + Name_Raise_Exception : constant Name_Id := N + 582; -- Additional reserved words and identifiers used in GNAT Project Files -- Note that Name_External is already previously declared - Name_Ada_Roots : constant Name_Id := N + 572; - Name_Binder : constant Name_Id := N + 573; - Name_Binder_Driver : constant Name_Id := N + 574; - Name_Body_Suffix : constant Name_Id := N + 575; - Name_Builder : constant Name_Id := N + 576; - Name_Compiler : constant Name_Id := N + 577; - Name_Compiler_Driver : constant Name_Id := N + 578; - Name_Compiler_Kind : constant Name_Id := N + 579; - Name_Compute_Dependency : constant Name_Id := N + 580; - Name_Cross_Reference : constant Name_Id := N + 581; - Name_Default_Linker : constant Name_Id := N + 582; - Name_Default_Switches : constant Name_Id := N + 583; - Name_Dependency_Option : constant Name_Id := N + 584; - Name_Exec_Dir : constant Name_Id := N + 585; - Name_Executable : constant Name_Id := N + 586; - Name_Executable_Suffix : constant Name_Id := N + 587; - Name_Extends : constant Name_Id := N + 588; - Name_Externally_Built : constant Name_Id := N + 589; - Name_Finder : constant Name_Id := N + 590; - Name_Global_Configuration_Pragmas : constant Name_Id := N + 591; - Name_Gnatls : constant Name_Id := N + 592; - Name_Gnatstub : constant Name_Id := N + 593; - Name_Implementation : constant Name_Id := N + 594; - Name_Implementation_Exceptions : constant Name_Id := N + 595; - Name_Implementation_Suffix : constant Name_Id := N + 596; - Name_Include_Option : constant Name_Id := N + 597; - Name_Language_Processing : constant Name_Id := N + 598; - Name_Languages : constant Name_Id := N + 599; - Name_Library_Dir : constant Name_Id := N + 600; - Name_Library_Auto_Init : constant Name_Id := N + 601; - Name_Library_GCC : constant Name_Id := N + 602; - Name_Library_Interface : constant Name_Id := N + 603; - Name_Library_Kind : constant Name_Id := N + 604; - Name_Library_Name : constant Name_Id := N + 605; - Name_Library_Options : constant Name_Id := N + 606; - Name_Library_Reference_Symbol_File : constant Name_Id := N + 607; - Name_Library_Src_Dir : constant Name_Id := N + 608; - Name_Library_Symbol_File : constant Name_Id := N + 609; - Name_Library_Symbol_Policy : constant Name_Id := N + 610; - Name_Library_Version : constant Name_Id := N + 611; - Name_Linker : constant Name_Id := N + 612; - Name_Local_Configuration_Pragmas : constant Name_Id := N + 613; - Name_Locally_Removed_Files : constant Name_Id := N + 614; - Name_Metrics : constant Name_Id := N + 615; - Name_Naming : constant Name_Id := N + 616; - Name_Object_Dir : constant Name_Id := N + 617; - Name_Pretty_Printer : constant Name_Id := N + 618; - Name_Project : constant Name_Id := N + 619; - Name_Separate_Suffix : constant Name_Id := N + 620; - Name_Source_Dirs : constant Name_Id := N + 621; - Name_Source_Files : constant Name_Id := N + 622; - Name_Source_List_File : constant Name_Id := N + 623; - Name_Spec : constant Name_Id := N + 624; - Name_Spec_Suffix : constant Name_Id := N + 625; - Name_Specification : constant Name_Id := N + 626; - Name_Specification_Exceptions : constant Name_Id := N + 627; - Name_Specification_Suffix : constant Name_Id := N + 628; - Name_Switches : constant Name_Id := N + 629; + Name_Ada_Roots : constant Name_Id := N + 583; + Name_Binder : constant Name_Id := N + 584; + Name_Binder_Driver : constant Name_Id := N + 585; + Name_Body_Suffix : constant Name_Id := N + 586; + Name_Builder : constant Name_Id := N + 587; + Name_Compiler : constant Name_Id := N + 588; + Name_Compiler_Driver : constant Name_Id := N + 589; + Name_Compiler_Kind : constant Name_Id := N + 590; + Name_Compute_Dependency : constant Name_Id := N + 591; + Name_Cross_Reference : constant Name_Id := N + 592; + Name_Default_Linker : constant Name_Id := N + 593; + Name_Default_Switches : constant Name_Id := N + 594; + Name_Dependency_Option : constant Name_Id := N + 595; + Name_Exec_Dir : constant Name_Id := N + 596; + Name_Executable : constant Name_Id := N + 597; + Name_Executable_Suffix : constant Name_Id := N + 598; + Name_Extends : constant Name_Id := N + 599; + Name_Externally_Built : constant Name_Id := N + 600; + Name_Finder : constant Name_Id := N + 601; + Name_Global_Configuration_Pragmas : constant Name_Id := N + 602; + Name_Gnatls : constant Name_Id := N + 603; + Name_Gnatstub : constant Name_Id := N + 604; + Name_Implementation : constant Name_Id := N + 605; + Name_Implementation_Exceptions : constant Name_Id := N + 606; + Name_Implementation_Suffix : constant Name_Id := N + 607; + Name_Include_Option : constant Name_Id := N + 608; + Name_Language_Processing : constant Name_Id := N + 609; + Name_Languages : constant Name_Id := N + 610; + Name_Library_Dir : constant Name_Id := N + 611; + Name_Library_Auto_Init : constant Name_Id := N + 612; + Name_Library_GCC : constant Name_Id := N + 613; + Name_Library_Interface : constant Name_Id := N + 614; + Name_Library_Kind : constant Name_Id := N + 615; + Name_Library_Name : constant Name_Id := N + 616; + Name_Library_Options : constant Name_Id := N + 617; + Name_Library_Reference_Symbol_File : constant Name_Id := N + 618; + Name_Library_Src_Dir : constant Name_Id := N + 619; + Name_Library_Symbol_File : constant Name_Id := N + 620; + Name_Library_Symbol_Policy : constant Name_Id := N + 621; + Name_Library_Version : constant Name_Id := N + 622; + Name_Linker : constant Name_Id := N + 623; + Name_Local_Configuration_Pragmas : constant Name_Id := N + 624; + Name_Locally_Removed_Files : constant Name_Id := N + 625; + Name_Metrics : constant Name_Id := N + 626; + Name_Naming : constant Name_Id := N + 627; + Name_Object_Dir : constant Name_Id := N + 628; + Name_Pretty_Printer : constant Name_Id := N + 629; + Name_Project : constant Name_Id := N + 630; + Name_Separate_Suffix : constant Name_Id := N + 631; + Name_Source_Dirs : constant Name_Id := N + 632; + Name_Source_Files : constant Name_Id := N + 633; + Name_Source_List_File : constant Name_Id := N + 634; + Name_Spec : constant Name_Id := N + 635; + Name_Spec_Suffix : constant Name_Id := N + 636; + Name_Specification : constant Name_Id := N + 637; + Name_Specification_Exceptions : constant Name_Id := N + 638; + Name_Specification_Suffix : constant Name_Id := N + 639; + Name_Switches : constant Name_Id := N + 640; -- Other miscellaneous names used in front end - Name_Unaligned_Valid : constant Name_Id := N + 630; + Name_Unaligned_Valid : constant Name_Id := N + 641; -- ---------------------------------------------------------------- - First_2005_Reserved_Word : constant Name_Id := N + 631; - Name_Interface : constant Name_Id := N + 631; - Name_Overriding : constant Name_Id := N + 632; - Name_Synchronized : constant Name_Id := N + 633; - Last_2005_Reserved_Word : constant Name_Id := N + 633; + First_2005_Reserved_Word : constant Name_Id := N + 642; + Name_Interface : constant Name_Id := N + 642; + Name_Overriding : constant Name_Id := N + 643; + Name_Synchronized : constant Name_Id := N + 644; + Last_2005_Reserved_Word : constant Name_Id := N + 644; subtype Ada_2005_Reserved_Words is Name_Id range First_2005_Reserved_Word .. Last_2005_Reserved_Word; -- Mark last defined name for consistency check in Snames body - Last_Predefined_Name : constant Name_Id := N + 633; + Last_Predefined_Name : constant Name_Id := N + 644; subtype Any_Operator_Name is Name_Id range First_Operator_Name .. Last_Operator_Name; @@ -1212,6 +1223,7 @@ package Snames is Pragma_Ada_83, Pragma_Ada_95, Pragma_Ada_05, + Pragma_Assertion_Policy, Pragma_C_Pass_By_Copy, Pragma_Compile_Time_Warning, Pragma_Component_Alignment, @@ -1234,8 +1246,7 @@ package Snames is Pragma_No_Strict_Aliasing, Pragma_Normalize_Scalars, Pragma_Polling, - Pragma_Persistent_Data, - Pragma_Persistent_Object, + Pragma_Persistent_BSS, Pragma_Profile, Pragma_Profile_Warnings, Pragma_Propagate_Exceptions, @@ -1323,9 +1334,11 @@ package Snames is Pragma_Page, Pragma_Passive, Pragma_Preelaborate, + Pragma_Preelaborate_05, Pragma_Priority, Pragma_Psect_Object, Pragma_Pure, + Pragma_Pure_05, Pragma_Pure_Function, Pragma_Remote_Call_Interface, Pragma_Remote_Types, diff --git a/gcc/ada/snames.h b/gcc/ada/snames.h index e7ecb5d8d35..7b62805bf10 100644 --- a/gcc/ada/snames.h +++ b/gcc/ada/snames.h @@ -25,7 +25,7 @@ ****************************************************************************/ /* This is the C file that corresponds to the Ada package specification - Snames. It was created manually from the file snames.ads. */ + Snames. It was created automatically from the file snames.ads. */ /* Name_Id values */ @@ -45,16 +45,16 @@ extern unsigned char Get_Attribute_Id (int); /* Define the numeric values for attributes. */ -#define Attr_Abort_Signal 0 -#define Attr_Access 1 -#define Attr_Address 2 -#define Attr_Address_Size 3 -#define Attr_Aft 4 -#define Attr_Alignment 5 -#define Attr_Asm_Input 6 -#define Attr_Asm_Output 7 -#define Attr_AST_Entry 8 -#define Attr_Bit 9 +#define Attr_Abort_Signal 0 +#define Attr_Access 1 +#define Attr_Address 2 +#define Attr_Address_Size 3 +#define Attr_Aft 4 +#define Attr_Alignment 5 +#define Attr_Asm_Input 6 +#define Attr_Asm_Output 7 +#define Attr_AST_Entry 8 +#define Attr_Bit 9 #define Attr_Bit_Order 10 #define Attr_Bit_Position 11 #define Attr_Body_Version 12 @@ -145,45 +145,56 @@ extern unsigned char Get_Attribute_Id (int); #define Attr_Val 97 #define Attr_Valid 98 #define Attr_Value_Size 99 -#define Attr_Version 100 -#define Attr_Wchar_T_Size 101 -#define Attr_Wide_Wide_Width 102 -#define Attr_Wide_Width 103 -#define Attr_Width 104 -#define Attr_Word_Size 105 +#define Attr_Version 100 +#define Attr_Wchar_T_Size 101 +#define Attr_Wide_Wide_Width 102 +#define Attr_Wide_Width 103 +#define Attr_Width 104 +#define Attr_Word_Size 105 +#define Attr_Adjacent 106 +#define Attr_Ceiling 107 +#define Attr_Copy_Sign 108 +#define Attr_Floor 109 +#define Attr_Fraction 110 +#define Attr_Image 111 +#define Attr_Input 112 +#define Attr_Machine 113 +#define Attr_Max 114 +#define Attr_Min 115 +#define Attr_Model 116 +#define Attr_Pred 117 +#define Attr_Remainder 118 +#define Attr_Rounding 119 +#define Attr_Succ 120 +#define Attr_Truncation 121 +#define Attr_Value 122 +#define Attr_Wide_Image 123 +#define Attr_Wide_Wide_Image 124 +#define Attr_Wide_Value 125 +#define Attr_Wide_Wide_Value 126 +#define Attr_Output 127 +#define Attr_Read 128 +#define Attr_Write 129 +#define Attr_Elab_Body 130 +#define Attr_Elab_Spec 131 +#define Attr_Storage_Pool 132 +#define Attr_Base 133 +#define Attr_Class 134 -#define Attr_Adjacent 106 -#define Attr_Ceiling 107 -#define Attr_Copy_Sign 108 -#define Attr_Floor 109 -#define Attr_Fraction 110 -#define Attr_Image 111 -#define Attr_Input 112 -#define Attr_Machine 113 -#define Attr_Max 114 -#define Attr_Min 115 -#define Attr_Model 116 -#define Attr_Pred 117 -#define Attr_Remainder 118 -#define Attr_Rounding 119 -#define Attr_Succ 120 -#define Attr_Truncation 121 -#define Attr_Value 122 -#define Attr_Wide_Image 123 -#define Attr_Wide_Wide_Image 124 -#define Attr_Wide_Value 125 -#define Attr_Wide_Wide_Value 126 - -#define Attr_Output 127 -#define Attr_Read 128 -#define Attr_Write 129 - -#define Attr_Elab_Body 130 -#define Attr_Elab_Spec 131 -#define Attr_Storage_Pool 132 +/* Define the numeric values for the conventions. */ -#define Attr_Base 133 -#define Attr_Class 134 +#define Convention_Ada 0 +#define Convention_Intrinsic 1 +#define Convention_Entry 2 +#define Convention_Protected 3 +#define Convention_Assembler 4 +#define Convention_C 5 +#define Convention_COBOL 6 +#define Convention_CPP 7 +#define Convention_Fortran 8 +#define Convention_Java 9 +#define Convention_Stdcall 10 +#define Convention_Stubbed 11 /* Define the function to check if a Name_Id value is a valid pragma */ @@ -200,172 +211,151 @@ extern unsigned char Get_Pragma_Id (int); /* Define the numeric values for the pragmas. */ -/* Configuration pragmas first */ - #define Pragma_Ada_83 0 #define Pragma_Ada_95 1 #define Pragma_Ada_05 2 -#define Pragma_C_Pass_By_Copy 3 -#define Pragma_Compile_Time_Warning 4 -#define Pragma_Component_Alignment 5 -#define Pragma_Convention_Identifier 6 -#define Pragma_Detect_Blocking 7 -#define Pragma_Discard_Names 8 -#define Pragma_Elaboration_Checking 9 -#define Pragma_Eliminate 10 -#define Pragma_Explicit_Overriding 11 -#define Pragma_Extend_System 12 -#define Pragma_Extensions_Allowed 13 -#define Pragma_External_Name_Casing 14 -#define Pragma_Float_Representation 15 -#define Pragma_Initialize_Scalars 16 -#define Pragma_Interrupt_State 17 -#define Pragma_License 18 -#define Pragma_Locking_Policy 19 -#define Pragma_Long_Float 20 -#define Pragma_No_Run_Time 21 -#define Pragma_No_Strict_Aliasing 22 -#define Pragma_Normalize_Scalars 23 -#define Pragma_Polling 24 -#define Pragma_Persistent_Data 25 -#define Pragma_Persistent_Object 26 -#define Pragma_Profile 27 -#define Pragma_Profile_Warnings 28 -#define Pragma_Propagate_Exceptions 29 -#define Pragma_Queuing_Policy 30 -#define Pragma_Ravenscar 31 -#define Pragma_Restricted_Run_Time 32 -#define Pragma_Restrictions 33 -#define Pragma_Restriction_Warnings 34 -#define Pragma_Reviewable 35 -#define Pragma_Source_File_Name 36 -#define Pragma_Source_File_Name_Project 37 -#define Pragma_Style_Checks 38 -#define Pragma_Suppress 39 -#define Pragma_Suppress_Exception_Locations 40 -#define Pragma_Task_Dispatching_Policy 41 -#define Pragma_Universal_Data 42 -#define Pragma_Unsuppress 43 -#define Pragma_Use_VADS_Size 44 -#define Pragma_Validity_Checks 45 -#define Pragma_Warnings 46 - -/* Remaining pragmas */ - -#define Pragma_Abort_Defer 47 -#define Pragma_All_Calls_Remote 48 -#define Pragma_Annotate 49 -#define Pragma_Assert 50 -#define Pragma_Asynchronous 51 -#define Pragma_Atomic 52 -#define Pragma_Atomic_Components 53 -#define Pragma_Attach_Handler 54 -#define Pragma_Comment 55 -#define Pragma_Common_Object 56 -#define Pragma_Complex_Representation 57 -#define Pragma_Controlled 58 -#define Pragma_Convention 59 -#define Pragma_CPP_Class 60 -#define Pragma_CPP_Constructor 61 -#define Pragma_CPP_Virtual 62 -#define Pragma_CPP_Vtable 63 -#define Pragma_Debug 64 -#define Pragma_Elaborate 65 -#define Pragma_Elaborate_All 66 -#define Pragma_Elaborate_Body 67 -#define Pragma_Export 68 -#define Pragma_Export_Exception 69 -#define Pragma_Export_Function 70 -#define Pragma_Export_Object 71 -#define Pragma_Export_Procedure 72 -#define Pragma_Export_Value 73 -#define Pragma_Export_Valued_Procedure 74 -#define Pragma_External 75 -#define Pragma_Finalize_Storage_Only 76 -#define Pragma_Ident 77 -#define Pragma_Import 78 -#define Pragma_Import_Exception 79 -#define Pragma_Import_Function 80 -#define Pragma_Import_Object 81 -#define Pragma_Import_Procedure 82 -#define Pragma_Import_Valued_Procedure 83 -#define Pragma_Inline 84 -#define Pragma_Inline_Always 85 -#define Pragma_Inline_Generic 86 -#define Pragma_Inspection_Point 87 -#define Pragma_Interface_Name 88 -#define Pragma_Interrupt_Handler 89 -#define Pragma_Interrupt_Priority 90 -#define Pragma_Java_Constructor 91 -#define Pragma_Java_Interface 92 -#define Pragma_Keep_Names 93 -#define Pragma_Link_With 94 -#define Pragma_Linker_Alias 95 -#define Pragma_Linker_Options 96 -#define Pragma_Linker_Section 97 -#define Pragma_List 98 -#define Pragma_Machine_Attribute 99 -#define Pragma_Main 100 -#define Pragma_Main_Storage 101 -#define Pragma_Memory_Size 102 -#define Pragma_No_Return 103 -#define Pragma_Obsolescent 104 -#define Pragma_Optimize 105 -#define Pragma_Optional_Overriding 106 -#define Pragma_Pack 107 -#define Pragma_Page 108 -#define Pragma_Passive 109 -#define Pragma_Preelaborate 110 -#define Pragma_Priority 111 -#define Pragma_Psect_Object 112 -#define Pragma_Pure 113 -#define Pragma_Pure_Function 114 -#define Pragma_Remote_Call_Interface 115 -#define Pragma_Remote_Types 116 -#define Pragma_Share_Generic 117 -#define Pragma_Shared 118 -#define Pragma_Shared_Passive 119 -#define Pragma_Source_Reference 120 -#define Pragma_Stream_Convert 121 -#define Pragma_Subtitle 122 -#define Pragma_Suppress_All 123 -#define Pragma_Suppress_Debug_Info 124 -#define Pragma_Suppress_Initialization 125 -#define Pragma_System_Name 126 -#define Pragma_Task_Info 127 -#define Pragma_Task_Name 128 -#define Pragma_Task_Storage 129 -#define Pragma_Thread_Body 130 -#define Pragma_Time_Slice 131 -#define Pragma_Title 132 -#define Pragma_Unchecked_Union 133 -#define Pragma_Unimplemented_Unit 134 -#define Pragma_Unreferenced 135 -#define Pragma_Unreserve_All_Interrupts 136 -#define Pragma_Volatile 137 -#define Pragma_Volatile_Components 138 -#define Pragma_Weak_External 139 - -/* The following are deliberately out of alphabetical order, see Snames */ - -#define Pragma_AST_Entry 140 -#define Pragma_Interface 141 -#define Pragma_Storage_Size 142 -#define Pragma_Storage_Unit 143 - -/* Define the numeric values for the conventions. */ - -#define Convention_Ada 0 -#define Convention_Intrinsic 1 -#define Convention_Entry 2 -#define Convention_Protected 3 -#define Convention_Assembler 4 -#define Convention_C 5 -#define Convention_COBOL 6 -#define Convention_CPP 7 -#define Convention_Fortran 8 -#define Convention_Java 9 -#define Convention_Stdcall 10 -#define Convention_Stubbed 11 +#define Pragma_Assertion_Policy 3 +#define Pragma_C_Pass_By_Copy 4 +#define Pragma_Compile_Time_Warning 5 +#define Pragma_Component_Alignment 6 +#define Pragma_Convention_Identifier 7 +#define Pragma_Detect_Blocking 8 +#define Pragma_Discard_Names 9 +#define Pragma_Elaboration_Checks 10 +#define Pragma_Eliminate 11 +#define Pragma_Explicit_Overriding 12 +#define Pragma_Extend_System 13 +#define Pragma_Extensions_Allowed 14 +#define Pragma_External_Name_Casing 15 +#define Pragma_Float_Representation 16 +#define Pragma_Initialize_Scalars 17 +#define Pragma_Interrupt_State 18 +#define Pragma_License 19 +#define Pragma_Locking_Policy 20 +#define Pragma_Long_Float 21 +#define Pragma_No_Run_Time 22 +#define Pragma_No_Strict_Aliasing 23 +#define Pragma_Normalize_Scalars 24 +#define Pragma_Polling 25 +#define Pragma_Persistent_BSS 26 +#define Pragma_Profile 27 +#define Pragma_Profile_Warnings 28 +#define Pragma_Propagate_Exceptions 29 +#define Pragma_Queuing_Policy 30 +#define Pragma_Ravenscar 31 +#define Pragma_Restricted_Run_Time 32 +#define Pragma_Restrictions 33 +#define Pragma_Restriction_Warnings 34 +#define Pragma_Reviewable 35 +#define Pragma_Source_File_Name 36 +#define Pragma_Source_File_Name_Project 37 +#define Pragma_Style_Checks 38 +#define Pragma_Suppress 39 +#define Pragma_Suppress_Exception_Locations 40 +#define Pragma_Task_Dispatching_Policy 41 +#define Pragma_Universal_Data 42 +#define Pragma_Unsuppress 43 +#define Pragma_Use_VADS_Size 44 +#define Pragma_Validity_Checks 45 +#define Pragma_Warnings 46 +#define Pragma_Abort_Defer 47 +#define Pragma_All_Calls_Remote 48 +#define Pragma_Annotate 49 +#define Pragma_Assert 50 +#define Pragma_Asynchronous 51 +#define Pragma_Atomic 52 +#define Pragma_Atomic_Components 53 +#define Pragma_Attach_Handler 54 +#define Pragma_Comment 55 +#define Pragma_Common_Object 56 +#define Pragma_Complex_Representation 57 +#define Pragma_Controlled 58 +#define Pragma_Convention 59 +#define Pragma_CPP_Class 60 +#define Pragma_CPP_Constructor 61 +#define Pragma_CPP_Virtual 62 +#define Pragma_CPP_Vtable 63 +#define Pragma_Debug 64 +#define Pragma_Elaborate 65 +#define Pragma_Elaborate_All 66 +#define Pragma_Elaborate_Body 67 +#define Pragma_Export 68 +#define Pragma_Export_Exception 69 +#define Pragma_Export_Function 70 +#define Pragma_Export_Object 71 +#define Pragma_Export_Procedure 72 +#define Pragma_Export_Value 73 +#define Pragma_Export_Valued_Procedure 74 +#define Pragma_External 75 +#define Pragma_Finalize_Storage_Only 76 +#define Pragma_Ident 77 +#define Pragma_Import 78 +#define Pragma_Import_Exception 79 +#define Pragma_Import_Function 80 +#define Pragma_Import_Object 81 +#define Pragma_Import_Procedure 82 +#define Pragma_Import_Valued_Procedure 83 +#define Pragma_Inline 84 +#define Pragma_Inline_Always 85 +#define Pragma_Inline_Generic 86 +#define Pragma_Inspection_Point 87 +#define Pragma_Interface_Name 88 +#define Pragma_Interrupt_Handler 89 +#define Pragma_Interrupt_Priority 90 +#define Pragma_Java_Constructor 91 +#define Pragma_Java_Interface 92 +#define Pragma_Keep_Names 93 +#define Pragma_Link_With 94 +#define Pragma_Linker_Alias 95 +#define Pragma_Linker_Options 96 +#define Pragma_Linker_Section 97 +#define Pragma_List 98 +#define Pragma_Machine_Attribute 99 +#define Pragma_Main 100 +#define Pragma_Main_Storage 101 +#define Pragma_Memory_Size 102 +#define Pragma_No_Return 103 +#define Pragma_Obsolescent 104 +#define Pragma_Optimize 105 +#define Pragma_Optional_Overriding 106 +#define Pragma_Pack 107 +#define Pragma_Page 108 +#define Pragma_Passive 109 +#define Pragma_Preelaborate 110 +#define Pragma_Preelaborate_05 111 +#define Pragma_Priority 112 +#define Pragma_Psect_Object 113 +#define Pragma_Pure 114 +#define Pragma_Pure_05 115 +#define Pragma_Pure_Function 116 +#define Pragma_Remote_Call_Interface 117 +#define Pragma_Remote_Types 118 +#define Pragma_Share_Generic 119 +#define Pragma_Shared 120 +#define Pragma_Shared_Passive 121 +#define Pragma_Source_Reference 122 +#define Pragma_Stream_Convert 123 +#define Pragma_Subtitle 124 +#define Pragma_Suppress_All 125 +#define Pragma_Suppress_Debug_Info 126 +#define Pragma_Suppress_Initialization 127 +#define Pragma_System_Name 128 +#define Pragma_Task_Info 129 +#define Pragma_Task_Name 130 +#define Pragma_Task_Storage 131 +#define Pragma_Thread_Body 132 +#define Pragma_Time_Slice 133 +#define Pragma_Title 134 +#define Pragma_Unchecked_Union 135 +#define Pragma_Unimplemented_Unit 136 +#define Pragma_Unreferenced 137 +#define Pragma_Unreserve_All_Interrupts 138 +#define Pragma_Volatile 139 +#define Pragma_Volatile_Components 140 +#define Pragma_Weak_External 141 +#define Pragma_AST_Entry 142 +#define Pragma_Interface 143 +#define Pragma_Storage_Size 144 +#define Pragma_Storage_Unit 145 /* End of snames.h (C version of Snames package spec) */ diff --git a/gcc/ada/tbuild.adb b/gcc/ada/tbuild.adb index eed8e99ce97..b3afd564db5 100644 --- a/gcc/ada/tbuild.adb +++ b/gcc/ada/tbuild.adb @@ -256,6 +256,37 @@ package body Tbuild is return Make_Integer_Literal (Loc, UI_From_Int (Intval)); end Make_Integer_Literal; + -------------------------------- + -- Make_Linker_Section_Pragma -- + -------------------------------- + + function Make_Linker_Section_Pragma + (Ent : Entity_Id; + Loc : Source_Ptr; + Sec : String) return Node_Id + is + LS : Node_Id; + + begin + LS := + Make_Pragma + (Loc, + Name_Linker_Section, + New_List + (Make_Pragma_Argument_Association + (Sloc => Loc, + Expression => New_Occurrence_Of (Ent, Loc)), + Make_Pragma_Argument_Association + (Sloc => Loc, + Expression => + Make_String_Literal + (Sloc => Loc, + Strval => Sec)))); + + Set_Has_Gigi_Rep_Item (Ent); + return LS; + end Make_Linker_Section_Pragma; + --------------------------------- -- Make_Raise_Constraint_Error -- --------------------------------- diff --git a/gcc/ada/tbuild.ads b/gcc/ada/tbuild.ads index 3cd0fcc7111..483496678df 100644 --- a/gcc/ada/tbuild.ads +++ b/gcc/ada/tbuild.ads @@ -118,6 +118,13 @@ package Tbuild is pragma Inline (Make_Integer_Literal); -- A convenient form of Make_Integer_Literal taking Int instead of Uint + function Make_Linker_Section_Pragma + (Ent : Entity_Id; + Loc : Source_Ptr; + Sec : String) return Node_Id; + -- Construct a Linker_Section pragma for entity Ent, using string Sec as + -- the section name. Loc is the Sloc value to use in building the pragma. + function Make_Raise_Constraint_Error (Sloc : Source_Ptr; Condition : Node_Id := Empty; -- 2.11.0