projects / platform / upstream / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 575a1b3)
checks.adb (Determine_Range): Deal with values that might be invalid
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 22 Aug 2008 15:07:34 +0000 (17:07 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 22 Aug 2008 15:07:34 +0000 (17:07 +0200)
2008-08-22  Robert Dewar  <dewar@adacore.com>

* checks.adb (Determine_Range): Deal with values that might be invalid

* opt.adb, opt.ads (Assume_No_Invalid_Values[_Config]): New configuration
switches.

* par-prag.adb: Dummy entry for pragma Assume_No_Invalid_Values

* sem_prag.adb: Implement pragma Assume_No_Default_Values

* snames.adb, snames.ads, snames.h:
Add entries for pragma Assume_No_Invalid_Values

* switch-c.adb: Add processing for -gnatB switch

* usage.adb: Add entry for flag -gnatB (no bad invalid values)

From-SVN: r139484

gcc/ada/ChangeLog patch | blob | history
gcc/ada/checks.adb patch | blob | history
gcc/ada/opt.adb patch | blob | history
gcc/ada/opt.ads patch | blob | history
gcc/ada/par-prag.adb patch | blob | history
gcc/ada/sem_prag.adb patch | blob | history
gcc/ada/snames.adb patch | blob | history
gcc/ada/snames.ads patch | blob | history
gcc/ada/snames.h patch | blob | history
gcc/ada/switch-c.adb patch | blob | history
gcc/ada/usage.adb patch | blob | history

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 48e7ad0..7d2d66f 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,27 @@
+2008-08-22  Robert Dewar  <dewar@adacore.com>
+
+       * checks.adb (Determine_Range): Deal with values that might be invalid
+
+       * opt.adb, opt.ads (Assume_No_Invalid_Values[_Config]): New configuration
+       switches.
+
+       * par-prag.adb: Dummy entry for pragma Assume_No_Invalid_Values
+
+       * sem_prag.adb: Implement pragma Assume_No_Default_Values
+
+       * snames.adb, snames.ads, snames.h:
+       Add entries for pragma Assume_No_Invalid_Values
+
+       * switch-c.adb: Add processing for -gnatB switch
+
+       * usage.adb: Add entry for flag -gnatB (no bad invalid values)
+
+2008-08-22  Javier Miranda  <miranda@adacore.com>
+
+       * exp_ch3.adb (Build_Init_Statements): Transfer to the body of the
+       init procedure all the expanded code associated with the spec of
+       task types and protected types.
+
 2008-08-22  Gary Dismukes  <dismukes@adacore.com>
 
        * exp_aggr.adb (Static_Array_Aggregate): Call Analyze_And_Resolve on the
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb
index 5dac926..12c5b64 100644 (file)
--- a/gcc/ada/checks.adb
+++ b/gcc/ada/checks.adb
@@ -3125,10 +3125,9 @@ package body Checks is
       --  First step, change to use base type if the expression is an entity
       --  which we do not know is valid.
 
-      --  For now, we do not do this
-
-      if False and then Is_Entity_Name (N)
+      if Is_Entity_Name (N)
         and then not Is_Known_Valid (Entity (N))
+        and then not Assume_No_Invalid_Values
       then
          Typ := Base_Type (Typ);
       end if;
diff --git a/gcc/ada/opt.adb b/gcc/ada/opt.adb
index 859a417..75ea7e8 100644 (file)
--- a/gcc/ada/opt.adb
+++ b/gcc/ada/opt.adb
@@ -49,6 +49,7 @@ package body Opt is
       Ada_Version_Config                    := Ada_Version;
       Ada_Version_Explicit_Config           := Ada_Version_Explicit;
       Assertions_Enabled_Config             := Assertions_Enabled;
+      Assume_No_Invalid_Values_Config       := Assume_No_Invalid_Values;
       Check_Policy_List_Config              := Check_Policy_List;
       Debug_Pragmas_Enabled_Config          := Debug_Pragmas_Enabled;
       Dynamic_Elaboration_Checks_Config     := Dynamic_Elaboration_Checks;
@@ -78,6 +79,7 @@ package body Opt is
       Ada_Version                    := Save.Ada_Version;
       Ada_Version_Explicit           := Save.Ada_Version_Explicit;
       Assertions_Enabled             := Save.Assertions_Enabled;
+      Assume_No_Invalid_Values       := Save.Assume_No_Invalid_Values;
       Check_Policy_List              := Save.Check_Policy_List;
       Debug_Pragmas_Enabled          := Save.Debug_Pragmas_Enabled;
       Dynamic_Elaboration_Checks     := Save.Dynamic_Elaboration_Checks;
@@ -102,6 +104,7 @@ package body Opt is
       Save.Ada_Version                    := Ada_Version;
       Save.Ada_Version_Explicit           := Ada_Version_Explicit;
       Save.Assertions_Enabled             := Assertions_Enabled;
+      Save.Assume_No_Invalid_Values       := Assume_No_Invalid_Values;
       Save.Check_Policy_List              := Check_Policy_List;
       Save.Debug_Pragmas_Enabled          := Debug_Pragmas_Enabled;
       Save.Dynamic_Elaboration_Checks     := Dynamic_Elaboration_Checks;
@@ -134,27 +137,30 @@ package body Opt is
          --  since the whole point of this is that it still properly indicates
          --  the configuration setting even in a run time unit.
 
-         Ada_Version                := Ada_Version_Runtime;
-         Dynamic_Elaboration_Checks := False;
-         Extensions_Allowed         := True;
-         External_Name_Exp_Casing   := As_Is;
-         External_Name_Imp_Casing   := Lowercase;
-         Optimize_Alignment         := 'O';
-         Persistent_BSS_Mode        := False;
-         Use_VADS_Size              := False;
-         Optimize_Alignment_Local   := True;
+         Ada_Version                 := Ada_Version_Runtime;
+         Dynamic_Elaboration_Checks  := False;
+         Extensions_Allowed          := True;
+         External_Name_Exp_Casing    := As_Is;
+         External_Name_Imp_Casing    := Lowercase;
+         Optimize_Alignment          := 'O';
+         Persistent_BSS_Mode         := False;
+         Use_VADS_Size               := False;
+         Optimize_Alignment_Local    := True;
 
          --  For an internal unit, assertions/debug pragmas are off unless this
-         --  is the main unit and they were explicitly enabled.
+         --  is the main unit and they were explicitly enabled. We also make
+         --  sure we do not assume that values are necessarily valid.
 
          if Main_Unit then
-            Assertions_Enabled    := Assertions_Enabled_Config;
-            Debug_Pragmas_Enabled := Debug_Pragmas_Enabled_Config;
-            Check_Policy_List     := Check_Policy_List_Config;
+            Assertions_Enabled       := Assertions_Enabled_Config;
+            Assume_No_Invalid_Values := Assume_No_Invalid_Values_Config;
+            Debug_Pragmas_Enabled    := Debug_Pragmas_Enabled_Config;
+            Check_Policy_List        := Check_Policy_List_Config;
          else
-            Assertions_Enabled    := False;
-            Debug_Pragmas_Enabled := False;
-            Check_Policy_List     := Empty;
+            Assertions_Enabled       := False;
+            Assume_No_Invalid_Values := False;
+            Debug_Pragmas_Enabled    := False;
+            Check_Policy_List        := Empty;
          end if;
 
       --  Case of non-internal unit
@@ -163,6 +169,7 @@ package body Opt is
          Ada_Version                 := Ada_Version_Config;
          Ada_Version_Explicit        := Ada_Version_Explicit_Config;
          Assertions_Enabled          := Assertions_Enabled_Config;
+         Assume_No_Invalid_Values    := Assume_No_Invalid_Values_Config;
          Check_Policy_List           := Check_Policy_List_Config;
          Debug_Pragmas_Enabled       := Debug_Pragmas_Enabled_Config;
          Dynamic_Elaboration_Checks  := Dynamic_Elaboration_Checks_Config;
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index 1e68d70..542dc25 100644 (file)
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -158,6 +158,15 @@ package Opt is
    --  GNAT
    --  Enable assertions made using pragma Assert
 
+   Assume_No_Invalid_Values : Boolean := True;
+   --  ??? true for now, enable by setting to false later
+   --  GNAT
+   --  Normallly, in accordance with (RM 13.9.1 (9-11)) the front end assumes
+   --  that values could have invalid representations, unless it can clearly
+   --  prove that the values are valid. If this switch is set (by -gnatB or by
+   --  pragma Assume_No_Invalid_Values (Off)), then the compiler assumes values
+   --  are valid and in range of their representations.
+
    Back_Annotate_Rep_Info : Boolean := False;
    --  GNAT
    --  If set True, enables back annotation of representation information
@@ -1414,6 +1423,13 @@ 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.
 
+   Assume_No_Invalid_Values_Config : Boolean;
+   --  GNAT
+   --  This is the value of the configuration switch for assuming no invalid
+   --  values enabled mode mode, as possibly set by the command line switch
+   --  -gnatB, and possibly modified by the use of the configuration pragma
+   --  Assume_No_Invalid_Values.
+
    Check_Policy_List_Config : Node_Id;
    --  GNAT
    --  This points to the list of N_Pragma nodes for Check_Policy pragmas
@@ -1612,6 +1628,7 @@ private
       Ada_Version                    : Ada_Version_Type;
       Ada_Version_Explicit           : Ada_Version_Type;
       Assertions_Enabled             : Boolean;
+      Assume_No_Invalid_Values       : Boolean;
       Check_Policy_List              : Node_Id;
       Debug_Pragmas_Enabled          : Boolean;
       Dynamic_Elaboration_Checks     : Boolean;
diff --git a/gcc/ada/par-prag.adb b/gcc/ada/par-prag.adb
index ba32f38..fc2360c 100644 (file)
--- a/gcc/ada/par-prag.adb
+++ b/gcc/ada/par-prag.adb
@@ -1050,6 +1050,7 @@ begin
 
       when Pragma_Abort_Defer                   |
            Pragma_Assertion_Policy              |
+           Pragma_Assume_No_Invalid_Values      |
            Pragma_AST_Entry                     |
            Pragma_All_Calls_Remote              |
            Pragma_Annotate                      |
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index d5d39b9..e2d02ae 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -5289,6 +5289,25 @@ package body Sem_Prag is
             Opt.Check_Policy_List := N;
          end Assertion_Policy;
 
+         ------------------------------
+         -- Assume_No_Invalid_Values --
+         ------------------------------
+
+         --  pragma Assume_No_Invalid_Values (On | Off);
+
+         when Pragma_Assume_No_Invalid_Values =>
+            GNAT_Pragma;
+            Check_Valid_Configuration_Pragma;
+            Check_Arg_Count (1);
+            Check_No_Identifiers;
+            Check_Arg_Is_One_Of (Arg1, Name_On, Name_Off);
+
+            if Chars (Expression (Arg1)) = Name_On then
+               Assume_No_Invalid_Values := True;
+            else
+               Assume_No_Invalid_Values := False;
+            end if;
+
          ---------------
          -- AST_Entry --
          ---------------
@@ -6315,8 +6334,8 @@ package body Sem_Prag is
          --  pragma Discard_Names [([On =>] LOCAL_NAME)];
 
          when Pragma_Discard_Names => Discard_Names : declare
-            E_Id : Entity_Id;
             E    : Entity_Id;
+            E_Id : Entity_Id;
 
          begin
             Check_Ada_83_Warning;
@@ -6346,6 +6365,7 @@ package body Sem_Prag is
                   Check_Arg_Count (1);
                   Check_Optional_Identifier (Arg1, Name_On);
                   Check_Arg_Is_Local_Name (Arg1);
+
                   E_Id := Expression (Arg1);
 
                   if Etype (E_Id) = Any_Type then
@@ -6355,8 +6375,8 @@ package body Sem_Prag is
                   end if;
 
                   if (Is_First_Subtype (E)
-                       and then (Is_Enumeration_Type (E)
-                                  or else Is_Tagged_Type (E)))
+                      and then
+                        (Is_Enumeration_Type (E) or else Is_Tagged_Type (E)))
                     or else Ekind (E) = E_Exception
                   then
                      Set_Discard_Names (E);
@@ -6364,6 +6384,7 @@ package body Sem_Prag is
                      Error_Pragma_Arg
                        ("inappropriate entity for pragma%", Arg1);
                   end if;
+
                end if;
             end if;
          end Discard_Names;
@@ -12200,6 +12221,7 @@ package body Sem_Prag is
       Pragma_Annotate                      => -1,
       Pragma_Assert                        => -1,
       Pragma_Assertion_Policy              =>  0,
+      Pragma_Assume_No_Invalid_Values      =>  0,
       Pragma_Asynchronous                  => -1,
       Pragma_Atomic                        =>  0,
       Pragma_Atomic_Components             =>  0,
diff --git a/gcc/ada/snames.adb b/gcc/ada/snames.adb
index d038e43..28656c0 100644 (file)
--- a/gcc/ada/snames.adb
+++ b/gcc/ada/snames.adb
@@ -179,6 +179,7 @@ package body Snames is
      "ada_05#" &
      "ada_2005#" &
      "assertion_policy#" &
+     "assume_no_invalid_values#" &
      "c_pass_by_copy#" &
      "check_name#" &
      "check_policy#" &
diff --git a/gcc/ada/snames.ads b/gcc/ada/snames.ads
index 8037ee1..930d288 100644 (file)
--- a/gcc/ada/snames.ads
+++ b/gcc/ada/snames.ads
@@ -334,22 +334,23 @@ package Snames is
    Name_Ada_05                         : constant Name_Id := N + 118; -- GNAT
    Name_Ada_2005                       : constant Name_Id := N + 119; -- GNAT
    Name_Assertion_Policy               : constant Name_Id := N + 120; -- Ada 05
-   Name_C_Pass_By_Copy                 : constant Name_Id := N + 121; -- GNAT
-   Name_Check_Name                     : constant Name_Id := N + 122; -- GNAT
-   Name_Check_Policy                   : constant Name_Id := N + 123; -- GNAT
-   Name_Compile_Time_Error             : constant Name_Id := N + 124; -- GNAT
-   Name_Compile_Time_Warning           : constant Name_Id := N + 125; -- GNAT
-   Name_Compiler_Unit                  : constant Name_Id := N + 126; -- GNAT
-   Name_Component_Alignment            : constant Name_Id := N + 127; -- GNAT
-   Name_Convention_Identifier          : constant Name_Id := N + 128; -- GNAT
-   Name_Debug_Policy                   : constant Name_Id := N + 129; -- GNAT
-   Name_Detect_Blocking                : constant Name_Id := N + 130; -- Ada 05
-   Name_Discard_Names                  : constant Name_Id := N + 131;
-   Name_Elaboration_Checks             : constant Name_Id := N + 132; -- GNAT
-   Name_Eliminate                      : constant Name_Id := N + 133; -- GNAT
-   Name_Extend_System                  : constant Name_Id := N + 134; -- GNAT
-   Name_Extensions_Allowed             : constant Name_Id := N + 135; -- GNAT
-   Name_External_Name_Casing           : constant Name_Id := N + 136; -- GNAT
+   Name_Assume_No_Invalid_Values       : constant Name_Id := N + 121; -- GNAT
+   Name_C_Pass_By_Copy                 : constant Name_Id := N + 122; -- GNAT
+   Name_Check_Name                     : constant Name_Id := N + 123; -- GNAT
+   Name_Check_Policy                   : constant Name_Id := N + 124; -- GNAT
+   Name_Compile_Time_Error             : constant Name_Id := N + 125; -- GNAT
+   Name_Compile_Time_Warning           : constant Name_Id := N + 126; -- GNAT
+   Name_Compiler_Unit                  : constant Name_Id := N + 127; -- GNAT
+   Name_Component_Alignment            : constant Name_Id := N + 128; -- GNAT
+   Name_Convention_Identifier          : constant Name_Id := N + 129; -- GNAT
+   Name_Debug_Policy                   : constant Name_Id := N + 130; -- GNAT
+   Name_Detect_Blocking                : constant Name_Id := N + 131; -- Ada 05
+   Name_Discard_Names                  : constant Name_Id := N + 132;
+   Name_Elaboration_Checks             : constant Name_Id := N + 133; -- GNAT
+   Name_Eliminate                      : constant Name_Id := N + 134; -- GNAT
+   Name_Extend_System                  : constant Name_Id := N + 135; -- GNAT
+   Name_Extensions_Allowed             : constant Name_Id := N + 136; -- GNAT
+   Name_External_Name_Casing           : constant Name_Id := N + 137; -- GNAT
 
    --  Note: Fast_Math is not in this list because its name matches   -- GNAT
    --  the name of the corresponding attribute. However, it is
