2005-09-01 Robert Dewar <dewar@adacore.com>

	* opt.ads, opt.adb: Add new switches Debug_Pragmas_Enabled[_Config]

	* par-prag.adb: Implement new pragma Debug_Policy

	* sem_prag.adb Implement new pragma Debug_Policy
	(Analyze_Pragma, case Pack): do not let pragma Pack override an explicit
	Component_Size attribute specification. Give warning for ignored pragma
	Pack.

	* snames.h, snames.ads, snames.adb: Introduce entries in
	Preset_Names for Name_Disp_Asynchronous_Select,
	Name_Disp_Conditional_Select, Name_Disp_Get_Prim_Op_Kind,
	Name_Disp_Timed_Select.
	New pragma Debug_Policy

	* switch-c.adb (Scan_Front_End_Switches): Set Ada 2005 mode
	explicitly.
	Switch -gnata also sets Debug_Pragmas_Enabled

	* sem.adb, par.adb (Set_Opt_Config_Switch): Add parameter Main_Unit to
	handle an explicit -gnata when compiling predefined files.

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

diff --git a/gcc/ada/opt.adb b/gcc/ada/opt.adb
index 3fba785..576c0d8 100644 (file)
--- a/gcc/ada/opt.adb
+++ b/gcc/ada/opt.adb
@@ -31,7 +31,6 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
-with Gnatvsn; use Gnatvsn;
 with System;  use System;
 with Tree_IO; use Tree_IO;
 
@@ -52,6 +51,7 @@ package body Opt is
       Ada_Version_Config                    := Ada_Version;
       Ada_Version_Explicit_Config           := Ada_Version_Explicit;
       Assertions_Enabled_Config             := Assertions_Enabled;
+      Debug_Pragmas_Enabled_Config          := Debug_Pragmas_Enabled;
       Dynamic_Elaboration_Checks_Config     := Dynamic_Elaboration_Checks;
       Exception_Locations_Suppressed_Config := Exception_Locations_Suppressed;
       Extensions_Allowed_Config             := Extensions_Allowed;
@@ -71,6 +71,7 @@ package body Opt is
       Ada_Version                    := Save.Ada_Version;
       Ada_Version_Explicit           := Save.Ada_Version_Explicit;
       Assertions_Enabled             := Save.Assertions_Enabled;
+      Debug_Pragmas_Enabled          := Save.Debug_Pragmas_Enabled;
       Dynamic_Elaboration_Checks     := Save.Dynamic_Elaboration_Checks;
       Exception_Locations_Suppressed := Save.Exception_Locations_Suppressed;
       Extensions_Allowed             := Save.Extensions_Allowed;
@@ -90,6 +91,7 @@ package body Opt is
       Save.Ada_Version                    := Ada_Version;
       Save.Ada_Version_Explicit           := Ada_Version_Explicit;
       Save.Assertions_Enabled             := Assertions_Enabled;
+      Save.Debug_Pragmas_Enabled          := Debug_Pragmas_Enabled;
       Save.Dynamic_Elaboration_Checks     := Dynamic_Elaboration_Checks;
       Save.Exception_Locations_Suppressed := Exception_Locations_Suppressed;
       Save.Extensions_Allowed             := Extensions_Allowed;
@@ -104,11 +106,15 @@ package body Opt is
    -- Set_Opt_Config_Switches --
    -----------------------------
 
-   procedure Set_Opt_Config_Switches (Internal_Unit : Boolean) is
+   procedure Set_Opt_Config_Switches
+     (Internal_Unit : Boolean;
+      Main_Unit     : Boolean)
+   is
    begin
+      --  Case of internal unit
+
       if Internal_Unit then
          Ada_Version                := Ada_Version_Runtime;
-         Assertions_Enabled         := False;
          Dynamic_Elaboration_Checks := False;
          Extensions_Allowed         := True;
          External_Name_Exp_Casing   := As_Is;
@@ -116,9 +122,23 @@ package body Opt is
          Persistent_BSS_Mode        := False;
          Use_VADS_Size              := False;
 
+         --  For an internal unit, assertions/debug pragmas are off unless this
+         --  is the main unit and they were explicitly enabled.
+
+         if Main_Unit then
+            Assertions_Enabled := Assertions_Enabled_Config;
+            Debug_Pragmas_Enabled := Debug_Pragmas_Enabled_Config;
+         else
+            Assertions_Enabled := False;
+            Debug_Pragmas_Enabled := False;
+         end if;
+
+      --  Case of non-internal unit
+
       else
          Ada_Version                := Ada_Version_Config;
          Assertions_Enabled         := Assertions_Enabled_Config;
+         Debug_Pragmas_Enabled      := Debug_Pragmas_Enabled_Config;
          Dynamic_Elaboration_Checks := Dynamic_Elaboration_Checks_Config;
          Extensions_Allowed         := Extensions_Allowed_Config;
          External_Name_Exp_Casing   := External_Name_Exp_Casing_Config;
@@ -158,6 +178,7 @@ package body Opt is
       Tree_Read_Int  (Assertions_Enabled_Config_Val);
       Tree_Read_Bool (All_Errors_Mode);
       Tree_Read_Bool (Assertions_Enabled);
+      Tree_Read_Bool (Debug_Pragmas_Enabled);
       Tree_Read_Bool (Enable_Overflow_Checks);
       Tree_Read_Bool (Full_List);
 
@@ -226,6 +247,7 @@ package body Opt is
       Tree_Write_Int  (Boolean'Pos (Assertions_Enabled_Config));
       Tree_Write_Bool (All_Errors_Mode);
       Tree_Write_Bool (Assertions_Enabled);
+      Tree_Write_Bool (Debug_Pragmas_Enabled);
       Tree_Write_Bool (Enable_Overflow_Checks);
       Tree_Write_Bool (Full_List);
       Tree_Write_Int  (Int (Version_String'Length));

diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index a4de938..d0b1d43 100644 (file)
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -272,6 +272,10 @@ package Opt is
    --  Set to True (-C switch) to indicate that gnatmake will invoke
    --  the compiler with a mapping file (-gnatem compiler switch).
 
+   Debug_Pragmas_Enabled : Boolean := False;
+   --  GNAT
+   --  Enable debug statements from pragma Debug
+
    subtype Debug_Level_Value is Nat range 0 .. 3;
    Debugger_Level : Debug_Level_Value := 0;
    --  GNATBIND
@@ -367,31 +371,19 @@ package Opt is
       --  the code generator). AT END handlers are converted into
       --  exception handlers by the front end in this mode.
 
-      Front_End_ZCX_Exceptions,
-      --  Exceptions use the zero cost table mechanism with explicit
-      --  tables and exception regions generated by the front end.
-      --  AT END handlers are converted into exception handlers by
-      --  the front end in this mode.
-
-      Back_End_ZCX_Exceptions);
+      Back_End_Exceptions);
       --  Exceptions are handled by the back end. The front end simply
       --  generates the handlers as they appear in the source, and AT
       --  END handlers are left untouched (they are not converted into
-      --  exception handlers when operating in this mode. Note that the
-      --  name includes ZCX, since the expectation is that the back end
-      --  mechanism will in fact be a ZCX approach, but nothing in the
-      --  compiler depends on this, so for example if GNAT is run with
-      --  a version of GCC configured for setjmp/longjmp exception handling,
-      --  then everything will work fine.
+      --  exception handlers when operating in this mode.
    pragma Convention (C, Exception_Mechanism_Type);
 
    Exception_Mechanism : Exception_Mechanism_Type :=
                            Front_End_Setjmp_Longjmp_Exceptions;
    --  GNAT
    --  Set to the appropriate value depending on the default as given in
-   --  system.ads (ZCX_By_Default, GCC_ZCX_Support, Front_End_ZCX_Support) and
-   --  the use of -gnatL -gnatZ (and -gnatdX). The C convention is there to
-   --  make this variable accessible to gigi.
+   --  system.ads (ZCX_By_Default, GCC_ZCX_Support).
+   --  The C convention is there to make this variable accessible to gigi.
 
    Exception_Tracebacks : Boolean := False;
    --  GNATBIND
@@ -1122,14 +1114,6 @@ package Opt is
    --  GNAT
    --  Set if cross-referencing is enabled (i.e. xref info in ALI files)
 
-   Zero_Cost_Exceptions_Val : Boolean;
-   Zero_Cost_Exceptions_Set : Boolean := False;
-   --  GNAT
-   --  These values are to record the setting of the zero cost exception
-   --  handling mode set by argument switches (-gnatZ/-gnatL). If the value is
-   --  set by one of these switches, then Zero_Cost_Exceptions_Set is set to
-   --  True, and Zero_Cost_Exceptions_Val indicates the setting.
-
    ----------------------------
    -- Configuration Settings --
    ----------------------------
@@ -1160,6 +1144,12 @@ package Opt is
    --  mode, as possibly set by the command line switch -gnata, and possibly
    --  modified by the use of the configuration pragma Assertion_Policy.
 
+   Debug_Pragmas_Enabled_Config : Boolean;
+   --  GNAT
+   --  This is the value of the configuration switch for debug pragmas enabled
+   --  mode, as possibly set by the command line switch -gnata and possibly
+   --  modified by the use of the configuration pragma Debug_Policy.
+
    Dynamic_Elaboration_Checks_Config : Boolean := False;
    --  GNAT
    --  Set True for dynamic elaboration checking mode, as set by the -gnatE
@@ -1234,10 +1224,16 @@ package Opt is
    --  initialized from the above Config values, and then resets these switches
    --  according to the Config value settings.
 
-   procedure Set_Opt_Config_Switches (Internal_Unit : Boolean);
+   procedure Set_Opt_Config_Switches
+     (Internal_Unit : Boolean;
+      Main_Unit     : Boolean);
    --  This procedure sets the switches to the appropriate initial values. The
    --  parameter Internal_Unit is True for an internal or predefined unit, and
-   --  affects the way the switches are set (see above).
+   --  affects the way the switches are set (see above). Main_Unit is true if
+   --  switches are being set for the main unit (this affects setting of the
+   --  assert/debug pragm switches, which are normally set false by default for
+   --  an internal unit, except when the internal unit is the main unit, in
+   --  which case we use the command line settings).
 
    procedure Restore_Opt_Config_Switches (Save : Config_Switches_Type);
    --  This procedure restores a set of switch values previously saved by a
@@ -1302,6 +1298,7 @@ private
       Ada_Version                    : Ada_Version_Type;
       Ada_Version_Explicit           : Ada_Version_Type;
       Assertions_Enabled             : Boolean;
+      Debug_Pragmas_Enabled          : Boolean;
       Dynamic_Elaboration_Checks     : Boolean;
       Exception_Locations_Suppressed : Boolean;
       Extensions_Allowed             : Boolean;

diff --git a/gcc/ada/par-prag.adb b/gcc/ada/par-prag.adb
index fa17a3f..097ddd0 100644 (file)
--- a/gcc/ada/par-prag.adb
+++ b/gcc/ada/par-prag.adb
@@ -1011,6 +1011,7 @@ begin
            Pragma_Component_Alignment          |
            Pragma_Controlled                   |
            Pragma_Convention                   |
+           Pragma_Debug_Policy                 |
            Pragma_Detect_Blocking              |
            Pragma_Discard_Names                |
            Pragma_Eliminate                    |

diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb
index e88f4af..86fa50f 100644 (file)
--- a/gcc/ada/par.adb
+++ b/gcc/ada/par.adb
@@ -1275,7 +1275,8 @@ begin
 
       for Ucount in Pos loop
          Set_Opt_Config_Switches
-           (Is_Internal_File_Name (File_Name (Current_Source_File)));
+           (Is_Internal_File_Name (File_Name (Current_Source_File)),
+            Current_Source_Unit = Main_Unit);
 
          --  Initialize scope table and other parser control variables
 

diff --git a/gcc/ada/sem.adb b/gcc/ada/sem.adb
index 536b179..36afe18 100644 (file)
--- a/gcc/ada/sem.adb
+++ b/gcc/ada/sem.adb
@@ -27,7 +27,6 @@
 with Atree;    use Atree;
 with Debug;    use Debug;
 with Debug_A;  use Debug_A;
-with Einfo;    use Einfo;
 with Errout;   use Errout;
 with Expander; use Expander;
 with Fname;    use Fname;
@@ -35,7 +34,6 @@ with HLO;      use HLO;
 with Lib;      use Lib;
 with Lib.Load; use Lib.Load;
 with Nlists;   use Nlists;
-with Opt;      use Opt;
 with Sem_Attr; use Sem_Attr;
 with Sem_Ch2;  use Sem_Ch2;
 with Sem_Ch3;  use Sem_Ch3;
@@ -1299,7 +1297,8 @@ package body Sem is
       Set_Comes_From_Source_Default (False);
       Save_Opt_Config_Switches (Save_Config_Switches);
       Set_Opt_Config_Switches
-        (Is_Internal_File_Name (Unit_File_Name (Current_Sem_Unit)));
+        (Is_Internal_File_Name (Unit_File_Name (Current_Sem_Unit)),
+         Current_Sem_Unit = Main_Unit);
 
       --  Only do analysis of unit that has not already been analyzed
 

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 797ab24..29233a4 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -5571,12 +5571,24 @@ package body Sem_Prag is
 
             Rewrite (N, Make_Implicit_If_Statement (N,
               Condition => New_Occurrence_Of (Boolean_Literals (
-                Assertions_Enabled and Expander_Active), Loc),
+                Debug_Pragmas_Enabled and Expander_Active), Loc),
               Then_Statements => New_List (
                 Relocate_Node (Debug_Statement (N)))));
             Analyze (N);
          end Debug;
 
+         ------------------
+         -- Debug_Policy --
+         ------------------
+
+         --  pragma Debug_Policy (Check | Ignore)
+
+         when Pragma_Debug_Policy =>
+            GNAT_Pragma;
+            Check_Arg_Count (1);
+            Check_Arg_Is_One_Of (Arg1, Name_Check, Name_Ignore);
+            Debug_Pragmas_Enabled := Chars (Expression (Arg1)) = Name_Check;
+
          ---------------------
          -- Detect_Blocking --
          ---------------------
@@ -6519,7 +6531,9 @@ package body Sem_Prag is
          -- Float_Representation --
          --------------------------
 
-         --  pragma Float_Representation (VAX_Float | IEEE_Float);
+         --  pragma Float_Representation (FLOAT_REP[, float_type_LOCAL_NAME]);
+
+         --  FLOAT_REP ::= VAX_Float | IEEE_Float
 
          when Pragma_Float_Representation => Float_Representation : declare
             Argx : Node_Id;
@@ -6552,9 +6566,7 @@ package body Sem_Prag is
             --  One argument case
 
             if Arg_Count = 1 then
-
                if Chars (Expression (Arg1)) = Name_VAX_Float then
-
                   if Opt.Float_Format = 'I' then
                      Error_Pragma ("'I'E'E'E format previously specified");
                   end if;
@@ -6590,7 +6602,6 @@ package body Sem_Prag is
                --  Two arguments, VAX_Float case
 
                if Chars (Expression (Arg1)) = Name_VAX_Float then
-
                   case Digs is
                      when  6 => Set_F_Float (Ent);
                      when  9 => Set_D_Float (Ent);
@@ -8091,6 +8102,8 @@ package body Sem_Prag is
          -- No_Strict_Aliasing --
          ------------------------
 
+         --  pragma No_Strict_Aliasing [([Entity =>] type_LOCAL_NAME)];
+
          when Pragma_No_Strict_Aliasing => No_Strict_Alias : declare
             E_Id : Entity_Id;
 
