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

comparison gcc/ada/sinfo.ads @ 145:1830386684a0

gcc-9.2.0

author	anatofuz
date	Thu, 13 Feb 2020 11:34:05 +0900
parents	84e7813d76e9
children

comparison

equal deleted inserted replaced

-:84e7813d76e9
+:1830386684a0
 --                                                                          --
 --                                S I N F O                                 --
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2018, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2019, 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- --
 --  check. The front end then inserts or not the check during expansion. In
 --  particular, these flags should also be correctly set in ASIS mode and
 --  GNATprove mode. As a special case, the front end does not insert a
 --  Do_Division_Check flag on float exponentiation expressions, for the case
 --  where the value is 0.0 and the exponent is negative, although this case
---  does lead to a division check failure.
+--  does lead to a division check failure. As another special case,
+--  the front end does not insert a Do_Range_Check on an allocator where
---  Note: the expander always takes care of the Do_Range check case,
+--  the designated type is scalar, and the designated type is more
---  so this flag will never be set in the expanded tree passed to the
+--  constrained than the type of the initialized allocator value or the type
---  back end code generator.
+--  of the default value for an uninitialized allocator.
+--  Note that the expander always takes care of the Do_Range_Check case, so
+--  this flag will never be set in the expanded tree passed to the back end.
+--  For the other two flags, the check can be generated either by the back
+--  end or by the front end, depending on the setting of a target parameter.
 --  Note that this accounts for all nodes that trigger the corresponding
 --  checks, except for range checks on subtype_indications, which may be
 --  required to check that a range_constraint is compatible with the given
 --  subtype (RM 3.2.2(11)).
 --    Present in an N_Others_Choice node. This flag is set for an others
 --    exception where all exceptions are to be caught, even those that are
 --    not normally handled (in particular the tasking abort signal). This
 --    is used for translation of the at end handler into a normal exception
 --    handler.
+--  Aspect_On_Partial_View (Flag18)
+--    Present on an N_Aspect_Specification node. For an aspect that applies
+--    to a type entity, indicates whether the specification appears on the
+--    partial view of a private type or extension. Undefined for aspects
+--    that apply to other entities.
 --  Aspect_Rep_Item (Node2-Sem)
 --    Present in N_Aspect_Specification nodes. Points to the corresponding
 --    pragma/attribute definition node used to process the aspect.
 --    to such a formal association.
 --  Corresponding_Generic_Association (Node5-Sem)
 --    This field is defined for object declarations and object renaming
 --    declarations. It is set for the declarations within an instance that
---    map generic formals to their actuals. If set, the field points to
+--    map generic formals to their actuals. If set, the field points either
---    a generic_association which is the original parent of the expression
+--    to a copy of a default expression for an actual of mode IN or to a
---    or name appearing in the declaration. This simplifies ASIS queries.
+--    generic_association which is the original parent of the expression or
+--    name appearing in the declaration. This simplifies ASIS and GNATprove
+--    queries.
 --  Corresponding_Integer_Value (Uint4-Sem)
 --    This field is set in real literals of fixed-point types (it is not
 --    used for floating-point types). It contains the integer value used
 --    to represent the fixed-point value. It is also set on the universal
 --    generate a check. This flag is also present in assignment statements
 --    (and set if the assignment requires a discriminant check), and in type
 --    conversion nodes (and set if the conversion requires a check).
 --  Do_Division_Check (Flag13-Sem)
---    This flag is set on a division operator (/ mod rem) to indicate
+--    This flag is set on a division operator (/ mod rem) to indicate that
---    that a zero divide check is required. The actual check is dealt
+--    a zero divide check is required. The actual check is either dealt with
---    with by the backend (all the front end does is to set the flag).
+--    by the back end if Backend_Divide_Checks is set to true, or by the
+--    front end itself if it is set to false.
 --  Do_Length_Check (Flag4-Sem)
 --    This flag is set in an N_Assignment_Statement, N_Op_And, N_Op_Or,
 --    N_Op_Xor, or N_Type_Conversion node to indicate that a length check
 --    is required. It is not determined who deals with this flag (???).
 --  Do_Overflow_Check (Flag17-Sem)
 --    This flag is set on an operator where an overflow check is required on
