diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-22 17:07:34 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-22 17:07:34 +0200 |
| commit | 4351c21b9c472d35682fe1000aa23b392b85a914 (patch) | |
| tree | 39eeab666d9c9d481fdac0dc571c6f231d614fab /gcc | |
| parent | 575a1b32b7acd6ef04631160d4f8ccf9f7861479 (diff) | |
| download | gcc-4351c21b9c472d35682fe1000aa23b392b85a914.zip gcc-4351c21b9c472d35682fe1000aa23b392b85a914.tar.gz gcc-4351c21b9c472d35682fe1000aa23b392b85a914.tar.bz2 | |
checks.adb (Determine_Range): Deal with values that might be invalid
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 24 | ||||
| -rw-r--r-- | gcc/ada/checks.adb | 5 | ||||
| -rw-r--r-- | gcc/ada/opt.adb | 39 | ||||
| -rw-r--r-- | gcc/ada/opt.ads | 17 | ||||
| -rw-r--r-- | gcc/ada/par-prag.adb | 1 | ||||
| -rw-r--r-- | gcc/ada/sem_prag.adb | 28 | ||||
| -rw-r--r-- | gcc/ada/snames.adb | 1 | ||||
| -rw-r--r-- | gcc/ada/snames.ads | 1328 | ||||
| -rw-r--r-- | gcc/ada/snames.h | 331 | ||||
| -rw-r--r-- | gcc/ada/switch-c.adb | 6 | ||||
| -rw-r--r-- | gcc/ada/usage.adb | 5 |
11 files changed, 935 insertions, 850 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 48e7ad0..7d2d66f 100644 --- 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 --- 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 --- 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 --- 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 --- 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 d5d39b97..e2d02ae 100644 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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"); |