CbC/CbC_gcc: gcc/ada/einfo.ads comparison

comparison gcc/ada/einfo.ads @ 131:84e7813d76e9

gcc-8.2

author	mir3636
date	Thu, 25 Oct 2018 07:37:49 +0900
parents	04ced10e8804
children	1830386684a0

comparison

equal deleted inserted replaced

-:04ced10e8804
+:84e7813d76e9
 --                                                                          --
 --                                E I N F O                                 --
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2017, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2018, 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 3,  or (at your option) any later ver- --
 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
 --       This flag is needed when the elaboration of the dispatch table relies
 --       on attribute 'Position applied to an object of the type; it is used by
 --       the IP routine to avoid performing this elaboration twice.
 --    Activation_Record_Component (Node31)
---       Defined in E_Variable, E_Constant, E_Loop_Parameter, E_In_Parameter,
+--       Defined for E_Variable, E_Constant, E_Loop_Parameter, and formal
---       E_Out_Parameter, E_In_Out_Parameter nodes. Used only if we are in
+--       parameter entities. Used in Opt.Unnest_Subprogram_Mode, in which case
---       Opt.Unnest_Subprogram_Mode, in which case for the case of an uplevel
+--       a reference to an uplevel entity produces a corresponding component
---       referenced entity, this field contains the entity for the component
 --       in the generated ARECnT activation record (Exp_Unst for details).
 --    Actual_Subtype (Node17)
 --       Defined in variables, constants, and formal parameters. This is the
 --       subtype imposed by the value of the object, as opposed to its nominal
 --    Cloned_Subtype (Node16)
 --       Defined in E_Record_Subtype and E_Class_Wide_Subtype entities.
 --       Each such entity can either have a Discriminant_Constraint, in
 --       which case it represents a distinct type from the base type (and
---       will have a list of components and discrimants in the list headed by
+--       will have a list of components and discriminants in the list headed by
 --       First_Entity) or else no such constraint, in which case it will be a
 --       copy of the base type.
 --
 --       o  Each element of the list in First_Entity is copied from the base
 --          type; in that case, this field is Empty.
 --       conformant with its first subtype, which is needed when the first
 --       subtype overrides primitive operations inherited by the implicit
 --       base type).
 --
 --       In all other cases Discriminant_Constraint contains the empty
---       Elist (ie it is initialized with a call to New_Elmt_List).
+--       Elist (i.e. it is initialized with a call to New_Elmt_List).
 --    Discriminant_Default_Value (Node20)
 --       Defined in discriminants. Points to the node representing the
 --       expression for the default value of the discriminant. Set to
 --       Empty if the discriminant has no default value.
 --       pragma for the package. This information is passed on to the binder,
 --       which attempts, but does not promise, to elaborate the body as close
 --       to the spec as possible.
 --    Elaboration_Entity (Node13)
---       Defined in generic and non-generic package and subprogram entities.
+--       Defined in entry, entry family, [generic] package, and subprogram
---       This is a counter associated with the unit that is initially set to
+--       entities. This is a counter associated with the unit that is initially
---       zero, is incremented when an elaboration request for the unit is
+--       set to zero, is incremented when an elaboration request for the unit
---       made, and is decremented when a finalization request for the unit
+--       is made, and is decremented when a finalization request for the unit
 --       is made. This is used for three purposes. First, it is used to
 --       implement access before elaboration checks (the counter must be
 --       non-zero to call a subprogram at elaboration time). Second, it is
 --       used to guard against repeated execution of the elaboration code.
 --       Third, it is used to ensure that the finalization code is executed
 --       neither of these two conditions holds, then the entity is still
 --       allocated (since we don't know early enough whether or not there
 --       is elaboration code), but is simply not used for any purpose.
 --    Elaboration_Entity_Required (Flag174)
---       Defined in generic and non-generic package and subprogram entities.
+--       Defined in entry, entry family, [generic] package, and subprogram
---       Set only if Elaboration_Entity is non-Empty to indicate that the
+--       entities. Set only if Elaboration_Entity is non-Empty to indicate that
---       counter is required to be non-zero even if there is no other
+--       the counter is required to be non-zero even if there is no other
 --       elaboration code. This occurs when the Elaboration_Entity counter
 --       is used for access before elaboration checks. If the counter is
 --       only used to prevent multiple execution of the elaboration code,
 --       then if there is no other elaboration code, obviously there is no
 --       need to set the flag.
 --       Defined in E_Abstract_State entities. True if the state has a visible
 --       null refinement as expressed in aspect/pragma Refined_State.
 --    Has_Object_Size_Clause (Flag172)
 --       Defined in entities for types and subtypes. Set if an Object_Size
---       clause has been processed for the type Used to prevent multiple
+--       clause has been processed for the type. Used to prevent multiple
 --       Object_Size clauses for a given entity.
 --    Has_Out_Or_In_Out_Parameter (Flag110)
 --       Present in subprograms, generic subprograms, entries, and entry
 --       families. Set if they have at least one OUT or IN OUT parameter
 --       the Hiding_Loop_Variable field of the hidden variable points to
 --       the E_Loop_Parameter entity doing the hiding. Used in processing
 --       warning messages if the hidden variable turns out to be unused
 --       or is referenced without being set.
+--    Hidden_In_Formal_Instance (Elist30)
+--       Defined on actuals for formal packages. Entities on the list are
+--       formals that are hidden outside of the formal package when this
+--       package is not declared with a box, or the formal itself is not
+--       defaulted (see RM 12.7 (10)). Their visibility is restored on exit
+--       from the current generic, because the actual for the formal package
+--       may be used subsequently in the current unit.
 --    Homonym (Node4)
 --       Defined in all entities. Link for list of entities that have the
 --       same source name and that are declared in the same or enclosing
 --       scopes. Homonyms in the same scope are overloaded. Used for name
 --       resolution and for the generation of debugging information.
 --       protected subprograms.
 --    Is_Access_Type (synthesized)
 --       Applies to all entities, true for access types and subtypes
+--    Is_Activation_Record (Flag305)
+--       Applies to E_In_Parameters generated in Exp_Unst for nested
+--       subprograms, to mark the added formal that carries the activation
+--       record created in the enclosing subprogram.
 --    Is_Actual_Subtype (Flag293)
 --       Defined on all types, true for the generated constrained subtypes
 --       that are built for unconstrained composite actuals.
 --    Is_Ada_2005_Only (Flag185)
 --       Defined in elaboration targets (see terminology in Sem_Elab). Set when
 --       the target appears in a region which is subject to elabled elaboration
 --       checks. Such targets are allowed to generate run-time conditional ABE
 --       checks or guaranteed ABE failures.
+--    Is_Elaboration_Target (synthesized)
+--       Applies to all entities, True only for elaboration targets (see the
+--       terminology in Sem_Elab).
+--    Is_Elaboration_Warnings_OK_Id (Flag304)
+--       Defined in elaboration targets (see terminology in Sem_Elab). Set when
+--       the target appears in a region with elaboration warnings enabled.
 --    Is_Elementary_Type (synthesized)
---       Applies to all entities, true for all elementary types and subtypes.
+--       Applies to all entities, True for all elementary types and subtypes.
 --       Either Is_Composite_Type or Is_Elementary_Type (but not both) is true
 --       of any type.
 --    Is_Eliminated (Flag124)
 --       Defined in type entities, subprogram entities, and object entities.
 --       and variables, but that may well change later on. Exceptions can only
 --       be exported in the Java VM implementation of GNAT, which is retired.
 --    Is_External_State (synthesized)
 --       Applies to all entities, true for abstract states that are subject to
---       option External.
+--       option External or Synchronous.
 --    Is_Finalized_Transient (Flag252)
 --       Defined in constants, loop parameters of generalized iterators, and
 --       variables. Set when a transient object has been finalized by one of
 --       the transient finalization mechanisms. The flag prevents the double
 --       current value of the object. This may be modified during expansion,
 --       and thus the final value is not relevant to the backend.
 --
 --       For types and subtypes, the flag is set if all possible bit patterns
 --       of length Object_Size (i.e. Esize of the type) represent valid values