@@ -357,49 +358,49 @@ package Snames is
    --  functions Get_Pragma_Id, Is_[Configuration_]Pragma_Id, and
    --  correctly recognize and process Fast_Math.
 
-   Name_Favor_Top_Level                : constant Name_Id := N + 137; -- GNAT
-   Name_Float_Representation           : constant Name_Id := N + 138; -- GNAT
-   Name_Implicit_Packing               : constant Name_Id := N + 139; -- GNAT
-   Name_Initialize_Scalars             : constant Name_Id := N + 140; -- GNAT
-   Name_Interrupt_State                : constant Name_Id := N + 141; -- GNAT
-   Name_License                        : constant Name_Id := N + 142; -- GNAT
-   Name_Locking_Policy                 : constant Name_Id := N + 143;
-   Name_Long_Float                     : constant Name_Id := N + 144; -- VMS
-   Name_No_Run_Time                    : constant Name_Id := N + 145; -- GNAT
-   Name_No_Strict_Aliasing             : constant Name_Id := N + 146; -- GNAT
-   Name_Normalize_Scalars              : constant Name_Id := N + 147;
-   Name_Optimize_Alignment             : constant Name_Id := N + 148; -- GNAT
-   Name_Persistent_BSS                 : constant Name_Id := N + 149; -- GNAT
-   Name_Polling                        : constant Name_Id := N + 150; -- GNAT
-   Name_Priority_Specific_Dispatching  : constant Name_Id := N + 151; -- Ada 05
-   Name_Profile                        : constant Name_Id := N + 152; -- Ada 05
-   Name_Profile_Warnings               : constant Name_Id := N + 153; -- GNAT
-   Name_Propagate_Exceptions           : constant Name_Id := N + 154; -- GNAT
-   Name_Queuing_Policy                 : constant Name_Id := N + 155;
-   Name_Ravenscar                      : constant Name_Id := N + 156; -- GNAT
-   Name_Restricted_Run_Time            : constant Name_Id := N + 157; -- GNAT
-   Name_Restrictions                   : constant Name_Id := N + 158;
-   Name_Restriction_Warnings           : constant Name_Id := N + 159; -- GNAT
-   Name_Reviewable                     : constant Name_Id := N + 160;
-   Name_Source_File_Name               : constant Name_Id := N + 161; -- GNAT
-   Name_Source_File_Name_Project       : constant Name_Id := N + 162; -- GNAT
-   Name_Style_Checks                   : constant Name_Id := N + 163; -- GNAT
-   Name_Suppress                       : constant Name_Id := N + 164;
-   Name_Suppress_Exception_Locations   : constant Name_Id := N + 165; -- GNAT
-   Name_Task_Dispatching_Policy        : constant Name_Id := N + 166;
-   Name_Universal_Data                 : constant Name_Id := N + 167; -- AAMP
-   Name_Unsuppress                     : constant Name_Id := N + 168; -- Ada 05
-   Name_Use_VADS_Size                  : constant Name_Id := N + 169; -- GNAT
-   Name_Validity_Checks                : constant Name_Id := N + 170; -- GNAT
-   Name_Warnings                       : constant Name_Id := N + 171; -- GNAT
-   Name_Wide_Character_Encoding        : constant Name_Id := N + 172; -- GNAT
-   Last_Configuration_Pragma_Name      : constant Name_Id := N + 172;
+   Name_Favor_Top_Level                : constant Name_Id := N + 138; -- GNAT
+   Name_Float_Representation           : constant Name_Id := N + 139; -- GNAT
+   Name_Implicit_Packing               : constant Name_Id := N + 140; -- GNAT
+   Name_Initialize_Scalars             : constant Name_Id := N + 141; -- GNAT
+   Name_Interrupt_State                : constant Name_Id := N + 142; -- GNAT
+   Name_License                        : constant Name_Id := N + 143; -- GNAT
+   Name_Locking_Policy                 : constant Name_Id := N + 144;
+   Name_Long_Float                     : constant Name_Id := N + 145; -- VMS
+   Name_No_Run_Time                    : constant Name_Id := N + 146; -- GNAT
+   Name_No_Strict_Aliasing             : constant Name_Id := N + 147; -- GNAT
+   Name_Normalize_Scalars              : constant Name_Id := N + 148;
+   Name_Optimize_Alignment             : constant Name_Id := N + 149; -- GNAT
+   Name_Persistent_BSS                 : constant Name_Id := N + 150; -- GNAT
+   Name_Polling                        : constant Name_Id := N + 151; -- GNAT
+   Name_Priority_Specific_Dispatching  : constant Name_Id := N + 152; -- Ada 05
+   Name_Profile                        : constant Name_Id := N + 153; -- Ada 05
+   Name_Profile_Warnings               : constant Name_Id := N + 154; -- GNAT
+   Name_Propagate_Exceptions           : constant Name_Id := N + 155; -- GNAT
+   Name_Queuing_Policy                 : constant Name_Id := N + 156;
+   Name_Ravenscar                      : constant Name_Id := N + 157; -- GNAT
+   Name_Restricted_Run_Time            : constant Name_Id := N + 158; -- GNAT
+   Name_Restrictions                   : constant Name_Id := N + 159;
+   Name_Restriction_Warnings           : constant Name_Id := N + 160; -- GNAT
+   Name_Reviewable                     : constant Name_Id := N + 161;
+   Name_Source_File_Name               : constant Name_Id := N + 162; -- GNAT
+   Name_Source_File_Name_Project       : constant Name_Id := N + 163; -- GNAT
+   Name_Style_Checks                   : constant Name_Id := N + 164; -- GNAT
+   Name_Suppress                       : constant Name_Id := N + 165;
+   Name_Suppress_Exception_Locations   : constant Name_Id := N + 166; -- GNAT
+   Name_Task_Dispatching_Policy        : constant Name_Id := N + 167;
+   Name_Universal_Data                 : constant Name_Id := N + 168; -- AAMP
+   Name_Unsuppress                     : constant Name_Id := N + 169; -- Ada 05
+   Name_Use_VADS_Size                  : constant Name_Id := N + 170; -- GNAT
+   Name_Validity_Checks                : constant Name_Id := N + 171; -- GNAT
+   Name_Warnings                       : constant Name_Id := N + 172; -- GNAT
+   Name_Wide_Character_Encoding        : constant Name_Id := N + 173; -- GNAT
+   Last_Configuration_Pragma_Name      : constant Name_Id := N + 173;
 
    --  Remaining pragma names
 
-   Name_Abort_Defer                    : constant Name_Id := N + 173; -- GNAT
-   Name_All_Calls_Remote               : constant Name_Id := N + 174;
-   Name_Annotate                       : constant Name_Id := N + 175; -- GNAT
+   Name_Abort_Defer                    : constant Name_Id := N + 174; -- GNAT
+   Name_All_Calls_Remote               : constant Name_Id := N + 175;
+   Name_Annotate                       : constant Name_Id := N + 176; -- GNAT
 
    --  Note: AST_Entry is not in this list because its name matches   -- VMS
    --  the name of the corresponding attribute. However, it is
@@ -407,83 +408,83 @@ package Snames is
    --  functions Get_Pragma_Id and Is_Pragma_Id correctly recognize
    --  and process Name_AST_Entry.
 
-   Name_Assert                         : constant Name_Id := N + 176; -- Ada 05
-   Name_Asynchronous                   : constant Name_Id := N + 177;
-   Name_Atomic                         : constant Name_Id := N + 178;
-   Name_Atomic_Components              : constant Name_Id := N + 179;
-   Name_Attach_Handler                 : constant Name_Id := N + 180;
-   Name_Check                          : constant Name_Id := N + 181; -- GNAT
-   Name_CIL_Constructor                : constant Name_Id := N + 182; -- GNAT
-   Name_Comment                        : constant Name_Id := N + 183; -- GNAT
-   Name_Common_Object                  : constant Name_Id := N + 184; -- GNAT
-   Name_Complete_Representation        : constant Name_Id := N + 185; -- GNAT
-   Name_Complex_Representation         : constant Name_Id := N + 186; -- GNAT
-   Name_Controlled                     : constant Name_Id := N + 187;
-   Name_Convention                     : constant Name_Id := N + 188;
-   Name_CPP_Class                      : constant Name_Id := N + 189; -- GNAT
-   Name_CPP_Constructor                : constant Name_Id := N + 190; -- GNAT
-   Name_CPP_Virtual                    : constant Name_Id := N + 191; -- GNAT
-   Name_CPP_Vtable                     : constant Name_Id := N + 192; -- GNAT
-   Name_Debug                          : constant Name_Id := N + 193; -- GNAT
-   Name_Elaborate                      : constant Name_Id := N + 194; -- Ada 83
-   Name_Elaborate_All                  : constant Name_Id := N + 195;
-   Name_Elaborate_Body                 : constant Name_Id := N + 196;
-   Name_Export                         : constant Name_Id := N + 197;
-   Name_Export_Exception               : constant Name_Id := N + 198; -- VMS
-   Name_Export_Function                : constant Name_Id := N + 199; -- GNAT
-   Name_Export_Object                  : constant Name_Id := N + 200; -- GNAT
-   Name_Export_Procedure               : constant Name_Id := N + 201; -- GNAT
-   Name_Export_Value                   : constant Name_Id := N + 202; -- GNAT
-   Name_Export_Valued_Procedure        : constant Name_Id := N + 203; -- GNAT
-   Name_External                       : constant Name_Id := N + 204; -- GNAT
-   Name_Finalize_Storage_Only          : constant Name_Id := N + 205; -- GNAT
-   Name_Ident                          : constant Name_Id := N + 206; -- VMS
-   Name_Implemented_By_Entry           : constant Name_Id := N + 207; -- Ada 05
-   Name_Import                         : constant Name_Id := N + 208;
-   Name_Import_Exception               : constant Name_Id := N + 209; -- VMS
-   Name_Import_Function                : constant Name_Id := N + 210; -- GNAT
-   Name_Import_Object                  : constant Name_Id := N + 211; -- GNAT
-   Name_Import_Procedure               : constant Name_Id := N + 212; -- GNAT
-   Name_Import_Valued_Procedure        : constant Name_Id := N + 213; -- GNAT
-   Name_Inline                         : constant Name_Id := N + 214;
-   Name_Inline_Always                  : constant Name_Id := N + 215; -- GNAT
-   Name_Inline_Generic                 : constant Name_Id := N + 216; -- GNAT
-   Name_Inspection_Point               : constant Name_Id := N + 217;
+   Name_Assert                         : constant Name_Id := N + 177; -- Ada 05
+   Name_Asynchronous                   : constant Name_Id := N + 178;
+   Name_Atomic                         : constant Name_Id := N + 179;
+   Name_Atomic_Components              : constant Name_Id := N + 180;
+   Name_Attach_Handler                 : constant Name_Id := N + 181;
+   Name_Check                          : constant Name_Id := N + 182; -- GNAT
+   Name_CIL_Constructor                : constant Name_Id := N + 183; -- GNAT
+   Name_Comment                        : constant Name_Id := N + 184; -- GNAT
+   Name_Common_Object                  : constant Name_Id := N + 185; -- GNAT
+   Name_Complete_Representation        : constant Name_Id := N + 186; -- GNAT
+   Name_Complex_Representation         : constant Name_Id := N + 187; -- GNAT
+   Name_Controlled                     : constant Name_Id := N + 188;
+   Name_Convention                     : constant Name_Id := N + 189;
+   Name_CPP_Class                      : constant Name_Id := N + 190; -- GNAT
+   Name_CPP_Constructor                : constant Name_Id := N + 191; -- GNAT
+   Name_CPP_Virtual                    : constant Name_Id := N + 192; -- GNAT
+   Name_CPP_Vtable                     : constant Name_Id := N + 193; -- GNAT
+   Name_Debug                          : constant Name_Id := N + 194; -- GNAT
+   Name_Elaborate                      : constant Name_Id := N + 195; -- Ada 83
+   Name_Elaborate_All                  : constant Name_Id := N + 196;
+   Name_Elaborate_Body                 : constant Name_Id := N + 197;
+   Name_Export                         : constant Name_Id := N + 198;
+   Name_Export_Exception               : constant Name_Id := N + 199; -- VMS
+   Name_Export_Function                : constant Name_Id := N + 200; -- GNAT
+   Name_Export_Object                  : constant Name_Id := N + 201; -- GNAT
+   Name_Export_Procedure               : constant Name_Id := N + 202; -- GNAT
+   Name_Export_Value                   : constant Name_Id := N + 203; -- GNAT
+   Name_Export_Valued_Procedure        : constant Name_Id := N + 204; -- GNAT
+   Name_External                       : constant Name_Id := N + 205; -- GNAT
+   Name_Finalize_Storage_Only          : constant Name_Id := N + 206; -- GNAT
+   Name_Ident                          : constant Name_Id := N + 207; -- VMS
+   Name_Implemented_By_Entry           : constant Name_Id := N + 208; -- Ada 05
+   Name_Import                         : constant Name_Id := N + 209;
+   Name_Import_Exception               : constant Name_Id := N + 210; -- VMS
+   Name_Import_Function                : constant Name_Id := N + 211; -- GNAT
+   Name_Import_Object                  : constant Name_Id := N + 212; -- GNAT
+   Name_Import_Procedure               : constant Name_Id := N + 213; -- GNAT
+   Name_Import_Valued_Procedure        : constant Name_Id := N + 214; -- GNAT
+   Name_Inline                         : constant Name_Id := N + 215;
+   Name_Inline_Always                  : constant Name_Id := N + 216; -- GNAT
+   Name_Inline_Generic                 : constant Name_Id := N + 217; -- GNAT
+   Name_Inspection_Point               : constant Name_Id := N + 218;
 
    --  Note: Interface is not in this list because its name matches   -- GNAT
    --  an Ada 2005 keyword. However it is included in the definition
    --  of the type Attribute_Id, and the functions Get_Pragma_Id and
    --  Is_Pragma_Id correctly recognize and process Name_Storage_Size.
 