---    the operation. The actual check is dealt with by the backend (all the
+--    the operation. The actual check is either dealt with by the back end
---    front end does is to set the flag). The other cases where this flag is
+--    if Backend_Overflow_Checks is set to true, or by the front end itself
---    used is on a Type_Conversion node and for attribute reference nodes.
+--    if it is set to false. The other cases where this flag is used is on a
+--    Type_Conversion node as well on if and case expression nodes.
 --    For a type conversion, it means that the conversion is from one base
 --    type to another, and the value may not fit in the target base type.
---    See also the description of Do_Range_Check for this case. The only
+--    See also the description of Do_Range_Check for this case. This flag is
---    attribute references which use this flag are Pred and Succ, where it
---    means that the result should be checked for going outside the base
---    range. Note that this flag is not set for modular types. This flag is
 --    also set on if and case expression nodes if we are operating in either
 --    MINIMIZED or ELIMINATED overflow checking mode (to make sure that we
 --    properly process overflow checking for dependent expressions).
 --  Do_Range_Check (Flag9-Sem)
 --    This flag is set on an expression which appears in a context where a
 --    range check is required. The target type is clear from the context.
 --    The contexts in which this flag can appear are the following:
---      Right side of an assignment. In this case the target type is
+--      Right side of an assignment. In this case the target type is taken
---      taken from the left side of the assignment, which is referenced
+--      from the left side of the assignment, which is referenced by the
---      by the Name of the N_Assignment_Statement node.
+--      Name of the N_Assignment_Statement node.
 --      Subscript expressions in an indexed component. In this case the
 --      target type is determined from the type of the array, which is
 --      referenced by the Prefix of the N_Indexed_Component node.
 --      type), satisfies the range constraint of the target type.
 --    Note: when a range check is required in contexts other than those
 --    listed above (e.g. in a return statement), an additional type
 --    conversion node is introduced to represent the required check.
---    A special case arises for the arguments of the Pred/Succ attributes.
---    Here the range check needed is against First + 1 ..  Last (Pred) or
---    First .. Last - 1 (Succ) of the corresponding base type. Essentially
---    these checks are what would be performed within the implicit body of
---    the functions that correspond to these attributes. In these cases,
---    the Do_Range check flag is set on the argument to the attribute
---    function, and the back end must special case the appropriate range
---    to check against.
 --  Do_Storage_Check (Flag17-Sem)
 --    This flag is set in an N_Allocator node to indicate that a storage
 --    check is required for the allocation, or in an N_Subprogram_Body node
 --    to indicate that a stack check is required in the subprogram prologue.
 --      identifier
 --      package instantiation
 --      procedure call statement
 --      procedure instantiation
 --      requeue statement
+--      variable reference marker
 --
 --    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.
 --    Present in the following nodes:
 --
 --      attribute reference
 --      call marker
 --      entry call statement
+--      expanded name
 --      function call
 --      function instantiation
+--      identifier
 --      package instantiation
 --      procedure call statement
 --      procedure instantiation
 --      requeue statement
+--      variable reference marker
 --
 --    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.
 --      Refined_Global
 --      Refined_Post
 --      Refined_State
 --      Test_Case
+--  Is_Homogeneous_Aggregate (Flag14)
+--    A flag set on an Ada2020 aggregate that uses square brackets as
+--    delimiters, and thus denotes an array or container aggregate, or
+--    the prefix of a reduction attribute.
 --  Is_Ignored (Flag9-Sem)
 --    A flag set in an N_Aspect_Specification or N_Pragma node if there was
 --    a Check_Policy or Assertion_Policy (or in the case of a Debug_Pragma)
 --    a Debug_Policy pragma that specified a policy of IGNORE, DISABLE, or
 --    OFF, for the pragma/aspect. If there was a Policy pragma specifying
 --    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_Read (Flag1-Sem)
