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

comparison gcc/ada/sinfo.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
 --                                                                          --
 --                                S 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- --
 --  The grammar in the RM is followed very closely in the tree design, and is
 --  repeated as part of this source file.
 --  The tree contains not only the full syntactic representation of the
 --  program, but also the results of semantic analysis. In particular, the
---  nodes for defining identifiers, defining character literals and defining
+--  nodes for defining identifiers, defining character literals, and defining
 --  operator symbols, collectively referred to as entities, represent what
 --  would normally be regarded as the symbol table information. In addition a
 --  number of the tree nodes contain semantic information.
 --  WARNING: Several files are automatically generated from this package.
 --      Alt := Next (Alt);
 --   end loop;
 --  The Present function tests for Empty, which in this case signals the end
 --  of the list. First returns Empty immediately if the list is empty.
---  Present is defined in Atree, First and Next are defined in Nlists.
+--  Present is defined in Atree; First and Next are defined in Nlists.
 --  The exceptions to this rule occur with {DEFINING_IDENTIFIERS} in all
 --  contexts, which is handled as described in the previous section, and
 --  with {,library_unit_NAME} in the N_With_Clause mode, which is handled
 --  using the First_Name and Last_Name flags, as further detailed in the
 -- Field Definitions --
 -----------------------
 --  In the following node definitions, all fields, both syntactic and
 --  semantic, are documented. The one exception is in the case of entities
---  (defining identifiers, character literals and operator symbols), where
+--  (defining identifiers, character literals, and operator symbols), where
 --  the usage of the fields depends on the entity kind. Entity fields are
 --  fully documented in the separate package Einfo.
 --  In the node definitions, three common sets of fields are abbreviated to
 --  save both space in the documentation, and also space in the string
 ----------------
 --  The SPARK RM 6.9 defines two classes of constructs - Ghost entities and
 --  Ghost statements. The intent of the feature is to treat Ghost constructs
 --  as non-existent when Ghost assertion policy Ignore is in effect.
+--
 --  The corresponding nodes which map to Ghost constructs are:
+--
 --    Ghost entities
 --      Declaration nodes
 --      N_Package_Body
 --      N_Subprogram_Body
+--
 --    Ghost statements
 --      N_Assignment_Statement
 --      N_Procedure_Call_Statement
 --      N_Pragma
+--
 --  In addition, the compiler treats instantiations as Ghost entities
+--
 --  To achieve the removal of ignored Ghost constructs, the compiler relies
---  on global variable Ghost_Mode and a mechanism called "Ghost regions".
+--  on global variables Ghost_Mode and Ignored_Ghost_Region, which comprise
---  The values of the global variable are as follows:
+--  a mechanism called "Ghost regions".
+--
+--  The values of Ghost_Mode are as follows:
+--
 --    1. Check - All static semantics as defined in SPARK RM 6.9 are in
 --       effect. The Ghost region has mode Check.
+--
 --    2. Ignore - Same as Check, ignored Ghost code is not present in ALI
 --       files, object files, and the final executable. The Ghost region
 --       has mode Ignore.
+--
 --    3. None - No Ghost region is in effect
+--
+--  The value of Ignored_Ghost_Region captures the node which initiates an
+--  ignored Ghost region.
+--
 --  A Ghost region is a compiler operating mode, similar to Check_Syntax,
 --  however a region is much more finely grained and depends on the policy
 --  in effect. The region starts prior to the analysis of a Ghost construct
 --  and ends immediately after its expansion. The region is established as
 --  follows:
+--
 --    1. Declarations - Prior to analysis, if the declaration is subject to
 --       pragma Ghost.
+--
 --    2. Renaming declarations - Same as 1) or when the renamed entity is
 --       Ghost.
+--
 --    3. Completing declarations - Same as 1) or when the declaration is
 --       partially analyzed and the declaration completes a Ghost entity.
+--
 --    4. N_Package_Body, N_Subprogram_Body - Same as 1) or when the body is
 --       partially analyzed and completes a Ghost entity.
+--
 --    5. N_Assignment_Statement - After the left hand side is analyzed and
 --       references a Ghost entity.
+--
 --    6. N_Procedure_Call_Statement - After the name is analyzed and denotes
 --       a Ghost procedure.
+--
 --    7. N_Pragma - During analysis, when the related entity is Ghost or the
 --       pragma encloses a Ghost entity.
+--
 --    8. Instantiations - Save as 1) or when the instantiation is partially
 --       analyzed and the generic template is Ghost.
+--
---  Routines Mark_And_Set_Ghost_xxx and Set_Ghost_Mode install a new Ghost
+--  The following routines install a new Ghost region:
---  region and routine Restore_Ghost_Mode ends a Ghost region. A region may
+--
---  be reinstalled similarly to scopes for decoupled expansion such as the
+--     Install_Ghost_Region
---  generation of dispatch tables or the creation of a predicate function.
+--     Mark_And_Set_Ghost_xxx
+--     Set_Ghost_Mode
+--
+--  The following routine ends a Ghost region:
+--
+--     Restore_Ghost_Region
+--
+--  A region may be reinstalled similarly to scopes for decoupled expansion
+--  such as the generation of dispatch tables or the creation of a predicate
+--  function.
+--
 --  If the mode of a Ghost region is Ignore, any newly created nodes as well
 --  as source entities are marked as ignored Ghost. In additon, the marking
 --  process signals all enclosing scopes that an ignored Ghost node resides
 --  within. The compilation unit where the node resides is also added to an
 --  auxiliary table for post processing.
+--
 --  After the analysis and expansion of all compilation units takes place
 --  as well as the instantiation of all inlined [generic] bodies, the GNAT
 --  driver initiates a separate pass which removes all ignored Ghost nodes
 --  from all units stored in the auxiliary table.
 --       local effects and call-graphs in ALI files, with the completely
 --       qualified names (in particular the suffix to distinguish homonyms).
 --  The tree after this light expansion should be fully analyzed
 --  semantically, which sometimes requires the insertion of semantic
---  pre-analysis, for example for subprogram contracts and pragma
+--  preanalysis, for example for subprogram contracts and pragma
 --  check/assert. In particular, all expression must have their proper type,
 --  and semantic links should be set between tree nodes (partial to full
 --  view, etc.) Some kinds of nodes should be either absent, or can be
 --  ignored by the formal verification backend:
 --
 --    In Ada 2012, Corresponding_Spec is set on expression functions that
 --    complete a subprogram declaration.
 --  Corresponding_Spec_Of_Stub (Node2-Sem)
---    This field is present in subprogram, package, task and protected body
+--    This field is present in subprogram, package, task, and protected body
 --    stubs where it points to the corresponding spec of the stub. Due to
 --    clashes in the structure of nodes, we cannot use Corresponding_Spec.
 --  Corresponding_Stub (Node3-Sem)
 --    This field is present in an N_Subunit node. It holds the node in
 --    hidden list header used by the runtime finalization support has been
 --    added to the size of the prefix. The flag also prevents the infinite
 --    expansion of the same attribute in the said context.
 --  Hidden_By_Use_Clause (Elist5-Sem)