-   Name_Interface_Name                 : constant Name_Id := N + 218; -- GNAT
-   Name_Interrupt_Handler              : constant Name_Id := N + 219;
-   Name_Interrupt_Priority             : constant Name_Id := N + 220;
-   Name_Java_Constructor               : constant Name_Id := N + 221; -- GNAT
-   Name_Java_Interface                 : constant Name_Id := N + 222; -- GNAT
-   Name_Keep_Names                     : constant Name_Id := N + 223; -- GNAT
-   Name_Link_With                      : constant Name_Id := N + 224; -- GNAT
-   Name_Linker_Alias                   : constant Name_Id := N + 225; -- GNAT
-   Name_Linker_Constructor             : constant Name_Id := N + 226; -- GNAT
-   Name_Linker_Destructor              : constant Name_Id := N + 227; -- GNAT
-   Name_Linker_Options                 : constant Name_Id := N + 228;
-   Name_Linker_Section                 : constant Name_Id := N + 229; -- GNAT
-   Name_List                           : constant Name_Id := N + 230;
-   Name_Machine_Attribute              : constant Name_Id := N + 231; -- GNAT
-   Name_Main                           : constant Name_Id := N + 232; -- GNAT
-   Name_Main_Storage                   : constant Name_Id := N + 233; -- GNAT
-   Name_Memory_Size                    : constant Name_Id := N + 234; -- Ada 83
-   Name_No_Body                        : constant Name_Id := N + 235; -- GNAT
-   Name_No_Return                      : constant Name_Id := N + 236; -- GNAT
-   Name_Obsolescent                    : constant Name_Id := N + 237; -- GNAT
-   Name_Optimize                       : constant Name_Id := N + 238;
-   Name_Pack                           : constant Name_Id := N + 239;
-   Name_Page                           : constant Name_Id := N + 240;
-   Name_Passive                        : constant Name_Id := N + 241; -- GNAT
-   Name_Postcondition                  : constant Name_Id := N + 242; -- GNAT
-   Name_Precondition                   : constant Name_Id := N + 243; -- GNAT
-   Name_Preelaborable_Initialization   : constant Name_Id := N + 244; -- Ada 05
-   Name_Preelaborate                   : constant Name_Id := N + 245;
-   Name_Preelaborate_05                : constant Name_Id := N + 246; -- GNAT
+   Name_Interface_Name                 : constant Name_Id := N + 219; -- GNAT
+   Name_Interrupt_Handler              : constant Name_Id := N + 220;
+   Name_Interrupt_Priority             : constant Name_Id := N + 221;
+   Name_Java_Constructor               : constant Name_Id := N + 222; -- GNAT
+   Name_Java_Interface                 : constant Name_Id := N + 223; -- GNAT
+   Name_Keep_Names                     : constant Name_Id := N + 224; -- GNAT
+   Name_Link_With                      : constant Name_Id := N + 225; -- GNAT
+   Name_Linker_Alias                   : constant Name_Id := N + 226; -- GNAT
+   Name_Linker_Constructor             : constant Name_Id := N + 227; -- GNAT
+   Name_Linker_Destructor              : constant Name_Id := N + 228; -- GNAT
+   Name_Linker_Options                 : constant Name_Id := N + 229;
+   Name_Linker_Section                 : constant Name_Id := N + 230; -- GNAT
+   Name_List                           : constant Name_Id := N + 231;
+   Name_Machine_Attribute              : constant Name_Id := N + 232; -- GNAT
+   Name_Main                           : constant Name_Id := N + 233; -- GNAT
+   Name_Main_Storage                   : constant Name_Id := N + 234; -- GNAT
+   Name_Memory_Size                    : constant Name_Id := N + 235; -- Ada 83
+   Name_No_Body                        : constant Name_Id := N + 236; -- GNAT
+   Name_No_Return                      : constant Name_Id := N + 237; -- GNAT
+   Name_Obsolescent                    : constant Name_Id := N + 238; -- GNAT
+   Name_Optimize                       : constant Name_Id := N + 239;
+   Name_Pack                           : constant Name_Id := N + 240;
+   Name_Page                           : constant Name_Id := N + 241;
+   Name_Passive                        : constant Name_Id := N + 242; -- GNAT
+   Name_Postcondition                  : constant Name_Id := N + 243; -- GNAT
+   Name_Precondition                   : constant Name_Id := N + 244; -- GNAT
+   Name_Preelaborable_Initialization   : constant Name_Id := N + 245; -- Ada 05
+   Name_Preelaborate                   : constant Name_Id := N + 246;
+   Name_Preelaborate_05                : constant Name_Id := N + 247; -- GNAT
 
    --  Note: Priority is not in this list because its name matches
    --  the name of the corresponding attribute. However, it is
@@ -491,16 +492,16 @@ package Snames is
    --  functions Get_Pragma_Id and Is_Pragma_Id correctly recognize
    --  and process Priority. Priority is a standard Ada 95 pragma.
 
-   Name_Psect_Object                   : constant Name_Id := N + 247; -- VMS
-   Name_Pure                           : constant Name_Id := N + 248;
-   Name_Pure_05                        : constant Name_Id := N + 249; -- GNAT
-   Name_Pure_Function                  : constant Name_Id := N + 250; -- GNAT
-   Name_Relative_Deadline              : constant Name_Id := N + 251; -- Ada 05
-   Name_Remote_Call_Interface          : constant Name_Id := N + 252;
-   Name_Remote_Types                   : constant Name_Id := N + 253;
-   Name_Share_Generic                  : constant Name_Id := N + 254; -- GNAT
-   Name_Shared                         : constant Name_Id := N + 255; -- Ada 83
-   Name_Shared_Passive                 : constant Name_Id := N + 256;
+   Name_Psect_Object                   : constant Name_Id := N + 248; -- VMS
+   Name_Pure                           : constant Name_Id := N + 249;
+   Name_Pure_05                        : constant Name_Id := N + 250; -- GNAT
+   Name_Pure_Function                  : constant Name_Id := N + 251; -- GNAT
+   Name_Relative_Deadline              : constant Name_Id := N + 252; -- Ada 05
+   Name_Remote_Call_Interface          : constant Name_Id := N + 253;
+   Name_Remote_Types                   : constant Name_Id := N + 254;
+   Name_Share_Generic                  : constant Name_Id := N + 255; -- GNAT
+   Name_Shared                         : constant Name_Id := N + 256; -- Ada 83
+   Name_Shared_Passive                 : constant Name_Id := N + 257;
 
    --  Note: Storage_Size is not in this list because its name
    --  matches the name of the corresponding attribute. However,
@@ -511,30 +512,30 @@ 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 + 257; -- GNAT
-   Name_Static_Elaboration_Desired     : constant Name_Id := N + 258; -- GNAT
-   Name_Stream_Convert                 : constant Name_Id := N + 259; -- GNAT
-   Name_Subtitle                       : constant Name_Id := N + 260; -- GNAT
-   Name_Suppress_All                   : constant Name_Id := N + 261; -- GNAT
-   Name_Suppress_Debug_Info            : constant Name_Id := N + 262; -- GNAT
-   Name_Suppress_Initialization        : constant Name_Id := N + 263; -- GNAT
-   Name_System_Name                    : constant Name_Id := N + 264; -- Ada 83
-   Name_Task_Info                      : constant Name_Id := N + 265; -- GNAT
-   Name_Task_Name                      : constant Name_Id := N + 266; -- GNAT
-   Name_Task_Storage                   : constant Name_Id := N + 267; -- VMS
-   Name_Time_Slice                     : constant Name_Id := N + 268; -- GNAT
-   Name_Title                          : constant Name_Id := N + 269; -- GNAT
-   Name_Unchecked_Union                : constant Name_Id := N + 270; -- Ada 05
-   Name_Unimplemented_Unit             : constant Name_Id := N + 271; -- GNAT
-   Name_Universal_Aliasing             : constant Name_Id := N + 272; -- GNAT
-   Name_Unmodified                     : constant Name_Id := N + 273; -- GNAT
-   Name_Unreferenced                   : constant Name_Id := N + 274; -- GNAT
-   Name_Unreferenced_Objects           : constant Name_Id := N + 275; -- GNAT
-   Name_Unreserve_All_Interrupts       : constant Name_Id := N + 276; -- GNAT
-   Name_Volatile                       : constant Name_Id := N + 277;
-   Name_Volatile_Components            : constant Name_Id := N + 278;
-   Name_Weak_External                  : constant Name_Id := N + 279; -- GNAT
-   Last_Pragma_Name                    : constant Name_Id := N + 279;
+   Name_Source_Reference               : constant Name_Id := N + 258; -- GNAT
+   Name_Static_Elaboration_Desired     : constant Name_Id := N + 259; -- GNAT
+   Name_Stream_Convert                 : constant Name_Id := N + 260; -- GNAT
+   Name_Subtitle                       : constant Name_Id := N + 261; -- GNAT
+   Name_Suppress_All                   : constant Name_Id := N + 262; -- GNAT
+   Name_Suppress_Debug_Info            : constant Name_Id := N + 263; -- GNAT
+   Name_Suppress_Initialization        : constant Name_Id := N + 264; -- GNAT
+   Name_System_Name                    : constant Name_Id := N + 265; -- Ada 83
+   Name_Task_Info                      : constant Name_Id := N + 266; -- GNAT
+   Name_Task_Name                      : constant Name_Id := N + 267; -- GNAT
+   Name_Task_Storage                   : constant Name_Id := N + 268; -- VMS
+   Name_Time_Slice                     : constant Name_Id := N + 269; -- GNAT
+   Name_Title                          : constant Name_Id := N + 270; -- GNAT
+   Name_Unchecked_Union                : constant Name_Id := N + 271; -- Ada 05
+   Name_Unimplemented_Unit             : constant Name_Id := N + 272; -- GNAT
+   Name_Universal_Aliasing             : constant Name_Id := N + 273; -- GNAT
+   Name_Unmodified                     : constant Name_Id := N + 274; -- GNAT
+   Name_Unreferenced                   : constant Name_Id := N + 275; -- GNAT
+   Name_Unreferenced_Objects           : constant Name_Id := N + 276; -- GNAT
+   Name_Unreserve_All_Interrupts       : constant Name_Id := N + 277; -- GNAT
+   Name_Volatile                       : constant Name_Id := N + 278;
+   Name_Volatile_Components            : constant Name_Id := N + 279;
+   Name_Weak_External                  : constant Name_Id := N + 280; -- GNAT
+   Last_Pragma_Name                    : constant Name_Id := N + 280;
 
    --  Language convention names for pragma Convention/Export/Import/Interface
    --  Note that Name_C is not included in this list, since it was already
@@ -545,120 +546,120 @@ package Snames is
    --  Entry and Protected, this is because these conventions cannot be
    --  specified by a pragma.
 
-   First_Convention_Name               : constant Name_Id := N + 280;
-   Name_Ada                            : constant Name_Id := N + 280;
-   Name_Assembler                      : constant Name_Id := N + 281;
-   Name_CIL                            : constant Name_Id := N + 282;
-   Name_COBOL                          : constant Name_Id := N + 283;
-   Name_CPP                            : constant Name_Id := N + 284;
-   Name_Fortran                        : constant Name_Id := N + 285;
-   Name_Intrinsic                      : constant Name_Id := N + 286;
-   Name_Java                           : constant Name_Id := N + 287;
-   Name_Stdcall                        : constant Name_Id := N + 288;
-   Name_Stubbed                        : constant Name_Id := N + 289;
-   Last_Convention_Name                : constant Name_Id := N + 289;
+   First_Convention_Name               : constant Name_Id := N + 281;
+   Name_Ada                            : constant Name_Id := N + 281;
+   Name_Assembler                      : constant Name_Id := N + 282;
+   Name_CIL                            : constant Name_Id := N + 283;
+   Name_COBOL                          : constant Name_Id := N + 284;
+   Name_CPP                            : constant Name_Id := N + 285;
+   Name_Fortran                        : constant Name_Id := N + 286;
+   Name_Intrinsic                      : constant Name_Id := N + 287;
+   Name_Java                           : constant Name_Id := N + 288;
+   Name_Stdcall                        : constant Name_Id := N + 289;
+   Name_Stubbed                        : constant Name_Id := N + 290;
+   Last_Convention_Name                : constant Name_Id := N + 290;
 
    --  The following names are preset as synonyms for Assembler
 
-   Name_Asm                            : constant Name_Id := N + 290;
-   Name_Assembly                       : constant Name_Id := N + 291;
+   Name_Asm                            : constant Name_Id := N + 291;
+   Name_Assembly                       : constant Name_Id := N + 292;
 
    --  The following names are preset as synonyms for C
 
-   Name_Default                        : constant Name_Id := N + 292;
+   Name_Default                        : constant Name_Id := N + 293;
    --  Name_External (previously defined as pragma)
 
    --  The following names are preset as synonyms for CPP
 
-   Name_C_Plus_Plus                    : constant Name_Id := N + 293;
+   Name_C_Plus_Plus                    : constant Name_Id := N + 294;
 
    --  The following names are present as synonyms for Stdcall
 
-   Name_DLL                            : constant Name_Id := N + 294;
-   Name_Win32                          : constant Name_Id := N + 295;
+   Name_DLL                            : constant Name_Id := N + 295;
+   Name_Win32                          : constant Name_Id := N + 296;
 
    --  Other special names used in processing pragmas
 