@@ -8324,15 +8337,12 @@ package body Sem_Prag is
             if Has_Pragma_Pack (Typ) then
                Error_Pragma ("duplicate pragma%, only one allowed");
 
-            --  Array type. We set the Has_Pragma_Pack flag, and Is_Packed,
-            --  but not Has_Non_Standard_Rep, because we don't actually know
-            --  till freeze time if the array can have packed representation.
-            --  That's because in the general case we do not know enough about
-            --  the component type until it in turn is frozen, which certainly
-            --  happens before the array type is frozen, but not necessarily
-            --  till that point (i.e. right now it may be unfrozen).
+            --  Array type
 
             elsif Is_Array_Type (Typ) then
+
+               --  Pack not allowed for aliased or atomic components
+
                if Has_Aliased_Components (Base_Type (Typ)) then
                   Error_Pragma
                     ("pragma% ignored, cannot pack aliased components?");
@@ -8341,15 +8351,36 @@ package body Sem_Prag is
                  or else Is_Atomic (Component_Type (Typ))
                then
                   Error_Pragma
-                    ("?pragma% ignored, cannot pack atomic components");
+                       ("?pragma% ignored, cannot pack atomic components");
+               end if;
 
-               elsif not Rep_Item_Too_Late (Typ, N) then
-                  Set_Is_Packed            (Base_Type (Typ));
-                  Set_Has_Pragma_Pack      (Base_Type (Typ));
-                  Set_Has_Non_Standard_Rep (Base_Type (Typ));
+               --  If we had an explicit component size given, then we do not
+               --  let Pack override this given size. We also give a warning
+               --  that Pack is being ignored unless we can tell for sure that
+               --  the Pack would not have had any effect anyway.
+
+               if Has_Component_Size_Clause (Typ) then
+                  if Known_Static_RM_Size (Component_Type (Typ))
+                    and then
+                      RM_Size (Component_Type (Typ)) = Component_Size (Typ)
+                  then
+                     null;
+                  else
+                     Error_Pragma
+                       ("?pragma% ignored, explicit component size given");
+                  end if;
+
+               --  If no prior array component size given, Pack is effective
+
+               else
+                  if not Rep_Item_Too_Late (Typ, N) then
+                     Set_Is_Packed            (Base_Type (Typ));
+                     Set_Has_Pragma_Pack      (Base_Type (Typ));
+                     Set_Has_Non_Standard_Rep (Base_Type (Typ));
+                  end if;
                end if;
 
-            --  Record type. For record types, the pack is always effective
+            --  For record types, the pack is always effective
 
             else pragma Assert (Is_Record_Type (Typ));
                if not Rep_Item_Too_Late (Typ, N) then
@@ -10563,6 +10594,7 @@ package body Sem_Prag is
       Pragma_Convention                   =>  0,
       Pragma_Convention_Identifier        =>  0,
       Pragma_Debug                        => -1,
+      Pragma_Debug_Policy                 =>  0,
       Pragma_Detect_Blocking              => -1,
       Pragma_Discard_Names                =>  0,
       Pragma_Elaborate                    => -1,

diff --git a/gcc/ada/snames.adb b/gcc/ada/snames.adb
index e98f4c5..4993c64 100644 (file)
--- a/gcc/ada/snames.adb
+++ b/gcc/ada/snames.adb
@@ -89,6 +89,10 @@ package body Snames is
      "_task_info#" &
      "_task_name#" &
      "_trace_sp#" &
+     "_disp_asynchronous_select#" &
+     "_disp_conditional_select#" &
+     "_disp_get_prim_op_kind#" &
+     "_disp_timed_select#" &
      "initialize#" &
      "adjust#" &
      "finalize#" &
@@ -174,6 +178,7 @@ package body Snames is
      "compile_time_warning#" &
      "component_alignment#" &
      "convention_identifier#" &
+     "debug_policy#" &
      "detect_blocking#" &
      "discard_names#" &
      "elaboration_checks#" &

diff --git a/gcc/ada/snames.ads b/gcc/ada/snames.ads
index 425f707..6cdb344 100644 (file)
--- a/gcc/ada/snames.ads
+++ b/gcc/ada/snames.ads
@@ -173,127 +173,135 @@ package Snames is
    Name_uTask_Name                     : constant Name_Id := N + 030;
    Name_uTrace_Sp                      : constant Name_Id := N + 031;
 
+   --  Names of routines used in the expansion of asynchronous, conditional
+   --  and timed dispatching selects.
+
+   Name_uDisp_Asynchronous_Select      : constant Name_Id := N + 032;
+   Name_uDisp_Conditional_Select       : constant Name_Id := N + 033;
+   Name_uDisp_Get_Prim_Op_Kind         : constant Name_Id := N + 034;
+   Name_uDisp_Timed_Select             : constant Name_Id := N + 035;
+
    --  Names of routines in Ada.Finalization, needed by expander
 
-   Name_Initialize                     : constant Name_Id := N + 032;
-   Name_Adjust                         : constant Name_Id := N + 033;
-   Name_Finalize                       : constant Name_Id := N + 034;
+   Name_Initialize                     : constant Name_Id := N + 036;
+   Name_Adjust                         : constant Name_Id := N + 037;
+   Name_Finalize                       : constant Name_Id := N + 038;
 
    --  Names of fields declared in System.Finalization_Implementation,
    --  needed by the expander when generating code for finalization.
 
-   Name_Next                           : constant Name_Id := N + 035;
-   Name_Prev                           : constant Name_Id := N + 036;
+   Name_Next                           : constant Name_Id := N + 039;
+   Name_Prev                           : constant Name_Id := N + 040;
 
    --  Names of TSS routines for implementation of DSA over PolyORB
 
-   Name_uTypeCode                      : constant Name_Id := N + 037;
-   Name_uFrom_Any                      : constant Name_Id := N + 038;
-   Name_uTo_Any                        : constant Name_Id := N + 039;
+   Name_uTypeCode                      : constant Name_Id := N + 041;
+   Name_uFrom_Any                      : constant Name_Id := N + 042;
+   Name_uTo_Any                        : constant Name_Id := N + 043;
 
    --  Names of allocation routines, also needed by expander
 
-   Name_Allocate                       : constant Name_Id := N + 040;
-   Name_Deallocate                     : constant Name_Id := N + 041;
-   Name_Dereference                    : constant Name_Id := N + 042;
+   Name_Allocate                       : constant Name_Id := N + 044;
+   Name_Deallocate                     : constant Name_Id := N + 045;
+   Name_Dereference                    : constant Name_Id := N + 046;
 
    --  Names of Text_IO generic subpackages (see Rtsfind.Text_IO_Kludge)
 
-   First_Text_IO_Package               : constant Name_Id := N + 043;
-   Name_Decimal_IO                     : constant Name_Id := N + 043;
-   Name_Enumeration_IO                 : constant Name_Id := N + 044;
-   Name_Fixed_IO                       : constant Name_Id := N + 045;
-   Name_Float_IO                       : constant Name_Id := N + 046;
-   Name_Integer_IO                     : constant Name_Id := N + 047;
-   Name_Modular_IO                     : constant Name_Id := N + 048;
-   Last_Text_IO_Package                : constant Name_Id := N + 048;
+   First_Text_IO_Package               : constant Name_Id := N + 047;
+   Name_Decimal_IO                     : constant Name_Id := N + 047;
+   Name_Enumeration_IO                 : constant Name_Id := N + 048;
+   Name_Fixed_IO                       : constant Name_Id := N + 049;
+   Name_Float_IO                       : constant Name_Id := N + 050;
+   Name_Integer_IO                     : constant Name_Id := N + 051;
+   Name_Modular_IO                     : constant Name_Id := N + 052;
+   Last_Text_IO_Package                : constant Name_Id := N + 052;
 
    subtype Text_IO_Package_Name is Name_Id
      range First_Text_IO_Package .. Last_Text_IO_Package;
 
    --  Some miscellaneous names used for error detection/recovery
 
-   Name_Const                          : constant Name_Id := N + 049;
-   Name_Error                          : constant Name_Id := N + 050;
-   Name_Go                             : constant Name_Id := N + 051;
-   Name_Put                            : constant Name_Id := N + 052;
-   Name_Put_Line                       : constant Name_Id := N + 053;
-   Name_To                             : constant Name_Id := N + 054;
+   Name_Const                          : constant Name_Id := N + 053;
+   Name_Error                          : constant Name_Id := N + 054;
+   Name_Go                             : constant Name_Id := N + 055;
+   Name_Put                            : constant Name_Id := N + 056;
+   Name_Put_Line                       : constant Name_Id := N + 057;
+   Name_To                             : constant Name_Id := N + 058;
 
    --  Names for packages that are treated specially by the compiler
 
-   Name_Finalization                   : constant Name_Id := N + 055;
-   Name_Finalization_Root              : constant Name_Id := N + 056;
-   Name_Interfaces                     : constant Name_Id := N + 057;
-   Name_Standard                       : constant Name_Id := N + 058;
-   Name_System                         : constant Name_Id := N + 059;
-   Name_Text_IO                        : constant Name_Id := N + 060;
-   Name_Wide_Text_IO                   : constant Name_Id := N + 061;
-   Name_Wide_Wide_Text_IO              : constant Name_Id := N + 062;
+   Name_Finalization                   : constant Name_Id := N + 059;
+   Name_Finalization_Root              : constant Name_Id := N + 060;
+   Name_Interfaces                     : constant Name_Id := N + 061;
+   Name_Standard                       : constant Name_Id := N + 062;
+   Name_System                         : constant Name_Id := N + 063;
+   Name_Text_IO                        : constant Name_Id := N + 064;
+   Name_Wide_Text_IO                   : constant Name_Id := N + 065;
+   Name_Wide_Wide_Text_IO              : constant Name_Id := N + 066;
 
    --  Names of implementations of the distributed systems annex
 
-   First_PCS_Name                      : constant Name_Id := N + 063;
-   Name_No_DSA                         : constant Name_Id := N + 063;
-   Name_GARLIC_DSA                     : constant Name_Id := N + 064;
-   Name_PolyORB_DSA                    : constant Name_Id := N + 065;
-   Last_PCS_Name                       : constant Name_Id := N + 065;
+   First_PCS_Name                      : constant Name_Id := N + 067;
+   Name_No_DSA                         : constant Name_Id := N + 067;
+   Name_GARLIC_DSA                     : constant Name_Id := N + 068;
+   Name_PolyORB_DSA                    : constant Name_Id := N + 069;
+   Last_PCS_Name                       : constant Name_Id := N + 069;
 
    subtype PCS_Names is Name_Id
      range First_PCS_Name .. Last_PCS_Name;
 
    --  Names of identifiers used in expanding distribution stubs
 