---     An entity list present in use clauses that appear within
+--    An entity list present in use clauses that appear within
---     instantiations. For the resolution of local entities, entities
+--    instantiations. For the resolution of local entities, entities
---     introduced by these use clauses have priority over global ones, and
+--    introduced by these use clauses have priority over global ones,
---     outer entities must be explicitly hidden/restored on exit.
+--    and outer entities must be explicitly hidden/restored on exit.
 --  Implicit_With (Flag16-Sem)
---    This flag is set in the N_With_Clause node that is implicitly
+--    Present in N_With_Clause nodes. The flag indicates that the clause
---    generated for runtime units that are loaded by the expander or in
+--    does not comes from source and introduces an implicit dependency on
---    GNATprove mode, and also for package System, if it is loaded
+--    a particular unit. Such implicit with clauses are generated by:
---    implicitly by a use of the 'Address or 'Tag attribute.
+--
---    ??? There are other implicit with clauses as well.
+--      * ABE mechanism - The static elaboration model of both the default
+--        and the legacy ABE mechanism use with clauses to encode implicit
---  Implicit_With_From_Instantiation (Flag12-Sem)
+--        Elaborate[_All] pragmas.
---     Set in N_With_Clause nodes from generic instantiations.
+--
+--      * Analysis - A with clause for child unit A.B.C is equivalent to
+--        a series of clauses that with A, A.B, and A.B.C. Manipulation of
+--        contexts utilizes implicit with clauses to emulate the visibility
+--        of a particular unit.
+--
+--      * RTSfind - The compiler generates code which references entities
+--        from the runtime.
 --  Import_Interface_Present (Flag16-Sem)
---     This flag is set in an Interface or Import pragma if a matching
+--    This flag is set in an Interface or Import pragma if a matching
---     pragma of the other kind is also present. This is used to avoid
+--    pragma of the other kind is also present. This is used to avoid
---     generating some unwanted error messages.
+--    generating some unwanted error messages.
 --  Includes_Infinities (Flag11-Sem)
 --    This flag is present in N_Range nodes. It is set for the range of
 --    unconstrained float types defined in Standard, which include not only
 --    the given range of values, but also legitimately can include infinite
 --    a Debug_Policy pragma that resulted in totally disabling the flagged
 --    aspect or policy as a result of using the GNAT-defined policy DISABLE.
 --    If this flag is set, the aspect or policy is not analyzed for semantic
 --    correctness, so any expressions etc will not be marked as analyzed.
---  Is_Dispatching_Call (Flag3-Sem)
+--  Is_Dispatching_Call (Flag6-Sem)
 --    Present in call marker nodes. Set when the related call which prompted
 --    the creation of the marker is dispatching.
 --  Is_Dynamic_Coextension (Flag18-Sem)
 --    Present in allocator nodes, to indicate that this is an allocator
 --    for an access discriminant of a dynamically allocated object. The
 --    coextension must be deallocated and finalized at the same time as
---    the enclosing object.
+--    the enclosing object. The partner flag Is_Static_Coextension must
+--    be cleared before setting this flag to True.
 --  Is_Effective_Use_Clause (Flag1-Sem)
 --    Present in both N_Use_Type_Clause and N_Use_Package_Clause to indicate
 --    a use clause is "used" in the current source.
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
---    Present in nodes which represent an elaboration scenario. Those are
+--    Present in the following nodes:
---    assignment statement, attribute reference, call marker, entry call
+--
---    statement, expanded name, function call, identifier, instantiation,
+--      assignment statement
---    procedure call statement, and requeue statement nodes. Set when the
+--      attribute reference
---    node appears within a context which allows for the generation of
+--      call marker
---    run-time ABE checks. This flag detemines whether the ABE Processing
+--      entry call statement
+--      expanded name
+--      function call
+--      function instantiation
+--      identifier
+--      package instantiation
+--      procedure call statement
+--      procedure instantiation
+--      requeue statement
+--
+--    Set when the node appears within a context which allows the generation
+--    of run-time ABE checks. This flag detemines whether the ABE Processing
 --    phase generates conditional ABE checks and guaranteed ABE failures.
+--  Is_Elaboration_Code (Flag9-Sem)
+--    Present in assignment statements. Set for an assignment which updates
+--    the elaboration flag of a package or subprogram when the corresponding
+--    body is successfully elaborated.
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
+--    Present in the following nodes:
+--
+--      attribute reference
+--      call marker
+--      entry call statement
+--      function call
+--      function instantiation
+--      package instantiation
+--      procedure call statement
+--      procedure instantiation
+--      requeue statement
+--
+--    Set when the node appears within a context where elaboration warnings
+--    are enabled. This flag determines whether the ABE processing phase
+--    generates diagnostics on various elaboration issues.
 --  Is_Entry_Barrier_Function (Flag8-Sem)
 --    This flag is set on N_Subprogram_Declaration and N_Subprogram_Body
 --    nodes which emulate the barrier function of a protected entry body.
 --    The flag is used when checking for incorrect use of Current_Task.
 --    objects. The wrapper prevents interference between exception handlers
 --    and At_End handlers.
 --  Is_Generic_Contract_Pragma (Flag2-Sem)
 --    This flag is present in N_Pragma nodes. It is set when the pragma is
---    a source construct, applies to a generic unit or its body and denotes
+--    a source construct, applies to a generic unit or its body, and denotes
 --    one of the following contract-related annotations:
 --      Abstract_State
 --      Contract_Cases
 --      Depends
 --      Extensions_Visible
 --    the finalization machinery to wrap initialization statements. This
 --    flag aids the ABE Processing phase to suppress the diagnostics of
 --    finalization actions in initialization contexts.
 --  Is_Known_Guaranteed_ABE (Flag18-Sem)
---    Present in call markers and instantiations. Set when the elaboration
+--    NOTE: this flag is shared between the legacy ABE mechanism and the
---    or evaluation of the scenario results in a guaranteed ABE. The flag
+--    default ABE mechanism.
---    is used to suppress the instantiation of generic bodies because gigi
+--
---    cannot handle certain forms of premature instantiation, as well as to
+--    Present in the following nodes:
---    prevent the reexamination of the node by the ABE Processing phase.
+--
+--      call marker
+--      formal package declaration
+--      function call
+--      function instantiation
+--      package instantiation
+--      procedure call statement
+--      procedure instantiation
+--
+--    Set when the elaboration or evaluation of the scenario results in
+--    a guaranteed ABE. The flag is used to suppress the instantiation of
+--    generic bodies because gigi cannot handle certain forms of premature
+--    instantiation, as well as to prevent the reexamination of the node by
+--    the ABE Processing phase.
 --  Is_Machine_Number (Flag11-Sem)
 --    This flag is set in an N_Real_Literal node to indicate that the value
 --    is a machine number. This avoids some unnecessary cases of converting
 --    real literals to machine numbers.
 --  Is_Null_Loop (Flag16-Sem)
 --    This flag is set in an N_Loop_Statement node if the corresponding loop
 --    can be determined to be null at compile time. This is used to remove
 --    the loop entirely at expansion time.