-   Name_As_Is                          : constant Name_Id := N + 296;
-   Name_Assertion                      : constant Name_Id := N + 297;
-   Name_Attribute_Name                 : constant Name_Id := N + 298;
-   Name_Body_File_Name                 : constant Name_Id := N + 299;
-   Name_Boolean_Entry_Barriers         : constant Name_Id := N + 300;
-   Name_Casing                         : constant Name_Id := N + 301;
-   Name_Code                           : constant Name_Id := N + 302;
-   Name_Component                      : constant Name_Id := N + 303;
-   Name_Component_Size_4               : constant Name_Id := N + 304;
-   Name_Copy                           : constant Name_Id := N + 305;
-   Name_D_Float                        : constant Name_Id := N + 306;
-   Name_Descriptor                     : constant Name_Id := N + 307;
-   Name_Dot_Replacement                : constant Name_Id := N + 308;
-   Name_Dynamic                        : constant Name_Id := N + 309;
-   Name_Entity                         : constant Name_Id := N + 310;
-   Name_Entry_Count                    : constant Name_Id := N + 311;
-   Name_External_Name                  : constant Name_Id := N + 312;
-   Name_First_Optional_Parameter       : constant Name_Id := N + 313;
-   Name_Form                           : constant Name_Id := N + 314;
-   Name_G_Float                        : constant Name_Id := N + 315;
-   Name_Gcc                            : constant Name_Id := N + 316;
-   Name_Gnat                           : constant Name_Id := N + 317;
-   Name_GPL                            : constant Name_Id := N + 318;
-   Name_IEEE_Float                     : constant Name_Id := N + 319;
-   Name_Ignore                         : constant Name_Id := N + 320;
-   Name_Info                           : constant Name_Id := N + 321;
-   Name_Internal                       : constant Name_Id := N + 322;
-   Name_Link_Name                      : constant Name_Id := N + 323;
-   Name_Lowercase                      : constant Name_Id := N + 324;
-   Name_Max_Entry_Queue_Depth          : constant Name_Id := N + 325;
-   Name_Max_Entry_Queue_Length         : constant Name_Id := N + 326;
-   Name_Max_Size                       : constant Name_Id := N + 327;
-   Name_Mechanism                      : constant Name_Id := N + 328;
-   Name_Message                        : constant Name_Id := N + 329;
-   Name_Mixedcase                      : constant Name_Id := N + 330;
-   Name_Modified_GPL                   : constant Name_Id := N + 331;
-   Name_Name                           : constant Name_Id := N + 332;
-   Name_NCA                            : constant Name_Id := N + 333;
-   Name_No                             : constant Name_Id := N + 334;
-   Name_No_Dependence                  : constant Name_Id := N + 335;
-   Name_No_Dynamic_Attachment          : constant Name_Id := N + 336;
-   Name_No_Dynamic_Interrupts          : constant Name_Id := N + 337;
-   Name_No_Requeue                     : constant Name_Id := N + 338;
-   Name_No_Requeue_Statements          : constant Name_Id := N + 339;
-   Name_No_Task_Attributes             : constant Name_Id := N + 340;
-   Name_No_Task_Attributes_Package     : constant Name_Id := N + 341;
-   Name_On                             : constant Name_Id := N + 342;
-   Name_Parameter_Types                : constant Name_Id := N + 343;
-   Name_Reference                      : constant Name_Id := N + 344;
-   Name_Restricted                     : constant Name_Id := N + 345;
-   Name_Result_Mechanism               : constant Name_Id := N + 346;
-   Name_Result_Type                    : constant Name_Id := N + 347;
-   Name_Runtime                        : constant Name_Id := N + 348;
-   Name_SB                             : constant Name_Id := N + 349;
-   Name_Secondary_Stack_Size           : constant Name_Id := N + 350;
-   Name_Section                        : constant Name_Id := N + 351;
-   Name_Semaphore                      : constant Name_Id := N + 352;
-   Name_Short_Descriptor               : constant Name_Id := N + 353;
-   Name_Simple_Barriers                : constant Name_Id := N + 354;
-   Name_Spec_File_Name                 : constant Name_Id := N + 355;
-   Name_State                          : constant Name_Id := N + 356;
-   Name_Static                         : constant Name_Id := N + 357;
-   Name_Stack_Size                     : constant Name_Id := N + 358;
-   Name_Subunit_File_Name              : constant Name_Id := N + 359;
-   Name_Task_Stack_Size_Default        : constant Name_Id := N + 360;
-   Name_Task_Type                      : constant Name_Id := N + 361;
-   Name_Time_Slicing_Enabled           : constant Name_Id := N + 362;
-   Name_Top_Guard                      : constant Name_Id := N + 363;
-   Name_UBA                            : constant Name_Id := N + 364;
-   Name_UBS                            : constant Name_Id := N + 365;
-   Name_UBSB                           : constant Name_Id := N + 366;
-   Name_Unit_Name                      : constant Name_Id := N + 367;
-   Name_Unknown                        : constant Name_Id := N + 368;
-   Name_Unrestricted                   : constant Name_Id := N + 369;
-   Name_Uppercase                      : constant Name_Id := N + 370;
-   Name_User                           : constant Name_Id := N + 371;
-   Name_VAX_Float                      : constant Name_Id := N + 372;
-   Name_VMS                            : constant Name_Id := N + 373;
-   Name_Vtable_Ptr                     : constant Name_Id := N + 374;
-   Name_Working_Storage                : constant Name_Id := N + 375;
+   Name_As_Is                          : constant Name_Id := N + 297;
+   Name_Assertion                      : constant Name_Id := N + 298;
+   Name_Attribute_Name                 : constant Name_Id := N + 299;
+   Name_Body_File_Name                 : constant Name_Id := N + 300;
+   Name_Boolean_Entry_Barriers         : constant Name_Id := N + 301;
+   Name_Casing                         : constant Name_Id := N + 302;
+   Name_Code                           : constant Name_Id := N + 303;
+   Name_Component                      : constant Name_Id := N + 304;
+   Name_Component_Size_4               : constant Name_Id := N + 305;
+   Name_Copy                           : constant Name_Id := N + 306;
+   Name_D_Float                        : constant Name_Id := N + 307;
+   Name_Descriptor                     : constant Name_Id := N + 308;
+   Name_Dot_Replacement                : constant Name_Id := N + 309;
+   Name_Dynamic                        : constant Name_Id := N + 310;
+   Name_Entity                         : constant Name_Id := N + 311;
+   Name_Entry_Count                    : constant Name_Id := N + 312;
+   Name_External_Name                  : constant Name_Id := N + 313;
+   Name_First_Optional_Parameter       : constant Name_Id := N + 314;
+   Name_Form                           : constant Name_Id := N + 315;
+   Name_G_Float                        : constant Name_Id := N + 316;
+   Name_Gcc                            : constant Name_Id := N + 317;
+   Name_Gnat                           : constant Name_Id := N + 318;
+   Name_GPL                            : constant Name_Id := N + 319;
+   Name_IEEE_Float                     : constant Name_Id := N + 320;
+   Name_Ignore                         : constant Name_Id := N + 321;
+   Name_Info                           : constant Name_Id := N + 322;
+   Name_Internal                       : constant Name_Id := N + 323;
+   Name_Link_Name                      : constant Name_Id := N + 324;
+   Name_Lowercase                      : constant Name_Id := N + 325;
+   Name_Max_Entry_Queue_Depth          : constant Name_Id := N + 326;
+   Name_Max_Entry_Queue_Length         : constant Name_Id := N + 327;
+   Name_Max_Size                       : constant Name_Id := N + 328;
+   Name_Mechanism                      : constant Name_Id := N + 329;
+   Name_Message                        : constant Name_Id := N + 330;
+   Name_Mixedcase                      : constant Name_Id := N + 331;
+   Name_Modified_GPL                   : constant Name_Id := N + 332;
+   Name_Name                           : constant Name_Id := N + 333;
+   Name_NCA                            : constant Name_Id := N + 334;
+   Name_No                             : constant Name_Id := N + 335;
+   Name_No_Dependence                  : constant Name_Id := N + 336;
+   Name_No_Dynamic_Attachment          : constant Name_Id := N + 337;
+   Name_No_Dynamic_Interrupts          : constant Name_Id := N + 338;
+   Name_No_Requeue                     : constant Name_Id := N + 339;
+   Name_No_Requeue_Statements          : constant Name_Id := N + 340;
+   Name_No_Task_Attributes             : constant Name_Id := N + 341;
+   Name_No_Task_Attributes_Package     : constant Name_Id := N + 342;
+   Name_On                             : constant Name_Id := N + 343;
+   Name_Parameter_Types                : constant Name_Id := N + 344;
+   Name_Reference                      : constant Name_Id := N + 345;
+   Name_Restricted                     : constant Name_Id := N + 346;
+   Name_Result_Mechanism               : constant Name_Id := N + 347;
+   Name_Result_Type                    : constant Name_Id := N + 348;
+   Name_Runtime                        : constant Name_Id := N + 349;
+   Name_SB                             : constant Name_Id := N + 350;
+   Name_Secondary_Stack_Size           : constant Name_Id := N + 351;
+   Name_Section                        : constant Name_Id := N + 352;
+   Name_Semaphore                      : constant Name_Id := N + 353;
+   Name_Short_Descriptor               : constant Name_Id := N + 354;
+   Name_Simple_Barriers                : constant Name_Id := N + 355;
+   Name_Spec_File_Name                 : constant Name_Id := N + 356;
+   Name_State                          : constant Name_Id := N + 357;
+   Name_Static                         : constant Name_Id := N + 358;
+   Name_Stack_Size                     : constant Name_Id := N + 359;
+   Name_Subunit_File_Name              : constant Name_Id := N + 360;
+   Name_Task_Stack_Size_Default        : constant Name_Id := N + 361;
+   Name_Task_Type                      : constant Name_Id := N + 362;
+   Name_Time_Slicing_Enabled           : constant Name_Id := N + 363;
+   Name_Top_Guard                      : constant Name_Id := N + 364;
+   Name_UBA                            : constant Name_Id := N + 365;
+   Name_UBS                            : constant Name_Id := N + 366;
+   Name_UBSB                           : constant Name_Id := N + 367;
+   Name_Unit_Name                      : constant Name_Id := N + 368;
+   Name_Unknown                        : constant Name_Id := N + 369;
+   Name_Unrestricted                   : constant Name_Id := N + 370;
+   Name_Uppercase                      : constant Name_Id := N + 371;
+   Name_User                           : constant Name_Id := N + 372;
+   Name_VAX_Float                      : constant Name_Id := N + 373;
+   Name_VMS                            : constant Name_Id := N + 374;
+   Name_Vtable_Ptr                     : constant Name_Id := N + 375;
+   Name_Working_Storage                : constant Name_Id := N + 376;
 
    --  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
