-- 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
-- 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
-- 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
-- Has_Anonymous_Master Flag253
-- Is_Implementation_Defined Flag254
+ -- (unused) Flag93
+ -- (unused) Flag201
+
-----------------------
-- Local subprograms --
-----------------------
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
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));
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));
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
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));
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));
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));
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));
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));
-- 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
-- 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.
-- 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
-- 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)
-- 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)
-- 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)
-- Finalizer (Node24) (non-generic case only)
-- Delay_Subprogram_Descriptors (Flag50)
-- Has_Anonymous_Master (Flag253)
- -- Has_Subprogram_Descriptor (Flag93)
-- Scope_Depth (synth)
-- E_Private_Type
-- 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)
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;
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;
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;
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);
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);
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);
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);
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);
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);
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);
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);
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);
projects / gcc.git / commitdiff