+--  Is_OpenAcc_Environment (Flag13-Sem)
+--    This flag is set in an N_Loop_Statement node if it contains an
+--    Acc_Data, Acc_Parallel or Add_Kernels pragma.
+--  Is_OpenAcc_Loop (Flag14-Sem)
+--    This flag is set in an N_Loop_Statement node if it contains an
+--    OpenAcc_Loop pragma.
 --  Is_Overloaded (Flag5-Sem)
 --    A flag present in all expression nodes. Used temporarily during
 --    overloading determination. The setting of this flag is not relevant
 --    once overloading analysis is complete.
 --    Present in N_Qualified_Expression nodes. Set when the qualification is
 --    converting a universal literal to a specific type. Such qualifiers aid
 --    the resolution of accidental overloading of binary or unary operators
 --    which may occur in instances.
---  Is_Recorded_Scenario (Flag6-Sem)
+--  Is_Read (Flag1-Sem)
---    Present in call marker and instantiation nodes. Set when the scenario
+--    Present in variable reference markers. Set when the original variable
---    was saved by the ABE Recording phase. This flag aids the ABE machinery
+--    reference constitues a read of the variable.
---    to keep its internal data up-to-date in case the node is transformed
---    by Atree.Rewrite.
 --  Is_Source_Call (Flag4-Sem)
 --    Present in call marker nodes. Set when the related call came from
 --    source.
 --    determines when the SPARK model of elaboration be activated by the
 --    ABE Processing phase.
 --  Is_Static_Coextension (Flag14-Sem)
 --    Present in N_Allocator nodes. Set if the allocator is a coextension
---    of an object allocated on the stack rather than the heap.
+--    of an object allocated on the stack rather than the heap. The partner
+--    flag Is_Dynamic_Coextension must be cleared before setting this flag
+--    to True.
 --  Is_Static_Expression (Flag6-Sem)
 --    Indicates that an expression is a static expression according to the
 --    rules in (RM 4.9). Note that it is possible for this flag to be set
 --    when Raises_Constraint_Error is also set. In practice almost all cases
 --  Is_Task_Body_Procedure (Flag1-Sem)
 --    This flag is set on N_Subprogram_Declaration and N_Subprogram_Body
 --    nodes which emulate the body of a task unit.
 --  Is_Task_Master (Flag5-Sem)
---    A flag set in a Subprogram_Body, Block_Statement or Task_Body node to
+--    A flag set in a Subprogram_Body, Block_Statement, or Task_Body node to
 --    indicate that the construct is a task master (i.e. has declared tasks
 --    or declares an access to a task type).
+--  Is_Write (Flag2-Sem)
+--    Present in variable reference markers. Set when the original variable
+--    reference constitues a write of the variable.
 --  Itype (Node1-Sem)
 --    Used in N_Itype_Reference node to reference an itype for which it is
 --    important to ensure that it is defined. See description of this node
 --    for further details.
 --    cause freezing even though they normally would. This flag is also
 --    present in an N_Subtype_Indication node, since we also use these in
 --    calls to Freeze_Expression.
 --  Next_Entity (Node2-Sem)
---    Present in defining identifiers, defining character literals and
+--    Present in defining identifiers, defining character literals, and
 --    defining operator symbols (i.e. in all entities). The entities of a
 --    scope are chained, and this field is used as the forward pointer for
 --    this list. See Einfo for further details.
 --  Next_Exit_Statement (Node3-Sem)
 --    controlled. Also indicates that the primitive _assign should not be
 --    used for a tagged assignment. This is used in init procs and aggregate
 --    expansions where the generated assignments are initializations, not
 --    real assignments.
+--  No_Elaboration_Check (Flag4-Sem)
+--    NOTE: this flag is relevant only for the legacy ABE mechanism and
+--    should not be used outside of that context.
+--
+--    Present in N_Function_Call and N_Procedure_Call_Statement. Indicates
+--    that no elaboration check is needed on the call, because it appears in
+--    the context of a local Suppress pragma. This is used on calls within
+--    task bodies, where the actual elaboration checks are applied after
+--    analysis, when the local scope stack is not present
 --  No_Entities_Ref_In_Spec (Flag8-Sem)
 --    Present in N_With_Clause nodes. Set if the with clause is on the
 --    package or subprogram spec where the main unit is the corresponding
 --    body, and no entities of the with'ed unit are referenced by the spec
 --    (an entity may still be referenced in the body, so this flag is used
 --    declaration, generic declaration or instantiation, or library level
 --    rename) this field points to the compilation unit node for the parent
 --    package specification. This field is Empty for library bodies (the
 --    parent spec in this case can be found from the corresponding spec).
+--  Parent_With (Flag1-Sem)
+--    Present in N_With_Clause nodes. The flag indicates that the clause
+--    was generated for an ancestor unit to provide proper visibility. A
+--    with clause for child unit A.B.C produces two implicit parent with
+--    clauses for A and A.B.
 --  Premature_Use (Node5-Sem)
 --    Present in N_Incomplete_Type_Declaration node. Used for improved
 --    error diagnostics: if there is a premature usage of an incomplete
 --    type, a subsequently generated error message indicates the position
 --    of its full declaration.
 --    containing a single N_Object_Declaration representing the return
 --    object. We use a list (instead of just a pointer to the object decl)
 --    because Analyze wants to insert extra actions on this list.
 --  Rounded_Result (Flag18-Sem)
---    Present in N_Type_Conversion, N_Op_Divide and N_Op_Multiply nodes.
+--    Present in N_Type_Conversion, N_Op_Divide, and N_Op_Multiply nodes.
 --    Used in the fixed-point cases to indicate that the result must be
 --    rounded as a result of the use of the 'Round attribute. Also used for
 --    integer N_Op_Divide nodes to indicate that the result should be
 --    rounded to the nearest integer (breaking ties away from zero), rather
 --    than truncated towards zero as usual. These rounded integer operations
 --  SCIL_Target_Prim (Node2-Sem)
 --    Present in N_SCIL_Dispatching_Call nodes. References the primitive
 --    operation named (statically) in a dispatching call.
 --  Scope (Node3-Sem)
---    Present in defining identifiers, defining character literals and
+--    Present in defining identifiers, defining character literals, and
 --    defining operator symbols (i.e. in all entities). The entities of a
 --    scope all use this field to reference the corresponding scope entity.
 --    See Einfo for further details.
 --  Shift_Count_OK (Flag4-Sem)
 --    source type entity for the unchecked conversion instantiation
 --    which gigi must do size validation for.
 --  Split_PPC (Flag17)
 --    When a Pre or Post aspect specification is processed, it is broken
---    into AND THEN sections. The left most section has Split_PPC set to
+--    into AND THEN sections. The leftmost section has Split_PPC set to
 --    False, indicating that it is the original specification (e.g. for
 --    posting errors). For other sections, Split_PPC is set to True.
 --    This flag is set in both the N_Aspect_Specification node itself,
 --    and in the pragma which is generated from this node.
 --    body of the loop should be suppressed. This is set when the range
 --    of a FOR loop is known to be null, or is probably null (loop would
 --    only execute if invalid values are present).
 --  Target (Node1-Sem)