@@ -672,178 +673,178 @@ 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 + 376;
-   Name_Abort_Signal                   : constant Name_Id := N + 376; -- GNAT
-   Name_Access                         : constant Name_Id := N + 377;
-   Name_Address                        : constant Name_Id := N + 378;
-   Name_Address_Size                   : constant Name_Id := N + 379; -- GNAT
-   Name_Aft                            : constant Name_Id := N + 380;
-   Name_Alignment                      : constant Name_Id := N + 381;
-   Name_Asm_Input                      : constant Name_Id := N + 382; -- GNAT
-   Name_Asm_Output                     : constant Name_Id := N + 383; -- GNAT
-   Name_AST_Entry                      : constant Name_Id := N + 384; -- VMS
-   Name_Bit                            : constant Name_Id := N + 385; -- GNAT
-   Name_Bit_Order                      : constant Name_Id := N + 386;
-   Name_Bit_Position                   : constant Name_Id := N + 387; -- GNAT
-   Name_Body_Version                   : constant Name_Id := N + 388;
-   Name_Callable                       : constant Name_Id := N + 389;
-   Name_Caller                         : constant Name_Id := N + 390;
-   Name_Code_Address                   : constant Name_Id := N + 391; -- GNAT
-   Name_Component_Size                 : constant Name_Id := N + 392;
-   Name_Compose                        : constant Name_Id := N + 393;
-   Name_Constrained                    : constant Name_Id := N + 394;
-   Name_Count                          : constant Name_Id := N + 395;
-   Name_Default_Bit_Order              : constant Name_Id := N + 396; -- GNAT
-   Name_Definite                       : constant Name_Id := N + 397;
-   Name_Delta                          : constant Name_Id := N + 398;
-   Name_Denorm                         : constant Name_Id := N + 399;
-   Name_Digits                         : constant Name_Id := N + 400;
-   Name_Elaborated                     : constant Name_Id := N + 401; -- GNAT
-   Name_Emax                           : constant Name_Id := N + 402; -- Ada 83
-   Name_Enabled                        : constant Name_Id := N + 403; -- GNAT
-   Name_Enum_Rep                       : constant Name_Id := N + 404; -- GNAT
-   Name_Enum_Val                       : constant Name_Id := N + 405; -- GNAT
-   Name_Epsilon                        : constant Name_Id := N + 406; -- Ada 83
-   Name_Exponent                       : constant Name_Id := N + 407;
-   Name_External_Tag                   : constant Name_Id := N + 408;
-   Name_Fast_Math                      : constant Name_Id := N + 409; -- GNAT
-   Name_First                          : constant Name_Id := N + 410;
-   Name_First_Bit                      : constant Name_Id := N + 411;
-   Name_Fixed_Value                    : constant Name_Id := N + 412; -- GNAT
-   Name_Fore                           : constant Name_Id := N + 413;
-   Name_Has_Access_Values              : constant Name_Id := N + 414; -- GNAT
-   Name_Has_Discriminants              : constant Name_Id := N + 415; -- GNAT
-   Name_Has_Tagged_Values              : constant Name_Id := N + 416; -- GNAT
-   Name_Identity                       : constant Name_Id := N + 417;
-   Name_Img                            : constant Name_Id := N + 418; -- GNAT
-   Name_Integer_Value                  : constant Name_Id := N + 419; -- GNAT
-   Name_Invalid_Value                  : constant Name_Id := N + 420; -- GNAT
-   Name_Large                          : constant Name_Id := N + 421; -- Ada 83
-   Name_Last                           : constant Name_Id := N + 422;
-   Name_Last_Bit                       : constant Name_Id := N + 423;
-   Name_Leading_Part                   : constant Name_Id := N + 424;
-   Name_Length                         : constant Name_Id := N + 425;
-   Name_Machine_Emax                   : constant Name_Id := N + 426;
-   Name_Machine_Emin                   : constant Name_Id := N + 427;
-   Name_Machine_Mantissa               : constant Name_Id := N + 428;
-   Name_Machine_Overflows              : constant Name_Id := N + 429;
-   Name_Machine_Radix                  : constant Name_Id := N + 430;
-   Name_Machine_Rounding               : constant Name_Id := N + 431; -- Ada 05
-   Name_Machine_Rounds                 : constant Name_Id := N + 432;
-   Name_Machine_Size                   : constant Name_Id := N + 433; -- GNAT
-   Name_Mantissa                       : constant Name_Id := N + 434; -- Ada 83
-   Name_Max_Size_In_Storage_Elements   : constant Name_Id := N + 435;
-   Name_Maximum_Alignment              : constant Name_Id := N + 436; -- GNAT
-   Name_Mechanism_Code                 : constant Name_Id := N + 437; -- GNAT
-   Name_Mod                            : constant Name_Id := N + 438; -- Ada 05
-   Name_Model_Emin                     : constant Name_Id := N + 439;
-   Name_Model_Epsilon                  : constant Name_Id := N + 440;
-   Name_Model_Mantissa                 : constant Name_Id := N + 441;
-   Name_Model_Small                    : constant Name_Id := N + 442;
-   Name_Modulus                        : constant Name_Id := N + 443;
-   Name_Null_Parameter                 : constant Name_Id := N + 444; -- GNAT
-   Name_Object_Size                    : constant Name_Id := N + 445; -- GNAT
-   Name_Old                            : constant Name_Id := N + 446; -- GNAT
-   Name_Partition_ID                   : constant Name_Id := N + 447;
-   Name_Passed_By_Reference            : constant Name_Id := N + 448; -- GNAT
-   Name_Pool_Address                   : constant Name_Id := N + 449;
-   Name_Pos                            : constant Name_Id := N + 450;
-   Name_Position                       : constant Name_Id := N + 451;
-   Name_Priority                       : constant Name_Id := N + 452; -- Ada 05
-   Name_Range                          : constant Name_Id := N + 453;
-   Name_Range_Length                   : constant Name_Id := N + 454; -- GNAT
-   Name_Result                         : constant Name_Id := N + 455; -- GNAT
-   Name_Round                          : constant Name_Id := N + 456;
-   Name_Safe_Emax                      : constant Name_Id := N + 457; -- Ada 83
-   Name_Safe_First                     : constant Name_Id := N + 458;
-   Name_Safe_Large                     : constant Name_Id := N + 459; -- Ada 83
-   Name_Safe_Last                      : constant Name_Id := N + 460;
-   Name_Safe_Small                     : constant Name_Id := N + 461; -- Ada 83
-   Name_Scale                          : constant Name_Id := N + 462;
-   Name_Scaling                        : constant Name_Id := N + 463;
-   Name_Signed_Zeros                   : constant Name_Id := N + 464;
-   Name_Size                           : constant Name_Id := N + 465;
-   Name_Small                          : constant Name_Id := N + 466;
-   Name_Storage_Size                   : constant Name_Id := N + 467;
-   Name_Storage_Unit                   : constant Name_Id := N + 468; -- GNAT
-   Name_Stream_Size                    : constant Name_Id := N + 469; -- Ada 05
-   Name_Tag                            : constant Name_Id := N + 470;
-   Name_Target_Name                    : constant Name_Id := N + 471; -- GNAT
-   Name_Terminated                     : constant Name_Id := N + 472;
-   Name_To_Address                     : constant Name_Id := N + 473; -- GNAT
-   Name_Type_Class                     : constant Name_Id := N + 474; -- GNAT
-   Name_UET_Address                    : constant Name_Id := N + 475; -- GNAT
-   Name_Unbiased_Rounding              : constant Name_Id := N + 476;
-   Name_Unchecked_Access               : constant Name_Id := N + 477;
-   Name_Unconstrained_Array            : constant Name_Id := N + 478;
-   Name_Universal_Literal_String       : constant Name_Id := N + 479; -- GNAT
-   Name_Unrestricted_Access            : constant Name_Id := N + 480; -- GNAT
-   Name_VADS_Size                      : constant Name_Id := N + 481; -- GNAT
-   Name_Val                            : constant Name_Id := N + 482;
-   Name_Valid                          : constant Name_Id := N + 483;
-   Name_Value_Size                     : constant Name_Id := N + 484; -- GNAT
-   Name_Version                        : constant Name_Id := N + 485;
-   Name_Wchar_T_Size                   : constant Name_Id := N + 486; -- GNAT
-   Name_Wide_Wide_Width                : constant Name_Id := N + 487; -- Ada 05
-   Name_Wide_Width                     : constant Name_Id := N + 488;
-   Name_Width                          : constant Name_Id := N + 489;
-   Name_Word_Size                      : constant Name_Id := N + 490; -- GNAT
+   First_Attribute_Name                : constant Name_Id := N + 377;
+   Name_Abort_Signal                   : constant Name_Id := N + 377; -- GNAT
+   Name_Access                         : constant Name_Id := N + 378;
+   Name_Address                        : constant Name_Id := N + 379;
+   Name_Address_Size                   : constant Name_Id := N + 380; -- GNAT
+   Name_Aft                            : constant Name_Id := N + 381;
+   Name_Alignment                      : constant Name_Id := N + 382;
+   Name_Asm_Input                      : constant Name_Id := N + 383; -- GNAT
+   Name_Asm_Output                     : constant Name_Id := N + 384; -- GNAT
+   Name_AST_Entry                      : constant Name_Id := N + 385; -- VMS
+   Name_Bit                            : constant Name_Id := N + 386; -- GNAT
+   Name_Bit_Order                      : constant Name_Id := N + 387;
+   Name_Bit_Position                   : constant Name_Id := N + 388; -- GNAT
+   Name_Body_Version                   : constant Name_Id := N + 389;
+   Name_Callable                       : constant Name_Id := N + 390;
+   Name_Caller                         : constant Name_Id := N + 391;
+   Name_Code_Address                   : constant Name_Id := N + 392; -- GNAT
+   Name_Component_Size                 : constant Name_Id := N + 393;
+   Name_Compose                        : constant Name_Id := N + 394;
+   Name_Constrained                    : constant Name_Id := N + 395;
+   Name_Count                          : constant Name_Id := N + 396;
+   Name_Default_Bit_Order              : constant Name_Id := N + 397; -- GNAT
+   Name_Definite                       : constant Name_Id := N + 398;
+   Name_Delta                          : constant Name_Id := N + 399;
+   Name_Denorm                         : constant Name_Id := N + 400;
+   Name_Digits                         : constant Name_Id := N + 401;
+   Name_Elaborated                     : constant Name_Id := N + 402; -- GNAT
+   Name_Emax                           : constant Name_Id := N + 403; -- Ada 83
+   Name_Enabled                        : constant Name_Id := N + 404; -- GNAT
+   Name_Enum_Rep                       : constant Name_Id := N + 405; -- GNAT
+   Name_Enum_Val                       : constant Name_Id := N + 406; -- GNAT
+   Name_Epsilon                        : constant Name_Id := N + 407; -- Ada 83
+   Name_Exponent                       : constant Name_Id := N + 408;
+   Name_External_Tag                   : constant Name_Id := N + 409;
+   Name_Fast_Math                      : constant Name_Id := N + 410; -- GNAT
+   Name_First                          : constant Name_Id := N + 411;
+   Name_First_Bit                      : constant Name_Id := N + 412;
+   Name_Fixed_Value                    : constant Name_Id := N + 413; -- GNAT
+   Name_Fore                           : constant Name_Id := N + 414;
+   Name_Has_Access_Values              : constant Name_Id := N + 415; -- GNAT
+   Name_Has_Discriminants              : constant Name_Id := N + 416; -- GNAT
+   Name_Has_Tagged_Values              : constant Name_Id := N + 417; -- GNAT
+   Name_Identity                       : constant Name_Id := N + 418;
+   Name_Img                            : constant Name_Id := N + 419; -- GNAT
+   Name_Integer_Value                  : constant Name_Id := N + 420; -- GNAT
+   Name_Invalid_Value                  : constant Name_Id := N + 421; -- GNAT
+   Name_Large                          : constant Name_Id := N + 422; -- Ada 83
+   Name_Last                           : constant Name_Id := N + 423;
+   Name_Last_Bit                       : constant Name_Id := N + 424;
+   Name_Leading_Part                   : constant Name_Id := N + 425;
+   Name_Length                         : constant Name_Id := N + 426;
+   Name_Machine_Emax                   : constant Name_Id := N + 427;
+   Name_Machine_Emin                   : constant Name_Id := N + 428;
+   Name_Machine_Mantissa               : constant Name_Id := N + 429;
+   Name_Machine_Overflows              : constant Name_Id := N + 430;
+   Name_Machine_Radix                  : constant Name_Id := N + 431;
+   Name_Machine_Rounding               : constant Name_Id := N + 432; -- Ada 05
+   Name_Machine_Rounds                 : constant Name_Id := N + 433;
+   Name_Machine_Size                   : constant Name_Id := N + 434; -- GNAT
+   Name_Mantissa                       : constant Name_Id := N + 435; -- Ada 83
+   Name_Max_Size_In_Storage_Elements   : constant Name_Id := N + 436;
+   Name_Maximum_Alignment              : constant Name_Id := N + 437; -- GNAT
+   Name_Mechanism_Code                 : constant Name_Id := N + 438; -- GNAT
+   Name_Mod                            : constant Name_Id := N + 439; -- Ada 05
+   Name_Model_Emin                     : constant Name_Id := N + 440;
+   Name_Model_Epsilon                  : constant Name_Id := N + 441;
+   Name_Model_Mantissa                 : constant Name_Id := N + 442;
+   Name_Model_Small                    : constant Name_Id := N + 443;
+   Name_Modulus                        : constant Name_Id := N + 444;
+   Name_Null_Parameter                 : constant Name_Id := N + 445; -- GNAT
+   Name_Object_Size                    : constant Name_Id := N + 446; -- GNAT
+   Name_Old                            : constant Name_Id := N + 447; -- GNAT
+   Name_Partition_ID                   : constant Name_Id := N + 448;
+   Name_Passed_By_Reference            : constant Name_Id := N + 449; -- GNAT
+   Name_Pool_Address                   : constant Name_Id := N + 450;
+   Name_Pos                            : constant Name_Id := N + 451;
+   Name_Position                       : constant Name_Id := N + 452;
+   Name_Priority                       : constant Name_Id := N + 453; -- Ada 05
+   Name_Range                          : constant Name_Id := N + 454;
+   Name_Range_Length                   : constant Name_Id := N + 455; -- GNAT
+   Name_Result                         : constant Name_Id := N + 456; -- GNAT
+   Name_Round                          : constant Name_Id := N + 457;
+   Name_Safe_Emax                      : constant Name_Id := N + 458; -- Ada 83
+   Name_Safe_First                     : constant Name_Id := N + 459;
+   Name_Safe_Large                     : constant Name_Id := N + 460; -- Ada 83
+   Name_Safe_Last                      : constant Name_Id := N + 461;
+   Name_Safe_Small                     : constant Name_Id := N + 462; -- Ada 83
+   Name_Scale                          : constant Name_Id := N + 463;
+   Name_Scaling                        : constant Name_Id := N + 464;
+   Name_Signed_Zeros                   : constant Name_Id := N + 465;
+   Name_Size                           : constant Name_Id := N + 466;
+   Name_Small                          : constant Name_Id := N + 467;
+   Name_Storage_Size                   : constant Name_Id := N + 468;
+   Name_Storage_Unit                   : constant Name_Id := N + 469; -- GNAT
+   Name_Stream_Size                    : constant Name_Id := N + 470; -- Ada 05
+   Name_Tag                            : constant Name_Id := N + 471;
+   Name_Target_Name                    : constant Name_Id := N + 472; -- GNAT
+   Name_Terminated                     : constant Name_Id := N + 473;
+   Name_To_Address                     : constant Name_Id := N + 474; -- GNAT
+   Name_Type_Class                     : constant Name_Id := N + 475; -- GNAT
+   Name_UET_Address                    : constant Name_Id := N + 476; -- GNAT
+   Name_Unbiased_Rounding              : constant Name_Id := N + 477;
+   Name_Unchecked_Access               : constant Name_Id := N + 478;
+   Name_Unconstrained_Array            : constant Name_Id := N + 479;
+   Name_Universal_Literal_String       : constant Name_Id := N + 480; -- GNAT
+   Name_Unrestricted_Access            : constant Name_Id := N + 481; -- GNAT
+   Name_VADS_Size                      : constant Name_Id := N + 482; -- GNAT
+   Name_Val                            : constant Name_Id := N + 483;
+   Name_Valid                          : constant Name_Id := N + 484;
+   Name_Value_Size                     : constant Name_Id := N + 485; -- GNAT
+   Name_Version                        : constant Name_Id := N + 486;
+   Name_Wchar_T_Size                   : constant Name_Id := N + 487; -- GNAT
+   Name_Wide_Wide_Width                : constant Name_Id := N + 488; -- Ada 05
+   Name_Wide_Width                     : constant Name_Id := N + 489;
+   Name_Width                          : constant Name_Id := N + 490;
+   Name_Word_Size                      : constant Name_Id := N + 491; -- 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 + 491;
-   Name_Adjacent                       : constant Name_Id := N + 491;
-   Name_Ceiling                        : constant Name_Id := N + 492;
-   Name_Copy_Sign                      : constant Name_Id := N + 493;
-   Name_Floor                          : constant Name_Id := N + 494;
-   Name_Fraction                       : constant Name_Id := N + 495;
-   Name_From_Any                       : constant Name_Id := N + 496; -- GNAT
-   Name_Image                          : constant Name_Id := N + 497;
-   Name_Input                          : constant Name_Id := N + 498;
-   Name_Machine                        : constant Name_Id := N + 499;
-   Name_Max                            : constant Name_Id := N + 500;
-   Name_Min                            : constant Name_Id := N + 501;
-   Name_Model                          : constant Name_Id := N + 502;
-   Name_Pred                           : constant Name_Id := N + 503;
-   Name_Remainder                      : constant Name_Id := N + 504;
-   Name_Rounding                       : constant Name_Id := N + 505;
-   Name_Succ                           : constant Name_Id := N + 506;
-   Name_To_Any                         : constant Name_Id := N + 507; -- GNAT
-   Name_Truncation                     : constant Name_Id := N + 508;
-   Name_TypeCode                       : constant Name_Id := N + 509; -- GNAT
-   Name_Value                          : constant Name_Id := N + 510;
-   Name_Wide_Image                     : constant Name_Id := N + 511;
-   Name_Wide_Wide_Image                : constant Name_Id := N + 512;
-   Name_Wide_Value                     : constant Name_Id := N + 513;
-   Name_Wide_Wide_Value                : constant Name_Id := N + 514;
-   Last_Renamable_Function_Attribute   : constant Name_Id := N + 514;
+   First_Renamable_Function_Attribute  : constant Name_Id := N + 492;
+   Name_Adjacent                       : constant Name_Id := N + 492;
+   Name_Ceiling                        : constant Name_Id := N + 493;
+   Name_Copy_Sign                      : constant Name_Id := N + 494;
+   Name_Floor                          : constant Name_Id := N + 495;
+   Name_Fraction                       : constant Name_Id := N + 496;
+   Name_From_Any                       : constant Name_Id := N + 497; -- GNAT
+   Name_Image                          : constant Name_Id := N + 498;
+   Name_Input                          : constant Name_Id := N + 499;
+   Name_Machine                        : constant Name_Id := N + 500;
+   Name_Max                            : constant Name_Id := N + 501;
+   Name_Min                            : constant Name_Id := N + 502;
+   Name_Model                          : constant Name_Id := N + 503;
+   Name_Pred                           : constant Name_Id := N + 504;
+   Name_Remainder                      : constant Name_Id := N + 505;
+   Name_Rounding                       : constant Name_Id := N + 506;
+   Name_Succ                           : constant Name_Id := N + 507;
+   Name_To_Any                         : constant Name_Id := N + 508; -- GNAT
+   Name_Truncation                     : constant Name_Id := N + 509;
+   Name_TypeCode                       : constant Name_Id := N + 510; -- GNAT
+   Name_Value                          : constant Name_Id := N + 511;
+   Name_Wide_Image                     : constant Name_Id := N + 512;
+   Name_Wide_Wide_Image                : constant Name_Id := N + 513;
+   Name_Wide_Value                     : constant Name_Id := N + 514;
+   Name_Wide_Wide_Value                : constant Name_Id := N + 515;
+   Last_Renamable_Function_Attribute   : constant Name_Id := N + 515;
 
    --  Attributes that designate procedures
 
-   First_Procedure_Attribute           : constant Name_Id := N + 515;
-   Name_Output                         : constant Name_Id := N + 515;
-   Name_Read                           : constant Name_Id := N + 516;
-   Name_Write                          : constant Name_Id := N + 517;
-   Last_Procedure_Attribute            : constant Name_Id := N + 517;
+   First_Procedure_Attribute           : constant Name_Id := N + 516;
+   Name_Output                         : constant Name_Id := N + 516;
+   Name_Read                           : constant Name_Id := N + 517;
+   Name_Write                          : constant Name_Id := N + 518;
+   Last_Procedure_Attribute            : constant Name_Id := N + 518;
 
    --  Remaining attributes are ones that return entities
 
-   First_Entity_Attribute_Name         : constant Name_Id := N + 518;
-   Name_Elab_Body                      : constant Name_Id := N + 518; -- GNAT
-   Name_Elab_Spec                      : constant Name_Id := N + 519; -- GNAT
-   Name_Storage_Pool                   : constant Name_Id := N + 520;
+   First_Entity_Attribute_Name         : constant Name_Id := N + 519;
+   Name_Elab_Body                      : constant Name_Id := N + 519; -- GNAT
+   Name_Elab_Spec                      : constant Name_Id := N + 520; -- GNAT
+   Name_Storage_Pool                   : constant Name_Id := N + 521;
 
    --  These attributes are the ones that return types
 
-   First_Type_Attribute_Name           : constant Name_Id := N + 521;
-   Name_Base                           : constant Name_Id := N + 521;
-   Name_Class                          : constant Name_Id := N + 522;
-   Name_Stub_Type                      : constant Name_Id := N + 523;
-   Last_Type_Attribute_Name            : constant Name_Id := N + 523;
-   Last_Entity_Attribute_Name          : constant Name_Id := N + 523;
-   Last_Attribute_Name                 : constant Name_Id := N + 523;
+   First_Type_Attribute_Name           : constant Name_Id := N + 522;
+   Name_Base                           : constant Name_Id := N + 522;
+   Name_Class                          : constant Name_Id := N + 523;
+   Name_Stub_Type                      : constant Name_Id := N + 524;
+   Last_Type_Attribute_Name            : constant Name_Id := N + 524;
+   Last_Entity_Attribute_Name          : constant Name_Id := N + 524;
+   Last_Attribute_Name                 : constant Name_Id := N + 524;
 
    --  Names of recognized locking policy identifiers
 
@@ -851,10 +852,10 @@ package Snames is
    --  name (e.g. C for Ceiling_Locking). If new policy names are added,
    --  the first character must be distinct.
 
-   First_Locking_Policy_Name           : constant Name_Id := N + 524;
-   Name_Ceiling_Locking                : constant Name_Id := N + 524;
-   Name_Inheritance_Locking            : constant Name_Id := N + 525;
-   Last_Locking_Policy_Name            : constant Name_Id := N + 525;
+   First_Locking_Policy_Name           : constant Name_Id := N + 525;
+   Name_Ceiling_Locking                : constant Name_Id := N + 525;
+   Name_Inheritance_Locking            : constant Name_Id := N + 526;
+   Last_Locking_Policy_Name            : constant Name_Id := N + 526;
 
    --  Names of recognized queuing policy identifiers
 
@@ -862,10 +863,10 @@ package Snames is
    --  name (e.g. F for FIFO_Queuing). If new policy names are added,
    --  the first character must be distinct.
 
-   First_Queuing_Policy_Name           : constant Name_Id := N + 526;
-   Name_FIFO_Queuing                   : constant Name_Id := N + 526;
-   Name_Priority_Queuing               : constant Name_Id := N + 527;
-   Last_Queuing_Policy_Name            : constant Name_Id := N + 527;
+   First_Queuing_Policy_Name           : constant Name_Id := N + 527;
+   Name_FIFO_Queuing                   : constant Name_Id := N + 527;
+   Name_Priority_Queuing               : constant Name_Id := N + 528;
+   Last_Queuing_Policy_Name            : constant Name_Id := N + 528;
 
    --  Names of recognized task dispatching policy identifiers
 
@@ -873,285 +874,285 @@ package Snames is
    --  name (e.g. F for FIFO_Within_Priorities). If new policy names
    --  are added, the first character must be distinct.
 
-   First_Task_Dispatching_Policy_Name    : constant Name_Id := N + 528;
-   Name_EDF_Across_Priorities            : constant Name_Id := N + 528;
-   Name_FIFO_Within_Priorities           : constant Name_Id := N + 529;
-   Name_Non_Preemptive_Within_Priorities : constant Name_Id := N + 530;
-   Name_Round_Robin_Within_Priorities    : constant Name_Id := N + 531;
-   Last_Task_Dispatching_Policy_Name     : constant Name_Id := N + 531;
+   First_Task_Dispatching_Policy_Name    : constant Name_Id := N + 529;
+   Name_EDF_Across_Priorities            : constant Name_Id := N + 529;
+   Name_FIFO_Within_Priorities           : constant Name_Id := N + 530;
+   Name_Non_Preemptive_Within_Priorities : constant Name_Id := N + 531;
+   Name_Round_Robin_Within_Priorities    : constant Name_Id := N + 532;
+   Last_Task_Dispatching_Policy_Name     : constant Name_Id := N + 532;
 
    --  Names of recognized checks for pragma Suppress
 
