OSDN Git Service

2005-06-14 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 16 Jun 2005 08:46:36 +0000 (08:46 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 16 Jun 2005 08:46:36 +0000 (08:46 +0000)
    Ed Schonberg  <schonberg@adacore.com>

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
gcc/ada/snames.adb
gcc/ada/snames.ads
gcc/ada/snames.h
gcc/ada/tbuild.adb
gcc/ada/tbuild.ads

index a65c9ca..2c11ca3 100644 (file)
@@ -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,
index 2379846..4894f54 100644 (file)
@@ -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#" &
index 4c8d254..aa0c8d4 100644 (file)
@@ -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,
index e7ecb5d..7b62805 100644 (file)
@@ -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) */
index eed8e99..b3afd56 100644 (file)
@@ -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 --
    ---------------------------------
index 3cd0fcc..4834966 100644 (file)
@@ -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;