---    Present in call marker nodes. References the entity of the entry,
+--    Present in call and variable reference marker nodes. References the
---    operator, or subprogram invoked by the related call or requeue.
+--    entity of the original entity, operator, or subprogram being invoked,
+--    or the original variable being read or written.
 --  Target_Type (Node2-Sem)
 --    Used in an N_Validate_Unchecked_Conversion node to point to the target
 --    type entity for the unchecked conversion instantiation which gigi must
 --    do size validation for.
 --    these actions. The final tree is always rewritten to eliminate the
 --    need for this field, so in the tree passed to Gigi, this field is
 --    always set to No_List.
 --  Treat_Fixed_As_Integer (Flag14-Sem)
---    This flag appears in operator nodes for divide, multiply, mod and rem
+--    This flag appears in operator nodes for divide, multiply, mod, and rem
 --    on fixed-point operands. It indicates that the operands are to be
 --    treated as integer values, ignoring small values. This flag is only
 --    set as a result of expansion of fixed-point operations. Typically a
 --    fixed-point multiplication in the source generates subsidiary
 --    multiplication and division operations that work with the underlying
 --    During the analysis procedure, stubs in some situations get rewritten
 --    by the corresponding bodies, and we set this flag to remember that
 --    this happened. Note that it is not good enough to rely on the use of
 --    Original_Node here because of the case of nested instantiations where
 --    the substituted node can be copied.
---  Withed_Body (Node1-Sem)
---    Present in N_With_Clause nodes. Set if the unit in whose context
---    the with_clause appears instantiates a generic contained in the
---    library unit of the with_clause and as a result loads its body.
---    Used for a more precise unit traversal for CodePeer.
 --------------------------------------------------
 -- Note on Use of End_Label and End_Span Fields --
 --------------------------------------------------
 --  We allow this special usage in all Ada modes, but it would be a
 --  pain to allow these aspects to pervade the pragma syntax, and the
 --  representation of pragma nodes internally. So what we do is to
 --  replace these ASPECT_MARK forms with identifiers whose name is one
---  of the special internal names _Pre, _Post or _Type_Invariant.
+--  of the special internal names _Pre, _Post, or _Type_Invariant.
 --  We do a similar replacement of these Aspect_Mark forms in the
 --  Expression of a pragma argument association for the cases of
 --  the first arguments of any Check pragmas and Check_Policy pragmas
 --  depending on the setting of the Ekind field. These additional
 --  fields are defined (and access subprograms declared) in package
 --  Einfo.
 --  Note: N_Defining_Identifier is an extended node whose fields are
---  deliberate layed out to match the layout of fields in an ordinary
+--  deliberately layed out to match the layout of fields in an ordinary
 --  N_Identifier node allowing for easy alteration of an identifier
 --  node into a defining identifier node. For details, see procedure
 --  Sinfo.CN.Change_Identifier_To_Defining_Identifier.
 --  N_Defining_Identifier
 --  DERIVED_TYPE_DEFINITION ::=
 --    [abstract] [limited] new [NULL_EXCLUSION] parent_SUBTYPE_INDICATION
 --    [[and INTERFACE_LIST] RECORD_EXTENSION_PART]
---  Note: ABSTRACT, LIMITED and record extension part are not permitted
+--  Note: ABSTRACT, LIMITED, and record extension part are not permitted
---  in Ada 83 mode
+--  in Ada 83 mode.
 --  Note: a record extension part is required if ABSTRACT is present
 --  N_Derived_Type_Definition
 --  Sloc points to NEW
 --  Access_Definition is an optional field that gives support to
 --  Ada 2005 (AI-230). The parser generates nodes that have either the
 --  Subtype_Indication field or else the Access_Definition field.
 --  N_Component_Definition
---  Sloc points to ALIASED, ACCESS or to first token of subtype mark
+--  Sloc points to ALIASED, ACCESS, or to first token of subtype mark
 --  Aliased_Present (Flag4)
 --  Null_Exclusion_Present (Flag11)
 --  Subtype_Indication (Node5) (set to Empty if not present)
 --  Access_Definition (Node3) (set to Empty if not present)
 --    record
 --      COMPONENT_LIST
 --    end record
 --  | null record
---  Note: the Abstract_Present, Tagged_Present and Limited_Present
+--  Note: the Abstract_Present, Tagged_Present, and Limited_Present
 --  flags appear only for a record definition appearing in a record
 --  type definition.
 --  Note: the NULL RECORD case is not permitted in Ada 83
 --  Expressions (List1) (set to No_List if no associated expressions)
 --  Entity (Node4-Sem) used if the attribute yields a type
 --  Associated_Node (Node4-Sem)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
 --  Header_Size_Added (Flag11-Sem)
 --  Redundant_Use (Flag13-Sem)
 --  Must_Be_Byte_Aligned (Flag14-Sem)
 --  plus fields for expression
 --  There is no explicit node in the tree for an attribute designator.
 --  Instead the Attribute_Name and Expressions fields of the parent
 --  node (N_Attribute_Reference node) hold the information.
---  Note: if ACCESS, DELTA or DIGITS appears in an attribute
+--  Note: if ACCESS, DELTA, or DIGITS appears in an attribute
 --  designator, then they are treated as identifiers internally
 --  rather than the keywords of the same name.
 --------------------------------------
 -- 4.1.4  Range Attribute Reference --
 --  Note: this structure is used for both record and array aggregates
 --  since the two cases are not separable by the parser. The parser
 --  makes no attempt to enforce consistency here, so it is up to the
 --  semantic phase to make sure that the aggregate is consistent (i.e.
 --  that it is not a "half-and-half" case that mixes record and array
---  syntax. In particular, for a record aggregate, the expressions
+--  syntax). In particular, for a record aggregate, the expressions
 --  field will be set if there are positional associations.
 --  Note: N_Aggregate is not used for all aggregates; in particular,
 --  there is a separate node kind for extension aggregates.
 --  CONDITIONAL_EXPRESSION ::= IF_EXPRESSION | CASE_EXPRESSION
 --------------------------
 -- 4.5.7  If Expression --
-----------------------------
+--------------------------
 --  IF_EXPRESSION ::=
 --    if CONDITION then DEPENDENT_EXPRESSION
 --                {elsif CONDITION then DEPENDENT_EXPRESSION}
 --                [else DEPENDENT_EXPRESSION]
 --  Note: this node never appears in the tree passed to the back end,
 --  since the expander converts case expressions into case statements.
 ---------------------------------
--- 4.5.9 Quantified Expression --
+-- 4.5.8 Quantified Expression --
 ---------------------------------
 --  QUANTIFIED_EXPRESSION ::=
 --    for QUANTIFIER LOOP_PARAMETER_SPECIFICATION => PREDICATE
 --  | for QUANTIFIER ITERATOR_SPECIFICATION => PREDICATE
 --  Do_Length_Check (Flag4-Sem)
 --  Forwards_OK (Flag5-Sem)
 --  Backwards_OK (Flag6-Sem)
 --  No_Ctrl_Actions (Flag7-Sem)
 --  Has_Target_Names (Flag8-Sem)