-   First_Check_Name                    : constant Name_Id := N + 532;
-   Name_Access_Check                   : constant Name_Id := N + 532;
-   Name_Accessibility_Check            : constant Name_Id := N + 533;
-   Name_Alignment_Check                : constant Name_Id := N + 534; -- GNAT
-   Name_Discriminant_Check             : constant Name_Id := N + 535;
-   Name_Division_Check                 : constant Name_Id := N + 536;
-   Name_Elaboration_Check              : constant Name_Id := N + 537;
-   Name_Index_Check                    : constant Name_Id := N + 538;
-   Name_Length_Check                   : constant Name_Id := N + 539;
-   Name_Overflow_Check                 : constant Name_Id := N + 540;
-   Name_Range_Check                    : constant Name_Id := N + 541;
-   Name_Storage_Check                  : constant Name_Id := N + 542;
-   Name_Tag_Check                      : constant Name_Id := N + 543;
-   Name_Validity_Check                 : constant Name_Id := N + 544; -- GNAT
-   Name_All_Checks                     : constant Name_Id := N + 545;
-   Last_Check_Name                     : constant Name_Id := N + 545;
+   First_Check_Name                    : constant Name_Id := N + 533;
+   Name_Access_Check                   : constant Name_Id := N + 533;
+   Name_Accessibility_Check            : constant Name_Id := N + 534;
+   Name_Alignment_Check                : constant Name_Id := N + 535; -- GNAT
+   Name_Discriminant_Check             : constant Name_Id := N + 536;
+   Name_Division_Check                 : constant Name_Id := N + 537;
+   Name_Elaboration_Check              : constant Name_Id := N + 538;
+   Name_Index_Check                    : constant Name_Id := N + 539;
+   Name_Length_Check                   : constant Name_Id := N + 540;
+   Name_Overflow_Check                 : constant Name_Id := N + 541;
+   Name_Range_Check                    : constant Name_Id := N + 542;
+   Name_Storage_Check                  : constant Name_Id := N + 543;
+   Name_Tag_Check                      : constant Name_Id := N + 544;
+   Name_Validity_Check                 : constant Name_Id := N + 545; -- GNAT
+   Name_All_Checks                     : constant Name_Id := N + 546;
+   Last_Check_Name                     : constant Name_Id := N + 546;
 
    --  Names corresponding to reserved keywords, excluding those already
    --  declared in the attribute list (Access, Delta, Digits, Mod, Range).
 
-   Name_Abort                          : constant Name_Id := N + 546;
-   Name_Abs                            : constant Name_Id := N + 547;
-   Name_Accept                         : constant Name_Id := N + 548;
-   Name_And                            : constant Name_Id := N + 549;
-   Name_All                            : constant Name_Id := N + 550;
-   Name_Array                          : constant Name_Id := N + 551;
-   Name_At                             : constant Name_Id := N + 552;
-   Name_Begin                          : constant Name_Id := N + 553;
-   Name_Body                           : constant Name_Id := N + 554;
-   Name_Case                           : constant Name_Id := N + 555;
-   Name_Constant                       : constant Name_Id := N + 556;
-   Name_Declare                        : constant Name_Id := N + 557;
-   Name_Delay                          : constant Name_Id := N + 558;
-   Name_Do                             : constant Name_Id := N + 559;
-   Name_Else                           : constant Name_Id := N + 560;
-   Name_Elsif                          : constant Name_Id := N + 561;
-   Name_End                            : constant Name_Id := N + 562;
-   Name_Entry                          : constant Name_Id := N + 563;
-   Name_Exception                      : constant Name_Id := N + 564;
-   Name_Exit                           : constant Name_Id := N + 565;
-   Name_For                            : constant Name_Id := N + 566;
-   Name_Function                       : constant Name_Id := N + 567;
-   Name_Generic                        : constant Name_Id := N + 568;
-   Name_Goto                           : constant Name_Id := N + 569;
-   Name_If                             : constant Name_Id := N + 570;
-   Name_In                             : constant Name_Id := N + 571;
-   Name_Is                             : constant Name_Id := N + 572;
-   Name_Limited                        : constant Name_Id := N + 573;
-   Name_Loop                           : constant Name_Id := N + 574;
-   Name_New                            : constant Name_Id := N + 575;
-   Name_Not                            : constant Name_Id := N + 576;
-   Name_Null                           : constant Name_Id := N + 577;
-   Name_Of                             : constant Name_Id := N + 578;
-   Name_Or                             : constant Name_Id := N + 579;
-   Name_Others                         : constant Name_Id := N + 580;
-   Name_Out                            : constant Name_Id := N + 581;
-   Name_Package                        : constant Name_Id := N + 582;
-   Name_Pragma                         : constant Name_Id := N + 583;
-   Name_Private                        : constant Name_Id := N + 584;
-   Name_Procedure                      : constant Name_Id := N + 585;
-   Name_Raise                          : constant Name_Id := N + 586;
-   Name_Record                         : constant Name_Id := N + 587;
-   Name_Rem                            : constant Name_Id := N + 588;
-   Name_Renames                        : constant Name_Id := N + 589;
-   Name_Return                         : constant Name_Id := N + 590;
-   Name_Reverse                        : constant Name_Id := N + 591;
-   Name_Select                         : constant Name_Id := N + 592;
-   Name_Separate                       : constant Name_Id := N + 593;
-   Name_Subtype                        : constant Name_Id := N + 594;
-   Name_Task                           : constant Name_Id := N + 595;
-   Name_Terminate                      : constant Name_Id := N + 596;
-   Name_Then                           : constant Name_Id := N + 597;
-   Name_Type                           : constant Name_Id := N + 598;
-   Name_Use                            : constant Name_Id := N + 599;
-   Name_When                           : constant Name_Id := N + 600;
-   Name_While                          : constant Name_Id := N + 601;
-   Name_With                           : constant Name_Id := N + 602;
-   Name_Xor                            : constant Name_Id := N + 603;
+   Name_Abort                          : constant Name_Id := N + 547;
+   Name_Abs                            : constant Name_Id := N + 548;
+   Name_Accept                         : constant Name_Id := N + 549;
+   Name_And                            : constant Name_Id := N + 550;
+   Name_All                            : constant Name_Id := N + 551;
+   Name_Array                          : constant Name_Id := N + 552;
+   Name_At                             : constant Name_Id := N + 553;
+   Name_Begin                          : constant Name_Id := N + 554;
+   Name_Body                           : constant Name_Id := N + 555;
+   Name_Case                           : constant Name_Id := N + 556;
+   Name_Constant                       : constant Name_Id := N + 557;
+   Name_Declare                        : constant Name_Id := N + 558;
+   Name_Delay                          : constant Name_Id := N + 559;
+   Name_Do                             : constant Name_Id := N + 560;
+   Name_Else                           : constant Name_Id := N + 561;
+   Name_Elsif                          : constant Name_Id := N + 562;
+   Name_End                            : constant Name_Id := N + 563;
+   Name_Entry                          : constant Name_Id := N + 564;
+   Name_Exception                      : constant Name_Id := N + 565;
+   Name_Exit                           : constant Name_Id := N + 566;
+   Name_For                            : constant Name_Id := N + 567;
+   Name_Function                       : constant Name_Id := N + 568;
+   Name_Generic                        : constant Name_Id := N + 569;
+   Name_Goto                           : constant Name_Id := N + 570;
+   Name_If                             : constant Name_Id := N + 571;
+   Name_In                             : constant Name_Id := N + 572;
+   Name_Is                             : constant Name_Id := N + 573;
+   Name_Limited                        : constant Name_Id := N + 574;
+   Name_Loop                           : constant Name_Id := N + 575;
+   Name_New                            : constant Name_Id := N + 576;
+   Name_Not                            : constant Name_Id := N + 577;
+   Name_Null                           : constant Name_Id := N + 578;
+   Name_Of                             : constant Name_Id := N + 579;
+   Name_Or                             : constant Name_Id := N + 580;
+   Name_Others                         : constant Name_Id := N + 581;
+   Name_Out                            : constant Name_Id := N + 582;
+   Name_Package                        : constant Name_Id := N + 583;
+   Name_Pragma                         : constant Name_Id := N + 584;
+   Name_Private                        : constant Name_Id := N + 585;
+   Name_Procedure                      : constant Name_Id := N + 586;
+   Name_Raise                          : constant Name_Id := N + 587;
+   Name_Record                         : constant Name_Id := N + 588;
+   Name_Rem                            : constant Name_Id := N + 589;
+   Name_Renames                        : constant Name_Id := N + 590;
+   Name_Return                         : constant Name_Id := N + 591;
+   Name_Reverse                        : constant Name_Id := N + 592;
+   Name_Select                         : constant Name_Id := N + 593;
+   Name_Separate                       : constant Name_Id := N + 594;
+   Name_Subtype                        : constant Name_Id := N + 595;
+   Name_Task                           : constant Name_Id := N + 596;
+   Name_Terminate                      : constant Name_Id := N + 597;
+   Name_Then                           : constant Name_Id := N + 598;
+   Name_Type                           : constant Name_Id := N + 599;
+   Name_Use                            : constant Name_Id := N + 600;
+   Name_When                           : constant Name_Id := N + 601;
+   Name_While                          : constant Name_Id := N + 602;
+   Name_With                           : constant Name_Id := N + 603;
+   Name_Xor                            : constant Name_Id := N + 604;
 
    --  Names of intrinsic subprograms
 
    --  Note: Asm is missing from this list, since Asm is a legitimate
    --  convention name. So is To_Address, which is a GNAT attribute.
 
-   First_Intrinsic_Name                 : constant Name_Id := N + 604;
-   Name_Divide                          : constant Name_Id := N + 604;
-   Name_Enclosing_Entity                : constant Name_Id := N + 605;
-   Name_Exception_Information           : constant Name_Id := N + 606;
-   Name_Exception_Message               : constant Name_Id := N + 607;
-   Name_Exception_Name                  : constant Name_Id := N + 608;
-   Name_File                            : constant Name_Id := N + 609;
-   Name_Generic_Dispatching_Constructor : constant Name_Id := N + 610;
-   Name_Import_Address                  : constant Name_Id := N + 611;
-   Name_Import_Largest_Value            : constant Name_Id := N + 612;
-   Name_Import_Value                    : constant Name_Id := N + 613;
-   Name_Is_Negative                     : constant Name_Id := N + 614;
-   Name_Line                            : constant Name_Id := N + 615;
-   Name_Rotate_Left                     : constant Name_Id := N + 616;
-   Name_Rotate_Right                    : constant Name_Id := N + 617;
-   Name_Shift_Left                      : constant Name_Id := N + 618;
-   Name_Shift_Right                     : constant Name_Id := N + 619;
-   Name_Shift_Right_Arithmetic          : constant Name_Id := N + 620;
-   Name_Source_Location                 : constant Name_Id := N + 621;
-   Name_Unchecked_Conversion            : constant Name_Id := N + 622;
-   Name_Unchecked_Deallocation          : constant Name_Id := N + 623;
-   Name_To_Pointer                      : constant Name_Id := N + 624;
-   Last_Intrinsic_Name                  : constant Name_Id := N + 624;
+   First_Intrinsic_Name                 : constant Name_Id := N + 605;
+   Name_Divide                          : constant Name_Id := N + 605;
+   Name_Enclosing_Entity                : constant Name_Id := N + 606;
+   Name_Exception_Information           : constant Name_Id := N + 607;
+   Name_Exception_Message               : constant Name_Id := N + 608;
+   Name_Exception_Name                  : constant Name_Id := N + 609;
+   Name_File                            : constant Name_Id := N + 610;
+   Name_Generic_Dispatching_Constructor : constant Name_Id := N + 611;
+   Name_Import_Address                  : constant Name_Id := N + 612;
+   Name_Import_Largest_Value            : constant Name_Id := N + 613;
+   Name_Import_Value                    : constant Name_Id := N + 614;
+   Name_Is_Negative                     : constant Name_Id := N + 615;
+   Name_Line                            : constant Name_Id := N + 616;
+   Name_Rotate_Left                     : constant Name_Id := N + 617;
+   Name_Rotate_Right                    : constant Name_Id := N + 618;
+   Name_Shift_Left                      : constant Name_Id := N + 619;
+   Name_Shift_Right                     : constant Name_Id := N + 620;
+   Name_Shift_Right_Arithmetic          : constant Name_Id := N + 621;
+   Name_Source_Location                 : constant Name_Id := N + 622;
+   Name_Unchecked_Conversion            : constant Name_Id := N + 623;
+   Name_Unchecked_Deallocation          : constant Name_Id := N + 624;
+   Name_To_Pointer                      : constant Name_Id := N + 625;
+   Last_Intrinsic_Name                  : constant Name_Id := N + 625;
 
    --  Names used in processing intrinsic calls
 
-   Name_Free                           : constant Name_Id := N + 625;
+   Name_Free                           : constant Name_Id := N + 626;
 
    --  Reserved words used only in Ada 95
 
-   First_95_Reserved_Word              : constant Name_Id := N + 626;
-   Name_Abstract                       : constant Name_Id := N + 626;
-   Name_Aliased                        : constant Name_Id := N + 627;
-   Name_Protected                      : constant Name_Id := N + 628;
-   Name_Until                          : constant Name_Id := N + 629;
-   Name_Requeue                        : constant Name_Id := N + 630;
-   Name_Tagged                         : constant Name_Id := N + 631;
-   Last_95_Reserved_Word               : constant Name_Id := N + 631;
+   First_95_Reserved_Word              : constant Name_Id := N + 627;
+   Name_Abstract                       : constant Name_Id := N + 627;
+   Name_Aliased                        : constant Name_Id := N + 628;
+   Name_Protected                      : constant Name_Id := N + 629;
+   Name_Until                          : constant Name_Id := N + 630;
+   Name_Requeue                        : constant Name_Id := N + 631;
+   Name_Tagged                         : constant Name_Id := N + 632;
+   Last_95_Reserved_Word               : constant Name_Id := N + 632;
 
    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 + 632;
+   Name_Raise_Exception                : constant Name_Id := N + 633;
 
    --  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 + 633;