---       of the type. In general for such tytpes, all values are valid, the
+--       of the type. In general for such types, all values are valid, the
 --       only exception being the case where an object of the type has an
 --       explicit size that is greater than Object_Size.
 --
 --       For non-discrete objects, the setting of the Is_Known_Valid flag is
 --       not defined, and is not relevant, since the considerations of the
 --       definition, an array component, or (pre-Ada 2012) a standalone 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, access discriminants, and
 --       (as of Ada 2012) stand-alone objects.
+--    Is_Loop_Parameter (Flag307)
+--       Applies to all entities. Certain loops, in particular "for ... of"
+--       loops, get transformed so that the loop parameter is declared by a
+--       variable declaration, so the entity is an E_Variable. This is True for
+--       such E_Variables; False otherwise.
 --    Is_Machine_Code_Subprogram (Flag137)
 --       Defined in subprogram entities. Set to indicate that the subprogram
 --       is a machine code subprogram (i.e. its body includes at least one
 --       code statement). Also indicates that all necessary semantic checks
 --       pragma Pure is applied except for non-intrinsic imported subprograms,
 --       and also set for the entity of the unit itself. In addition, this
 --       flag may be set for any other functions or procedures that are known
 --       to be side effect free, so in the case of subprograms, the Is_Pure
 --       flag may be used by the optimizer to imply that it can assume freedom
---       from side effects (other than those resulting from assignment to out
+--       from side effects (other than those resulting from assignment to Out
---       parameters, or to objects designated by access parameters).
+--       or In Out parameters, or to objects designated by access parameters).
 --    Is_Pure_Unit_Access_Type (Flag189)
 --       Defined in access type and subtype entities. Set if the type or
 --       subtype appears in a pure unit. Used to give an error message at
 --       freeze time if the access type has a storage pool.
 --    Is_Task_Interface (synthesized)
 --       Defined 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 is true and
 --       Corresponding_Concurrent_Type is a task type.
 --    Is_Task_Type (synthesized)
 --       Applies to all entities. True for task types and subtypes
 --       type, but there is one case in which the setting is non-obvious,
 --       namely the case of an unsigned subtype of a signed type from which
 --       a further subtype is obtained using variable bounds. This further
 --       subtype is still unsigned, but this cannot be determined by looking
 --       at its bounds or the bounds of the corresponding base type.