+--  Is_Elaboration_Code (Flag9-Sem)
 --  Do_Tag_Check (Flag13-Sem)
 --  Componentwise_Assignment (Flag14-Sem)
 --  Suppress_Assignment_Checks (Flag18-Sem)
 --  Note: if a range check is required, then the Do_Range_Check flag
 --  Sloc points to LOOP
 --  Identifier (Node1) loop identifier (set to Empty if no identifier)
 --  Iteration_Scheme (Node2) (set to Empty if no iteration scheme)
 --  Statements (List3)
 --  End_Label (Node4)
+--  Is_OpenAcc_Environment (Flag13-Sem)
+--  Is_OpenAcc_Loop (Flag14-Sem)
 --  Has_Created_Identifier (Flag15)
 --  Is_Null_Loop (Flag16)
 --  Suppress_Loop_Warnings (Flag17)
 --  Note: the parser fills in the Identifier field if there is an
 --   actual parameter part)
 --  First_Named_Actual (Node4-Sem)
 --  Controlling_Argument (Node1-Sem) (set to Empty if not dispatching)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
+--  No_Elaboration_Check (Flag4-Sem)
 --  Do_Tag_Check (Flag13-Sem)
+--  Is_Known_Guaranteed_ABE (Flag18-Sem)
 --  plus fields for expression
 --  If any IN parameter requires a range check, then the corresponding
 --  argument expression has the Do_Range_Check flag set, and the range
 --  check is done against the formal type. Note that this argument
 --   actual parameter part)
 --  First_Named_Actual (Node4-Sem)
 --  Controlling_Argument (Node1-Sem) (set to Empty if not dispatching)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
+--  No_Elaboration_Check (Flag4-Sem)
 --  Is_Expanded_Build_In_Place_Call (Flag11-Sem)
 --  Do_Tag_Check (Flag13-Sem)
 --  No_Side_Effect_Removal (Flag17-Sem)
+--  Is_Known_Guaranteed_ABE (Flag18-Sem)
 --  plus fields for expression
 --------------------------------
 -- 6.4  Actual Parameter Part --
 --------------------------------
 ---------------------------
 -- 6.4  Actual Parameter --
 ---------------------------
---  EXPLICIT_ACTUAL_PARAMETER ::= EXPRESSION | variable_NAME
+--  EXPLICIT_ACTUAL_PARAMETER ::=
+--    EXPRESSION | variable_NAME | REDUCTION_EXPRESSION_PARAMETER
 ---------------------------
 -- 6.5  Return Statement --
 ---------------------------
 --  Parameter_Associations (List3) (set to No_List if no
 --   actual parameter part)
 --  First_Named_Actual (Node4-Sem)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
 ------------------------------
 -- 9.5.4  Requeue Statement --
 ------------------------------
 --  Sloc points to REQUEUE
 --  Name (Node2)
 --  Abort_Present (Flag15)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
 --------------------------
 -- 9.6  Delay Statement --
 --------------------------
 --  set to Standard_Location, but it is incorrect to test the Sloc
 --  to find out if a with clause is implicit, test the flag instead.
 --  N_With_Clause
 --  Sloc points to first token of library unit name
---  Withed_Body (Node1-Sem)
 --  Name (Node2)
+--  Private_Present (Flag15) set if with_clause has private keyword
+--  Limited_Present (Flag17) set if LIMITED is present
 --  Next_Implicit_With (Node3-Sem)
 --  Library_Unit (Node4-Sem)
 --  Corresponding_Spec (Node5-Sem)
 --  First_Name (Flag5) (set to True if first name or only one name)
 --  Last_Name (Flag6) (set to True if last name or only one name)
 --  Context_Installed (Flag13-Sem)
 --  Elaborate_Present (Flag4-Sem)
 --  Elaborate_All_Present (Flag14-Sem)
 --  Elaborate_All_Desirable (Flag9-Sem)
 --  Elaborate_Desirable (Flag11-Sem)
---  Private_Present (Flag15) set if with_clause has private keyword
 --  Implicit_With (Flag16-Sem)
---  Implicit_With_From_Instantiation (Flag12-Sem)
---  Limited_Present (Flag17) set if LIMITED is present
 --  Limited_View_Installed (Flag18-Sem)
+--  Parent_With (Flag1-Sem)
 --  Unreferenced_In_Spec (Flag7-Sem)
 --  No_Entities_Ref_In_Spec (Flag8-Sem)
 --  Note: Limited_Present and Limited_View_Installed are used to support
 --  the implementation of Ada 2005 (AI-50217).
 --   generic actual part)
 --  Parent_Spec (Node4-Sem)
 --  Instance_Spec (Node5-Sem)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
 --  Is_Declaration_Level_Node (Flag5-Sem)
---  Is_Recorded_Scenario (Flag6-Sem)
 --  Is_Known_Guaranteed_ABE (Flag18-Sem)
 --  N_Procedure_Instantiation
 --  Sloc points to PROCEDURE
 --  Defining_Unit_Name (Node1)
 --  Generic_Associations (List3) (set to No_List if no
 --   generic actual part)
 --  Instance_Spec (Node5-Sem)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
 --  Is_Declaration_Level_Node (Flag5-Sem)
---  Is_Recorded_Scenario (Flag6-Sem)
 --  Must_Override (Flag14) set if overriding indicator present
 --  Must_Not_Override (Flag15) set if not_overriding indicator present
 --  Is_Known_Guaranteed_ABE (Flag18-Sem)
 --  N_Function_Instantiation
 --   generic actual part)
 --  Parent_Spec (Node4-Sem)
 --  Instance_Spec (Node5-Sem)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
 --  Is_Declaration_Level_Node (Flag5-Sem)
---  Is_Recorded_Scenario (Flag6-Sem)
 --  Must_Override (Flag14) set if overriding indicator present
 --  Must_Not_Override (Flag15) set if not_overriding indicator present
 --  Is_Known_Guaranteed_ABE (Flag18-Sem)
 --  Note: overriding indicator is an Ada 2005 feature
 --  Name (Node2)
 --  Generic_Associations (List3) (set to No_List if (<>) case or
 --   empty generic actual part)
 --  Box_Present (Flag15)
 --  Instance_Spec (Node5-Sem)
+--  Is_Known_Guaranteed_ABE (Flag18-Sem)
 --------------------------------------
 -- 12.7  Formal Package Actual Part --
 --------------------------------------
 --  N_Call_Marker
 --  Sloc points to Sloc of original call
 --  Target (Node1-Sem)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