-   Name_Aggregate                      : constant Name_Id := N + 634;
-   Name_Archive_Builder                : constant Name_Id := N + 635;
-   Name_Archive_Builder_Append_Option  : constant Name_Id := N + 636;
-   Name_Archive_Indexer                : constant Name_Id := N + 637;
-   Name_Archive_Suffix                 : constant Name_Id := N + 638;
-   Name_Binder                         : constant Name_Id := N + 639;
-   Name_Binder_Prefix                  : constant Name_Id := N + 640;
-   Name_Body_Suffix                    : constant Name_Id := N + 641;
-   Name_Builder                        : constant Name_Id := N + 642;
-   Name_Builder_Switches               : constant Name_Id := N + 643;
-   Name_Compiler                       : constant Name_Id := N + 644;
-   Name_Compiler_Kind                  : constant Name_Id := N + 645;
-   Name_Config_Body_File_Name          : constant Name_Id := N + 646;
-   Name_Config_Body_File_Name_Pattern  : constant Name_Id := N + 647;
-   Name_Config_File_Switches           : constant Name_Id := N + 648;
-   Name_Config_File_Unique             : constant Name_Id := N + 649;
-   Name_Config_Spec_File_Name          : constant Name_Id := N + 650;
-   Name_Config_Spec_File_Name_Pattern  : constant Name_Id := N + 651;
-   Name_Configuration                  : constant Name_Id := N + 652;
-   Name_Cross_Reference                : constant Name_Id := N + 653;
-   Name_Default_Language               : constant Name_Id := N + 654;
-   Name_Default_Switches               : constant Name_Id := N + 655;
-   Name_Dependency_Driver              : constant Name_Id := N + 656;
-   Name_Dependency_File_Kind           : constant Name_Id := N + 657;
-   Name_Dependency_Switches            : constant Name_Id := N + 658;
-   Name_Driver                         : constant Name_Id := N + 659;
-   Name_Excluded_Source_Dirs           : constant Name_Id := N + 660;
-   Name_Excluded_Source_Files          : constant Name_Id := N + 661;
-   Name_Excluded_Source_List_File      : constant Name_Id := N + 662;
-   Name_Exec_Dir                       : constant Name_Id := N + 663;
-   Name_Executable                     : constant Name_Id := N + 664;
-   Name_Executable_Suffix              : constant Name_Id := N + 665;
-   Name_Extends                        : constant Name_Id := N + 666;
-   Name_Externally_Built               : constant Name_Id := N + 667;
-   Name_Finder                         : constant Name_Id := N + 668;
-   Name_Global_Compilation_Switches    : constant Name_Id := N + 669;
-   Name_Global_Configuration_Pragmas   : constant Name_Id := N + 670;
-   Name_Global_Config_File             : constant Name_Id := N + 671;
-   Name_Gnatls                         : constant Name_Id := N + 672;
-   Name_Gnatstub                       : constant Name_Id := N + 673;
-   Name_Implementation                 : constant Name_Id := N + 674;
-   Name_Implementation_Exceptions      : constant Name_Id := N + 675;
-   Name_Implementation_Suffix          : constant Name_Id := N + 676;
-   Name_Include_Switches               : constant Name_Id := N + 677;
-   Name_Include_Path                   : constant Name_Id := N + 678;
-   Name_Include_Path_File              : constant Name_Id := N + 679;
-   Name_Inherit_Source_Path            : constant Name_Id := N + 680;
-   Name_Language_Kind                  : constant Name_Id := N + 681;
-   Name_Language_Processing            : constant Name_Id := N + 682;
-   Name_Languages                      : constant Name_Id := N + 683;
-   Name_Library                        : constant Name_Id := N + 684;
-   Name_Library_Ali_Dir                : constant Name_Id := N + 685;
-   Name_Library_Auto_Init              : constant Name_Id := N + 686;
-   Name_Library_Auto_Init_Supported    : constant Name_Id := N + 687;
-   Name_Library_Builder                : constant Name_Id := N + 688;
-   Name_Library_Dir                    : constant Name_Id := N + 689;
-   Name_Library_GCC                    : constant Name_Id := N + 690;
-   Name_Library_Interface              : constant Name_Id := N + 691;
-   Name_Library_Kind                   : constant Name_Id := N + 692;
-   Name_Library_Name                   : constant Name_Id := N + 693;
-   Name_Library_Major_Minor_Id_Supported : constant Name_Id := N + 694;
-   Name_Library_Options                : constant Name_Id := N + 695;
-   Name_Library_Partial_Linker         : constant Name_Id := N + 696;
-   Name_Library_Reference_Symbol_File  : constant Name_Id := N + 697;
-   Name_Library_Src_Dir                : constant Name_Id := N + 698;
-   Name_Library_Support                : constant Name_Id := N + 699;
-   Name_Library_Symbol_File            : constant Name_Id := N + 700;
-   Name_Library_Symbol_Policy          : constant Name_Id := N + 701;
-   Name_Library_Version                : constant Name_Id := N + 702;
-   Name_Library_Version_Switches       : constant Name_Id := N + 703;
-   Name_Linker                         : constant Name_Id := N + 704;
-   Name_Linker_Executable_Option       : constant Name_Id := N + 705;
-   Name_Linker_Lib_Dir_Option          : constant Name_Id := N + 706;
-   Name_Linker_Lib_Name_Option         : constant Name_Id := N + 707;
-   Name_Local_Config_File              : constant Name_Id := N + 708;
-   Name_Local_Configuration_Pragmas    : constant Name_Id := N + 709;
-   Name_Locally_Removed_Files          : constant Name_Id := N + 710;
-   Name_Map_File_Option                : constant Name_Id := N + 711;
-   Name_Mapping_File_Switches          : constant Name_Id := N + 712;
-   Name_Mapping_Spec_Suffix            : constant Name_Id := N + 713;
-   Name_Mapping_Body_Suffix            : constant Name_Id := N + 714;
-   Name_Metrics                        : constant Name_Id := N + 715;
-   Name_Naming                         : constant Name_Id := N + 716;
-   Name_Object_Generated               : constant Name_Id := N + 717;
-   Name_Objects_Linked                 : constant Name_Id := N + 718;
-   Name_Objects_Path                   : constant Name_Id := N + 719;
-   Name_Objects_Path_File              : constant Name_Id := N + 720;
-   Name_Object_Dir                     : constant Name_Id := N + 721;
-   Name_Path_Syntax                    : constant Name_Id := N + 722;
-   Name_Pic_Option                     : constant Name_Id := N + 723;
-   Name_Pretty_Printer                 : constant Name_Id := N + 724;
-   Name_Prefix                         : constant Name_Id := N + 725;
-   Name_Project                        : constant Name_Id := N + 726;
-   Name_Roots                          : constant Name_Id := N + 727;
-   Name_Required_Switches              : constant Name_Id := N + 728;
-   Name_Run_Path_Option                : constant Name_Id := N + 729;
-   Name_Runtime_Project                : constant Name_Id := N + 730;
-   Name_Shared_Library_Minimum_Switches : constant Name_Id := N + 731;
-   Name_Shared_Library_Prefix          : constant Name_Id := N + 732;
-   Name_Shared_Library_Suffix          : constant Name_Id := N + 733;
-   Name_Separate_Suffix                : constant Name_Id := N + 734;
-   Name_Source_Dirs                    : constant Name_Id := N + 735;
-   Name_Source_Files                   : constant Name_Id := N + 736;
-   Name_Source_List_File               : constant Name_Id := N + 737;
-   Name_Spec                           : constant Name_Id := N + 738;
-   Name_Spec_Suffix                    : constant Name_Id := N + 739;
-   Name_Specification                  : constant Name_Id := N + 740;
-   Name_Specification_Exceptions       : constant Name_Id := N + 741;
-   Name_Specification_Suffix           : constant Name_Id := N + 742;
-   Name_Stack                          : constant Name_Id := N + 743;
-   Name_Switches                       : constant Name_Id := N + 744;
-   Name_Symbolic_Link_Supported        : constant Name_Id := N + 745;
-   Name_Sync                           : constant Name_Id := N + 746;
-   Name_Synchronize                    : constant Name_Id := N + 747;
-   Name_Toolchain_Description          : constant Name_Id := N + 748;
-   Name_Toolchain_Version              : constant Name_Id := N + 749;
-   Name_Runtime_Library_Dir            : constant Name_Id := N + 750;
+   Name_Ada_Roots                      : constant Name_Id := N + 634;
+   Name_Aggregate                      : constant Name_Id := N + 635;
+   Name_Archive_Builder                : constant Name_Id := N + 636;
+   Name_Archive_Builder_Append_Option  : constant Name_Id := N + 637;
+   Name_Archive_Indexer                : constant Name_Id := N + 638;
+   Name_Archive_Suffix                 : constant Name_Id := N + 639;
+   Name_Binder                         : constant Name_Id := N + 640;
+   Name_Binder_Prefix                  : constant Name_Id := N + 641;
+   Name_Body_Suffix                    : constant Name_Id := N + 642;
+   Name_Builder                        : constant Name_Id := N + 643;
+   Name_Builder_Switches               : constant Name_Id := N + 644;
+   Name_Compiler                       : constant Name_Id := N + 645;
+   Name_Compiler_Kind                  : constant Name_Id := N + 646;
+   Name_Config_Body_File_Name          : constant Name_Id := N + 647;
+   Name_Config_Body_File_Name_Pattern  : constant Name_Id := N + 648;
+   Name_Config_File_Switches           : constant Name_Id := N + 649;
+   Name_Config_File_Unique             : constant Name_Id := N + 650;
+   Name_Config_Spec_File_Name          : constant Name_Id := N + 651;
+   Name_Config_Spec_File_Name_Pattern  : constant Name_Id := N + 652;
+   Name_Configuration                  : constant Name_Id := N + 653;
+   Name_Cross_Reference                : constant Name_Id := N + 654;
+   Name_Default_Language               : constant Name_Id := N + 655;
+   Name_Default_Switches               : constant Name_Id := N + 656;
+   Name_Dependency_Driver              : constant Name_Id := N + 657;
+   Name_Dependency_File_Kind           : constant Name_Id := N + 658;
+   Name_Dependency_Switches            : constant Name_Id := N + 659;
+   Name_Driver                         : constant Name_Id := N + 660;
+   Name_Excluded_Source_Dirs           : constant Name_Id := N + 661;
+   Name_Excluded_Source_Files          : constant Name_Id := N + 662;
+   Name_Excluded_Source_List_File      : constant Name_Id := N + 663;
+   Name_Exec_Dir                       : constant Name_Id := N + 664;
+   Name_Executable                     : constant Name_Id := N + 665;
+   Name_Executable_Suffix              : constant Name_Id := N + 666;
+   Name_Extends                        : constant Name_Id := N + 667;
+   Name_Externally_Built               : constant Name_Id := N + 668;
+   Name_Finder                         : constant Name_Id := N + 669;
+   Name_Global_Compilation_Switches    : constant Name_Id := N + 670;
+   Name_Global_Configuration_Pragmas   : constant Name_Id := N + 671;
+   Name_Global_Config_File             : constant Name_Id := N + 672;
+   Name_Gnatls                         : constant Name_Id := N + 673;
+   Name_Gnatstub                       : constant Name_Id := N + 674;
+   Name_Implementation                 : constant Name_Id := N + 675;
+   Name_Implementation_Exceptions      : constant Name_Id := N + 676;
+   Name_Implementation_Suffix          : constant Name_Id := N + 677;
+   Name_Include_Switches               : constant Name_Id := N + 678;
+   Name_Include_Path                   : constant Name_Id := N + 679;
+   Name_Include_Path_File              : constant Name_Id := N + 680;
+   Name_Inherit_Source_Path            : constant Name_Id := N + 681;
+   Name_Language_Kind                  : constant Name_Id := N + 682;
+   Name_Language_Processing            : constant Name_Id := N + 683;
+   Name_Languages                      : constant Name_Id := N + 684;
+   Name_Library                        : constant Name_Id := N + 685;
+   Name_Library_Ali_Dir                : constant Name_Id := N + 686;
+   Name_Library_Auto_Init              : constant Name_Id := N + 687;
+   Name_Library_Auto_Init_Supported    : constant Name_Id := N + 688;
+   Name_Library_Builder                : constant Name_Id := N + 689;
+   Name_Library_Dir                    : constant Name_Id := N + 690;
+   Name_Library_GCC                    : constant Name_Id := N + 691;
+   Name_Library_Interface              : constant Name_Id := N + 692;
+   Name_Library_Kind                   : constant Name_Id := N + 693;
+   Name_Library_Name                   : constant Name_Id := N + 694;
+   Name_Library_Major_Minor_Id_Supported : constant Name_Id := N + 695;
+   Name_Library_Options                : constant Name_Id := N + 696;
+   Name_Library_Partial_Linker         : constant Name_Id := N + 697;
+   Name_Library_Reference_Symbol_File  : constant Name_Id := N + 698;
+   Name_Library_Src_Dir                : constant Name_Id := N + 699;
+   Name_Library_Support                : constant Name_Id := N + 700;
+   Name_Library_Symbol_File            : constant Name_Id := N + 701;
+   Name_Library_Symbol_Policy          : constant Name_Id := N + 702;
+   Name_Library_Version                : constant Name_Id := N + 703;
+   Name_Library_Version_Switches       : constant Name_Id := N + 704;
+   Name_Linker                         : constant Name_Id := N + 705;
+   Name_Linker_Executable_Option       : constant Name_Id := N + 706;
+   Name_Linker_Lib_Dir_Option          : constant Name_Id := N + 707;
+   Name_Linker_Lib_Name_Option         : constant Name_Id := N + 708;
+   Name_Local_Config_File              : constant Name_Id := N + 709;
+   Name_Local_Configuration_Pragmas    : constant Name_Id := N + 710;
+   Name_Locally_Removed_Files          : constant Name_Id := N + 711;
+   Name_Map_File_Option                : constant Name_Id := N + 712;
+   Name_Mapping_File_Switches          : constant Name_Id := N + 713;
+   Name_Mapping_Spec_Suffix            : constant Name_Id := N + 714;
+   Name_Mapping_Body_Suffix            : constant Name_Id := N + 715;
+   Name_Metrics                        : constant Name_Id := N + 716;
+   Name_Naming                         : constant Name_Id := N + 717;
+   Name_Object_Generated               : constant Name_Id := N + 718;
+   Name_Objects_Linked                 : constant Name_Id := N + 719;
+   Name_Objects_Path                   : constant Name_Id := N + 720;
+   Name_Objects_Path_File              : constant Name_Id := N + 721;
+   Name_Object_Dir                     : constant Name_Id := N + 722;
+   Name_Path_Syntax                    : constant Name_Id := N + 723;
+   Name_Pic_Option                     : constant Name_Id := N + 724;
+   Name_Pretty_Printer                 : constant Name_Id := N + 725;
+   Name_Prefix                         : constant Name_Id := N + 726;
+   Name_Project                        : constant Name_Id := N + 727;
+   Name_Roots                          : constant Name_Id := N + 728;
+   Name_Required_Switches              : constant Name_Id := N + 729;
+   Name_Run_Path_Option                : constant Name_Id := N + 730;
+   Name_Runtime_Project                : constant Name_Id := N + 731;
+   Name_Shared_Library_Minimum_Switches : constant Name_Id := N + 732;
+   Name_Shared_Library_Prefix          : constant Name_Id := N + 733;
+   Name_Shared_Library_Suffix          : constant Name_Id := N + 734;
+   Name_Separate_Suffix                : constant Name_Id := N + 735;
+   Name_Source_Dirs                    : constant Name_Id := N + 736;
+   Name_Source_Files                   : constant Name_Id := N + 737;
+   Name_Source_List_File               : constant Name_Id := N + 738;
+   Name_Spec                           : constant Name_Id := N + 739;
+   Name_Spec_Suffix                    : constant Name_Id := N + 740;
+   Name_Specification                  : constant Name_Id := N + 741;
+   Name_Specification_Exceptions       : constant Name_Id := N + 742;
+   Name_Specification_Suffix           : constant Name_Id := N + 743;
+   Name_Stack                          : constant Name_Id := N + 744;
+   Name_Switches                       : constant Name_Id := N + 745;
+   Name_Symbolic_Link_Supported        : constant Name_Id := N + 746;
+   Name_Sync                           : constant Name_Id := N + 747;
+   Name_Synchronize                    : constant Name_Id := N + 748;
+   Name_Toolchain_Description          : constant Name_Id := N + 749;
+   Name_Toolchain_Version              : constant Name_Id := N + 750;
+   Name_Runtime_Library_Dir            : constant Name_Id := N + 751;
 
    --  Other miscellaneous names used in front end
 
-   Name_Unaligned_Valid                : constant Name_Id := N + 751;
+   Name_Unaligned_Valid                : constant Name_Id := N + 752;
 
    --  Ada 2005 reserved words
 
-   First_2005_Reserved_Word            : constant Name_Id := N + 752;
-   Name_Interface                      : constant Name_Id := N + 752;
-   Name_Overriding                     : constant Name_Id := N + 753;
-   Name_Synchronized                   : constant Name_Id := N + 754;
-   Last_2005_Reserved_Word             : constant Name_Id := N + 754;
+   First_2005_Reserved_Word            : constant Name_Id := N + 753;
+   Name_Interface                      : constant Name_Id := N + 753;
+   Name_Overriding                     : constant Name_Id := N + 754;
+   Name_Synchronized                   : constant Name_Id := N + 755;
+   Last_2005_Reserved_Word             : constant Name_Id := N + 755;
 
    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 + 754;
+   Last_Predefined_Name                : constant Name_Id := N + 755;
 
    ---------------------------------------
    -- Subtypes Defining Name Categories --
@@ -1394,6 +1395,7 @@ package Snames is
       Pragma_Ada_05,
       Pragma_Ada_2005,
       Pragma_Assertion_Policy,
+      Pragma_Assume_No_Invalid_Values,
       Pragma_C_Pass_By_Copy,
       Pragma_Check_Name,
       Pragma_Check_Policy,
diff --git a/gcc/ada/snames.h b/gcc/ada/snames.h
index 8f1367f..627950f 100644 (file)
--- a/gcc/ada/snames.h
+++ b/gcc/ada/snames.h
@@ -229,170 +229,171 @@ extern unsigned char Get_Pragma_Id (int);
 #define  Pragma_Ada_05                        2
 #define  Pragma_Ada_2005                      3
 #define  Pragma_Assertion_Policy              4