-   Name_Addr                           : constant Name_Id := N + 066;
-   Name_Async                          : constant Name_Id := N + 067;
-   Name_Get_Active_Partition_ID        : constant Name_Id := N + 068;
-   Name_Get_RCI_Package_Receiver       : constant Name_Id := N + 069;
-   Name_Get_RCI_Package_Ref            : constant Name_Id := N + 070;
-   Name_Origin                         : constant Name_Id := N + 071;
-   Name_Params                         : constant Name_Id := N + 072;
-   Name_Partition                      : constant Name_Id := N + 073;
-   Name_Partition_Interface            : constant Name_Id := N + 074;
-   Name_Ras                            : constant Name_Id := N + 075;
-   Name_Call                           : constant Name_Id := N + 076;
-   Name_RCI_Name                       : constant Name_Id := N + 077;
-   Name_Receiver                       : constant Name_Id := N + 078;
-   Name_Result                         : constant Name_Id := N + 079;
-   Name_Rpc                            : constant Name_Id := N + 080;
-   Name_Subp_Id                        : constant Name_Id := N + 081;
-   Name_Operation                      : constant Name_Id := N + 082;
-   Name_Argument                       : constant Name_Id := N + 083;
-   Name_Arg_Modes                      : constant Name_Id := N + 084;
-   Name_Handler                        : constant Name_Id := N + 085;
-   Name_Target                         : constant Name_Id := N + 086;
-   Name_Req                            : constant Name_Id := N + 087;
-   Name_Obj_TypeCode                   : constant Name_Id := N + 088;
-   Name_Stub                           : constant Name_Id := N + 089;
+   Name_Addr                           : constant Name_Id := N + 070;
+   Name_Async                          : constant Name_Id := N + 071;
+   Name_Get_Active_Partition_ID        : constant Name_Id := N + 072;
+   Name_Get_RCI_Package_Receiver       : constant Name_Id := N + 073;
+   Name_Get_RCI_Package_Ref            : constant Name_Id := N + 074;
+   Name_Origin                         : constant Name_Id := N + 075;
+   Name_Params                         : constant Name_Id := N + 076;
+   Name_Partition                      : constant Name_Id := N + 077;
+   Name_Partition_Interface            : constant Name_Id := N + 078;
+   Name_Ras                            : constant Name_Id := N + 079;
+   Name_Call                           : constant Name_Id := N + 080;
+   Name_RCI_Name                       : constant Name_Id := N + 081;
+   Name_Receiver                       : constant Name_Id := N + 082;
+   Name_Result                         : constant Name_Id := N + 083;
+   Name_Rpc                            : constant Name_Id := N + 084;
+   Name_Subp_Id                        : constant Name_Id := N + 085;
+   Name_Operation                      : constant Name_Id := N + 086;
+   Name_Argument                       : constant Name_Id := N + 087;
+   Name_Arg_Modes                      : constant Name_Id := N + 088;
+   Name_Handler                        : constant Name_Id := N + 089;
+   Name_Target                         : constant Name_Id := N + 090;
+   Name_Req                            : constant Name_Id := N + 091;
+   Name_Obj_TypeCode                   : constant Name_Id := N + 092;
+   Name_Stub                           : constant Name_Id := N + 093;
 
    --  Operator Symbol entries. The actual names have an upper case O at
    --  the start in place of the Op_ prefix (e.g. the actual name that
    --  corresponds to Name_Op_Abs is "Oabs".
 
-   First_Operator_Name                 : constant Name_Id := N + 090;
-   Name_Op_Abs                         : constant Name_Id := N + 090; -- "abs"
-   Name_Op_And                         : constant Name_Id := N + 091; -- "and"
-   Name_Op_Mod                         : constant Name_Id := N + 092; -- "mod"
-   Name_Op_Not                         : constant Name_Id := N + 093; -- "not"
-   Name_Op_Or                          : constant Name_Id := N + 094; -- "or"
-   Name_Op_Rem                         : constant Name_Id := N + 095; -- "rem"
-   Name_Op_Xor                         : constant Name_Id := N + 096; -- "xor"
-   Name_Op_Eq                          : constant Name_Id := N + 097; -- "="
-   Name_Op_Ne                          : constant Name_Id := N + 098; -- "/="
-   Name_Op_Lt                          : constant Name_Id := N + 099; -- "<"
-   Name_Op_Le                          : constant Name_Id := N + 100; -- "<="
-   Name_Op_Gt                          : constant Name_Id := N + 101; -- ">"
-   Name_Op_Ge                          : constant Name_Id := N + 102; -- ">="
-   Name_Op_Add                         : constant Name_Id := N + 103; -- "+"
-   Name_Op_Subtract                    : constant Name_Id := N + 104; -- "-"
-   Name_Op_Concat                      : constant Name_Id := N + 105; -- "&"
-   Name_Op_Multiply                    : constant Name_Id := N + 106; -- "*"
-   Name_Op_Divide                      : constant Name_Id := N + 107; -- "/"
-   Name_Op_Expon                       : constant Name_Id := N + 108; -- "**"
-   Last_Operator_Name                  : constant Name_Id := N + 108;
+   First_Operator_Name                 : constant Name_Id := N + 094;
+   Name_Op_Abs                         : constant Name_Id := N + 094; -- "abs"
+   Name_Op_And                         : constant Name_Id := N + 095; -- "and"
+   Name_Op_Mod                         : constant Name_Id := N + 096; -- "mod"
+   Name_Op_Not                         : constant Name_Id := N + 097; -- "not"
+   Name_Op_Or                          : constant Name_Id := N + 098; -- "or"
+   Name_Op_Rem                         : constant Name_Id := N + 099; -- "rem"
+   Name_Op_Xor                         : constant Name_Id := N + 100; -- "xor"
+   Name_Op_Eq                          : constant Name_Id := N + 101; -- "="
+   Name_Op_Ne                          : constant Name_Id := N + 102; -- "/="
+   Name_Op_Lt                          : constant Name_Id := N + 103; -- "<"
+   Name_Op_Le                          : constant Name_Id := N + 104; -- "<="
+   Name_Op_Gt                          : constant Name_Id := N + 105; -- ">"
+   Name_Op_Ge                          : constant Name_Id := N + 106; -- ">="
+   Name_Op_Add                         : constant Name_Id := N + 107; -- "+"
+   Name_Op_Subtract                    : constant Name_Id := N + 108; -- "-"
+   Name_Op_Concat                      : constant Name_Id := N + 109; -- "&"
+   Name_Op_Multiply                    : constant Name_Id := N + 110; -- "*"
+   Name_Op_Divide                      : constant Name_Id := N + 111; -- "/"
+   Name_Op_Expon                       : constant Name_Id := N + 112; -- "**"
+   Last_Operator_Name                  : constant Name_Id := N + 112;
 
    --  Names for all pragmas recognized by GNAT. The entries with the comment
    --  "Ada 83" are pragmas that are defined in Ada 83, but not in Ada 95.
@@ -316,64 +324,65 @@ package Snames is
    --  only in GNAT for the AAMP. They are ignored in other versions with
    --  appropriate warnings.
 
-   First_Pragma_Name                   : constant Name_Id := N + 109;
+   First_Pragma_Name                   : constant Name_Id := N + 113;
 
    --  Configuration pragmas are grouped at start
 
-   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_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; -- 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;
-   Name_Source_File_Name               : constant Name_Id := N + 145; -- GNAT
-   Name_Source_File_Name_Project       : constant Name_Id := N + 146; -- GNAT
-   Name_Style_Checks                   : constant Name_Id := N + 147; -- GNAT
-   Name_Suppress                       : constant Name_Id := N + 148;
-   Name_Suppress_Exception_Locations   : constant Name_Id := N + 149; -- GNAT
-   Name_Task_Dispatching_Policy        : constant Name_Id := N + 150;
-   Name_Universal_Data                 : constant Name_Id := N + 151; -- AAMP
-   Name_Unsuppress                     : constant Name_Id := N + 152; -- GNAT
-   Name_Use_VADS_Size                  : constant Name_Id := N + 153; -- GNAT
-   Name_Validity_Checks                : constant Name_Id := N + 154; -- GNAT
-   Name_Warnings                       : constant Name_Id := N + 155; -- GNAT
-   Last_Configuration_Pragma_Name      : constant Name_Id := N + 155;
+   Name_Ada_83                         : constant Name_Id := N + 113; -- GNAT
+   Name_Ada_95                         : constant Name_Id := N + 114; -- GNAT
+   Name_Ada_05                         : constant Name_Id := N + 115; -- GNAT
+   Name_Assertion_Policy               : constant Name_Id := N + 116; -- Ada 05
+   Name_C_Pass_By_Copy                 : constant Name_Id := N + 117; -- GNAT
+   Name_Compile_Time_Warning           : constant Name_Id := N + 118; -- GNAT
+   Name_Component_Alignment            : constant Name_Id := N + 119; -- GNAT
+   Name_Convention_Identifier          : constant Name_Id := N + 120; -- GNAT
+   Name_Debug_Policy                   : constant Name_Id := N + 121; -- GNAT
+   Name_Detect_Blocking                : constant Name_Id := N + 122; -- Ada 05
+   Name_Discard_Names                  : constant Name_Id := N + 123;
+   Name_Elaboration_Checks             : constant Name_Id := N + 124; -- GNAT
+   Name_Eliminate                      : constant Name_Id := N + 125; -- GNAT
+   Name_Explicit_Overriding            : constant Name_Id := N + 126; -- Ada 05
+   Name_Extend_System                  : constant Name_Id := N + 127; -- GNAT
+   Name_Extensions_Allowed             : constant Name_Id := N + 128; -- GNAT
+   Name_External_Name_Casing           : constant Name_Id := N + 129; -- GNAT
+   Name_Float_Representation           : constant Name_Id := N + 130; -- GNAT
+   Name_Initialize_Scalars             : constant Name_Id := N + 131; -- GNAT
+   Name_Interrupt_State                : constant Name_Id := N + 132; -- GNAT
+   Name_License                        : constant Name_Id := N + 133; -- GNAT
+   Name_Locking_Policy                 : constant Name_Id := N + 134;
+   Name_Long_Float                     : constant Name_Id := N + 135; -- VMS
+   Name_No_Run_Time                    : constant Name_Id := N + 136; -- GNAT
+   Name_No_Strict_Aliasing             : constant Name_Id := N + 137; -- GNAT
+   Name_Normalize_Scalars              : constant Name_Id := N + 138;
+   Name_Polling                        : constant Name_Id := N + 139; -- GNAT
+   Name_Persistent_BSS                 : constant Name_Id := N + 140; -- GNAT
+   Name_Profile                        : constant Name_Id := N + 141; -- Ada 05
+   Name_Profile_Warnings               : constant Name_Id := N + 142; -- GNAT
+   Name_Propagate_Exceptions           : constant Name_Id := N + 143; -- GNAT
+   Name_Queuing_Policy                 : constant Name_Id := N + 144;
+   Name_Ravenscar                      : constant Name_Id := N + 145; -- Ada 05
+   Name_Restricted_Run_Time            : constant Name_Id := N + 146; -- GNAT
+   Name_Restrictions                   : constant Name_Id := N + 147;
+   Name_Restriction_Warnings           : constant Name_Id := N + 148; -- GNAT
+   Name_Reviewable                     : constant Name_Id := N + 149;
+   Name_Source_File_Name               : constant Name_Id := N + 150; -- GNAT
+   Name_Source_File_Name_Project       : constant Name_Id := N + 151; -- GNAT
+   Name_Style_Checks                   : constant Name_Id := N + 152; -- GNAT
+   Name_Suppress                       : constant Name_Id := N + 153;
+   Name_Suppress_Exception_Locations   : constant Name_Id := N + 154; -- GNAT
+   Name_Task_Dispatching_Policy        : constant Name_Id := N + 155;
+   Name_Universal_Data                 : constant Name_Id := N + 156; -- AAMP
+   Name_Unsuppress                     : constant Name_Id := N + 157; -- GNAT
+   Name_Use_VADS_Size                  : constant Name_Id := N + 158; -- GNAT
+   Name_Validity_Checks                : constant Name_Id := N + 159; -- GNAT
+   Name_Warnings                       : constant Name_Id := N + 160; -- GNAT
+   Last_Configuration_Pragma_Name      : constant Name_Id := N + 160;
 
    --  Remaining pragma names
 
-   Name_Abort_Defer                    : constant Name_Id := N + 156; -- GNAT
-   Name_All_Calls_Remote               : constant Name_Id := N + 157;
-   Name_Annotate                       : constant Name_Id := N + 158; -- GNAT
+   Name_Abort_Defer                    : constant Name_Id := N + 161; -- GNAT
+   Name_All_Calls_Remote               : constant Name_Id := N + 162;
+   Name_Annotate                       : constant Name_Id := N + 163; -- GNAT
 
    --  Note: AST_Entry is not in this list because its name matches the
    --  name of the corresponding attribute. However, it is included in the
@@ -381,80 +390,80 @@ 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; -- Ada 05
-   Name_Asynchronous                   : constant Name_Id := N + 160;
-   Name_Atomic                         : constant Name_Id := N + 161;
-   Name_Atomic_Components              : constant Name_Id := N + 162;
-   Name_Attach_Handler                 : constant Name_Id := N + 163;
-   Name_Comment                        : constant Name_Id := N + 164; -- GNAT
-   Name_Common_Object                  : constant Name_Id := N + 165; -- GNAT
-   Name_Complex_Representation         : constant Name_Id := N + 166; -- GNAT
-   Name_Controlled                     : constant Name_Id := N + 167;
-   Name_Convention                     : constant Name_Id := N + 168;
-   Name_CPP_Class                      : constant Name_Id := N + 169; -- GNAT
-   Name_CPP_Constructor                : constant Name_Id := N + 170; -- GNAT
-   Name_CPP_Virtual                    : constant Name_Id := N + 171; -- GNAT
-   Name_CPP_Vtable                     : constant Name_Id := N + 172; -- GNAT
-   Name_Debug                          : constant Name_Id := N + 173; -- GNAT
-   Name_Elaborate                      : constant Name_Id := N + 174; -- Ada 83
-   Name_Elaborate_All                  : constant Name_Id := N + 175;
-   Name_Elaborate_Body                 : constant Name_Id := N + 176;
-   Name_Export                         : constant Name_Id := N + 177;
-   Name_Export_Exception               : constant Name_Id := N + 178; -- VMS
-   Name_Export_Function                : constant Name_Id := N + 179; -- GNAT
-   Name_Export_Object                  : constant Name_Id := N + 180; -- GNAT
-   Name_Export_Procedure               : constant Name_Id := N + 181; -- GNAT
-   Name_Export_Value                   : constant Name_Id := N + 182; -- GNAT
-   Name_Export_Valued_Procedure        : constant Name_Id := N + 183; -- GNAT
-   Name_External                       : constant Name_Id := N + 184; -- GNAT
-   Name_Finalize_Storage_Only          : constant Name_Id := N + 185; -- GNAT
-   Name_Ident                          : constant Name_Id := N + 186; -- VMS
-   Name_Import                         : constant Name_Id := N + 187;
-   Name_Import_Exception               : constant Name_Id := N + 188; -- VMS
-   Name_Import_Function                : constant Name_Id := N + 189; -- GNAT
-   Name_Import_Object                  : constant Name_Id := N + 190; -- GNAT
-   Name_Import_Procedure               : constant Name_Id := N + 191; -- GNAT
-   Name_Import_Valued_Procedure        : constant Name_Id := N + 192; -- GNAT
-   Name_Inline                         : constant Name_Id := N + 193;
-   Name_Inline_Always                  : constant Name_Id := N + 194; -- GNAT
-   Name_Inline_Generic                 : constant Name_Id := N + 195; -- GNAT
-   Name_Inspection_Point               : constant Name_Id := N + 196;
-   Name_Interface_Name                 : constant Name_Id := N + 197; -- GNAT
-   Name_Interrupt_Handler              : constant Name_Id := N + 198;
-   Name_Interrupt_Priority             : constant Name_Id := N + 199;
-   Name_Java_Constructor               : constant Name_Id := N + 200; -- GNAT
-   Name_Java_Interface                 : constant Name_Id := N + 201; -- GNAT
-   Name_Keep_Names                     : constant Name_Id := N + 202; -- GNAT
-   Name_Link_With                      : constant Name_Id := N + 203; -- GNAT
-   Name_Linker_Alias                   : constant Name_Id := N + 204; -- GNAT
-   Name_Linker_Constructor             : constant Name_Id := N + 205; -- GNAT
-   Name_Linker_Destructor              : constant Name_Id := N + 206; -- GNAT
-   Name_Linker_Options                 : constant Name_Id := N + 207;
-   Name_Linker_Section                 : constant Name_Id := N + 208; -- GNAT
-   Name_List                           : constant Name_Id := N + 209;
-   Name_Machine_Attribute              : constant Name_Id := N + 210; -- GNAT
-   Name_Main                           : constant Name_Id := N + 211; -- GNAT
-   Name_Main_Storage                   : constant Name_Id := N + 212; -- GNAT
-   Name_Memory_Size                    : constant Name_Id := N + 213; -- Ada 83
-   Name_No_Return                      : constant Name_Id := N + 214; -- GNAT
-   Name_Obsolescent                    : constant Name_Id := N + 215; -- GNAT
-   Name_Optimize                       : constant Name_Id := N + 216;
-   Name_Optional_Overriding            : constant Name_Id := N + 217; -- Ada 05
-   Name_Pack                           : constant Name_Id := N + 218;
-   Name_Page                           : constant Name_Id := N + 219;
-   Name_Passive                        : constant Name_Id := N + 220; -- GNAT
-   Name_Preelaborate                   : constant Name_Id := N + 221;
-   Name_Preelaborate_05                : constant Name_Id := N + 222; -- GNAT
-   Name_Priority                       : constant Name_Id := N + 223;
-   Name_Psect_Object                   : constant Name_Id := N + 224; -- VMS
-   Name_Pure                           : constant Name_Id := N + 225;
-   Name_Pure_05                        : constant Name_Id := N + 226; -- GNAT
-   Name_Pure_Function                  : constant Name_Id := N + 227; -- GNAT
-   Name_Remote_Call_Interface          : constant Name_Id := N + 228;
-   Name_Remote_Types                   : constant Name_Id := N + 229;
-   Name_Share_Generic                  : constant Name_Id := N + 230; -- GNAT
-   Name_Shared                         : constant Name_Id := N + 231; -- Ada 83
-   Name_Shared_Passive                 : constant Name_Id := N + 232;
+   Name_Assert                         : constant Name_Id := N + 164; -- Ada 05
+   Name_Asynchronous                   : constant Name_Id := N + 165;
+   Name_Atomic                         : constant Name_Id := N + 166;
+   Name_Atomic_Components              : constant Name_Id := N + 167;
+   Name_Attach_Handler                 : constant Name_Id := N + 168;
+   Name_Comment                        : constant Name_Id := N + 169; -- GNAT
+   Name_Common_Object                  : constant Name_Id := N + 170; -- GNAT
+   Name_Complex_Representation         : constant Name_Id := N + 171; -- GNAT
+   Name_Controlled                     : constant Name_Id := N + 172;
+   Name_Convention                     : constant Name_Id := N + 173;
+   Name_CPP_Class                      : constant Name_Id := N + 174; -- GNAT
+   Name_CPP_Constructor                : constant Name_Id := N + 175; -- GNAT
+   Name_CPP_Virtual                    : constant Name_Id := N + 176; -- GNAT
+   Name_CPP_Vtable                     : constant Name_Id := N + 177; -- GNAT
+   Name_Debug                          : constant Name_Id := N + 178; -- GNAT
+   Name_Elaborate                      : constant Name_Id := N + 179; -- Ada 83
+   Name_Elaborate_All                  : constant Name_Id := N + 180;
+   Name_Elaborate_Body                 : constant Name_Id := N + 181;
+   Name_Export                         : constant Name_Id := N + 182;
+   Name_Export_Exception               : constant Name_Id := N + 183; -- VMS
+   Name_Export_Function                : constant Name_Id := N + 184; -- GNAT
+   Name_Export_Object                  : constant Name_Id := N + 185; -- GNAT
+   Name_Export_Procedure               : constant Name_Id := N + 186; -- GNAT
+   Name_Export_Value                   : constant Name_Id := N + 187; -- GNAT
+   Name_Export_Valued_Procedure        : constant Name_Id := N + 188; -- GNAT
+   Name_External                       : constant Name_Id := N + 189; -- GNAT
+   Name_Finalize_Storage_Only          : constant Name_Id := N + 190; -- GNAT
+   Name_Ident                          : constant Name_Id := N + 191; -- VMS
+   Name_Import                         : constant Name_Id := N + 192;
+   Name_Import_Exception               : constant Name_Id := N + 193; -- VMS
+   Name_Import_Function                : constant Name_Id := N + 194; -- GNAT
+   Name_Import_Object                  : constant Name_Id := N + 195; -- GNAT
+   Name_Import_Procedure               : constant Name_Id := N + 196; -- GNAT
+   Name_Import_Valued_Procedure        : constant Name_Id := N + 197; -- GNAT
+   Name_Inline                         : constant Name_Id := N + 198;
+   Name_Inline_Always                  : constant Name_Id := N + 199; -- GNAT
+   Name_Inline_Generic                 : constant Name_Id := N + 200; -- GNAT
+   Name_Inspection_Point               : constant Name_Id := N + 201;
+   Name_Interface_Name                 : constant Name_Id := N + 202; -- GNAT
+   Name_Interrupt_Handler              : constant Name_Id := N + 203;
+   Name_Interrupt_Priority             : constant Name_Id := N + 204;
+   Name_Java_Constructor               : constant Name_Id := N + 205; -- GNAT
+   Name_Java_Interface                 : constant Name_Id := N + 206; -- GNAT
+   Name_Keep_Names                     : constant Name_Id := N + 207; -- GNAT
+   Name_Link_With                      : constant Name_Id := N + 208; -- GNAT
+   Name_Linker_Alias                   : constant Name_Id := N + 209; -- GNAT
+   Name_Linker_Constructor             : constant Name_Id := N + 210; -- GNAT
+   Name_Linker_Destructor              : constant Name_Id := N + 211; -- GNAT
+   Name_Linker_Options                 : constant Name_Id := N + 212;
+   Name_Linker_Section                 : constant Name_Id := N + 213; -- GNAT
+   Name_List                           : constant Name_Id := N + 214;
+   Name_Machine_Attribute              : constant Name_Id := N + 215; -- GNAT
+   Name_Main                           : constant Name_Id := N + 216; -- GNAT
+   Name_Main_Storage                   : constant Name_Id := N + 217; -- GNAT
+   Name_Memory_Size                    : constant Name_Id := N + 218; -- Ada 83
+   Name_No_Return                      : constant Name_Id := N + 219; -- GNAT
+   Name_Obsolescent                    : constant Name_Id := N + 220; -- GNAT
+   Name_Optimize                       : constant Name_Id := N + 221;
+   Name_Optional_Overriding            : constant Name_Id := N + 222; -- Ada 05
+   Name_Pack                           : constant Name_Id := N + 223;
+   Name_Page                           : constant Name_Id := N + 224;
+   Name_Passive                        : constant Name_Id := N + 225; -- GNAT
+   Name_Preelaborate                   : constant Name_Id := N + 226;
+   Name_Preelaborate_05                : constant Name_Id := N + 227; -- GNAT
+   Name_Priority                       : constant Name_Id := N + 228;
+   Name_Psect_Object                   : constant Name_Id := N + 229; -- VMS
+   Name_Pure                           : constant Name_Id := N + 230;
+   Name_Pure_05                        : constant Name_Id := N + 231; -- GNAT
+   Name_Pure_Function                  : constant Name_Id := N + 232; -- GNAT
+   Name_Remote_Call_Interface          : constant Name_Id := N + 233;
+   Name_Remote_Types                   : constant Name_Id := N + 234;
+   Name_Share_Generic                  : constant Name_Id := N + 235; -- GNAT
+   Name_Shared                         : constant Name_Id := N + 236; -- Ada 83
+   Name_Shared_Passive                 : constant Name_Id := N + 237;
 
    --  Note: Storage_Size is not in this list because its name matches the
    --  name of the corresponding attribute. However, it is included in the
@@ -464,27 +473,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 + 233; -- GNAT
-   Name_Stream_Convert                 : constant Name_Id := N + 234; -- GNAT
-   Name_Subtitle                       : constant Name_Id := N + 235; -- GNAT
-   Name_Suppress_All                   : constant Name_Id := N + 236; -- GNAT
-   Name_Suppress_Debug_Info            : constant Name_Id := N + 237; -- GNAT
-   Name_Suppress_Initialization        : constant Name_Id := N + 238; -- GNAT
-   Name_System_Name                    : constant Name_Id := N + 239; -- Ada 83
-   Name_Task_Info                      : constant Name_Id := N + 240; -- GNAT
-   Name_Task_Name                      : constant Name_Id := N + 241; -- GNAT
-   Name_Task_Storage                   : constant Name_Id := N + 242; -- VMS
-   Name_Thread_Body                    : constant Name_Id := N + 243; -- GNAT
-   Name_Time_Slice                     : constant Name_Id := N + 244; -- GNAT
-   Name_Title                          : constant Name_Id := N + 245; -- GNAT
-   Name_Unchecked_Union                : constant Name_Id := N + 246; -- GNAT
-   Name_Unimplemented_Unit             : constant Name_Id := N + 247; -- GNAT
-   Name_Unreferenced                   : constant Name_Id := N + 248; -- GNAT
-   Name_Unreserve_All_Interrupts       : constant Name_Id := N + 249; -- GNAT
-   Name_Volatile                       : constant Name_Id := N + 250;
-   Name_Volatile_Components            : constant Name_Id := N + 251;
-   Name_Weak_External                  : constant Name_Id := N + 252; -- GNAT
-   Last_Pragma_Name                    : constant Name_Id := N + 252;
+   Name_Source_Reference               : constant Name_Id := N + 238; -- GNAT
+   Name_Stream_Convert                 : constant Name_Id := N + 239; -- GNAT
+   Name_Subtitle                       : constant Name_Id := N + 240; -- GNAT
+   Name_Suppress_All                   : constant Name_Id := N + 241; -- GNAT
+   Name_Suppress_Debug_Info            : constant Name_Id := N + 242; -- GNAT
+   Name_Suppress_Initialization        : constant Name_Id := N + 243; -- GNAT
+   Name_System_Name                    : constant Name_Id := N + 244; -- Ada 83
+   Name_Task_Info                      : constant Name_Id := N + 245; -- GNAT
+   Name_Task_Name                      : constant Name_Id := N + 246; -- GNAT
+   Name_Task_Storage                   : constant Name_Id := N + 247; -- VMS
+   Name_Thread_Body                    : constant Name_Id := N + 248; -- GNAT
+   Name_Time_Slice                     : constant Name_Id := N + 249; -- GNAT
+   Name_Title                          : constant Name_Id := N + 250; -- GNAT
+   Name_Unchecked_Union                : constant Name_Id := N + 251; -- GNAT
+   Name_Unimplemented_Unit             : constant Name_Id := N + 252; -- GNAT
+   Name_Unreferenced                   : constant Name_Id := N + 253; -- GNAT
+   Name_Unreserve_All_Interrupts       : constant Name_Id := N + 254; -- GNAT
+   Name_Volatile                       : constant Name_Id := N + 255;
+   Name_Volatile_Components            : constant Name_Id := N + 256;
+   Name_Weak_External                  : constant Name_Id := N + 257; -- GNAT
+   Last_Pragma_Name                    : constant Name_Id := N + 257;
 
    --  Language convention names for pragma Convention/Export/Import/Interface
    --  Note that Name_C is not included in this list, since it was already
@@ -495,114 +504,114 @@ package Snames is
    --  Entry and Protected, this is because these conventions cannot be
    --  specified by a pragma.
 
-   First_Convention_Name               : constant Name_Id := N + 253;
-   Name_Ada                            : constant Name_Id := N + 253;
-   Name_Assembler                      : constant Name_Id := N + 254;
-   Name_COBOL                          : constant Name_Id := N + 255;
-   Name_CPP                            : constant Name_Id := N + 256;
-   Name_Fortran                        : constant Name_Id := N + 257;
-   Name_Intrinsic                      : constant Name_Id := N + 258;
-   Name_Java                           : constant Name_Id := N + 259;
-   Name_Stdcall                        : constant Name_Id := N + 260;
-   Name_Stubbed                        : constant Name_Id := N + 261;
-   Last_Convention_Name                : constant Name_Id := N + 261;
+   First_Convention_Name               : constant Name_Id := N + 258;
+   Name_Ada                            : constant Name_Id := N + 258;
+   Name_Assembler                      : constant Name_Id := N + 259;
+   Name_COBOL                          : constant Name_Id := N + 260;
+   Name_CPP                            : constant Name_Id := N + 261;
+   Name_Fortran                        : constant Name_Id := N + 262;
+   Name_Intrinsic                      : constant Name_Id := N + 263;
+   Name_Java                           : constant Name_Id := N + 264;
+   Name_Stdcall                        : constant Name_Id := N + 265;
+   Name_Stubbed                        : constant Name_Id := N + 266;
+   Last_Convention_Name                : constant Name_Id := N + 266;
 
    --  The following names are preset as synonyms for Assembler
 
-   Name_Asm                            : constant Name_Id := N + 262;
-   Name_Assembly                       : constant Name_Id := N + 263;
+   Name_Asm                            : constant Name_Id := N + 267;
+   Name_Assembly                       : constant Name_Id := N + 268;
 
    --  The following names are preset as synonyms for C
 
-   Name_Default                        : constant Name_Id := N + 264;
+   Name_Default                        : constant Name_Id := N + 269;
    --  Name_Exernal (previously defined as pragma)
 
    --  The following names are present as synonyms for Stdcall
 
-   Name_DLL                            : constant Name_Id := N + 265;
-   Name_Win32                          : constant Name_Id := N + 266;
+   Name_DLL                            : constant Name_Id := N + 270;
+   Name_Win32                          : constant Name_Id := N + 271;
 
    --  Other special names used in processing pragmas
 
-   Name_As_Is                          : constant Name_Id := N + 267;
-   Name_Attribute_Name                 : constant Name_Id := N + 268;
-   Name_Body_File_Name                 : constant Name_Id := N + 269;
-   Name_Boolean_Entry_Barriers         : constant Name_Id := N + 270;
-   Name_Check                          : constant Name_Id := N + 271;
-   Name_Casing                         : constant Name_Id := N + 272;
-   Name_Code                           : constant Name_Id := N + 273;
-   Name_Component                      : constant Name_Id := N + 274;
-   Name_Component_Size_4               : constant Name_Id := N + 275;
-   Name_Copy                           : constant Name_Id := N + 276;
-   Name_D_Float                        : constant Name_Id := N + 277;
-   Name_Descriptor                     : constant Name_Id := N + 278;
-   Name_Dot_Replacement                : constant Name_Id := N + 279;
-   Name_Dynamic                        : constant Name_Id := N + 280;
-   Name_Entity                         : constant Name_Id := N + 281;
-   Name_Entry_Count                    : constant Name_Id := N + 282;
-   Name_External_Name                  : constant Name_Id := N + 283;
-   Name_First_Optional_Parameter       : constant Name_Id := N + 284;
-   Name_Form                           : constant Name_Id := N + 285;
-   Name_G_Float                        : constant Name_Id := N + 286;
-   Name_Gcc                            : constant Name_Id := N + 287;
-   Name_Gnat                           : constant Name_Id := N + 288;
-   Name_GPL                            : constant Name_Id := N + 289;
-   Name_IEEE_Float                     : constant Name_Id := N + 290;
-   Name_Ignore                         : constant Name_Id := N + 291;
-   Name_Info                           : constant Name_Id := N + 292;
-   Name_Internal                       : constant Name_Id := N + 293;
-   Name_Link_Name                      : constant Name_Id := N + 294;
-   Name_Lowercase                      : constant Name_Id := N + 295;
-   Name_Max_Entry_Queue_Depth          : constant Name_Id := N + 296;
-   Name_Max_Entry_Queue_Length         : constant Name_Id := N + 297;
-   Name_Max_Size                       : constant Name_Id := N + 298;
-   Name_Mechanism                      : constant Name_Id := N + 299;
-   Name_Message                        : constant Name_Id := N + 300;
-   Name_Mixedcase                      : constant Name_Id := N + 301;
-   Name_Modified_GPL                   : constant Name_Id := N + 302;
-   Name_Name                           : constant Name_Id := N + 303;
-   Name_NCA                            : constant Name_Id := N + 304;
-   Name_No                             : constant Name_Id := N + 305;
-   Name_No_Dependence                  : constant Name_Id := N + 306;
-   Name_No_Dynamic_Attachment          : constant Name_Id := N + 307;
-   Name_No_Dynamic_Interrupts          : constant Name_Id := N + 308;
-   Name_No_Requeue                     : constant Name_Id := N + 309;
-   Name_No_Requeue_Statements          : constant Name_Id := N + 310;
-   Name_No_Task_Attributes             : constant Name_Id := N + 311;
-   Name_No_Task_Attributes_Package     : constant Name_Id := N + 312;
-   Name_On                             : constant Name_Id := N + 313;
-   Name_Parameter_Types                : constant Name_Id := N + 314;
-   Name_Reference                      : constant Name_Id := N + 315;
-   Name_Restricted                     : constant Name_Id := N + 316;
-   Name_Result_Mechanism               : constant Name_Id := N + 317;
-   Name_Result_Type                    : constant Name_Id := N + 318;
-   Name_Runtime                        : constant Name_Id := N + 319;
-   Name_SB                             : constant Name_Id := N + 320;
-   Name_Secondary_Stack_Size           : constant Name_Id := N + 321;
-   Name_Section                        : constant Name_Id := N + 322;
-   Name_Semaphore                      : constant Name_Id := N + 323;
-   Name_Simple_Barriers                : constant Name_Id := N + 324;
-   Name_Spec_File_Name                 : constant Name_Id := N + 325;
-   Name_State                          : constant Name_Id := N + 326;
-   Name_Static                         : constant Name_Id := N + 327;
-   Name_Stack_Size                     : constant Name_Id := N + 328;
-   Name_Subunit_File_Name              : constant Name_Id := N + 329;
-   Name_Task_Stack_Size_Default        : constant Name_Id := N + 330;
-   Name_Task_Type                      : constant Name_Id := N + 331;
-   Name_Time_Slicing_Enabled           : constant Name_Id := N + 332;
-   Name_Top_Guard                      : constant Name_Id := N + 333;
-   Name_UBA                            : constant Name_Id := N + 334;
-   Name_UBS                            : constant Name_Id := N + 335;
-   Name_UBSB                           : constant Name_Id := N + 336;
-   Name_Unit_Name                      : constant Name_Id := N + 337;
-   Name_Unknown                        : constant Name_Id := N + 338;
-   Name_Unrestricted                   : constant Name_Id := N + 339;
-   Name_Uppercase                      : constant Name_Id := N + 340;
-   Name_User                           : constant Name_Id := N + 341;
-   Name_VAX_Float                      : constant Name_Id := N + 342;
-   Name_VMS                            : constant Name_Id := N + 343;
-   Name_Vtable_Ptr                     : constant Name_Id := N + 344;
-   Name_Working_Storage                : constant Name_Id := N + 345;
+   Name_As_Is                          : constant Name_Id := N + 272;
+   Name_Attribute_Name                 : constant Name_Id := N + 273;
+   Name_Body_File_Name                 : constant Name_Id := N + 274;
+   Name_Boolean_Entry_Barriers         : constant Name_Id := N + 275;
+   Name_Check                          : constant Name_Id := N + 276;
+   Name_Casing                         : constant Name_Id := N + 277;
+   Name_Code                           : constant Name_Id := N + 278;
+   Name_Component                      : constant Name_Id := N + 279;
+   Name_Component_Size_4               : constant Name_Id := N + 280;
+   Name_Copy                           : constant Name_Id := N + 281;
+   Name_D_Float                        : constant Name_Id := N + 282;
+   Name_Descriptor                     : constant Name_Id := N + 283;
+   Name_Dot_Replacement                : constant Name_Id := N + 284;
+   Name_Dynamic                        : constant Name_Id := N + 285;
+   Name_Entity                         : constant Name_Id := N + 286;
+   Name_Entry_Count                    : constant Name_Id := N + 287;
+   Name_External_Name                  : constant Name_Id := N + 288;
+   Name_First_Optional_Parameter       : constant Name_Id := N + 289;
+   Name_Form                           : constant Name_Id := N + 290;
+   Name_G_Float                        : constant Name_Id := N + 291;
+   Name_Gcc                            : constant Name_Id := N + 292;
+   Name_Gnat                           : constant Name_Id := N + 293;
+   Name_GPL                            : constant Name_Id := N + 294;
+   Name_IEEE_Float                     : constant Name_Id := N + 295;
+   Name_Ignore                         : constant Name_Id := N + 296;
+   Name_Info                           : constant Name_Id := N + 297;
+   Name_Internal                       : constant Name_Id := N + 298;
+   Name_Link_Name                      : constant Name_Id := N + 299;
+   Name_Lowercase                      : constant Name_Id := N + 300;
+   Name_Max_Entry_Queue_Depth          : constant Name_Id := N + 301;
+   Name_Max_Entry_Queue_Length         : constant Name_Id := N + 302;
+   Name_Max_Size                       : constant Name_Id := N + 303;
+   Name_Mechanism                      : constant Name_Id := N + 304;
+   Name_Message                        : constant Name_Id := N + 305;
+   Name_Mixedcase                      : constant Name_Id := N + 306;
+   Name_Modified_GPL                   : constant Name_Id := N + 307;
+   Name_Name                           : constant Name_Id := N + 308;
+   Name_NCA                            : constant Name_Id := N + 309;
+   Name_No                             : constant Name_Id := N + 310;
+   Name_No_Dependence                  : constant Name_Id := N + 311;
+   Name_No_Dynamic_Attachment          : constant Name_Id := N + 312;
+   Name_No_Dynamic_Interrupts          : constant Name_Id := N + 313;
+   Name_No_Requeue                     : constant Name_Id := N + 314;
+   Name_No_Requeue_Statements          : constant Name_Id := N + 315;
+   Name_No_Task_Attributes             : constant Name_Id := N + 316;
+   Name_No_Task_Attributes_Package     : constant Name_Id := N + 317;
+   Name_On                             : constant Name_Id := N + 318;
+   Name_Parameter_Types                : constant Name_Id := N + 319;
+   Name_Reference                      : constant Name_Id := N + 320;
+   Name_Restricted                     : constant Name_Id := N + 321;
+   Name_Result_Mechanism               : constant Name_Id := N + 322;
+   Name_Result_Type                    : constant Name_Id := N + 323;
+   Name_Runtime                        : constant Name_Id := N + 324;
+   Name_SB                             : constant Name_Id := N + 325;
+   Name_Secondary_Stack_Size           : constant Name_Id := N + 326;
+   Name_Section                        : constant Name_Id := N + 327;
+   Name_Semaphore                      : constant Name_Id := N + 328;
+   Name_Simple_Barriers                : constant Name_Id := N + 329;
+   Name_Spec_File_Name                 : constant Name_Id := N + 330;
+   Name_State                          : constant Name_Id := N + 331;
+   Name_Static                         : constant Name_Id := N + 332;
+   Name_Stack_Size                     : constant Name_Id := N + 333;
+   Name_Subunit_File_Name              : constant Name_Id := N + 334;
+   Name_Task_Stack_Size_Default        : constant Name_Id := N + 335;
+   Name_Task_Type                      : constant Name_Id := N + 336;
+   Name_Time_Slicing_Enabled           : constant Name_Id := N + 337;
+   Name_Top_Guard                      : constant Name_Id := N + 338;
+   Name_UBA                            : constant Name_Id := N + 339;
+   Name_UBS                            : constant Name_Id := N + 340;
+   Name_UBSB                           : constant Name_Id := N + 341;
+   Name_Unit_Name                      : constant Name_Id := N + 342;
+   Name_Unknown                        : constant Name_Id := N + 343;
+   Name_Unrestricted                   : constant Name_Id := N + 344;
+   Name_Uppercase                      : constant Name_Id := N + 345;
+   Name_User                           : constant Name_Id := N + 346;
+   Name_VAX_Float                      : constant Name_Id := N + 347;
+   Name_VMS                            : constant Name_Id := N + 348;
+   Name_Vtable_Ptr                     : constant Name_Id := N + 349;
+   Name_Working_Storage                : constant Name_Id := N + 350;
 
    --  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
@@ -616,165 +625,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 + 346;
-   Name_Abort_Signal                   : constant Name_Id := N + 346; -- GNAT
-   Name_Access                         : constant Name_Id := N + 347;
-   Name_Address                        : constant Name_Id := N + 348;
-   Name_Address_Size                   : constant Name_Id := N + 349; -- GNAT
-   Name_Aft                            : constant Name_Id := N + 350;
-   Name_Alignment                      : constant Name_Id := N + 351;
-   Name_Asm_Input                      : constant Name_Id := N + 352; -- GNAT
-   Name_Asm_Output                     : constant Name_Id := N + 353; -- GNAT
-   Name_AST_Entry                      : constant Name_Id := N + 354; -- VMS
-   Name_Bit                            : constant Name_Id := N + 355; -- GNAT
-   Name_Bit_Order                      : constant Name_Id := N + 356;
-   Name_Bit_Position                   : constant Name_Id := N + 357; -- GNAT
-   Name_Body_Version                   : constant Name_Id := N + 358;
-   Name_Callable                       : constant Name_Id := N + 359;
-   Name_Caller                         : constant Name_Id := N + 360;
-   Name_Code_Address                   : constant Name_Id := N + 361; -- GNAT
-   Name_Component_Size                 : constant Name_Id := N + 362;
-   Name_Compose                        : constant Name_Id := N + 363;
-   Name_Constrained                    : constant Name_Id := N + 364;
-   Name_Count                          : constant Name_Id := N + 365;
-   Name_Default_Bit_Order              : constant Name_Id := N + 366; -- GNAT
-   Name_Definite                       : constant Name_Id := N + 367;
-   Name_Delta                          : constant Name_Id := N + 368;
-   Name_Denorm                         : constant Name_Id := N + 369;
-   Name_Digits                         : constant Name_Id := N + 370;
-   Name_Elaborated                     : constant Name_Id := N + 371; -- GNAT
-   Name_Emax                           : constant Name_Id := N + 372; -- Ada 83
-   Name_Enum_Rep                       : constant Name_Id := N + 373; -- GNAT
-   Name_Epsilon                        : constant Name_Id := N + 374; -- Ada 83
-   Name_Exponent                       : constant Name_Id := N + 375;
-   Name_External_Tag                   : constant Name_Id := N + 376;
-   Name_First                          : constant Name_Id := N + 377;
-   Name_First_Bit                      : constant Name_Id := N + 378;
-   Name_Fixed_Value                    : constant Name_Id := N + 379; -- GNAT
-   Name_Fore                           : constant Name_Id := N + 380;
-   Name_Has_Access_Values              : constant Name_Id := N + 381; -- GNAT
-   Name_Has_Discriminants              : constant Name_Id := N + 382; -- GNAT
-   Name_Identity                       : constant Name_Id := N + 383;
-   Name_Img                            : constant Name_Id := N + 384; -- GNAT
-   Name_Integer_Value                  : constant Name_Id := N + 385; -- GNAT
-   Name_Large                          : constant Name_Id := N + 386; -- Ada 83
-   Name_Last                           : constant Name_Id := N + 387;
-   Name_Last_Bit                       : constant Name_Id := N + 388;
-   Name_Leading_Part                   : constant Name_Id := N + 389;
-   Name_Length                         : constant Name_Id := N + 390;
-   Name_Machine_Emax                   : constant Name_Id := N + 391;
-   Name_Machine_Emin                   : constant Name_Id := N + 392;
-   Name_Machine_Mantissa               : constant Name_Id := N + 393;
-   Name_Machine_Overflows              : constant Name_Id := N + 394;
-   Name_Machine_Radix                  : constant Name_Id := N + 395;
-   Name_Machine_Rounds                 : constant Name_Id := N + 396;
-   Name_Machine_Size                   : constant Name_Id := N + 397; -- GNAT
-   Name_Mantissa                       : constant Name_Id := N + 398; -- Ada 83
-   Name_Max_Size_In_Storage_Elements   : constant Name_Id := N + 399;
-   Name_Maximum_Alignment              : constant Name_Id := N + 400; -- GNAT
-   Name_Mechanism_Code                 : constant Name_Id := N + 401; -- GNAT
-   Name_Mod                            : constant Name_Id := N + 402;
-   Name_Model_Emin                     : constant Name_Id := N + 403;
-   Name_Model_Epsilon                  : constant Name_Id := N + 404;
-   Name_Model_Mantissa                 : constant Name_Id := N + 405;
-   Name_Model_Small                    : constant Name_Id := N + 406;
-   Name_Modulus                        : constant Name_Id := N + 407;
-   Name_Null_Parameter                 : constant Name_Id := N + 408; -- GNAT
-   Name_Object_Size                    : constant Name_Id := N + 409; -- GNAT
-   Name_Partition_ID                   : constant Name_Id := N + 410;
-   Name_Passed_By_Reference            : constant Name_Id := N + 411; -- GNAT
-   Name_Pool_Address                   : constant Name_Id := N + 412;
-   Name_Pos                            : constant Name_Id := N + 413;
-   Name_Position                       : constant Name_Id := N + 414;
-   Name_Range                          : constant Name_Id := N + 415;
-   Name_Range_Length                   : constant Name_Id := N + 416; -- GNAT
-   Name_Round                          : constant Name_Id := N + 417;
-   Name_Safe_Emax                      : constant Name_Id := N + 418; -- Ada 83
-   Name_Safe_First                     : constant Name_Id := N + 419;
-   Name_Safe_Large                     : constant Name_Id := N + 420; -- Ada 83
-   Name_Safe_Last                      : constant Name_Id := N + 421;
-   Name_Safe_Small                     : constant Name_Id := N + 422; -- Ada 83
-   Name_Scale                          : constant Name_Id := N + 423;
-   Name_Scaling                        : constant Name_Id := N + 424;
-   Name_Signed_Zeros                   : constant Name_Id := N + 425;
-   Name_Size                           : constant Name_Id := N + 426;
-   Name_Small                          : constant Name_Id := N + 427;
-   Name_Storage_Size                   : constant Name_Id := N + 428;
-   Name_Storage_Unit                   : constant Name_Id := N + 429; -- GNAT
-   Name_Stream_Size                    : constant Name_Id := N + 430; -- Ada 05
-   Name_Tag                            : constant Name_Id := N + 431;
-   Name_Target_Name                    : constant Name_Id := N + 432; -- GNAT
-   Name_Terminated                     : constant Name_Id := N + 433;
-   Name_To_Address                     : constant Name_Id := N + 434; -- GNAT
-   Name_Type_Class                     : constant Name_Id := N + 435; -- GNAT
-   Name_UET_Address                    : constant Name_Id := N + 436; -- GNAT
-   Name_Unbiased_Rounding              : constant Name_Id := N + 437;
-   Name_Unchecked_Access               : constant Name_Id := N + 438;
-   Name_Unconstrained_Array            : constant Name_Id := N + 439;
-   Name_Universal_Literal_String       : constant Name_Id := N + 440; -- GNAT
-   Name_Unrestricted_Access            : constant Name_Id := N + 441; -- GNAT
-   Name_VADS_Size                      : constant Name_Id := N + 442; -- GNAT
-   Name_Val                            : constant Name_Id := N + 443;
-   Name_Valid                          : constant Name_Id := N + 444;
-   Name_Value_Size                     : constant Name_Id := N + 445; -- GNAT
-   Name_Version                        : constant Name_Id := N + 446;
-   Name_Wchar_T_Size                   : constant Name_Id := N + 447; -- GNAT
-   Name_Wide_Wide_Width                : constant Name_Id := N + 448; -- Ada 05
-   Name_Wide_Width                     : constant Name_Id := N + 449;
-   Name_Width                          : constant Name_Id := N + 450;
-   Name_Word_Size                      : constant Name_Id := N + 451; -- GNAT
+   First_Attribute_Name                : constant Name_Id := N + 351;
+   Name_Abort_Signal                   : constant Name_Id := N + 351; -- GNAT
+   Name_Access                         : constant Name_Id := N + 352;
+   Name_Address                        : constant Name_Id := N + 353;
+   Name_Address_Size                   : constant Name_Id := N + 354; -- GNAT
+   Name_Aft                            : constant Name_Id := N + 355;
+   Name_Alignment                      : constant Name_Id := N + 356;
+   Name_Asm_Input                      : constant Name_Id := N + 357; -- GNAT
+   Name_Asm_Output                     : constant Name_Id := N + 358; -- GNAT
+   Name_AST_Entry                      : constant Name_Id := N + 359; -- VMS
+   Name_Bit                            : constant Name_Id := N + 360; -- GNAT
+   Name_Bit_Order                      : constant Name_Id := N + 361;
+   Name_Bit_Position                   : constant Name_Id := N + 362; -- GNAT
+   Name_Body_Version                   : constant Name_Id := N + 363;
+   Name_Callable                       : constant Name_Id := N + 364;
+   Name_Caller                         : constant Name_Id := N + 365;
+   Name_Code_Address                   : constant Name_Id := N + 366; -- GNAT
+   Name_Component_Size                 : constant Name_Id := N + 367;
+   Name_Compose                        : constant Name_Id := N + 368;
+   Name_Constrained                    : constant Name_Id := N + 369;
+   Name_Count                          : constant Name_Id := N + 370;
+   Name_Default_Bit_Order              : constant Name_Id := N + 371; -- GNAT
+   Name_Definite                       : constant Name_Id := N + 372;
+   Name_Delta                          : constant Name_Id := N + 373;
+   Name_Denorm                         : constant Name_Id := N + 374;
+   Name_Digits                         : constant Name_Id := N + 375;
+   Name_Elaborated                     : constant Name_Id := N + 376; -- GNAT
+   Name_Emax                           : constant Name_Id := N + 377; -- Ada 83
+   Name_Enum_Rep                       : constant Name_Id := N + 378; -- GNAT
+   Name_Epsilon                        : constant Name_Id := N + 379; -- Ada 83
+   Name_Exponent                       : constant Name_Id := N + 380;
+   Name_External_Tag                   : constant Name_Id := N + 381;
+   Name_First                          : constant Name_Id := N + 382;
+   Name_First_Bit                      : constant Name_Id := N + 383;
+   Name_Fixed_Value                    : constant Name_Id := N + 384; -- GNAT
+   Name_Fore                           : constant Name_Id := N + 385;
+   Name_Has_Access_Values              : constant Name_Id := N + 386; -- GNAT
+   Name_Has_Discriminants              : constant Name_Id := N + 387; -- GNAT
+   Name_Identity                       : constant Name_Id := N + 388;
+   Name_Img                            : constant Name_Id := N + 389; -- GNAT
+   Name_Integer_Value                  : constant Name_Id := N + 390; -- GNAT
+   Name_Large                          : constant Name_Id := N + 391; -- Ada 83
+   Name_Last                           : constant Name_Id := N + 392;
+   Name_Last_Bit                       : constant Name_Id := N + 393;
+   Name_Leading_Part                   : constant Name_Id := N + 394;
+   Name_Length                         : constant Name_Id := N + 395;
+   Name_Machine_Emax                   : constant Name_Id := N + 396;
+   Name_Machine_Emin                   : constant Name_Id := N + 397;
+   Name_Machine_Mantissa               : constant Name_Id := N + 398;
+   Name_Machine_Overflows              : constant Name_Id := N + 399;
+   Name_Machine_Radix                  : constant Name_Id := N + 400;
+   Name_Machine_Rounds                 : constant Name_Id := N + 401;
+   Name_Machine_Size                   : constant Name_Id := N + 402; -- GNAT
+   Name_Mantissa                       : constant Name_Id := N + 403; -- Ada 83
+   Name_Max_Size_In_Storage_Elements   : constant Name_Id := N + 404;
+   Name_Maximum_Alignment              : constant Name_Id := N + 405; -- GNAT
+   Name_Mechanism_Code                 : constant Name_Id := N + 406; -- GNAT
+   Name_Mod                            : constant Name_Id := N + 407;
+   Name_Model_Emin                     : constant Name_Id := N + 408;
+   Name_Model_Epsilon                  : constant Name_Id := N + 409;
+   Name_Model_Mantissa                 : constant Name_Id := N + 410;
+   Name_Model_Small                    : constant Name_Id := N + 411;
+   Name_Modulus                        : constant Name_Id := N + 412;
+   Name_Null_Parameter                 : constant Name_Id := N + 413; -- GNAT
+   Name_Object_Size                    : constant Name_Id := N + 414; -- GNAT
+   Name_Partition_ID                   : constant Name_Id := N + 415;
+   Name_Passed_By_Reference            : constant Name_Id := N + 416; -- GNAT
+   Name_Pool_Address                   : constant Name_Id := N + 417;
+   Name_Pos                            : constant Name_Id := N + 418;
+   Name_Position                       : constant Name_Id := N + 419;
+   Name_Range                          : constant Name_Id := N + 420;
+   Name_Range_Length                   : constant Name_Id := N + 421; -- GNAT
+   Name_Round                          : constant Name_Id := N + 422;
+   Name_Safe_Emax                      : constant Name_Id := N + 423; -- Ada 83
+   Name_Safe_First                     : constant Name_Id := N + 424;
+   Name_Safe_Large                     : constant Name_Id := N + 425; -- Ada 83
+   Name_Safe_Last                      : constant Name_Id := N + 426;
+   Name_Safe_Small                     : constant Name_Id := N + 427; -- Ada 83
+   Name_Scale                          : constant Name_Id := N + 428;
+   Name_Scaling                        : constant Name_Id := N + 429;
+   Name_Signed_Zeros                   : constant Name_Id := N + 430;
+   Name_Size                           : constant Name_Id := N + 431;
+   Name_Small                          : constant Name_Id := N + 432;
+   Name_Storage_Size                   : constant Name_Id := N + 433;
+   Name_Storage_Unit                   : constant Name_Id := N + 434; -- GNAT
+   Name_Stream_Size                    : constant Name_Id := N + 435; -- Ada 05
+   Name_Tag                            : constant Name_Id := N + 436;
+   Name_Target_Name                    : constant Name_Id := N + 437; -- GNAT
+   Name_Terminated                     : constant Name_Id := N + 438;
+   Name_To_Address                     : constant Name_Id := N + 439; -- GNAT
+   Name_Type_Class                     : constant Name_Id := N + 440; -- GNAT
+   Name_UET_Address                    : constant Name_Id := N + 441; -- GNAT
+   Name_Unbiased_Rounding              : constant Name_Id := N + 442;
+   Name_Unchecked_Access               : constant Name_Id := N + 443;
+   Name_Unconstrained_Array            : constant Name_Id := N + 444;
+   Name_Universal_Literal_String       : constant Name_Id := N + 445; -- GNAT
+   Name_Unrestricted_Access            : constant Name_Id := N + 446; -- GNAT
+   Name_VADS_Size                      : constant Name_Id := N + 447; -- GNAT
+   Name_Val                            : constant Name_Id := N + 448;
+   Name_Valid                          : constant Name_Id := N + 449;
+   Name_Value_Size                     : constant Name_Id := N + 450; -- GNAT
+   Name_Version                        : constant Name_Id := N + 451;
+   Name_Wchar_T_Size                   : constant Name_Id := N + 452; -- GNAT
+   Name_Wide_Wide_Width                : constant Name_Id := N + 453; -- Ada 05
+   Name_Wide_Width                     : constant Name_Id := N + 454;
+   Name_Width                          : constant Name_Id := N + 455;
+   Name_Word_Size                      : constant Name_Id := N + 456; -- 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 + 452;
-   Name_Adjacent                       : constant Name_Id := N + 452;
-   Name_Ceiling                        : constant Name_Id := N + 453;
-   Name_Copy_Sign                      : constant Name_Id := N + 454;
-   Name_Floor                          : constant Name_Id := N + 455;
-   Name_Fraction                       : constant Name_Id := N + 456;
-   Name_Image                          : constant Name_Id := N + 457;
-   Name_Input                          : constant Name_Id := N + 458;
-   Name_Machine                        : constant Name_Id := N + 459;
-   Name_Max                            : constant Name_Id := N + 460;
-   Name_Min                            : constant Name_Id := N + 461;
-   Name_Model                          : constant Name_Id := N + 462;
-   Name_Pred                           : constant Name_Id := N + 463;
-   Name_Remainder                      : constant Name_Id := N + 464;
-   Name_Rounding                       : constant Name_Id := N + 465;
-   Name_Succ                           : constant Name_Id := N + 466;
-   Name_Truncation                     : constant Name_Id := N + 467;
-   Name_Value                          : constant Name_Id := N + 468;
-   Name_Wide_Image                     : constant Name_Id := N + 469;
-   Name_Wide_Wide_Image                : constant Name_Id := N + 470;
-   Name_Wide_Value                     : constant Name_Id := N + 471;
-   Name_Wide_Wide_Value                : constant Name_Id := N + 472;
-   Last_Renamable_Function_Attribute   : constant Name_Id := N + 472;
+   First_Renamable_Function_Attribute  : constant Name_Id := N + 457;
+   Name_Adjacent                       : constant Name_Id := N + 457;
+   Name_Ceiling                        : constant Name_Id := N + 458;
+   Name_Copy_Sign                      : constant Name_Id := N + 459;
+   Name_Floor                          : constant Name_Id := N + 460;
+   Name_Fraction                       : constant Name_Id := N + 461;
+   Name_Image                          : constant Name_Id := N + 462;
+   Name_Input                          : constant Name_Id := N + 463;
+   Name_Machine                        : constant Name_Id := N + 464;
+   Name_Max                            : constant Name_Id := N + 465;
+   Name_Min                            : constant Name_Id := N + 466;
+   Name_Model                          : constant Name_Id := N + 467;
+   Name_Pred                           : constant Name_Id := N + 468;
+   Name_Remainder                      : constant Name_Id := N + 469;
+   Name_Rounding                       : constant Name_Id := N + 470;
+   Name_Succ                           : constant Name_Id := N + 471;
+   Name_Truncation                     : constant Name_Id := N + 472;
+   Name_Value                          : constant Name_Id := N + 473;
+   Name_Wide_Image                     : constant Name_Id := N + 474;
+   Name_Wide_Wide_Image                : constant Name_Id := N + 475;
+   Name_Wide_Value                     : constant Name_Id := N + 476;
+   Name_Wide_Wide_Value                : constant Name_Id := N + 477;
+   Last_Renamable_Function_Attribute   : constant Name_Id := N + 477;
 
    --  Attributes that designate procedures
 
-   First_Procedure_Attribute           : constant Name_Id := N + 473;
-   Name_Output                         : constant Name_Id := N + 473;
-   Name_Read                           : constant Name_Id := N + 474;
-   Name_Write                          : constant Name_Id := N + 475;
-   Last_Procedure_Attribute            : constant Name_Id := N + 475;
+   First_Procedure_Attribute           : constant Name_Id := N + 478;
+   Name_Output                         : constant Name_Id := N + 478;
+   Name_Read                           : constant Name_Id := N + 479;
+   Name_Write                          : constant Name_Id := N + 480;
+   Last_Procedure_Attribute            : constant Name_Id := N + 480;
 
    --  Remaining attributes are ones that return entities
 
-   First_Entity_Attribute_Name         : constant Name_Id := N + 476;
-   Name_Elab_Body                      : constant Name_Id := N + 476; -- GNAT
-   Name_Elab_Spec                      : constant Name_Id := N + 477; -- GNAT
-   Name_Storage_Pool                   : constant Name_Id := N + 478;
+   First_Entity_Attribute_Name         : constant Name_Id := N + 481;
+   Name_Elab_Body                      : constant Name_Id := N + 481; -- GNAT
+   Name_Elab_Spec                      : constant Name_Id := N + 482; -- GNAT
+   Name_Storage_Pool                   : constant Name_Id := N + 483;
 
    --  These attributes are the ones that return types
 
-   First_Type_Attribute_Name           : constant Name_Id := N + 479;
-   Name_Base                           : constant Name_Id := N + 479;
-   Name_Class                          : constant Name_Id := N + 480;
-   Last_Type_Attribute_Name            : constant Name_Id := N + 480;
-   Last_Entity_Attribute_Name          : constant Name_Id := N + 480;
-   Last_Attribute_Name                 : constant Name_Id := N + 480;
+   First_Type_Attribute_Name           : constant Name_Id := N + 484;
+   Name_Base                           : constant Name_Id := N + 484;
+   Name_Class                          : constant Name_Id := N + 485;
+   Last_Type_Attribute_Name            : constant Name_Id := N + 485;
+   Last_Entity_Attribute_Name          : constant Name_Id := N + 485;
+   Last_Attribute_Name                 : constant Name_Id := N + 485;
 
    --  Names of recognized locking policy identifiers
 
@@ -782,21 +791,21 @@ 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 + 481;
-   Name_Ceiling_Locking                : constant Name_Id := N + 481;
-   Name_Inheritance_Locking            : constant Name_Id := N + 482;
-   Last_Locking_Policy_Name            : constant Name_Id := N + 482;
+   First_Locking_Policy_Name           : constant Name_Id := N + 486;
+   Name_Ceiling_Locking                : constant Name_Id := N + 486;
+   Name_Inheritance_Locking            : constant Name_Id := N + 487;
+   Last_Locking_Policy_Name            : constant Name_Id := N + 487;
 
-   --  Names of recognized queuing policy identifiers.
+   --  Names of recognized queuing policy identifiers
 
    --  Note: policies are identified by the first character of the
    --  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 + 483;
-   Name_FIFO_Queuing                   : constant Name_Id := N + 483;
-   Name_Priority_Queuing               : constant Name_Id := N + 484;
-   Last_Queuing_Policy_Name            : constant Name_Id := N + 484;
+   First_Queuing_Policy_Name           : constant Name_Id := N + 488;
+   Name_FIFO_Queuing                   : constant Name_Id := N + 488;
+   Name_Priority_Queuing               : constant Name_Id := N + 489;
+   Last_Queuing_Policy_Name            : constant Name_Id := N + 489;
 
    --  Names of recognized task dispatching policy identifiers
 
@@ -804,215 +813,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 + 485;
-   Name_FIFO_Within_Priorities         : constant Name_Id := N + 485;
-   Last_Task_Dispatching_Policy_Name   : constant Name_Id := N + 485;
+   First_Task_Dispatching_Policy_Name  : constant Name_Id := N + 490;
+   Name_FIFO_Within_Priorities         : constant Name_Id := N + 490;
+   Last_Task_Dispatching_Policy_Name   : constant Name_Id := N + 490;
 
    --  Names of recognized checks for pragma Suppress
 
-   First_Check_Name                    : constant Name_Id := N + 486;
-   Name_Access_Check                   : constant Name_Id := N + 486;
-   Name_Accessibility_Check            : constant Name_Id := N + 487;
-   Name_Discriminant_Check             : constant Name_Id := N + 488;
-   Name_Division_Check                 : constant Name_Id := N + 489;
-   Name_Elaboration_Check              : constant Name_Id := N + 490;
-   Name_Index_Check                    : constant Name_Id := N + 491;
-   Name_Length_Check                   : constant Name_Id := N + 492;
-   Name_Overflow_Check                 : constant Name_Id := N + 493;
-   Name_Range_Check                    : constant Name_Id := N + 494;
-   Name_Storage_Check                  : constant Name_Id := N + 495;
-   Name_Tag_Check                      : constant Name_Id := N + 496;
-   Name_All_Checks                     : constant Name_Id := N + 497;
-   Last_Check_Name                     : constant Name_Id := N + 497;
+   First_Check_Name                    : constant Name_Id := N + 491;
+   Name_Access_Check                   : constant Name_Id := N + 491;
+   Name_Accessibility_Check            : constant Name_Id := N + 492;
+   Name_Discriminant_Check             : constant Name_Id := N + 493;
+   Name_Division_Check                 : constant Name_Id := N + 494;
+   Name_Elaboration_Check              : constant Name_Id := N + 495;
+   Name_Index_Check                    : constant Name_Id := N + 496;
+   Name_Length_Check                   : constant Name_Id := N + 497;
+   Name_Overflow_Check                 : constant Name_Id := N + 498;
+   Name_Range_Check                    : constant Name_Id := N + 499;
+   Name_Storage_Check                  : constant Name_Id := N + 500;
+   Name_Tag_Check                      : constant Name_Id := N + 501;
+   Name_All_Checks                     : constant Name_Id := N + 502;
+   Last_Check_Name                     : constant Name_Id := N + 502;
 
    --  Names corresponding to reserved keywords, excluding those already
    --  declared in the attribute list (Access, Delta, Digits, Mod, Range).
 
-   Name_Abort                          : constant Name_Id := N + 498;
-   Name_Abs                            : constant Name_Id := N + 499;
-   Name_Accept                         : constant Name_Id := N + 500;
-   Name_And                            : constant Name_Id := N + 501;
-   Name_All                            : constant Name_Id := N + 502;
-   Name_Array                          : constant Name_Id := N + 503;
-   Name_At                             : constant Name_Id := N + 504;
-   Name_Begin                          : constant Name_Id := N + 505;
-   Name_Body                           : constant Name_Id := N + 506;
-   Name_Case                           : constant Name_Id := N + 507;
-   Name_Constant                       : constant Name_Id := N + 508;
-   Name_Declare                        : constant Name_Id := N + 509;
-   Name_Delay                          : constant Name_Id := N + 510;
-   Name_Do                             : constant Name_Id := N + 511;
-   Name_Else                           : constant Name_Id := N + 512;
-   Name_Elsif                          : constant Name_Id := N + 513;
-   Name_End                            : constant Name_Id := N + 514;
-   Name_Entry                          : constant Name_Id := N + 515;
-   Name_Exception                      : constant Name_Id := N + 516;
-   Name_Exit                           : constant Name_Id := N + 517;
-   Name_For                            : constant Name_Id := N + 518;
-   Name_Function                       : constant Name_Id := N + 519;
-   Name_Generic                        : constant Name_Id := N + 520;
-   Name_Goto                           : constant Name_Id := N + 521;
-   Name_If                             : constant Name_Id := N + 522;
-   Name_In                             : constant Name_Id := N + 523;
-   Name_Is                             : constant Name_Id := N + 524;
-   Name_Limited                        : constant Name_Id := N + 525;
-   Name_Loop                           : constant Name_Id := N + 526;
-   Name_New                            : constant Name_Id := N + 527;
-   Name_Not                            : constant Name_Id := N + 528;
-   Name_Null                           : constant Name_Id := N + 529;
-   Name_Of                             : constant Name_Id := N + 530;
-   Name_Or                             : constant Name_Id := N + 531;
-   Name_Others                         : constant Name_Id := N + 532;
-   Name_Out                            : constant Name_Id := N + 533;
-   Name_Package                        : constant Name_Id := N + 534;
-   Name_Pragma                         : constant Name_Id := N + 535;
-   Name_Private                        : constant Name_Id := N + 536;
-   Name_Procedure                      : constant Name_Id := N + 537;
-   Name_Raise                          : constant Name_Id := N + 538;
-   Name_Record                         : constant Name_Id := N + 539;
-   Name_Rem                            : constant Name_Id := N + 540;
-   Name_Renames                        : constant Name_Id := N + 541;
-   Name_Return                         : constant Name_Id := N + 542;
-   Name_Reverse                        : constant Name_Id := N + 543;
-   Name_Select                         : constant Name_Id := N + 544;
-   Name_Separate                       : constant Name_Id := N + 545;
-   Name_Subtype                        : constant Name_Id := N + 546;
-   Name_Task                           : constant Name_Id := N + 547;
-   Name_Terminate                      : constant Name_Id := N + 548;
-   Name_Then                           : constant Name_Id := N + 549;
-   Name_Type                           : constant Name_Id := N + 550;
-   Name_Use                            : constant Name_Id := N + 551;
-   Name_When                           : constant Name_Id := N + 552;
-   Name_While                          : constant Name_Id := N + 553;
-   Name_With                           : constant Name_Id := N + 554;
-   Name_Xor                            : constant Name_Id := N + 555;
+   Name_Abort                          : constant Name_Id := N + 503;
+   Name_Abs                            : constant Name_Id := N + 504;
+   Name_Accept                         : constant Name_Id := N + 505;
+   Name_And                            : constant Name_Id := N + 506;
+   Name_All                            : constant Name_Id := N + 507;
+   Name_Array                          : constant Name_Id := N + 508;
+   Name_At                             : constant Name_Id := N + 509;
+   Name_Begin                          : constant Name_Id := N + 510;
+   Name_Body                           : constant Name_Id := N + 511;
+   Name_Case                           : constant Name_Id := N + 512;
+   Name_Constant                       : constant Name_Id := N + 513;
+   Name_Declare                        : constant Name_Id := N + 514;
+   Name_Delay                          : constant Name_Id := N + 515;
+   Name_Do                             : constant Name_Id := N + 516;
+   Name_Else                           : constant Name_Id := N + 517;
+   Name_Elsif                          : constant Name_Id := N + 518;
+   Name_End                            : constant Name_Id := N + 519;
+   Name_Entry                          : constant Name_Id := N + 520;
+   Name_Exception                      : constant Name_Id := N + 521;
+   Name_Exit                           : constant Name_Id := N + 522;
+   Name_For                            : constant Name_Id := N + 523;
+   Name_Function                       : constant Name_Id := N + 524;
+   Name_Generic                        : constant Name_Id := N + 525;
+   Name_Goto                           : constant Name_Id := N + 526;
+   Name_If                             : constant Name_Id := N + 527;
+   Name_In                             : constant Name_Id := N + 528;
+   Name_Is                             : constant Name_Id := N + 529;
+   Name_Limited                        : constant Name_Id := N + 530;
+   Name_Loop                           : constant Name_Id := N + 531;
+   Name_New                            : constant Name_Id := N + 532;
+   Name_Not                            : constant Name_Id := N + 533;
+   Name_Null                           : constant Name_Id := N + 534;
+   Name_Of                             : constant Name_Id := N + 535;
+   Name_Or                             : constant Name_Id := N + 536;
+   Name_Others                         : constant Name_Id := N + 537;
+   Name_Out                            : constant Name_Id := N + 538;
+   Name_Package                        : constant Name_Id := N + 539;
+   Name_Pragma                         : constant Name_Id := N + 540;
+   Name_Private                        : constant Name_Id := N + 541;
+   Name_Procedure                      : constant Name_Id := N + 542;
+   Name_Raise                          : constant Name_Id := N + 543;
+   Name_Record                         : constant Name_Id := N + 544;
+   Name_Rem                            : constant Name_Id := N + 545;
+   Name_Renames                        : constant Name_Id := N + 546;
+   Name_Return                         : constant Name_Id := N + 547;
+   Name_Reverse                        : constant Name_Id := N + 548;
+   Name_Select                         : constant Name_Id := N + 549;
+   Name_Separate                       : constant Name_Id := N + 550;
+   Name_Subtype                        : constant Name_Id := N + 551;
+   Name_Task                           : constant Name_Id := N + 552;
+   Name_Terminate                      : constant Name_Id := N + 553;
+   Name_Then                           : constant Name_Id := N + 554;
+   Name_Type                           : constant Name_Id := N + 555;
+   Name_Use                            : constant Name_Id := N + 556;
+   Name_When                           : constant Name_Id := N + 557;
+   Name_While                          : constant Name_Id := N + 558;
+   Name_With                           : constant Name_Id := N + 559;
+   Name_Xor                            : constant Name_Id := N + 560;
 
    --  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 + 556;
-   Name_Divide                          : constant Name_Id := N + 556;
-   Name_Enclosing_Entity                : constant Name_Id := N + 557;
-   Name_Exception_Information           : constant Name_Id := N + 558;
-   Name_Exception_Message               : constant Name_Id := N + 559;
-   Name_Exception_Name                  : constant Name_Id := N + 560;
-   Name_File                            : constant Name_Id := N + 561;
-   Name_Generic_Dispatching_Constructor : constant Name_Id := N + 562;
-   Name_Import_Address                  : constant Name_Id := N + 563;
-   Name_Import_Largest_Value            : constant Name_Id := N + 564;
-   Name_Import_Value                    : constant Name_Id := N + 565;
-   Name_Is_Negative                     : constant Name_Id := N + 566;
-   Name_Line                            : constant Name_Id := N + 567;
-   Name_Rotate_Left                     : constant Name_Id := N + 568;
-   Name_Rotate_Right                    : constant Name_Id := N + 569;
-   Name_Shift_Left                      : constant Name_Id := N + 570;
-   Name_Shift_Right                     : constant Name_Id := N + 571;
-   Name_Shift_Right_Arithmetic          : constant Name_Id := N + 572;
-   Name_Source_Location                 : constant Name_Id := N + 573;
-   Name_Unchecked_Conversion            : constant Name_Id := N + 574;
-   Name_Unchecked_Deallocation          : constant Name_Id := N + 575;
-   Name_To_Pointer                      : constant Name_Id := N + 576;
-   Last_Intrinsic_Name                  : constant Name_Id := N + 576;
+   First_Intrinsic_Name                 : constant Name_Id := N + 561;
+   Name_Divide                          : constant Name_Id := N + 561;
+   Name_Enclosing_Entity                : constant Name_Id := N + 562;
+   Name_Exception_Information           : constant Name_Id := N + 563;
+   Name_Exception_Message               : constant Name_Id := N + 564;
+   Name_Exception_Name                  : constant Name_Id := N + 565;
+   Name_File                            : constant Name_Id := N + 566;
+   Name_Generic_Dispatching_Constructor : constant Name_Id := N + 567;
+   Name_Import_Address                  : constant Name_Id := N + 568;
+   Name_Import_Largest_Value            : constant Name_Id := N + 569;
+   Name_Import_Value                    : constant Name_Id := N + 570;
+   Name_Is_Negative                     : constant Name_Id := N + 571;
+   Name_Line                            : constant Name_Id := N + 572;
+   Name_Rotate_Left                     : constant Name_Id := N + 573;
+   Name_Rotate_Right                    : constant Name_Id := N + 574;
+   Name_Shift_Left                      : constant Name_Id := N + 575;
+   Name_Shift_Right                     : constant Name_Id := N + 576;
+   Name_Shift_Right_Arithmetic          : constant Name_Id := N + 577;
+   Name_Source_Location                 : constant Name_Id := N + 578;
+   Name_Unchecked_Conversion            : constant Name_Id := N + 579;
+   Name_Unchecked_Deallocation          : constant Name_Id := N + 580;
+   Name_To_Pointer                      : constant Name_Id := N + 581;
+   Last_Intrinsic_Name                  : constant Name_Id := N + 581;
 
    --  Reserved words used only in Ada 95
 
-   First_95_Reserved_Word              : constant Name_Id := N + 577;
-   Name_Abstract                       : constant Name_Id := N + 577;
-   Name_Aliased                        : constant Name_Id := N + 578;
-   Name_Protected                      : constant Name_Id := N + 579;
-   Name_Until                          : constant Name_Id := N + 580;
-   Name_Requeue                        : constant Name_Id := N + 581;
-   Name_Tagged                         : constant Name_Id := N + 582;
-   Last_95_Reserved_Word               : constant Name_Id := N + 582;
+   First_95_Reserved_Word              : constant Name_Id := N + 582;
+   Name_Abstract                       : constant Name_Id := N + 582;
+   Name_Aliased                        : constant Name_Id := N + 583;
+   Name_Protected                      : constant Name_Id := N + 584;
+   Name_Until                          : constant Name_Id := N + 585;
+   Name_Requeue                        : constant Name_Id := N + 586;
+   Name_Tagged                         : constant Name_Id := N + 587;
+   Last_95_Reserved_Word               : constant Name_Id := N + 587;
 
    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 + 583;
+   Name_Raise_Exception                : constant Name_Id := N + 588;
 
    --  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 + 584;
-   Name_Binder                         : constant Name_Id := N + 585;
-   Name_Binder_Driver                  : constant Name_Id := N + 586;
-   Name_Body_Suffix                    : constant Name_Id := N + 587;
-   Name_Builder                        : constant Name_Id := N + 588;
-   Name_Compiler                       : constant Name_Id := N + 589;
-   Name_Compiler_Driver                : constant Name_Id := N + 590;
-   Name_Compiler_Kind                  : constant Name_Id := N + 591;
-   Name_Compute_Dependency             : constant Name_Id := N + 592;
-   Name_Cross_Reference                : constant Name_Id := N + 593;
-   Name_Default_Linker                 : constant Name_Id := N + 594;
-   Name_Default_Switches               : constant Name_Id := N + 595;
-   Name_Dependency_Option              : constant Name_Id := N + 596;
-   Name_Exec_Dir                       : constant Name_Id := N + 597;
-   Name_Executable                     : constant Name_Id := N + 598;
-   Name_Executable_Suffix              : constant Name_Id := N + 599;
-   Name_Extends                        : constant Name_Id := N + 600;
-   Name_Externally_Built               : constant Name_Id := N + 601;
-   Name_Finder                         : constant Name_Id := N + 602;
-   Name_Global_Configuration_Pragmas   : constant Name_Id := N + 603;
-   Name_Gnatls                         : constant Name_Id := N + 604;
-   Name_Gnatstub                       : constant Name_Id := N + 605;
-   Name_Implementation                 : constant Name_Id := N + 606;
-   Name_Implementation_Exceptions      : constant Name_Id := N + 607;
-   Name_Implementation_Suffix          : constant Name_Id := N + 608;
-   Name_Include_Option                 : constant Name_Id := N + 609;
-   Name_Language_Processing            : constant Name_Id := N + 610;
-   Name_Languages                      : constant Name_Id := N + 611;
-   Name_Library_Dir                    : constant Name_Id := N + 612;
-   Name_Library_Auto_Init              : constant Name_Id := N + 613;
-   Name_Library_GCC                    : constant Name_Id := N + 614;
-   Name_Library_Interface              : constant Name_Id := N + 615;
-   Name_Library_Kind                   : constant Name_Id := N + 616;
-   Name_Library_Name                   : constant Name_Id := N + 617;
-   Name_Library_Options                : constant Name_Id := N + 618;
-   Name_Library_Reference_Symbol_File  : constant Name_Id := N + 619;
-   Name_Library_Src_Dir                : constant Name_Id := N + 620;
-   Name_Library_Symbol_File            : constant Name_Id := N + 621;
-   Name_Library_Symbol_Policy          : constant Name_Id := N + 622;
-   Name_Library_Version                : constant Name_Id := N + 623;
-   Name_Linker                         : constant Name_Id := N + 624;
-   Name_Local_Configuration_Pragmas    : constant Name_Id := N + 625;
-   Name_Locally_Removed_Files          : constant Name_Id := N + 626;
-   Name_Metrics                        : constant Name_Id := N + 627;
-   Name_Naming                         : constant Name_Id := N + 628;
-   Name_Object_Dir                     : constant Name_Id := N + 629;
-   Name_Pretty_Printer                 : constant Name_Id := N + 630;
-   Name_Project                        : constant Name_Id := N + 631;
-   Name_Separate_Suffix                : constant Name_Id := N + 632;
-   Name_Source_Dirs                    : constant Name_Id := N + 633;
-   Name_Source_Files                   : constant Name_Id := N + 634;
-   Name_Source_List_File               : constant Name_Id := N + 635;
-   Name_Spec                           : constant Name_Id := N + 636;
-   Name_Spec_Suffix                    : constant Name_Id := N + 637;
-   Name_Specification                  : constant Name_Id := N + 638;
-   Name_Specification_Exceptions       : constant Name_Id := N + 639;
-   Name_Specification_Suffix           : constant Name_Id := N + 640;
-   Name_Switches                       : constant Name_Id := N + 641;
+   Name_Ada_Roots                      : constant Name_Id := N + 589;
+   Name_Binder                         : constant Name_Id := N + 590;
+   Name_Binder_Driver                  : constant Name_Id := N + 591;
+   Name_Body_Suffix                    : constant Name_Id := N + 592;
+   Name_Builder                        : constant Name_Id := N + 593;
+   Name_Compiler                       : constant Name_Id := N + 594;
+   Name_Compiler_Driver                : constant Name_Id := N + 595;
+   Name_Compiler_Kind                  : constant Name_Id := N + 596;
+   Name_Compute_Dependency             : constant Name_Id := N + 597;
+   Name_Cross_Reference                : constant Name_Id := N + 598;
+   Name_Default_Linker                 : constant Name_Id := N + 599;
+   Name_Default_Switches               : constant Name_Id := N + 600;
+   Name_Dependency_Option              : constant Name_Id := N + 601;
+   Name_Exec_Dir                       : constant Name_Id := N + 602;
+   Name_Executable                     : constant Name_Id := N + 603;
+   Name_Executable_Suffix              : constant Name_Id := N + 604;
+   Name_Extends                        : constant Name_Id := N + 605;
+   Name_Externally_Built               : constant Name_Id := N + 606;
+   Name_Finder                         : constant Name_Id := N + 607;
+   Name_Global_Configuration_Pragmas   : constant Name_Id := N + 608;
+   Name_Gnatls                         : constant Name_Id := N + 609;
+   Name_Gnatstub                       : constant Name_Id := N + 610;
+   Name_Implementation                 : constant Name_Id := N + 611;
+   Name_Implementation_Exceptions      : constant Name_Id := N + 612;
+   Name_Implementation_Suffix          : constant Name_Id := N + 613;
+   Name_Include_Option                 : constant Name_Id := N + 614;
+   Name_Language_Processing            : constant Name_Id := N + 615;
+   Name_Languages                      : constant Name_Id := N + 616;
+   Name_Library_Dir                    : constant Name_Id := N + 617;
+   Name_Library_Auto_Init              : constant Name_Id := N + 618;
+   Name_Library_GCC                    : constant Name_Id := N + 619;
+   Name_Library_Interface              : constant Name_Id := N + 620;
+   Name_Library_Kind                   : constant Name_Id := N + 621;
+   Name_Library_Name                   : constant Name_Id := N + 622;
+   Name_Library_Options                : constant Name_Id := N + 623;
+   Name_Library_Reference_Symbol_File  : constant Name_Id := N + 624;
+   Name_Library_Src_Dir                : constant Name_Id := N + 625;
+   Name_Library_Symbol_File            : constant Name_Id := N + 626;
+   Name_Library_Symbol_Policy          : constant Name_Id := N + 627;
+   Name_Library_Version                : constant Name_Id := N + 628;
+   Name_Linker                         : constant Name_Id := N + 629;
+   Name_Local_Configuration_Pragmas    : constant Name_Id := N + 630;
+   Name_Locally_Removed_Files          : constant Name_Id := N + 631;
+   Name_Metrics                        : constant Name_Id := N + 632;
+   Name_Naming                         : constant Name_Id := N + 633;
+   Name_Object_Dir                     : constant Name_Id := N + 634;
+   Name_Pretty_Printer                 : constant Name_Id := N + 635;
+   Name_Project                        : constant Name_Id := N + 636;
+   Name_Separate_Suffix                : constant Name_Id := N + 637;
+   Name_Source_Dirs                    : constant Name_Id := N + 638;
+   Name_Source_Files                   : constant Name_Id := N + 639;
+   Name_Source_List_File               : constant Name_Id := N + 640;
+   Name_Spec                           : constant Name_Id := N + 641;
+   Name_Spec_Suffix                    : constant Name_Id := N + 642;
+   Name_Specification                  : constant Name_Id := N + 643;
+   Name_Specification_Exceptions       : constant Name_Id := N + 644;
+   Name_Specification_Suffix           : constant Name_Id := N + 645;
+   Name_Switches                       : constant Name_Id := N + 646;
 
    --  Other miscellaneous names used in front end
 
-   Name_Unaligned_Valid                : constant Name_Id := N + 642;
+   Name_Unaligned_Valid                : constant Name_Id := N + 647;
 
    --  ----------------------------------------------------------------
-   First_2005_Reserved_Word            : constant Name_Id := N + 643;
-   Name_Interface                      : constant Name_Id := N + 643;
-   Name_Overriding                     : constant Name_Id := N + 644;
-   Name_Synchronized                   : constant Name_Id := N + 645;
-   Last_2005_Reserved_Word             : constant Name_Id := N + 645;
+   First_2005_Reserved_Word            : constant Name_Id := N + 648;
+   Name_Interface                      : constant Name_Id := N + 648;
+   Name_Overriding                     : constant Name_Id := N + 649;
+   Name_Synchronized                   : constant Name_Id := N + 650;
+   Last_2005_Reserved_Word             : constant Name_Id := N + 650;
 
    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 + 645;
+   Last_Predefined_Name                : constant Name_Id := N + 650;
 
    subtype Any_Operator_Name is Name_Id range
      First_Operator_Name .. Last_Operator_Name;
@@ -1229,6 +1238,7 @@ package Snames is
       Pragma_Compile_Time_Warning,
       Pragma_Component_Alignment,
       Pragma_Convention_Identifier,
+      Pragma_Debug_Policy,
       Pragma_Detect_Blocking,
       Pragma_Discard_Names,
       Pragma_Elaboration_Checks,
@@ -1403,7 +1413,7 @@ package Snames is
    -----------------
 
    procedure Initialize;
-   --  Called to initialize the preset names in the names table.
+   --  Called to initialize the preset names in the names table
 
    function Is_Attribute_Name (N : Name_Id) return Boolean;
    --  Test to see if the name N is the name of a recognized attribute

diff --git a/gcc/ada/snames.h b/gcc/ada/snames.h
index 7dd1f39..0ff742e 100644 (file)
--- a/gcc/ada/snames.h
+++ b/gcc/ada/snames.h
@@ -219,145 +219,146 @@ extern unsigned char Get_Pragma_Id (int);
 #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_Constructor            96
-#define  Pragma_Linker_Destructor             97
-#define  Pragma_Linker_Options                98
-#define  Pragma_Linker_Section                99
-#define  Pragma_List                          100
-#define  Pragma_Machine_Attribute             101
-#define  Pragma_Main                          102
-#define  Pragma_Main_Storage                  103
-#define  Pragma_Memory_Size                   104
-#define  Pragma_No_Return                     105
-#define  Pragma_Obsolescent                   106
-#define  Pragma_Optimize                      107
-#define  Pragma_Optional_Overriding           108
-#define  Pragma_Pack                          109
-#define  Pragma_Page                          110
-#define  Pragma_Passive                       111
-#define  Pragma_Preelaborate                  112
-#define  Pragma_Preelaborate_05               113
-#define  Pragma_Priority                      114
-#define  Pragma_Psect_Object                  115
-#define  Pragma_Pure                          116
-#define  Pragma_Pure_05                       117
-#define  Pragma_Pure_Function                 118
-#define  Pragma_Remote_Call_Interface         119
-#define  Pragma_Remote_Types                  120
-#define  Pragma_Share_Generic                 121
-#define  Pragma_Shared                        122
-#define  Pragma_Shared_Passive                123
-#define  Pragma_Source_Reference              124
-#define  Pragma_Stream_Convert                125
-#define  Pragma_Subtitle                      126
-#define  Pragma_Suppress_All                  127
-#define  Pragma_Suppress_Debug_Info           128
-#define  Pragma_Suppress_Initialization       129
-#define  Pragma_System_Name                   130
-#define  Pragma_Task_Info                     131
-#define  Pragma_Task_Name                     132
-#define  Pragma_Task_Storage                  133
-#define  Pragma_Thread_Body                   134
-#define  Pragma_Time_Slice                    135
-#define  Pragma_Title                         136
-#define  Pragma_Unchecked_Union               137
-#define  Pragma_Unimplemented_Unit            138
-#define  Pragma_Unreferenced                  139
-#define  Pragma_Unreserve_All_Interrupts      140
-#define  Pragma_Volatile                      141
-#define  Pragma_Volatile_Components           142
-#define  Pragma_Weak_External                 143
-#define  Pragma_AST_Entry                     144
-#define  Pragma_Interface                     145
-#define  Pragma_Storage_Size                  146
-#define  Pragma_Storage_Unit                  147
+#define  Pragma_Debug_Policy                  8
+#define  Pragma_Detect_Blocking               9
+#define  Pragma_Discard_Names                 10
+#define  Pragma_Elaboration_Checks            11
+#define  Pragma_Eliminate                     12
+#define  Pragma_Explicit_Overriding           13
+#define  Pragma_Extend_System                 14
+#define  Pragma_Extensions_Allowed            15
+#define  Pragma_External_Name_Casing          16
+#define  Pragma_Float_Representation          17
+#define  Pragma_Initialize_Scalars            18
+#define  Pragma_Interrupt_State               19
+#define  Pragma_License                       20
+#define  Pragma_Locking_Policy                21
+#define  Pragma_Long_Float                    22
+#define  Pragma_No_Run_Time                   23
+#define  Pragma_No_Strict_Aliasing            24
+#define  Pragma_Normalize_Scalars             25
+#define  Pragma_Polling                       26
+#define  Pragma_Persistent_BSS                27
+#define  Pragma_Profile                       28
+#define  Pragma_Profile_Warnings              29
+#define  Pragma_Propagate_Exceptions          30
+#define  Pragma_Queuing_Policy                31
+#define  Pragma_Ravenscar                     32
+#define  Pragma_Restricted_Run_Time           33
+#define  Pragma_Restrictions                  34
+#define  Pragma_Restriction_Warnings          35
+#define  Pragma_Reviewable                    36
+#define  Pragma_Source_File_Name              37
+#define  Pragma_Source_File_Name_Project      38
+#define  Pragma_Style_Checks                  39
+#define  Pragma_Suppress                      40
+#define  Pragma_Suppress_Exception_Locations  41
+#define  Pragma_Task_Dispatching_Policy       42
+#define  Pragma_Universal_Data                43
+#define  Pragma_Unsuppress                    44
+#define  Pragma_Use_VADS_Size                 45
+#define  Pragma_Validity_Checks               46
+#define  Pragma_Warnings                      47
+#define  Pragma_Abort_Defer                   48
+#define  Pragma_All_Calls_Remote              49
+#define  Pragma_Annotate                      50
+#define  Pragma_Assert                        51
+#define  Pragma_Asynchronous                  52
+#define  Pragma_Atomic                        53
+#define  Pragma_Atomic_Components             54
+#define  Pragma_Attach_Handler                55
+#define  Pragma_Comment                       56
+#define  Pragma_Common_Object                 57
+#define  Pragma_Complex_Representation        58
+#define  Pragma_Controlled                    59
+#define  Pragma_Convention                    60
+#define  Pragma_CPP_Class                     61
+#define  Pragma_CPP_Constructor               62
+#define  Pragma_CPP_Virtual                   63
+#define  Pragma_CPP_Vtable                    64
+#define  Pragma_Debug                         65
+#define  Pragma_Elaborate                     66
+#define  Pragma_Elaborate_All                 67
+#define  Pragma_Elaborate_Body                68
+#define  Pragma_Export                        69
+#define  Pragma_Export_Exception              70
+#define  Pragma_Export_Function               71
+#define  Pragma_Export_Object                 72
+#define  Pragma_Export_Procedure              73
+#define  Pragma_Export_Value                  74
+#define  Pragma_Export_Valued_Procedure       75
+#define  Pragma_External                      76
+#define  Pragma_Finalize_Storage_Only         77
+#define  Pragma_Ident                         78
+#define  Pragma_Import                        79
+#define  Pragma_Import_Exception              80
+#define  Pragma_Import_Function               81
+#define  Pragma_Import_Object                 82
+#define  Pragma_Import_Procedure              83
+#define  Pragma_Import_Valued_Procedure       84
+#define  Pragma_Inline                        85
+#define  Pragma_Inline_Always                 86
+#define  Pragma_Inline_Generic                87
+#define  Pragma_Inspection_Point              88
+#define  Pragma_Interface_Name                89
+#define  Pragma_Interrupt_Handler             90
+#define  Pragma_Interrupt_Priority            91
+#define  Pragma_Java_Constructor              92
+#define  Pragma_Java_Interface                93
+#define  Pragma_Keep_Names                    94
+#define  Pragma_Link_With                     95
+#define  Pragma_Linker_Alias                  96
+#define  Pragma_Linker_Constructor            97
+#define  Pragma_Linker_Destructor             98
+#define  Pragma_Linker_Options                99
+#define  Pragma_Linker_Section                100
+#define  Pragma_List                          101
+#define  Pragma_Machine_Attribute             102
+#define  Pragma_Main                          103
+#define  Pragma_Main_Storage                  104
+#define  Pragma_Memory_Size                   105
+#define  Pragma_No_Return                     106
+#define  Pragma_Obsolescent                   107
+#define  Pragma_Optimize                      108
+#define  Pragma_Optional_Overriding           109
+#define  Pragma_Pack                          110
+#define  Pragma_Page                          111
+#define  Pragma_Passive                       112
+#define  Pragma_Preelaborate                  113
+#define  Pragma_Preelaborate_05               114
+#define  Pragma_Priority                      115
+#define  Pragma_Psect_Object                  116
+#define  Pragma_Pure                          117
+#define  Pragma_Pure_05                       118
+#define  Pragma_Pure_Function                 119
+#define  Pragma_Remote_Call_Interface         120
+#define  Pragma_Remote_Types                  121
+#define  Pragma_Share_Generic                 122
+#define  Pragma_Shared                        123
+#define  Pragma_Shared_Passive                124
+#define  Pragma_Source_Reference              125
+#define  Pragma_Stream_Convert                126
+#define  Pragma_Subtitle                      127
+#define  Pragma_Suppress_All                  128
+#define  Pragma_Suppress_Debug_Info           129
+#define  Pragma_Suppress_Initialization       130
+#define  Pragma_System_Name                   131
+#define  Pragma_Task_Info                     132
+#define  Pragma_Task_Name                     133
+#define  Pragma_Task_Storage                  134
+#define  Pragma_Thread_Body                   135
+#define  Pragma_Time_Slice                    136
+#define  Pragma_Title                         137
+#define  Pragma_Unchecked_Union               138
+#define  Pragma_Unimplemented_Unit            139
+#define  Pragma_Unreferenced                  140
+#define  Pragma_Unreserve_All_Interrupts      141
+#define  Pragma_Volatile                      142
+#define  Pragma_Volatile_Components           143
+#define  Pragma_Weak_External                 144
+#define  Pragma_AST_Entry                     145
+#define  Pragma_Interface                     146
+#define  Pragma_Storage_Size                  147
+#define  Pragma_Storage_Unit                  148
 
 /* End of snames.h (C version of Snames package spec) */

diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb
index 95eabe0..c89eb1b 100644 (file)
--- a/gcc/ada/switch-c.adb
+++ b/gcc/ada/switch-c.adb
@@ -31,7 +31,6 @@ with Lib;      use Lib;
 with Osint;    use Osint;
 with Opt;      use Opt;
 with Prepcomp; use Prepcomp;
-with Types;    use Types;
 with Validsw;  use Validsw;
 with Stylesw;  use Stylesw;
 
@@ -192,6 +191,7 @@ package body Switch.C is
             when 'a' =>
                Ptr := Ptr + 1;
                Assertions_Enabled := True;
+               Debug_Pragmas_Enabled := True;
 
             --  Processing for A switch
 
@@ -265,14 +265,6 @@ package body Switch.C is
                   end if;
                end loop;
 
-               --  Make sure Zero_Cost_Exceptions is set if gnatdX set. This
-               --  is for backwards compatibility with old versions and usage.
-
-               if Debug_Flag_XX then
-                  Zero_Cost_Exceptions_Set := True;
-                  Zero_Cost_Exceptions_Val := True;
-               end if;
-
                return;
 
             --  Processing for D switch
@@ -485,6 +477,13 @@ package body Switch.C is
                System_Extend_Unit := Empty;
                Warning_Mode := Treat_As_Error;
 
+               --  Set Ada 2005 mode explicitly. We don't want to rely on the
+               --  implicit setting here, since for example, we want
+               --  Preelaborate_05 treated as Preelaborate
+
+               Ada_Version := Ada_05;
+               Ada_Version_Explicit := Ada_Version;
+
                --  Set default warnings for -gnatg (same set as -gnatwa)
 
                Check_Unreferenced           := True;
@@ -564,8 +563,8 @@ package body Switch.C is
 
             when 'L' =>
                Ptr := Ptr + 1;
-               Zero_Cost_Exceptions_Set := True;
-               Zero_Cost_Exceptions_Val := False;
+               Osint.Fail
+                 ("-gnatL is no longer supported: consider using --RTS=sjlj");
 
             --  Processing for m switch
 
@@ -1059,8 +1058,8 @@ package body Switch.C is
 
             when 'Z' =>
                Ptr := Ptr + 1;
-               Zero_Cost_Exceptions_Set := True;
-               Zero_Cost_Exceptions_Val := True;
+               Osint.Fail
+                 ("-gnatZ is no longer supported: consider using --RTS=zcx");
 
             --  Processing for 83 switch