---  Is_Dispatching_Call (Flag3-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
 --  Is_Source_Call (Flag4-Sem)
 --  Is_Declaration_Level_Node (Flag5-Sem)
---  Is_Recorded_Scenario (Flag6-Sem)
+--  Is_Dispatching_Call (Flag6-Sem)
 --  Is_Known_Guaranteed_ABE (Flag18-Sem)
 ------------------------
 -- Compound Statement --
 ------------------------
 --  Contract_Test_Cases contains a collection of pragmas that correspond
 --  to aspects/pragmas Contract_Cases and Test_Case. The ordering in the
 --  list is in LIFO fashion.
---  Classifications contains pragmas that either declare, categorize or
+--  Classifications contains pragmas that either declare, categorize, or
 --  establish dependencies between subprogram or package inputs and
 --  outputs. Currently the following pragmas appear in this list:
 --    Abstract_States
 --    Async_Readers
 --    Async_Writers
 --  Source_Type (Node1-Sem)
 --  Target_Type (Node2-Sem)
 --  Note: in the case where a debug source file is generated, the Sloc
 --  for this node points to the VALIDATE keyword in the file output.
+-------------------------------
+-- Variable_Reference_Marker --
+-------------------------------
+--  This node is created during the analysis of direct or expanded names,
+--  and the resolution of entry and subprogram calls. It performs several
+--  functions:
+--    * Variable reference markers provide a uniform model for handling
+--      variable references by the ABE mechanism, regardless of whether
+--      expansion took place.
+--    * The variable reference marker captures the entity of the variable
+--      being read or written.
+--    * The variable reference markers aid the ABE Processing phase by
+--      signaling the presence of a call in case the original variable
+--      reference was transformed by expansion.
+--  Sprint syntax:  r#target#  --  for a read
+--                 rw#target#  --  for a read/write
+--                  w#target#  --  for a write
+--  The Sprint syntax shown above is not enabled by default
+--  N_Variable_Reference_Marker
+--  Sloc points to Sloc of original variable reference
+--  Target (Node1-Sem)
+--  Is_Read (Flag1-Sem)
+--  Is_Write (Flag2-Sem)
 -----------
 -- Empty --
 -----------
 N_Subunit,
 N_Task_Definition,
 N_Triggering_Alternative,
 N_Use_Type_Clause,
 N_Validate_Unchecked_Conversion,
+N_Variable_Reference_Marker,
 N_Variant,
 N_Variant_Part,
 N_With_Clause,
 N_Unused_At_End);
 (N : Node_Id) return Boolean;    -- Flag16
 function Implicit_With
 (N : Node_Id) return Boolean;    -- Flag16
-function Implicit_With_From_Instantiation
-(N : Node_Id) return Boolean;    -- Flag12
 function Import_Interface_Present
 (N : Node_Id) return Boolean;    -- Flag16
 function In_Present
 (N : Node_Id) return Boolean;    -- Flag15
 function Is_Disabled
 (N : Node_Id) return Boolean;    -- Flag15
 function Is_Dispatching_Call
-(N : Node_Id) return Boolean;    -- Flag3
+(N : Node_Id) return Boolean;    -- Flag6
 function Is_Dynamic_Coextension
 (N : Node_Id) return Boolean;    -- Flag18
 function Is_Effective_Use_Clause
 (N : Node_Id) return Boolean;    -- Flag1
 function Is_Elaboration_Checks_OK_Node
 (N : Node_Id) return Boolean;    -- Flag1
+function Is_Elaboration_Code
+(N : Node_Id) return Boolean;    -- Flag9
+function Is_Elaboration_Warnings_OK_Node
+(N : Node_Id) return Boolean;    -- Flag3
 function Is_Elsif
 (N : Node_Id) return Boolean;    -- Flag13
 function Is_Entry_Barrier_Function
 (N : Node_Id) return Boolean;    -- Flag8
 (N : Node_Id) return Boolean;    -- Flag11
 function Is_Null_Loop
 (N : Node_Id) return Boolean;    -- Flag16
+function Is_OpenAcc_Environment
+(N : Node_Id) return Boolean;    -- Flag13
+function Is_OpenAcc_Loop
+(N : Node_Id) return Boolean;    -- Flag14
 function Is_Overloaded
 (N : Node_Id) return Boolean;    -- Flag5
 function Is_Power_Of_2_For_Shift
 (N : Node_Id) return Boolean;    -- Flag13
 (N : Node_Id) return Boolean;    -- Flag7
 function Is_Qualified_Universal_Literal
 (N : Node_Id) return Boolean;    -- Flag4
-function Is_Recorded_Scenario
+function Is_Read
-(N : Node_Id) return Boolean;    -- Flag6
+(N : Node_Id) return Boolean;    -- Flag1
 function Is_Source_Call
 (N : Node_Id) return Boolean;    -- Flag4
 function Is_SPARK_Mode_On_Node
 (N : Node_Id) return Boolean;    -- Flag1
 function Is_Task_Master
 (N : Node_Id) return Boolean;    -- Flag5
+function Is_Write
+(N : Node_Id) return Boolean;    -- Flag2
 function Iteration_Scheme
 (N : Node_Id) return Node_Id;    -- Node2
 function Iterator_Specification
 (N : Node_Id) return Node_Id;    -- Node2
 (N : Node_Id) return Node_Id;    -- Node3
 function No_Ctrl_Actions
 (N : Node_Id) return Boolean;    -- Flag7
+function No_Elaboration_Check
+(N : Node_Id) return Boolean;    -- Flag4
 function No_Entities_Ref_In_Spec
 (N : Node_Id) return Boolean;    -- Flag8
 function No_Initialization
 (N : Node_Id) return Boolean;    -- Flag13
 (N : Node_Id) return Node_Id;    -- Node2
 function Parent_Spec
 (N : Node_Id) return Node_Id;    -- Node4
+function Parent_With
+(N : Node_Id) return Boolean;    -- Flag1
 function Position
 (N : Node_Id) return Node_Id;    -- Node2
 function Pragma_Argument_Associations
 (N : Node_Id) return List_Id;    -- List2
 function Was_Expression_Function
 (N : Node_Id) return Boolean;    -- Flag18
 function Was_Originally_Stub
 (N : Node_Id) return Boolean;    -- Flag13
-function Withed_Body
-(N : Node_Id) return Node_Id;    -- Node1
 --  End functions (note used by xsinfo utility program to end processing)
 ----------------------------
 -- Node Update Procedures --
 (N : Node_Id; Val : Boolean := True);    -- Flag16
 procedure Set_Implicit_With
 (N : Node_Id; Val : Boolean := True);    -- Flag16
-procedure Set_Implicit_With_From_Instantiation
-(N : Node_Id; Val : Boolean := True);    -- Flag12
 procedure Set_Import_Interface_Present
 (N : Node_Id; Val : Boolean := True);    -- Flag16
 procedure Set_In_Present
 (N : Node_Id; Val : Boolean := True);    -- Flag15
 procedure Set_Is_Disabled
 (N : Node_Id; Val : Boolean := True);    -- Flag15
 procedure Set_Is_Dispatching_Call
-(N : Node_Id; Val : Boolean := True);    -- Flag3
+(N : Node_Id; Val : Boolean := True);    -- Flag6
 procedure Set_Is_Dynamic_Coextension
 (N : Node_Id; Val : Boolean := True);    -- Flag18
 procedure Set_Is_Effective_Use_Clause
 (N : Node_Id; Val : Boolean := True);    -- Flag1
 procedure Set_Is_Elaboration_Checks_OK_Node
 (N : Node_Id; Val : Boolean := True);    -- Flag1