+--  Is_Read (Flag4-Sem)
 --    Present in variable reference markers. Set when the original variable
 --    reference constitues a read of the variable.
 --  Is_Source_Call (Flag4-Sem)
 --    Present in call marker nodes. Set when the related call came from
 --    source.
 --  Is_SPARK_Mode_On_Node (Flag2-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 subject to SPARK_Mode On. This flag
+--      call marker
---    determines when the SPARK model of elaboration be activated by the
+--      entry call statement
---    ABE Processing phase.
+--      expanded name
+--      function call
+--      function instantiation
+--      identifier
+--      package instantiation
+--      procedure call statement
+--      procedure instantiation
+--      requeue statement
+--      variable reference marker
+--
+--    Set when the node appears within a context subject to SPARK_Mode On.
+--    This flag 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. 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
+--    rules in RM-4.9. See Sem_Eval for details.
---    when Raises_Constraint_Error is also set. In practice almost all cases
---    where a static expression is required do not allow an expression which
---    raises Constraint_Error, so almost always, callers should call the
---    Is_Ok_Static_Expression routine instead of testing this flag. See
---    spec of package Sem_Eval for full details on the use of this flag.
 --  Is_Subprogram_Descriptor (Flag16-Sem)
 --    Present in N_Object_Declaration, and set only for the object
 --    declaration generated for a subprogram descriptor in fast exception
 --    mode. See Exp_Ch11 for details of use.
 --  Is_Task_Master (Flag5-Sem)
 --    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)
+--  Is_Write (Flag5-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
 --    allocating the return value), and for the Deallocate procedure in the
 --    case of N_Free_Statement.
 --  Raises_Constraint_Error (Flag7-Sem)
 --    Set on an expression whose evaluation will definitely fail constraint
