einfo.adb, einfo.ads: Remove unused entity flags.
2012-03-07 Thomas Quinot <quinot@adacore.com> * einfo.adb, einfo.ads: Remove unused entity flags. From-SVN: r185045
This commit is contained in:
parent
3777b2c07a
commit
cae20ed0a1
|
@ -1,3 +1,7 @@
|
|||
2012-03-07 Thomas Quinot <quinot@adacore.com>
|
||||
|
||||
* einfo.adb, einfo.ads: Remove unused entity flags.
|
||||
|
||||
2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gnat_ugn.texi (Inline Assembler): Fix swapping of Input and
|
||||
|
|
|
@ -348,7 +348,6 @@ package body Einfo is
|
|||
|
||||
-- Is_Itype Flag91
|
||||
-- Size_Known_At_Compile_Time Flag92
|
||||
-- Has_Subprogram_Descriptor Flag93
|
||||
-- Is_Generic_Actual_Type Flag94
|
||||
-- Uses_Sec_Stack Flag95
|
||||
-- Warnings_Off Flag96
|
||||
|
@ -452,7 +451,7 @@ package body Einfo is
|
|||
-- Is_Ada_2005_Only Flag185
|
||||
-- Is_Interface Flag186
|
||||
-- Has_Constrained_Partial_View Flag187
|
||||
-- Has_Persistent_BSS Flag188
|
||||
-- (unassgined) Flag188
|
||||
-- Is_Pure_Unit_Access_Type Flag189
|
||||
-- Has_Specified_Stream_Input Flag190
|
||||
|
||||
|
@ -467,7 +466,6 @@ package body Einfo is
|
|||
-- Is_Ada_2012_Only Flag199
|
||||
|
||||
-- Has_Delayed_Aspects Flag200
|
||||
-- Has_Anon_Block_Suffix Flag201
|
||||
-- Itype_Printed Flag202
|
||||
-- Has_Pragma_Pure Flag203
|
||||
-- Is_Known_Null Flag204
|
||||
|
@ -527,6 +525,9 @@ package body Einfo is
|
|||
-- Has_Anonymous_Master Flag253
|
||||
-- Is_Implementation_Defined Flag254
|
||||
|
||||
-- (unused) Flag93
|
||||
-- (unused) Flag201
|
||||
|
||||
-----------------------
|
||||
-- Local subprograms --
|
||||
-----------------------
|
||||
|
@ -1198,11 +1199,6 @@ package body Einfo is
|
|||
return Flag79 (Id);
|
||||
end Has_All_Calls_Remote;
|
||||
|
||||
function Has_Anon_Block_Suffix (Id : E) return B is
|
||||
begin
|
||||
return Flag201 (Id);
|
||||
end Has_Anon_Block_Suffix;
|
||||
|
||||
function Has_Anonymous_Master (Id : E) return B is
|
||||
begin
|
||||
pragma Assert
|
||||
|
@ -1398,11 +1394,6 @@ package body Einfo is
|
|||
return Flag154 (Id);
|
||||
end Has_Per_Object_Constraint;
|
||||
|
||||
function Has_Persistent_BSS (Id : E) return B is
|
||||
begin
|
||||
return Flag188 (Id);
|
||||
end Has_Persistent_BSS;
|
||||
|
||||
function Has_Postconditions (Id : E) return B is
|
||||
begin
|
||||
pragma Assert (Is_Subprogram (Id));
|
||||
|
@ -1579,11 +1570,6 @@ package body Einfo is
|
|||
return Flag184 (Id);
|
||||
end Has_Stream_Size_Clause;
|
||||
|
||||
function Has_Subprogram_Descriptor (Id : E) return B is
|
||||
begin
|
||||
return Flag93 (Id);
|
||||
end Has_Subprogram_Descriptor;
|
||||
|
||||
function Has_Task (Id : E) return B is
|
||||
begin
|
||||
return Flag30 (Base_Type (Id));
|
||||
|
@ -3707,11 +3693,6 @@ package body Einfo is
|
|||
Set_Flag79 (Id, V);
|
||||
end Set_Has_All_Calls_Remote;
|
||||
|
||||
procedure Set_Has_Anon_Block_Suffix (Id : E; V : B := True) is
|
||||
begin
|
||||
Set_Flag201 (Id, V);
|
||||
end Set_Has_Anon_Block_Suffix;
|
||||
|
||||
procedure Set_Has_Anonymous_Master (Id : E; V : B := True) is
|
||||
begin
|
||||
pragma Assert
|
||||
|
@ -3922,11 +3903,6 @@ package body Einfo is
|
|||
Set_Flag154 (Id, V);
|
||||
end Set_Has_Per_Object_Constraint;
|
||||
|
||||
procedure Set_Has_Persistent_BSS (Id : E; V : B := True) is
|
||||
begin
|
||||
Set_Flag188 (Id, V);
|
||||
end Set_Has_Persistent_BSS;
|
||||
|
||||
procedure Set_Has_Postconditions (Id : E; V : B := True) is
|
||||
begin
|
||||
pragma Assert (Is_Subprogram (Id));
|
||||
|
@ -4107,11 +4083,6 @@ package body Einfo is
|
|||
Set_Flag184 (Id, V);
|
||||
end Set_Has_Stream_Size_Clause;
|
||||
|
||||
procedure Set_Has_Subprogram_Descriptor (Id : E; V : B := True) is
|
||||
begin
|
||||
Set_Flag93 (Id, V);
|
||||
end Set_Has_Subprogram_Descriptor;
|
||||
|
||||
procedure Set_Has_Task (Id : E; V : B := True) is
|
||||
begin
|
||||
pragma Assert (Id = Base_Type (Id));
|
||||
|
@ -7479,7 +7450,6 @@ package body Einfo is
|
|||
W ("Has_Aliased_Components", Flag135 (Id));
|
||||
W ("Has_Alignment_Clause", Flag46 (Id));
|
||||
W ("Has_All_Calls_Remote", Flag79 (Id));
|
||||
W ("Has_Anon_Block_Suffix", Flag201 (Id));
|
||||
W ("Has_Anonymous_Master", Flag253 (Id));
|
||||
W ("Has_Atomic_Components", Flag86 (Id));
|
||||
W ("Has_Biased_Representation", Flag139 (Id));
|
||||
|
@ -7513,7 +7483,6 @@ package body Einfo is
|
|||
W ("Has_Non_Standard_Rep", Flag75 (Id));
|
||||
W ("Has_Object_Size_Clause", Flag172 (Id));
|
||||
W ("Has_Per_Object_Constraint", Flag154 (Id));
|
||||
W ("Has_Persistent_BSS", Flag188 (Id));
|
||||
W ("Has_Postconditions", Flag240 (Id));
|
||||
W ("Has_Pragma_Controlled", Flag27 (Id));
|
||||
W ("Has_Pragma_Elaborate_Body", Flag150 (Id));
|
||||
|
@ -7546,7 +7515,6 @@ package body Einfo is
|
|||
W ("Has_Static_Discriminants", Flag211 (Id));
|
||||
W ("Has_Storage_Size_Clause", Flag23 (Id));
|
||||
W ("Has_Stream_Size_Clause", Flag184 (Id));
|
||||
W ("Has_Subprogram_Descriptor", Flag93 (Id));
|
||||
W ("Has_Task", Flag30 (Id));
|
||||
W ("Has_Thunks", Flag228 (Id));
|
||||
W ("Has_Unchecked_Union", Flag123 (Id));
|
||||
|
|
|
@ -1359,11 +1359,6 @@ package Einfo is
|
|||
-- be RCI entities, so the flag Is_Remote_Call_Interface will always
|
||||
-- be set if this flag is set.
|
||||
|
||||
-- Has_Anon_Block_Suffix (Flag201)
|
||||
-- Present in all entities. Set if the entity is nested within one or
|
||||
-- more anonymous blocks and the Chars field contains a name with an
|
||||
-- anonymous block suffix (see Exp_Dbug for further details).
|
||||
|
||||
-- Has_Anonymous_Master (Flag253)
|
||||
-- Present in units (top-level functions and procedures, library-level
|
||||
-- packages). Set to True if the associated unit contains a heterogeneous
|
||||
|
@ -1638,13 +1633,6 @@ package Einfo is
|
|||
-- 5. N_Range_Constraint - when the range expression uses the
|
||||
-- discriminant of the enclosing type.
|
||||
|
||||
-- Has_Persistent_BSS (Flag188)
|
||||
-- Present in all entities. Set True for entities to which a valid
|
||||
-- pragma Persistent_BSS applies. Note that although the pragma is
|
||||
-- only meaningful for objects, we set it for all entities in a unit
|
||||
-- to which the pragma applies, as well as the unit entity itself, for
|
||||
-- convenience in propagating the flag to contained entities.
|
||||
|
||||
-- Has_Postconditions (Flag240)
|
||||
-- Present in subprogram entities. Set if postconditions are active for
|
||||
-- the procedure, and a _postconditions procedure has been generated.
|
||||
|
@ -1831,13 +1819,6 @@ package Einfo is
|
|||
-- given entity, and also whether it is necessary to check for a stream
|
||||
-- size clause.
|
||||
|
||||
-- Has_Subprogram_Descriptor (Flag93)
|
||||
-- This flag is set on entities for which zero-cost exception subprogram
|
||||
-- descriptors can be generated (subprograms and library level package
|
||||
-- declarations and bodies). It indicates that a subprogram descriptor
|
||||
-- has been generated, and is used to suppress generation of multiple
|
||||
-- descriptors (e.g. when instantiating generic bodies).
|
||||
|
||||
-- Has_Task (Flag30) [base type only]
|
||||
-- Present in all type entities. Set on task types themselves, and also
|
||||
-- (recursively) on any composite type which has a component for which
|
||||
|
@ -4783,14 +4764,12 @@ package Einfo is
|
|||
-- Can_Never_Be_Null (Flag38)
|
||||
-- Checks_May_Be_Suppressed (Flag31)
|
||||
-- Debug_Info_Off (Flag166)
|
||||
-- Has_Anon_Block_Suffix (Flag201)
|
||||
-- Has_Convention_Pragma (Flag119)
|
||||
-- Has_Delayed_Aspects (Flag200)
|
||||
-- Has_Delayed_Freeze (Flag18)
|
||||
-- Has_Fully_Qualified_Name (Flag173)
|
||||
-- Has_Gigi_Rep_Item (Flag82)
|
||||
-- Has_Homonym (Flag56)
|
||||
-- Has_Persistent_BSS (Flag188)
|
||||
-- Has_Pragma_Elaborate_Body (Flag150)
|
||||
-- Has_Pragma_Inline (Flag157)
|
||||
-- Has_Pragma_Inline_Always (Flag230)
|
||||
|
@ -5297,7 +5276,6 @@ package Einfo is
|
|||
-- Has_Nested_Block_With_Handler (Flag101)
|
||||
-- Has_Postconditions (Flag240)
|
||||
-- Has_Recursive_Call (Flag143)
|
||||
-- Has_Subprogram_Descriptor (Flag93)
|
||||
-- Is_Abstract_Subprogram (Flag19) (non-generic case only)
|
||||
-- Is_Called (Flag102) (non-generic case only)
|
||||
-- Is_Constructor (Flag76)
|
||||
|
@ -5487,7 +5465,6 @@ package Einfo is
|
|||
-- Has_Forward_Instantiation (Flag175)
|
||||
-- Has_Master_Entity (Flag21)
|
||||
-- Has_RACW (Flag214) (non-generic case only)
|
||||
-- Has_Subprogram_Descriptor (Flag93)
|
||||
-- In_Package_Body (Flag48)
|
||||
-- In_Use (Flag8)
|
||||
-- Is_Instantiated (Flag126)
|
||||
|
@ -5508,7 +5485,6 @@ package Einfo is
|
|||
-- Finalizer (Node24) (non-generic case only)
|
||||
-- Delay_Subprogram_Descriptors (Flag50)
|
||||
-- Has_Anonymous_Master (Flag253)
|
||||
-- Has_Subprogram_Descriptor (Flag93)
|
||||
-- Scope_Depth (synth)
|
||||
|
||||
-- E_Private_Type
|
||||
|
@ -5566,7 +5542,6 @@ package Einfo is
|
|||
-- Has_Master_Entity (Flag21)
|
||||
-- Has_Nested_Block_With_Handler (Flag101)
|
||||
-- Has_Postconditions (Flag240)
|
||||
-- Has_Subprogram_Descriptor (Flag93)
|
||||
-- Is_Abstract_Subprogram (Flag19) (non-generic case only)
|
||||
-- Is_Asynchronous (Flag81)
|
||||
-- Is_Called (Flag102) (non-generic case only)
|
||||
|
@ -6136,7 +6111,6 @@ package Einfo is
|
|||
function Has_Aliased_Components (Id : E) return B;
|
||||
function Has_Alignment_Clause (Id : E) return B;
|
||||
function Has_All_Calls_Remote (Id : E) return B;
|
||||
function Has_Anon_Block_Suffix (Id : E) return B;
|
||||
function Has_Anonymous_Master (Id : E) return B;
|
||||
function Has_Atomic_Components (Id : E) return B;
|
||||
function Has_Biased_Representation (Id : E) return B;
|
||||
|
@ -6173,7 +6147,6 @@ package Einfo is
|
|||
function Has_Non_Standard_Rep (Id : E) return B;
|
||||
function Has_Object_Size_Clause (Id : E) return B;
|
||||
function Has_Per_Object_Constraint (Id : E) return B;
|
||||
function Has_Persistent_BSS (Id : E) return B;
|
||||
function Has_Postconditions (Id : E) return B;
|
||||
function Has_Pragma_Controlled (Id : E) return B;
|
||||
function Has_Pragma_Elaborate_Body (Id : E) return B;
|
||||
|
@ -6205,7 +6178,6 @@ package Einfo is
|
|||
function Has_Static_Discriminants (Id : E) return B;
|
||||
function Has_Storage_Size_Clause (Id : E) return B;
|
||||
function Has_Stream_Size_Clause (Id : E) return B;
|
||||
function Has_Subprogram_Descriptor (Id : E) return B;
|
||||
function Has_Task (Id : E) return B;
|
||||
function Has_Thunks (Id : E) return B;
|
||||
function Has_Unchecked_Union (Id : E) return B;
|
||||
|
@ -6728,7 +6700,6 @@ package Einfo is
|
|||
procedure Set_Has_Aliased_Components (Id : E; V : B := True);
|
||||
procedure Set_Has_Alignment_Clause (Id : E; V : B := True);
|
||||
procedure Set_Has_All_Calls_Remote (Id : E; V : B := True);
|
||||
procedure Set_Has_Anon_Block_Suffix (Id : E; V : B := True);
|
||||
procedure Set_Has_Anonymous_Master (Id : E; V : B := True);
|
||||
procedure Set_Has_Atomic_Components (Id : E; V : B := True);
|
||||
procedure Set_Has_Biased_Representation (Id : E; V : B := True);
|
||||
|
@ -6764,7 +6735,6 @@ package Einfo is
|
|||
procedure Set_Has_Non_Standard_Rep (Id : E; V : B := True);
|
||||
procedure Set_Has_Object_Size_Clause (Id : E; V : B := True);
|
||||
procedure Set_Has_Per_Object_Constraint (Id : E; V : B := True);
|
||||
procedure Set_Has_Persistent_BSS (Id : E; V : B := True);
|
||||
procedure Set_Has_Postconditions (Id : E; V : B := True);
|
||||
procedure Set_Has_Pragma_Controlled (Id : E; V : B := True);
|
||||
procedure Set_Has_Pragma_Elaborate_Body (Id : E; V : B := True);
|
||||
|
@ -6797,7 +6767,6 @@ package Einfo is
|
|||
procedure Set_Has_Static_Discriminants (Id : E; V : B := True);
|
||||
procedure Set_Has_Storage_Size_Clause (Id : E; V : B := True);
|
||||
procedure Set_Has_Stream_Size_Clause (Id : E; V : B := True);
|
||||
procedure Set_Has_Subprogram_Descriptor (Id : E; V : B := True);
|
||||
procedure Set_Has_Task (Id : E; V : B := True);
|
||||
procedure Set_Has_Thunks (Id : E; V : B := True);
|
||||
procedure Set_Has_Unchecked_Union (Id : E; V : B := True);
|
||||
|
@ -7432,7 +7401,6 @@ package Einfo is
|
|||
pragma Inline (Has_Aliased_Components);
|
||||
pragma Inline (Has_Alignment_Clause);
|
||||
pragma Inline (Has_All_Calls_Remote);
|
||||
pragma Inline (Has_Anon_Block_Suffix);
|
||||
pragma Inline (Has_Anonymous_Master);
|
||||
pragma Inline (Has_Atomic_Components);
|
||||
pragma Inline (Has_Biased_Representation);
|
||||
|
@ -7468,7 +7436,6 @@ package Einfo is
|
|||
pragma Inline (Has_Non_Standard_Rep);
|
||||
pragma Inline (Has_Object_Size_Clause);
|
||||
pragma Inline (Has_Per_Object_Constraint);
|
||||
pragma Inline (Has_Persistent_BSS);
|
||||
pragma Inline (Has_Postconditions);
|
||||
pragma Inline (Has_Pragma_Controlled);
|
||||
pragma Inline (Has_Pragma_Elaborate_Body);
|
||||
|
@ -7501,7 +7468,6 @@ package Einfo is
|
|||
pragma Inline (Has_Static_Discriminants);
|
||||
pragma Inline (Has_Storage_Size_Clause);
|
||||
pragma Inline (Has_Stream_Size_Clause);
|
||||
pragma Inline (Has_Subprogram_Descriptor);
|
||||
pragma Inline (Has_Task);
|
||||
pragma Inline (Has_Thunks);
|
||||
pragma Inline (Has_Unchecked_Union);
|
||||
|
@ -7879,7 +7845,6 @@ package Einfo is
|
|||
pragma Inline (Set_Has_Aliased_Components);
|
||||
pragma Inline (Set_Has_Alignment_Clause);
|
||||
pragma Inline (Set_Has_All_Calls_Remote);
|
||||
pragma Inline (Set_Has_Anon_Block_Suffix);
|
||||
pragma Inline (Set_Has_Anonymous_Master);
|
||||
pragma Inline (Set_Has_Atomic_Components);
|
||||
pragma Inline (Set_Has_Biased_Representation);
|
||||
|
@ -7915,7 +7880,6 @@ package Einfo is
|
|||
pragma Inline (Set_Has_Non_Standard_Rep);
|
||||
pragma Inline (Set_Has_Object_Size_Clause);
|
||||
pragma Inline (Set_Has_Per_Object_Constraint);
|
||||
pragma Inline (Set_Has_Persistent_BSS);
|
||||
pragma Inline (Set_Has_Postconditions);
|
||||
pragma Inline (Set_Has_Pragma_Controlled);
|
||||
pragma Inline (Set_Has_Pragma_Elaborate_Body);
|
||||
|
@ -7948,7 +7912,6 @@ package Einfo is
|
|||
pragma Inline (Set_Has_Static_Discriminants);
|
||||
pragma Inline (Set_Has_Storage_Size_Clause);
|
||||
pragma Inline (Set_Has_Stream_Size_Clause);
|
||||
pragma Inline (Set_Has_Subprogram_Descriptor);
|
||||
pragma Inline (Set_Has_Task);
|
||||
pragma Inline (Set_Has_Thunks);
|
||||
pragma Inline (Set_Has_Unchecked_Union);
|
||||
|
|
Loading…
Reference in New Issue