+procedure Set_Is_Elaboration_Code
+(N : Node_Id; Val : Boolean := True);    -- Flag9
+procedure Set_Is_Elaboration_Warnings_OK_Node
+(N : Node_Id; Val : Boolean := True);    -- Flag3
 procedure Set_Is_Elsif
 (N : Node_Id; Val : Boolean := True);    -- Flag13
 procedure Set_Is_Entry_Barrier_Function
 (N : Node_Id; Val : Boolean := True);    -- Flag8
 (N : Node_Id; Val : Boolean := True);    -- Flag11
 procedure Set_Is_Null_Loop
 (N : Node_Id; Val : Boolean := True);    -- Flag16
+procedure Set_Is_OpenAcc_Environment
+(N : Node_Id; Val : Boolean := True);    -- Flag13
+procedure Set_Is_OpenAcc_Loop
+(N : Node_Id; Val : Boolean := True);    -- Flag14
 procedure Set_Is_Overloaded
 (N : Node_Id; Val : Boolean := True);    -- Flag5
 procedure Set_Is_Power_Of_2_For_Shift
 (N : Node_Id; Val : Boolean := True);    -- Flag13
 (N : Node_Id; Val : Boolean := True);    -- Flag7
 procedure Set_Is_Qualified_Universal_Literal
 (N : Node_Id; Val : Boolean := True);    -- Flag4
-procedure Set_Is_Recorded_Scenario
+procedure Set_Is_Read
-(N : Node_Id; Val : Boolean := True);    -- Flag6
+(N : Node_Id; Val : Boolean := True);    -- Flag1
 procedure Set_Is_Source_Call
 (N : Node_Id; Val : Boolean := True);    -- Flag4
 procedure Set_Is_SPARK_Mode_On_Node
 (N : Node_Id; Val : Boolean := True);    -- Flag1
 procedure Set_Is_Task_Master
 (N : Node_Id; Val : Boolean := True);    -- Flag5
+procedure Set_Is_Write
+(N : Node_Id; Val : Boolean := True);    -- Flag2
 procedure Set_Iteration_Scheme
 (N : Node_Id; Val : Node_Id);            -- Node2
 procedure Set_Iterator_Specification
 (N : Node_Id; Val : Node_Id);            -- Node2
 (N : Node_Id; Val : Node_Id);            -- Node3
 procedure Set_No_Ctrl_Actions
 (N : Node_Id; Val : Boolean := True);    -- Flag7
+procedure Set_No_Elaboration_Check
+(N : Node_Id; Val : Boolean := True);    -- Flag4
 procedure Set_No_Entities_Ref_In_Spec
 (N : Node_Id; Val : Boolean := True);    -- Flag8
 procedure Set_No_Initialization
 (N : Node_Id; Val : Boolean := True);    -- Flag13
 (N : Node_Id; Val : Node_Id);            -- Node2
 procedure Set_Parent_Spec
 (N : Node_Id; Val : Node_Id);            -- Node4
+procedure Set_Parent_With
+(N : Node_Id; Val : Boolean := True);    -- Flag1
 procedure Set_Position
 (N : Node_Id; Val : Node_Id);            -- Node2
 procedure Set_Pragma_Argument_Associations
 (N : Node_Id; Val : List_Id);            -- List2
 procedure Set_Was_Expression_Function
 (N : Node_Id; Val : Boolean := True);    -- Flag18
 procedure Set_Was_Originally_Stub
 (N : Node_Id; Val : Boolean := True);    -- Flag13
-procedure Set_Withed_Body
-(N : Node_Id; Val : Node_Id);            -- Node1
 -------------------------
 -- Iterator Procedures --
 -------------------------
 V6 : Node_Kind;
 V7 : Node_Kind;
 V8 : Node_Kind;
 V9 : Node_Kind) return Boolean;
+function Nkind_In
+(T   : Node_Kind;
+V1  : Node_Kind;
+V2  : Node_Kind;
+V3  : Node_Kind;
+V4  : Node_Kind;
+V5  : Node_Kind;
+V6  : Node_Kind;
+V7  : Node_Kind;
+V8  : Node_Kind;
+V9  : Node_Kind;
+V10 : Node_Kind) return Boolean;
+function Nkind_In
+(T   : Node_Kind;
+V1  : Node_Kind;
+V2  : Node_Kind;
+V3  : Node_Kind;
+V4  : Node_Kind;
+V5  : Node_Kind;
+V6  : Node_Kind;
+V7  : Node_Kind;
+V8  : Node_Kind;
+V9  : Node_Kind;
+V10 : Node_Kind;
+V11 : Node_Kind) return Boolean;
 pragma Inline (Nkind_In);
 --  Inline all above functions
 -----------------------
 -- Utility Functions --
 3 => True,    --  Expression (Node3)
 4 => True,    --  Discrete_Choices (List4)
 5 => False),  --  unused
 N_Delta_Aggregate =>
-(1 => False,   --  Expressions (List1)
+(1 => False,   --  Expressions (List1-Sem)
 2 => True,    --  Component_Associations (List2)
 3 => True,    --  Expression (Node3)
 4 => False,   --  Unused
 5 => False),  --  Etype (Node5-Sem)
 4 => True,    --  Subtype_Mark (Node4)
 5 => False),  --  Etype (Node5-Sem)
 N_Quantified_Expression =>
 (1 => True,    --  Condition (Node1)
-2 => True,    --  Iterator_Specification
+2 => True,    --  Iterator_Specification (Node2)
 3 => False,   --  unused
 4 => True,    --  Loop_Parameter_Specification (Node4)
 5 => False),  --  Etype (Node5-Sem)
 N_Allocator =>
 2 => False,   --  unused
 3 => False,   --  unused
 4 => False,   --  unused
 5 => False),  --  unused
