-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2009, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
--- ware Foundation; either version 2, or (at your option) any later ver- --
+-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
--- for more details. You should have received a copy of the GNU General --
--- Public License distributed with GNAT; see file COPYING. If not, write --
--- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
--- Boston, MA 02110-1301, USA. --
+-- or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
--- As a special exception, if other files instantiate generics from this --
--- unit, or you link this unit with other files to produce an executable, --
--- this unit does not by itself cause the resulting executable to be --
--- covered by the GNU General Public License. This exception does not --
--- however invalidate any other reasons why the executable file might be --
--- covered by the GNU Public License. --
+-- As a special exception under Section 7 of GPL version 3, you are granted --
+-- additional permissions described in the GCC Runtime Library Exception, --
+-- version 3.1, as published by the Free Software Foundation. --
+-- --
+-- You should have received a copy of the GNU General Public License and --
+-- a copy of the GCC Runtime Library Exception along with this program; --
+-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
+-- <http://www.gnu.org/licenses/>. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- attribute on other than the base type, and if assertions are enabled,
-- an attempt to set the attribute on a subtype will raise an assert error.
--- Other attributes are noted as applying the implementation base type only.
--- These are representation attributes which must always apply to a full
--- non-private type, and where the attributes are always on the full type.
--- The attribute can be referenced on a subtype (and automatically retries
--- the value from the implementation base type). However, it is an error
--- to try to set the attribute on other than the implementation base type,
--- and if assertions are enabled, an attempt to set the attribute on a
+-- Other attributes are noted as applying to the [implementation base type
+-- only]. These are representation attributes which must always apply to a
+-- full non-private type, and where the attributes are always on the full
+-- type. The attribute can be referenced on a subtype (and automatically
+-- retries the value from the implementation base type). However, it is an
+-- error to try to set the attribute on other than the implementation base
+-- type, and if assertions are enabled, an attempt to set the attribute on a
-- subtype will raise an assert error.
--- Abstract_Interfaces (Elist25)
--- Present in record types and subtypes. List of abstract interfaces
--- implemented by a tagged type that are not already implemented by the
--- ancestors (Ada 2005: AI-251).
-
--- Abstract_Interface_Alias (Node25)
--- Present in subprograms that cover a primitive operation of an abstract
--- interface type. Can be set only if the Is_Hidden flag is also set,
--- since such entities are always hidden. Points to its associated
--- interface subprogram. It is used to register the subprogram in
--- secondary dispatch table of the interface (Ada 2005: AI-251).
-
-- Accept_Address (Elist21)
-- Present in entries. If an accept has a statement sequence, then an
-- address variable is created, which is used to hold the address of the
-- Access_Disp_Table (Elist16) [implementation base type only]
-- Present in record type entities. For a tagged type, points to the
--- dispatch tables associated with the tagged type; the last entity of
--- this list is an access type declaration used to expand dispatching
--- calls through the primary dispatch table. For a non-tagged record,
--- contains Empty.
+-- dispatch tables associated with the tagged type. The first two
+-- entities correspond with the primary dispatch table: 1) primary
+-- dispatch table with user-defined primitives, 2) primary dispatch table
+-- with predefined primitives. For each interface type covered by the
+-- tagged type we also have: 3) secondary dispatch table with thunks of
+-- primitives covering user-defined interface primitives, 4) secondary
+-- dispatch table with thunks of predefined primitives, 5) secondary
+-- dispatch table with user-defined primitives, and 6) secondary dispatch
+-- table with predefined primitives. The last entity of this list is an
+-- access type declaration used to expand dispatching calls through the
+-- primary dispatch table. For a non-tagged record, contains Empty.
-- Address_Clause (synthesized)
-- Applies to entries, objects and subprograms. Set if an address clause
-- Alias (Node18)
-- Present in overloaded entities (literals, subprograms, entries) and
-- subprograms that cover a primitive operation of an abstract interface
--- (that is, subprograms with the Abstract_Interface_Alias attribute).
--- In case of overloaded entities it points to the parent subprogram of
--- a derived subprogram. In case of abstract interface subprograms it
--- points to the subprogram that covers the abstract interface primitive.
--- Also used for a subprogram renaming, where it points to the renamed
--- subprogram. Always empty for entries.
+-- (that is, subprograms with the Interface_Alias attribute). In case of
+-- overloaded entities it points to the parent subprogram of a derived
+-- subprogram. In case of abstract interface subprograms it points to the
+-- subprogram that covers the abstract interface primitive. Also used for
+-- a subprogram renaming, where it points to the renamed subprogram.
+-- Always empty for entries.
-- Alignment (Uint14)
-- Present in entities for types and also in constants, variables
-- definition clause with an (obsolescent) mod clause is converted
-- into an attribute definition clause for this purpose.
--- Ancestor_Subtype (synthesized)
--- Applies to all type and subtype entities. If the argument is a
--- subtype then it returns the subtype or type from which the subtype
--- was obtained, otherwise it returns Empty.
-
--- Available_View (synthesized)
--- Applies to types that have the With_Type flag set. Returns the
--- non-limited view of the type, if available, otherwise the type
--- itself. For class-wide types, there is no direct link in the tree,
--- so we have to retrieve the class-wide type of the non-limited view
--- of the Etype.
-
-- Associated_Formal_Package (Node12)
-- Present in packages that are the actuals of formal_packages. Points
-- to the entity in the declaration for the formal package.
-- for finalization purposes, The block entity has an implicit label
-- declaration in the enclosing declarative part, and has otherwise
-- no direct connection in the tree with the block statement. The
--- link is to the identifier (which is an occurence of the entity)
+-- link is to the identifier (which is an occurrence of the entity)
-- and not to the block_statement itself, because the statement may
-- be rewritten, e.g. in the process of removing dead code.
-- Checks_May_Be_Suppressed (Flag31)
-- Present in all entities. Set if a pragma Suppress or Unsuppress
-- mentions the entity specifically in the second argument. If this
--- flag is set the the Global_Entity_Suppress and Local_Entity_Suppress
+-- flag is set the Global_Entity_Suppress and Local_Entity_Suppress
-- tables must be consulted to determine if the is actually an active
-- Suppress or Unsuppress pragma that applies to the entity.
-- component clause applies to the component. First bit position of
-- given component, computed from the first bit and position values
-- given in the component clause. A value of No_Uint means that the
--- value is not yet known. The value can be set by the appearence of
+-- value is not yet known. The value can be set by the appearance of
-- an explicit component clause in a record representation clause,
-- or it can be set by the front-end in package Layout, or it can be
-- set by the backend. By the time backend processing is completed,
-- Component_Type (Node20) [implementation base type only]
-- Present in array types and string types. References component type.
--- Constant_Value (synthesized)
--- Applies to variables, constants, named integers, and named reals.
--- Obtains the initialization expression for the entity. Will return
--- Empty for for a deferred constant whose full view is not available
--- or in some other cases of internal entities, which cannot be treated
--- as constants from the point of view of constant folding. Empty is
--- also returned for variables with no initialization expression.
-
-- Corresponding_Concurrent_Type (Node18)
-- Present in record types that are constructed by the expander to
-- represent task and protected types (Is_Concurrent_Record_Type flag
-- created at the same time as the discriminal, and used to replace
-- occurrences of the discriminant within the type declaration.
--- Current_Use_Clause (Node25)
--- Present in packages. Indicates the use clause currently in scope
--- that makes the package use_visible. Used to detect redundant use
--- clauses for the same package.
+-- Current_Use_Clause (Node27)
+-- Present in packages and in types. For packages, denotes the use
+-- package clause currently in scope that makes the package use_visible.
+-- For types, it denotes the use_type clause that makes the operators of
+-- the type visible. Used for more precise warning messages on redundant
+-- use clauses.
-- Current_Value (Node9)
-- Present in all object entities. Set in E_Variable, E_Constant, formal
-- determining if Needs_Debug_Info should be set. The back end should
-- always test Needs_Debug_Info, it should never test Debug_Info_Off.
--- Debug_Renaming_Link (Node13)
--- Used to link the enumeration literal of a debug renaming declaration
+-- Debug_Renaming_Link (Node25)
+-- Used to link the variable associated with a debug renaming declaration
-- to the renamed entity. See Exp_Dbug.Debug_Renaming_Declaration for
-- details of the use of this field.
-- Discriminant_Number (Uint15)
-- Present in discriminants. Gives the ranking of a discriminant in
-- the list of discriminants of the type, i.e. a sequential integer
--- index starting at 1 and ranging up to Number_Discriminants.
+-- index starting at 1 and ranging up to number of discriminants.
+
+-- Dispatch_Table_Wrappers (Elist26) [implementation base type only]
+-- Present in library level record type entities if we are generating
+-- statically allocated dispatch tables. For a tagged type, points to
+-- the list of dispatch table wrappers associated with the tagged type.
+-- For a non-tagged record, contains No_Elist.
-- DTC_Entity (Node16)
-- Present in function and procedure entities. Set to Empty unless
-- Elaboration_Entity (Node13)
-- Present in generic and non-generic package and subprogram
-- entities. This is a boolean entity associated with the unit that
--- is initiallly set to False, and is set True when the unit is
+-- is initially set to False, and is set True when the unit is
-- elaborated. This is used for two purposes. First, it is used to
-- implement required access before elaboration checks (the flag
-- must be true to call a subprogram at elaboration time). Second,
-- code, then if there is no other elaboration code, obviously there
-- is no need to set the flag.
--- Enclosing_Dynamic_Scope (synthesized)
--- Applies to all entities. Returns the closest dynamic scope in which
--- the entity is declared or Standard_Standard for library-level entities
-
-- Enclosing_Scope (Node18)
-- Present in labels. Denotes the innermost enclosing construct that
-- contains the label. Identical to the scope of the label, except for
-- Equivalent_Type (Node18)
-- Present in class wide types and subtypes, access to protected
--- subprogram types, and in exception_types. For a classwide type, it
+-- subprogram types, and in exception types. For a classwide type, it
-- is always Empty. For a class wide subtype, it points to an entity
-- created by the expander which gives Gigi an easily understandable
-- equivalent of the class subtype with a known size (given by an
-- initial value). See Exp_Util.Expand_Class_Wide_Subtype for further
--- details. For E_exception_type, this points to the record containing
+-- details. For E_Exception_Type, this points to the record containing
-- the data necessary to represent exceptions (for further details, see
-- System.Standard_Library. For access_to_protected subprograms, it
-- denotes a record that holds pointers to the operation and to the
-- Extra_Formal (Node15)
-- Present in formal parameters in the non-generic case. Certain
--- parameters require extra implicit information to be passed
--- (e.g. the flag indicating if an unconstrained variant record
--- argument is constrained, and the accessibility level for
--- access parameters. See description of Extra_Constrained,
--- Extra_Accessibility fields for further details. Extra formal
--- parameters are constructed to represent these values, and
--- chained to the end of the list of formals using the
--- Extra_Formal field (i.e. the Extra_Formal field of the last
--- "real" formal points to the first extra formal, and the
--- Extra_Formal field of each extra formal points to the next
--- one, with Empty indicating the end of the list of extra
--- formals.
+-- parameters require extra implicit information to be passed (e.g. the
+-- flag indicating if an unconstrained variant record argument is
+-- constrained, and the accessibility level for access parameters. See
+-- description of Extra_Constrained, Extra_Accessibility fields for
+-- further details. Extra formal parameters are constructed to represent
+-- these values, and chained to the end of the list of formals using the
+-- Extra_Formal field (i.e. the Extra_Formal field of the last "real"
+-- formal points to the first extra formal, and the Extra_Formal field of
+-- each extra formal points to the next one, with Empty indicating the
+-- end of the list of extra formals.
-- Extra_Formals (Node28)
-- Applies to subprograms and subprogram types, and also in entries
-- or entry. Returns Empty if there are no extra formals.
-- Extra_Accessibility (Node13)
--- Present in formal parameters in the non-generic case if
--- expansion is active. Normally Empty, but if a parameter is
--- one for which a dynamic accessibility check is required, then
--- an extra formal of type Natural is created (see description
--- of field Extra_Formal), and the Extra_Accessibility field of
--- the formal parameter points to the entity for this extra
--- formal. Also present in variables when compiling receiving
--- stubs. In this case, a non Empty value means that this
--- variable's accessibility depth has been transmitted by the
--- caller and must be retrieved through the entity designed by
--- this field instead of being computed.
+-- Present in formal parameters in the non-generic case if expansion is
+-- active. Normally Empty, but if a parameter is one for which a dynamic
+-- accessibility check is required, then an extra formal of type
+-- Natural is created (see description of field Extra_Formal), and the
+-- Extra_Accessibility field of the formal parameter points to the entity
+-- for this extra formal. Also present in variables when compiling
+-- receiving stubs. In this case, a non Empty value means that this
+-- variable's accessibility depth has been transmitted by the caller and
+-- must be retrieved through the entity designed by this field instead of
+-- being computed.
-- Extra_Constrained (Node23)
--- Present in formal parameters in the non-generic case if
--- expansion is active. Normally Empty, but if a parameter is
--- one for which a dynamic indication of its constrained status
--- is required, then an extra formal of type Boolean is created
--- (see description of field Extra_Formal), and the
--- Extra_Constrained field of the formal parameter points to the
--- entity for this extra formal. Also present in variables when
--- compiling receiving stubs. In this case, a non empty value
--- means that this variable's constrained status has been
--- transmitted by the caller and must be retrieved through the
--- entity designed by this field instead of being computed.
+-- Present in formal parameters in the non-generic case if expansion is
+-- active. Normally Empty, but if a parameter is one for which a dynamic
+-- indication of its constrained status is required, then an extra formal
+-- of type Boolean is created (see description of field Extra_Formal),
+-- and the Extra_Constrained field of the formal parameter points to the
+-- entity for this extra formal. Also present in variables when compiling
+-- receiving stubs. In this case, a non empty value means that this
+-- variable's constrained status has been transmitted by the caller and
+-- must be retrieved through the entity designed by this field instead of
+-- being computed.
+
+-- Can_Use_Internal_Rep (Flag229) [base type only]
+-- Present in Access_Subprogram_Kind nodes. This flag is set by the
+-- front end and used by the back end. False means that the back end
+-- must represent the type in the same way as Convention-C types (and
+-- other foreign-convention types). On many targets, this means that
+-- the back end will use dynamically generated trampolines for nested
+-- subprograms. True means that the back end can represent the type in
+-- some internal way. On the aforementioned targets, this means that the
+-- back end will not use dynamically generated trampolines. This flag
+-- must be False if Has_Foreign_Convention is True; otherwise, the front
+-- end is free to set the policy.
+--
+-- Setting this False in all cases corresponds to the traditional back
+-- end strategy, where all access-to-subprogram types are represented the
+-- same way, independent of the Convention. See also
+-- Always_Compatible_Rep in Targparm.
+--
+-- Efficiency note: On targets that use dynamically generated
+-- trampolines, False generally favors efficiency of top-level
+-- subprograms, whereas True generally favors efficiency of nested
+-- ones. On other targets, this flag has little or no effect on
+-- efficiency. The front end should take this into account. In
+-- particular, pragma Favor_Top_Level gives a hint that the flag should
+-- be False.
+--
+-- Note: We considered using Convention-C for this purpose, but we need
+-- this separate flag, because Convention-C implies that for
+-- P'[Unrestricted_]Access, P also have convention C. Sometimes we want
+-- to have Can_Use_Internal_Rep False for an access type, but allow P to
+-- have convention Ada.
-- Finalization_Chain_Entity (Node19)
-- Present in scopes that can have finalizable entities (blocks,
-- Similar to First_Component, but discriminants are not skipped, so will
-- find the first discriminant if discriminants are present.
--- First_Discriminant (synthesized)
--- Applies to types with discriminants. The discriminants are the first
--- entities declared in the type, so normally this is equivalent to
--- First_Entity. The exception arises for tagged types, where the tag
--- itself is prepended to the front of the entity chain, so the
--- First_Discriminant function steps past the tag if it is present.
-
-- First_Entity (Node17)
-- Present in all entities which act as scopes to which a list of
-- associated entities is attached (blocks, class subtypes and types,
-- corresponding to the specified parameter.
-- First_Private_Entity (Node16)
--- Present in all entities containing private parts (packages,
--- protected types and subtypes, task types and subtypes). The
--- entities on the entity chain are in order of declaration, so the
--- entries for private entities are at the end of the chain. This
--- field points to the first entity for the private part. It is
--- Empty if there are no entities declared in the private part or
--- if there is no private part.
+-- Present in all entities containing private parts (packages, protected
+-- types and subtypes, task types and subtypes). The entities on the
+-- entity chain are in order of declaration, so the entries for private
+-- entities are at the end of the chain. This field points to the first
+-- entity for the private part. It is Empty if there are no entities
+-- declared in the private part or if there is no private part.
-- First_Rep_Item (Node6)
-- Present in all entities. If non-empty, points to a linked list of
-- kind of rep item on the chain, in which case it is the first one
-- that applies to the entity.
--
+-- Note: pragmas that can apply to more than one overloadable entity,
+-- (Convention, Interface, Inline, Inline_Always, Import, Export,
+-- External) are never present on this chain when they apply to
+-- overloadable entities, since it is impossible for a given pragma
+-- to be on more than one chain at a time.
+--
-- For most representation items, the representation information is
--- reflected in other fields and flags in the entity. For example if
--- a record representation clause is present, the component entities
--- reflect the specified information. However, there are some items
--- that are only reflected in the chain. These include:
+-- reflected in other fields and flags in the entity. For example if a
+-- record representation clause is present, the component entities
+-- reflect the specified information. However, there are some items that
+-- are only reflected in the chain. These include:
--
-- Alignment attribute definition clause
-- Machine_Attribute pragma
-- Note in particular that size clauses are present only for this
-- purpose, and should only be accessed if Has_Size_Clause is set.
--- First_Stored_Discriminant (synthesized)
--- Applies to types with discriminants. Gives the first discriminant
--- stored in the object. In many cases, these are the same as the
--- normal visible discriminants for the type, but in the case of
--- renamed discriminants, this is not always the case.
---
--- For tagged types, and untagged types which are root types or
--- derived types but which do not rename discriminants in their
--- root type, the stored discriminants are the same as the actual
--- discriminants of the type, and hence this function is the same
--- as First_Discriminant.
---
--- For derived non-tagged types that rename discriminants in the root
--- type this is the first of the discriminants that occur in the
--- root type. To be precise, in this case stored discriminants are
--- entities attached to the entity chain of the derived type which
--- are a copy of the discriminants of the root type. Furthermore their
--- Is_Completely_Hidden flag is set since although they are actually
--- stored in the object, they are not in the set of discriminants that
--- is visble in the type.
---
--- For derived untagged types, stored discriminants are the real
--- discriminants from Gigi's standpoint, i.e. those that will be
--- stored in actual objects of the type.
-
--- First_Subtype (synthesized)
--- Applies to all types and subtypes. For types, yields the first
--- subtype of the type. For subtypes, yields the first subtype of
--- the base type of the subtype.
-
--- First_Tag_Component (synthesized)
--- Applies to tagged record types, returns the entity for the first
--- _Tag field in this record.
-
-- Freeze_Node (Node7)
-- Present in all entities. If there is an associated freeze node for
-- the entity, this field references this freeze node. If no freeze
-- For all types other than private and incomplete types, this field
-- always contains Empty. See also Underlying_Type.
--- Function_Returns_With_DSP (Flag169)
--- Present in all subprogram entities, and type entities for access
--- to subprogram values. Set True if the function (or referenced
--- function in the case of an access value) returns with using the
--- DSP (depressed stack pointer) approach. This can only be set
--- True if Targparm.Functions_Return_By_DSP_On_Target is True and
--- the function returns a value of a type whose size is not known
--- at compile time.
---
--- Note: this flag is obsolete, it is always False ???
-
-- Generic_Homonym (Node11)
-- Present in generic packages. The generic homonym is the entity of
-- a renaming declaration inserted in every generic unit. It is used
-- reduce the required size. For example, a type with a range of 1..2
-- takes one bit, using 0 to represent 1 and 1 to represent 2.
--
--- Note that in the object and component cases, the flag is only set
--- if the type is unbiased, but the object specifies a smaller size
--- than the size of the type, forcing biased representation for the
--- object, but the subtype is still an unbiased type.
+-- Note that in the object and component cases, the flag is only set if
+-- the type is unbiased, but the object specifies a smaller size than the
+-- size of the type, forcing biased representation for the object, but
+-- the subtype is still an unbiased type.
-- Has_Completion (Flag26)
-- Present in all entities that require a completion (functions,
-- or Is_Controlled is set for at least one component).
-- Has_Convention_Pragma (Flag119)
--- Present in an entity for which a Convention, Import, or Export
--- pragma has been given. Used to prevent more than one such pragma
--- appearing for a given entity (RM B.1(45)).
+-- Present in all entities. Set true for an entity for which a valid
+-- Convention, Import, or Export pragma has been given. Used to prevent
+-- more than one such pragma appearing for a given entity (RM B.1(45)).
-- Has_Delayed_Freeze (Flag18)
-- Present in all entities. Set to indicate that an explicit freeze
-- linear elaboration of front-end inlining.
-- Has_Fully_Qualified_Name (Flag173)
--- Present in all entities. Set True if the name in the Chars field
--- has been replaced by the fully qualified name, as used for debug
--- output. See Exp_Dbug for a full description of the use of this
--- flag and also the related flag Has_Qualified_Name.
+-- Present in all entities. Set True if the name in the Chars field has
+-- been replaced by the fully qualified name, as used for debug output.
+-- See Exp_Dbug for a full description of the use of this flag and also
+-- the related flag Has_Qualified_Name.
-- Has_Gigi_Rep_Item (Flag82)
--- This flag is set if the rep item chain (referenced by First_Rep_Item
--- and linked through the Next_Rep_Item chain) contains a representation
--- item that needs to be specially processed by Gigi, i.e. one of the
--- following items:
+-- Present in all entities. Set if the rep item chain (referenced by
+-- First_Rep_Item and linked through the Next_Rep_Item chain) contains a
+-- representation item that needs to be specially processed by Gigi, i.e.
+-- one of the following items:
--
-- Machine_Attribute pragma
-- Linker_Alias pragma
-- error exeption is correctly raised in this case at runtime.
-- Has_Up_Level_Access (Flag215)
--- Present in E_Variable and E_Constant entities. Set if the entity is
--- declared in a local procedure p and is accessed in a procedure nested
--- inside p. Only set when VM_Target /= No_VM currently.
+-- Present in E_Variable and E_Constant entities. Set if the entity
+-- is a local variable declared in a subprogram p and is accessed in
+-- a subprogram nested inside p. Currently this flag is only set when
+-- VM_Target /= No_VM, for efficiency, since only the .NET back-end
+-- makes use of it to generate proper code for up-level references.
-- Has_Nested_Block_With_Handler (Flag101)
-- Present in scope entities. Set if there is a nested block within the
-- 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.
+
-- Has_Pragma_Controlled (Flag27) [implementation base type only]
-- Present in access type entities. It is set if a pragma Controlled
-- applies to the access type.
-- pragma Elaborate_Body applies to the compilation unit.
-- Has_Pragma_Inline (Flag157)
--- Present in all entities. Set for functions and procedures for which
--- a pragma Inline or Inline_Always applies to the subprogram. Note
--- that this flag can be set even if Is_Inlined is not set. This
--- happens for pragma Inline (if Inline_Active is False). In other
--- words, the flag Has_Pragma_Inline represents the formal semantic
--- status, and is used for checking semantic correctness.
--- The flag Is_Inlined indicates whether inlining is actually active
--- for the entity.
+-- Present in all entities. Set for functions and procedures for which a
+-- pragma Inline or Inline_Always applies to the subprogram. Note that
+-- this flag can be set even if Is_Inlined is not set. This happens for
+-- pragma Inline (if Inline_Active is False). In other words, the flag
+-- Has_Pragma_Inline represents the formal semantic status, and is used
+-- for checking semantic correctness. The flag Is_Inlined indicates
+-- whether inlining is actually active for the entity.
+
+-- Has_Pragma_Inline_Always (Flag230)
+-- Present in all entities. Set for functions and procedures for which a
+-- pragma Inline_Always applies. Note that if this flag is set, the flag
+-- Has_Pragma_Inline is also set.
-- Has_Pragma_Pack (Flag121) [implementation base type only]
-- Present in all entities. If set, indicates that a valid pragma Pack
--- was was given for the type. Note that this flag is not inherited by
+-- was given for the type. Note that this flag is not inherited by
-- derived type. See also the Is_Packed flag.
-- Has_Pragma_Pure (Flag203)
-- Pure_Function was given for the entity. In some cases, we need to
-- know that Is_Pure was explicitly set using this pragma.
+-- Has_Pragma_Thread_Local_Storage (Flag169)
+-- Present in all entities. If set, indicates that a valid pragma
+-- Thread_Local_Storage was given for the entity.
+
+-- Has_Pragma_Unmodified (Flag233)
+-- Present in all entities. Can only be set for variables (E_Variable,
+-- E_Out_Parameter, E_In_Out_Parameter). Set if a valid pragma Unmodified
+-- applies to the variable, indicating that no warning should be given
+-- if the entity is never modified. Note that clients should generally
+-- not test this flag directly, but instead use function Has_Unmodified.
+
-- Has_Pragma_Unreferenced (Flag180)
-- Present in all entities. Set if a valid pragma Unreferenced applies
--- to the pragma, indicating that no warning should be given if the
+-- to the entity, indicating that no warning should be given if the
-- entity has no references, but a warning should be given if it is
-- in fact referenced. For private types, this flag is set in both the
--- private entity and full entity if the pragma applies to either.
+-- private entity and full entity if the pragma applies to either. Note
+-- that clients should generally not test this flag directly, but instead
+-- use function Has_Unreferenced.
-- Has_Pragma_Unreferenced_Objects (Flag212)
-- Present in type and subtype entities. Set if a valid pragma
-- (but unlike the case with pragma Unreferenced, it is ok to reference
-- such an object and no warning is generated.
--- Known_To_Have_Preelab_Init (Flag207)
--- Present in all type and subtype entities. If set, then the type is
--- known to have preelaborable initialization. In the case of a partial
--- view of a private type, it is only possible for this to be set if a
--- pragma Preelaborable_Initialization is given for the type. For other
--- types, it is never set if the type does not have preelaborable
--- initialization, it may or may not be set if the type does have
--- preelaborable initialization.
-
-- Has_Primitive_Operations (Flag120) [base type only]
-- Present in all type entities. Set if at least one primitive operation
-- is defined for the type.
-- storage size clause cannot be given to a derived type.
-- Has_Stream_Size_Clause (Flag184)
--- This flag is present in all entities. It is set for types which have a
--- Stream_Size clause attribute. Used to prevent multiple Stream_Size
--- clauses for a given entity, and also whether it is necessary to check
--- for a stream size clause.
+-- Present in all entities. It is set for types which have a Stream_Size
+-- clause attribute. Used to prevent multiple Stream_Size clauses for a
+-- 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
-- such an object must create the required tasks. Note: the flag is not
-- set on access types, even if they designate an object that Has_Task.
+-- Has_Thunks (Flag228)
+-- Applies to E_Constant entities marked Is_Tag. True for secondary tag
+-- referencing a dispatch table whose contents are pointers to thunks.
+
-- Has_Unchecked_Union (Flag123) [base type only]
-- Present in all type entities. Set on unchecked unions themselves
-- and (recursively) on any composite type which has a component for
-- the flag Has_Unchecked_Union set.
-- Has_Unknown_Discriminants (Flag72)
--- Present in all type entities. Types can have unknown discriminants
--- either from their declaration or through type derivation. The use
--- of this flag exactly meets the spec in RM 3.7(26). Note that all
--- class-wide types are considered to have unknown discriminants.
--- Note that both Has_Discriminants and Has_Unknown_Discriminants may
--- be true for a type. Class-wide types and their subtypes have
--- unknown discriminants and can have declared ones as well. Private
--- types declared with unknown discriminants may have a full view that
--- has explicit discriminants, and both flag will be set on the partial
--- view, to insure that discriminants are properly inherited in certain
--- contexts.
+-- Present in all entities. Set for types with unknown discriminants.
+-- Types can have unknown discriminants either from their declaration or
+-- through type derivation. The use of this flag exactly meets the spec
+-- in RM 3.7(26). Note that all class-wide types are considered to have
+-- unknown discriminants. Note that both Has_Discriminants and
+-- Has_Unknown_Discriminants may be true for a type. Class-wide types and
+-- their subtypes have unknown discriminants and can have declared ones
+-- as well. Private types declared with unknown discriminants may have a
+-- full view that has explicit discriminants, and both flag will be set
+-- on the partial view, to insure that discriminants are properly
+-- inherited in certain contexts.
-- Has_Volatile_Components (Flag87) [implementation base type only]
--- Present in all types and objects. Set only for an array type or
--- array object if a valid pragma Volatile_Components or a valid
--- pragma Atomic_Components applies to the type or object. Note that
--- in the case of an object, this flag is only set on the object if
--- there was an explicit pragma for the object. In other words, the
--- proper test for whether an object has volatile components is to
--- see if either the object or its base type has this flag set. Note
--- that in the case of a type the pragma will be chained to the rep
--- item chain of the first subtype in the usual manner.
+-- Present in all types and objects. Set only for an array type or array
+-- object if a valid pragma Volatile_Components or a valid pragma
+-- Atomic_Components applies to the type or object. Note that in the case
+-- of an object, this flag is only set on the object if there was an
+-- explicit pragma for the object. In other words, the proper test for
+-- whether an object has volatile components is to see if either the
+-- object or its base type has this flag set. Note that in the case of a
+-- type the pragma will be chained to the rep item chain of the first
+-- subtype in the usual manner.
-- Has_Xref_Entry (Flag182)
--- This flag is set if an entity has an entry in the Xref information
--- generated in ali files. This is true for all source entities in the
--- extended main source file. It is also true of entities in other
--- packages that are referenced directly or indirectly from the main
--- source file (indirect reference occurs when the main source file
--- references an entity with a type reference. See package Lib.Xref
--- for further details).
+-- Present in all entities. Set if an entity has an entry in the Xref
+-- information generated in ali files. This is true for all source
+-- entities in the extended main source file. It is also true of entities
+-- in other packages that are referenced directly or indirectly from the
+-- main source file (indirect reference occurs when the main source file
+-- references an entity with a type reference. See package Lib.Xref for
+-- further details).
-- Hiding_Loop_Variable (Node8)
-- Present in variables. Set only if a variable of a discrete type is
-- resolution and for the generation of debugging information.
-- Implementation_Base_Type (synthesized)
--- Applies to all types. Similar to Base_Type, but never returns a
--- private type when applied to a non-private type. Instead in this case,
--- it always returns the Underlying_Type of the base type, so that we
--- still have a concrete type. Note: it is allowed to apply
--- Implementation_Base_Type to other than a type, in which case it simply
+-- Applies to all entities. For types, similar to Base_Type, but never
+-- returns a private type when applied to a non-private type. Instead in
+-- this case, it always returns the Underlying_Type of the base type, so
+-- that we still have a concrete type. For entities other than types,
-- returns the entity unchanged.
+-- Implemented_By_Entry (Flag232)
+-- Applies to functions and procedures. Set if pragma Implemented_By_
+-- Entry is applied on the subprogram entity.
+
+-- Interfaces (Elist25)
+-- Present in record types and subtypes. List of abstract interfaces
+-- implemented by a tagged type that are not already implemented by the
+-- ancestors (Ada 2005: AI-251).
+
+-- Interface_Alias (Node25)
+-- Present in subprograms that cover a primitive operation of an abstract
+-- interface type. Can be set only if the Is_Hidden flag is also set,
+-- since such entities are always hidden. Points to its associated
+-- interface subprogram. It is used to register the subprogram in
+-- secondary dispatch table of the interface (Ada 2005: AI-251).
+
-- In_Package_Body (Flag48)
--- Set on the entity that denotes the package (the defining occurrence
--- of the package declaration) while analyzing and expanding the package
--- body. Reset on completion of analysis/expansion.
+-- Present in package entities. Set on the entity that denotes the
+-- package (the defining occurrence of the package declaration) while
+-- analyzing and expanding the package body. Reset on completion of
+-- analysis/expansion.
-- In_Private_Part (Flag45)
-- Present in all entities. Can be set only in package entities and
-- is present (since it is meaningless in this case).
--
-- An additional special case usage of this field is in JGNAT for
--- E_Component and E_Discriminant. JGNAT allows these entities to
--- be imported by specifying pragma Import within a component's
--- containing record definition. This supports interfacing to
--- object fields defined within Java classes, and such pragmas
--- are generated by the jvm2ada binding generator tool whenever
--- it processes classes with public object fields. A pragma Import
--- for a component can define the External_Name of the imported
--- Java field (which is generally needed, because Java names are
--- case sensitive).
+-- E_Component and E_Discriminant. JGNAT allows these entities to be
+-- imported by specifying pragma Import within a component's containing
+-- record definition. This supports interfacing to object fields defined
+-- within Java classes, and such pragmas are generated by the jvm2ada
+-- binding generator tool whenever it processes classes with public
+-- object fields. A pragma Import for a component can define the
+-- External_Name of the imported Java field (which is generally needed,
+-- because Java names are case sensitive).
--
-- In_Use (Flag8)
-- Present in packages and types. Set when analyzing a use clause for
-- Is_Abstract_Type (Flag146)
-- Present in all types. Set for abstract types.
--- Is_Local_Anonymous_Access (Flag194)
--- Present in access types. Set for an anonymous access type to indicate
--- that the type is created for a record component with an access
--- definition, an array component, or a stand-alone object. Such
--- anonymous types have an accessibility level equal to that of the
--- declaration in which they appear, unlike the anonymous access types
--- that are created for access parameters and access discriminants.
-
-- Is_Access_Constant (Flag69)
-- Present in access types and subtypes. Indicates that the keyword
-- constant was present in the access type definition.
-- Applies to all entities, true for access types and subtypes
-- Is_Ada_2005_Only (Flag185)
--- Applies to all entities, true if a valid pragma Ada_05 applies to the
+-- Present in all entities, true if a valid pragma Ada_05 applies to the
-- entity which specifically names the entity, indicating that the entity
-- is Ada 2005 only. Note that this flag is not set if the entity is part
-- of a unit compiled with the normal no-argument form of pragma Ada_05.
-- Present in objects whose declarations carry the keyword aliased,
-- and on record components that have the keyword.
--- Is_Always_Inlined (synthesized)
--- Present in subprograms. True if there is a pragma Inline_Always for
--- the subprogram.
-
-- Is_AST_Entry (Flag132)
-- Present in entry entities. Set if a valid pragma AST_Entry applies
-- to the entry. This flag can only be set in OpenVMS versions of GNAT.
-- if a pragma Asynchronous applies to the entity.
-- Is_Bit_Packed_Array (Flag122) [implementation base type only]
--- Present in all entities. This flag is set for a packed array
--- type that is bit packed (i.e. the component size is known by the
--- front end and is in the range 1-7, 9-15, 17-31, or 33-63). Is_Packed
--- is always set if Is_Bit_Packed_Array is set, but it is possible for
--- Is_Packed to be set without Is_Bit_Packed_Array for the case of an
--- array having one or more index types that are enumeration types
--- with non-standard enumeration representations.
+-- Present in all entities. This flag is set for a packed array type that
+-- is bit packed (i.e. the component size is known by the front end and
+-- is in the range 1-7, 9-15, 17-31, or 33-63). Is_Packed is always set
+-- if Is_Bit_Packed_Array is set, but it is possible for Is_Packed to be
+-- set without Is_Bit_Packed_Array for the case of an array having one or
+-- more index types that are enumeration types with non-standard
+-- enumeration representations.
-- Is_Boolean_Type (synthesized)
-- Applies to all entities, true for boolean types and subtypes,
-- i.e. Standard.Boolean and all types ultimately derived from it.
--- Is_By_Copy_Type (synthesized)
--- Applies to all type entities. Returns true if the entity is
--- a by copy type (RM 6.2(3)).
-
--- Is_By_Reference_Type (synthesized)
--- Applies to all type entities. True if the type is required to
--- be passed by reference, as defined in (RM 6.2(4-9)).
-
-- Is_Called (Flag102)
-- Present in subprograms. Returns true if the subprogram is called
-- in the unit being compiled or in a unit in the context. Used for
-- inlining.
-- Is_Character_Type (Flag63)
--- Present in all entities, true for character types and subtypes,
+-- Present in all entities. Set for character types and subtypes,
-- i.e. enumeration types that have at least one character literal.
-- Is_Child_Unit (Flag73)
-- parent, we do not consider them to be separate units for this flag).
-- Is_Completely_Hidden (Flag103)
--- A flag set on an E_Discriminant entity. This flag can be set only
--- for girder discriminants of untagged types. When set, the entity
--- is a girder discriminant of a derived untagged type which is not
--- directly visible in the derived type because the derived type or
--- one of its ancestors have renamed the discriminants in the root
--- type. Note that there are girder discriminants which are not
--- Completely_Hidden (e.g. the discriminants of a root type).
+-- Present in all entities. This flag can be set only for E_Discriminant
+-- entities. This flag can be set only for girder discriminants of
+-- untagged types. When set, the entity is a girder discriminant of a
+-- derived untagged type which is not directly visible in the derived
+-- type because the derived type or one of its ancestors have renamed the
+-- discriminants in the root type. Note: there are girder discriminants
+-- which are not Completely_Hidden (e.g. discriminants of a root type).
-- Is_Composite_Type (synthesized)
-- Applies to all entities, true for all composite types and
-- for further details.
-- Is_Concurrent_Type (synthesized)
--- Applies to all entities, true for task types and subtypes and
--- for protected types and subtypes.
+-- Applies to all entities, true for task types and subtypes and for
+-- protected types and subtypes.
+
+-- Is_Constant_Object (synthesized)
+-- Applies to all entities, true for E_Constant, E_Loop_Parameter, and
+-- E_In_Parameter entities.
-- Is_Constrained (Flag12)
-- Present in types or subtypes which may have index, discriminant
-- that the constructed subtype itself will be constrained.
-- Is_Constr_Subt_For_UN_Aliased (Flag141)
--- This flag can only be set if Is_Constr_Subt_For_U_Nominal is set. It
--- indicates that in addition the object concerned is aliased. This flag
--- is used by Gigi to determine whether a template must be constructed.
+-- Present in all types and subtypes. This flag can be set only if
+-- Is_Constr_Subt_For_U_Nominal is also set. It indicates that in
+-- addition the object concerned is aliased. This flag is used by
+-- Gigi to determine whether a template must be constructed.
-- Is_Constructor (Flag76)
-- Present in function and procedure entities. Set if a pragma
-- Ada.Finalization.Limited_Controlled.
-- Is_Controlling_Formal (Flag97)
--- Present in all Formal_Kind entity. Marks the controlling parameters
+-- Present in all Formal_Kind entities. Marks the controlling parameters
-- of dispatching operations.
-- Is_CPP_Class (Flag74)
-- Applies to all type entities, true for decimal fixed point
-- types and subtypes.
--- Is_Derived_Type (synthesized)
--- Applies to all entities. Determine if given entity is a derived type.
--- Always false if argument is not a type.
+-- Is_Descendent_Of_Address (Flag223)
+-- Present in all type and subtype entities. Indicates that a type is an
+-- address type that is visibly a numeric type. Used for semantic checks
+-- on VMS to remove ambiguities in universal integer expressions that may
+-- have an address interpretation
-- Is_Discrete_Type (synthesized)
-- Applies to all entities, true for all discrete types and subtypes
-- and all fixed-point types and subtypes.
-- Is_Discrim_SO_Function (Flag176)
--- Present in all entities, set only in E_Function entities that Layout
+-- Present in all entities. Set only in E_Function entities that Layout
-- creates to compute discriminant-dependent dynamic size/offset values.
+-- Is_Discriminal (synthesized)
+-- Applies to all entities, true for renamings of discriminants. Such
+-- entities appear as constants or in parameters.
+
+-- Is_Dispatch_Table_Entity (Flag234)
+-- Applies to all entities. Set to indicate to the backend that this
+-- entity is associated with a dispatch table.
+
-- Is_Dispatching_Operation (Flag6)
-- Present in all entities. Set true for procedures, functions,
-- generic procedures and generic functions if the corresponding
-- Applies to all entities, true for generic IN and IN OUT parameters
-- Is_Formal_Subprogram (Flag111)
--- Defined on all entities, true for generic formal subprograms.
+-- Present in all entities. Set for generic formal subprograms.
-- Is_For_Access_Subtype (Flag118)
--- Present in E_Private_Subtype and E_Record_Subtype entities.
--- Means the sole purpose of the type is to be designated by an
--- Access_Subtype and hence should not be expanded into components
--- because the type may not have been found or frozen yet.
+-- Present in E_Private_Subtype and E_Record_Subtype entities. Means the
+-- sole purpose of the type is to be designated by an Access_Subtype and
+-- hence should not be expanded into components because the type may not
+-- have been found or frozen yet.
-- Is_Frozen (Flag4)
--- Present in all type entities. Set if the type has been frozen.
+-- Present in all type and subtype entities. Set if type or subtype has
+-- been frozen.
-- Is_Generic_Actual_Type (Flag94)
--- Present in the subtype declaration that renames the generic formal
--- as a subtype of the actual. Guarantees that the subtype is not static
--- within the instance.
+-- Present in all type and subtype entities. Set in the subtype
+-- declaration that renames the generic formal as a subtype of the
+-- actual. Guarantees that the subtype is not static within the instance.
-- Is_Generic_Instance (Flag130)
-- Present in all entities. Set to indicate that the entity is an
-- Is_Incomplete_Type (synthesized)
-- Applies to all entities, true for incomplete types and subtypes
--- Is_Indefinite_Subtype (synthesized)
--- Applies to all entities for types and subtypes. Determines if given
--- entity is an unconstrained array type or subtype, a discriminated
--- record type or subtype with no initial discriminant values or a
--- class wide type or subtype.
-
-- Is_Inlined (Flag11)
-- Present in all entities. Set for functions and procedures which are
-- to be inlined. For subprograms created during expansion, this flag
-- Applies to all entities, true for integer types and subtypes
-- Is_Interface (Flag186)
--- Present in record types and subtypes to indicate that the current
+-- Present in record types and subtypes. Set to indicate that the current
-- entity corresponds with an abstract interface. Because abstract
-- interfaces are conceptually a special kind of abstract tagged types
-- we represent them by means of tagged record types and subtypes
-- Is_Internal (Flag17)
-- Present in all entities. Set to indicate an entity created during
-- semantic processing (e.g. an implicit type, or a temporary). The
--- current uses of this flag are: 1) to indicate that temporaries
--- generated for the result of an inlined function call need not be
--- initialized, even when scalars are initialized or normalized, and
--- 2) to indicate object declarations generated by the expander that are
--- implicitly imported or exported, so that they can be appropriately
--- marked in Sprint output.
-
+-- current uses of this flag are:
+--
+-- 1) Internal entities (such as temporaries generated for the result
+-- of an inlined function call or dummy variables generated for the
+-- debugger). Set to indicate that they need not be initialized, even
+-- when scalars are initialized or normalized;
+--
+-- 2) Predefined primitives of tagged types. Set to mark that they
+-- have specific properties: first they are primitives even if they
+-- are not defined in the type scope (the freezing point is not
+-- necessarily in the same scope), and second the predefined equality
+-- can be overridden by a user-defined equality, no body will be
+-- generated in this case.
+--
+-- 3) Object declarations generated by the expander that are implicitly
+-- imported or exported so that they can be marked in Sprint output.
+--
+-- 4) Internal entities in the list of primitives of tagged types that
+-- are used to handle secondary dispatch tables. These entities have
+-- also the attribute Interface_Alias.
+--
-- Is_Interrupt_Handler (Flag89)
-- Present in procedures. Set if a pragma Interrupt_Handler applies
-- to the procedure. The procedure must be parameterless, and on all
-- to intrinsic, which causes intrinsic code to be generated.
-- Is_Itype (Flag91)
--- Present in all entities, set for Itypes. If it is set, then the
--- declaration for the type does not appear explicitly in the tree.
--- Instead gigi will elaborate the type when it is first used.
--- Has_Delayed_Freeze can be set for Itypes, and the meaning is that
--- the first use (the one which causes the type to be defined) will
--- be the freeze node. Note that an important restriction on Itypes
--- is that the first use of such a type (the one that causes it to be
--- defined) must be in the same scope as the type.
+-- Present in all entities. Set to indicate that a type is an Itype,
+-- which means that the declaration for the type does not appear
+-- explicitly in the tree. Instead gigi will elaborate the type when it
+-- is first used. Has_Delayed_Freeze can be set for Itypes, and the
+-- meaning is that the first use (the one which causes the type to be
+-- defined) will be the freeze node. Note that an important restriction
+-- on Itypes is that the first use of such a type (the one that causes it
+-- to be defined) must be in the same scope as the type.
-- Is_Known_Non_Null (Flag37)
-- Present in all entities. Relevant (and can be set True) only for
-- The purpose of this flag is to implement the requirement stated
-- in (RM 13.9.1(9-11)) which require that the use of possibly invalid
-- values may not cause programs to become erroneous. See the function
--- Exp_Util.Expr_Known_Valid for further details. Note that the setting
+-- Checks.Expr_Known_Valid for further details. Note that the setting
-- is conservative, in the sense that if the flag is set, it must be
-- right. If the flag is not set, nothing is known about the validity.
--
-- Thus this flag has no meaning to the back end.
-- Is_Limited_Composite (Flag106)
--- Present in all entities. True for composite types that have a
+-- Present in all entities. Set for composite types that have a
-- limited component. Used to enforce the rule that operations on
-- the composite type that depend on the full view of the component
-- do not become visible until the immediate scope of the composite
-- record is declared to be limited. Note that this flag is not set
-- simply because some components of the record are limited.
--- Is_Limited_Type (synthesized)
--- Applies to all entities. True if entity is a limited type (limited
--- private type, limited interface type, task type, protected type,
--- composite containing a limited component, or a subtype of any of
--- these types).
+-- Is_Local_Anonymous_Access (Flag194)
+-- Present in access types. Set for an anonymous access type to indicate
+-- that the type is created for a record component with an access
+-- definition, an array component, or a stand-alone object. Such
+-- anonymous types have an accessibility level equal to that of the
+-- declaration in which they appear, unlike the anonymous access types
+-- that are created for access parameters and access discriminants.
-- Is_Machine_Code_Subprogram (Flag137)
-- Present in subprogram entities. Set to indicate that the subprogram
-- Applies to all entities. True if entity is a modular integer type
-- Is_Non_Static_Subtype (Flag109)
--- This flag is present in all type and subtype entities. It is set in
--- some (but not all) cases in which a subtype is known to be non-static.
--- Before this flag was added, the computation of whether a subtype was
--- static was entirely synthesized, by looking at the bounds, and the
--- immediate subtype parent. However, this method does not work for some
--- Itypes that have no parent set (and the only way to find the immediate
+-- Present in all type and subtype entities. It is set in some (but not
+-- all) cases in which a subtype is known to be non-static. Before this
+-- flag was added, the computation of whether a subtype was static was
+-- entirely synthesized, by looking at the bounds, and the immediate
+-- subtype parent. However, this method does not work for some Itypes
+-- that have no parent set (and the only way to find the immediate
-- subtype parent is to go through the tree). For now, this flay is set
-- conservatively, i.e. if it is set then for sure the subtype is non-
-- static, but if it is not set, then the type may or may not be static.
--- Thus the test for a static subtype is that this flag is clear AND
--- that the bounds are static AND that the parent subtype (if available
--- to be tested) is static. Eventually we should make sure this flag
--- is always set right, at which point, these comments can be removed,
--- and the tests for static subtypes greatly simplified.
+-- Thus the test for a static subtype is that this flag is clear AND that
+-- the bounds are static AND that the parent subtype (if available to be
+-- tested) is static. Eventually we should make sure this flag is always
+-- set right, at which point, these comments can be removed, and the
+-- tests for static subtypes greatly simplified.
-- Is_Null_Init_Proc (Flag178)
-- Present in procedure entities. Set for generated init proc procedures
-- Present in all entities. Set for any entity for which a valid pragma
-- Obsolescent applies.
+-- Is_Only_Out_Parameter (Flag226)
+-- Present in formal parameter entities. Set if this parameter is the
+-- only OUT parameter for this formal part. If there is more than one
+-- out parameter, or if there is some other IN OUT parameter then this
+-- flag is not set in any of them. Used in generation of warnings.
+
-- Is_Optional_Parameter (Flag134)
-- Present in parameter entities. Set if the parameter is specified as
-- optional by use of a First_Optional_Parameter argument to one of the
-- extended Import pragmas. Can only be set for OpenVMS versions of GNAT.
-- Is_Ordinary_Fixed_Point_Type (synthesized)
--- Applies to all entities, true for ordinary fixed point types
--- and subtypes
+-- Applies to all entities, true for ordinary fixed point types and
+-- subtypes.
-- Is_Overriding_Operation (Flag39)
-- Present in subprograms. Set if the subprogram is a primitive
-- Is_Primitive (Flag218)
-- Present in overloadable entities and in generic subprograms. Set to
--- indicate that this is a primitive operation of some type, which may be
--- a tagged type or a non-tagged type. Used to verify overriding
+-- indicate that this is a primitive operation of some type, which may
+-- be a tagged type or a non-tagged type. Used to verify overriding
-- indicators in bodies.
-- Is_Primitive_Wrapper (Flag195)
--- Present in E_Procedures. Primitive wrappers are Expander-generated
--- procedures that wrap entries of protected or task types implementing
--- a limited interface.
+-- Present in functions and procedures created by the expander to serve
+-- as an indirection mechanism to overriding primitives of concurrent
+-- types, entries and protected procedures.
+
+-- Is_Prival (synthesized)
+-- Applies to all entities, true for renamings of private protected
+-- components. Such entities appear as constants or variables.
-- Is_Private_Composite (Flag107)
-- Present in composite types that have a private component. Used to
-- functions, procedures). Set if the library unit is itself a private
-- child unit, or if it is the descendent of a private child unit.
+-- Is_Private_Primitive (Flag245)
+-- Present in subprograms. Set if the first parameter of the subprogram
+-- is of concurrent tagged type with a private view.
+
-- Is_Private_Type (synthesized)
-- Applies to all entities, true for private types and subtypes,
-- as well as for record with private types as subtypes
+-- Is_Protected_Component (synthesized)
+-- Applicable to all entities, true if the entity denotes a private
+-- component of a protected type.
+
-- Is_Protected_Interface (Flag198)
-- Present in types that are interfaces. True if interface is declared
-- protected, or is derived from protected interfaces.
-- example in the case of a variable name, then Gigi will generate an
-- appropriate external name for use by the linker.
--- Is_Protected_Private (synthesized)
--- Applies to a record component. Returns true if this component
--- is used to represent a private declaration of a protected type.
-
-- Is_Protected_Record_Type (synthesized)
-- Applies to all entities, true if Is_Concurrent_Record_Type
-- Corresponding_Concurrent_Type is a protected type.
-- subtype appears in a pure unit. Used to give an error message at
-- freeze time if the access type has a storage pool.
+-- Is_RACW_Stub_Type (Flag244)
+-- Present in all types, true for the stub types generated for remote
+-- access-to-class-wide types.
+
+-- Is_Raised (Flag224)
+-- Present in exception entities. Set if the entity is referenced by a
+-- a raise statement.
+
-- Is_Real_Type (synthesized)
-- Applies to all entities, true for real types and subtypes
-- includes class-wide types and subtypes (which are also records)
-- Is_Remote_Call_Interface (Flag62)
--- Present in all entities, set in E_Package and E_Generic_Package
--- entities to which a pragma Remote_Call_Interace is applied, and
--- also in all entities within such packages.
+-- Present in all entities. Set in E_Package and E_Generic_Package
+-- entities to which a pragma Remote_Call_Interface is applied, and
+-- also on entities declared in the visible part of such a package.
-- Is_Remote_Types (Flag61)
--- Present in all entities, set in E_Package and E_Generic_Package
--- entities to which a pragma Remote_Types is applied, and also in
--- all entities within such packages.
+-- Present in all entities. Set in E_Package and E_Generic_Package
+-- entities to which a pragma Remote_Types is applied, and also on
+-- entities declared in the visible part of the spec of such a package.
-- Is_Renaming_Of_Object (Flag112)
-- Present in all entities, set only for a variable or constant for
-- renaming is handled by the front end, by macro substitution of
-- a copy of the (evaluated) name tree whereever the variable is used.
--- Is_Inherently_Limited_Type (synthesized)
--- Applies to all type entities. True if the type is "inherently"
--- limited (i.e. cannot become nonlimited). From the Ada 2005
--- RM-7.5(8.1/2), "a type with a part that is of a task, protected, or
--- explicitly limited record type". These are the types that are defined
--- as return-by-reference types in Ada 95 (see RM95-6.5(11-16)). In Ada
--- 2005, these are the types that require build-in-place for function
--- calls. Note that build-in-place is allowed for other types, too.
-
-- Is_Return_Object (Flag209)
--- Applies to all object entities. True if the object is the return
+-- Present in all object entities. True if the object is the return
-- object of an extended_return_statement; False otherwise.
-- Is_Scalar_Type (synthesized)
-- Applies to all entities, true for scalar types and subtypes
-- Is_Shared_Passive (Flag60)
--- Present in all entities, set in E_Package and E_Generic_Package
+-- Present in all entities. Set in E_Package and E_Generic_Package
-- entities to which a pragma Shared_Passive is applied, and also in
-- all entities within such packages.
+-- Is_Standard_Character_Type (synthesized)
+-- Applies to all entities, true for types and subtypes whose root type
+-- is one of the standard character types (Character, Wide_Character,
+-- Wide_Wide_Character).
+
-- Is_Statically_Allocated (Flag28)
-- Present in all entities. This can only be set True for exception,
-- variable, constant, and type/subtype entities. If the flag is set,
-- which does not also have this flag set to True. For a variable or
-- or constant, if the flag is set, then the type of the object must
-- either be declared at the library level, or it must also have the
--- flag set (since to allocate the oject statically, its type must
+-- flag set (since to allocate the object statically, its type must
-- also be elaborated globally).
--- Is_Subprogram (synthesized)
--- Applies to all entities, true for bodies of functions, procedures
--- and operators.
-
-- Is_String_Type (synthesized)
-- Applies to all type entities. Determines if the given type is a
-- string type, i.e. it is directly a string type or string subtype,
-- or a string slice type, or an array type with one dimension and a
-- component type that is a character type.
+-- Is_Subprogram (synthesized)
+-- Applies to all entities, true for function, procedure and operator
+-- entities.
+
-- Is_Synchronized_Interface (Flag199)
-- Present in types that are interfaces. True if interface is declared
-- synchronized, task, or protected, or is derived from a synchronized
-- interface.
-- Is_Tag (Flag78)
--- Present in E_Component. For regular tagged type this flag is set on
--- the tag component (whose name is Name_uTag) and for CPP_Class tagged
--- types, this flag marks the pointer to the main vtable (i.e. the one
--- to be extended by derivation)
+-- Present in E_Component and E_Constant entities. For regular tagged
+-- type this flag is set on the tag component (whose name is Name_uTag).
+-- For CPP_Class tagged types, this flag marks the pointer to the main
+-- vtable (i.e. the one to be extended by derivation).
-- Is_Tagged_Type (Flag55)
--- Present in all entities, true for an entity for a tagged type.
+-- Present in all entities. Set for an entity for a tagged type.
-- Is_Task_Interface (Flag200)
--- Present in types that are interfaces. True is interface is declared
--- as such, or if it is derived from task interfaces.
+-- Present in types that are interfaces. True if interface is declared as
+-- a task interface, or if it is derived from task interfaces.
-- Is_Task_Record_Type (synthesized)
--- Applies to all entities, true if Is_Concurrent_Record_Type
+-- Applies to all entities. True if Is_Concurrent_Record_Type
-- Corresponding_Concurrent_Type is a task type.
-- Is_Task_Type (synthesized)
--- Applies to all entities, true for task types and subtypes
+-- Applies to all entities. True for task types and subtypes
+
+-- Is_Thunk (Flag225)
+-- Present in all entities for subprograms (functions, procedures, and
+-- operators). True for subprograms that are thunks, that is small
+-- subprograms built by the expander for tagged types that cover
+-- interface types. At run-time thunks displace the pointer to the object
+-- (pointer named "this" in the C++ terminology) from a secondary
+-- dispatch table to the primary dispatch table associated with a given
+-- tagged type. Set by Expand_Interface Thunk and used by Expand_Call to
+-- handle extra actuals associated with accessibility level.
+
+-- Is_Trivial_Subprogram (Flag235)
+-- Present in all entities. Set in subprograms where either the body
+-- consists of a single null statement, or the first or only statement
+-- of the body raises an exception. This is used for suppressing certain
+-- warnings, see Sem_Ch6.Analyze_Subprogram_Body discussion for details.
-- Is_True_Constant (Flag163)
--- This flag is set in constants and variables which have an initial
--- value specified but which are never assigned, partially or in the
--- whole. For variables, it means that the variable was initialized
--- but never modified, and hence can be treated as a constant by the
--- code generator. For a constant, it means that the constant was not
--- modified by generated code (e.g. to set a discriminant in an init
--- proc). Assignments by user or generated code will reset this flag.
+-- Present in all entities for constants and variables. Set in constants
+-- and variables which have an initial value specified but which are
+-- never assigned, partially or in the whole. For variables, it means
+-- that the variable was initialized but never modified, and hence can be
+-- treated as a constant by the code generator. For a constant, it means
+-- that the constant was not modified by generated code (e.g. to set a
+-- discriminant in an init proc). Assignments by user or generated code
+-- will reset this flag.
--
-- Note: there is one situation in which the back end does not permit
-- this flag to be set, even if no assignments are generated. This is
-- Present in all entities. Set only in record types to which the
-- pragma Unchecked_Union has been validly applied.
+-- Is_Underlying_Record_View (Flag246) [base type only]
+-- Present in all entities. Set only in record types that represent the
+-- underlying record view. This view is built for derivations of types
+-- with unknown discriminants; it is a record with the same structure
+-- than its corresponding record type, and whose parent is the full view
+-- of the parent in the original type extension.
+
-- Is_Unsigned_Type (Flag144)
-- Present in all types, but can be set only for discrete and fixed-point
-- type and subtype entities. This flag is only valid if the entity is
-- package. Indicates that the entity must be made visible in the body
-- of the instance, to reproduce the visibility of the generic. This
-- simplifies visibility settings in instance bodies.
--- ??? confusion in abovecomments between being present and being set
+-- ??? confusion in above comments between being present and being set
-- Is_VMS_Exception (Flag133)
-- Present in all entities. Set only for exception entities where the
-- created as a wrapper for a subprogram instantiation.
-- Itype_Printed (Flag202)
--- Set in Itypes if the Itype has been printed by Sprint. This is used to
--- avoid printing an Itype more than once.
+-- Present in all type and subtype entities. Set in Itypes if the Itype
+-- has been printed by Sprint. This is used to avoid printing an Itype
+-- more than once.
-- Kill_Elaboration_Checks (Flag32)
-- Present in all entities. Set by the expander to kill elaboration
-- checks which are known not to be needed. Equivalent in effect to
--- the use of pragma Supress (Elaboration_Checks) for that entity
+-- the use of pragma Suppress (Elaboration_Checks) for that entity
-- except that the effect is permanent and cannot be undone by a
-- subsequent pragma Unsuppress.
-- Kill_Range_Checks (Flag33)
-- Present in all entities. Equivalent in effect to the use of pragma
--- Supress (Range_Checks) for that entity except that the result is
+-- Suppress (Range_Checks) for that entity except that the result is
-- permanent and cannot be undone by a subsequent pragma Unsuppress.
-- This is currently only used in one odd situation in Sem_Ch3 for
-- record types, and it would be good to get rid of it???
-- Kill_Tag_Checks (Flag34)
-- Present in all entities. Set by the expander to kill elaboration
-- checks which are known not to be needed. Equivalent in effect to
--- the use of pragma Supress (Tag_Checks) for that entity except
+-- the use of pragma Suppress (Tag_Checks) for that entity except
-- that the result is permanent and cannot be undone by a subsequent
-- pragma Unsuppress.
--- Last_Assignment (Node20)
--- Present in entities for variables. Set for a local variable to point
--- to the left side of an assignment statement assigning a value to the
--- variable. Cleared if the value of the variable is referenced. Used to
--- warn about dubious assignment statements whose value is not used.
+-- Known_To_Have_Preelab_Init (Flag207)
+-- Present in all type and subtype entities. If set, then the type is
+-- known to have preelaborable initialization. In the case of a partial
+-- view of a private type, it is only possible for this to be set if a
+-- pragma Preelaborable_Initialization is given for the type. For other
+-- types, it is never set if the type does not have preelaborable
+-- initialization, it may or may not be set if the type does have
+-- preelaborable initialization.
+
+-- Last_Assignment (Node26)
+-- Present in entities for variables, and OUT or IN OUT formals. Set for
+-- a local variable or formal to point to the left side of an assignment
+-- statement assigning a value to the variable. Cleared if the value of
+-- the entity is referenced. Used to warn about dubious assignment
+-- statements whose value is not used.
-- Last_Entity (Node20)
-- Present in all entities which act as scopes to which a list of
-- associated entities is attached (blocks, class subtypes and types,
-- entries, functions, loops, packages, procedures, protected objects,
-- record types and subtypes, private types, task types and subtypes).
--- Points to a the last entry in the list of associated entities chained
+-- Points to the last entry in the list of associated entities chained
-- through the Next_Entity field. Empty if no entities are chained.
-- Limited_View (Node23)
-- Present in enumeration types and subtypes. Non-empty only for the
-- case of an enumeration root type, where it contains the entity for
-- the generated indexes entity. See unit Exp_Imgv for full details of
--- the nature and use of this entity for implkementing the Image and
+-- the nature and use of this entity for implementing the Image and
-- Value attributes for the enumeration type in question.
--
-- Lit_Strings (Node16)
-- the nature and use of this entity for implementing the Image and
-- Value attributes for the enumeration type in question.
--- Low_Bound_Known (Flag205)
+-- Low_Bound_Tested (Flag205)
-- Present in all entities. Currently this can only be set True for
-- formal parameter entries of a standard unconstrained one-dimensional
--- array or string type, where the lower bound of the index type is zero
--- or one. Indicates that the low bound is known to be equal to the lower
--- bound of the index type (e.g. 1 for String, since the index type is
--- Positive). This flag can only be set by a pragma Assert which
--- specifies this. If this flag is set, warnings about assuming the index
--- low bound to be zero or one are suppressed.
+-- array or string type. Indicates that an explicit test of the low bound
+-- of the formal appeared in the code, e.g. in a pragma Assert. If this
+-- flag is set, warnings about assuming the index low bound to be one
+-- are suppressed.
-- Machine_Radix_10 (Flag84)
-- Present in decimal types and subtypes, set if the Machine_Radix
-- to the freeze point because of the rule about overriding Initialize).
-- Needs_Debug_Info (Flag147)
--- Present in all entities. Set if the entity requires debugging
--- information to be generated. This is true of all entities that
--- have Comes_From_Source set, and also transitively for entities
--- associated with such components (e.g. their types). It is true
--- for all entities in Debug_Generated_Code mode (-gnatD switch).
--- This is the flag that the back end should check to determine
--- whether or not to generate debugging information for an entity.
+-- Present in all entities. Set if the entity requires normal debugging
+-- information to be generated. This is true of all entities that have
+-- Comes_From_Source set, and also transitively for entities associated
+-- with such components (e.g. their types). It is true for all entities
+-- in Debug_Generated_Code mode (-gnatD switch). This is the flag that
+-- the back end should check to determine whether or not to generate
+-- debugging information for an entity. Note that callers should always
+-- use Sem_Util.Set_Debug_Info_Needed, rather than Set_Needs_Debug_Info,
+-- so that the flag is set properly on subsidiary entities.
-- Needs_No_Actuals (Flag22)
-- Present in callable entities (subprograms, entries, access to
-- used to resolve various cases of entry calls.
--
-- Never_Set_In_Source (Flag115)
--- Present in all entities, but relevant only for variables and
+-- Present in all entities, but can be set only for variables and
-- parameters. This flag is set if the object is never assigned a value
-- in user source code, either by assignment or by being used as an out
-- or in out parameter. Note that this flag is not reset from using an
-- Empty if applied to the last literal. This is actually a synonym
-- for Next, but its use is preferred in this context.
--- Next_Tag_Component (synthesized)
--- Applies to components of tagged record types. Given a _Tag field
--- of a record, returns the next _Tag field in this record.
-
-- Non_Binary_Modulus (Flag58) [base type only]
--- Present in modular integer types. Set if the modulus for the type
--- is other than a power of 2.
+-- Present in all subtype and type entities. Set for modular integer
+-- types if the modulus value is other than a power of 2.
-- Non_Limited_View (Node17)
-- Present in incomplete types that are the shadow entities created
-- Applies to array types and subtypes. Returns the number of dimensions
-- of the array type or subtype as a value of type Pos.
--- Number_Discriminants (synthesized)
--- Applies to all types with discriminants. Yields the number of
--- discriminants as a value of type Pos.
-
-- Number_Entries (synthesized)
-- Applies to concurrent types. Returns the number of entries that are
-- declared within the task or protected definition for the type.
-- Applies to subprograms and subprogram types. Yields the number of
-- formals as a value of type Pos.
--- Obsolescent_Warning (Node24)
--- Present in all entities. Set non-empty only if a pragma Obsolescent
--- applying to the entity had a string argument, in which case it records
--- the contents of the corresponding string literal node. This field is
--- only accessed if the flag Is_Obsolescent is set.
+-- Optimize_Alignment_Space (Flag241)
+-- A flag present in type, subtype, variable, and constant entities. This
+-- flag records that the type or object is to be layed out in a manner
+-- consistent with Optimize_Alignment (Space) mode. The compiler and
+-- binder ensure a consistent view of any given type or object. If pragma
+-- Optimize_Alignment (Off) mode applies to the type/object, then neither
+-- of the flags Optimize_Alignment_Space/Optimize_Alignment_Time is set.
+
+-- Optimize_Alignment_Time (Flag242)
+-- A flag present in type, subtype, variable, and constant entities. This
+-- flag records that the type or object is to be layed out in a manner
+-- consistent with Optimize_Alignment (Time) mode. The compiler and
+-- binder ensure a consistent view of any given type or object. If pragma
+-- Optimize_Alignment (Off) mode applies to the type/object, then neither
+-- of the flags Optimize_Alignment_Space/Optimize_Alignment_Time is set.
-- Original_Array_Type (Node21)
-- Present in modular types and array types and subtypes. Set only
-- points to the original array type for which this is the packed
-- array implementation type.
--- Object_Ref (Node17)
--- Present in protected bodies. This is an implicit prival for the
--- Protection object associated with a protected object. See Prival
--- for further details on the use of privals.
+-- OK_To_Reorder_Components (Flag239) [base type only]
+-- Present in record types. Set if the back end is permitted to reorder
+-- the components. If not set, the record must be layed out in the order
+-- in which the components are declared textually. Currently this flag
+-- can only be set by debug switches.
-- Original_Record_Component (Node22)
-- Present in components, including discriminants. The usage depends
-- In subtypes (tagged and untagged):
-- Points to the component in the base type.
+-- Overlays_Constant (Flag243)
+-- Present in all entities. Set only for a variable for which there is
+-- an address clause which causes the variable to overlay a constant.
+
-- Overridden_Operation (Node26)
-- Present in subprograms. For overriding operations, points to the
-- user-defined parent subprogram that is being overridden.
-- Parameter_Mode (synthesized)
-- Applies to formal parameter entities. This is a synonym for Ekind,
-- used when obtaining the formal kind of a formal parameter (the result
--- is one of E_[In/Out/In_Out]_Paramter)
+-- is one of E_[In/Out/In_Out]_Parameter)
-- Parent_Subtype (Node19)
-- Present in E_Record_Type. Points to the subtype to use for a
-- field that references the parent record.
+-- Postcondition_Proc (Node8)
+-- Present only in procedure entities, saves the entity of the generated
+-- postcondition proc if one is present, otherwise is set to Empty. Used
+-- to generate the call to this procedure in case the expander inserts
+-- implicit return statements.
+
-- Primitive_Operations (Elist15)
-- Present in tagged record types and subtypes and in tagged private
-- types. Points to an element list of entities for primitive operations
-- is an error to reference the primitive operations field of a type
-- that is not tagged).
+-- Prival (Node17)
+-- Present in private components of protected types. Refers to the entity
+-- of the component renaming declaration generated inside protected
+-- subprograms, entries or barrier functions.
+
+-- Prival_Link (Node20)
+-- Present in constants and variables which rename private components of
+-- protected types. Set to the original private component.
+
-- Private_Dependents (Elist18)
-- Present in private (sub)types. Records the subtypes of the
-- private type, derivations from it, and records and arrays
-- declaration of the type is seen. Subprograms that have such an
-- access parameter are also placed in the list of private_dependents.
--- Prival (Node17)
--- Present in components. Used for representing private declarations
--- of protected objects (private formal: by analogy to Discriminal_Link).
--- Empty unless the synthesized Is_Protected_Private attribute is
--- true. The entity used as a formal parameter that corresponds to
--- the to the private declaration in protected operations. See
--- "Private data in protected objects" for details.
-
--- Privals_Chain (Elist23)
--- Present in protected operations (subprograms and entries). Links
--- all occurrences of the Privals in the body of the operation, in
--- order to patch their types at the end of their expansion. See
--- "Private data in protected objects" for details.
-
-- Private_View (Node22)
-- For each private type, three entities are allocated, the private view,
-- the full view, and the shadow entity. The shadow entity contains a
-- Present in protected operations. References the entity for the
-- subprogram which implements the body of the operation.
--- Protected_Operation (Node23)
--- Present in components. Used for representing private declarations
--- of protected objects. Empty unless the synthesized attribute
--- Is_Protected_Private is True. This is the entity corresponding
--- to the body of the protected operation currently being analyzed,
--- and which will eventually use the current Prival associated with
--- this component to refer to the renaming of a private object
--- component. As soon as the expander generates this renaming, this
--- attribute is changed to refer to the next protected subprogram.
--- See "Private data in protected objects" for details.
+-- Protection_Object (Node23)
+-- Applies to protected entries, entry families and subprograms. Denotes
+-- the entity which is used to rename the _object component of protected
+-- types.
-- Reachable (Flag49)
-- Present in labels. The flag is set over the range of statements in
-- which a goto to that label is legal.
-- Referenced (Flag156)
--- Present in all entities, set if the entity is referenced, except
--- for the case of an appearence of a simple variable, that is not a
--- renaming, as the left side of an assignment in which case the flag
--- Referenced_As_LHS is set instead.
+-- Present in all entities. Set if the entity is referenced, except for
+-- the case of an appearance of a simple variable that is not a renaming
+-- as the left side of an assignment in which case Referenced_As_LHS is
+-- set instead, or a similar appearance as an out parameter actual, in
+-- which case As_Out_Parameter_Parameter is set.
-- Referenced_As_LHS (Flag36):
--- This flag is set instead of Referenced if a simple variable that is
--- not a renaming appears as the left side of an assignment. The reason
--- we distinguish this kind of reference is that we have a separate
--- warning for variables that are only assigned and never read.
+-- Present in all entities. This flag is set instead of Referenced if a
+-- simple variable that is not a renaming appears as the left side of an
+-- assignment. The reason we distinguish this kind of reference is that
+-- we have a separate warning for variables that are only assigned and
+-- never read.
+
+-- Referenced_As_Out_Parameter (Flag227):
+-- Present in all entities. This flag is set instead of Referenced if a
+-- simple variable that is not a renaming appears as an actual for an out
+-- formal. The reason we distinguish this kind of reference is that
+-- we have a separate warning for variables that are only assigned and
+-- never read, and out parameters are a special case.
-- Referenced_Object (Node10)
-- Present in all type entities. Set non-Empty only for type entities
-- wrapper package, but for debugging purposes its external symbol
-- must correspond to the name and scope of the related instance.
--- Related_Interface (Node26)
+-- Related_Type (Node26)
-- Present in components and constants associated with dispatch tables.
--- Set to point to the entity of the associated interface type.
+-- Set to point to the entity of the associated tagged type or interface
+-- type.
+
+-- Relative_Deadline_Variable (Node26) [implementation base type only]
+-- Present in task type entities. This flag is set if a valid and
+-- effective pragma Relative_Deadline applies to the base type. Points
+-- to the entity for a variable that is created to hold the value given
+-- in a Relative_Deadline pragma for a task type.
-- Renamed_Entity (Node18)
-- Present in exceptions, packages, subprograms and generic units. Set
-- for entities that are defined by a renaming declaration. Denotes the
--- renamed entity, or transititively the ultimate renamed entity if
+-- renamed entity, or transitively the ultimate renamed entity if
-- there is a chain of renaming declarations. Empty if no renaming.
+-- Renamed_In_Spec (Flag231)
+
+-- Present in package entities. If a package renaming occurs within
+-- a package spec, then this flag is set on the renamed package. The
+-- purpose is to prevent a warning about unused entities in the renamed
+-- package. Such a warning would be inappropriate since clients of the
+-- package can see the entities in the package via the renaming.
+
-- Renamed_Object (Node18)
-- Present in all objects (constants, variables, components, formal
-- parameters, generic formal parameters, and loop parameters).
-- Reverse_Bit_Order (Flag164) [base type only]
-- Present in all record type entities. Set if a valid pragma an
--- attribute represention clause for Bit_Order has reversed the order of
--- bits from the default value. When this flag is set, a component clause
--- must specify a set of bits entirely contained in a single storage unit
--- (Ada 95) or a single machine scalar (see Ada 2005 AI-133), or must
--- occupy in integral number of storage units.
+-- attribute representation clause for Bit_Order has reversed the order
+-- of bits from the default value. When this flag is set, a component
+-- clause must specify a set of bits entirely contained in a single
+-- storage unit (Ada 95) or a single machine scalar (see Ada 2005
+-- AI-133), or must occupy in integral number of storage units.
-- RM_Size (Uint13)
-- Present in all type and subtype entities. Contains the value of
-- type of the class covered by the CW type, otherwise returns the
-- ultimate derivation ancestor of the given type. This function
-- preserves the view, i.e. the Root_Type of a partial view is the
--- partial view of the ulimate ancestor, the Root_Type of a full view
+-- partial view of the ultimate ancestor, the Root_Type of a full view
-- is the full view of the ultimate ancestor. Note that this function
-- does not correspond exactly to the use of root type in the RM, since
-- in the RM root type applies to a class of types, not to a type.
-- the Scope will be the parent package, and for a non-child package,
-- the Scope will be Standard.
--- Scope_Depth (synth)
+-- Scope_Depth (synthesized)
-- Applies to program units, blocks, concurrent types and entries,
-- and also to record types, i.e. to any entity that can appear on
-- the scope stack. Yields the scope depth value, which for those
-- standard format list (i.e. First (Shadow_Entities) is the first
-- entry and subsequent entries are obtained using Next.
--- Shared_Var_Assign_Proc (Node22)
--- Present in variables. Set non-Empty only if Is_Shared_Passive is
--- set, in which case this is the entity for the shared memory assign
--- routine. See Exp_Smem for full details.
-
--- Shared_Var_Read_Proc (Node15)
+-- Shared_Var_Procs_Instance (Node22)
-- Present in variables. Set non-Empty only if Is_Shared_Passive is
--- set, in which case this is the entity for the shared memory read
--- routine. See Exp_Smem for full details.
+-- set, in which case this is the entity for the associated instance of
+-- System.Shared_Storage.Shared_Var_Procs. See Exp_Smem for full details.
-- Size_Check_Code (Node19)
-- Present in constants and variables. Normally Empty. Set if code is
-- size of objects of the type is known at compile time. This flag is
-- used to optimize some generated code sequences, and also to enable
-- some error checks (e.g. disallowing component clauses on variable
--- length objects. It is set conservatively (i.e. if it is True, the
+-- length objects). It is set conservatively (i.e. if it is True, the
-- size is certainly known at compile time, if it is False, then the
-- size may or may not be known at compile time, but the code will
-- assume that it is not known).
-- case where there is a separate spec, where this field references
-- the corresponding parameter entities in the spec.
+-- Spec_PPC_List (Node24)
+-- Present in subprogram and generic subprogram entities. Points to a
+-- list of Precondition and Postcondition pragma nodes for preconditions
+-- and postconditions declared in the spec. The last pragma encountered
+-- is at the head of this list, so it is in reverse order of textual
+-- appearance.
+
-- Storage_Size_Variable (Node15) [implementation base type only]
-- Present in access types and task type entities. This flag is set
-- if a valid and effective pragma Storage_Size applies to the base
-- or a copy of the low bound of the index base type if not.
-- Suppress_Elaboration_Warnings (Flag148)
--- Present in all entities, relevant only for subprogram entities and
+-- Present in all entities, can be set only for subprogram entities and
-- for variables. If this flag is set then Sem_Elab will not generate
-- elaboration warnings for the subprogram or variable. Suppression of
-- such warnings is automatic for subprograms for which elaboration
-- checks associated with declared volatile variables, but if the test
-- is for the purposes of suppressing optimizations, then the front
-- end should test Treat_As_Volatile rather than Is_Volatile.
+--
+-- Note: before testing Treat_As_Volatile, consider whether it would
+-- be more appropriate to use Exp_Util.Is_Volatile_Reference instead,
+-- which catches more cases of volatile references.
-- Type_High_Bound (synthesized)
-- Applies to scalar types. Returns the tree node (Node_Id) that contains
-- private completion. If Td is already constrained, then its full view
-- can serve directly as the full view of T.
+-- Underlying_Record_View (Node24)
+-- Present in record types. Set for record types that are extensions of
+-- types with unknown discriminants, and also set for internally built
+-- underlying record views to reference its original record type. Record
+-- types that are extensions of types with unknown discriminants do not
+-- have a completion, but they cannot be used without having some
+-- discriminated view at hand. This view is a record type with the same
+-- structure, whose parent type is the full view of the parent in the
+-- original type extension.
+
-- Underlying_Type (synthesized)
-- Applies to all entities. This is the identity function except in the
-- case where it is applied to an incomplete or private type, in which
-- must be released on exit unless Sec_Stack_Needed_For_Return is set.
-- Vax_Float (Flag151) [base type only]
--- Present in all type entities. Set only on the base type of float
--- types with Vax format. The particular format is determined by the
--- Digits_Value value which is 6,9,15 for F_Float, D_Float, G_Float.
+-- Present in all type and subtype entities. Set only on the base type of
+-- float types with Vax format. The particular format is determined by
+-- the Digits_Value value which is 6,9,15 for F_Float, D_Float, G_Float.
-- Warnings_Off (Flag96)
-- Present in all entities. Set if a pragma Warnings (Off, entity-name)
-- is used to suppress warnings for a given entity. It is also used by
--- the compiler in some situations to kill spurious warnings.
+-- the compiler in some situations to kill spurious warnings. Note that
+-- clients should generally not test this flag directly, but instead
+-- use function Has_Warnings_Off.
+
+-- Warnings_Off_Used (Flag236)
+-- Present in all entities. Can only be set if Warnings_Off is set. If
+-- set indicates that a warning was suppressed by the Warnings_Off flag,
+-- and Unmodified/Unreferenced would not have suppressed the warning.
+
+-- Warnings_Off_Used_Unmodified (Flag237)
+-- Present in all entities. Can only be set if Warnings_Off is set and
+-- Has_Pragma_Unmodified is not set. If set indicates that a warning was
+-- suppressed by the Warnings_Off status but that pragma Unmodified
+-- would also have suppressed the warning.
+
+-- Warnings_Off_Used_Unreferenced (Flag238)
+-- Present in all entities. Can only be set if Warnings_Off is set and
+-- Has_Pragma_Unreferenced is not set. If set indicates that a warning
+-- was suppressed by the Warnings_Off status but that pragma Unreferenced
+-- would also have suppressed the warning.
-- Was_Hidden (Flag196)
-- Present in all entities. Used to save the value of the Is_Hidden
-- attribute when the limited-view is installed (Ada 2005: AI-217).
-- Wrapped_Entity (Node27)
--- Present in an E_Procedure classified as an Is_Primitive_Wrapper. Set
--- to the entity that is being wrapped.
+-- Present in functions and procedures which have been classified as
+-- Is_Primitive_Wrapper. Set to the entity being wrapper.
------------------
-- Access Kinds --
------------------
- -- The following five entity kinds are introduced by the corresponding
- -- type definitions:
+ -- The following entity kinds are introduced by the corresponding type
+ -- definitions:
-- E_Access_Type,
-- E_General_Access_Type,
+ -- E_Access_Subprogram_Type,
-- E_Anonymous_Access_Subprogram_Type,
+ -- E_Access_Protected_Subprogram_Type,
-- E_Anonymous_Access_Protected_Subprogram_Type
-- E_Anonymous_Access_Type.
+ -- E_Access_Subtype is for an access subtype created by a subtype
+ -- declaration.
+
-- In addition, we define the kind E_Allocator_Type to label
-- allocators. This is because special resolution rules apply to this
-- construct. Eventually the constructs are labeled with the access
-- Objects --
-------------
- E_Variable,
- -- Variables created by an object declaration with no constant keyword
-
E_Component,
-- Components of a record declaration, private declarations of
-- protected objects.
E_Loop_Parameter,
-- A loop parameter created by a for loop
+ E_Variable,
+ -- Variables created by an object declaration with no constant keyword
+
------------------------
-- Parameter Entities --
------------------------
-- Parameters are also objects
- E_In_Parameter,
- -- An in parameter of a subprogram or entry
-
E_Out_Parameter,
-- An out parameter of a subprogram or entry
E_In_Out_Parameter,
-- An in-out parameter of a subprogram or entry
+ E_In_Parameter,
+ -- An in parameter of a subprogram or entry
+
--------------------------------
-- Generic Parameter Entities --
--------------------------------
E_Anonymous_Access_Subprogram_Type,
-- An anonymous access to subprogram type, created by an access to
- -- subprogram declaration.
+ -- subprogram declaration, or generated for a current instance of
+ -- a type name appearing within a component definition that has an
+ -- anonymous access to subprogram type.
E_Access_Protected_Subprogram_Type,
-- An access to a protected subprogram, created by the corresponding
-- E_Anonymous_Access_Protected_Subprogram_Type
E_Anonymous_Access_Type;
+ subtype Access_Subprogram_Kind is Entity_Kind range
+ E_Access_Subprogram_Type ..
+ -- E_Anonymous_Access_Subprogram_Type
+ -- E_Access_Protected_Subprogram_Type
+ E_Anonymous_Access_Protected_Subprogram_Type;
+
subtype Access_Protected_Kind is Entity_Kind range
E_Access_Protected_Subprogram_Type ..
E_Anonymous_Access_Protected_Subprogram_Type;
-- E_String_Subtype
E_String_Literal_Subtype;
+ subtype Assignable_Kind is Entity_Kind range
+ E_Variable ..
+ -- E_Out_Parameter
+ E_In_Out_Parameter;
+
subtype Class_Wide_Kind is Entity_Kind range
E_Class_Wide_Type ..
E_Class_Wide_Subtype;
E_Floating_Point_Subtype;
subtype Formal_Kind is Entity_Kind range
- E_In_Parameter ..
- -- E_Out_Parameter
- E_In_Out_Parameter;
+ E_Out_Parameter ..
+ -- E_In_Out_Parameter
+ E_In_Parameter;
subtype Formal_Object_Kind is Entity_Kind range
E_Generic_In_Out_Parameter ..
E_Floating_Point_Subtype;
subtype Object_Kind is Entity_Kind range
- E_Variable ..
- -- E_Component
+ E_Component ..
-- E_Constant
-- E_Discriminant
-- E_Loop_Parameter
- -- E_In_Parameter
+ -- E_Variable
-- E_Out_Parameter
-- E_In_Out_Parameter
+ -- E_In_Parameter
-- E_Generic_In_Out_Parameter
E_Generic_In_Parameter;
-- For each enumeration value defined in Entity_Kind we list all the
-- attributes defined in Einfo which can legally be applied to an entity
-- of that kind. The implementation of the attribute functions (and for
- -- non-synthetized attributes, of the corresponding set procedures) are
+ -- non-synthesized attributes, of the corresponding set procedures) are
-- in the Einfo body.
-- The following attributes apply to all entities
-- Etype (Node5)
-- First_Rep_Item (Node6)
-- Freeze_Node (Node7)
- -- Obsolescent_Warning (Node24)
-- Address_Taken (Flag104)
-- Can_Never_Be_Null (Flag38)
-- Has_Persistent_BSS (Flag188)
-- Has_Pragma_Elaborate_Body (Flag150)
-- Has_Pragma_Inline (Flag157)
+ -- Has_Pragma_Inline_Always (Flag230)
+ -- Has_Pragma_Pack (Flag121) (base type only)
-- Has_Pragma_Pure (Flag203)
-- Has_Pragma_Pure_Function (Flag179)
+ -- Has_Pragma_Thread_Local_Storage (Flag169)
+ -- Has_Pragma_Unmodified (Flag233)
-- Has_Pragma_Unreferenced (Flag180)
-- Has_Private_Declaration (Flag155)
-- Has_Qualified_Name (Flag161)
+ -- Has_Stream_Size_Clause (Flag184)
-- Has_Unknown_Discriminants (Flag72)
-- Has_Xref_Entry (Flag182)
+ -- In_Private_Part (Flag45)
-- Is_Ada_2005_Only (Flag185)
-- Is_Bit_Packed_Array (Flag122) (base type only)
+ -- Is_Character_Type (Flag63)
-- Is_Child_Unit (Flag73)
-- Is_Compilation_Unit (Flag149)
-- Is_Completely_Hidden (Flag103)
-- Is_Discrim_SO_Function (Flag176)
+ -- Is_Dispatch_Table_Entity (Flag234)
-- Is_Dispatching_Operation (Flag6)
+ -- Is_Entry_Formal (Flag52)
-- Is_Exported (Flag99)
-- Is_First_Subtype (Flag70)
-- Is_Formal_Subprogram (Flag111)
-- Is_Pure (Flag44)
-- Is_Remote_Call_Interface (Flag62)
-- Is_Remote_Types (Flag61)
+ -- Is_Renaming_Of_Object (Flag112)
-- Is_Shared_Passive (Flag60)
-- Is_Statically_Allocated (Flag28)
+ -- Is_Tagged_Type (Flag55)
+ -- Is_Trivial_Subprogram (Flag235)
-- Is_Unchecked_Union (Flag117)
-- Is_Visible_Formal (Flag206)
-- Is_VMS_Exception (Flag133)
-- Kill_Elaboration_Checks (Flag32)
-- Kill_Range_Checks (Flag33)
-- Kill_Tag_Checks (Flag34)
- -- Low_Bound_Known (Flag205)
+ -- Low_Bound_Tested (Flag205)
-- Materialize_Entity (Flag168)
-- Needs_Debug_Info (Flag147)
+ -- Never_Set_In_Source (Flag115)
-- No_Return (Flag113)
+ -- Overlays_Constant (Flag243)
-- Referenced (Flag156)
-- Referenced_As_LHS (Flag36)
+ -- Referenced_As_Out_Parameter (Flag227)
-- Suppress_Elaboration_Warnings (Flag148)
-- Suppress_Style_Checks (Flag165)
-- Suppress_Value_Tracking_On_Call (Flag217)
-- Used_As_Generic_Actual (Flag222)
+ -- Warnings_Off (Flag96)
+ -- Warnings_Off_Used (Flag236)
+ -- Warnings_Off_Used_Unmodified (Flag237)
+ -- Warnings_Off_Used_Unreferenced (Flag238)
-- Was_Hidden (Flag196)
-- Declaration_Node (synth)
- -- Enclosing_Dynamic_Scope (synth)
-- Has_Foreign_Convention (synth)
- -- Is_Derived_Type (synth)
-- Is_Dynamic_Scope (synth)
- -- Is_Limited_Type (synth)
+ -- Is_Standard_Character_Type (synth)
-- Underlying_Type (synth)
-- all classification attributes (synth)
-- Has_Specified_Stream_Output (Flag191)
-- Has_Specified_Stream_Read (Flag192)
-- Has_Specified_Stream_Write (Flag193)
- -- Has_Stream_Size_Clause (Flag184)
-- Has_Task (Flag30) (base type only)
-- Has_Unchecked_Union (Flag123) (base type only)
-- Has_Volatile_Components (Flag87) (base type only)
-- Is_Generic_Actual_Type (Flag94)
-- Is_Generic_Type (Flag13)
-- Is_Protected_Interface (Flag198)
+ -- Is_RACW_Stub_Type (Flag244)
-- Is_Synchronized_Interface (Flag199)
-- Is_Task_Interface (Flag200)
-- Is_Non_Static_Subtype (Flag109)
-- Is_Packed (Flag51) (base type only)
-- Is_Private_Composite (Flag107)
- -- Is_Renaming_Of_Object (Flag112)
- -- Is_Tagged_Type (Flag55)
-- Is_Unsigned_Type (Flag144)
-- Is_Volatile (Flag16)
-- Itype_Printed (Flag202) (itypes only)
-- Known_To_Have_Preelab_Init (Flag207)
-- Must_Be_On_Byte_Boundary (Flag183)
-- Must_Have_Preelab_Init (Flag208)
+ -- Optimize_Alignment_Space (Flag241)
+ -- Optimize_Alignment_Time (Flag242)
-- Size_Depends_On_Discriminant (Flag177)
-- Size_Known_At_Compile_Time (Flag92)
-- Strict_Alignment (Flag145) (base type only)
-- Universal_Aliasing (Flag216) (base type only)
-- Alignment_Clause (synth)
- -- Ancestor_Subtype (synth)
-- Base_Type (synth)
- -- First_Subtype (synth)
-- Has_Private_Ancestor (synth)
-- Implementation_Base_Type (synth)
-- Is_Access_Protected_Subprogram_Type (synth)
- -- Is_By_Copy_Type (synth)
- -- Is_By_Reference_Type (synth)
- -- Is_Inherently_Limited_Type (synth)
-- Root_Type (synth)
-- Size_Clause (synth)
-- Equivalent_Type (Node18)
-- Directly_Designated_Type (Node20)
-- Needs_No_Actuals (Flag22)
- -- (plus type attributes)
+ -- Can_Use_Internal_Rep (Flag229)
+ -- (plus type attributes)
-- E_Access_Subprogram_Type
-- Equivalent_Type (Node18) (remote types only)
-- Directly_Designated_Type (Node20)
-- Needs_No_Actuals (Flag22)
- -- (plus type attributes)
+ -- Can_Use_Internal_Rep (Flag229)
+ -- (plus type attributes)
-- E_Access_Type
-- E_Access_Subtype
-- Storage_Size_Variable (Node15) (base type only)
-- Master_Id (Node17)
-- Directly_Designated_Type (Node20)
- -- Associated_Storage_Pool (Node22) (base type only)
+ -- Associated_Storage_Pool (Node22) (root type only)
-- Associated_Final_Chain (Node23)
-- Has_Pragma_Controlled (Flag27) (base type only)
-- Has_Storage_Size_Clause (Flag23) (base type only)
- -- Is_Local_Anonymous_Access (Flag194)
-- Is_Access_Constant (Flag69)
+ -- Is_Local_Anonymous_Access (Flag194)
-- Is_Pure_Unit_Access_Type (Flag189)
-- No_Pool_Assigned (Flag131) (base type only)
-- No_Strict_Aliasing (Flag136) (base type only)
-- E_Anonymous_Access_Subprogram_Type
-- E_Anonymous_Access_Protected_Subprogram_Type
+ -- Storage_Size_Variable (Node15) ??? is this needed ???
+ -- Directly_Designated_Type (Node20)
+ -- Can_Use_Internal_Rep (Flag229)
+ -- (plus type attributes)
+
-- E_Anonymous_Access_Type
-- Storage_Size_Variable (Node15) ??? is this needed ???
-- Directly_Designated_Type (Node20)
-- Packed_Array_Type (Node23)
-- Component_Alignment (special) (base type only)
-- Has_Component_Size_Clause (Flag68) (base type only)
- -- Has_Pragma_Pack (Flag121) (base type only)
-- Is_Aliased (Flag15)
-- Is_Constrained (Flag12)
-- Next_Index (synth)
-- Number_Dimensions (synth)
- -- (plus type attributes)
+ -- (plus type attributes)
-- E_Block
-- Block_Node (Node11)
-- Last_Entity (Node20)
-- First_Component (synth)
-- First_Component_Or_Discriminant (synth)
- -- First_Discriminant (synth)
- -- (plus type attributes)
+ -- (plus type attributes)
-- E_Component
-- Normalized_First_Bit (Uint8)
-- Discriminant_Checking_Func (Node20)
-- Interface_Name (Node21) (JGNAT usage only)
-- Original_Record_Component (Node22)
- -- Protected_Operation (Node23)
-- DT_Offset_To_Top_Func (Node25)
- -- Related_Interface (Node26)
+ -- Related_Type (Node26)
-- Has_Biased_Representation (Flag139)
-- Has_Per_Object_Constraint (Flag154)
-- Is_Atomic (Flag85)
-- Is_Volatile (Flag16)
-- Treat_As_Volatile (Flag41)
-- Is_Return_Object (Flag209)
- -- Is_Protected_Private (synth)
-- Next_Component (synth)
-- Next_Component_Or_Discriminant (synth)
- -- Next_Tag_Component (synth)
-- E_Constant
-- E_Loop_Parameter
-- Actual_Subtype (Node17)
-- Renamed_Object (Node18)
-- Size_Check_Code (Node19) (constants only)
+ -- Prival_Link (Node20) (privals only)
-- Interface_Name (Node21)
- -- Related_Interface (Node26) (constants only)
+ -- Related_Type (Node26) (constants only)
-- Has_Alignment_Clause (Flag46)
-- Has_Atomic_Components (Flag86)
-- Has_Biased_Representation (Flag139)
-- Has_Completion (Flag26) (constants only)
+ -- Has_Thunks (Flag228) (constants only)
-- Has_Size_Clause (Flag29)
-- Has_Up_Level_Access (Flag215)
-- Has_Volatile_Components (Flag87)
- -- In_Private_Part (Flag45)
-- Is_Atomic (Flag85)
-- Is_Eliminated (Flag124)
+ -- Is_Return_Object (Flag209)
-- Is_True_Constant (Flag163)
-- Is_Volatile (Flag16)
- -- Never_Set_In_Source (Flag115)
+ -- Optimize_Alignment_Space (Flag241) (constants only)
+ -- Optimize_Alignment_Time (Flag242) (constants only)
-- Treat_As_Volatile (Flag41)
- -- Is_Return_Object (Flag209)
-- Address_Clause (synth)
-- Alignment_Clause (synth)
- -- Constant_Value (synth)
-- Size_Clause (synth)
-- E_Decimal_Fixed_Point_Type
-- Machine_Radix_10 (Flag84)
-- Type_Low_Bound (synth)
-- Type_High_Bound (synth)
- -- (plus type attributes)
+ -- (plus type attributes)
-- E_Discriminant
-- Normalized_First_Bit (Uint8)
-- Last_Entity (Node20)
-- Accept_Address (Elist21)
-- Scope_Depth_Value (Uint22)
- -- Privals_Chain (Elist23) (for a protected entry)
+ -- Protection_Object (Node23) (protected kind)
-- Default_Expressions_Processed (Flag108)
-- Entry_Accepted (Flag152)
-- Is_AST_Entry (Flag132) (for entry only)
-- E_Enumeration_Literal
-- Enumeration_Pos (Uint11)
-- Enumeration_Rep (Uint12)
- -- Debug_Renaming_Link (Node13)
-- Alias (Node18)
-- Enumeration_Rep_Expr (Node22)
-- Next_Literal (synth)
-- Nonzero_Is_True (Flag162) (base type only)
-- Type_Low_Bound (synth)
-- Type_High_Bound (synth)
- -- (plus type attributes)
+ -- (plus type attributes)
-- E_Exception
-- Esize (Uint12)
-- Exception_Code (Uint22)
-- Discard_Names (Flag88)
-- Is_VMS_Exception (Flag133)
+ -- Is_Raised (Flag224)
-- E_Exception_Type
-- Equivalent_Type (Node18)
- -- (plus type attributes)
+ -- (plus type attributes)
-- E_Floating_Point_Type
-- E_Floating_Point_Subtype
-- Scalar_Range (Node20)
-- Type_Low_Bound (synth)
-- Type_High_Bound (synth)
- -- (plus type attributes)
+ -- (plus type attributes)
-- E_Function
-- E_Generic_Function
-- Interface_Name (Node21)
-- Scope_Depth_Value (Uint22)
-- Generic_Renamings (Elist23) (for an instance)
- -- Inner_Instances (Elist23) (generic function only)
- -- Privals_Chain (Elist23) (protected func only)
- -- Abstract_Interface_Alias (Node25)
+ -- Inner_Instances (Elist23) (generic case only)
+ -- Protection_Object (Node23) (for concurrent kind)
+ -- Spec_PPC_List (Node24)
+ -- Interface_Alias (Node25)
-- Overridden_Operation (Node26)
+ -- Wrapped_Entity (Node27) (non-generic case only)
-- Extra_Formals (Node28)
-- Body_Needed_For_SAL (Flag40)
-- Elaboration_Entity_Required (Flag174)
- -- Function_Returns_With_DSP (Flag169)
-- Default_Expressions_Processed (Flag108)
-- Delay_Cleanups (Flag114)
-- Delay_Subprogram_Descriptors (Flag50)
-- Has_Master_Entity (Flag21)
-- Has_Missing_Return (Flag142)
-- Has_Nested_Block_With_Handler (Flag101)
+ -- Has_Postconditions (Flag240)
-- Has_Recursive_Call (Flag143)
-- Has_Subprogram_Descriptor (Flag93)
+ -- Implemented_By_Entry (Flag232) (non-generic case only)
-- Is_Abstract_Subprogram (Flag19) (non-generic case only)
-- Is_Called (Flag102) (non-generic case only)
-- Is_Constructor (Flag76)
-- Is_Machine_Code_Subprogram (Flag137) (non-generic case only)
-- Is_Overriding_Operation (Flag39) (non-generic case only)
-- Is_Primitive (Flag218)
+ -- Is_Primitive_Wrapper (Flag195) (non-generic case only)
-- Is_Private_Descendant (Flag53)
+ -- Is_Private_Primitive (Flag245) (non-generic case only)
-- Is_Pure (Flag44)
+ -- Is_Thunk (Flag225)
-- Is_Visible_Child_Unit (Flag116)
-- Needs_No_Actuals (Flag22)
-- Requires_Overriding (Flag213) (non-generic case only)
-- Storage_Size_Variable (Node15) (base type only)
-- Master_Id (Node17)
-- Directly_Designated_Type (Node20)
- -- Associated_Storage_Pool (Node22) (base type only)
+ -- Associated_Storage_Pool (Node22) (root type only)
-- Associated_Final_Chain (Node23)
-- (plus type attributes)
-- Default_Value (Node20)
-- Protected_Formal (Node22)
-- Is_Controlling_Formal (Flag97)
- -- Is_Entry_Formal (Flag52)
-- Is_Return_Object (Flag209)
-- Parameter_Mode (synth)
-- Private_Dependents (Elist18)
-- Discriminant_Constraint (Elist21)
-- Stored_Constraint (Elist23)
- -- First_Discriminant (synth)
- -- First_Stored_Discriminant (synth)
-- (plus type attributes)
-- E_In_Parameter
-- Default_Expr_Function (Node21)
-- Protected_Formal (Node22)
-- Extra_Constrained (Node23)
+ -- Last_Assignment (Node26) (OUT, IN-OUT only)
-- Has_Initial_Value (Flag219)
-- Is_Controlling_Formal (Flag97)
- -- Is_Entry_Formal (Flag52)
+ -- Is_Only_Out_Parameter (Flag226)
-- Is_Optional_Parameter (Flag134)
- -- Low_Bound_Known (Flag205)
- -- Never_Set_In_Source (Flag115)
+ -- Low_Bound_Tested (Flag205)
-- Is_Return_Object (Flag209)
-- Parameter_Mode (synth)
-- Private_View (Node22)
-- Stored_Constraint (Elist23)
-- Has_Completion (Flag26)
- -- First_Discriminant (synth)
- -- First_Stored_Discriminant (synth)
-- (plus type attributes)
-- E_Loop
-- (plus type attributes)
-- E_Named_Integer
- -- Constant_Value (synth)
-- E_Named_Real
- -- Constant_Value (synth)
-- E_Operator
-- First_Entity (Node17)
-- Alias (Node18)
-- Last_Entity (Node20)
+ -- Has_Postconditions (Flag240)
-- Is_Machine_Code_Subprogram (Flag137)
-- Is_Pure (Flag44)
-- Is_Intrinsic_Subprogram (Flag64)
-- Is_Overriding_Operation (Flag39)
-- Is_Primitive (Flag218)
+ -- Is_Thunk (Flag225)
-- Default_Expressions_Processed (Flag108)
+ -- Aren't there more flags and fields? seems like this list should be
+ -- more similar to the E_Function list, which is much longer ???
-- E_Ordinary_Fixed_Point_Type
-- E_Ordinary_Fixed_Point_Subtype
-- Has_Small_Clause (Flag67)
-- Type_Low_Bound (synth)
-- Type_High_Bound (synth)
- -- (plus type attributes)
+ -- (plus type attributes)
-- E_Package
-- E_Generic_Package
-- Generic_Renamings (Elist23) (for an instance)
-- Inner_Instances (Elist23) (generic case only)
-- Limited_View (Node23) (non-generic/instance)
- -- Current_Use_Clause (Node25)
+ -- Current_Use_Clause (Node27)
-- Package_Instantiation (Node26)
-- Delay_Subprogram_Descriptors (Flag50)
-- Body_Needed_For_SAL (Flag40)
-- Has_RACW (Flag214) (non-generic case only)
-- Has_Subprogram_Descriptor (Flag93)
-- In_Package_Body (Flag48)
- -- In_Private_Part (Flag45)
-- In_Use (Flag8)
-- Is_Instantiated (Flag126)
-- Is_Private_Descendant (Flag53)
-- Is_Visible_Child_Unit (Flag116)
-- Is_Wrapper_Package (synth) (non-generic case only)
+ -- Renamed_In_Spec (Flag231) (non-generic case only)
-- Scope_Depth (synth)
-- Static_Elaboration_Desired (Flag77) (non-generic case only)
-- Has_Completion (Flag26)
-- Is_Controlled (Flag42) (base type only)
-- Is_For_Access_Subtype (Flag118) (subtype only)
- -- First_Discriminant (synth)
- -- First_Stored_Discriminant (synth)
-- (plus type attributes)
-- E_Procedure
-- E_Generic_Procedure
+ -- Postcondition_Proc (Node8) (non-generic case only)
-- Renaming_Map (Uint9)
-- Handler_Records (List10) (non-generic case only)
-- Protected_Body_Subprogram (Node11)
-- Last_Entity (Node20)
-- Interface_Name (Node21)
-- Scope_Depth_Value (Uint22)
- -- Generic_Renamings (Elist23) (for instance)
- -- Inner_Instances (Elist23) (for generic proc)
- -- Privals_Chain (Elist23) (for protected proc)
- -- Abstract_Interface_Alias (Node25)
+ -- Generic_Renamings (Elist23) (for an instance)
+ -- Inner_Instances (Elist23) (generic case only)
+ -- Protection_Object (Node23) (for concurrent kind)
+ -- Spec_PPC_List (Node24)
+ -- Interface_Alias (Node25)
-- Static_Initialization (Node26) (init_proc only)
-- Overridden_Operation (Node26)
-- Wrapped_Entity (Node27) (non-generic case only)
-- Delay_Cleanups (Flag114)
-- Discard_Names (Flag88)
-- Elaboration_Entity_Required (Flag174)
- -- Function_Returns_With_DSP (Flag169) (false for procedure)
-- Default_Expressions_Processed (Flag108)
-- Delay_Cleanups (Flag114)
-- Delay_Subprogram_Descriptors (Flag50)
-- Has_Completion (Flag26)
-- Has_Master_Entity (Flag21)
-- Has_Nested_Block_With_Handler (Flag101)
+ -- Has_Postconditions (Flag240)
-- Has_Subprogram_Descriptor (Flag93)
- -- Is_Visible_Child_Unit (Flag116)
+ -- Implemented_By_Entry (Flag232) (non-generic case only)
-- Is_Abstract_Subprogram (Flag19) (non-generic case only)
-- Is_Asynchronous (Flag81)
- -- Is_Called (Flag102) (non-generic subprog)
+ -- Is_Called (Flag102) (non-generic case only)
-- Is_Constructor (Flag76)
-- Is_Eliminated (Flag124)
-- Is_Instantiated (Flag126) (generic case only)
-- Is_Primitive (Flag218)
-- Is_Primitive_Wrapper (Flag195) (non-generic case only)
-- Is_Private_Descendant (Flag53)
+ -- Is_Private_Primitive (Flag245) (non-generic case only)
-- Is_Pure (Flag44)
+ -- Is_Thunk (Flag225)
-- Is_Valued_Procedure (Flag127)
-- Is_Visible_Child_Unit (Flag116)
-- Needs_No_Actuals (Flag22)
-- First_Formal (synth)
-- First_Formal_With_Extras (synth)
-- Number_Formals (synth)
- -- Delay_Cleanups (Flag114)
- -- Discard_Names (Flag88)
-- E_Protected_Body
- -- Object_Ref (Node17)
-- (any others??? First/Last Entity, Scope_Depth???)
-- E_Protected_Object
-- E_Record_Subtype
-- Primitive_Operations (Elist15)
-- Access_Disp_Table (Elist16) (base type only)
+ -- Dispatch_Table_Wrappers (Elist26) (base type only)
-- Cloned_Subtype (Node16) (subtype case only)
-- First_Entity (Node17)
-- Corresponding_Concurrent_Type (Node18)
-- Discriminant_Constraint (Elist21)
-- Corresponding_Remote_Type (Node22)
-- Stored_Constraint (Elist23)
- -- Abstract_Interfaces (Elist25)
+ -- Underlying_Record_View (Node24) (base type only)
+ -- Interfaces (Elist25)
-- Component_Alignment (special) (base type only)
-- C_Pass_By_Copy (Flag125) (base type only)
-- Has_Dispatch_Table (Flag220) (base tagged type only)
-- Is_Controlled (Flag42) (base type only)
-- Is_Interface (Flag186)
-- Is_Limited_Interface (Flag197)
+ -- OK_To_Reorder_Components (Flag239) (base type only)
-- Reverse_Bit_Order (Flag164) (base type only)
-- First_Component (synth)
-- First_Component_Or_Discriminant (synth)
- -- First_Discriminant (synth)
- -- First_Stored_Discriminant (synth)
- -- First_Tag_Component (synth)
-- (plus type attributes)
-- E_Record_Type_With_Private
-- E_Record_Subtype_With_Private
-- Primitive_Operations (Elist15)
-- Access_Disp_Table (Elist16) (base type only)
+ -- Dispatch_Table_Wrappers (Elist26) (base type only)
-- First_Entity (Node17)
-- Private_Dependents (Elist18)
-- Underlying_Full_View (Node19)
-- Discriminant_Constraint (Elist21)
-- Private_View (Node22)
-- Stored_Constraint (Elist23)
- -- Abstract_Interfaces (Elist25)
+ -- Interfaces (Elist25)
-- Has_Completion (Flag26)
-- Has_Record_Rep_Clause (Flag65) (base type only)
-- Has_External_Tag_Rep_Clause (Flag110)
-- Is_Controlled (Flag42) (base type only)
-- Is_Interface (Flag186)
-- Is_Limited_Interface (Flag197)
+ -- OK_To_Reorder_Components (Flag239) (base type only)
-- Reverse_Bit_Order (Flag164) (base type only)
-- First_Component (synth)
-- First_Component_Or_Discriminant (synth)
- -- First_Discriminant (synth)
- -- First_Stored_Discriminant (synth)
- -- First_Tag_Component (synth)
-- (plus type attributes)
-- E_Return_Statement
-- First_Formal (synth)
-- First_Formal_With_Extras (synth)
-- Number_Formals (synth)
- -- Function_Returns_With_DSP (Flag169)
-- (plus type attributes)
-- E_Task_Body
-- Sec_Stack_Needed_For_Return (Flag167) ???
-- Has_Entries (synth)
-- Number_Entries (synth)
+ -- Relative_Deadline_Variable (Node26) (base type only)
-- (plus type attributes)
-- E_Variable
-- Esize (Uint12)
-- Extra_Accessibility (Node13)
-- Alignment (Uint14)
- -- Shared_Var_Read_Proc (Node15)
-- Unset_Reference (Node16)
-- Actual_Subtype (Node17)
-- Renamed_Object (Node18)
-- Size_Check_Code (Node19)
- -- Last_Assignment (Node20)
+ -- Prival_Link (Node20)
-- Interface_Name (Node21)
- -- Shared_Var_Assign_Proc (Node22)
+ -- Shared_Var_Procs_Instance (Node22)
-- Extra_Constrained (Node23)
+ -- Debug_Renaming_Link (Node25)
+ -- Last_Assignment (Node26)
-- Has_Alignment_Clause (Flag46)
-- Has_Atomic_Components (Flag86)
-- Has_Biased_Representation (Flag139)
-- Has_Initial_Value (Flag219)
-- Has_Size_Clause (Flag29)
+ -- Has_Up_Level_Access (Flag215)
-- Has_Volatile_Components (Flag87)
- -- In_Private_Part (Flag45)
-- Is_Atomic (Flag85)
-- Is_Eliminated (Flag124)
-- Is_Shared_Passive (Flag60)
-- Is_True_Constant (Flag163)
-- Is_Volatile (Flag16)
- -- Never_Set_In_Source (Flag115)
- -- Treat_As_Volatile (Flag41)
-- Is_Return_Object (Flag209)
- -- Has_Up_Level_Access (Flag215)
+ -- Optimize_Alignment_Space (Flag241)
+ -- Optimize_Alignment_Time (Flag242)
+ -- Treat_As_Volatile (Flag41)
-- Address_Clause (synth)
-- Alignment_Clause (synth)
- -- Constant_Value (synth)
-- Size_Clause (synth)
-- E_Void
-- There are four types of alignment possible for array and record
-- types, and a field in the type entities contains a value of the
-- following type indicating which alignment choice applies. For full
- -- details of the meaning of these aligment types, see description
+ -- details of the meaning of these alignment types, see description
-- of the Component_Alignment pragma
type Component_Alignment_Kind is (
-- general manner, like any other variables:
-- In initialization expressions for records. Note that the expressions
- -- used in Priority, Storage_Size, and Task_Info pragmas are effectively
- -- in this category, since these pragmas are converted to initialized
- -- record fields in the Corresponding_Record_Type.
+ -- used in Priority, Storage_Size, Task_Info and Relative_Deadline
+ -- pragmas are effectively in this category, since these pragmas are
+ -- converted to initialized record fields in the Corresponding_Record_
+ -- Type.
-- In task and protected bodies, where the discriminant values may be
-- referenced freely within these bodies. Discriminants can also appear
-- objects. The following approach is used to simplify and minimize the
-- special processing that is required.
- -- When a record type with discriminants is processed, the semantic
- -- processing creates the entities for the discriminants. It also creates
- -- an additional set of entities, called discriminals, one for each of
- -- the discriminants, and the Discriminal field of the discriminant entity
- -- points to this additional entity, which is initially created as an
- -- uninitialized (E_Void) entity.
+ -- When a record type with discriminants is analyzed, semantic processing
+ -- creates the entities for the discriminants. It also creates additional
+ -- sets of entities called discriminals, one for each of the discriminants,
+ -- and the Discriminal field of the discriminant entity points to this
+ -- additional entity, which is initially created as an uninitialized
+ -- (E_Void) entity.
-- During expansion of expressions, any discriminant reference is replaced
-- by a reference to the corresponding discriminal. When the initialization
-- have already been replaced by references to these discriminals, which
-- are now the formal parameters corresponding to the required objects.
- -- In the case of a task or protected body, the semantics similarly
- -- creates a set of discriminals for the discriminants of the task or
- -- protected type. When the procedure is created for the task body,
- -- the parameter passed in is a reference to the task value type, which
- -- contains the required discriminant values. The expander creates a
- -- set of declarations of the form:
+ -- In the case of a task or protected body, the semantics similarly creates
+ -- a set of discriminals for the discriminants of the task or protected
+ -- type. When the procedure is created for the task body, the parameter
+ -- passed in is a reference to the task value type, which contains the
+ -- required discriminant values. The expander creates a set of declarations
+ -- of the form:
- -- discriminal : constant dtype renames _Task.discriminant;
+ -- discr_nameD : constant discr_type renames _task.discr_name;
- -- where discriminal is the discriminal entity referenced by the task
- -- discriminant, and _Task is the task value passed in as the parameter.
+ -- where discr_nameD is the discriminal entity referenced by the task
+ -- discriminant, and _task is the task value passed in as the parameter.
-- Again, any references to discriminants in the task body have been
-- replaced by the discriminal reference, which is now an object that
-- contains the required value.
-- The one bit of trickiness arises in making sure that the right set of
-- discriminals is used at the right time. First the task definition is
-- processed. Any references to discriminants here are replaced by the
- -- the corresponding *task* discriminals (the record type doesn't even
- -- exist yet, since it is constructed as part of the expansion of the
- -- task declaration, which happens after the semantic processing of the
- -- task definition). The discriminants to be used for the corresponding
- -- record are created at the same time as the other discriminals, and
- -- held in the CR_Discriminant field of the discriminant. A use of the
- -- discriminant in a bound for an entry family is replaced with the CR_
- -- discriminant because it controls the bound of the entry queue array
- -- which is a component of the corresponding record.
+ -- corresponding *task* discriminals (the record type doesn't even exist
+ -- yet, since it is constructed as part of the expansion of the task
+ -- declaration, which happens after the semantic processing of the task
+ -- definition). The discriminants to be used for the corresponding record
+ -- are created at the same time as the other discriminals, and held in the
+ -- CR_Discriminant field of the discriminant. A use of the discriminant in
+ -- a bound for an entry family is replaced with the CR_Discriminant because
+ -- it controls the bound of the entry queue array which is a component of
+ -- the corresponding record.
-- Just before the record initialization routine is constructed, the
-- expander exchanges the task and record discriminals. This has two
-- task body, and also for the discriminal declarations at the start of
-- the task body.
- ---------------------------------------
- -- Private data in protected objects --
- ---------------------------------------
-
- -- Private object declarations in protected types pose problems
- -- similar to those of discriminants. They are expanded to components
- -- of a record which is passed as the parameter "_object" to expanded
- -- forms of all protected operations. As with discriminants, timing
- -- of this expansion is a problem. The sequence of statements for a
- -- protected operation is expanded before the operation itself, so the
- -- formal parameter for the record object containing the private data
- -- does not exist when the references to that data are expanded.
-
- -- For this reason, private data is handled in the same way as
- -- discriminants, expanding references to private data in protected
- -- operations (which appear as components) to placeholders which will
- -- eventually become renamings of the private selected components
- -- of the "_object" formal parameter. These placeholders are called
- -- "privals", by analogy to the "discriminals" used to implement
- -- discriminants. They are attached to the component declaration nodes
- -- representing the private object declarations of the protected type.
-
- -- As with discriminals, each protected subprogram needs a unique set
- -- of privals, since they must refer to renamings of components of a
- -- formal parameter of that operation. Entry bodies need another set,
- -- which they all share and which is associated with renamings in the
- -- Service_Entries procedure for the protected type (this is not yet
- -- implemented???). This means that we must associate a new set of
- -- privals (and discriminals) with the private declarations after
- -- the body of a protected subprogram is processed.
-
- -- The last complication is the presence of discriminants and discriminated
- -- components. In the corresponding record, the components are constrained
- -- by the discriminants of the record, but within each protected operation
- -- they are constrained by the discriminants of the actual. The actual
- -- subtypes of those components are constructed as for other unconstrained
- -- formals, but the privals are created before the formal object is added
- -- to the parameter list of the protected operation, so they carry the
- -- nominal subtype of the original component. After the protected operation
- -- is actually created (in the expansion of the protected body) we must
- -- patch the types of each prival occurrence with the proper actual subtype
- -- which is by now set. The Privals_Chain is used for this patching.
+ ---------------------------------------------------
+ -- Handling of private data in protected objects --
+ ---------------------------------------------------
+
+ -- Private components in protected types pose problems similar to those
+ -- of discriminants. Private data is visible and can be directly referenced
+ -- from protected bodies. However, when protected entries and subprograms
+ -- are expanded into corresponding bodies and barrier functions, private
+ -- components lose their original context and visibility.
+
+ -- To remedy this side effect of expansion, private components are expanded
+ -- into renamings called "privals", by analogy with "discriminals".
+
+ -- private_comp : comp_type renames _object.private_comp;
+
+ -- Prival declarations are inserted during the analysis of subprogram and
+ -- entry bodies to ensure proper visibility for any subsequent expansion.
+ -- _Object is the formal parameter of the generated corresponding body or
+ -- a local renaming which denotes the protected object obtained from entry
+ -- parameter _O. Privals receive minimal decoration upon creation and are
+ -- categorized as either E_Variable for the general case or E_Constant when
+ -- they appear in functions.
+
+ -- Along with the local declarations, each private component carries a
+ -- placeholder which references the prival entity in the current body. This
+ -- form of indirection is used to resolve name clashes of privals and other
+ -- locally visible entities such as parameters, local objects, entry family
+ -- indexes or identifiers used in the barrier condition.
+
+ -- When analyzing the statements of a protected subprogram or entry, any
+ -- reference to a private component must resolve to the locally declared
+ -- prival through normal visibility. In case of name conflicts (the cases
+ -- above), the prival is marked as hidden and acts as a weakly declared
+ -- entity. As a result, the reference points to the correct entity. When a
+ -- private component is denoted by an expanded name (prot_type.comp for
+ -- example), the expansion mechanism uses the placeholder of the component
+ -- to correct the Entity and Etype of the reference.
-------------------
-- Type Synonyms --
-------------------
-- The following type synonyms are used to tidy up the function and
- -- procedure declarations that follow, and also to make it possible
- -- to meet the requirement for the XEINFO utility that all function
- -- specs must fit on a single source line.
+ -- procedure declarations that follow, and also to make it possible to meet
+ -- the requirement for the XEINFO utility that all function specs must fit
+ -- on a single source line.
subtype B is Boolean;
subtype C is Component_Alignment_Kind;
-- section contains the functions used to obtain attribute values which
-- correspond to values in fields or flags in the entity itself.
- function Abstract_Interfaces (Id : E) return L;
function Accept_Address (Id : E) return L;
function Access_Disp_Table (Id : E) return L;
function Actual_Subtype (Id : E) return E;
function Address_Taken (Id : E) return B;
function Alias (Id : E) return E;
- function Abstract_Interface_Alias (Id : E) return E;
function Alignment (Id : E) return U;
function Associated_Final_Chain (Id : E) return E;
function Associated_Formal_Package (Id : E) return E;
function Current_Value (Id : E) return N;
function Debug_Info_Off (Id : E) return B;
function Debug_Renaming_Link (Id : E) return E;
+ function Dispatch_Table_Wrappers (Id : E) return L;
function DTC_Entity (Id : E) return E;
function DT_Entry_Count (Id : E) return U;
function DT_Offset_To_Top_Func (Id : E) return E;
function Extra_Constrained (Id : E) return E;
function Extra_Formal (Id : E) return E;
function Extra_Formals (Id : E) return E;
+ function Can_Use_Internal_Rep (Id : E) return B;
function Finalization_Chain_Entity (Id : E) return E;
function Finalize_Storage_Only (Id : E) return B;
function First_Entity (Id : E) return E;
function Freeze_Node (Id : E) return N;
function From_With_Type (Id : E) return B;
function Full_View (Id : E) return E;
- function Function_Returns_With_DSP (Id : E) return B;
function Generic_Homonym (Id : E) return E;
function Generic_Renamings (Id : E) return L;
function Handler_Records (Id : E) return S;
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_Pragma_Inline (Id : E) return B;
+ function Has_Pragma_Inline_Always (Id : E) return B;
function Has_Pragma_Pack (Id : E) return B;
function Has_Pragma_Preelab_Init (Id : E) return B;
function Has_Pragma_Pure (Id : E) return B;
function Has_Pragma_Pure_Function (Id : E) return B;
+ function Has_Pragma_Thread_Local_Storage (Id : E) return B;
+ function Has_Pragma_Unmodified (Id : E) return B;
function Has_Pragma_Unreferenced (Id : E) return B;
function Has_Pragma_Unreferenced_Objects (Id : E) return B;
function Has_Primitive_Operations (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;
function Has_Unknown_Discriminants (Id : E) return B;
function Has_Volatile_Components (Id : E) return B;
function Has_Xref_Entry (Id : E) return B;
function Hiding_Loop_Variable (Id : E) return E;
function Homonym (Id : E) return E;
+ function Implemented_By_Entry (Id : E) return B;
function In_Package_Body (Id : E) return B;
function In_Private_Part (Id : E) return B;
function In_Use (Id : E) return B;
function Inner_Instances (Id : E) return L;
+ function Interfaces (Id : E) return L;
+ function Interface_Alias (Id : E) return E;
function Interface_Name (Id : E) return N;
function Is_AST_Entry (Id : E) return B;
function Is_Abstract_Subprogram (Id : E) return B;
function Is_Abstract_Type (Id : E) return B;
- function Is_Local_Anonymous_Access (Id : E) return B;
function Is_Access_Constant (Id : E) return B;
function Is_Ada_2005_Only (Id : E) return B;
function Is_Aliased (Id : E) return B;
function Is_Controlled (Id : E) return B;
function Is_Controlling_Formal (Id : E) return B;
function Is_Discrim_SO_Function (Id : E) return B;
+ function Is_Dispatch_Table_Entity (Id : E) return B;
function Is_Dispatching_Operation (Id : E) return B;
function Is_Eliminated (Id : E) return B;
function Is_Entry_Formal (Id : E) return B;
function Is_Known_Valid (Id : E) return B;
function Is_Limited_Composite (Id : E) return B;
function Is_Limited_Interface (Id : E) return B;
+ function Is_Local_Anonymous_Access (Id : E) return B;
function Is_Machine_Code_Subprogram (Id : E) return B;
function Is_Non_Static_Subtype (Id : E) return B;
function Is_Null_Init_Proc (Id : E) return B;
function Is_Obsolescent (Id : E) return B;
+ function Is_Only_Out_Parameter (Id : E) return B;
function Is_Optional_Parameter (Id : E) return B;
function Is_Package_Body_Entity (Id : E) return B;
function Is_Packed (Id : E) return B;
function Is_Primitive_Wrapper (Id : E) return B;
function Is_Private_Composite (Id : E) return B;
function Is_Private_Descendant (Id : E) return B;
+ function Is_Private_Primitive (Id : E) return B;
function Is_Protected_Interface (Id : E) return B;
function Is_Public (Id : E) return B;
function Is_Pure (Id : E) return B;
function Is_Pure_Unit_Access_Type (Id : E) return B;
+ function Is_RACW_Stub_Type (Id : E) return B;
+ function Is_Raised (Id : E) return B;
function Is_Remote_Call_Interface (Id : E) return B;
function Is_Remote_Types (Id : E) return B;
function Is_Renaming_Of_Object (Id : E) return B;
function Is_Tag (Id : E) return B;
function Is_Tagged_Type (Id : E) return B;
function Is_Task_Interface (Id : E) return B;
+ function Is_Thunk (Id : E) return B;
+ function Is_Trivial_Subprogram (Id : E) return B;
function Is_True_Constant (Id : E) return B;
function Is_Unchecked_Union (Id : E) return B;
+ function Is_Underlying_Record_View (Id : E) return B;
function Is_Unsigned_Type (Id : E) return B;
function Is_VMS_Exception (Id : E) return B;
function Is_Valued_Procedure (Id : E) return B;
function Limited_View (Id : E) return E;
function Lit_Indexes (Id : E) return E;
function Lit_Strings (Id : E) return E;
- function Low_Bound_Known (Id : E) return B;
+ function Low_Bound_Tested (Id : E) return B;
function Machine_Radix_10 (Id : E) return B;
function Master_Id (Id : E) return E;
function Materialize_Entity (Id : E) return B;
function Normalized_First_Bit (Id : E) return U;
function Normalized_Position (Id : E) return U;
function Normalized_Position_Max (Id : E) return U;
- function Object_Ref (Id : E) return E;
- function Obsolescent_Warning (Id : E) return N;
+ function OK_To_Reorder_Components (Id : E) return B;
+ function Optimize_Alignment_Space (Id : E) return B;
+ function Optimize_Alignment_Time (Id : E) return B;
function Original_Array_Type (Id : E) return E;
function Original_Record_Component (Id : E) return E;
+ function Overlays_Constant (Id : E) return B;
function Overridden_Operation (Id : E) return E;
function Package_Instantiation (Id : E) return N;
function Packed_Array_Type (Id : E) return E;
function Parent_Subtype (Id : E) return E;
+ function Postcondition_Proc (Id : E) return E;
function Primitive_Operations (Id : E) return L;
function Prival (Id : E) return E;
- function Privals_Chain (Id : E) return L;
+ function Prival_Link (Id : E) return E;
function Private_Dependents (Id : E) return L;
function Private_View (Id : E) return N;
function Protected_Body_Subprogram (Id : E) return E;
function Protected_Formal (Id : E) return E;
- function Protected_Operation (Id : E) return E;
+ function Protection_Object (Id : E) return E;
function RM_Size (Id : E) return U;
function Reachable (Id : E) return B;
function Referenced (Id : E) return B;
function Referenced_As_LHS (Id : E) return B;
+ function Referenced_As_Out_Parameter (Id : E) return B;
function Referenced_Object (Id : E) return N;
function Register_Exception_Call (Id : E) return N;
function Related_Array_Object (Id : E) return E;
function Related_Instance (Id : E) return E;
- function Related_Interface (Id : E) return E;
+ function Related_Type (Id : E) return E;
+ function Relative_Deadline_Variable (Id : E) return E;
function Renamed_Entity (Id : E) return N;
+ function Renamed_In_Spec (Id : E) return B;
function Renamed_Object (Id : E) return N;
function Renaming_Map (Id : E) return U;
function Requires_Overriding (Id : E) return B;
function Scope_Depth_Value (Id : E) return U;
function Sec_Stack_Needed_For_Return (Id : E) return B;
function Shadow_Entities (Id : E) return S;
- function Shared_Var_Assign_Proc (Id : E) return E;
- function Shared_Var_Read_Proc (Id : E) return E;
+ function Shared_Var_Procs_Instance (Id : E) return E;
function Size_Check_Code (Id : E) return N;
function Size_Known_At_Compile_Time (Id : E) return B;
function Size_Depends_On_Discriminant (Id : E) return B;
function Small_Value (Id : E) return R;
function Spec_Entity (Id : E) return E;
+ function Spec_PPC_List (Id : E) return N;
function Storage_Size_Variable (Id : E) return E;
function Static_Elaboration_Desired (Id : E) return B;
function Static_Initialization (Id : E) return N;
function Task_Body_Procedure (Id : E) return N;
function Treat_As_Volatile (Id : E) return B;
function Underlying_Full_View (Id : E) return E;
+ function Underlying_Record_View (Id : E) return E;
function Universal_Aliasing (Id : E) return B;
function Unset_Reference (Id : E) return N;
function Used_As_Generic_Actual (Id : E) return B;
function Uses_Sec_Stack (Id : E) return B;
function Vax_Float (Id : E) return B;
function Warnings_Off (Id : E) return B;
+ function Warnings_Off_Used (Id : E) return B;
+ function Warnings_Off_Used_Unmodified (Id : E) return B;
+ function Warnings_Off_Used_Unreferenced (Id : E) return B;
function Was_Hidden (Id : E) return B;
function Wrapped_Entity (Id : E) return E;
function Is_Access_Type (Id : E) return B;
function Is_Access_Protected_Subprogram_Type (Id : E) return B;
+ function Is_Access_Subprogram_Type (Id : E) return B;
function Is_Array_Type (Id : E) return B;
+ function Is_Assignable (Id : E) return B;
function Is_Class_Wide_Type (Id : E) return B;
function Is_Composite_Type (Id : E) return B;
function Is_Concurrent_Body (Id : E) return B;
function Is_Concurrent_Type (Id : E) return B;
function Is_Decimal_Fixed_Point_Type (Id : E) return B;
function Is_Digits_Type (Id : E) return B;
+ function Is_Descendent_Of_Address (Id : E) return B;
function Is_Discrete_Or_Fixed_Point_Type (Id : E) return B;
function Is_Discrete_Type (Id : E) return B;
function Is_Elementary_Type (Id : E) return B;
function Address_Clause (Id : E) return N;
function Alignment_Clause (Id : E) return N;
- function Ancestor_Subtype (Id : E) return E;
- function Available_View (Id : E) return E;
function Base_Type (Id : E) return E;
- function Constant_Value (Id : E) return N;
function Declaration_Node (Id : E) return N;
function Designated_Type (Id : E) return E;
- function Enclosing_Dynamic_Scope (Id : E) return E;
function First_Component (Id : E) return E;
function First_Component_Or_Discriminant (Id : E) return E;
- function First_Discriminant (Id : E) return E;
function First_Formal (Id : E) return E;
function First_Formal_With_Extras (Id : E) return E;
- function First_Stored_Discriminant (Id : E) return E;
- function First_Subtype (Id : E) return E;
function Has_Attach_Handler (Id : E) return B;
function Has_Entries (Id : E) return B;
function Has_Foreign_Convention (Id : E) return B;
function Has_Private_Ancestor (Id : E) return B;
function Has_Private_Declaration (Id : E) return B;
function Implementation_Base_Type (Id : E) return E;
- function Is_Always_Inlined (Id : E) return B;
function Is_Boolean_Type (Id : E) return B;
- function Is_By_Copy_Type (Id : E) return B;
- function Is_By_Reference_Type (Id : E) return B;
- function Is_Derived_Type (Id : E) return B;
+ function Is_Constant_Object (Id : E) return B;
+ function Is_Discriminal (Id : E) return B;
function Is_Dynamic_Scope (Id : E) return B;
- function Is_Indefinite_Subtype (Id : E) return B;
- function Is_Limited_Type (Id : E) return B;
function Is_Package_Or_Generic_Package (Id : E) return B;
- function Is_Protected_Private (Id : E) return B;
+ function Is_Prival (Id : E) return B;
+ function Is_Protected_Component (Id : E) return B;
function Is_Protected_Record_Type (Id : E) return B;
- function Is_Inherently_Limited_Type (Id : E) return B;
+ function Is_Standard_Character_Type (Id : E) return B;
function Is_String_Type (Id : E) return B;
function Is_Task_Record_Type (Id : E) return B;
function Is_Wrapper_Package (Id : E) return B;
function Next_Literal (Id : E) return E;
function Next_Stored_Discriminant (Id : E) return E;
function Number_Dimensions (Id : E) return Pos;
- function Number_Discriminants (Id : E) return Pos;
function Number_Entries (Id : E) return Nat;
function Number_Formals (Id : E) return Pos;
- function Parameter_Mode (Id : E) return Formal_Kind;
function Root_Type (Id : E) return E;
+ function Parameter_Mode (Id : E) return Formal_Kind;
function Scope_Depth_Set (Id : E) return B;
function Size_Clause (Id : E) return N;
function Stream_Size_Clause (Id : E) return N;
- function First_Tag_Component (Id : E) return E;
- function Next_Tag_Component (Id : E) return E;
function Type_High_Bound (Id : E) return N;
function Type_Low_Bound (Id : E) return N;
function Underlying_Type (Id : E) return E;
-- Attribute Set Procedures --
------------------------------
- procedure Set_Abstract_Interfaces (Id : E; V : L);
procedure Set_Accept_Address (Id : E; V : L);
procedure Set_Access_Disp_Table (Id : E; V : L);
+ procedure Set_Dispatch_Table_Wrappers (Id : E; V : L);
procedure Set_Actual_Subtype (Id : E; V : E);
procedure Set_Address_Taken (Id : E; V : B := True);
procedure Set_Alias (Id : E; V : E);
- procedure Set_Abstract_Interface_Alias (Id : E; V : E);
procedure Set_Alignment (Id : E; V : U);
procedure Set_Associated_Final_Chain (Id : E; V : E);
procedure Set_Associated_Formal_Package (Id : E; V : E);
procedure Set_Extra_Constrained (Id : E; V : E);
procedure Set_Extra_Formal (Id : E; V : E);
procedure Set_Extra_Formals (Id : E; V : E);
+ procedure Set_Can_Use_Internal_Rep (Id : E; V : B := True);
procedure Set_Finalization_Chain_Entity (Id : E; V : E);
procedure Set_Finalize_Storage_Only (Id : E; V : B := True);
procedure Set_First_Entity (Id : E; V : E);
procedure Set_Freeze_Node (Id : E; V : N);
procedure Set_From_With_Type (Id : E; V : B := True);
procedure Set_Full_View (Id : E; V : E);
- procedure Set_Function_Returns_With_DSP (Id : E; V : B := True);
procedure Set_Generic_Homonym (Id : E; V : E);
procedure Set_Generic_Renamings (Id : E; V : L);
procedure Set_Handler_Records (Id : E; V : S);
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_Pragma_Inline (Id : E; V : B := True);
+ procedure Set_Has_Pragma_Inline_Always (Id : E; V : B := True);
procedure Set_Has_Pragma_Pack (Id : E; V : B := True);
procedure Set_Has_Pragma_Preelab_Init (Id : E; V : B := True);
procedure Set_Has_Pragma_Pure (Id : E; V : B := True);
procedure Set_Has_Pragma_Pure_Function (Id : E; V : B := True);
+ procedure Set_Has_Pragma_Thread_Local_Storage (Id : E; V : B := True);
+ procedure Set_Has_Pragma_Unmodified (Id : E; V : B := True);
procedure Set_Has_Pragma_Unreferenced (Id : E; V : B := True);
procedure Set_Has_Pragma_Unreferenced_Objects (Id : E; V : B := True);
procedure Set_Has_Primitive_Operations (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);
procedure Set_Has_Unknown_Discriminants (Id : E; V : B := True);
procedure Set_Has_Volatile_Components (Id : E; V : B := True);
procedure Set_Has_Xref_Entry (Id : E; V : B := True);
procedure Set_Hiding_Loop_Variable (Id : E; V : E);
procedure Set_Homonym (Id : E; V : E);
+ procedure Set_Implemented_By_Entry (Id : E; V : B := True);
+ procedure Set_Interfaces (Id : E; V : L);
procedure Set_In_Package_Body (Id : E; V : B := True);
procedure Set_In_Private_Part (Id : E; V : B := True);
procedure Set_In_Use (Id : E; V : B := True);
procedure Set_Inner_Instances (Id : E; V : L);
+ procedure Set_Interface_Alias (Id : E; V : E);
procedure Set_Interface_Name (Id : E; V : N);
procedure Set_Is_AST_Entry (Id : E; V : B := True);
procedure Set_Is_Abstract_Subprogram (Id : E; V : B := True);
procedure Set_Is_Abstract_Type (Id : E; V : B := True);
- procedure Set_Is_Local_Anonymous_Access (Id : E; V : B := True);
procedure Set_Is_Access_Constant (Id : E; V : B := True);
procedure Set_Is_Ada_2005_Only (Id : E; V : B := True);
procedure Set_Is_Aliased (Id : E; V : B := True);
procedure Set_Is_Constructor (Id : E; V : B := True);
procedure Set_Is_Controlled (Id : E; V : B := True);
procedure Set_Is_Controlling_Formal (Id : E; V : B := True);
+ procedure Set_Is_Descendent_Of_Address (Id : E; V : B := True);
procedure Set_Is_Discrim_SO_Function (Id : E; V : B := True);
+ procedure Set_Is_Dispatch_Table_Entity (Id : E; V : B := True);
procedure Set_Is_Dispatching_Operation (Id : E; V : B := True);
procedure Set_Is_Eliminated (Id : E; V : B := True);
procedure Set_Is_Entry_Formal (Id : E; V : B := True);
procedure Set_Is_Limited_Composite (Id : E; V : B := True);
procedure Set_Is_Limited_Interface (Id : E; V : B := True);
procedure Set_Is_Limited_Record (Id : E; V : B := True);
+ procedure Set_Is_Local_Anonymous_Access (Id : E; V : B := True);
procedure Set_Is_Machine_Code_Subprogram (Id : E; V : B := True);
procedure Set_Is_Non_Static_Subtype (Id : E; V : B := True);
procedure Set_Is_Null_Init_Proc (Id : E; V : B := True);
procedure Set_Is_Obsolescent (Id : E; V : B := True);
+ procedure Set_Is_Only_Out_Parameter (Id : E; V : B := True);
procedure Set_Is_Optional_Parameter (Id : E; V : B := True);
procedure Set_Is_Overriding_Operation (Id : E; V : B := True);
procedure Set_Is_Package_Body_Entity (Id : E; V : B := True);
procedure Set_Is_Primitive_Wrapper (Id : E; V : B := True);
procedure Set_Is_Private_Composite (Id : E; V : B := True);
procedure Set_Is_Private_Descendant (Id : E; V : B := True);
+ procedure Set_Is_Private_Primitive (Id : E; V : B := True);
procedure Set_Is_Protected_Interface (Id : E; V : B := True);
procedure Set_Is_Public (Id : E; V : B := True);
procedure Set_Is_Pure (Id : E; V : B := True);
procedure Set_Is_Pure_Unit_Access_Type (Id : E; V : B := True);
+ procedure Set_Is_RACW_Stub_Type (Id : E; V : B := True);
+ procedure Set_Is_Raised (Id : E; V : B := True);
procedure Set_Is_Remote_Call_Interface (Id : E; V : B := True);
procedure Set_Is_Remote_Types (Id : E; V : B := True);
procedure Set_Is_Renaming_Of_Object (Id : E; V : B := True);
procedure Set_Is_Tag (Id : E; V : B := True);
procedure Set_Is_Tagged_Type (Id : E; V : B := True);
procedure Set_Is_Task_Interface (Id : E; V : B := True);
+ procedure Set_Is_Thunk (Id : E; V : B := True);
+ procedure Set_Is_Trivial_Subprogram (Id : E; V : B := True);
procedure Set_Is_True_Constant (Id : E; V : B := True);
procedure Set_Is_Unchecked_Union (Id : E; V : B := True);
+ procedure Set_Is_Underlying_Record_View (Id : E; V : B := True);
procedure Set_Is_Unsigned_Type (Id : E; V : B := True);
procedure Set_Is_VMS_Exception (Id : E; V : B := True);
procedure Set_Is_Valued_Procedure (Id : E; V : B := True);
procedure Set_Limited_View (Id : E; V : E);
procedure Set_Lit_Indexes (Id : E; V : E);
procedure Set_Lit_Strings (Id : E; V : E);
- procedure Set_Low_Bound_Known (Id : E; V : B := True);
+ procedure Set_Low_Bound_Tested (Id : E; V : B := True);
procedure Set_Machine_Radix_10 (Id : E; V : B := True);
procedure Set_Master_Id (Id : E; V : E);
procedure Set_Materialize_Entity (Id : E; V : B := True);
procedure Set_Normalized_First_Bit (Id : E; V : U);
procedure Set_Normalized_Position (Id : E; V : U);
procedure Set_Normalized_Position_Max (Id : E; V : U);
- procedure Set_Object_Ref (Id : E; V : E);
- procedure Set_Obsolescent_Warning (Id : E; V : N);
+ procedure Set_OK_To_Reorder_Components (Id : E; V : B := True);
+ procedure Set_Optimize_Alignment_Space (Id : E; V : B := True);
+ procedure Set_Optimize_Alignment_Time (Id : E; V : B := True);
procedure Set_Original_Array_Type (Id : E; V : E);
procedure Set_Original_Record_Component (Id : E; V : E);
+ procedure Set_Overlays_Constant (Id : E; V : B := True);
procedure Set_Overridden_Operation (Id : E; V : E);
procedure Set_Package_Instantiation (Id : E; V : N);
procedure Set_Packed_Array_Type (Id : E; V : E);
procedure Set_Parent_Subtype (Id : E; V : E);
+ procedure Set_Postcondition_Proc (Id : E; V : E);
procedure Set_Primitive_Operations (Id : E; V : L);
procedure Set_Prival (Id : E; V : E);
- procedure Set_Privals_Chain (Id : E; V : L);
+ procedure Set_Prival_Link (Id : E; V : E);
procedure Set_Private_Dependents (Id : E; V : L);
procedure Set_Private_View (Id : E; V : N);
procedure Set_Protected_Body_Subprogram (Id : E; V : E);
procedure Set_Protected_Formal (Id : E; V : E);
- procedure Set_Protected_Operation (Id : E; V : N);
+ procedure Set_Protection_Object (Id : E; V : E);
procedure Set_RM_Size (Id : E; V : U);
procedure Set_Reachable (Id : E; V : B := True);
procedure Set_Referenced (Id : E; V : B := True);
procedure Set_Referenced_As_LHS (Id : E; V : B := True);
+ procedure Set_Referenced_As_Out_Parameter (Id : E; V : B := True);
procedure Set_Referenced_Object (Id : E; V : N);
procedure Set_Register_Exception_Call (Id : E; V : N);
procedure Set_Related_Array_Object (Id : E; V : E);
procedure Set_Related_Instance (Id : E; V : E);
- procedure Set_Related_Interface (Id : E; V : E);
+ procedure Set_Related_Type (Id : E; V : E);
+ procedure Set_Relative_Deadline_Variable (Id : E; V : E);
procedure Set_Renamed_Entity (Id : E; V : N);
+ procedure Set_Renamed_In_Spec (Id : E; V : B := True);
procedure Set_Renamed_Object (Id : E; V : N);
procedure Set_Renaming_Map (Id : E; V : U);
procedure Set_Requires_Overriding (Id : E; V : B := True);
procedure Set_Scope_Depth_Value (Id : E; V : U);
procedure Set_Sec_Stack_Needed_For_Return (Id : E; V : B := True);
procedure Set_Shadow_Entities (Id : E; V : S);
- procedure Set_Shared_Var_Assign_Proc (Id : E; V : E);
- procedure Set_Shared_Var_Read_Proc (Id : E; V : E);
+ procedure Set_Shared_Var_Procs_Instance (Id : E; V : E);
procedure Set_Size_Check_Code (Id : E; V : N);
procedure Set_Size_Depends_On_Discriminant (Id : E; V : B := True);
procedure Set_Size_Known_At_Compile_Time (Id : E; V : B := True);
procedure Set_Small_Value (Id : E; V : R);
procedure Set_Spec_Entity (Id : E; V : E);
+ procedure Set_Spec_PPC_List (Id : E; V : N);
procedure Set_Storage_Size_Variable (Id : E; V : E);
procedure Set_Static_Elaboration_Desired (Id : E; V : B);
procedure Set_Static_Initialization (Id : E; V : N);
procedure Set_Task_Body_Procedure (Id : E; V : N);
procedure Set_Treat_As_Volatile (Id : E; V : B := True);
procedure Set_Underlying_Full_View (Id : E; V : E);
+ procedure Set_Underlying_Record_View (Id : E; V : E);
procedure Set_Universal_Aliasing (Id : E; V : B := True);
procedure Set_Unset_Reference (Id : E; V : N);
procedure Set_Used_As_Generic_Actual (Id : E; V : B := True);
procedure Set_Uses_Sec_Stack (Id : E; V : B := True);
procedure Set_Vax_Float (Id : E; V : B := True);
procedure Set_Warnings_Off (Id : E; V : B := True);
+ procedure Set_Warnings_Off_Used (Id : E; V : B := True);
+ procedure Set_Warnings_Off_Used_Unmodified (Id : E; V : B := True);
+ procedure Set_Warnings_Off_Used_Unreferenced (Id : E; V : B := True);
procedure Set_Was_Hidden (Id : E; V : B := True);
procedure Set_Wrapped_Entity (Id : E; V : E);
renames Proc_Next_Component;
procedure Next_Component_Or_Discriminant (N : in out Node_Id)
- renames Proc_Next_Component;
+ renames Proc_Next_Component_Or_Discriminant;
procedure Next_Discriminant (N : in out Node_Id)
renames Proc_Next_Discriminant;
procedure Next_Stored_Discriminant (N : in out Node_Id)
renames Proc_Next_Stored_Discriminant;
+ ---------------------------
+ -- Testing Warning Flags --
+ ---------------------------
+
+ -- These routines are to be used rather than testing flags Warnings_Off,
+ -- Has_Pragma_Unmodified, Has_Pragma_Unreferenced. They deal with setting
+ -- the flags Warnings_Off_Used[_Unmodified|Unreferenced] for later access.
+
+ function Has_Warnings_Off (E : Entity_Id) return Boolean;
+ -- If Warnings_Off is set on E, then returns True and also sets the flag
+ -- Warnings_Off_Used on E. If Warnings_Off is not set on E, returns False
+ -- and has no side effect.
+
+ function Has_Unmodified (E : Entity_Id) return Boolean;
+ -- If flag Has_Pragma_Unmodified is set on E, returns True with no side
+ -- effects. Otherwise if Warnings_Off is set on E, returns True and also
+ -- sets the flag Warnings_Off_Used_Unmodified on E. If neither of the flags
+ -- Warnings_Off nor Has_Pragma_Unmodified is set, returns False with no
+ -- side effects.
+
+ function Has_Unreferenced (E : Entity_Id) return Boolean;
+ -- If flag Has_Pragma_Unreferenced is set on E, returns True with no side
+ -- effects. Otherwise if Warnings_Off is set on E, returns True and also
+ -- sets the flag Warnings_Off_Used_Unreferenced on E. If neither of the
+ -- flags Warnings_Off nor Has_Pragma_Unreferenced is set, returns False
+ -- with no side effects.
+
----------------------------------------------
-- Subprograms for Accessing Rep Item Chain --
----------------------------------------------
procedure Record_Rep_Item (E : Entity_Id; N : Node_Id);
-- N is the node for either a representation pragma or an attribute
- -- definition clause that applies to entity E. This procedure links
- -- the node N onto the Rep_Item chain for entity E.
+ -- definition clause that applies to entity E. This procedure links the
+ -- node N onto the Rep_Item chain for entity E. Note that it is an error to
+ -- call this procedure with E being overloadable, and N being a pragma that
+ -- can apply to multiple overloadable entities (i.e. Convention, Interface,
+ -- Inline, Inline_Always, Import, Export, External). This is not allowed
+ -- even if in fact the entity is not overloaded, since we can't rely on
+ -- it being present in the overloaded case, it is not useful to have it
+ -- present in the non-overloaded case.
-------------------------------
-- Miscellaneous Subprograms --
-- subprograms meeting the requirements documented in the section on
-- XEINFO may be referenced in this section.
- pragma Inline (Abstract_Interfaces);
pragma Inline (Accept_Address);
pragma Inline (Access_Disp_Table);
pragma Inline (Actual_Subtype);
pragma Inline (Address_Taken);
- pragma Inline (Abstract_Interface_Alias);
pragma Inline (Alias);
pragma Inline (Alignment);
pragma Inline (Associated_Final_Chain);
pragma Inline (Current_Value);
pragma Inline (Debug_Info_Off);
pragma Inline (Debug_Renaming_Link);
+ pragma Inline (Dispatch_Table_Wrappers);
pragma Inline (DTC_Entity);
pragma Inline (DT_Entry_Count);
pragma Inline (DT_Offset_To_Top_Func);
pragma Inline (Extra_Constrained);
pragma Inline (Extra_Formal);
pragma Inline (Extra_Formals);
+ pragma Inline (Can_Use_Internal_Rep);
pragma Inline (Finalization_Chain_Entity);
pragma Inline (First_Entity);
pragma Inline (First_Index);
pragma Inline (Freeze_Node);
pragma Inline (From_With_Type);
pragma Inline (Full_View);
- pragma Inline (Function_Returns_With_DSP);
pragma Inline (Generic_Homonym);
pragma Inline (Generic_Renamings);
pragma Inline (Handler_Records);
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_Pragma_Inline);
+ pragma Inline (Has_Pragma_Inline_Always);
pragma Inline (Has_Pragma_Pack);
pragma Inline (Has_Pragma_Preelab_Init);
pragma Inline (Has_Pragma_Pure);
pragma Inline (Has_Pragma_Pure_Function);
+ pragma Inline (Has_Pragma_Thread_Local_Storage);
+ pragma Inline (Has_Pragma_Unmodified);
pragma Inline (Has_Pragma_Unreferenced);
pragma Inline (Has_Pragma_Unreferenced_Objects);
pragma Inline (Has_Primitive_Operations);
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 (Has_Unknown_Discriminants);
pragma Inline (Has_Up_Level_Access);
pragma Inline (Has_Xref_Entry);
pragma Inline (Hiding_Loop_Variable);
pragma Inline (Homonym);
+ pragma Inline (Implemented_By_Entry);
+ pragma Inline (Interfaces);
pragma Inline (In_Package_Body);
pragma Inline (In_Private_Part);
pragma Inline (In_Use);
pragma Inline (Inner_Instances);
+ pragma Inline (Interface_Alias);
pragma Inline (Interface_Name);
pragma Inline (Is_AST_Entry);
pragma Inline (Is_Abstract_Subprogram);
pragma Inline (Is_Abstract_Type);
- pragma Inline (Is_Local_Anonymous_Access);
pragma Inline (Is_Access_Constant);
pragma Inline (Is_Ada_2005_Only);
pragma Inline (Is_Access_Type);
pragma Inline (Is_Access_Protected_Subprogram_Type);
+ pragma Inline (Is_Access_Subprogram_Type);
pragma Inline (Is_Aliased);
pragma Inline (Is_Array_Type);
+ pragma Inline (Is_Assignable);
pragma Inline (Is_Asynchronous);
pragma Inline (Is_Atomic);
pragma Inline (Is_Bit_Packed_Array);
pragma Inline (Is_Decimal_Fixed_Point_Type);
pragma Inline (Is_Discrim_SO_Function);
pragma Inline (Is_Digits_Type);
+ pragma Inline (Is_Descendent_Of_Address);
pragma Inline (Is_Discrete_Or_Fixed_Point_Type);
pragma Inline (Is_Discrete_Type);
+ pragma Inline (Is_Dispatch_Table_Entity);
pragma Inline (Is_Dispatching_Operation);
pragma Inline (Is_Elementary_Type);
pragma Inline (Is_Eliminated);
pragma Inline (Is_Limited_Composite);
pragma Inline (Is_Limited_Interface);
pragma Inline (Is_Limited_Record);
+ pragma Inline (Is_Local_Anonymous_Access);
pragma Inline (Is_Machine_Code_Subprogram);
pragma Inline (Is_Modular_Integer_Type);
pragma Inline (Is_Named_Number);
pragma Inline (Is_Non_Static_Subtype);
pragma Inline (Is_Null_Init_Proc);
pragma Inline (Is_Obsolescent);
+ pragma Inline (Is_Only_Out_Parameter);
pragma Inline (Is_Numeric_Type);
pragma Inline (Is_Object);
pragma Inline (Is_Optional_Parameter);
pragma Inline (Is_Primitive_Wrapper);
pragma Inline (Is_Private_Composite);
pragma Inline (Is_Private_Descendant);
+ pragma Inline (Is_Private_Primitive);
pragma Inline (Is_Private_Type);
pragma Inline (Is_Protected_Interface);
pragma Inline (Is_Protected_Type);
pragma Inline (Is_Public);
pragma Inline (Is_Pure);
pragma Inline (Is_Pure_Unit_Access_Type);
+ pragma Inline (Is_RACW_Stub_Type);
+ pragma Inline (Is_Raised);
pragma Inline (Is_Real_Type);
pragma Inline (Is_Record_Type);
pragma Inline (Is_Remote_Call_Interface);
pragma Inline (Is_Task_Interface);
pragma Inline (Is_True_Constant);
pragma Inline (Is_Task_Type);
+ pragma Inline (Is_Thunk);
+ pragma Inline (Is_Trivial_Subprogram);
pragma Inline (Is_Type);
pragma Inline (Is_Unchecked_Union);
+ pragma Inline (Is_Underlying_Record_View);
pragma Inline (Is_Unsigned_Type);
pragma Inline (Is_VMS_Exception);
pragma Inline (Is_Valued_Procedure);
pragma Inline (Limited_View);
pragma Inline (Lit_Indexes);
pragma Inline (Lit_Strings);
- pragma Inline (Low_Bound_Known);
+ pragma Inline (Low_Bound_Tested);
pragma Inline (Machine_Radix_10);
pragma Inline (Master_Id);
pragma Inline (Materialize_Entity);
pragma Inline (Normalized_First_Bit);
pragma Inline (Normalized_Position);
pragma Inline (Normalized_Position_Max);
- pragma Inline (Object_Ref);
- pragma Inline (Obsolescent_Warning);
+ pragma Inline (OK_To_Reorder_Components);
+ pragma Inline (Optimize_Alignment_Space);
+ pragma Inline (Optimize_Alignment_Time);
pragma Inline (Original_Array_Type);
pragma Inline (Original_Record_Component);
+ pragma Inline (Overlays_Constant);
pragma Inline (Overridden_Operation);
pragma Inline (Package_Instantiation);
pragma Inline (Packed_Array_Type);
pragma Inline (Parameter_Mode);
pragma Inline (Parent_Subtype);
+ pragma Inline (Postcondition_Proc);
pragma Inline (Primitive_Operations);
pragma Inline (Prival);
- pragma Inline (Privals_Chain);
+ pragma Inline (Prival_Link);
pragma Inline (Private_Dependents);
pragma Inline (Private_View);
pragma Inline (Protected_Body_Subprogram);
pragma Inline (Protected_Formal);
- pragma Inline (Protected_Operation);
+ pragma Inline (Protection_Object);
pragma Inline (RM_Size);
pragma Inline (Reachable);
pragma Inline (Referenced);
pragma Inline (Referenced_As_LHS);
+ pragma Inline (Referenced_As_Out_Parameter);
pragma Inline (Referenced_Object);
pragma Inline (Register_Exception_Call);
pragma Inline (Related_Array_Object);
pragma Inline (Related_Instance);
- pragma Inline (Related_Interface);
+ pragma Inline (Related_Type);
+ pragma Inline (Relative_Deadline_Variable);
pragma Inline (Renamed_Entity);
+ pragma Inline (Renamed_In_Spec);
pragma Inline (Renamed_Object);
pragma Inline (Renaming_Map);
pragma Inline (Requires_Overriding);
pragma Inline (Scope_Depth_Value);
pragma Inline (Sec_Stack_Needed_For_Return);
pragma Inline (Shadow_Entities);
- pragma Inline (Shared_Var_Assign_Proc);
- pragma Inline (Shared_Var_Read_Proc);
+ pragma Inline (Shared_Var_Procs_Instance);
pragma Inline (Size_Check_Code);
pragma Inline (Size_Depends_On_Discriminant);
pragma Inline (Size_Known_At_Compile_Time);
pragma Inline (Small_Value);
pragma Inline (Spec_Entity);
+ pragma Inline (Spec_PPC_List);
pragma Inline (Storage_Size_Variable);
pragma Inline (Static_Elaboration_Desired);
pragma Inline (Static_Initialization);
pragma Inline (Task_Body_Procedure);
pragma Inline (Treat_As_Volatile);
pragma Inline (Underlying_Full_View);
+ pragma Inline (Underlying_Record_View);
pragma Inline (Universal_Aliasing);
pragma Inline (Unset_Reference);
pragma Inline (Used_As_Generic_Actual);
pragma Inline (Uses_Sec_Stack);
pragma Inline (Vax_Float);
pragma Inline (Warnings_Off);
+ pragma Inline (Warnings_Off_Used);
+ pragma Inline (Warnings_Off_Used_Unmodified);
+ pragma Inline (Warnings_Off_Used_Unreferenced);
pragma Inline (Was_Hidden);
pragma Inline (Wrapped_Entity);
pragma Inline (Init_Esize);
pragma Inline (Init_RM_Size);
- pragma Inline (Set_Abstract_Interfaces);
pragma Inline (Set_Accept_Address);
pragma Inline (Set_Access_Disp_Table);
pragma Inline (Set_Actual_Subtype);
pragma Inline (Set_Address_Taken);
- pragma Inline (Set_Abstract_Interface_Alias);
pragma Inline (Set_Alias);
pragma Inline (Set_Alignment);
pragma Inline (Set_Associated_Final_Chain);
pragma Inline (Set_Current_Value);
pragma Inline (Set_Debug_Info_Off);
pragma Inline (Set_Debug_Renaming_Link);
+ pragma Inline (Set_Dispatch_Table_Wrappers);
pragma Inline (Set_DTC_Entity);
pragma Inline (Set_DT_Entry_Count);
pragma Inline (Set_DT_Offset_To_Top_Func);
pragma Inline (Set_DT_Position);
+ pragma Inline (Set_Relative_Deadline_Variable);
pragma Inline (Set_Default_Expr_Function);
pragma Inline (Set_Default_Expressions_Processed);
pragma Inline (Set_Default_Value);
pragma Inline (Set_Extra_Constrained);
pragma Inline (Set_Extra_Formal);
pragma Inline (Set_Extra_Formals);
+ pragma Inline (Set_Can_Use_Internal_Rep);
pragma Inline (Set_Finalization_Chain_Entity);
pragma Inline (Set_First_Entity);
pragma Inline (Set_First_Index);
pragma Inline (Set_Freeze_Node);
pragma Inline (Set_From_With_Type);
pragma Inline (Set_Full_View);
- pragma Inline (Set_Function_Returns_With_DSP);
pragma Inline (Set_Generic_Homonym);
pragma Inline (Set_Generic_Renamings);
pragma Inline (Set_Handler_Records);
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_Pragma_Inline);
+ pragma Inline (Set_Has_Pragma_Inline_Always);
pragma Inline (Set_Has_Pragma_Pack);
pragma Inline (Set_Has_Pragma_Preelab_Init);
pragma Inline (Set_Has_Pragma_Pure);
pragma Inline (Set_Has_Pragma_Pure_Function);
+ pragma Inline (Set_Has_Pragma_Thread_Local_Storage);
+ pragma Inline (Set_Has_Pragma_Unmodified);
pragma Inline (Set_Has_Pragma_Unreferenced);
pragma Inline (Set_Has_Pragma_Unreferenced_Objects);
pragma Inline (Set_Has_Primitive_Operations);
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);
pragma Inline (Set_Has_Unknown_Discriminants);
pragma Inline (Set_Has_Up_Level_Access);
pragma Inline (Set_Has_Xref_Entry);
pragma Inline (Set_Hiding_Loop_Variable);
pragma Inline (Set_Homonym);
+ pragma Inline (Set_Implemented_By_Entry);
+ pragma Inline (Set_Interfaces);
pragma Inline (Set_In_Package_Body);
pragma Inline (Set_In_Private_Part);
pragma Inline (Set_In_Use);
pragma Inline (Set_Inner_Instances);
+ pragma Inline (Set_Interface_Alias);
pragma Inline (Set_Interface_Name);
pragma Inline (Set_Is_AST_Entry);
pragma Inline (Set_Is_Abstract_Subprogram);
pragma Inline (Set_Is_Abstract_Type);
- pragma Inline (Set_Is_Local_Anonymous_Access);
pragma Inline (Set_Is_Access_Constant);
pragma Inline (Set_Is_Ada_2005_Only);
pragma Inline (Set_Is_Aliased);
pragma Inline (Set_Is_Constructor);
pragma Inline (Set_Is_Controlled);
pragma Inline (Set_Is_Controlling_Formal);
+ pragma Inline (Set_Is_Descendent_Of_Address);
pragma Inline (Set_Is_Discrim_SO_Function);
+ pragma Inline (Set_Is_Dispatch_Table_Entity);
pragma Inline (Set_Is_Dispatching_Operation);
pragma Inline (Set_Is_Eliminated);
pragma Inline (Set_Is_Entry_Formal);
pragma Inline (Set_Is_Limited_Composite);
pragma Inline (Set_Is_Limited_Interface);
pragma Inline (Set_Is_Limited_Record);
+ pragma Inline (Set_Is_Local_Anonymous_Access);
pragma Inline (Set_Is_Machine_Code_Subprogram);
pragma Inline (Set_Is_Non_Static_Subtype);
pragma Inline (Set_Is_Null_Init_Proc);
pragma Inline (Set_Is_Obsolescent);
+ pragma Inline (Set_Is_Only_Out_Parameter);
pragma Inline (Set_Is_Optional_Parameter);
pragma Inline (Set_Is_Overriding_Operation);
pragma Inline (Set_Is_Package_Body_Entity);
pragma Inline (Set_Is_Primitive_Wrapper);
pragma Inline (Set_Is_Private_Composite);
pragma Inline (Set_Is_Private_Descendant);
+ pragma Inline (Set_Is_Private_Primitive);
pragma Inline (Set_Is_Protected_Interface);
pragma Inline (Set_Is_Public);
pragma Inline (Set_Is_Pure);
pragma Inline (Set_Is_Pure_Unit_Access_Type);
+ pragma Inline (Set_Is_RACW_Stub_Type);
+ pragma Inline (Set_Is_Raised);
pragma Inline (Set_Is_Remote_Call_Interface);
pragma Inline (Set_Is_Remote_Types);
pragma Inline (Set_Is_Renaming_Of_Object);
pragma Inline (Set_Is_Tag);
pragma Inline (Set_Is_Tagged_Type);
pragma Inline (Set_Is_Task_Interface);
+ pragma Inline (Set_Is_Thunk);
+ pragma Inline (Set_Is_Trivial_Subprogram);
pragma Inline (Set_Is_True_Constant);
pragma Inline (Set_Is_Unchecked_Union);
+ pragma Inline (Set_Is_Underlying_Record_View);
pragma Inline (Set_Is_Unsigned_Type);
pragma Inline (Set_Is_VMS_Exception);
pragma Inline (Set_Is_Valued_Procedure);
pragma Inline (Set_Limited_View);
pragma Inline (Set_Lit_Indexes);
pragma Inline (Set_Lit_Strings);
- pragma Inline (Set_Low_Bound_Known);
+ pragma Inline (Set_Low_Bound_Tested);
pragma Inline (Set_Machine_Radix_10);
pragma Inline (Set_Master_Id);
pragma Inline (Set_Materialize_Entity);
pragma Inline (Set_Normalized_First_Bit);
pragma Inline (Set_Normalized_Position);
pragma Inline (Set_Normalized_Position_Max);
- pragma Inline (Set_Object_Ref);
- pragma Inline (Set_Obsolescent_Warning);
+ pragma Inline (Set_OK_To_Reorder_Components);
+ pragma Inline (Set_Optimize_Alignment_Space);
+ pragma Inline (Set_Optimize_Alignment_Time);
pragma Inline (Set_Original_Array_Type);
pragma Inline (Set_Original_Record_Component);
+ pragma Inline (Set_Overlays_Constant);
pragma Inline (Set_Overridden_Operation);
pragma Inline (Set_Package_Instantiation);
pragma Inline (Set_Packed_Array_Type);
pragma Inline (Set_Parent_Subtype);
+ pragma Inline (Set_Postcondition_Proc);
pragma Inline (Set_Primitive_Operations);
pragma Inline (Set_Prival);
- pragma Inline (Set_Privals_Chain);
+ pragma Inline (Set_Prival_Link);
pragma Inline (Set_Private_Dependents);
pragma Inline (Set_Private_View);
pragma Inline (Set_Protected_Body_Subprogram);
pragma Inline (Set_Protected_Formal);
- pragma Inline (Set_Protected_Operation);
+ pragma Inline (Set_Protection_Object);
pragma Inline (Set_RM_Size);
pragma Inline (Set_Reachable);
pragma Inline (Set_Referenced);
pragma Inline (Set_Referenced_As_LHS);
+ pragma Inline (Set_Referenced_As_Out_Parameter);
pragma Inline (Set_Referenced_Object);
pragma Inline (Set_Register_Exception_Call);
pragma Inline (Set_Related_Array_Object);
pragma Inline (Set_Related_Instance);
- pragma Inline (Set_Related_Interface);
+ pragma Inline (Set_Related_Type);
pragma Inline (Set_Renamed_Entity);
+ pragma Inline (Set_Renamed_In_Spec);
pragma Inline (Set_Renamed_Object);
pragma Inline (Set_Renaming_Map);
pragma Inline (Set_Requires_Overriding);
pragma Inline (Set_Scope_Depth_Value);
pragma Inline (Set_Sec_Stack_Needed_For_Return);
pragma Inline (Set_Shadow_Entities);
- pragma Inline (Set_Shared_Var_Assign_Proc);
- pragma Inline (Set_Shared_Var_Read_Proc);
+ pragma Inline (Set_Shared_Var_Procs_Instance);
pragma Inline (Set_Size_Check_Code);
pragma Inline (Set_Size_Depends_On_Discriminant);
pragma Inline (Set_Size_Known_At_Compile_Time);
pragma Inline (Set_Small_Value);
pragma Inline (Set_Spec_Entity);
+ pragma Inline (Set_Spec_PPC_List);
pragma Inline (Set_Storage_Size_Variable);
pragma Inline (Set_Static_Elaboration_Desired);
pragma Inline (Set_Static_Initialization);
pragma Inline (Set_Task_Body_Procedure);
pragma Inline (Set_Treat_As_Volatile);
pragma Inline (Set_Underlying_Full_View);
+ pragma Inline (Set_Underlying_Record_View);
pragma Inline (Set_Universal_Aliasing);
pragma Inline (Set_Unset_Reference);
pragma Inline (Set_Used_As_Generic_Actual);
pragma Inline (Set_Uses_Sec_Stack);
pragma Inline (Set_Vax_Float);
pragma Inline (Set_Warnings_Off);
+ pragma Inline (Set_Warnings_Off_Used);
+ pragma Inline (Set_Warnings_Off_Used_Unmodified);
+ pragma Inline (Set_Warnings_Off_Used_Unreferenced);
pragma Inline (Set_Was_Hidden);
pragma Inline (Set_Wrapped_Entity);