---    error check. In the case of static expressions, this flag must be set
+--    error check. See Sem_Eval for details.
---    accurately (and if it is set, the expression is typically illegal
---    unless it appears as a non-elaborated branch of a short-circuit form).
---    For a non-static expression, this flag may be set whenever an
---    expression (e.g. an aggregate) is known to raise constraint error. If
---    set, the expression definitely will raise CE if elaborated at runtime.
---    If not set, the expression may or may not raise CE. In other words, on
---    static expressions, the flag is set accurately, on non-static
---    expressions it is set conservatively.
 --  Redundant_Use (Flag13-Sem)
 --    Present in nodes that can appear as an operand in a use clause or use
 --    type clause (identifiers, expanded names, attribute references). Set
 --    to indicate that a use is redundant (and therefore need not be undone
 --  Return_Object_Declarations (List3)
 --    Present in N_Extended_Return_Statement. Points to a list initially
 --    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.
+--    because Analyze wants to insert extra actions on this list, before the
+--    N_Object_Declaration, which always remains last on the list.
 --  Rounded_Result (Flag18-Sem)
 --    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
 --    rounded to the nearest integer (breaking ties away from zero), rather
 --    than truncated towards zero as usual. These rounded integer operations
 --    are the result of expansion of rounded fixed-point divide, conversion
 --    and multiplication operations.
+--  Save_Invocation_Graph_Of_Body (Flag1-Sem)
+--    Present in compilation unit nodes. Set when the elaboration mechanism
+--    must record all invocation constructs and invocation relations within
+--    the body of the compilation unit.
+--
 --  SCIL_Entity (Node4-Sem)
 --    Present in SCIL nodes. References the specific tagged type associated
 --    with the SCIL node (for an N_SCIL_Dispatching_Call node, this is
 --    the controlling type of the call; for an N_SCIL_Membership_Test node
 --    generated as part of testing membership in T'Class, this is T; for an
 --  Entity (Node4-Sem)
 --  Associated_Node (Node4-Sem)
 --  Original_Discriminant (Node2-Sem)
 --  Is_Elaboration_Checks_OK_Node (Flag1-Sem)
 --  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
 --  Has_Private_View (Flag11-Sem) (set in generic units)
 --  Redundant_Use (Flag13-Sem)
 --  Atomic_Sync_Required (Flag14-Sem)
 --  plus fields for expression
 --  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
---  deliberately layed out to match the layout of fields in an ordinary
+--  deliberately laid 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
 --  fields depending on the setting of the Ekind field. These
 --  additional fields are defined (and access subprograms declared)
 --  in package Einfo.
 --  Note: N_Defining_Character_Literal is an extended node whose fields
---  are deliberate layed out to match the layout of fields in an ordinary
+--  are deliberately laid out to match layout of fields in an ordinary
---  N_Character_Literal node allowing for easy alteration of a character
+--  N_Character_Literal node, allowing for easy alteration of a character
 --  literal node into a defining character literal node. For details, see
 --  Sinfo.CN.Change_Character_Literal_To_Defining_Character_Literal.
 --  N_Defining_Character_Literal
 --  Sloc points to literal
 --  Aggregate_Bounds (Node3-Sem)
 --  Associated_Node (Node4-Sem)
 --  Compile_Time_Known_Aggregate (Flag18-Sem)
 --  Expansion_Delayed (Flag11-Sem)
 --  Has_Self_Reference (Flag13-Sem)
+--  Is_Homogeneous_Aggregate (Flag14)
 --  plus fields for expression
 --  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
 --  fields depending on the setting of the Ekind field. These
 --  additional fields are defined (and access subprograms declared)
 --  in package Einfo.
 --  Note: N_Defining_Operator_Symbol is an extended node whose fields
---  are deliberately layed out to match the layout of fields in an
+--  are deliberately laid out to match the layout of fields in an
 --  ordinary N_Operator_Symbol node allowing for easy alteration of
 --  an operator symbol node into a defining operator symbol node.
 --  See Sinfo.CN.Change_Operator_Symbol_To_Defining_Operator_Symbol
 --  for further details.
 --  a compilation unit, referenced from the N_Compilation_Unit node,
 --  that contains these items.
 --  N_Compilation_Unit
 --  Sloc points to first token of defining unit name
---  Library_Unit (Node4-Sem) corresponding/parent spec/body
 --  Context_Items (List1) context items and pragmas preceding unit
 --  Private_Present (Flag15) set if library unit has private keyword
 --  Unit (Node2) library item or subunit
 --  Aux_Decls_Node (Node5) points to the N_Compilation_Unit_Aux node
+--  First_Inlined_Subprogram (Node3-Sem)
+--  Library_Unit (Node4-Sem) corresponding/parent spec/body
+--  Save_Invocation_Graph_Of_Body (Flag1-Sem)
+--  Acts_As_Spec (Flag4-Sem) flag for subprogram body with no spec
+--  Body_Required (Flag13-Sem) set for spec if body is required
+--  Has_Pragma_Suppress_All (Flag14-Sem)
+--  Context_Pending (Flag16-Sem)
 --  Has_No_Elaboration_Code (Flag17-Sem)
---  Body_Required (Flag13-Sem) set for spec if body is required
---  Acts_As_Spec (Flag4-Sem) flag for subprogram body with no spec
---  Context_Pending (Flag16-Sem)
---  First_Inlined_Subprogram (Node3-Sem)
---  Has_Pragma_Suppress_All (Flag14-Sem)
 --  N_Compilation_Unit_Aux
 --  Sloc is a copy of the Sloc from the N_Compilation_Unit node
 --  Declarations (List2) (set to No_List if no global declarations)
 --  Actions (List1) (set to No_List if no actions)
 --  Is_Checked (Flag11-Sem)
 --  Is_Delayed_Aspect (Flag14-Sem)
 --  Is_Disabled (Flag15-Sem)
 --  Is_Boolean_Aspect (Flag16-Sem)
 --  Split_PPC (Flag17) Set if split pre/post attribute
+--  Aspect_On_Partial_View (Flag18-Sem)
 --  Note: Aspect_Specification is an Ada 2012 feature
 --  Note: The Identifier serves to identify the aspect involved (it
 --  is the aspect whose name corresponds to the Chars field). This
 --  name that has been resolved to an expanded name. The semantic phase
 --  replaces N_Selected_Component nodes that represent names by the use
 --  of this node, leaving the N_Selected_Component node used only when
 --  the prefix is a record or protected type.
---  The fields of the N_Expanded_Name node are layed out identically
+--  The fields of the N_Expanded_Name node are laid out identically
 --  to those of the N_Selected_Component node, allowing conversion of
 --  an expanded name node to a selected component node to be done
 --  easily, see Sinfo.CN.Change_Selected_Component_To_Expanded_Name.
 --  There is no special sprint syntax for an expanded name
 --  Selector_Name (Node2)
 --  Entity (Node4-Sem)
 --  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)
 --  Has_Private_View (Flag11-Sem) set in generic units
 --  Redundant_Use (Flag13-Sem)
 --  Atomic_Sync_Required (Flag14-Sem)
 --  plus fields for expression
 --  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_Elaboration_Checks_OK_Node (Flag1-Sem)
---  Is_Write (Flag2-Sem)
+--  Is_SPARK_Mode_On_Node (Flag2-Sem)
+--  Is_Elaboration_Warnings_OK_Node (Flag3-Sem)
+--  Is_Read (Flag4-Sem)
+--  Is_Write (Flag5-Sem)
 -----------
 -- Empty --
 -----------
 (N : Node_Id) return Boolean;    -- Flag14
 function Array_Aggregate
 (N : Node_Id) return Node_Id;    -- Node3
+function Aspect_On_Partial_View
+(N : Node_Id) return Boolean;    -- Flag18
 function Aspect_Rep_Item
 (N : Node_Id) return Node_Id;    -- Node2
 function Assignment_OK
 (N : Node_Id) return Boolean;    -- Flag15
 (N : Node_Id) return Boolean;    -- Flag4
 function Is_Generic_Contract_Pragma
 (N : Node_Id) return Boolean;    -- Flag2
+function Is_Homogeneous_Aggregate
+(N : Node_Id) return Boolean;    -- Flag14
 function Is_Ignored
 (N : Node_Id) return Boolean;    -- Flag9
 function Is_Ignored_Ghost_Pragma
 (N : Node_Id) return Boolean;    -- Flag8
 function Is_Qualified_Universal_Literal
 (N : Node_Id) return Boolean;    -- Flag4
 function Is_Read
-(N : Node_Id) return Boolean;    -- Flag1
+(N : Node_Id) return Boolean;    -- Flag4
 function Is_Source_Call
 (N : Node_Id) return Boolean;    -- Flag4
 function Is_SPARK_Mode_On_Node
 function Is_Task_Master
 (N : Node_Id) return Boolean;    -- Flag5
 function Is_Write
-(N : Node_Id) return Boolean;    -- Flag2
+(N : Node_Id) return Boolean;    -- Flag5
 function Iteration_Scheme
 (N : Node_Id) return Node_Id;    -- Node2
 function Iterator_Specification
 function Right_Opnd
 (N : Node_Id) return Node_Id;    -- Node3
 function Rounded_Result
 (N : Node_Id) return Boolean;    -- Flag18
+function Save_Invocation_Graph_Of_Body
+(N : Node_Id) return Boolean;    -- Flag1
 function SCIL_Controlling_Tag
 (N : Node_Id) return Node_Id;    -- Node5
 function SCIL_Entity
 --  a high level logical access with type checking. In addition to setting
 --  the indicated field of the node N to the given Val, in the case of
 --  tree pointers (List1-4), the parent pointer of the Val node is set to
 --  point back to node N. This automates the setting of the parent pointer.
+--  WARNING: There is a matching C declaration of a few subprograms in fe.h
 procedure Set_Abort_Present
 (N : Node_Id; Val : Boolean := True);    -- Flag15
 procedure Set_Abortable_Part
 (N : Node_Id; Val : Node_Id);            -- Node2
 (N : Node_Id; Val : Boolean := True);    -- Flag14
 procedure Set_Array_Aggregate
 (N : Node_Id; Val : Node_Id);            -- Node3
+procedure Set_Aspect_On_Partial_View
+(N : Node_Id; Val : Boolean := True);    -- Flag18
 procedure Set_Aspect_Rep_Item
 (N : Node_Id; Val : Node_Id);            -- Node2
 procedure Set_Assignment_OK
 (N : Node_Id; Val : Boolean := True);    -- Flag15
 (N : Node_Id; Val : Boolean := True);    -- Flag4
 procedure Set_Is_Generic_Contract_Pragma
 (N : Node_Id; Val : Boolean := True);    -- Flag2
+procedure Set_Is_Homogeneous_Aggregate
+(N : Node_Id; Val : Boolean := True);    -- Flag14
 procedure Set_Is_Ignored
 (N : Node_Id; Val : Boolean := True);    -- Flag9
 procedure Set_Is_Ignored_Ghost_Pragma
 (N : Node_Id; Val : Boolean := True);    -- Flag8
 procedure Set_Is_Qualified_Universal_Literal
 (N : Node_Id; Val : Boolean := True);    -- Flag4
 procedure Set_Is_Read
-(N : Node_Id; Val : Boolean := True);    -- Flag1
+(N : Node_Id; Val : Boolean := True);    -- Flag4
 procedure Set_Is_Source_Call
 (N : Node_Id; Val : Boolean := True);    -- Flag4
 procedure Set_Is_SPARK_Mode_On_Node
 procedure Set_Is_Task_Master
 (N : Node_Id; Val : Boolean := True);    -- Flag5
 procedure Set_Is_Write
-(N : Node_Id; Val : Boolean := True);    -- Flag2
+(N : Node_Id; Val : Boolean := True);    -- Flag5
 procedure Set_Iteration_Scheme
 (N : Node_Id; Val : Node_Id);            -- Node2
 procedure Set_Iterator_Specification
 procedure Set_Right_Opnd
 (N : Node_Id; Val : Node_Id);            -- Node3
 procedure Set_Rounded_Result
 (N : Node_Id; Val : Boolean := True);    -- Flag18
+procedure Set_Save_Invocation_Graph_Of_Body
+(N : Node_Id; Val : Boolean := True);    -- Flag1
 procedure Set_SCIL_Controlling_Tag
 (N : Node_Id; Val : Node_Id);            -- Node5
 procedure Set_SCIL_Entity
 function End_Location (N : Node_Id) return Source_Ptr;
 --  N is an N_If_Statement or N_Case_Statement node, and this function
 --  returns the location of the IF token in the END IF sequence by
 --  translating the value of the End_Span field.
+--  WARNING: There is a matching C declaration of this subprogram in fe.h
 procedure Set_End_Location (N : Node_Id; S : Source_Ptr);
 --  N is an N_If_Statement or N_Case_Statement node. This procedure sets
 --  the End_Span field to correspond to the given value S. In other words,
 --  End_Span is set to the difference between S and Sloc (N), the starting
 V8  : Node_Kind;
 V9  : Node_Kind;
 V10 : Node_Kind;
 V11 : Node_Kind) return Boolean;