---  Entries for Empty, Error and Unused. Even thought these have a Chars
+N_Variable_Reference_Marker =>
+(1 => False,   --  Target (Node1-Sem)
+2 => False,   --  unused
+3 => False,   --  unused
+4 => False,   --  unused
+5 => False),  --  unused
+--  Entries for Empty, Error, and Unused. Even though these have a Chars
 --  field for debugging purposes, they are not really syntactic fields, so
 --  we mark all fields as unused.
 N_Empty =>
 (1 => False,   --  unused
 pragma Inline (Header_Size_Added);
 pragma Inline (Hidden_By_Use_Clause);
 pragma Inline (High_Bound);
 pragma Inline (Identifier);
 pragma Inline (Implicit_With);
-pragma Inline (Implicit_With_From_Instantiation);
 pragma Inline (Interface_List);
 pragma Inline (Interface_Present);
 pragma Inline (Includes_Infinities);
 pragma Inline (Import_Interface_Present);
 pragma Inline (In_Present);
 pragma Inline (Is_Disabled);
 pragma Inline (Is_Dispatching_Call);
 pragma Inline (Is_Dynamic_Coextension);
 pragma Inline (Is_Effective_Use_Clause);
 pragma Inline (Is_Elaboration_Checks_OK_Node);
+pragma Inline (Is_Elaboration_Code);
+pragma Inline (Is_Elaboration_Warnings_OK_Node);
 pragma Inline (Is_Elsif);
 pragma Inline (Is_Entry_Barrier_Function);
 pragma Inline (Is_Expanded_Build_In_Place_Call);
 pragma Inline (Is_Expanded_Contract);
 pragma Inline (Is_Finalization_Wrapper);
 pragma Inline (Is_Inherited_Pragma);
 pragma Inline (Is_Initialization_Block);
 pragma Inline (Is_Known_Guaranteed_ABE);
 pragma Inline (Is_Machine_Number);
 pragma Inline (Is_Null_Loop);
+pragma Inline (Is_OpenAcc_Environment);
+pragma Inline (Is_OpenAcc_Loop);
 pragma Inline (Is_Overloaded);
 pragma Inline (Is_Power_Of_2_For_Shift);
 pragma Inline (Is_Prefixed_Call);
 pragma Inline (Is_Protected_Subprogram_Body);
 pragma Inline (Is_Qualified_Universal_Literal);
-pragma Inline (Is_Recorded_Scenario);
+pragma Inline (Is_Read);
 pragma Inline (Is_Source_Call);
 pragma Inline (Is_SPARK_Mode_On_Node);
 pragma Inline (Is_Static_Coextension);
 pragma Inline (Is_Static_Expression);
 pragma Inline (Is_Subprogram_Descriptor);
 pragma Inline (Is_Task_Allocation_Block);
 pragma Inline (Is_Task_Body_Procedure);
 pragma Inline (Is_Task_Master);
+pragma Inline (Is_Write);
 pragma Inline (Iteration_Scheme);
 pragma Inline (Itype);
 pragma Inline (Kill_Range_Check);
 pragma Inline (Last_Bit);
 pragma Inline (Last_Name);
 pragma Inline (Next_Named_Actual);
 pragma Inline (Next_Pragma);
 pragma Inline (Next_Rep_Item);
 pragma Inline (Next_Use_Clause);
 pragma Inline (No_Ctrl_Actions);
+pragma Inline (No_Elaboration_Check);
 pragma Inline (No_Entities_Ref_In_Spec);
 pragma Inline (No_Initialization);
 pragma Inline (No_Minimize_Eliminate);
 pragma Inline (No_Side_Effect_Removal);
 pragma Inline (No_Truncation);
 pragma Inline (Out_Present);
 pragma Inline (Parameter_Associations);
 pragma Inline (Parameter_Specifications);
 pragma Inline (Parameter_Type);
 pragma Inline (Parent_Spec);
+pragma Inline (Parent_With);
 pragma Inline (Position);
 pragma Inline (Pragma_Argument_Associations);
 pragma Inline (Pragma_Identifier);
 pragma Inline (Pragmas_After);
 pragma Inline (Pragmas_Before);
 pragma Inline (Visible_Declarations);
 pragma Inline (Used_Operations);
 pragma Inline (Was_Attribute_Reference);
 pragma Inline (Was_Expression_Function);
 pragma Inline (Was_Originally_Stub);
-pragma Inline (Withed_Body);
 pragma Inline (Set_Abort_Present);
 pragma Inline (Set_Abortable_Part);
 pragma Inline (Set_Abstract_Present);
 pragma Inline (Set_Accept_Handler_Records);
 pragma Inline (Set_Is_Disabled);
 pragma Inline (Set_Is_Dispatching_Call);
 pragma Inline (Set_Is_Dynamic_Coextension);
 pragma Inline (Set_Is_Effective_Use_Clause);
 pragma Inline (Set_Is_Elaboration_Checks_OK_Node);
+pragma Inline (Set_Is_Elaboration_Code);
+pragma Inline (Set_Is_Elaboration_Warnings_OK_Node);
 pragma Inline (Set_Is_Elsif);
 pragma Inline (Set_Is_Entry_Barrier_Function);
 pragma Inline (Set_Is_Expanded_Build_In_Place_Call);
 pragma Inline (Set_Is_Expanded_Contract);
 pragma Inline (Set_Is_Finalization_Wrapper);
 pragma Inline (Set_Is_Inherited_Pragma);
 pragma Inline (Set_Is_Initialization_Block);
 pragma Inline (Set_Is_Known_Guaranteed_ABE);
 pragma Inline (Set_Is_Machine_Number);
 pragma Inline (Set_Is_Null_Loop);
+pragma Inline (Set_Is_OpenAcc_Environment);
+pragma Inline (Set_Is_OpenAcc_Loop);
 pragma Inline (Set_Is_Overloaded);
 pragma Inline (Set_Is_Power_Of_2_For_Shift);
 pragma Inline (Set_Is_Prefixed_Call);
 pragma Inline (Set_Is_Protected_Subprogram_Body);
 pragma Inline (Set_Is_Qualified_Universal_Literal);
-pragma Inline (Set_Is_Recorded_Scenario);
+pragma Inline (Set_Is_Read);
 pragma Inline (Set_Is_Source_Call);
 pragma Inline (Set_Is_SPARK_Mode_On_Node);
 pragma Inline (Set_Is_Static_Coextension);
 pragma Inline (Set_Is_Static_Expression);
 pragma Inline (Set_Is_Subprogram_Descriptor);
 pragma Inline (Set_Is_Task_Allocation_Block);
 pragma Inline (Set_Is_Task_Body_Procedure);
 pragma Inline (Set_Is_Task_Master);
+pragma Inline (Set_Is_Write);
 pragma Inline (Set_Iteration_Scheme);
 pragma Inline (Set_Iterator_Specification);
 pragma Inline (Set_Itype);
 pragma Inline (Set_Kill_Range_Check);
 pragma Inline (Set_Label_Construct);
 pragma Inline (Set_Next_Named_Actual);
 pragma Inline (Set_Next_Pragma);
 pragma Inline (Set_Next_Rep_Item);
 pragma Inline (Set_Next_Use_Clause);
 pragma Inline (Set_No_Ctrl_Actions);
+pragma Inline (Set_No_Elaboration_Check);
 pragma Inline (Set_No_Entities_Ref_In_Spec);
 pragma Inline (Set_No_Initialization);
 pragma Inline (Set_No_Minimize_Eliminate);
 pragma Inline (Set_No_Side_Effect_Removal);
 pragma Inline (Set_No_Truncation);
 pragma Inline (Set_Out_Present);
 pragma Inline (Set_Parameter_Associations);
 pragma Inline (Set_Parameter_Specifications);
 pragma Inline (Set_Parameter_Type);
 pragma Inline (Set_Parent_Spec);
+pragma Inline (Set_Parent_With);
 pragma Inline (Set_Position);
 pragma Inline (Set_Pragma_Argument_Associations);
 pragma Inline (Set_Pragma_Identifier);
 pragma Inline (Set_Pragmas_After);
 pragma Inline (Set_Pragmas_Before);
 pragma Inline (Set_Variants);
 pragma Inline (Set_Visible_Declarations);
 pragma Inline (Set_Was_Attribute_Reference);
 pragma Inline (Set_Was_Expression_Function);
 pragma Inline (Set_Was_Originally_Stub);
-pragma Inline (Set_Withed_Body);
 end Sinfo;

Mercurial > hg > CbC > CbC_gcc

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