From cae20ed0a144f220453856a2bd0316fc55bc47dc Mon Sep 17 00:00:00 2001 From: Thomas Quinot Date: Wed, 7 Mar 2012 14:18:23 +0000 Subject: [PATCH] einfo.adb, einfo.ads: Remove unused entity flags. 2012-03-07 Thomas Quinot * einfo.adb, einfo.ads: Remove unused entity flags. From-SVN: r185045 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/einfo.adb | 40 ++++------------------------------------ gcc/ada/einfo.ads | 37 ------------------------------------- 3 files changed, 8 insertions(+), 73 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 228c44280c9..82db6883b37 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2012-03-07 Thomas Quinot + + * einfo.adb, einfo.ads: Remove unused entity flags. + 2012-03-07 Eric Botcazou * gnat_ugn.texi (Inline Assembler): Fix swapping of Input and diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index d5cbc22baec..260e119413d 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -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)); diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 648bf832e4d..d0c8d33da19 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -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);