-#define  Pragma_C_Pass_By_Copy                5
-#define  Pragma_Check_Name                    6
-#define  Pragma_Check_Policy                  7
-#define  Pragma_Compile_Time_Error            8
-#define  Pragma_Compile_Time_Warning          9
-#define  Pragma_Compiler_Unit                 10
-#define  Pragma_Component_Alignment           11
-#define  Pragma_Convention_Identifier         12
-#define  Pragma_Debug_Policy                  13
-#define  Pragma_Detect_Blocking               14
-#define  Pragma_Discard_Names                 15
-#define  Pragma_Elaboration_Checks            16
-#define  Pragma_Eliminate                     17
-#define  Pragma_Extend_System                 18
-#define  Pragma_Extensions_Allowed            19
-#define  Pragma_External_Name_Casing          20
-#define  Pragma_Favor_Top_Level               21
-#define  Pragma_Float_Representation          22
-#define  Pragma_Implicit_Packing              23
-#define  Pragma_Initialize_Scalars            24
-#define  Pragma_Interrupt_State               25
-#define  Pragma_License                       26
-#define  Pragma_Locking_Policy                27
-#define  Pragma_Long_Float                    28
-#define  Pragma_No_Run_Time                   29
-#define  Pragma_No_Strict_Aliasing            30
-#define  Pragma_Normalize_Scalars             31
-#define  Pragma_Optimize_Alignment            32
-#define  Pragma_Persistent_BSS                33
-#define  Pragma_Polling                       34
-#define  Pragma_Priority_Specific_Dispatching 35
-#define  Pragma_Profile                       36
-#define  Pragma_Profile_Warnings              37
-#define  Pragma_Propagate_Exceptions          38
-#define  Pragma_Queuing_Policy                39
-#define  Pragma_Ravenscar                     40
-#define  Pragma_Restricted_Run_Time           41
-#define  Pragma_Restrictions                  42
-#define  Pragma_Restriction_Warnings          43
-#define  Pragma_Reviewable                    44
-#define  Pragma_Source_File_Name              45
-#define  Pragma_Source_File_Name_Project      46
-#define  Pragma_Style_Checks                  47
-#define  Pragma_Suppress                      48
-#define  Pragma_Suppress_Exception_Locations  49
-#define  Pragma_Task_Dispatching_Policy       50
-#define  Pragma_Universal_Data                51
-#define  Pragma_Unsuppress                    52
-#define  Pragma_Use_VADS_Size                 53
-#define  Pragma_Validity_Checks               54
-#define  Pragma_Warnings                      55
-#define  Pragma_Wide_Character_Encoding       56
-#define  Pragma_Abort_Defer                   57
-#define  Pragma_All_Calls_Remote              58
-#define  Pragma_Annotate                      59
-#define  Pragma_Assert                        60
-#define  Pragma_Asynchronous                  61
-#define  Pragma_Atomic                        62
-#define  Pragma_Atomic_Components             63
-#define  Pragma_Attach_Handler                64
-#define  Pragma_Check                         65
-#define  Pragma_CIL_Constructor               66
-#define  Pragma_Comment                       67
-#define  Pragma_Common_Object                 68
-#define  Pragma_Complete_Representation       69
-#define  Pragma_Complex_Representation        70
-#define  Pragma_Controlled                    71
-#define  Pragma_Convention                    72
-#define  Pragma_CPP_Class                     73
-#define  Pragma_CPP_Constructor               74
-#define  Pragma_CPP_Virtual                   75
-#define  Pragma_CPP_Vtable                    76
-#define  Pragma_Debug                         77
-#define  Pragma_Elaborate                     78
-#define  Pragma_Elaborate_All                 79
-#define  Pragma_Elaborate_Body                80
-#define  Pragma_Export                        81
-#define  Pragma_Export_Exception              82
-#define  Pragma_Export_Function               83
-#define  Pragma_Export_Object                 84
-#define  Pragma_Export_Procedure              85
-#define  Pragma_Export_Value                  86
-#define  Pragma_Export_Valued_Procedure       87
-#define  Pragma_External                      88
-#define  Pragma_Finalize_Storage_Only         89
-#define  Pragma_Ident                         90
-#define  Pragma_Implemented_By_Entry          91
-#define  Pragma_Import                        92
-#define  Pragma_Import_Exception              93
-#define  Pragma_Import_Function               94
-#define  Pragma_Import_Object                 95
-#define  Pragma_Import_Procedure              96
-#define  Pragma_Import_Valued_Procedure       97
-#define  Pragma_Inline                        98
-#define  Pragma_Inline_Always                 99
-#define  Pragma_Inline_Generic                100
-#define  Pragma_Inspection_Point              101
-#define  Pragma_Interface_Name                102
-#define  Pragma_Interrupt_Handler             103
-#define  Pragma_Interrupt_Priority            104
-#define  Pragma_Java_Constructor              105
-#define  Pragma_Java_Interface                106
-#define  Pragma_Keep_Names                    107
-#define  Pragma_Link_With                     108
-#define  Pragma_Linker_Alias                  109
-#define  Pragma_Linker_Constructor            110
-#define  Pragma_Linker_Destructor             111
-#define  Pragma_Linker_Options                112
-#define  Pragma_Linker_Section                113
-#define  Pragma_List                          114
-#define  Pragma_Machine_Attribute             115
-#define  Pragma_Main                          116
-#define  Pragma_Main_Storage                  117
-#define  Pragma_Memory_Size                   118
-#define  Pragma_No_Body                       119
-#define  Pragma_No_Return                     120
-#define  Pragma_Obsolescent                   121
-#define  Pragma_Optimize                      122
-#define  Pragma_Pack                          123
-#define  Pragma_Page                          124
-#define  Pragma_Passive                       125
-#define  Pragma_Postcondition                 126
-#define  Pragma_Precondition                  127
-#define  Pragma_Preelaborable_Initialization  128
-#define  Pragma_Preelaborate                  129
-#define  Pragma_Preelaborate_05               130
-#define  Pragma_Psect_Object                  131
-#define  Pragma_Pure                          132
-#define  Pragma_Pure_05                       133
-#define  Pragma_Pure_Function                 134
-#define  Pragma_Relative_Deadline             135
-#define  Pragma_Remote_Call_Interface         136
-#define  Pragma_Remote_Types                  137
-#define  Pragma_Share_Generic                 138
-#define  Pragma_Shared                        139
-#define  Pragma_Shared_Passive                140
-#define  Pragma_Source_Reference              141
-#define  Pragma_Static_Elaboration_Desired    142
-#define  Pragma_Stream_Convert                143
-#define  Pragma_Subtitle                      144
-#define  Pragma_Suppress_All                  145
-#define  Pragma_Suppress_Debug_Info           146
-#define  Pragma_Suppress_Initialization       147
-#define  Pragma_System_Name                   148
-#define  Pragma_Task_Info                     149
-#define  Pragma_Task_Name                     150
-#define  Pragma_Task_Storage                  151
-#define  Pragma_Time_Slice                    152
-#define  Pragma_Title                         153
-#define  Pragma_Unchecked_Union               154
-#define  Pragma_Unimplemented_Unit            155
-#define  Pragma_Universal_Aliasing            156
-#define  Pragma_Unmodified                    157
-#define  Pragma_Unreferenced                  158
-#define  Pragma_Unreferenced_Objects          159
-#define  Pragma_Unreserve_All_Interrupts      160
-#define  Pragma_Volatile                      161
-#define  Pragma_Volatile_Components           162
-#define  Pragma_Weak_External                 163
-#define  Pragma_AST_Entry                     164
-#define  Pragma_Fast_Math                     165
-#define  Pragma_Interface                     166
-#define  Pragma_Priority                      167
-#define  Pragma_Storage_Size                  168
-#define  Pragma_Storage_Unit                  169
+#define  Pragma_Assume_No_Invalid_Values      5
+#define  Pragma_C_Pass_By_Copy                6
+#define  Pragma_Check_Name                    7
+#define  Pragma_Check_Policy                  8
+#define  Pragma_Compile_Time_Error            9
+#define  Pragma_Compile_Time_Warning          10
+#define  Pragma_Compiler_Unit                 11
+#define  Pragma_Component_Alignment           12
+#define  Pragma_Convention_Identifier         13
+#define  Pragma_Debug_Policy                  14
+#define  Pragma_Detect_Blocking               15
+#define  Pragma_Discard_Names                 16
+#define  Pragma_Elaboration_Checks            17
+#define  Pragma_Eliminate                     18
+#define  Pragma_Extend_System                 19
+#define  Pragma_Extensions_Allowed            20
+#define  Pragma_External_Name_Casing          21
+#define  Pragma_Favor_Top_Level               22
+#define  Pragma_Float_Representation          23
+#define  Pragma_Implicit_Packing              24
+#define  Pragma_Initialize_Scalars            25
+#define  Pragma_Interrupt_State               26
+#define  Pragma_License                       27
+#define  Pragma_Locking_Policy                28
+#define  Pragma_Long_Float                    29
+#define  Pragma_No_Run_Time                   30
+#define  Pragma_No_Strict_Aliasing            31
+#define  Pragma_Normalize_Scalars             32
+#define  Pragma_Optimize_Alignment            33
+#define  Pragma_Persistent_BSS                34
+#define  Pragma_Polling                       35
+#define  Pragma_Priority_Specific_Dispatching 36
+#define  Pragma_Profile                       37
+#define  Pragma_Profile_Warnings              38
+#define  Pragma_Propagate_Exceptions          39
+#define  Pragma_Queuing_Policy                40
+#define  Pragma_Ravenscar                     41
+#define  Pragma_Restricted_Run_Time           42
+#define  Pragma_Restrictions                  43
+#define  Pragma_Restriction_Warnings          44
+#define  Pragma_Reviewable                    45
+#define  Pragma_Source_File_Name              46
+#define  Pragma_Source_File_Name_Project      47
+#define  Pragma_Style_Checks                  48
+#define  Pragma_Suppress                      49
+#define  Pragma_Suppress_Exception_Locations  50
+#define  Pragma_Task_Dispatching_Policy       51
+#define  Pragma_Universal_Data                52
+#define  Pragma_Unsuppress                    53
+#define  Pragma_Use_VADS_Size                 54
+#define  Pragma_Validity_Checks               55
+#define  Pragma_Warnings                      56
+#define  Pragma_Wide_Character_Encoding       57
+#define  Pragma_Abort_Defer                   58
+#define  Pragma_All_Calls_Remote              59
+#define  Pragma_Annotate                      60
+#define  Pragma_Assert                        61
+#define  Pragma_Asynchronous                  62
+#define  Pragma_Atomic                        63
+#define  Pragma_Atomic_Components             64
+#define  Pragma_Attach_Handler                65
+#define  Pragma_Check                         66
+#define  Pragma_CIL_Constructor               67
+#define  Pragma_Comment                       68
+#define  Pragma_Common_Object                 69
+#define  Pragma_Complete_Representation       70
+#define  Pragma_Complex_Representation        71
+#define  Pragma_Controlled                    72
+#define  Pragma_Convention                    73
+#define  Pragma_CPP_Class                     74
+#define  Pragma_CPP_Constructor               75
+#define  Pragma_CPP_Virtual                   76
+#define  Pragma_CPP_Vtable                    77
+#define  Pragma_Debug                         78
+#define  Pragma_Elaborate                     79
+#define  Pragma_Elaborate_All                 80
+#define  Pragma_Elaborate_Body                81
+#define  Pragma_Export                        82
+#define  Pragma_Export_Exception              83
+#define  Pragma_Export_Function               84
+#define  Pragma_Export_Object                 85
+#define  Pragma_Export_Procedure              86
+#define  Pragma_Export_Value                  87
+#define  Pragma_Export_Valued_Procedure       88
+#define  Pragma_External                      89
+#define  Pragma_Finalize_Storage_Only         90
+#define  Pragma_Ident                         91
+#define  Pragma_Implemented_By_Entry          92
+#define  Pragma_Import                        93
+#define  Pragma_Import_Exception              94
+#define  Pragma_Import_Function               95
+#define  Pragma_Import_Object                 96
+#define  Pragma_Import_Procedure              97
+#define  Pragma_Import_Valued_Procedure       98
+#define  Pragma_Inline                        99
+#define  Pragma_Inline_Always                 100
+#define  Pragma_Inline_Generic                101
+#define  Pragma_Inspection_Point              102
+#define  Pragma_Interface_Name                103
+#define  Pragma_Interrupt_Handler             104
+#define  Pragma_Interrupt_Priority            105
+#define  Pragma_Java_Constructor              106
+#define  Pragma_Java_Interface                107
+#define  Pragma_Keep_Names                    108
+#define  Pragma_Link_With                     109
+#define  Pragma_Linker_Alias                  110
+#define  Pragma_Linker_Constructor            111
+#define  Pragma_Linker_Destructor             112
+#define  Pragma_Linker_Options                113
+#define  Pragma_Linker_Section                114
+#define  Pragma_List                          115
+#define  Pragma_Machine_Attribute             116
+#define  Pragma_Main                          117
+#define  Pragma_Main_Storage                  118
+#define  Pragma_Memory_Size                   119
+#define  Pragma_No_Body                       120
+#define  Pragma_No_Return                     121
+#define  Pragma_Obsolescent                   122
+#define  Pragma_Optimize                      123
+#define  Pragma_Pack                          124
+#define  Pragma_Page                          125
+#define  Pragma_Passive                       126
+#define  Pragma_Postcondition                 127
+#define  Pragma_Precondition                  128
+#define  Pragma_Preelaborable_Initialization  129
+#define  Pragma_Preelaborate                  130
+#define  Pragma_Preelaborate_05               131
+#define  Pragma_Psect_Object                  132
+#define  Pragma_Pure                          133
+#define  Pragma_Pure_05                       134
+#define  Pragma_Pure_Function                 135
+#define  Pragma_Relative_Deadline             136
+#define  Pragma_Remote_Call_Interface         137
+#define  Pragma_Remote_Types                  138
+#define  Pragma_Share_Generic                 139
+#define  Pragma_Shared                        140
+#define  Pragma_Shared_Passive                141
+#define  Pragma_Source_Reference              142
+#define  Pragma_Static_Elaboration_Desired    143
+#define  Pragma_Stream_Convert                144
+#define  Pragma_Subtitle                      145
+#define  Pragma_Suppress_All                  146
+#define  Pragma_Suppress_Debug_Info           147
+#define  Pragma_Suppress_Initialization       148
+#define  Pragma_System_Name                   149
+#define  Pragma_Task_Info                     150
+#define  Pragma_Task_Name                     151
+#define  Pragma_Task_Storage                  152
+#define  Pragma_Time_Slice                    153
+#define  Pragma_Title                         154
+#define  Pragma_Unchecked_Union               155
+#define  Pragma_Unimplemented_Unit            156
+#define  Pragma_Universal_Aliasing            157
+#define  Pragma_Unmodified                    158
+#define  Pragma_Unreferenced                  159
+#define  Pragma_Unreferenced_Objects          160
+#define  Pragma_Unreserve_All_Interrupts      161
+#define  Pragma_Volatile                      162
+#define  Pragma_Volatile_Components           163
+#define  Pragma_Weak_External                 164
+#define  Pragma_AST_Entry                     165
+#define  Pragma_Fast_Math                     166
+#define  Pragma_Interface                     167
+#define  Pragma_Priority                      168
+#define  Pragma_Storage_Size                  169
+#define  Pragma_Storage_Unit                  170
 
 /* 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 63a1a6d..98f70f9 100644 (file)
--- a/gcc/ada/switch-c.adb
+++ b/gcc/ada/switch-c.adb
@@ -212,6 +212,12 @@ package body Switch.C is
                Ptr := Ptr + 1;
                Brief_Output := True;
 
+            --  Processing for B switch
+
+            when 'B' =>
+               Ptr := Ptr + 1;
+               Assume_No_Invalid_Values := True;
+
             --  Processing for c switch
 
             when 'c' =>
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index 22a0813..b2fe13a 100644 (file)
--- a/gcc/ada/usage.adb
+++ b/gcc/ada/usage.adb
@@ -137,6 +137,11 @@ begin
    Write_Switch_Char ("b");
    Write_Line ("Generate brief messages to stderr even if verbose mode set");
 
+   --  Line for -gnatB switch
+
+   Write_Switch_Char ("B");
+   Write_Line ("Assume no bad (invalid) values except in 'Valid attribute");
+
    --  Line for -gnatc switch
 
    Write_Switch_Char ("c");
Domain: System / Toolchain;