+--  12..15-parameter versions are not yet needed
+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;
+V12 : Node_Kind;
+V13 : Node_Kind;
+V14 : Node_Kind;
+V15 : Node_Kind;
+V16 : Node_Kind) return Boolean;
 pragma Inline (Nkind_In);
 --  Inline all above functions
 -----------------------
 -- Utility Functions --
 4 => False,   --  unused
 5 => False),  --  unused
 N_Iterated_Component_Association =>
 (1 => True,    --  Defining_Identifier (Node1)
-2 => False,   --  unused
+2 => True,    --  Loop_Actions (List2-Sem)
 3 => True,    --  Expression (Node3)
 4 => True,    --  Discrete_Choices (List4)
 5 => False),  --  unused
 N_Delta_Aggregate =>
 pragma Inline (All_Present);
 pragma Inline (Alternatives);
 pragma Inline (Ancestor_Part);
 pragma Inline (Atomic_Sync_Required);
 pragma Inline (Array_Aggregate);
+pragma Inline (Aspect_On_Partial_View);
 pragma Inline (Aspect_Rep_Item);
 pragma Inline (Assignment_OK);
 pragma Inline (Associated_Node);
 pragma Inline (At_End_Proc);
 pragma Inline (Attribute_Name);
 pragma Inline (Is_Expanded_Build_In_Place_Call);
 pragma Inline (Is_Expanded_Contract);
 pragma Inline (Is_Finalization_Wrapper);
 pragma Inline (Is_Folded_In_Parser);
 pragma Inline (Is_Generic_Contract_Pragma);