+--       For a subtype indication whose range is statically a null range,
+--       the flag is set if the lower bound is non-negative, but the flag
+--       cannot be used to determine the comparison operator to emit in the
+--       generated code: use the base type.
 --    Is_Uplevel_Referenced_Entity (Flag283)
 --       Defined in all entities. Used when unnesting subprograms to indicate
 --       that an entity is locally defined within a subprogram P, and there is
 --       a reference to the entity within a subprogram nested within P (at any
---       depth). Set for uplevel referenced objects (variables, constants and
+--       depth). Set for uplevel referenced objects (variables, constants,
---       loop parameters), and also for upreferenced dynamic types, including
+--       discriminants and loop parameters), and also for upreferenced dynamic
---       the cases where the reference is implicit (e.g. the type of an array
+--       types, including the cases where the reference is implicit (e.g. the
---       used for computing the location of an element in an array. This is
+--       type of an array used for computing the location of an element in an
---       used internally in Exp_Unst, see this package for further details.
+--       array. This is used internally in Exp_Unst, see this package for
+--       further details.
 --    Is_Valued_Procedure (Flag127)
 --       Defined in procedure entities. Set if an Import_Valued_Procedure
 --       or Export_Valued_Procedure pragma applies to the procedure entity.
 --       Defined in entities for types and subtypes. Set in the full type of a
 --       private type or subtype if a pragma Has_Preelaborable_Initialization
 --       is present for the private type. Used to check that the full type has
 --       preelaborable initialization at freeze time (this has to be deferred
 --       to the freeze point because of the rule about overriding Initialize).
+--    Needs_Activation_Record (Flag306)
+--       Defined on generated subprogram types. Indicates that a call through
+--       a named or anonymous access to subprogram requires an activation
+--       record when compiling with unnesting for C or LLVM.
 --    Needs_Debug_Info (Flag147)
 --       Defined 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
 --    Number_Formals (synthesized)
 --       Applies to subprograms and subprogram types. Yields the number of
 --       formals as a value of type Pos.
+--    Object_Size_Clause (synthesized)
+--       Applies to entities for types and subtypes. If an object size clause
+--       is present in the rep item chain for an entity then the attribute
+--       definition clause node is returned. Otherwise Object_Size_Clause
+--       returns Empty if no item is present. Usually this is only meaningful
+--       if the flag Has_Object_Size_Clause is set. This is because when the
+--       representation item chain is copied for a derived type, it can inherit
+--       an object size clause that is not applicable to the entity.
 --    OK_To_Rename (Flag247)
 --       Defined only in entities for variables. If this flag is set, it
 --       means that if the entity is used as the initial value of an object
 --       declaration, the object declaration can be safely converted into a
 --       renaming to avoid an extra copy. This is set for variables which are
 --       references an N_Generic_Instantiation node associated with an
 --       instantiated package. In the case where the referenced node has
 --       been rewritten to an N_Package_Specification, the instantiation
 --       node is available from the Original_Node field of the package spec
 --       node. This is currently not guaranteed to be set in all cases, but
---       when set, the field is used in Get_Package_Instantiation_Node as
+--       when set, the field is used in Get_Unit_Instantiation_Node as
 --       one of the means of obtaining the instantiation node. Eventually
 --       it should be set in all cases, including package entities associated
 --       with formal packages. ???
 --    Packed_Array_Impl_Type (Node23)
 --       Defined in all types. Present only if Predicate_Function is present,
 --       and only if the predicate function has Raise_Expression nodes. It
 --       is the special version created for membership tests, where if one of
 --       these raise expressions is executed, the result is to return False.
+--    Predicated_Parent (Node38)
+--       Defined on itypes created by subtype indications, when the parent
+--       subtype has predicates. The itype shares the Predicate_Function
+--       of the predicated parent, but this function may not have been built
+--       at the point the Itype is constructed, so this attribute allows its
+--       retrieval at the point a predicate check needs to be generated.
+--       The utility Predicate_Function takes this link into account.
 --    Predicates_Ignored (Flag288)
 --       Defined on all types. Indicates whether the subtype declaration is in
 --       a context where Assertion_Policy is Ignore, in which case no checks
 --       (static or dynamic) must be generated for objects of the type.
+--    Prev_Entity (Node36)
+--       Defined in all entities. The entities of a scope are chained, and this
+--       field is used as a backward pointer for this entity list - effectivly
+--       making the entity chain doubly-linked.
 --    Primitive_Operations (synthesized)
 --       Defined in concurrent types, tagged record types and subtypes, tagged
 --       private types and tagged incomplete types. For concurrent types whose
 --       Corresponding_Record_Type (CRT) is available, returns the list of
 --       access definition for an access parameter, the operation may be
 --       a dispatching primitive operation, which is only known when the full
 --       declaration of the type is seen. Subprograms that have such an
 --       access parameter are also placed in the list of private_dependents.
---    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
---       copy of the private view and is used for restoring the proper private
---       view after a region in which the full view is visible (and is copied
---       into the entity normally used for the private view during this period
---       of visibility). The Private_View field is self-referential when the
---       private view lives in its normal entity, but in the copy that is made
---       in the shadow entity, it points to the proper location in which to
---       restore the private view saved in the shadow.
 --    Protected_Body_Subprogram (Node11)
 --       Defined in protected operations. References the entity for the
 --       subprogram which implements the body of the operation.
 --    Protected_Formal (Node22)
 --       bounds are 0 .. modulus - 1). References a node in the tree that
 --       contains the bounds for the range. Note that this information
 --       could be obtained by rummaging around the tree, but it is more
 --       convenient to have it immediately at hand in the entity. The
 --       contents of Scalar_Range can either be an N_Subtype_Indication
---       node (with a constraint), or a Range node, but not a simple
+--       node (with a constraint), a Range node, or an Integer_Type_Definition,
---       subtype reference (a subtype is converted into a range).
+--       but not a simple subtype reference (a subtype is converted into a
+--       explicit range).
 --    Scale_Value (Uint16)
 --       Defined in decimal fixed-point types and subtypes. Contains the scale
 --       for the type (i.e. the value of type'Scale = the number of decimal
 --       digits after the decimal point).
 --    Sec_Stack_Needed_For_Return (Flag167)
 --       Defined in scope entities (blocks, entries, entry families, functions,
 --       and procedures). Set to True when secondary stack is used to hold the
 --       returned value of a function and thus should not be released on scope
 --       exit.
---    Shadow_Entities (List14)
---       Defined in package and generic package entities. Points to a list
---       of entities that correspond to private types. For each private type
---       a shadow entity is created that holds a copy of the private view.
---       In regions of the program where the full views of these private
---       entities are visible, the full view is copied into the entity that
---       is normally used to hold the private view, but the shadow entity
---       copy is unchanged. The shadow entities are then used to restore the
---       original private views at the end of the region. This list is a
---       standard format list (i.e. First (Shadow_Entities) is the first
---       entry and subsequent entries are obtained using Next.
 --    Shared_Var_Procs_Instance (Node22)
 --       Defined in variables. Set non-Empty only if Is_Shared_Passive is
 --       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.
 --       Present in concurrent type, [generic] package spec and package body
 --       entities. Set if the SPARK_Aux_Pragma field points to a pragma that is
 --       inherited, rather than a local one.
 --    SPARK_Pragma (Node40)
---       Present in concurrent type, constant, entry, operator, [generic]
+--       Present in the following entities:
---       package, package body, [generic] subprogram, subprogram body and
+--
---       variable entities. Points to the N_Pragma node that applies to the
+--         abstract states
---       initial declaration or body. This is either set by a local SPARK_Mode
+--         constants
---       pragma or is inherited from the context (from an outer scope for the
+--         entries
---       spec case or from the spec for the body case). In the case where it
+--         operators
---       is inherited the flag SPARK_Pragma_Inherited is set. Empty if no
+--         [generic] packages
---       SPARK_Mode pragma is applicable.
+--         package bodies
+--         [generic] subprograms
+--         subprogram bodies
+--         variables
+--         types
+--
+--       Points to the N_Pragma node that applies to the initial declaration or
+--       body. This is either set by a local SPARK_Mode pragma or is inherited
+--       from the context (from an outer scope for the spec case or from the
+--       spec for the body case). In the case where the attribute is inherited,
+--       flag SPARK_Pragma_Inherited is set. Empty if no SPARK_Mode pragma is
+--       applicable.
 --    SPARK_Pragma_Inherited (Flag265)
---       Present in concurrent type, constant, entry, operator, [generic]
+--       Present in the following entities:
---       package, package body, [generic] subprogram, subprogram body and
+--
---       variable entities. Set if the SPARK_Pragma attribute points to a
+--         abstract states
---       pragma that is inherited, rather than a local one.
+--         constants
+--         entries
+--         operators
+--         [generic] packages
+--         package bodies
+--         [generic] subprograms
+--         subprogram bodies
+--         variables
+--         types
+--
+--       Set if the SPARK_Pragma attribute points to an inherited pragma rather
+--       than a local one.
 --    Spec_Entity (Node19)
 --       Defined in package body entities. Points to corresponding package
 --       spec entity. Also defined in subprogram body parameters in the
 --       case where there is a separate spec, where this field references
 --       subprograms, or is a subprogram nested within such a subprogram. Holds
 --       the index in the Exp_Unst.Subps table for the subprogram. Note that
 --       for the outer level subprogram, this is the starting index in the Subp
 --       table for the entries for this subprogram.
+--    Suppress_Elaboration_Warnings (Flag303)
+--       NOTE: this flag is relevant only for the legacy ABE mechanism and
+--       should not be used outside of that context.
+--
+--       Defined 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 are suppressed (without the need to set this flag), but the
+--       flag is also set for various internal entities (such as init procs)
+--       which are known not to generate any possible access before elaboration
+--       and it is set on variables when a warning is given to avoid multiple
+--       elaboration warnings for the same variable.
 --    Suppress_Initialization (Flag105)
 --       Defined in all variable, type and subtype entities. If set for a base
 --       type, then the generation of initialization procedures is suppressed
 --       for the type. Any other implicit initialiation (e.g. from the use of
 --       pragma Initialize_Scalars) is also suppressed if this flag is set for
 --       is identified. This field is used to generate a warning message if
 --       necessary (see Sem_Warn.Check_Unset_Reference).
 --    Used_As_Generic_Actual (Flag222)
 --       Defined in all entities, set if the entity is used as an argument to
---       a generic instantiation. Used to tune certain warning messages.
+--       a generic instantiation. Used to tune certain warning messages, and
+--       in checking type conformance within an instantiation that involves
+--       incomplete formal and actual types.
 --    Uses_Lock_Free (Flag188)
 --       Defined in protected type entities. Set to True when the Lock Free
 --       implementation is used for the protected type. This implementation is
 --       based on atomic transactions and doesn't require anymore the use of
 --       Defined in scope entities (blocks, entries, entry families, functions,
 --       loops, and procedures). Set to True when the secondary stack is used
 --       in this scope and must be released on exit unless flag
 --       Sec_Stack_Needed_For_Return is set.
---    Validated_Object (Node36)
+--    Validated_Object (Node38)
 --       Defined in variables. Contains the object whose value is captured by
 --       the variable for validity check purposes.
 --    Warnings_Off (Flag96)
 --       Defined in all entities. Set if a pragma Warnings (Off, entity-name)
 --    Scope                               (Node3)
 --    Homonym                             (Node4)
 --    Etype                               (Node5)
 --    First_Rep_Item                      (Node6)
 --    Freeze_Node                         (Node7)
+--    Prev_Entity                         (Node36)
 --    Associated_Entity                   (Node37)
 --    Address_Taken                       (Flag104)
 --    Can_Never_Be_Null                   (Flag38)
 --    Checks_May_Be_Suppressed            (Flag31)
 --    Is_Known_Non_Null                   (Flag37)
 --    Is_Known_Null                       (Flag204)
 --    Is_Known_Valid                      (Flag170)
 --    Is_Limited_Composite                (Flag106)
 --    Is_Limited_Record                   (Flag25)
+--    Is_Loop_Parameter                   (Flag307)
 --    Is_Obsolescent                      (Flag153)
 --    Is_Package_Body_Entity              (Flag160)
 --    Is_Packed_Array_Impl_Type           (Flag138)
 --    Is_Potentially_Use_Visible          (Flag9)
 --    Is_Preelaborated                    (Flag59)
 --    No_Return                           (Flag113)
 --    Overlays_Constant                   (Flag243)
 --    Referenced                          (Flag156)
 --    Referenced_As_LHS                   (Flag36)
 --    Referenced_As_Out_Parameter         (Flag227)
+--    Suppress_Elaboration_Warnings       (Flag303)
 --    Suppress_Style_Checks               (Flag165)
 --    Suppress_Value_Tracking_On_Call     (Flag217)
 --    Used_As_Generic_Actual              (Flag222)
 --    Warnings_Off                        (Flag96)
 --    Warnings_Off_Used                   (Flag236)
 --    Current_Use_Clause                  (Node27)
 --    Subprograms_For_Type                (Elist29)
 --    Derived_Type_Link                   (Node31)
 --    No_Tagged_Streams_Pragma            (Node32)
 --    Linker_Section_Pragma               (Node33)
+--    SPARK_Pragma                        (Node40)
 --    Depends_On_Private                  (Flag14)
 --    Disable_Controlled                  (Flag253)
 --    Discard_Names                       (Flag88)
 --    Finalize_Storage_Only               (Flag158)  (base type only)
 --    Optimize_Alignment_Space            (Flag241)
 --    Optimize_Alignment_Time             (Flag242)
 --    Partial_View_Has_Unknown_Discr      (Flag280)
 --    Size_Depends_On_Discriminant        (Flag177)
 --    Size_Known_At_Compile_Time          (Flag92)
+--    SPARK_Pragma_Inherited              (Flag265)
 --    Strict_Alignment                    (Flag145)  (base type only)
 --    Suppress_Initialization             (Flag105)
 --    Treat_As_Volatile                   (Flag41)
 --    Universal_Aliasing                  (Flag216)  (impl base type only)
 --    Implementation_Base_Type            (synth)
 --    Invariant_Procedure                 (synth)
 --    Is_Access_Protected_Subprogram_Type (synth)
 --    Is_Atomic_Or_VFA                    (synth)
 --    Is_Controlled                       (synth)
+--    Object_Size_Clause                  (synth)
 --    Partial_Invariant_Procedure         (synth)
 --    Predicate_Function                  (synth)
 --    Predicate_Function_M                (synth)
 --    Root_Type                           (synth)
 --    Size_Clause                         (synth)
 --    Refinement_Constituents             (Elist8)
 --    Part_Of_Constituents                (Elist10)
 --    Body_References                     (Elist16)
 --    Non_Limited_View                    (Node19)
 --    Encapsulating_State                 (Node32)
+--    SPARK_Pragma                        (Node40)
 --    From_Limited_With                   (Flag159)
 --    Has_Partial_Visible_Refinement      (Flag296)
 --    Has_Visible_Refinement              (Flag263)
+--    SPARK_Pragma_Inherited              (Flag265)
 --    Has_Non_Limited_View                (synth)
 --    Has_Non_Null_Visible_Refinement     (synth)
 --    Has_Null_Visible_Refinement         (synth)
 --    Is_External_State                   (synth)
 --    Is_Null_State                       (synth)
 --    Equivalent_Type                     (Node18)   (remote types only)
 --    Directly_Designated_Type            (Node20)
 --    Needs_No_Actuals                    (Flag22)
 --    Original_Access_Type                (Node28)
 --    Can_Use_Internal_Rep                (Flag229)
+--    Needs_Activation_Record             (Flag306)
 --    (plus type attributes)
 --  E_Access_Type
 --  E_Access_Subtype
 --    Master_Id                           (Node17)
 --  E_Anonymous_Access_Subprogram_Type
 --  E_Anonymous_Access_Protected_Subprogram_Type
 --    Directly_Designated_Type            (Node20)
 --    Storage_Size_Variable               (Node26)   ??? is this needed ???
 --    Can_Use_Internal_Rep                (Flag229)
+--    Needs_Activation_Record             (Flag306)
 --    (plus type attributes)
 --  E_Anonymous_Access_Type
 --    Directly_Designated_Type            (Node20)
 --    Finalization_Master                 (Node23)
 --    Component_Type                      (Node20)   (base type only)
 --    Original_Array_Type                 (Node21)
 --    Component_Size                      (Uint22)   (base type only)
 --    Packed_Array_Impl_Type              (Node23)
 --    Related_Array_Object                (Node25)
+--    Predicated_Parent                   (Node38)   (subtype only)
 --    Component_Alignment                 (special)  (base type only)
 --    Has_Component_Size_Clause           (Flag68)   (base type only)
 --    Has_Pragma_Pack                     (Flag121)  (impl base type only)
 --    Is_Constrained                      (Flag12)
 --    Reverse_Storage_Order               (Flag93)   (base type only)
 --    Has_Size_Clause                     (Flag29)
 --    Has_Thunks                          (Flag228)  (constants only)
 --    Has_Volatile_Components             (Flag87)
 --    Is_Atomic                           (Flag85)
 --    Is_Elaboration_Checks_OK_Id         (Flag148)  (constants only)
+--    Is_Elaboration_Warnings_OK_Id       (Flag304)  (constants only)
 --    Is_Eliminated                       (Flag124)
 --    Is_Finalized_Transient              (Flag252)
 --    Is_Ignored_Transient                (Flag295)
 --    Is_Independent                      (Flag268)
 --    Is_Return_Object                    (Flag209)
 --    Stores_Attribute_Old_Prefix         (Flag270)  (constants only)
 --    Treat_As_Volatile                   (Flag41)
 --    Address_Clause                      (synth)
 --    Alignment_Clause                    (synth)
 --    Is_Atomic_Or_VFA                    (synth)
+--    Is_Elaboration_Target               (synth)
 --    Size_Clause                         (synth)
 --  E_Decimal_Fixed_Point_Type
 --  E_Decimal_Fixed_Subtype
 --    Scale_Value                         (Uint16)
 --  E_Entry
 --  E_Entry_Family
 --    Protected_Body_Subprogram           (Node11)
 --    Barrier_Function                    (Node12)
+--    Elaboration_Entity                  (Node13)
 --    Postconditions_Proc                 (Node14)
 --    Entry_Parameters_Type               (Node15)
 --    First_Entity                        (Node17)
 --    Alias                               (Node18)   (for entry only. Empty)
 --    Last_Entity                         (Node20)
 --    Default_Expressions_Processed       (Flag108)
 --    Entry_Accepted                      (Flag152)
 --    Has_Expanded_Contract               (Flag240)
 --    Ignore_SPARK_Mode_Pragmas           (Flag301)
 --    Is_Elaboration_Checks_OK_Id         (Flag148)
+--    Is_Elaboration_Warnings_OK_Id       (Flag304)
 --    Is_Entry_Wrapper                    (Flag297)
 --    Needs_No_Actuals                    (Flag22)
 --    Sec_Stack_Needed_For_Return         (Flag167)
 --    SPARK_Pragma_Inherited              (Flag265)  (protected kind)
 --    Uses_Sec_Stack                      (Flag95)
 --    Address_Clause                      (synth)
 --    Entry_Index_Type                    (synth)
 --    First_Formal                        (synth)
 --    First_Formal_With_Extras            (synth)
+--    Is_Elaboration_Target               (synth)
 --    Last_Formal                         (synth)
 --    Number_Formals                      (synth)
 --    Scope_Depth                         (synth)
 --  E_Entry_Index_Parameter
 --    Esize                               (Uint12)
 --    Alignment                           (Uint14)
 --    Renamed_Entity                      (Node18)
 --    Register_Exception_Call             (Node20)
 --    Interface_Name                      (Node21)
+--    Activation_Record_Component         (Node31)
 --    Discard_Names                       (Flag88)
 --    Is_Raised                           (Flag224)
 --  E_Exception_Type
 --    Equivalent_Type                     (Node18)
 --    Is_Constructor                      (Flag76)
 --    Is_DIC_Procedure                    (Flag132)  (non-generic case only)
 --    Is_Discrim_SO_Function              (Flag176)
 --    Is_Discriminant_Check_Function      (Flag264)
 --    Is_Elaboration_Checks_OK_Id         (Flag148)
+--    Is_Elaboration_Warnings_OK_Id       (Flag304)
 --    Is_Eliminated                       (Flag124)
 --    Is_Generic_Actual_Subprogram        (Flag274)  (non-generic case only)
 --    Is_Hidden_Non_Overridden_Subpgm     (Flag2)    (non-generic case only)
 --    Is_Initial_Condition_Procedure      (Flag302)  (non-generic case only)
 --    Is_Inlined_Always                   (Flag1)    (non-generic case only)
 --    SPARK_Pragma_Inherited              (Flag265)
 --    Uses_Sec_Stack                      (Flag95)
 --    Address_Clause                      (synth)
 --    First_Formal                        (synth)
 --    First_Formal_With_Extras            (synth)
+--    Is_Elaboration_Target               (synth)
 --    Last_Formal                         (synth)
 --    Number_Formals                      (synth)
 --    Scope_Depth                         (synth)
 --  E_General_Access_Type
 --    Has_Initial_Value                   (Flag219)
 --    Is_Controlling_Formal               (Flag97)
 --    Is_Only_Out_Parameter               (Flag226)
 --    Low_Bound_Tested                    (Flag205)
 --    Is_Return_Object                    (Flag209)
+--    Is_Activation_Record                (Flag305)
 --    Parameter_Mode                      (synth)
 --  E_Label
 --    Enclosing_Scope                     (Node18)
 --    Reachable                           (Flag49)
 --    First_Entity                        (Node17)
 --    Private_Dependents                  (Elist18)
 --    Underlying_Full_View                (Node19)
 --    Last_Entity                         (Node20)
 --    Discriminant_Constraint             (Elist21)
---    Private_View                        (Node22)
 --    Stored_Constraint                   (Elist23)
 --    Has_Completion                      (Flag26)
 --    (plus type attributes)
 --  E_Loop
 --    SPARK_Pragma                        (Node40)
 --    Default_Expressions_Processed       (Flag108)
 --    Has_Nested_Subprogram               (Flag282)
 --    Ignore_SPARK_Mode_Pragmas           (Flag301)
 --    Is_Elaboration_Checks_OK_Id         (Flag148)
+--    Is_Elaboration_Warnings_OK_Id       (Flag304)
 --    Is_Intrinsic_Subprogram             (Flag64)
 --    Is_Machine_Code_Subprogram          (Flag137)
 --    Is_Primitive                        (Flag218)
 --    Is_Pure                             (Flag44)
 --    SPARK_Pragma_Inherited              (Flag265)
+--    Is_Elaboration_Target               (synth)
 --    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
 --    Renaming_Map                        (Uint9)
 --    Handler_Records                     (List10)   (non-generic case only)
 --    Generic_Homonym                     (Node11)   (generic case only)
 --    Associated_Formal_Package           (Node12)
 --    Elaboration_Entity                  (Node13)
---    Shadow_Entities                     (List14)
 --    Related_Instance                    (Node15)   (non-generic case only)
 --    First_Private_Entity                (Node16)
 --    First_Entity                        (Node17)
 --    Renamed_Entity                      (Node18)
 --    Body_Entity                         (Node19)
 --    Has_RACW                            (Flag214)  (non-generic case only)
 --    Ignore_SPARK_Mode_Pragmas           (Flag301)
 --    In_Package_Body                     (Flag48)
 --    In_Use                              (Flag8)
 --    Is_Elaboration_Checks_OK_Id         (Flag148)
+--    Is_Elaboration_Warnings_OK_Id       (Flag304)
 --    Is_Instantiated                     (Flag126)
 --    Is_Private_Descendant               (Flag53)
 --    Is_Visible_Lib_Unit                 (Flag116)
 --    Renamed_In_Spec                     (Flag231)  (non-generic case only)
 --    SPARK_Aux_Pragma_Inherited          (Flag266)
 --    SPARK_Pragma_Inherited              (Flag265)
 --    Static_Elaboration_Desired          (Flag77)   (non-generic case only)
 --    Has_Non_Null_Abstract_State         (synth)
 --    Has_Null_Abstract_State             (synth)
+--    Is_Elaboration_Target               (synth)
 --    Is_Wrapper_Package                  (synth)    (non-generic case only)
 --    Scope_Depth                         (synth)
 --  E_Package_Body
 --    Handler_Records                     (List10)   (non-generic case only)
 --    First_Entity                        (Node17)
 --    Private_Dependents                  (Elist18)
 --    Underlying_Full_View                (Node19)
 --    Last_Entity                         (Node20)
 --    Discriminant_Constraint             (Elist21)
---    Private_View                        (Node22)
 --    Stored_Constraint                   (Elist23)
 --    Has_Completion                      (Flag26)
 --    Is_Controlled_Active                (Flag42)   (base type only)
 --    Is_For_Access_Subtype               (Flag118)  (subtype only)
 --    (plus type attributes)
 --    Is_Asynchronous                     (Flag81)
 --    Is_Called                           (Flag102)  (non-generic case only)
 --    Is_Constructor                      (Flag76)
 --    Is_DIC_Procedure                    (Flag132)  (non-generic case only)
 --    Is_Elaboration_Checks_OK_Id         (Flag148)
+--    Is_Elaboration_Warnings_OK_Id       (Flag304)
 --    Is_Eliminated                       (Flag124)
 --    Is_Generic_Actual_Subprogram        (Flag274)  (non-generic case only)
 --    Is_Hidden_Non_Overridden_Subpgm     (Flag2)    (non-generic case only)
 --    Is_Initial_Condition_Procedure      (Flag302)  (non-generic case only)
 --    Is_Inlined_Always                   (Flag1)    (non-generic case only)
 --    Sec_Stack_Needed_For_Return         (Flag167)
 --    SPARK_Pragma_Inherited              (Flag265)
 --    Address_Clause                      (synth)
 --    First_Formal                        (synth)
 --    First_Formal_With_Extras            (synth)
+--    Is_Elaboration_Target               (synth)
 --    Is_Finalizer                        (synth)
 --    Last_Formal                         (synth)
 --    Number_Formals                      (synth)
 --  E_Protected_Body
 --    Scope_Depth_Value                   (Uint22)
 --    Stored_Constraint                   (Elist23)
 --    Anonymous_Object                    (Node30)
 --    Contract                            (Node34)
 --    Entry_Max_Queue_Lengths_Array       (Node35)
---    SPARK_Pragma                        (Node40)
 --    SPARK_Aux_Pragma                    (Node41)
 --    Ignore_SPARK_Mode_Pragmas           (Flag301)
 --    SPARK_Aux_Pragma_Inherited          (Flag266)
---    SPARK_Pragma_Inherited              (Flag265)
 --    Uses_Lock_Free                      (Flag188)
 --    First_Component                     (synth)
 --    First_Component_Or_Discriminant     (synth)
 --    Has_Entries                         (synth)
 --    Has_Interrupt_Handler               (synth)
 --  E_Record_Type
 --  E_Record_Subtype
 --    Direct_Primitive_Operations         (Elist10)
 --    Access_Disp_Table                   (Elist16)  (base type only)
---    Access_Disp_Table_Elab_Flag         (Node30)   (base type only)
 --    Cloned_Subtype                      (Node16)   (subtype case only)
 --    First_Entity                        (Node17)
 --    Corresponding_Concurrent_Type       (Node18)
 --    Parent_Subtype                      (Node19)   (base type only)
 --    Last_Entity                         (Node20)
 --    Corresponding_Remote_Type           (Node22)
 --    Stored_Constraint                   (Elist23)
 --    Interfaces                          (Elist25)
 --    Dispatch_Table_Wrappers             (Elist26)  (base type only)
 --    Underlying_Record_View              (Node28)   (base type only)
+--    Access_Disp_Table_Elab_Flag         (Node30)   (base type only)
+--    Predicated_Parent                   (Node38)   (subtype only)
 --    Component_Alignment                 (special)  (base type only)
 --    C_Pass_By_Copy                      (Flag125)  (base type only)
 --    Has_Dispatch_Table                  (Flag220)  (base tagged type only)
 --    Has_Pragma_Pack                     (Flag121)  (impl base type only)
 --    Has_Private_Ancestor                (Flag151)
 --    First_Entity                        (Node17)
 --    Private_Dependents                  (Elist18)
 --    Underlying_Full_View                (Node19)
 --    Last_Entity                         (Node20)
 --    Discriminant_Constraint             (Elist21)
---    Private_View                        (Node22)
 --    Stored_Constraint                   (Elist23)
 --    Interfaces                          (Elist25)
+--    Predicated_Parent                   (Node38)   (subtype only)
 --    Has_Completion                      (Flag26)
 --    Has_Private_Ancestor                (Flag151)
 --    Has_Private_Extension               (Flag300)
 --    Has_Record_Rep_Clause               (Flag65)   (base type only)
 --    Is_Concurrent_Record_Type           (Flag20)
 --    Task_Body_Procedure                 (Node25)
 --    Storage_Size_Variable               (Node26)   (base type only)
 --    Relative_Deadline_Variable          (Node28)   (base type only)
 --    Anonymous_Object                    (Node30)
 --    Contract                            (Node34)
---    SPARK_Pragma                        (Node40)
 --    SPARK_Aux_Pragma                    (Node41)
 --    Delay_Cleanups                      (Flag114)
 --    Has_Master_Entity                   (Flag21)
 --    Has_Storage_Size_Clause             (Flag23)   (base type only)
 --    Ignore_SPARK_Mode_Pragmas           (Flag301)
 --    Is_Elaboration_Checks_OK_Id         (Flag148)
+--    Is_Elaboration_Warnings_OK_Id       (Flag304)
 --    SPARK_Aux_Pragma_Inherited          (Flag266)
---    SPARK_Pragma_Inherited              (Flag265)
 --    First_Component                     (synth)
 --    First_Component_Or_Discriminant     (synth)
 --    Has_Entries                         (synth)
+--    Is_Elaboration_Target               (synth)
 --    Number_Entries                      (synth)
 --    Scope_Depth                         (synth)
 --    (plus type attributes)
 --  E_Variable
 --    Activation_Record_Component         (Node31)
 --    Encapsulating_State                 (Node32)
 --    Linker_Section_Pragma               (Node33)
 --    Contract                            (Node34)
 --    Anonymous_Designated_Type           (Node35)
---    Validated_Object                    (Node36)
+--    Validated_Object                    (Node38)
 --    SPARK_Pragma                        (Node40)
 --    Has_Alignment_Clause                (Flag46)
 --    Has_Atomic_Components               (Flag86)
 --    Has_Biased_Representation           (Flag139)
 --    Has_Independent_Components          (Flag34)
 --    Has_Initial_Value                   (Flag219)
 --    Has_Size_Clause                     (Flag29)
 --    Has_Volatile_Components             (Flag87)
 --    Is_Atomic                           (Flag85)
 --    Is_Elaboration_Checks_OK_Id         (Flag148)
+--    Is_Elaboration_Warnings_OK_Id       (Flag304)
 --    Is_Eliminated                       (Flag124)
 --    Is_Finalized_Transient              (Flag252)
 --    Is_Ignored_Transient                (Flag295)
 --    Is_Independent                      (Flag268)
 --    Is_Return_Object                    (Flag209)
 --    Suppress_Initialization             (Flag105)
 --    Treat_As_Volatile                   (Flag41)
 --    Address_Clause                      (synth)
 --    Alignment_Clause                    (synth)
 --    Is_Atomic_Or_VFA                    (synth)
+--    Is_Elaboration_Target               (synth)
 --    Size_Clause                         (synth)
 --  E_Void
 --    Since E_Void is the initial Ekind value of an entity when it is first
 --    created, one might expect that no attributes would be defined on such
 function Body_References                     (Id : E) return L;
 function C_Pass_By_Copy                      (Id : E) return B;
 function Can_Never_Be_Null                   (Id : E) return B;
 function Can_Use_Internal_Rep                (Id : E) return B;
 function Checks_May_Be_Suppressed            (Id : E) return B;
-function Class_Wide_Clone                     (Id : E) return E;
+function Class_Wide_Clone                    (Id : E) return E;
 function Class_Wide_Type                     (Id : E) return E;
 function Cloned_Subtype                      (Id : E) return E;
 function Component_Alignment                 (Id : E) return C;
 function Component_Bit_Offset                (Id : E) return U;
 function Component_Clause                    (Id : E) return N;
 function Has_Unknown_Discriminants           (Id : E) return B;
 function Has_Visible_Refinement              (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 Hidden_In_Formal_Instance           (Id : E) return L;
 function Homonym                             (Id : E) return E;
 function Ignore_SPARK_Mode_Pragmas           (Id : E) return B;
 function Import_Pragma                       (Id : E) return E;
 function Incomplete_Actuals                  (Id : E) return L;
 function In_Package_Body                     (Id : E) return B;
 function Interface_Name                      (Id : E) return N;
 function Interfaces                          (Id : E) return L;
 function Is_Abstract_Subprogram              (Id : E) return B;
 function Is_Abstract_Type                    (Id : E) return B;
 function Is_Access_Constant                  (Id : E) return B;
+function Is_Activation_Record                (Id : E) return B;
 function Is_Actual_Subtype                   (Id : E) return B;
 function Is_Ada_2005_Only                    (Id : E) return B;
 function Is_Ada_2012_Only                    (Id : E) return B;
 function Is_Aliased                          (Id : E) return B;
 function Is_Asynchronous                     (Id : E) return B;
 function Is_Discrim_SO_Function              (Id : E) return B;
 function Is_Discriminant_Check_Function      (Id : E) return B;
 function Is_Dispatch_Table_Entity            (Id : E) return B;
 function Is_Dispatching_Operation            (Id : E) return B;
 function Is_Elaboration_Checks_OK_Id         (Id : E) return B;
+function Is_Elaboration_Warnings_OK_Id       (Id : E) return B;
 function Is_Eliminated                       (Id : E) return B;
 function Is_Entry_Formal                     (Id : E) return B;
 function Is_Entry_Wrapper                    (Id : E) return B;
 function Is_Exception_Handler                (Id : E) return B;
 function Is_Exported                         (Id : E) return B;
 function Is_Known_Null                       (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_Loop_Parameter                   (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 May_Inherit_Delayed_Rep_Aspects     (Id : E) return B;
 function Mechanism                           (Id : E) return M;
 function Modulus                             (Id : E) return U;
 function Must_Be_On_Byte_Boundary            (Id : E) return B;
 function Must_Have_Preelab_Init              (Id : E) return B;
+function Needs_Activation_Record             (Id : E) return B;
 function Needs_Debug_Info                    (Id : E) return B;
 function Needs_No_Actuals                    (Id : E) return B;
 function Never_Set_In_Source                 (Id : E) return B;
 function Next_Inlined_Subprogram             (Id : E) return E;
 function No_Dynamic_Predicate_On_Actual      (Id : E) return B;
 function Part_Of_Constituents                (Id : E) return L;
 function Part_Of_References                  (Id : E) return L;
 function Partial_View_Has_Unknown_Discr      (Id : E) return B;
 function Pending_Access_Types                (Id : E) return L;
 function Postconditions_Proc                 (Id : E) return E;
+function Predicated_Parent                   (Id : E) return E;
 function Predicates_Ignored                  (Id : E) return B;
+function Prev_Entity                         (Id : E) return E;
 function Prival                              (Id : E) return E;
 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_Subprogram                (Id : E) return N;
 function Protection_Object                   (Id : E) return E;
 function Reachable                           (Id : E) return B;
 function RM_Size                             (Id : E) return U;
 function Scalar_Range                        (Id : E) return N;
 function Scale_Value                         (Id : E) return U;
 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_Procs_Instance           (Id : E) return E;
 function Size_Check_Code                     (Id : E) return N;
 function Size_Depends_On_Discriminant        (Id : E) return B;
 function Size_Known_At_Compile_Time          (Id : E) return B;
 function Small_Value                         (Id : E) return R;
 function Strict_Alignment                    (Id : E) return B;
 function String_Literal_Length               (Id : E) return U;
 function String_Literal_Low_Bound            (Id : E) return N;
 function Subprograms_For_Type                (Id : E) return L;
 function Subps_Index                         (Id : E) return U;
+function Suppress_Elaboration_Warnings       (Id : E) return B;
 function Suppress_Initialization             (Id : E) return B;
 function Suppress_Style_Checks               (Id : E) return B;
 function Suppress_Value_Tracking_On_Call     (Id : E) return B;
 function Task_Body_Procedure                 (Id : E) return N;
 function Thunk_Entity                        (Id : E) return E;
 function Is_Boolean_Type                     (Id : E) return B;
 function Is_Constant_Object                  (Id : E) return B;
 function Is_Controlled                       (Id : E) return B;
 function Is_Discriminal                      (Id : E) return B;
 function Is_Dynamic_Scope                    (Id : E) return B;
+function Is_Elaboration_Target               (Id : E) return B;
 function Is_External_State                   (Id : E) return B;
 function Is_Finalizer                        (Id : E) return B;
 function Is_Null_State                       (Id : E) return B;
 function Is_Package_Or_Generic_Package       (Id : E) return B;
 function Is_Packed_Array                     (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_Entries                      (Id : E) return Nat;
 function Number_Formals                      (Id : E) return Pos;
+function Object_Size_Clause                  (Id : E) return N;
 function Parameter_Mode                      (Id : E) return Formal_Kind;
 function Partial_Refinement_Constituents     (Id : E) return L;
 function Primitive_Operations                (Id : E) return L;
 function Root_Type                           (Id : E) return E;
 function Safe_Emax_Value                     (Id : E) return U;
 procedure Set_Delta_Value                     (Id : E; V : R);
 procedure Set_Dependent_Instances             (Id : E; V : L);
 procedure Set_Depends_On_Private              (Id : E; V : B := True);
 procedure Set_Derived_Type_Link               (Id : E; V : E);
 procedure Set_Digits_Value                    (Id : E; V : U);
+procedure Set_Predicated_Parent               (Id : E; V : E);
 procedure Set_Predicates_Ignored              (Id : E; V : B);
 procedure Set_Direct_Primitive_Operations     (Id : E; V : L);
 procedure Set_Directly_Designated_Type        (Id : E; V : E);
 procedure Set_Disable_Controlled              (Id : E; V : B := True);
 procedure Set_Discard_Names                   (Id : E; V : B := True);
 procedure Set_Has_Unknown_Discriminants       (Id : E; V : B := True);
 procedure Set_Has_Visible_Refinement          (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_Hidden_In_Formal_Instance       (Id : E; V : L);
 procedure Set_Homonym                         (Id : E; V : E);
 procedure Set_Ignore_SPARK_Mode_Pragmas       (Id : E; V : B := True);
 procedure Set_Import_Pragma                   (Id : E; V : E);
 procedure Set_Incomplete_Actuals              (Id : E; V : L);
 procedure Set_In_Package_Body                 (Id : E; V : B := True);
 procedure Set_Interface_Name                  (Id : E; V : N);
 procedure Set_Interfaces                      (Id : E; V : L);
 procedure Set_Is_Abstract_Subprogram          (Id : E; V : B := True);
 procedure Set_Is_Abstract_Type                (Id : E; V : B := True);
 procedure Set_Is_Access_Constant              (Id : E; V : B := True);
+procedure Set_Is_Activation_Record            (Id : E; V : B := True);
 procedure Set_Is_Actual_Subtype               (Id : E; V : B := True);
 procedure Set_Is_Ada_2005_Only                (Id : E; V : B := True);
 procedure Set_Is_Ada_2012_Only                (Id : E; V : B := True);
 procedure Set_Is_Aliased                      (Id : E; V : B := True);
 procedure Set_Is_Asynchronous                 (Id : E; V : B := True);
 procedure Set_Is_Discrim_SO_Function          (Id : E; V : B := True);
 procedure Set_Is_Discriminant_Check_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_Elaboration_Checks_OK_Id     (Id : E; V : B := True);
+procedure Set_Is_Elaboration_Warnings_OK_Id   (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_Entry_Wrapper                (Id : E; V : B := True);
 procedure Set_Is_Exception_Handler            (Id : E; V : B := True);
 procedure Set_Is_Exported                     (Id : E; V : B := True);
 procedure Set_Is_Known_Valid                  (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_Loop_Parameter               (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_May_Inherit_Delayed_Rep_Aspects (Id : E; V : B := True);
 procedure Set_Mechanism                       (Id : E; V : M);
 procedure Set_Modulus                         (Id : E; V : U);
 procedure Set_Must_Be_On_Byte_Boundary        (Id : E; V : B := True);
 procedure Set_Must_Have_Preelab_Init          (Id : E; V : B := True);
+procedure Set_Needs_Activation_Record         (Id : E; V : B := True);
 procedure Set_Needs_Debug_Info                (Id : E; V : B := True);
 procedure Set_Needs_No_Actuals                (Id : E; V : B := True);
 procedure Set_Never_Set_In_Source             (Id : E; V : B := True);
 procedure Set_Next_Inlined_Subprogram         (Id : E; V : E);
 procedure Set_No_Dynamic_Predicate_On_Actual  (Id : E; V : B := True);
 procedure Set_Part_Of_Constituents            (Id : E; V : L);
 procedure Set_Part_Of_References              (Id : E; V : L);
 procedure Set_Partial_View_Has_Unknown_Discr  (Id : E; V : B := True);
 procedure Set_Pending_Access_Types            (Id : E; V : L);
 procedure Set_Postconditions_Proc             (Id : E; V : E);
+procedure Set_Prev_Entity                     (Id : E; V : E);
 procedure Set_Prival                          (Id : E; V : E);
 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_Subprogram            (Id : E; V : N);
 procedure Set_Protection_Object               (Id : E; V : E);
 procedure Set_Reachable                       (Id : E; V : B := True);
 procedure Set_RM_Size                         (Id : E; V : U);
 procedure Set_Scalar_Range                    (Id : E; V : N);
 procedure Set_Scale_Value                     (Id : E; V : U);
 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_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_Strict_Alignment                (Id : E; V : B := True);
 procedure Set_String_Literal_Length           (Id : E; V : U);
 procedure Set_String_Literal_Low_Bound        (Id : E; V : N);
 procedure Set_Subprograms_For_Type            (Id : E; V : L);
 procedure Set_Subps_Index                     (Id : E; V : U);
+procedure Set_Suppress_Elaboration_Warnings   (Id : E; V : B := True);
 procedure Set_Suppress_Initialization         (Id : E; V : B := True);
 procedure Set_Suppress_Style_Checks           (Id : E; V : B := True);
 procedure Set_Suppress_Value_Tracking_On_Call (Id : E; V : B := True);
 procedure Set_Task_Body_Procedure             (Id : E; V : N);
 procedure Set_Thunk_Entity                    (Id : E; V : E);
 -------------------------------
 -- Miscellaneous Subprograms --
 -------------------------------
-procedure Append_Entity (Id : Entity_Id; V : Entity_Id);
+procedure Append_Entity (Id : Entity_Id; Scop : Entity_Id);
---  Add an entity to the list of entities declared in the scope V
+--  Add an entity to the list of entities declared in the scope Scop
 function Get_Full_View (T : Entity_Id) return Entity_Id;
 --  If T is an incomplete type and the full declaration has been seen, or
 --  is the name of a class_wide type whose root is incomplete, return the
 --  corresponding full declaration, else return T itself.
 function Is_Entity_Name (N : Node_Id) return Boolean;
 --  Test if the node N is the name of an entity (i.e. is an identifier,
 --  expanded name, or an attribute reference that returns an entity).
+procedure Link_Entities (First : Entity_Id; Second : Entity_Id);
+--  Link entities First and Second in one entity chain.
+--
+--  NOTE: No updates are done to the First_Entity and Last_Entity fields
+--  of the scope.
 function Next_Index (Id : Node_Id) return Node_Id;
 --  Given an index from a previous call to First_Index or Next_Index,
 --  returns a node representing the occurrence of the next index subtype,
 --  or Empty if there are no more index subtypes.
+procedure Remove_Entity (Id : Entity_Id);
+--  Remove entity Id from the entity chain of its scope
 function Scope_Depth (Id : Entity_Id) return Uint;
 --  Returns the scope depth value of the Id, unless the Id is a record
 --  type, in which case it returns the scope depth of the record scope.
 --  Given an entity_kind K this function returns the entity_kind
 --  corresponding to subtype kind of the type represented by K. For
 --  example if K is E_Signed_Integer_Type then E_Signed_Integer_Subtype
 --  is returned. If K is already a subtype kind it itself is returned. An
 --  internal error is generated if no such correspondence exists for K.
+procedure Unlink_Next_Entity (Id : Entity_Id);
+--  Unchain entity Id's forward link within the entity chain of its scope
 ----------------------------------
 -- Debugging Output Subprograms --
 ----------------------------------
 pragma Inline (Has_Unknown_Discriminants);
 pragma Inline (Has_Visible_Refinement);
 pragma Inline (Has_Volatile_Components);
 pragma Inline (Has_Xref_Entry);
 pragma Inline (Hiding_Loop_Variable);
+pragma Inline (Hidden_In_Formal_Instance);
 pragma Inline (Homonym);
 pragma Inline (Ignore_SPARK_Mode_Pragmas);
 pragma Inline (Import_Pragma);
 pragma Inline (Incomplete_Actuals);
 pragma Inline (In_Package_Body);
 pragma Inline (Interface_Name);
 pragma Inline (Interfaces);
 pragma Inline (Is_Abstract_Subprogram);
 pragma Inline (Is_Abstract_Type);
 pragma Inline (Is_Access_Constant);
+pragma Inline (Is_Activation_Record);
 pragma Inline (Is_Actual_Subtype);
 pragma Inline (Is_Access_Protected_Subprogram_Type);
 pragma Inline (Is_Access_Subprogram_Type);
 pragma Inline (Is_Access_Type);
 pragma Inline (Is_Ada_2005_Only);
 pragma Inline (Is_Discrim_SO_Function);
 pragma Inline (Is_Discriminant_Check_Function);
 pragma Inline (Is_Dispatch_Table_Entity);
 pragma Inline (Is_Dispatching_Operation);
 pragma Inline (Is_Elaboration_Checks_OK_Id);
+pragma Inline (Is_Elaboration_Warnings_OK_Id);
 pragma Inline (Is_Elementary_Type);
 pragma Inline (Is_Eliminated);
 pragma Inline (Is_Entry);
 pragma Inline (Is_Entry_Formal);
 pragma Inline (Is_Entry_Wrapper);
 pragma Inline (Is_Known_Valid);
 pragma Inline (Is_Limited_Composite);
 pragma Inline (Is_Limited_Interface);
 pragma Inline (Is_Limited_Record);
 pragma Inline (Is_Local_Anonymous_Access);
+pragma Inline (Is_Loop_Parameter);
 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 (Known_To_Have_Preelab_Init);
 pragma Inline (Last_Aggregate_Assignment);
 pragma Inline (Last_Assignment);
 pragma Inline (Last_Entity);
 pragma Inline (Limited_View);
+pragma Inline (Link_Entities);
 pragma Inline (Linker_Section_Pragma);
 pragma Inline (Lit_Indexes);
 pragma Inline (Lit_Strings);
 pragma Inline (Low_Bound_Tested);
 pragma Inline (Machine_Radix_10);
 pragma Inline (May_Inherit_Delayed_Rep_Aspects);
 pragma Inline (Mechanism);
 pragma Inline (Modulus);
 pragma Inline (Must_Be_On_Byte_Boundary);
 pragma Inline (Must_Have_Preelab_Init);
+pragma Inline (Needs_Activation_Record);
 pragma Inline (Needs_Debug_Info);
 pragma Inline (Needs_No_Actuals);
 pragma Inline (Never_Set_In_Source);
 pragma Inline (Next_Index);
 pragma Inline (Next_Inlined_Subprogram);
 pragma Inline (Part_Of_Constituents);
 pragma Inline (Part_Of_References);
 pragma Inline (Partial_View_Has_Unknown_Discr);
 pragma Inline (Pending_Access_Types);
 pragma Inline (Postconditions_Proc);
+pragma Inline (Predicated_Parent);
 pragma Inline (Predicates_Ignored);
+pragma Inline (Prev_Entity);
 pragma Inline (Prival);
 pragma Inline (Prival_Link);
 pragma Inline (Private_Dependents);
-pragma Inline (Private_View);
 pragma Inline (Protected_Body_Subprogram);
 pragma Inline (Protected_Formal);
 pragma Inline (Protected_Subprogram);
 pragma Inline (Protection_Object);
 pragma Inline (Reachable);
 pragma Inline (Related_Array_Object);
 pragma Inline (Related_Expression);
 pragma Inline (Related_Instance);
 pragma Inline (Related_Type);
 pragma Inline (Relative_Deadline_Variable);
+pragma Inline (Remove_Entity);
 pragma Inline (Renamed_Entity);
 pragma Inline (Renamed_In_Spec);
 pragma Inline (Renamed_Object);
 pragma Inline (Renaming_Map);
 pragma Inline (Requires_Overriding);
 pragma Inline (RM_Size);
 pragma Inline (Scalar_Range);
 pragma Inline (Scale_Value);
 pragma Inline (Scope_Depth_Value);
 pragma Inline (Sec_Stack_Needed_For_Return);
-pragma Inline (Shadow_Entities);
 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 (Strict_Alignment);
 pragma Inline (String_Literal_Length);
 pragma Inline (String_Literal_Low_Bound);
 pragma Inline (Subprograms_For_Type);
 pragma Inline (Subps_Index);
+pragma Inline (Suppress_Elaboration_Warnings);
 pragma Inline (Suppress_Initialization);
 pragma Inline (Suppress_Style_Checks);
 pragma Inline (Suppress_Value_Tracking_On_Call);
 pragma Inline (Task_Body_Procedure);
 pragma Inline (Thunk_Entity);
 pragma Inline (Treat_As_Volatile);
 pragma Inline (Underlying_Full_View);
 pragma Inline (Underlying_Record_View);
 pragma Inline (Universal_Aliasing);
+pragma Inline (Unlink_Next_Entity);
 pragma Inline (Unset_Reference);
 pragma Inline (Used_As_Generic_Actual);
 pragma Inline (Uses_Lock_Free);
 pragma Inline (Uses_Sec_Stack);
 pragma Inline (Validated_Object);
 pragma Inline (Set_Has_Unknown_Discriminants);
 pragma Inline (Set_Has_Visible_Refinement);
 pragma Inline (Set_Has_Volatile_Components);
 pragma Inline (Set_Has_Xref_Entry);
 pragma Inline (Set_Hiding_Loop_Variable);
+pragma Inline (Set_Hidden_In_Formal_Instance);
 pragma Inline (Set_Homonym);
 pragma Inline (Set_Ignore_SPARK_Mode_Pragmas);
 pragma Inline (Set_Import_Pragma);
 pragma Inline (Set_Incomplete_Actuals);
 pragma Inline (Set_In_Package_Body);
 pragma Inline (Set_Interface_Name);
 pragma Inline (Set_Interfaces);
 pragma Inline (Set_Is_Abstract_Subprogram);
 pragma Inline (Set_Is_Abstract_Type);
 pragma Inline (Set_Is_Access_Constant);
+pragma Inline (Set_Is_Activation_Record);
 pragma Inline (Set_Is_Actual_Subtype);
 pragma Inline (Set_Is_Ada_2005_Only);
 pragma Inline (Set_Is_Ada_2012_Only);
 pragma Inline (Set_Is_Aliased);
 pragma Inline (Set_Is_Asynchronous);
 pragma Inline (Set_Is_Discrim_SO_Function);
 pragma Inline (Set_Is_Discriminant_Check_Function);
 pragma Inline (Set_Is_Dispatch_Table_Entity);
 pragma Inline (Set_Is_Dispatching_Operation);
 pragma Inline (Set_Is_Elaboration_Checks_OK_Id);
+pragma Inline (Set_Is_Elaboration_Warnings_OK_Id);
 pragma Inline (Set_Is_Eliminated);
 pragma Inline (Set_Is_Entry_Formal);
 pragma Inline (Set_Is_Entry_Wrapper);
 pragma Inline (Set_Is_Exception_Handler);
 pragma Inline (Set_Is_Exported);
 pragma Inline (Set_Is_Known_Valid);
 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_Loop_Parameter);
 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_May_Inherit_Delayed_Rep_Aspects);
 pragma Inline (Set_Mechanism);
 pragma Inline (Set_Modulus);
 pragma Inline (Set_Must_Be_On_Byte_Boundary);
 pragma Inline (Set_Must_Have_Preelab_Init);
+pragma Inline (Set_Needs_Activation_Record);
 pragma Inline (Set_Needs_Debug_Info);
 pragma Inline (Set_Needs_No_Actuals);
 pragma Inline (Set_Never_Set_In_Source);
 pragma Inline (Set_Next_Inlined_Subprogram);
 pragma Inline (Set_No_Dynamic_Predicate_On_Actual);
 pragma Inline (Set_Part_Of_Constituents);
 pragma Inline (Set_Part_Of_References);
 pragma Inline (Set_Partial_View_Has_Unknown_Discr);
 pragma Inline (Set_Pending_Access_Types);
 pragma Inline (Set_Postconditions_Proc);
+pragma Inline (Set_Predicated_Parent);
 pragma Inline (Set_Predicates_Ignored);
+pragma Inline (Set_Prev_Entity);
 pragma Inline (Set_Prival);
 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_Subprogram);
 pragma Inline (Set_Protection_Object);
 pragma Inline (Set_Reachable);
 pragma Inline (Set_RM_Size);
 pragma Inline (Set_Scalar_Range);
 pragma Inline (Set_Scale_Value);
 pragma Inline (Set_Scope_Depth_Value);
 pragma Inline (Set_Sec_Stack_Needed_For_Return);
-pragma Inline (Set_Shadow_Entities);
 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_Strict_Alignment);
 pragma Inline (Set_String_Literal_Length);
 pragma Inline (Set_String_Literal_Low_Bound);
 pragma Inline (Set_Subprograms_For_Type);
 pragma Inline (Set_Subps_Index);
+pragma Inline (Set_Suppress_Elaboration_Warnings);
 pragma Inline (Set_Suppress_Initialization);
 pragma Inline (Set_Suppress_Style_Checks);
 pragma Inline (Set_Suppress_Value_Tracking_On_Call);
 pragma Inline (Set_Task_Body_Procedure);
 pragma Inline (Set_Thunk_Entity);

Mercurial > hg > CbC > CbC_gcc

comparison gcc/ada/einfo.ads @ 131:84e7813d76e9