Table_Increment => Alloc.Unreferenced_Entities_Increment,
Table_Name => "Unreferenced_Entities");
+ -- The following table collects potential warnings for IN OUT parameters
+ -- that are referenced but not modified. These warnings are processed when
+ -- the front end calls the procedure Output_Non_Modifed_In_Out_Warnings.
+ -- The reason that we defer output of these messages is that we want to
+ -- detect the case where the relevant procedure is used as a generic actual
+ -- in an instantation, since we suppress the warnings in this case. The
+ -- flag Used_As_Generic_Actual will be set in this case, but will not be
+ -- set till later. Similarly, we suppress the message if the address of
+ -- the procedure is taken, where the flag Address_Taken may be set later.
+
package In_Out_Warnings is new Table.Table (
Table_Component_Type => Entity_Id,
Table_Index_Type => Nat,
-- If E is a parameter entity for a subprogram body, then this function
-- returns the corresponding spec entity, if not, E is returned unchanged.
+ function Has_Pragma_Unmodified_Check_Spec (E : Entity_Id) return Boolean;
+ -- Tests Has_Pragma_Unmodified flag for entity E. If E is not a formal,
+ -- this is simply the setting of the flag Has_Pragma_Unmodified. If E is
+ -- a body formal, the setting of the flag in the corresponding spec is
+ -- also checked (and True returned if either flag is True).
+
function Has_Pragma_Unreferenced_Check_Spec (E : Entity_Id) return Boolean;
-- Tests Has_Pragma_Unreferenced flag for entity E. If E is not a formal,
-- this is simply the setting of the flag Has_Pragma_Unreferenced. If E is
----------------------
procedure Check_References (E : Entity_Id; Anod : Node_Id := Empty) is
- E1 : Entity_Id;
- UR : Node_Id;
+ E1 : Entity_Id;
+ E1T : Entity_Id;
+ UR : Node_Id;
function Body_Formal
(E : Entity_Id;
procedure Output_Reference_Error (M : String) is
begin
+ -- Never issue messages for internal names
+
+ if Is_Internal_Name (Chars (E1)) then
+ return;
+ end if;
+
-- Don't output message for IN OUT formal unless we have the warning
-- flag specifically set. It is a bit odd to distinguish IN OUT
-- formals from other cases. This distinction is historical in
E1 := First_Entity (E);
while Present (E1) loop
+ E1T := Etype (E1);
-- We only look at source entities with warning flag on. We also
-- ignore objects whose type or base type has warnings suppressed.
+ -- We also don't issue warnings within instances, since the proper
+ -- place for such warnings is on the template when it is compiled.
if Comes_From_Source (E1)
and then not Warnings_Off (E1)
- and then not Warnings_Off (Etype (E1))
- and then not Warnings_Off (Base_Type (Etype (E1)))
+ and then not Warnings_Off (E1T)
+ and then not Warnings_Off (Base_Type (E1T))
+ and then Instantiation_Location (Sloc (E1)) = No_Location
then
-- We are interested in variables and out/in-out parameters, but
-- we exclude protected types, too complicated to worry about.
then
null;
+ -- Special processing for access types
+
elsif Present (UR)
- and then Is_Access_Type (Etype (E1))
+ and then Is_Access_Type (E1T)
then
-- For access types, the only time we made a UR entry was
-- for a dereference, and so we post the appropriate warning
-- the package.
elsif Warn_On_Constant
- and then ((Ekind (E1) = E_Variable
- and then Has_Initial_Value (E1))
- or else
- Ekind (E1) = E_In_Out_Parameter)
+ and then (Ekind (E1) = E_Variable
+ and then Has_Initial_Value (E1))
and then Never_Set_In_Source_Check_Spec (E1)
and then not Address_Taken (E1)
and then not Generic_Package_Spec_Entity (E1)
-- the case of exception choice (and a bit more too, but not
-- worth doing more investigation here).
- elsif Is_RTE (Etype (E1), RE_Exception_Occurrence) then
+ elsif Is_RTE (E1T, RE_Exception_Occurrence) then
null;
-- Here we give the warning if referenced and no pragma
- -- Unreferenced is present.
+ -- Unreferenced or Unmodified is present.
else
+ -- Variable case
+
if Ekind (E1) = E_Variable then
if Referenced_Check_Spec (E1)
and then not Has_Pragma_Unreferenced_Check_Spec (E1)
+ and then not Has_Pragma_Unmodified_Check_Spec (E1)
then
Error_Msg_N
("?& is not modified, "
& "could be declared constant!",
E1);
end if;
-
- else pragma Assert (Ekind (E1) = E_In_Out_Parameter);
- if Referenced_Check_Spec (E1)
- and then
- not Has_Pragma_Unreferenced_Check_Spec (E1)
- then
- -- Suppress warning if private type, since in this
- -- case it may be quite reasonable for the logical
- -- view to be in out, even if the implementation
- -- ends up using access types.
-
- if Has_Private_Declaration (Etype (E1)) then
- null;
-
- -- Suppress warning for any composite type, since
- -- for composites it seems quite reasonable to pass
- -- a value of the composite type and then modify
- -- just a component.
-
- elsif Is_Composite_Type (Etype (E1)) then
- null;
-
- -- Suppress warning for parameter of dispatching
- -- operation, since it is quite reasonable to have
- -- an operation that is overridden, and for some
- -- subclasses needs to be IN OUT and for others
- -- the parameter does not happen to be assigned.
-
- elsif Is_Dispatching_Operation
- (Scope (Goto_Spec_Entity (E1)))
- then
- null;
-
- -- OK, looks like warning for an IN OUT parameter
- -- that could be IN makes sense, but we delay the
- -- output of the warning, pending possibly finding
- -- out later on that the associated subprogram is
- -- used as a generic actual, or its address/access
- -- is taken. In these two cases, we suppress the
- -- warning because the context may force use of IN
- -- OUT, even if in this particular case the formal
- -- is not modifed.
-
- else
- In_Out_Warnings.Append (E1);
- end if;
- end if;
end if;
end if;
- -- Other cases of a variable never set in source
+ -- Other cases of a variable or parameter never set in source
elsif Never_Set_In_Source_Check_Spec (E1)
-- never referenced, since again it seems odd to rely on
-- default initialization to set an out parameter value.
- and then (Is_Access_Type (Etype (E1))
+ and then (Is_Access_Type (E1T)
or else Ekind (E1) = E_Out_Parameter
- or else not Is_Fully_Initialized_Type (Etype (E1)))
+ or else not Is_Fully_Initialized_Type (E1T))
then
-- Do not output complaint about never being assigned a
-- value if a pragma Unreferenced applies to the variable
-- a pragma Unreferenced for the corresponding spec.
if Has_Pragma_Unreferenced_Check_Spec (E1)
- or else Has_Pragma_Unreferenced_Objects (Etype (E1))
+ or else Has_Pragma_Unreferenced_Objects (E1T)
then
null;
- -- Case of unreferenced formal
+ -- IN OUT parameter case where parameter is referenced. We
+ -- separate this out, since this is the case where we delay
+ -- output of the warning until more information is available
+ -- (about use in an instantiation or address being taken).
+
+ elsif Ekind (E1) = E_In_Out_Parameter
+ and then Referenced_Check_Spec (E1)
+ then
+ -- Suppress warning if private type, and the procedure
+ -- has a separate declaration in a different unit. This
+ -- is the case where the client of a package sees only
+ -- the private type, and it it may be quite reasonable
+ -- for the logical view to be in out, even if the
+ -- implementation ends up using access types or some
+ -- other method to achieve the local effect of a
+ -- modification. On the other hand if the spec and body
+ -- are in the same unit, we are in the package body and
+ -- there we less excuse for a junk IN OUT parameter.
+
+ if Has_Private_Declaration (E1T)
+ and then Present (Spec_Entity (E1))
+ and then not In_Same_Source_Unit (E1, Spec_Entity (E1))
+ then
+ null;
+
+ -- Suppress warning for any parameter of a dispatching
+ -- operation, since it is quite reasonable to have an
+ -- operation that is overridden, and for some subclasses
+ -- needs to be IN OUT and for others the parameter does
+ -- not happen to be assigned.
+
+ elsif Is_Dispatching_Operation
+ (Scope (Goto_Spec_Entity (E1)))
+ then
+ null;
+
+ -- Suppress warning if composite type containing any
+ -- access element component, since the logical effect
+ -- of modifying a parameter may be achieved by modifying
+ -- a referenced entity.
+
+ elsif Is_Composite_Type (E1T)
+ and then Has_Access_Values (E1T)
+ then
+ null;
+
+ -- OK, looks like warning for an IN OUT parameter that
+ -- could be IN makes sense, but we delay the output of
+ -- the warning, pending possibly finding out later on
+ -- that the associated subprogram is used as a generic
+ -- actual, or its address/access is taken. In these two
+ -- cases, we suppress the warning because the context may
+ -- force use of IN OUT, even if in this particular case
+ -- the formal is not modifed.
+
+ else
+ In_Out_Warnings.Append (E1);
+ end if;
+
+ -- Other cases of formals
elsif Is_Formal (E1) then
if Referenced_Check_Spec (E1) then
- Output_Reference_Error
- ("?formal parameter& is read but never assigned!");
+ if not Has_Pragma_Unmodified_Check_Spec (E1) then
+ Output_Reference_Error
+ ("?formal parameter& is read but "
+ & "never assigned!");
+ end if;
+
else
Output_Reference_Error
("?formal parameter& is not referenced!");
-- are only for functions, and functions do not allow OUT
-- parameters.)
- if Nkind (UR) = N_Simple_Return_Statement then
+ if Nkind (UR) = N_Simple_Return_Statement
+ and then not Has_Pragma_Unmodified_Check_Spec (E1)
+ then
Error_Msg_NE
("?OUT parameter& not set before return", UR, E1);
Comp : Entity_Id;
begin
- Comp := First_Entity (Etype (E1));
+ Comp := First_Entity (E1T);
while Present (Comp) loop
if Ekind (Comp) = E_Component
and then Nkind (Parent (Comp)) =
and then ((Ekind (E1) /= E_Variable
and then Ekind (E1) /= E_Constant
and then Ekind (E1) /= E_Component)
- or else not Is_Task_Type (Etype (E1)))
+ or else not Is_Task_Type (E1T))
-- For subunits, only place warnings on the main unit itself,
-- since parent units are not completely compiled
end if;
end Goto_Spec_Entity;
+ --------------------------------------
+ -- Has_Pragma_Unmodified_Check_Spec --
+ --------------------------------------
+
+ function Has_Pragma_Unmodified_Check_Spec
+ (E : Entity_Id) return Boolean
+ is
+ begin
+ if Is_Formal (E) and then Present (Spec_Entity (E)) then
+ return Has_Pragma_Unmodified (E)
+ or else
+ Has_Pragma_Unmodified (Spec_Entity (E));
+ else
+ return Has_Pragma_Unmodified (E);
+ end if;
+ end Has_Pragma_Unmodified_Check_Spec;
+
----------------------------------------
-- Has_Pragma_Unreferenced_Check_Spec --
----------------------------------------
begin
-- Suppress warning in specific cases (see details in comments for
- -- No_Warn_On_In_Out).
+ -- No_Warn_On_In_Out), or if there is a pragma Unmodified.
- if No_Warn_On_In_Out (E1) then
+ if No_Warn_On_In_Out (E1)
+ or else Has_Pragma_Unmodified_Check_Spec (E1)
+ then
null;
-- Here we generate the warning
else
- Error_Msg_N ("?formal parameter & is not modified!", E1);
- Error_Msg_N ("\?mode could be IN instead of `IN OUT`!", E1);
+ -- If -gnatwc is set then output message that we could be IN
+
+ if Warn_On_Constant then
+ Error_Msg_N ("?formal parameter & is not modified!", E1);
+ Error_Msg_N ("\?mode could be IN instead of `IN OUT`!", E1);
+
+ -- We do not generate warnings for IN OUT parameters unless we
+ -- have at least -gnatwu. This is deliberately inconsistent
+ -- with the treatment of variables, but otherwise we get too
+ -- many unexpected warnings in default mode.
+
+ elsif Check_Unreferenced then
+ Error_Msg_N ("?formal parameter& is read but "
+ & "never assigned!", E1);
+ end if;
-- Kill any other warnings on this entity, since this is the
-- one that should dominate any other unreferenced warning.
and then not Is_Return_Object (E)
and then not Is_Aliased (E)
and then No (Renamed_Object (E))
-
then
- Error_Msg_N
- ("?variable & is assigned but never read!", E);
+ if not Has_Pragma_Unmodified_Check_Spec (E) then
+ Error_Msg_N
+ ("?variable & is assigned but never read!", E);
+ end if;
+
Set_Last_Assignment (E, Empty);
end if;
if No (N) then
-- Don't give this for OUT and IN OUT formals, since
- -- clearly caller may reference the assigned value.
+ -- clearly caller may reference the assigned value. Also
+ -- never give such warnings for internal variables.
- if Ekind (Ent) = E_Variable then
+ if Ekind (Ent) = E_Variable
+ and then not Is_Internal_Name (Chars (Ent))
+ then
if Referenced_As_Out_Parameter (Ent) then
Error_Msg_NE
("?& modified by call, but value never referenced",
Name_Unchecked_Union : constant Name_Id := N + 265; -- GNAT
Name_Unimplemented_Unit : constant Name_Id := N + 266; -- GNAT
Name_Universal_Aliasing : constant Name_Id := N + 267; -- GNAT
- Name_Unreferenced : constant Name_Id := N + 268; -- GNAT
- Name_Unreferenced_Objects : constant Name_Id := N + 269; -- GNAT
- Name_Unreserve_All_Interrupts : constant Name_Id := N + 270; -- GNAT
- Name_Volatile : constant Name_Id := N + 271;
- Name_Volatile_Components : constant Name_Id := N + 272;
- Name_Weak_External : constant Name_Id := N + 273; -- GNAT
- Last_Pragma_Name : constant Name_Id := N + 273;
+ Name_Unmodified : constant Name_Id := N + 268; -- GNAT
+ Name_Unreferenced : constant Name_Id := N + 269; -- GNAT
+ Name_Unreferenced_Objects : constant Name_Id := N + 270; -- GNAT
+ Name_Unreserve_All_Interrupts : constant Name_Id := N + 271; -- GNAT
+ Name_Volatile : constant Name_Id := N + 272;
+ Name_Volatile_Components : constant Name_Id := N + 273;
+ Name_Weak_External : constant Name_Id := N + 274; -- GNAT
+ Last_Pragma_Name : constant Name_Id := N + 274;
-- Language convention names for pragma Convention/Export/Import/Interface
-- Note that Name_C is not included in this list, since it was already
-- Entry and Protected, this is because these conventions cannot be
-- specified by a pragma.
- First_Convention_Name : constant Name_Id := N + 274;
- Name_Ada : constant Name_Id := N + 274;
- Name_Assembler : constant Name_Id := N + 275;
- Name_CIL : constant Name_Id := N + 276;
- Name_COBOL : constant Name_Id := N + 277;
- Name_CPP : constant Name_Id := N + 278;
- Name_Fortran : constant Name_Id := N + 279;
- Name_Intrinsic : constant Name_Id := N + 280;
- Name_Java : constant Name_Id := N + 281;
- Name_Stdcall : constant Name_Id := N + 282;
- Name_Stubbed : constant Name_Id := N + 283;
- Last_Convention_Name : constant Name_Id := N + 283;
+ First_Convention_Name : constant Name_Id := N + 275;
+ Name_Ada : constant Name_Id := N + 275;
+ Name_Assembler : constant Name_Id := N + 276;
+ Name_CIL : constant Name_Id := N + 277;
+ Name_COBOL : constant Name_Id := N + 278;
+ Name_CPP : constant Name_Id := N + 279;
+ Name_Fortran : constant Name_Id := N + 280;
+ Name_Intrinsic : constant Name_Id := N + 281;
+ Name_Java : constant Name_Id := N + 282;
+ Name_Stdcall : constant Name_Id := N + 283;
+ Name_Stubbed : constant Name_Id := N + 284;
+ Last_Convention_Name : constant Name_Id := N + 284;
-- The following names are preset as synonyms for Assembler
- Name_Asm : constant Name_Id := N + 284;
- Name_Assembly : constant Name_Id := N + 285;
+ Name_Asm : constant Name_Id := N + 285;
+ Name_Assembly : constant Name_Id := N + 286;
-- The following names are preset as synonyms for C
- Name_Default : constant Name_Id := N + 286;
+ Name_Default : constant Name_Id := N + 287;
-- Name_Exernal (previously defined as pragma)
-- The following names are preset as synonyms for CPP
- Name_C_Plus_Plus : constant Name_Id := N + 287;
+ Name_C_Plus_Plus : constant Name_Id := N + 288;
-- The following names are present as synonyms for Stdcall
- Name_DLL : constant Name_Id := N + 288;
- Name_Win32 : constant Name_Id := N + 289;
+ Name_DLL : constant Name_Id := N + 289;
+ Name_Win32 : constant Name_Id := N + 290;
-- Other special names used in processing pragmas
- Name_As_Is : constant Name_Id := N + 290;
- Name_Attribute_Name : constant Name_Id := N + 291;
- Name_Body_File_Name : constant Name_Id := N + 292;
- Name_Boolean_Entry_Barriers : constant Name_Id := N + 293;
- Name_Check : constant Name_Id := N + 294;
- Name_Casing : constant Name_Id := N + 295;
- Name_Code : constant Name_Id := N + 296;
- Name_Component : constant Name_Id := N + 297;
- Name_Component_Size_4 : constant Name_Id := N + 298;
- Name_Copy : constant Name_Id := N + 299;
- Name_D_Float : constant Name_Id := N + 300;
- Name_Descriptor : constant Name_Id := N + 301;
- Name_Dot_Replacement : constant Name_Id := N + 302;
- Name_Dynamic : constant Name_Id := N + 303;
- Name_Entity : constant Name_Id := N + 304;
- Name_Entry_Count : constant Name_Id := N + 305;
- Name_External_Name : constant Name_Id := N + 306;
- Name_First_Optional_Parameter : constant Name_Id := N + 307;
- Name_Form : constant Name_Id := N + 308;
- Name_G_Float : constant Name_Id := N + 309;
- Name_Gcc : constant Name_Id := N + 310;
- Name_Gnat : constant Name_Id := N + 311;
- Name_GPL : constant Name_Id := N + 312;
- Name_IEEE_Float : constant Name_Id := N + 313;
- Name_Ignore : constant Name_Id := N + 314;
- Name_Info : constant Name_Id := N + 315;
- Name_Internal : constant Name_Id := N + 316;
- Name_Link_Name : constant Name_Id := N + 317;
- Name_Lowercase : constant Name_Id := N + 318;
- Name_Max_Entry_Queue_Depth : constant Name_Id := N + 319;
- Name_Max_Entry_Queue_Length : constant Name_Id := N + 320;
- Name_Max_Size : constant Name_Id := N + 321;
- Name_Mechanism : constant Name_Id := N + 322;
- Name_Message : constant Name_Id := N + 323;
- Name_Mixedcase : constant Name_Id := N + 324;
- Name_Modified_GPL : constant Name_Id := N + 325;
- Name_Name : constant Name_Id := N + 326;
- Name_NCA : constant Name_Id := N + 327;
- Name_No : constant Name_Id := N + 328;
- Name_No_Dependence : constant Name_Id := N + 329;
- Name_No_Dynamic_Attachment : constant Name_Id := N + 330;
- Name_No_Dynamic_Interrupts : constant Name_Id := N + 331;
- Name_No_Requeue : constant Name_Id := N + 332;
- Name_No_Requeue_Statements : constant Name_Id := N + 333;
- Name_No_Task_Attributes : constant Name_Id := N + 334;
- Name_No_Task_Attributes_Package : constant Name_Id := N + 335;
- Name_On : constant Name_Id := N + 336;
- Name_Parameter_Types : constant Name_Id := N + 337;
- Name_Reference : constant Name_Id := N + 338;
- Name_Restricted : constant Name_Id := N + 339;
- Name_Result_Mechanism : constant Name_Id := N + 340;
- Name_Result_Type : constant Name_Id := N + 341;
- Name_Runtime : constant Name_Id := N + 342;
- Name_SB : constant Name_Id := N + 343;
- Name_Secondary_Stack_Size : constant Name_Id := N + 344;
- Name_Section : constant Name_Id := N + 345;
- Name_Semaphore : constant Name_Id := N + 346;
- Name_Simple_Barriers : constant Name_Id := N + 347;
- Name_Spec_File_Name : constant Name_Id := N + 348;
- Name_State : constant Name_Id := N + 349;
- Name_Static : constant Name_Id := N + 350;
- Name_Stack_Size : constant Name_Id := N + 351;
- Name_Subunit_File_Name : constant Name_Id := N + 352;
- Name_Task_Stack_Size_Default : constant Name_Id := N + 353;
- Name_Task_Type : constant Name_Id := N + 354;
- Name_Time_Slicing_Enabled : constant Name_Id := N + 355;
- Name_Top_Guard : constant Name_Id := N + 356;
- Name_UBA : constant Name_Id := N + 357;
- Name_UBS : constant Name_Id := N + 358;
- Name_UBSB : constant Name_Id := N + 359;
- Name_Unit_Name : constant Name_Id := N + 360;
- Name_Unknown : constant Name_Id := N + 361;
- Name_Unrestricted : constant Name_Id := N + 362;
- Name_Uppercase : constant Name_Id := N + 363;
- Name_User : constant Name_Id := N + 364;
- Name_VAX_Float : constant Name_Id := N + 365;
- Name_VMS : constant Name_Id := N + 366;
- Name_Vtable_Ptr : constant Name_Id := N + 367;
- Name_Working_Storage : constant Name_Id := N + 368;
+ Name_As_Is : constant Name_Id := N + 291;
+ Name_Attribute_Name : constant Name_Id := N + 292;
+ Name_Body_File_Name : constant Name_Id := N + 293;
+ Name_Boolean_Entry_Barriers : constant Name_Id := N + 294;
+ Name_Check : constant Name_Id := N + 295;
+ Name_Casing : constant Name_Id := N + 296;
+ Name_Code : constant Name_Id := N + 297;
+ Name_Component : constant Name_Id := N + 298;
+ Name_Component_Size_4 : constant Name_Id := N + 299;
+ Name_Copy : constant Name_Id := N + 300;
+ Name_D_Float : constant Name_Id := N + 301;
+ Name_Descriptor : constant Name_Id := N + 302;
+ Name_Dot_Replacement : constant Name_Id := N + 303;
+ Name_Dynamic : constant Name_Id := N + 304;
+ Name_Entity : constant Name_Id := N + 305;
+ Name_Entry_Count : constant Name_Id := N + 306;
+ Name_External_Name : constant Name_Id := N + 307;
+ Name_First_Optional_Parameter : constant Name_Id := N + 308;
+ Name_Form : constant Name_Id := N + 309;
+ Name_G_Float : constant Name_Id := N + 310;
+ Name_Gcc : constant Name_Id := N + 311;
+ Name_Gnat : constant Name_Id := N + 312;
+ Name_GPL : constant Name_Id := N + 313;
+ Name_IEEE_Float : constant Name_Id := N + 314;
+ Name_Ignore : constant Name_Id := N + 315;
+ Name_Info : constant Name_Id := N + 316;
+ Name_Internal : constant Name_Id := N + 317;
+ Name_Link_Name : constant Name_Id := N + 318;
+ Name_Lowercase : constant Name_Id := N + 319;
+ Name_Max_Entry_Queue_Depth : constant Name_Id := N + 320;
+ Name_Max_Entry_Queue_Length : constant Name_Id := N + 321;
+ Name_Max_Size : constant Name_Id := N + 322;
+ Name_Mechanism : constant Name_Id := N + 323;
+ Name_Message : constant Name_Id := N + 324;
+ Name_Mixedcase : constant Name_Id := N + 325;
+ Name_Modified_GPL : constant Name_Id := N + 326;
+ Name_Name : constant Name_Id := N + 327;
+ Name_NCA : constant Name_Id := N + 328;
+ Name_No : constant Name_Id := N + 329;
+ Name_No_Dependence : constant Name_Id := N + 330;
+ Name_No_Dynamic_Attachment : constant Name_Id := N + 331;
+ Name_No_Dynamic_Interrupts : constant Name_Id := N + 332;
+ Name_No_Requeue : constant Name_Id := N + 333;
+ Name_No_Requeue_Statements : constant Name_Id := N + 334;
+ Name_No_Task_Attributes : constant Name_Id := N + 335;
+ Name_No_Task_Attributes_Package : constant Name_Id := N + 336;
+ Name_On : constant Name_Id := N + 337;
+ Name_Parameter_Types : constant Name_Id := N + 338;
+ Name_Reference : constant Name_Id := N + 339;
+ Name_Restricted : constant Name_Id := N + 340;
+ Name_Result_Mechanism : constant Name_Id := N + 341;
+ Name_Result_Type : constant Name_Id := N + 342;
+ Name_Runtime : constant Name_Id := N + 343;
+ Name_SB : constant Name_Id := N + 344;
+ Name_Secondary_Stack_Size : constant Name_Id := N + 345;
+ Name_Section : constant Name_Id := N + 346;
+ Name_Semaphore : constant Name_Id := N + 347;
+ Name_Simple_Barriers : constant Name_Id := N + 348;
+ Name_Spec_File_Name : constant Name_Id := N + 349;
+ Name_State : constant Name_Id := N + 350;
+ Name_Static : constant Name_Id := N + 351;
+ Name_Stack_Size : constant Name_Id := N + 352;
+ Name_Subunit_File_Name : constant Name_Id := N + 353;
+ Name_Task_Stack_Size_Default : constant Name_Id := N + 354;
+ Name_Task_Type : constant Name_Id := N + 355;
+ Name_Time_Slicing_Enabled : constant Name_Id := N + 356;
+ Name_Top_Guard : constant Name_Id := N + 357;
+ Name_UBA : constant Name_Id := N + 358;
+ Name_UBS : constant Name_Id := N + 359;
+ Name_UBSB : constant Name_Id := N + 360;
+ Name_Unit_Name : constant Name_Id := N + 361;
+ Name_Unknown : constant Name_Id := N + 362;
+ Name_Unrestricted : constant Name_Id := N + 363;
+ Name_Uppercase : constant Name_Id := N + 364;
+ Name_User : constant Name_Id := N + 365;
+ Name_VAX_Float : constant Name_Id := N + 366;
+ Name_VMS : constant Name_Id := N + 367;
+ Name_Vtable_Ptr : constant Name_Id := N + 368;
+ Name_Working_Storage : constant Name_Id := N + 369;
-- 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
-- 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 + 369;
- Name_Abort_Signal : constant Name_Id := N + 369; -- GNAT
- Name_Access : constant Name_Id := N + 370;
- Name_Address : constant Name_Id := N + 371;
- Name_Address_Size : constant Name_Id := N + 372; -- GNAT
- Name_Aft : constant Name_Id := N + 373;
- Name_Alignment : constant Name_Id := N + 374;
- Name_Asm_Input : constant Name_Id := N + 375; -- GNAT
- Name_Asm_Output : constant Name_Id := N + 376; -- GNAT
- Name_AST_Entry : constant Name_Id := N + 377; -- VMS
- Name_Bit : constant Name_Id := N + 378; -- GNAT
- Name_Bit_Order : constant Name_Id := N + 379;
- Name_Bit_Position : constant Name_Id := N + 380; -- GNAT
- Name_Body_Version : constant Name_Id := N + 381;
- Name_Callable : constant Name_Id := N + 382;
- Name_Caller : constant Name_Id := N + 383;
- Name_Code_Address : constant Name_Id := N + 384; -- GNAT
- Name_Component_Size : constant Name_Id := N + 385;
- Name_Compose : constant Name_Id := N + 386;
- Name_Constrained : constant Name_Id := N + 387;
- Name_Count : constant Name_Id := N + 388;
- Name_Default_Bit_Order : constant Name_Id := N + 389; -- GNAT
- Name_Definite : constant Name_Id := N + 390;
- Name_Delta : constant Name_Id := N + 391;
- Name_Denorm : constant Name_Id := N + 392;
- Name_Digits : constant Name_Id := N + 393;
- Name_Elaborated : constant Name_Id := N + 394; -- GNAT
- Name_Emax : constant Name_Id := N + 395; -- Ada 83
- Name_Enabled : constant Name_Id := N + 396; -- GNAT
- Name_Enum_Rep : constant Name_Id := N + 397; -- GNAT
- Name_Epsilon : constant Name_Id := N + 398; -- Ada 83
- Name_Exponent : constant Name_Id := N + 399;
- Name_External_Tag : constant Name_Id := N + 400;
- Name_Fast_Math : constant Name_Id := N + 401; -- GNAT
- Name_First : constant Name_Id := N + 402;
- Name_First_Bit : constant Name_Id := N + 403;
- Name_Fixed_Value : constant Name_Id := N + 404; -- GNAT
- Name_Fore : constant Name_Id := N + 405;
- Name_Has_Access_Values : constant Name_Id := N + 406; -- GNAT
- Name_Has_Discriminants : constant Name_Id := N + 407; -- GNAT
- Name_Identity : constant Name_Id := N + 408;
- Name_Img : constant Name_Id := N + 409; -- GNAT
- Name_Integer_Value : constant Name_Id := N + 410; -- GNAT
- Name_Large : constant Name_Id := N + 411; -- Ada 83
- Name_Last : constant Name_Id := N + 412;
- Name_Last_Bit : constant Name_Id := N + 413;
- Name_Leading_Part : constant Name_Id := N + 414;
- Name_Length : constant Name_Id := N + 415;
- Name_Machine_Emax : constant Name_Id := N + 416;
- Name_Machine_Emin : constant Name_Id := N + 417;
- Name_Machine_Mantissa : constant Name_Id := N + 418;
- Name_Machine_Overflows : constant Name_Id := N + 419;
- Name_Machine_Radix : constant Name_Id := N + 420;
- Name_Machine_Rounding : constant Name_Id := N + 421; -- Ada 05
- Name_Machine_Rounds : constant Name_Id := N + 422;
- Name_Machine_Size : constant Name_Id := N + 423; -- GNAT
- Name_Mantissa : constant Name_Id := N + 424; -- Ada 83
- Name_Max_Size_In_Storage_Elements : constant Name_Id := N + 425;
- Name_Maximum_Alignment : constant Name_Id := N + 426; -- GNAT
- Name_Mechanism_Code : constant Name_Id := N + 427; -- GNAT
- Name_Mod : constant Name_Id := N + 428; -- Ada 05
- Name_Model_Emin : constant Name_Id := N + 429;
- Name_Model_Epsilon : constant Name_Id := N + 430;
- Name_Model_Mantissa : constant Name_Id := N + 431;
- Name_Model_Small : constant Name_Id := N + 432;
- Name_Modulus : constant Name_Id := N + 433;
- Name_Null_Parameter : constant Name_Id := N + 434; -- GNAT
- Name_Object_Size : constant Name_Id := N + 435; -- GNAT
- Name_Partition_ID : constant Name_Id := N + 436;
- Name_Passed_By_Reference : constant Name_Id := N + 437; -- GNAT
- Name_Pool_Address : constant Name_Id := N + 438;
- Name_Pos : constant Name_Id := N + 439;
- Name_Position : constant Name_Id := N + 440;
- Name_Priority : constant Name_Id := N + 441; -- Ada 05
- Name_Range : constant Name_Id := N + 442;
- Name_Range_Length : constant Name_Id := N + 443; -- GNAT
- Name_Round : constant Name_Id := N + 444;
- Name_Safe_Emax : constant Name_Id := N + 445; -- Ada 83
- Name_Safe_First : constant Name_Id := N + 446;
- Name_Safe_Large : constant Name_Id := N + 447; -- Ada 83
- Name_Safe_Last : constant Name_Id := N + 448;
- Name_Safe_Small : constant Name_Id := N + 449; -- Ada 83
- Name_Scale : constant Name_Id := N + 450;
- Name_Scaling : constant Name_Id := N + 451;
- Name_Signed_Zeros : constant Name_Id := N + 452;
- Name_Size : constant Name_Id := N + 453;
- Name_Small : constant Name_Id := N + 454;
- Name_Storage_Size : constant Name_Id := N + 455;
- Name_Storage_Unit : constant Name_Id := N + 456; -- GNAT
- Name_Stream_Size : constant Name_Id := N + 457; -- Ada 05
- Name_Tag : constant Name_Id := N + 458;
- Name_Target_Name : constant Name_Id := N + 459; -- GNAT
- Name_Terminated : constant Name_Id := N + 460;
- Name_To_Address : constant Name_Id := N + 461; -- GNAT
- Name_Type_Class : constant Name_Id := N + 462; -- GNAT
- Name_UET_Address : constant Name_Id := N + 463; -- GNAT
- Name_Unbiased_Rounding : constant Name_Id := N + 464;
- Name_Unchecked_Access : constant Name_Id := N + 465;
- Name_Unconstrained_Array : constant Name_Id := N + 466;
- Name_Universal_Literal_String : constant Name_Id := N + 467; -- GNAT
- Name_Unrestricted_Access : constant Name_Id := N + 468; -- GNAT
- Name_VADS_Size : constant Name_Id := N + 469; -- GNAT
- Name_Val : constant Name_Id := N + 470;
- Name_Valid : constant Name_Id := N + 471;
- Name_Value_Size : constant Name_Id := N + 472; -- GNAT
- Name_Version : constant Name_Id := N + 473;
- Name_Wchar_T_Size : constant Name_Id := N + 474; -- GNAT
- Name_Wide_Wide_Width : constant Name_Id := N + 475; -- Ada 05
- Name_Wide_Width : constant Name_Id := N + 476;
- Name_Width : constant Name_Id := N + 477;
- Name_Word_Size : constant Name_Id := N + 478; -- GNAT
+ First_Attribute_Name : constant Name_Id := N + 370;
+ Name_Abort_Signal : constant Name_Id := N + 370; -- GNAT
+ Name_Access : constant Name_Id := N + 371;
+ Name_Address : constant Name_Id := N + 372;
+ Name_Address_Size : constant Name_Id := N + 373; -- GNAT
+ Name_Aft : constant Name_Id := N + 374;
+ Name_Alignment : constant Name_Id := N + 375;
+ Name_Asm_Input : constant Name_Id := N + 376; -- GNAT
+ Name_Asm_Output : constant Name_Id := N + 377; -- GNAT
+ Name_AST_Entry : constant Name_Id := N + 378; -- VMS
+ Name_Bit : constant Name_Id := N + 379; -- GNAT
+ Name_Bit_Order : constant Name_Id := N + 380;
+ Name_Bit_Position : constant Name_Id := N + 381; -- GNAT
+ Name_Body_Version : constant Name_Id := N + 382;
+ Name_Callable : constant Name_Id := N + 383;
+ Name_Caller : constant Name_Id := N + 384;
+ Name_Code_Address : constant Name_Id := N + 385; -- GNAT
+ Name_Component_Size : constant Name_Id := N + 386;
+ Name_Compose : constant Name_Id := N + 387;
+ Name_Constrained : constant Name_Id := N + 388;
+ Name_Count : constant Name_Id := N + 389;
+ Name_Default_Bit_Order : constant Name_Id := N + 390; -- GNAT
+ Name_Definite : constant Name_Id := N + 391;
+ Name_Delta : constant Name_Id := N + 392;
+ Name_Denorm : constant Name_Id := N + 393;
+ Name_Digits : constant Name_Id := N + 394;
+ Name_Elaborated : constant Name_Id := N + 395; -- GNAT
+ Name_Emax : constant Name_Id := N + 396; -- Ada 83
+ Name_Enabled : constant Name_Id := N + 397; -- GNAT
+ Name_Enum_Rep : constant Name_Id := N + 398; -- GNAT
+ Name_Epsilon : constant Name_Id := N + 399; -- Ada 83
+ Name_Exponent : constant Name_Id := N + 400;
+ Name_External_Tag : constant Name_Id := N + 401;
+ Name_Fast_Math : constant Name_Id := N + 402; -- GNAT
+ Name_First : constant Name_Id := N + 403;
+ Name_First_Bit : constant Name_Id := N + 404;
+ Name_Fixed_Value : constant Name_Id := N + 405; -- GNAT
+ Name_Fore : constant Name_Id := N + 406;
+ Name_Has_Access_Values : constant Name_Id := N + 407; -- GNAT
+ Name_Has_Discriminants : constant Name_Id := N + 408; -- GNAT
+ Name_Identity : constant Name_Id := N + 409;
+ Name_Img : constant Name_Id := N + 410; -- GNAT
+ Name_Integer_Value : constant Name_Id := N + 411; -- GNAT
+ Name_Large : constant Name_Id := N + 412; -- Ada 83
+ Name_Last : constant Name_Id := N + 413;
+ Name_Last_Bit : constant Name_Id := N + 414;
+ Name_Leading_Part : constant Name_Id := N + 415;
+ Name_Length : constant Name_Id := N + 416;
+ Name_Machine_Emax : constant Name_Id := N + 417;
+ Name_Machine_Emin : constant Name_Id := N + 418;
+ Name_Machine_Mantissa : constant Name_Id := N + 419;
+ Name_Machine_Overflows : constant Name_Id := N + 420;
+ Name_Machine_Radix : constant Name_Id := N + 421;
+ Name_Machine_Rounding : constant Name_Id := N + 422; -- Ada 05
+ Name_Machine_Rounds : constant Name_Id := N + 423;
+ Name_Machine_Size : constant Name_Id := N + 424; -- GNAT
+ Name_Mantissa : constant Name_Id := N + 425; -- Ada 83
+ Name_Max_Size_In_Storage_Elements : constant Name_Id := N + 426;
+ Name_Maximum_Alignment : constant Name_Id := N + 427; -- GNAT
+ Name_Mechanism_Code : constant Name_Id := N + 428; -- GNAT
+ Name_Mod : constant Name_Id := N + 429; -- Ada 05
+ Name_Model_Emin : constant Name_Id := N + 430;
+ Name_Model_Epsilon : constant Name_Id := N + 431;
+ Name_Model_Mantissa : constant Name_Id := N + 432;
+ Name_Model_Small : constant Name_Id := N + 433;
+ Name_Modulus : constant Name_Id := N + 434;
+ Name_Null_Parameter : constant Name_Id := N + 435; -- GNAT
+ Name_Object_Size : constant Name_Id := N + 436; -- GNAT
+ Name_Partition_ID : constant Name_Id := N + 437;
+ Name_Passed_By_Reference : constant Name_Id := N + 438; -- GNAT
+ Name_Pool_Address : constant Name_Id := N + 439;
+ Name_Pos : constant Name_Id := N + 440;
+ Name_Position : constant Name_Id := N + 441;
+ Name_Priority : constant Name_Id := N + 442; -- Ada 05
+ Name_Range : constant Name_Id := N + 443;
+ Name_Range_Length : constant Name_Id := N + 444; -- GNAT
+ Name_Round : constant Name_Id := N + 445;
+ Name_Safe_Emax : constant Name_Id := N + 446; -- Ada 83
+ Name_Safe_First : constant Name_Id := N + 447;
+ Name_Safe_Large : constant Name_Id := N + 448; -- Ada 83
+ Name_Safe_Last : constant Name_Id := N + 449;
+ Name_Safe_Small : constant Name_Id := N + 450; -- Ada 83
+ Name_Scale : constant Name_Id := N + 451;
+ Name_Scaling : constant Name_Id := N + 452;
+ Name_Signed_Zeros : constant Name_Id := N + 453;
+ Name_Size : constant Name_Id := N + 454;
+ Name_Small : constant Name_Id := N + 455;
+ Name_Storage_Size : constant Name_Id := N + 456;
+ Name_Storage_Unit : constant Name_Id := N + 457; -- GNAT
+ Name_Stream_Size : constant Name_Id := N + 458; -- Ada 05
+ Name_Tag : constant Name_Id := N + 459;
+ Name_Target_Name : constant Name_Id := N + 460; -- GNAT
+ Name_Terminated : constant Name_Id := N + 461;
+ Name_To_Address : constant Name_Id := N + 462; -- GNAT
+ Name_Type_Class : constant Name_Id := N + 463; -- GNAT
+ Name_UET_Address : constant Name_Id := N + 464; -- GNAT
+ Name_Unbiased_Rounding : constant Name_Id := N + 465;
+ Name_Unchecked_Access : constant Name_Id := N + 466;
+ Name_Unconstrained_Array : constant Name_Id := N + 467;
+ Name_Universal_Literal_String : constant Name_Id := N + 468; -- GNAT
+ Name_Unrestricted_Access : constant Name_Id := N + 469; -- GNAT
+ Name_VADS_Size : constant Name_Id := N + 470; -- GNAT
+ Name_Val : constant Name_Id := N + 471;
+ Name_Valid : constant Name_Id := N + 472;
+ Name_Value_Size : constant Name_Id := N + 473; -- GNAT
+ Name_Version : constant Name_Id := N + 474;
+ Name_Wchar_T_Size : constant Name_Id := N + 475; -- GNAT
+ Name_Wide_Wide_Width : constant Name_Id := N + 476; -- Ada 05
+ Name_Wide_Width : constant Name_Id := N + 477;
+ Name_Width : constant Name_Id := N + 478;
+ Name_Word_Size : constant Name_Id := N + 479; -- 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 + 479;
- Name_Adjacent : constant Name_Id := N + 479;
- Name_Ceiling : constant Name_Id := N + 480;
- Name_Copy_Sign : constant Name_Id := N + 481;
- Name_Floor : constant Name_Id := N + 482;
- Name_Fraction : constant Name_Id := N + 483;
- Name_Image : constant Name_Id := N + 484;
- Name_Input : constant Name_Id := N + 485;
- Name_Machine : constant Name_Id := N + 486;
- Name_Max : constant Name_Id := N + 487;
- Name_Min : constant Name_Id := N + 488;
- Name_Model : constant Name_Id := N + 489;
- Name_Pred : constant Name_Id := N + 490;
- Name_Remainder : constant Name_Id := N + 491;
- Name_Rounding : constant Name_Id := N + 492;
- Name_Succ : constant Name_Id := N + 493;
- Name_Truncation : constant Name_Id := N + 494;
- Name_Value : constant Name_Id := N + 495;
- Name_Wide_Image : constant Name_Id := N + 496;
- Name_Wide_Wide_Image : constant Name_Id := N + 497;
- Name_Wide_Value : constant Name_Id := N + 498;
- Name_Wide_Wide_Value : constant Name_Id := N + 499;
- Last_Renamable_Function_Attribute : constant Name_Id := N + 499;
+ First_Renamable_Function_Attribute : constant Name_Id := N + 480;
+ Name_Adjacent : constant Name_Id := N + 480;
+ Name_Ceiling : constant Name_Id := N + 481;
+ Name_Copy_Sign : constant Name_Id := N + 482;
+ Name_Floor : constant Name_Id := N + 483;
+ Name_Fraction : constant Name_Id := N + 484;
+ Name_Image : constant Name_Id := N + 485;
+ Name_Input : constant Name_Id := N + 486;
+ Name_Machine : constant Name_Id := N + 487;
+ Name_Max : constant Name_Id := N + 488;
+ Name_Min : constant Name_Id := N + 489;
+ Name_Model : constant Name_Id := N + 490;
+ Name_Pred : constant Name_Id := N + 491;
+ Name_Remainder : constant Name_Id := N + 492;
+ Name_Rounding : constant Name_Id := N + 493;
+ Name_Succ : constant Name_Id := N + 494;
+ Name_Truncation : constant Name_Id := N + 495;
+ Name_Value : constant Name_Id := N + 496;
+ Name_Wide_Image : constant Name_Id := N + 497;
+ Name_Wide_Wide_Image : constant Name_Id := N + 498;
+ Name_Wide_Value : constant Name_Id := N + 499;
+ Name_Wide_Wide_Value : constant Name_Id := N + 500;
+ Last_Renamable_Function_Attribute : constant Name_Id := N + 500;
-- Attributes that designate procedures
- First_Procedure_Attribute : constant Name_Id := N + 500;
- Name_Output : constant Name_Id := N + 500;
- Name_Read : constant Name_Id := N + 501;
- Name_Write : constant Name_Id := N + 502;
- Last_Procedure_Attribute : constant Name_Id := N + 502;
+ First_Procedure_Attribute : constant Name_Id := N + 501;
+ Name_Output : constant Name_Id := N + 501;
+ Name_Read : constant Name_Id := N + 502;
+ Name_Write : constant Name_Id := N + 503;
+ Last_Procedure_Attribute : constant Name_Id := N + 503;
-- Remaining attributes are ones that return entities
- First_Entity_Attribute_Name : constant Name_Id := N + 503;
- Name_Elab_Body : constant Name_Id := N + 503; -- GNAT
- Name_Elab_Spec : constant Name_Id := N + 504; -- GNAT
- Name_Storage_Pool : constant Name_Id := N + 505;
+ First_Entity_Attribute_Name : constant Name_Id := N + 504;
+ Name_Elab_Body : constant Name_Id := N + 504; -- GNAT
+ Name_Elab_Spec : constant Name_Id := N + 505; -- GNAT
+ Name_Storage_Pool : constant Name_Id := N + 506;
-- These attributes are the ones that return types
- First_Type_Attribute_Name : constant Name_Id := N + 506;
- Name_Base : constant Name_Id := N + 506;
- Name_Class : constant Name_Id := N + 507;
- Name_Stub_Type : constant Name_Id := N + 508;
- Last_Type_Attribute_Name : constant Name_Id := N + 508;
- Last_Entity_Attribute_Name : constant Name_Id := N + 508;
- Last_Attribute_Name : constant Name_Id := N + 508;
+ First_Type_Attribute_Name : constant Name_Id := N + 507;
+ Name_Base : constant Name_Id := N + 507;
+ Name_Class : constant Name_Id := N + 508;
+ Name_Stub_Type : constant Name_Id := N + 509;
+ Last_Type_Attribute_Name : constant Name_Id := N + 509;
+ Last_Entity_Attribute_Name : constant Name_Id := N + 509;
+ Last_Attribute_Name : constant Name_Id := N + 509;
-- Names of recognized locking policy identifiers
-- 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 + 509;
- Name_Ceiling_Locking : constant Name_Id := N + 509;
- Name_Inheritance_Locking : constant Name_Id := N + 510;
- Last_Locking_Policy_Name : constant Name_Id := N + 510;
+ First_Locking_Policy_Name : constant Name_Id := N + 510;
+ Name_Ceiling_Locking : constant Name_Id := N + 510;
+ Name_Inheritance_Locking : constant Name_Id := N + 511;
+ Last_Locking_Policy_Name : constant Name_Id := N + 511;
-- Names of recognized queuing policy identifiers
-- 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 + 511;
- Name_FIFO_Queuing : constant Name_Id := N + 511;
- Name_Priority_Queuing : constant Name_Id := N + 512;
- Last_Queuing_Policy_Name : constant Name_Id := N + 512;
+ First_Queuing_Policy_Name : constant Name_Id := N + 512;
+ Name_FIFO_Queuing : constant Name_Id := N + 512;
+ Name_Priority_Queuing : constant Name_Id := N + 513;
+ Last_Queuing_Policy_Name : constant Name_Id := N + 513;
-- Names of recognized task dispatching policy identifiers
-- 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 + 513;
- Name_EDF_Across_Priorities : constant Name_Id := N + 513;
- Name_FIFO_Within_Priorities : constant Name_Id := N + 514;
+ First_Task_Dispatching_Policy_Name : constant Name_Id := N + 514;
+ Name_EDF_Across_Priorities : constant Name_Id := N + 514;
+ Name_FIFO_Within_Priorities : constant Name_Id := N + 515;
Name_Non_Preemptive_Within_Priorities
: constant Name_Id := N + 513;
- Name_Round_Robin_Within_Priorities : constant Name_Id := N + 515;
- Last_Task_Dispatching_Policy_Name : constant Name_Id := N + 515;
+ Name_Round_Robin_Within_Priorities : constant Name_Id := N + 516;
+ Last_Task_Dispatching_Policy_Name : constant Name_Id := N + 516;
-- Names of recognized checks for pragma Suppress
- First_Check_Name : constant Name_Id := N + 516;
- Name_Access_Check : constant Name_Id := N + 516;
- Name_Accessibility_Check : constant Name_Id := N + 517;
- Name_Alignment_Check : constant Name_Id := N + 518; -- GNAT
- Name_Discriminant_Check : constant Name_Id := N + 519;
- Name_Division_Check : constant Name_Id := N + 520;
- Name_Elaboration_Check : constant Name_Id := N + 521;
- Name_Index_Check : constant Name_Id := N + 522;
- Name_Length_Check : constant Name_Id := N + 523;
- Name_Overflow_Check : constant Name_Id := N + 524;
- Name_Range_Check : constant Name_Id := N + 525;
- Name_Storage_Check : constant Name_Id := N + 526;
- Name_Tag_Check : constant Name_Id := N + 527;
- Name_Validity_Check : constant Name_Id := N + 528; -- GNAT
- Name_All_Checks : constant Name_Id := N + 529;
- Last_Check_Name : constant Name_Id := N + 529;
+ First_Check_Name : constant Name_Id := N + 517;
+ Name_Access_Check : constant Name_Id := N + 517;
+ Name_Accessibility_Check : constant Name_Id := N + 518;
+ Name_Alignment_Check : constant Name_Id := N + 519; -- GNAT
+ Name_Discriminant_Check : constant Name_Id := N + 520;
+ Name_Division_Check : constant Name_Id := N + 521;
+ Name_Elaboration_Check : constant Name_Id := N + 522;
+ Name_Index_Check : constant Name_Id := N + 523;
+ Name_Length_Check : constant Name_Id := N + 524;
+ Name_Overflow_Check : constant Name_Id := N + 525;
+ Name_Range_Check : constant Name_Id := N + 526;
+ Name_Storage_Check : constant Name_Id := N + 527;
+ Name_Tag_Check : constant Name_Id := N + 528;
+ Name_Validity_Check : constant Name_Id := N + 529; -- GNAT
+ Name_All_Checks : constant Name_Id := N + 530;
+ Last_Check_Name : constant Name_Id := N + 530;
-- Names corresponding to reserved keywords, excluding those already
-- declared in the attribute list (Access, Delta, Digits, Mod, Range).
- Name_Abort : constant Name_Id := N + 530;
- Name_Abs : constant Name_Id := N + 531;
- Name_Accept : constant Name_Id := N + 532;
- Name_And : constant Name_Id := N + 533;
- Name_All : constant Name_Id := N + 534;
- Name_Array : constant Name_Id := N + 535;
- Name_At : constant Name_Id := N + 536;
- Name_Begin : constant Name_Id := N + 537;
- Name_Body : constant Name_Id := N + 538;
- Name_Case : constant Name_Id := N + 539;
- Name_Constant : constant Name_Id := N + 540;
- Name_Declare : constant Name_Id := N + 541;
- Name_Delay : constant Name_Id := N + 542;
- Name_Do : constant Name_Id := N + 543;
- Name_Else : constant Name_Id := N + 544;
- Name_Elsif : constant Name_Id := N + 545;
- Name_End : constant Name_Id := N + 546;
- Name_Entry : constant Name_Id := N + 547;
- Name_Exception : constant Name_Id := N + 548;
- Name_Exit : constant Name_Id := N + 549;
- Name_For : constant Name_Id := N + 550;
- Name_Function : constant Name_Id := N + 551;
- Name_Generic : constant Name_Id := N + 552;
- Name_Goto : constant Name_Id := N + 553;
- Name_If : constant Name_Id := N + 554;
- Name_In : constant Name_Id := N + 555;
- Name_Is : constant Name_Id := N + 556;
- Name_Limited : constant Name_Id := N + 557;
- Name_Loop : constant Name_Id := N + 558;
- Name_New : constant Name_Id := N + 559;
- Name_Not : constant Name_Id := N + 560;
- Name_Null : constant Name_Id := N + 561;
- Name_Of : constant Name_Id := N + 562;
- Name_Or : constant Name_Id := N + 563;
- Name_Others : constant Name_Id := N + 564;
- Name_Out : constant Name_Id := N + 565;
- Name_Package : constant Name_Id := N + 566;
- Name_Pragma : constant Name_Id := N + 567;
- Name_Private : constant Name_Id := N + 568;
- Name_Procedure : constant Name_Id := N + 569;
- Name_Raise : constant Name_Id := N + 570;
- Name_Record : constant Name_Id := N + 571;
- Name_Rem : constant Name_Id := N + 572;
- Name_Renames : constant Name_Id := N + 573;
- Name_Return : constant Name_Id := N + 574;
- Name_Reverse : constant Name_Id := N + 575;
- Name_Select : constant Name_Id := N + 576;
- Name_Separate : constant Name_Id := N + 577;
- Name_Subtype : constant Name_Id := N + 578;
- Name_Task : constant Name_Id := N + 579;
- Name_Terminate : constant Name_Id := N + 580;
- Name_Then : constant Name_Id := N + 581;
- Name_Type : constant Name_Id := N + 582;
- Name_Use : constant Name_Id := N + 583;
- Name_When : constant Name_Id := N + 584;
- Name_While : constant Name_Id := N + 585;
- Name_With : constant Name_Id := N + 586;
- Name_Xor : constant Name_Id := N + 587;
+ Name_Abort : constant Name_Id := N + 531;
+ Name_Abs : constant Name_Id := N + 532;
+ Name_Accept : constant Name_Id := N + 533;
+ Name_And : constant Name_Id := N + 534;
+ Name_All : constant Name_Id := N + 535;
+ Name_Array : constant Name_Id := N + 536;
+ Name_At : constant Name_Id := N + 537;
+ Name_Begin : constant Name_Id := N + 538;
+ Name_Body : constant Name_Id := N + 539;
+ Name_Case : constant Name_Id := N + 540;
+ Name_Constant : constant Name_Id := N + 541;
+ Name_Declare : constant Name_Id := N + 542;
+ Name_Delay : constant Name_Id := N + 543;
+ Name_Do : constant Name_Id := N + 544;
+ Name_Else : constant Name_Id := N + 545;
+ Name_Elsif : constant Name_Id := N + 546;
+ Name_End : constant Name_Id := N + 547;
+ Name_Entry : constant Name_Id := N + 548;
+ Name_Exception : constant Name_Id := N + 549;
+ Name_Exit : constant Name_Id := N + 550;
+ Name_For : constant Name_Id := N + 551;
+ Name_Function : constant Name_Id := N + 552;
+ Name_Generic : constant Name_Id := N + 553;
+ Name_Goto : constant Name_Id := N + 554;
+ Name_If : constant Name_Id := N + 555;
+ Name_In : constant Name_Id := N + 556;
+ Name_Is : constant Name_Id := N + 557;
+ Name_Limited : constant Name_Id := N + 558;
+ Name_Loop : constant Name_Id := N + 559;
+ Name_New : constant Name_Id := N + 560;
+ Name_Not : constant Name_Id := N + 561;
+ Name_Null : constant Name_Id := N + 562;
+ Name_Of : constant Name_Id := N + 563;
+ Name_Or : constant Name_Id := N + 564;
+ Name_Others : constant Name_Id := N + 565;
+ Name_Out : constant Name_Id := N + 566;
+ Name_Package : constant Name_Id := N + 567;
+ Name_Pragma : constant Name_Id := N + 568;
+ Name_Private : constant Name_Id := N + 569;
+ Name_Procedure : constant Name_Id := N + 570;
+ Name_Raise : constant Name_Id := N + 571;
+ Name_Record : constant Name_Id := N + 572;
+ Name_Rem : constant Name_Id := N + 573;
+ Name_Renames : constant Name_Id := N + 574;
+ Name_Return : constant Name_Id := N + 575;
+ Name_Reverse : constant Name_Id := N + 576;
+ Name_Select : constant Name_Id := N + 577;
+ Name_Separate : constant Name_Id := N + 578;
+ Name_Subtype : constant Name_Id := N + 579;
+ Name_Task : constant Name_Id := N + 580;
+ Name_Terminate : constant Name_Id := N + 581;
+ Name_Then : constant Name_Id := N + 582;
+ Name_Type : constant Name_Id := N + 583;
+ Name_Use : constant Name_Id := N + 584;
+ Name_When : constant Name_Id := N + 585;
+ Name_While : constant Name_Id := N + 586;
+ Name_With : constant Name_Id := N + 587;
+ Name_Xor : constant Name_Id := N + 588;
-- Names of intrinsic subprograms
-- Note: Asm is missing from this list, since Asm is a legitimate
-- convention name. So is To_Adress, which is a GNAT attribute.
- First_Intrinsic_Name : constant Name_Id := N + 588;
- Name_Divide : constant Name_Id := N + 588;
- Name_Enclosing_Entity : constant Name_Id := N + 589;
- Name_Exception_Information : constant Name_Id := N + 590;
- Name_Exception_Message : constant Name_Id := N + 591;
- Name_Exception_Name : constant Name_Id := N + 592;
- Name_File : constant Name_Id := N + 593;
- Name_Generic_Dispatching_Constructor : constant Name_Id := N + 594;
- Name_Import_Address : constant Name_Id := N + 595;
- Name_Import_Largest_Value : constant Name_Id := N + 596;
- Name_Import_Value : constant Name_Id := N + 597;
- Name_Is_Negative : constant Name_Id := N + 598;
- Name_Line : constant Name_Id := N + 599;
- Name_Rotate_Left : constant Name_Id := N + 600;
- Name_Rotate_Right : constant Name_Id := N + 601;
- Name_Shift_Left : constant Name_Id := N + 602;
- Name_Shift_Right : constant Name_Id := N + 603;
- Name_Shift_Right_Arithmetic : constant Name_Id := N + 604;
- Name_Source_Location : constant Name_Id := N + 605;
- Name_Unchecked_Conversion : constant Name_Id := N + 606;
- Name_Unchecked_Deallocation : constant Name_Id := N + 607;
- Name_To_Pointer : constant Name_Id := N + 608;
- Last_Intrinsic_Name : constant Name_Id := N + 608;
+ First_Intrinsic_Name : constant Name_Id := N + 589;
+ Name_Divide : constant Name_Id := N + 589;
+ Name_Enclosing_Entity : constant Name_Id := N + 590;
+ Name_Exception_Information : constant Name_Id := N + 591;
+ Name_Exception_Message : constant Name_Id := N + 592;
+ Name_Exception_Name : constant Name_Id := N + 593;
+ Name_File : constant Name_Id := N + 594;
+ Name_Generic_Dispatching_Constructor : constant Name_Id := N + 595;
+ Name_Import_Address : constant Name_Id := N + 596;
+ Name_Import_Largest_Value : constant Name_Id := N + 597;
+ Name_Import_Value : constant Name_Id := N + 598;
+ Name_Is_Negative : constant Name_Id := N + 599;
+ Name_Line : constant Name_Id := N + 600;
+ Name_Rotate_Left : constant Name_Id := N + 601;
+ Name_Rotate_Right : constant Name_Id := N + 602;
+ Name_Shift_Left : constant Name_Id := N + 603;
+ Name_Shift_Right : constant Name_Id := N + 604;
+ Name_Shift_Right_Arithmetic : constant Name_Id := N + 605;
+ Name_Source_Location : constant Name_Id := N + 606;
+ Name_Unchecked_Conversion : constant Name_Id := N + 607;
+ Name_Unchecked_Deallocation : constant Name_Id := N + 608;
+ Name_To_Pointer : constant Name_Id := N + 609;
+ Last_Intrinsic_Name : constant Name_Id := N + 609;
-- Names used in processing intrinsic calls
- Name_Free : constant Name_Id := N + 609;
+ Name_Free : constant Name_Id := N + 610;
-- Reserved words used only in Ada 95
- First_95_Reserved_Word : constant Name_Id := N + 610;
- Name_Abstract : constant Name_Id := N + 610;
- Name_Aliased : constant Name_Id := N + 611;
- Name_Protected : constant Name_Id := N + 612;
- Name_Until : constant Name_Id := N + 613;
- Name_Requeue : constant Name_Id := N + 614;
- Name_Tagged : constant Name_Id := N + 615;
- Last_95_Reserved_Word : constant Name_Id := N + 615;
+ First_95_Reserved_Word : constant Name_Id := N + 611;
+ Name_Abstract : constant Name_Id := N + 611;
+ Name_Aliased : constant Name_Id := N + 612;
+ Name_Protected : constant Name_Id := N + 613;
+ Name_Until : constant Name_Id := N + 614;
+ Name_Requeue : constant Name_Id := N + 615;
+ Name_Tagged : constant Name_Id := N + 616;
+ Last_95_Reserved_Word : constant Name_Id := N + 616;
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 + 616;
+ Name_Raise_Exception : constant Name_Id := N + 617;
-- 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 + 617;
- Name_Archive_Builder : constant Name_Id := N + 618;
- Name_Archive_Indexer : constant Name_Id := N + 619;
- Name_Archive_Suffix : constant Name_Id := N + 620;
- Name_Binder : constant Name_Id := N + 621;
- Name_Binder_Prefix : constant Name_Id := N + 622;
- Name_Body_Suffix : constant Name_Id := N + 623;
- Name_Builder : constant Name_Id := N + 624;
- Name_Builder_Switches : constant Name_Id := N + 625;
- Name_Compiler : constant Name_Id := N + 626;
- Name_Compiler_Kind : constant Name_Id := N + 627;
- Name_Config_Body_File_Name : constant Name_Id := N + 628;
- Name_Config_Body_File_Name_Pattern : constant Name_Id := N + 629;
- Name_Config_File_Switches : constant Name_Id := N + 630;
- Name_Config_File_Unique : constant Name_Id := N + 631;
- Name_Config_Spec_File_Name : constant Name_Id := N + 632;
- Name_Config_Spec_File_Name_Pattern : constant Name_Id := N + 633;
- Name_Cross_Reference : constant Name_Id := N + 634;
- Name_Default_Language : constant Name_Id := N + 635;
- Name_Default_Switches : constant Name_Id := N + 636;
- Name_Dependency_Driver : constant Name_Id := N + 637;
- Name_Dependency_File_Kind : constant Name_Id := N + 638;
- Name_Dependency_Switches : constant Name_Id := N + 639;
- Name_Driver : constant Name_Id := N + 640;
- Name_Excluded_Source_Dirs : constant Name_Id := N + 641;
- Name_Excluded_Source_Files : constant Name_Id := N + 642;
- Name_Exec_Dir : constant Name_Id := N + 643;
- Name_Executable : constant Name_Id := N + 644;
- Name_Executable_Suffix : constant Name_Id := N + 645;
- Name_Extends : constant Name_Id := N + 646;
- Name_Externally_Built : constant Name_Id := N + 647;
- Name_Finder : constant Name_Id := N + 648;
- Name_Global_Configuration_Pragmas : constant Name_Id := N + 649;
- Name_Global_Config_File : constant Name_Id := N + 650;
- Name_Gnatls : constant Name_Id := N + 651;
- Name_Gnatstub : constant Name_Id := N + 652;
- Name_Implementation : constant Name_Id := N + 653;
- Name_Implementation_Exceptions : constant Name_Id := N + 654;
- Name_Implementation_Suffix : constant Name_Id := N + 655;
- Name_Include_Switches : constant Name_Id := N + 656;
- Name_Include_Path : constant Name_Id := N + 657;
- Name_Include_Path_File : constant Name_Id := N + 658;
- Name_Language_Kind : constant Name_Id := N + 659;
- Name_Language_Processing : constant Name_Id := N + 660;
- Name_Languages : constant Name_Id := N + 661;
- Name_Library_Ali_Dir : constant Name_Id := N + 662;
- Name_Library_Auto_Init : constant Name_Id := N + 663;
- Name_Library_Auto_Init_Supported : constant Name_Id := N + 664;
- Name_Library_Builder : constant Name_Id := N + 665;
- Name_Library_Dir : constant Name_Id := N + 666;
- Name_Library_GCC : constant Name_Id := N + 667;
- Name_Library_Interface : constant Name_Id := N + 668;
- Name_Library_Kind : constant Name_Id := N + 669;
- Name_Library_Name : constant Name_Id := N + 670;
- Name_Library_Major_Minor_Id_Supported : constant Name_Id := N + 671;
- Name_Library_Options : constant Name_Id := N + 672;
- Name_Library_Partial_Linker : constant Name_Id := N + 673;
- Name_Library_Reference_Symbol_File : constant Name_Id := N + 674;
- Name_Library_Src_Dir : constant Name_Id := N + 675;
- Name_Library_Support : constant Name_Id := N + 676;
- Name_Library_Symbol_File : constant Name_Id := N + 677;
- Name_Library_Symbol_Policy : constant Name_Id := N + 678;
- Name_Library_Version : constant Name_Id := N + 679;
- Name_Library_Version_Switches : constant Name_Id := N + 680;
- Name_Linker : constant Name_Id := N + 681;
- Name_Linker_Executable_Option : constant Name_Id := N + 682;
- Name_Linker_Lib_Dir_Option : constant Name_Id := N + 683;
- Name_Linker_Lib_Name_Option : constant Name_Id := N + 684;
- Name_Local_Config_File : constant Name_Id := N + 685;
- Name_Local_Configuration_Pragmas : constant Name_Id := N + 686;
- Name_Locally_Removed_Files : constant Name_Id := N + 687;
- Name_Mapping_File_Switches : constant Name_Id := N + 688;
- Name_Mapping_Spec_Suffix : constant Name_Id := N + 689;
- Name_Mapping_Body_Suffix : constant Name_Id := N + 690;
- Name_Metrics : constant Name_Id := N + 691;
- Name_Naming : constant Name_Id := N + 692;
- Name_Objects_Path : constant Name_Id := N + 693;
- Name_Objects_Path_File : constant Name_Id := N + 694;
- Name_Object_Dir : constant Name_Id := N + 695;
- Name_Pic_Option : constant Name_Id := N + 696;
- Name_Pretty_Printer : constant Name_Id := N + 697;
- Name_Prefix : constant Name_Id := N + 698;
- Name_Project : constant Name_Id := N + 699;
- Name_Roots : constant Name_Id := N + 700;
- Name_Required_Switches : constant Name_Id := N + 701;
- Name_Run_Path_Option : constant Name_Id := N + 702;
- Name_Runtime_Project : constant Name_Id := N + 703;
- Name_Shared_Library_Minimum_Switches : constant Name_Id := N + 704;
- Name_Shared_Library_Prefix : constant Name_Id := N + 705;
- Name_Shared_Library_Suffix : constant Name_Id := N + 706;
- Name_Separate_Suffix : constant Name_Id := N + 707;
- Name_Source_Dirs : constant Name_Id := N + 708;
- Name_Source_Files : constant Name_Id := N + 709;
- Name_Source_List_File : constant Name_Id := N + 710;
- Name_Spec : constant Name_Id := N + 711;
- Name_Spec_Suffix : constant Name_Id := N + 712;
- Name_Specification : constant Name_Id := N + 713;
- Name_Specification_Exceptions : constant Name_Id := N + 714;
- Name_Specification_Suffix : constant Name_Id := N + 715;
- Name_Stack : constant Name_Id := N + 716;
- Name_Switches : constant Name_Id := N + 717;
- Name_Symbolic_Link_Supported : constant Name_Id := N + 718;
- Name_Toolchain_Description : constant Name_Id := N + 719;
- Name_Toolchain_Version : constant Name_Id := N + 720;
- Name_Runtime_Library_Dir : constant Name_Id := N + 721;
+ Name_Ada_Roots : constant Name_Id := N + 618;
+ Name_Archive_Builder : constant Name_Id := N + 619;
+ Name_Archive_Indexer : constant Name_Id := N + 620;
+ Name_Archive_Suffix : constant Name_Id := N + 621;
+ Name_Binder : constant Name_Id := N + 622;
+ Name_Binder_Prefix : constant Name_Id := N + 623;
+ Name_Body_Suffix : constant Name_Id := N + 624;
+ Name_Builder : constant Name_Id := N + 625;
+ Name_Builder_Switches : constant Name_Id := N + 626;
+ Name_Compiler : constant Name_Id := N + 627;
+ Name_Compiler_Kind : constant Name_Id := N + 628;
+ Name_Config_Body_File_Name : constant Name_Id := N + 629;
+ Name_Config_Body_File_Name_Pattern : constant Name_Id := N + 630;
+ Name_Config_File_Switches : constant Name_Id := N + 631;
+ Name_Config_File_Unique : constant Name_Id := N + 632;
+ Name_Config_Spec_File_Name : constant Name_Id := N + 633;
+ Name_Config_Spec_File_Name_Pattern : constant Name_Id := N + 634;
+ Name_Cross_Reference : constant Name_Id := N + 635;
+ Name_Default_Language : constant Name_Id := N + 636;
+ Name_Default_Switches : constant Name_Id := N + 637;
+ Name_Dependency_Driver : constant Name_Id := N + 638;
+ Name_Dependency_File_Kind : constant Name_Id := N + 639;
+ Name_Dependency_Switches : constant Name_Id := N + 640;
+ Name_Driver : constant Name_Id := N + 641;
+ Name_Excluded_Source_Dirs : constant Name_Id := N + 642;
+ Name_Excluded_Source_Files : constant Name_Id := N + 643;
+ Name_Exec_Dir : constant Name_Id := N + 644;
+ Name_Executable : constant Name_Id := N + 645;
+ Name_Executable_Suffix : constant Name_Id := N + 646;
+ Name_Extends : constant Name_Id := N + 647;
+ Name_Externally_Built : constant Name_Id := N + 648;
+ Name_Finder : constant Name_Id := N + 649;
+ Name_Global_Configuration_Pragmas : constant Name_Id := N + 650;
+ Name_Global_Config_File : constant Name_Id := N + 651;
+ Name_Gnatls : constant Name_Id := N + 652;
+ Name_Gnatstub : constant Name_Id := N + 653;
+ Name_Implementation : constant Name_Id := N + 654;
+ Name_Implementation_Exceptions : constant Name_Id := N + 655;
+ Name_Implementation_Suffix : constant Name_Id := N + 656;
+ Name_Include_Switches : constant Name_Id := N + 657;
+ Name_Include_Path : constant Name_Id := N + 658;
+ Name_Include_Path_File : constant Name_Id := N + 659;
+ Name_Language_Kind : constant Name_Id := N + 660;
+ Name_Language_Processing : constant Name_Id := N + 661;
+ Name_Languages : constant Name_Id := N + 662;
+ Name_Library_Ali_Dir : constant Name_Id := N + 663;
+ Name_Library_Auto_Init : constant Name_Id := N + 664;
+ Name_Library_Auto_Init_Supported : constant Name_Id := N + 665;
+ Name_Library_Builder : constant Name_Id := N + 666;
+ Name_Library_Dir : constant Name_Id := N + 667;
+ Name_Library_GCC : constant Name_Id := N + 668;
+ Name_Library_Interface : constant Name_Id := N + 669;
+ Name_Library_Kind : constant Name_Id := N + 670;
+ Name_Library_Name : constant Name_Id := N + 671;
+ Name_Library_Major_Minor_Id_Supported : constant Name_Id := N + 672;
+ Name_Library_Options : constant Name_Id := N + 673;
+ Name_Library_Partial_Linker : constant Name_Id := N + 674;
+ Name_Library_Reference_Symbol_File : constant Name_Id := N + 675;
+ Name_Library_Src_Dir : constant Name_Id := N + 676;
+ Name_Library_Support : constant Name_Id := N + 677;
+ Name_Library_Symbol_File : constant Name_Id := N + 678;
+ Name_Library_Symbol_Policy : constant Name_Id := N + 679;
+ Name_Library_Version : constant Name_Id := N + 680;
+ Name_Library_Version_Switches : constant Name_Id := N + 681;
+ Name_Linker : constant Name_Id := N + 682;
+ Name_Linker_Executable_Option : constant Name_Id := N + 683;
+ Name_Linker_Lib_Dir_Option : constant Name_Id := N + 684;
+ Name_Linker_Lib_Name_Option : constant Name_Id := N + 685;
+ Name_Local_Config_File : constant Name_Id := N + 686;
+ Name_Local_Configuration_Pragmas : constant Name_Id := N + 687;
+ Name_Locally_Removed_Files : constant Name_Id := N + 688;
+ Name_Mapping_File_Switches : constant Name_Id := N + 689;
+ Name_Mapping_Spec_Suffix : constant Name_Id := N + 690;
+ Name_Mapping_Body_Suffix : constant Name_Id := N + 691;
+ Name_Metrics : constant Name_Id := N + 692;
+ Name_Naming : constant Name_Id := N + 693;
+ Name_Objects_Path : constant Name_Id := N + 694;
+ Name_Objects_Path_File : constant Name_Id := N + 695;
+ Name_Object_Dir : constant Name_Id := N + 696;
+ Name_Pic_Option : constant Name_Id := N + 697;
+ Name_Pretty_Printer : constant Name_Id := N + 698;
+ Name_Prefix : constant Name_Id := N + 699;
+ Name_Project : constant Name_Id := N + 700;
+ Name_Roots : constant Name_Id := N + 701;
+ Name_Required_Switches : constant Name_Id := N + 702;
+ Name_Run_Path_Option : constant Name_Id := N + 703;
+ Name_Runtime_Project : constant Name_Id := N + 704;
+ Name_Shared_Library_Minimum_Switches : constant Name_Id := N + 705;
+ Name_Shared_Library_Prefix : constant Name_Id := N + 706;
+ Name_Shared_Library_Suffix : constant Name_Id := N + 707;
+ Name_Separate_Suffix : constant Name_Id := N + 708;
+ Name_Source_Dirs : constant Name_Id := N + 709;
+ Name_Source_Files : constant Name_Id := N + 710;
+ Name_Source_List_File : constant Name_Id := N + 711;
+ Name_Spec : constant Name_Id := N + 712;
+ Name_Spec_Suffix : constant Name_Id := N + 713;
+ Name_Specification : constant Name_Id := N + 714;
+ Name_Specification_Exceptions : constant Name_Id := N + 715;
+ Name_Specification_Suffix : constant Name_Id := N + 716;
+ Name_Stack : constant Name_Id := N + 717;
+ Name_Switches : constant Name_Id := N + 718;
+ Name_Symbolic_Link_Supported : constant Name_Id := N + 719;
+ Name_Toolchain_Description : constant Name_Id := N + 720;
+ Name_Toolchain_Version : constant Name_Id := N + 721;
+ Name_Runtime_Library_Dir : constant Name_Id := N + 722;
-- Other miscellaneous names used in front end
- Name_Unaligned_Valid : constant Name_Id := N + 722;
+ Name_Unaligned_Valid : constant Name_Id := N + 723;
-- Ada 2005 reserved words
- First_2005_Reserved_Word : constant Name_Id := N + 723;
- Name_Interface : constant Name_Id := N + 723;
- Name_Overriding : constant Name_Id := N + 724;
- Name_Synchronized : constant Name_Id := N + 725;
- Last_2005_Reserved_Word : constant Name_Id := N + 725;
+ First_2005_Reserved_Word : constant Name_Id := N + 724;
+ Name_Interface : constant Name_Id := N + 724;
+ Name_Overriding : constant Name_Id := N + 725;
+ Name_Synchronized : constant Name_Id := N + 726;
+ Last_2005_Reserved_Word : constant Name_Id := N + 726;
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 + 725;
+ Last_Predefined_Name : constant Name_Id := N + 726;
---------------------------------------
-- Subtypes Defining Name Categories --
Pragma_Unchecked_Union,
Pragma_Unimplemented_Unit,
Pragma_Universal_Aliasing,
+ Pragma_Unmodified,
Pragma_Unreferenced,
Pragma_Unreferenced_Objects,
Pragma_Unreserve_All_Interrupts,
projects / thirdparty / gcc.git / commitdiff