+pragma Inline (Is_Homogeneous_Aggregate);
 pragma Inline (Is_Ignored);
 pragma Inline (Is_Ignored_Ghost_Pragma);
 pragma Inline (Is_In_Discriminant_Check);
 pragma Inline (Is_Inherited_Pragma);
 pragma Inline (Is_Initialization_Block);
 pragma Inline (Return_Object_Declarations);
 pragma Inline (Return_Statement_Entity);
 pragma Inline (Reverse_Present);
 pragma Inline (Right_Opnd);
 pragma Inline (Rounded_Result);
+pragma Inline (Save_Invocation_Graph_Of_Body);
 pragma Inline (SCIL_Controlling_Tag);
 pragma Inline (SCIL_Entity);
 pragma Inline (SCIL_Tag_Value);
 pragma Inline (SCIL_Target_Prim);
 pragma Inline (Scope);
 pragma Inline (Set_All_Others);
 pragma Inline (Set_All_Present);
 pragma Inline (Set_Alternatives);
 pragma Inline (Set_Ancestor_Part);
 pragma Inline (Set_Array_Aggregate);
+pragma Inline (Set_Aspect_On_Partial_View);
 pragma Inline (Set_Aspect_Rep_Item);
 pragma Inline (Set_Assignment_OK);
 pragma Inline (Set_Associated_Node);
 pragma Inline (Set_At_End_Proc);
 pragma Inline (Set_Atomic_Sync_Required);
 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_Folded_In_Parser);
 pragma Inline (Set_Is_Generic_Contract_Pragma);
+pragma Inline (Set_Is_Homogeneous_Aggregate);
 pragma Inline (Set_Is_Ignored);
 pragma Inline (Set_Is_Ignored_Ghost_Pragma);
 pragma Inline (Set_Is_In_Discriminant_Check);
 pragma Inline (Set_Is_Inherited_Pragma);
 pragma Inline (Set_Is_Initialization_Block);
 pragma Inline (Set_Result_Definition);
 pragma Inline (Set_Return_Object_Declarations);
 pragma Inline (Set_Reverse_Present);
 pragma Inline (Set_Right_Opnd);
 pragma Inline (Set_Rounded_Result);
+pragma Inline (Set_Save_Invocation_Graph_Of_Body);
 pragma Inline (Set_SCIL_Controlling_Tag);
 pragma Inline (Set_SCIL_Entity);
 pragma Inline (Set_SCIL_Tag_Value);
 pragma Inline (Set_SCIL_Target_Prim);
 pragma Inline (Set_Scope);

Mercurial > hg > CbC > CbC_gcc

comparison gcc/ada/sinfo.ads @ 145:1830386684a0