gcc/tree.h

   1 /* Front-end tree definitions for GNU compiler.
   2    Copyright (C) 1989, 93-98, 1999 Free Software Foundation, Inc.
   3
   4 This file is part of GNU CC.
   5
   6 GNU CC is free software; you can redistribute it and/or modify
   7 it under the terms of the GNU General Public License as published by
   8 the Free Software Foundation; either version 2, or (at your option)
   9 any later version.
  10
  11 GNU CC is distributed in the hope that it will be useful,
  12 but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 GNU General Public License for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GNU CC; see the file COPYING.  If not, write to
  18 the Free Software Foundation, 59 Temple Place - Suite 330,
  19 Boston, MA 02111-1307, USA.  */
  20
  21 #include "machmode.h"
  22
  23 #ifndef RTX_CODE
  24 struct rtx_def;
  25 #endif
  26
  27 /* Codes of tree nodes */
  28
  29 #define DEFTREECODE(SYM, STRING, TYPE, NARGS)   SYM,
  30
  31 enum tree_code {
  32 #include "tree.def"
  33
  34   LAST_AND_UNUSED_TREE_CODE     /* A convenient way to get a value for
  35                                    NUM_TREE_CODE.  */
  36 };
  37
  38 #undef DEFTREECODE
  39
  40 /* Number of tree codes.  */
  41 #define NUM_TREE_CODES ((int)LAST_AND_UNUSED_TREE_CODE)
  42
  43 /* Indexed by enum tree_code, contains a character which is
  44    `<' for a comparison expression, `1', for a unary arithmetic
  45    expression, `2' for a binary arithmetic expression, `e' for
  46    other types of expressions, `r' for a reference, `c' for a
  47    constant, `d' for a decl, `t' for a type, `s' for a statement,
  48    and `x' for anything else (TREE_LIST, IDENTIFIER, etc).  */
  49
  50 #define MAX_TREE_CODES 256
  51 extern char tree_code_type[MAX_TREE_CODES];
  52 #define TREE_CODE_CLASS(CODE)   tree_code_type[(int) (CODE)]
  53
  54 /* Returns non-zero iff CLASS is the tree-code class of an
  55    expression.  */
  56
  57 #define IS_EXPR_CODE_CLASS(CLASS) \
  58   (CLASS == '<' || CLASS == '1' || CLASS == '2' || CLASS == 'e')
  59
  60 /* Number of argument-words in each kind of tree-node.  */
  61
  62 extern int tree_code_length[MAX_TREE_CODES];
  63
  64 /* Names of tree components.  */
  65
  66 extern char *tree_code_name[MAX_TREE_CODES];
  67 \f
  68 /* Codes that identify the various built in functions
  69    so that expand_call can identify them quickly.  */
  70
  71 enum built_in_function
  72 {
  73   NOT_BUILT_IN,
  74   BUILT_IN_ALLOCA,
  75   BUILT_IN_ABS,
  76   BUILT_IN_FABS,
  77   BUILT_IN_LABS,
  78   BUILT_IN_FFS,
  79   BUILT_IN_DIV,
  80   BUILT_IN_LDIV,
  81   BUILT_IN_FFLOOR,
  82   BUILT_IN_FCEIL,
  83   BUILT_IN_FMOD,
  84   BUILT_IN_FREM,
  85   BUILT_IN_MEMCPY,
  86   BUILT_IN_MEMCMP,
  87   BUILT_IN_MEMSET,
  88   BUILT_IN_STRCPY,
  89   BUILT_IN_STRCMP,
  90   BUILT_IN_STRLEN,
  91   BUILT_IN_FSQRT,
  92   BUILT_IN_SIN,
  93   BUILT_IN_COS,
  94   BUILT_IN_GETEXP,
  95   BUILT_IN_GETMAN,
  96   BUILT_IN_SAVEREGS,
  97   BUILT_IN_CLASSIFY_TYPE,
  98   BUILT_IN_NEXT_ARG,
  99   BUILT_IN_ARGS_INFO,
 100   BUILT_IN_CONSTANT_P,
 101   BUILT_IN_FRAME_ADDRESS,
 102   BUILT_IN_RETURN_ADDRESS,
 103   BUILT_IN_AGGREGATE_INCOMING_ADDRESS,
 104   BUILT_IN_APPLY_ARGS,
 105   BUILT_IN_APPLY,
 106   BUILT_IN_RETURN,
 107   BUILT_IN_SETJMP,
 108   BUILT_IN_LONGJMP,
 109   BUILT_IN_TRAP,
 110
 111   /* Various hooks for the DWARF 2 __throw routine.  */
 112   BUILT_IN_UNWIND_INIT,
 113   BUILT_IN_DWARF_CFA,
 114   BUILT_IN_DWARF_FP_REGNUM,
 115   BUILT_IN_DWARF_REG_SIZE,
 116   BUILT_IN_FROB_RETURN_ADDR,
 117   BUILT_IN_EXTRACT_RETURN_ADDR,
 118   BUILT_IN_EH_RETURN,
 119
 120   BUILT_IN_VARARGS_START,
 121   BUILT_IN_STDARG_START,
 122   BUILT_IN_VA_END,
 123   BUILT_IN_VA_COPY,
 124
 125   /* C++ extensions */
 126   BUILT_IN_NEW,
 127   BUILT_IN_VEC_NEW,
 128   BUILT_IN_DELETE,
 129   BUILT_IN_VEC_DELETE,
 130
 131   /* Upper bound on non-language-specific builtins. */
 132   END_BUILTINS
 133 };
 134 \f
 135 /* The definition of tree nodes fills the next several pages.  */
 136
 137 /* A tree node can represent a data type, a variable, an expression
 138    or a statement.  Each node has a TREE_CODE which says what kind of
 139    thing it represents.  Some common codes are:
 140    INTEGER_TYPE -- represents a type of integers.
 141    ARRAY_TYPE -- represents a type of pointer.
 142    VAR_DECL -- represents a declared variable.
 143    INTEGER_CST -- represents a constant integer value.
 144    PLUS_EXPR -- represents a sum (an expression).
 145
 146    As for the contents of a tree node: there are some fields
 147    that all nodes share.  Each TREE_CODE has various special-purpose
 148    fields as well.  The fields of a node are never accessed directly,
 149    always through accessor macros.  */
 150
 151 /* This type is used everywhere to refer to a tree node.  */
 152
 153 typedef union tree_node *tree;
 154
 155 /* Every kind of tree node starts with this structure,
 156    so all nodes have these fields.
 157
 158    See the accessor macros, defined below, for documentation of the fields.
 159
 160    DO NOT change the layout of tree_common unless absolutely necessary.  Some
 161    front-ends (namely g++) depend on the internal layout of this tructure.
 162    See my_tree_cons in the cp subdir for such uglyness.  Ugh.  */
 163
 164 struct tree_common
 165 {
 166   union tree_node *chain;
 167   union tree_node *type;
 168 #ifdef ONLY_INT_FIELDS
 169   unsigned int code : 8;
 170 #else
 171   enum tree_code code : 8;
 172 #endif
 173
 174   unsigned side_effects_flag : 1;
 175   unsigned constant_flag : 1;
 176   unsigned permanent_flag : 1;
 177   unsigned addressable_flag : 1;
 178   unsigned volatile_flag : 1;
 179   unsigned readonly_flag : 1;
 180   unsigned unsigned_flag : 1;
 181   unsigned asm_written_flag: 1;
 182
 183   unsigned used_flag : 1;
 184   unsigned raises_flag : 1;
 185   unsigned static_flag : 1;
 186   unsigned public_flag : 1;
 187   unsigned private_flag : 1;
 188   unsigned protected_flag : 1;
 189
 190   unsigned lang_flag_0 : 1;
 191   unsigned lang_flag_1 : 1;
 192   unsigned lang_flag_2 : 1;
 193   unsigned lang_flag_3 : 1;
 194   unsigned lang_flag_4 : 1;
 195   unsigned lang_flag_5 : 1;
 196   unsigned lang_flag_6 : 1;
 197   /* There is room for three more flags.  */
 198 };
 199
 200 /* The following table lists the uses of each of the above flags and
 201    for which types of nodes they are defined.  Note that expressions
 202    include decls.
 203
 204    addressable_flag:
 205
 206        TREE_ADDRESSABLE in
 207            VAR_DECL, FUNCTION_DECL, CONSTRUCTOR, LABEL_DECL, ..._TYPE
 208            IDENTIFIER_NODE
 209
 210    static_flag:
 211
 212        TREE_STATIC in
 213            VAR_DECL, FUNCTION_DECL, CONSTRUCTOR, ADDR_EXPR
 214        TREE_NO_UNUSED_WARNING in
 215            CONVERT_EXPR, NOP_EXPR, COMPOUND_EXPR
 216        TREE_VIA_VIRTUAL in
 217            TREE_LIST or TREE_VEC
 218        TREE_CONSTANT_OVERFLOW in
 219            INTEGER_CST, REAL_CST, COMPLEX_CST
 220        TREE_SYMBOL_REFERENCED in
 221            IDENTIFIER_NODE
 222
 223    public_flag:
 224
 225        TREE_OVERFLOW in
 226            INTEGER_CST, REAL_CST, COMPLEX_CST
 227        TREE_PUBLIC in
 228            VAR_DECL or FUNCTION_DECL
 229        TREE_VIA_PUBLIC in
 230            TREE_LIST or TREE_VEC
 231        EXPR_WFL_EMIT_LINE_NOTE in
 232            EXPR_WITH_FILE_LOCATION
 233
 234    private_flag:
 235
 236        TREE_VIA_PRIVATE in
 237            TREE_LIST or TREE_VEC
 238        TREE_PRIVATE in
 239            ??? unspecified nodes
 240
 241    protected_flag:
 242
 243        TREE_VIA_PROTECTED in
 244            TREE_LIST
 245        TREE_PROTECTED in
 246            BLOCK
 247            ??? unspecified nodes
 248
 249    side_effects_flag:
 250
 251        TREE_SIDE_EFFECTS in
 252            all expressions
 253
 254    volatile_flag:
 255
 256        TREE_THIS_VOLATILE in
 257            all expressions
 258        TYPE_VOLATILE in
 259            ..._TYPE
 260
 261    readonly_flag:
 262
 263        TREE_READONLY in
 264            all expressions
 265        ITERATOR_BOUND_P in
 266            VAR_DECL if iterator (C)
 267        TYPE_READONLY in
 268            ..._TYPE
 269
 270    constant_flag:
 271
 272        TREE_CONSTANT in
 273            all expressions
 274
 275    permanent_flag: TREE_PERMANENT in all nodes
 276
 277    unsigned_flag:
 278
 279        TREE_UNSIGNED in
 280            INTEGER_TYPE, ENUMERAL_TYPE, FIELD_DECL
 281        DECL_BUILT_IN_NONANSI in
 282            FUNCTION_DECL
 283        TREE_PARMLIST in
 284            TREE_PARMLIST (C++)
 285        SAVE_EXPR_NOPLACEHOLDER in
 286            SAVE_EXPR
 287
 288    asm_written_flag:
 289
 290        TREE_ASM_WRITTEN in
 291            VAR_DECL, FUNCTION_DECL, RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE
 292            BLOCK
 293
 294    used_flag:
 295
 296        TREE_USED in
 297            expressions, IDENTIFIER_NODE
 298
 299    raises_flag:
 300
 301        TREE_RAISES in
 302            expressions
 303
 304                                                           */
 305 /* Define accessors for the fields that all tree nodes have
 306    (though some fields are not used for all kinds of nodes).  */
 307
 308 /* The tree-code says what kind of node it is.
 309    Codes are defined in tree.def.  */
 310 #define TREE_CODE(NODE) ((enum tree_code) (NODE)->common.code)
 311 #define TREE_SET_CODE(NODE, VALUE) ((NODE)->common.code = (int) (VALUE))
 312
 313 /* When checking is enabled, errors will be generated if a tree node
 314    is accessed incorrectly. The macros abort with a fatal error.  */
 315 #if defined ENABLE_CHECKING && (__GNUC__ > 2 || __GNUC_MINOR__ > 6)
 316
 317 #define TREE_CHECK(t, code)                                             \
 318 ({  const tree __t = t;                                                 \
 319     if (TREE_CODE(__t) != (code))                                       \
 320       tree_check_failed (__t, code, __FILE__,                           \
 321                          __LINE__, __PRETTY_FUNCTION__);                \
 322     __t; })
 323 #define TREE_CLASS_CHECK(t, class)                                      \
 324 ({  const tree __t = t;                                                 \
 325     if (TREE_CODE_CLASS(TREE_CODE(__t)) != (class))                     \
 326       tree_class_check_failed (__t, class, __FILE__,                    \
 327                                __LINE__, __PRETTY_FUNCTION__);          \
 328     __t; })
 329
 330 /* These checks have to be special cased.  */
 331 #define CST_OR_CONSTRUCTOR_CHECK(t)                                     \
 332 ({  const tree __t = t;                                                 \
 333     enum tree_code __c = TREE_CODE(__t);                                \
 334     if (__c != CONSTRUCTOR && TREE_CODE_CLASS(__c) != 'c')              \
 335       tree_check_failed (__t, CONSTRUCTOR, __FILE__,                    \
 336                          __LINE__, __PRETTY_FUNCTION__);                \
 337     __t; })
 338 #define EXPR_CHECK(t)                                                   \
 339 ({  const tree __t = t;                                                 \
 340     char __c = TREE_CODE_CLASS(TREE_CODE(__t));                         \
 341     if (__c != 'r' && __c != 's' && __c != '<'                          \
 342         && __c != '1' && __c != '2' && __c != 'e')                      \
 343       tree_class_check_failed(__t, 'e', __FILE__,                       \
 344                               __LINE__, __PRETTY_FUNCTION__);           \
 345     __t; })
 346
 347 extern void tree_check_failed PROTO((const tree, enum tree_code,
 348                                      const char *, int, const char *))
 349     ATTRIBUTE_NORETURN;
 350 extern void tree_class_check_failed PROTO((const tree, char,
 351                                            const char *, int, const char *))
 352     ATTRIBUTE_NORETURN;
 353
 354 #else /* not ENABLE_CHECKING, or not gcc */
 355
 356 #define TREE_CHECK(t, code)             (t)
 357 #define TREE_CLASS_CHECK(t, code)       (t)
 358 #define CST_OR_CONSTRUCTOR_CHECK(t)     (t)
 359 #define EXPR_CHECK(t)                   (t)
 360
 361 #endif
 362
 363 #include "tree-check.h"
 364
 365 #define TYPE_CHECK(tree)        TREE_CLASS_CHECK  (tree, 't')
 366 #define DECL_CHECK(tree)        TREE_CLASS_CHECK  (tree, 'd')
 367 #define CST_CHECK(tree)         TREE_CLASS_CHECK  (tree, 'c')
 368
 369 /* In all nodes that are expressions, this is the data type of the expression.
 370    In POINTER_TYPE nodes, this is the type that the pointer points to.
 371    In ARRAY_TYPE nodes, this is the type of the elements.  */
 372 #define TREE_TYPE(NODE) ((NODE)->common.type)
 373
 374 /* Nodes are chained together for many purposes.
 375    Types are chained together to record them for being output to the debugger
 376    (see the function `chain_type').
 377    Decls in the same scope are chained together to record the contents
 378    of the scope.
 379    Statement nodes for successive statements used to be chained together.
 380    Often lists of things are represented by TREE_LIST nodes that
 381    are chained together.  */
 382
 383 #define TREE_CHAIN(NODE) ((NODE)->common.chain)
 384
 385 /* Given an expression as a tree, strip any NON_LVALUE_EXPRs and NOP_EXPRs
 386    that don't change the machine mode.  */
 387
 388 #define STRIP_NOPS(EXP) \
 389   while ((TREE_CODE (EXP) == NOP_EXPR                           \
 390           || TREE_CODE (EXP) == CONVERT_EXPR                    \
 391           || TREE_CODE (EXP) == NON_LVALUE_EXPR)                \
 392          && (TYPE_MODE (TREE_TYPE (EXP))                        \
 393              == TYPE_MODE (TREE_TYPE (TREE_OPERAND (EXP, 0))))) \
 394     (EXP) = TREE_OPERAND (EXP, 0);
 395
 396 /* Like STRIP_NOPS, but don't alter the TREE_TYPE either.  */
 397
 398 #define STRIP_TYPE_NOPS(EXP) \
 399   while ((TREE_CODE (EXP) == NOP_EXPR                           \
 400           || TREE_CODE (EXP) == CONVERT_EXPR                    \
 401           || TREE_CODE (EXP) == NON_LVALUE_EXPR)                \
 402          && (TREE_TYPE (EXP)                                    \
 403              == TREE_TYPE (TREE_OPERAND (EXP, 0))))             \
 404     (EXP) = TREE_OPERAND (EXP, 0);
 405
 406 /* Nonzero if TYPE represents an integral type.  Note that we do not
 407    include COMPLEX types here.  */
 408
 409 #define INTEGRAL_TYPE_P(TYPE)  \
 410   (TREE_CODE (TYPE) == INTEGER_TYPE || TREE_CODE (TYPE) == ENUMERAL_TYPE  \
 411    || TREE_CODE (TYPE) == BOOLEAN_TYPE || TREE_CODE (TYPE) == CHAR_TYPE)
 412
 413 /* Nonzero if TYPE represents a floating-point type, including complex
 414    floating-point types.  */
 415
 416 #define FLOAT_TYPE_P(TYPE)              \
 417   (TREE_CODE (TYPE) == REAL_TYPE        \
 418    || (TREE_CODE (TYPE) == COMPLEX_TYPE \
 419        && TREE_CODE (TREE_TYPE (TYPE)) == REAL_TYPE))
 420
 421 /* Nonzero if TYPE represents an aggregate (multi-component) type. */
 422
 423 #define AGGREGATE_TYPE_P(TYPE) \
 424   (TREE_CODE (TYPE) == ARRAY_TYPE || TREE_CODE (TYPE) == RECORD_TYPE \
 425    || TREE_CODE (TYPE) == UNION_TYPE || TREE_CODE (TYPE) == QUAL_UNION_TYPE \
 426    || TREE_CODE (TYPE) == SET_TYPE)
 427
 428 /* Nonzero if TYPE represents a pointer type.  */
 429
 430 #define POINTER_TYPE_P(TYPE) \
 431   (TREE_CODE (TYPE) == POINTER_TYPE || TREE_CODE (TYPE) == REFERENCE_TYPE)
 432
 433 /* Nonzero if TYPE represents a type.  */
 434
 435 #define TYPE_P(TYPE)    (TREE_CODE_CLASS (TREE_CODE (TYPE)) == 't')
 436 \f
 437 /* Define many boolean fields that all tree nodes have.  */
 438
 439 /* In VAR_DECL nodes, nonzero means address of this is needed.
 440    So it cannot be in a register.
 441    In a FUNCTION_DECL, nonzero means its address is needed.
 442    So it must be compiled even if it is an inline function.
 443    In CONSTRUCTOR nodes, it means object constructed must be in memory.
 444    In LABEL_DECL nodes, it means a goto for this label has been seen
 445    from a place outside all binding contours that restore stack levels.
 446    In ..._TYPE nodes, it means that objects of this type must
 447    be fully addressable.  This means that pieces of this
 448    object cannot go into register parameters, for example.
 449    In IDENTIFIER_NODEs, this means that some extern decl for this name
 450    had its address taken.  That matters for inline functions.  */
 451 #define TREE_ADDRESSABLE(NODE) ((NODE)->common.addressable_flag)
 452
 453 /* In a VAR_DECL, nonzero means allocate static storage.
 454    In a FUNCTION_DECL, nonzero if function has been defined.
 455    In a CONSTRUCTOR, nonzero means allocate static storage.  */
 456 #define TREE_STATIC(NODE) ((NODE)->common.static_flag)
 457
 458 /* In a CONVERT_EXPR, NOP_EXPR or COMPOUND_EXPR, this means the node was
 459    made implicitly and should not lead to an "unused value" warning.  */
 460 #define TREE_NO_UNUSED_WARNING(NODE) ((NODE)->common.static_flag)
 461
 462 /* Nonzero for a TREE_LIST or TREE_VEC node means that the derivation
 463    chain is via a `virtual' declaration.  */
 464 #define TREE_VIA_VIRTUAL(NODE) ((NODE)->common.static_flag)
 465
 466 /* In an INTEGER_CST, REAL_CST, or COMPLEX_CST, this means there was an
 467    overflow in folding.  This is distinct from TREE_OVERFLOW because ANSI C
 468    requires a diagnostic when overflows occur in constant expressions.  */
 469 #define TREE_CONSTANT_OVERFLOW(NODE) ((NODE)->common.static_flag)
 470
 471 /* In an IDENTIFIER_NODE, this means that assemble_name was called with
 472    this string as an argument.  */
 473 #define TREE_SYMBOL_REFERENCED(NODE) ((NODE)->common.static_flag)
 474
 475 /* In an INTEGER_CST, REAL_CST, of COMPLEX_CST, this means there was an
 476    overflow in folding, and no warning has been issued for this subexpression.
 477    TREE_OVERFLOW implies TREE_CONSTANT_OVERFLOW, but not vice versa.  */
 478 #define TREE_OVERFLOW(NODE) ((NODE)->common.public_flag)
 479
 480 /* In a VAR_DECL or FUNCTION_DECL,
 481    nonzero means name is to be accessible from outside this module.
 482    In an identifier node, nonzero means an external declaration
 483    accessible from outside this module was previously seen
 484    for this name in an inner scope.  */
 485 #define TREE_PUBLIC(NODE) ((NODE)->common.public_flag)
 486
 487 /* Nonzero for TREE_LIST or TREE_VEC node means that the path to the
 488    base class is via a `public' declaration, which preserves public
 489    fields from the base class as public.  */
 490 #define TREE_VIA_PUBLIC(NODE) ((NODE)->common.public_flag)
 491
 492 /* Ditto, for `private' declarations.  */
 493 #define TREE_VIA_PRIVATE(NODE) ((NODE)->common.private_flag)
 494
 495 /* Nonzero for TREE_LIST node means that the path to the
 496    base class is via a `protected' declaration, which preserves
 497    protected fields from the base class as protected.
 498    OVERLOADED.  */
 499 #define TREE_VIA_PROTECTED(NODE) ((NODE)->common.protected_flag)
 500
 501 /* In any expression, nonzero means it has side effects or reevaluation
 502    of the whole expression could produce a different value.
 503    This is set if any subexpression is a function call, a side effect
 504    or a reference to a volatile variable.
 505    In a ..._DECL, this is set only if the declaration said `volatile'.  */
 506 #define TREE_SIDE_EFFECTS(NODE) ((NODE)->common.side_effects_flag)
 507
 508 /* Nonzero means this expression is volatile in the C sense:
 509    its address should be of type `volatile WHATEVER *'.
 510    In other words, the declared item is volatile qualified.
 511    This is used in _DECL nodes and _REF nodes.
 512
 513    In a ..._TYPE node, means this type is volatile-qualified.
 514    But use TYPE_VOLATILE instead of this macro when the node is a type,
 515    because eventually we may make that a different bit.
 516
 517    If this bit is set in an expression, so is TREE_SIDE_EFFECTS.  */
 518 #define TREE_THIS_VOLATILE(NODE) ((NODE)->common.volatile_flag)
 519
 520 /* In a VAR_DECL, PARM_DECL or FIELD_DECL, or any kind of ..._REF node,
 521    nonzero means it may not be the lhs of an assignment.
 522    In a ..._TYPE node, means this type is const-qualified
 523    (but the macro TYPE_READONLY should be used instead of this macro
 524    when the node is a type).  */
 525 #define TREE_READONLY(NODE) ((NODE)->common.readonly_flag)
 526
 527 /* Value of expression is constant.
 528    Always appears in all ..._CST nodes.
 529    May also appear in an arithmetic expression, an ADDR_EXPR or a CONSTRUCTOR
 530    if the value is constant.  */
 531 #define TREE_CONSTANT(NODE) ((NODE)->common.constant_flag)
 532
 533 /* Nonzero means permanent node;
 534    node will continue to exist for the entire compiler run.
 535    Otherwise it will be recycled at the end of the function.  */
 536 #define TREE_PERMANENT(NODE) ((NODE)->common.permanent_flag)
 537
 538 /* In INTEGER_TYPE or ENUMERAL_TYPE nodes, means an unsigned type.
 539    In FIELD_DECL nodes, means an unsigned bit field.
 540    The same bit is used in functions as DECL_BUILT_IN_NONANSI.  */
 541 #define TREE_UNSIGNED(NODE) ((NODE)->common.unsigned_flag)
 542
 543 /* Nonzero in a VAR_DECL means assembler code has been written.
 544    Nonzero in a FUNCTION_DECL means that the function has been compiled.
 545    This is interesting in an inline function, since it might not need
 546    to be compiled separately.
 547    Nonzero in a RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE or ENUMERAL_TYPE
 548    if the sdb debugging info for the type has been written.
 549    In a BLOCK node, nonzero if reorder_blocks has already seen this block.  */
 550 #define TREE_ASM_WRITTEN(NODE) ((NODE)->common.asm_written_flag)
 551
 552 /* Nonzero in a _DECL if the name is used in its scope.
 553    Nonzero in an expr node means inhibit warning if value is unused.
 554    In IDENTIFIER_NODEs, this means that some extern decl for this name
 555    was used.  */
 556 #define TREE_USED(NODE) ((NODE)->common.used_flag)
 557
 558 /* Nonzero for a tree node whose evaluation could result
 559    in the raising of an exception.  Not implemented yet.  */
 560 #define TREE_RAISES(NODE) ((NODE)->common.raises_flag)
 561
 562 /* Used in classes in C++.  */
 563 #define TREE_PRIVATE(NODE) ((NODE)->common.private_flag)
 564 /* Used in classes in C++.
 565    In a BLOCK node, this is BLOCK_HANDLER_BLOCK.  */
 566 #define TREE_PROTECTED(NODE) ((NODE)->common.protected_flag)
 567
 568 /* These flags are available for each language front end to use internally.  */
 569 #define TREE_LANG_FLAG_0(NODE) ((NODE)->common.lang_flag_0)
 570 #define TREE_LANG_FLAG_1(NODE) ((NODE)->common.lang_flag_1)
 571 #define TREE_LANG_FLAG_2(NODE) ((NODE)->common.lang_flag_2)
 572 #define TREE_LANG_FLAG_3(NODE) ((NODE)->common.lang_flag_3)
 573 #define TREE_LANG_FLAG_4(NODE) ((NODE)->common.lang_flag_4)
 574 #define TREE_LANG_FLAG_5(NODE) ((NODE)->common.lang_flag_5)
 575 #define TREE_LANG_FLAG_6(NODE) ((NODE)->common.lang_flag_6)
 576 \f
 577 /* Define additional fields and accessors for nodes representing constants.  */
 578
 579 /* In an INTEGER_CST node.  These two together make a 2-word integer.
 580    If the data type is signed, the value is sign-extended to 2 words
 581    even though not all of them may really be in use.
 582    In an unsigned constant shorter than 2 words, the extra bits are 0.  */
 583 #define TREE_INT_CST_LOW(NODE) (INTEGER_CST_CHECK (NODE)->int_cst.int_cst_low)
 584 #define TREE_INT_CST_HIGH(NODE) (INTEGER_CST_CHECK (NODE)->int_cst.int_cst_high)
 585
 586 #define INT_CST_LT(A, B)  \
 587 (TREE_INT_CST_HIGH (A) < TREE_INT_CST_HIGH (B)                  \
 588  || (TREE_INT_CST_HIGH (A) == TREE_INT_CST_HIGH (B)             \
 589      && ((unsigned HOST_WIDE_INT) TREE_INT_CST_LOW (A)          \
 590          < (unsigned HOST_WIDE_INT) TREE_INT_CST_LOW (B))))
 591
 592 #define INT_CST_LT_UNSIGNED(A, B)  \
 593 (((unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (A)        \
 594   < (unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (B))     \
 595  || (((unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (A)    \
 596       == (unsigned HOST_WIDE_INT ) TREE_INT_CST_HIGH (B)) \
 597      && (((unsigned HOST_WIDE_INT) TREE_INT_CST_LOW (A) \
 598           < (unsigned HOST_WIDE_INT) TREE_INT_CST_LOW (B)))))
 599
 600 struct tree_int_cst
 601 {
 602   char common[sizeof (struct tree_common)];
 603   struct rtx_def *rtl;  /* acts as link to register transfer language
 604                            (rtl) info */
 605   HOST_WIDE_INT int_cst_low;
 606   HOST_WIDE_INT int_cst_high;
 607 };
 608
 609 /* In REAL_CST, STRING_CST, COMPLEX_CST nodes, and CONSTRUCTOR nodes,
 610    and generally in all kinds of constants that could
 611    be given labels (rather than being immediate).  */
 612
 613 #define TREE_CST_RTL(NODE) (CST_OR_CONSTRUCTOR_CHECK (NODE)->real_cst.rtl)
 614
 615 /* In a REAL_CST node.  */
 616 /* We can represent a real value as either a `double' or a string.
 617    Strings don't allow for any optimization, but they do allow
 618    for cross-compilation.  */
 619
 620 #define TREE_REAL_CST(NODE) (REAL_CST_CHECK (NODE)->real_cst.real_cst)
 621
 622 #include "real.h"
 623
 624 struct tree_real_cst
 625 {
 626   char common[sizeof (struct tree_common)];
 627   struct rtx_def *rtl;  /* acts as link to register transfer language
 628                                    (rtl) info */
 629   REAL_VALUE_TYPE real_cst;
 630 };
 631
 632 /* In a STRING_CST */
 633 #define TREE_STRING_LENGTH(NODE) (STRING_CST_CHECK (NODE)->string.length)
 634 #define TREE_STRING_POINTER(NODE) (STRING_CST_CHECK (NODE)->string.pointer)
 635
 636 struct tree_string
 637 {
 638   char common[sizeof (struct tree_common)];
 639   struct rtx_def *rtl;  /* acts as link to register transfer language
 640                                    (rtl) info */
 641   int length;
 642   char *pointer;
 643 };
 644
 645 /* In a COMPLEX_CST node.  */
 646 #define TREE_REALPART(NODE) (COMPLEX_CST_CHECK (NODE)->complex.real)
 647 #define TREE_IMAGPART(NODE) (COMPLEX_CST_CHECK (NODE)->complex.imag)
 648
 649 struct tree_complex
 650 {
 651   char common[sizeof (struct tree_common)];
 652   struct rtx_def *rtl;  /* acts as link to register transfer language
 653                                    (rtl) info */
 654   union tree_node *real;
 655   union tree_node *imag;
 656 };
 657 \f
 658 /* Define fields and accessors for some special-purpose tree nodes.  */
 659
 660 #define IDENTIFIER_LENGTH(NODE) (IDENTIFIER_NODE_CHECK (NODE)->identifier.length)
 661 #define IDENTIFIER_POINTER(NODE) (IDENTIFIER_NODE_CHECK (NODE)->identifier.pointer)
 662
 663 struct tree_identifier
 664 {
 665   char common[sizeof (struct tree_common)];
 666   int length;
 667   char *pointer;
 668 };
 669
 670 /* In a TREE_LIST node.  */
 671 #define TREE_PURPOSE(NODE) (TREE_LIST_CHECK (NODE)->list.purpose)
 672 #define TREE_VALUE(NODE) (TREE_LIST_CHECK (NODE)->list.value)
 673
 674 struct tree_list
 675 {
 676   char common[sizeof (struct tree_common)];
 677   union tree_node *purpose;
 678   union tree_node *value;
 679 };
 680
 681 /* In a TREE_VEC node.  */
 682 #define TREE_VEC_LENGTH(NODE) (TREE_VEC_CHECK (NODE)->vec.length)
 683 #define TREE_VEC_ELT(NODE,I) (TREE_VEC_CHECK (NODE)->vec.a[I])
 684 #define TREE_VEC_END(NODE) ((void) TREE_VEC_CHECK (NODE),&((NODE)->vec.a[(NODE)->vec.length]))
 685
 686 struct tree_vec
 687 {
 688   char common[sizeof (struct tree_common)];
 689   int length;
 690   union tree_node *a[1];
 691 };
 692
 693 /* Define fields and accessors for some nodes that represent expressions.  */
 694
 695 /* In a SAVE_EXPR node.  */
 696 #define SAVE_EXPR_CONTEXT(NODE) TREE_OPERAND(NODE, 1)
 697 #define SAVE_EXPR_RTL(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[2])
 698 #define SAVE_EXPR_NOPLACEHOLDER(NODE) TREE_UNSIGNED (NODE)
 699
 700 /* In a RTL_EXPR node.  */
 701 #define RTL_EXPR_SEQUENCE(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[0])
 702 #define RTL_EXPR_RTL(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[1])
 703
 704 /* In a CALL_EXPR node.  */
 705 #define CALL_EXPR_RTL(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[2])
 706
 707 /* In a CONSTRUCTOR node.  */
 708 #define CONSTRUCTOR_ELTS(NODE) TREE_OPERAND (NODE, 1)
 709
 710 /* In ordinary expression nodes.  */
 711 #define TREE_OPERAND(NODE, I) (EXPR_CHECK (NODE)->exp.operands[I])
 712 #define TREE_COMPLEXITY(NODE) (EXPR_CHECK (NODE)->exp.complexity)
 713
 714 /* In a LABELED_BLOCK_EXPR node.  */
 715 #define LABELED_BLOCK_LABEL(NODE) TREE_OPERAND (NODE, 0)
 716 #define LABELED_BLOCK_BODY(NODE) TREE_OPERAND (NODE, 1)
 717
 718 /* In a EXIT_BLOCK_EXPR node.  */
 719 #define EXIT_BLOCK_LABELED_BLOCK(NODE) TREE_OPERAND (NODE, 0)
 720 #define EXIT_BLOCK_RETURN(NODE) TREE_OPERAND (NODE, 1)
 721
 722 /* In a LOOP_EXPR node.  */
 723 #define LOOP_EXPR_BODY(NODE) TREE_OPERAND (NODE, 0)
 724
 725 /* In a EXPR_WITH_FILE_LOCATION node.  */
 726 #define EXPR_WFL_NODE(NODE) TREE_OPERAND((NODE), 0)
 727 #define EXPR_WFL_FILENAME(NODE) (IDENTIFIER_POINTER ((NODE)->common.chain))
 728 #define EXPR_WFL_FILENAME_NODE(NODE) ((NODE)->common.chain)
 729 #define EXPR_WFL_LINENO(NODE) (EXPR_CHECK (NODE)->exp.complexity >> 12)
 730 #define EXPR_WFL_COLNO(NODE) (EXPR_CHECK (NODE)->exp.complexity & 0xfff)
 731 #define EXPR_WFL_LINECOL(NODE) (EXPR_CHECK (NODE)->exp.complexity)
 732 #define EXPR_WFL_SET_LINECOL(NODE, LINE, COL) \
 733   (EXPR_WFL_LINECOL(NODE) = ((LINE) << 12) | ((COL) & 0xfff))
 734 #define EXPR_WFL_EMIT_LINE_NOTE(NODE) ((NODE)->common.public_flag)
 735
 736 struct tree_exp
 737 {
 738   char common[sizeof (struct tree_common)];
 739   int complexity;
 740   union tree_node *operands[1];
 741 };
 742 \f
 743 /* In a BLOCK node.  */
 744 #define BLOCK_VARS(NODE) (BLOCK_CHECK (NODE)->block.vars)
 745 #define BLOCK_TYPE_TAGS(NODE) (BLOCK_CHECK (NODE)->block.type_tags)
 746 #define BLOCK_SUBBLOCKS(NODE) (BLOCK_CHECK (NODE)->block.subblocks)
 747 #define BLOCK_SUPERCONTEXT(NODE) (BLOCK_CHECK (NODE)->block.supercontext)
 748 /* Note: when changing this, make sure to find the places
 749    that use chainon or nreverse.  */
 750 #define BLOCK_CHAIN(NODE) TREE_CHAIN (NODE)
 751 #define BLOCK_ABSTRACT_ORIGIN(NODE) (BLOCK_CHECK (NODE)->block.abstract_origin)
 752 #define BLOCK_ABSTRACT(NODE) (BLOCK_CHECK (NODE)->block.abstract_flag)
 753 #define BLOCK_END_NOTE(NODE) (BLOCK_CHECK (NODE)->block.end_note)
 754 /* Nonzero means that this block has separate live range regions */
 755 #define BLOCK_LIVE_RANGE_FLAG(NOTE) (BLOCK_CHECK (NOTE)->block.live_range_flag)
 756
 757 /* Nonzero means that this block has a variable declared in it
 758    that is split into separate live ranges.  */
 759 #define BLOCK_LIVE_RANGE_VAR_FLAG(NOTE) (BLOCK_CHECK (NOTE)->block.live_range_var_flag)
 760
 761 /* Index for marking the start of the block for live ranges.  */
 762 #define BLOCK_LIVE_RANGE_START(NOTE) (BLOCK_CHECK (NOTE)->block.live_range_start)
 763
 764 /* Index for marking the end of the block for live ranges.  */
 765 #define BLOCK_LIVE_RANGE_END(NOTE) (BLOCK_CHECK (NOTE)->block.live_range_end)
 766
 767 /* Nonzero means that this block is prepared to handle exceptions
 768    listed in the BLOCK_VARS slot.  */
 769 #define BLOCK_HANDLER_BLOCK(NODE) (BLOCK_CHECK (NODE)->block.handler_block_flag)
 770
 771 struct tree_block
 772 {
 773   char common[sizeof (struct tree_common)];
 774
 775   unsigned handler_block_flag : 1;
 776   unsigned abstract_flag : 1;
 777   unsigned live_range_flag : 1;
 778   unsigned live_range_var_flag : 1;
 779
 780   union tree_node *vars;
 781   union tree_node *type_tags;
 782   union tree_node *subblocks;
 783   union tree_node *supercontext;
 784   union tree_node *abstract_origin;
 785   struct rtx_def *end_note;
 786   int live_range_start;
 787   int live_range_end;
 788 };
 789 \f
 790 /* Define fields and accessors for nodes representing data types.  */
 791
 792 /* See tree.def for documentation of the use of these fields.
 793    Look at the documentation of the various ..._TYPE tree codes.  */
 794
 795 #define TYPE_UID(NODE) (TYPE_CHECK (NODE)->type.uid)
 796 #define TYPE_SIZE(NODE) (TYPE_CHECK (NODE)->type.size)
 797 #define TYPE_SIZE_UNIT(NODE) (TYPE_CHECK (NODE)->type.size_unit)
 798 #define TYPE_MODE(NODE) (TYPE_CHECK (NODE)->type.mode)
 799 #define TYPE_VALUES(NODE) (TYPE_CHECK (NODE)->type.values)
 800 #define TYPE_DOMAIN(NODE) (TYPE_CHECK (NODE)->type.values)
 801 #define TYPE_FIELDS(NODE) (TYPE_CHECK (NODE)->type.values)
 802 #define TYPE_METHODS(NODE) (TYPE_CHECK (NODE)->type.maxval)
 803 #define TYPE_VFIELD(NODE) (TYPE_CHECK (NODE)->type.minval)
 804 #define TYPE_ARG_TYPES(NODE) (TYPE_CHECK (NODE)->type.values)
 805 #define TYPE_METHOD_BASETYPE(NODE) (TYPE_CHECK (NODE)->type.maxval)
 806 #define TYPE_OFFSET_BASETYPE(NODE) (TYPE_CHECK (NODE)->type.maxval)
 807 #define TYPE_POINTER_TO(NODE) (TYPE_CHECK (NODE)->type.pointer_to)
 808 #define TYPE_REFERENCE_TO(NODE) (TYPE_CHECK (NODE)->type.reference_to)
 809 #define TYPE_MIN_VALUE(NODE) (TYPE_CHECK (NODE)->type.minval)
 810 #define TYPE_MAX_VALUE(NODE) (TYPE_CHECK (NODE)->type.maxval)
 811 #define TYPE_PRECISION(NODE) (TYPE_CHECK (NODE)->type.precision)
 812 #define TYPE_SYMTAB_ADDRESS(NODE) (TYPE_CHECK (NODE)->type.symtab.address)
 813 #define TYPE_SYMTAB_POINTER(NODE) (TYPE_CHECK (NODE)->type.symtab.pointer)
 814 #define TYPE_NAME(NODE) (TYPE_CHECK (NODE)->type.name)
 815 #define TYPE_NEXT_VARIANT(NODE) (TYPE_CHECK (NODE)->type.next_variant)
 816 #define TYPE_MAIN_VARIANT(NODE) (TYPE_CHECK (NODE)->type.main_variant)
 817 #define TYPE_NONCOPIED_PARTS(NODE) (TYPE_CHECK (NODE)->type.noncopied_parts)
 818 #define TYPE_CONTEXT(NODE) (TYPE_CHECK (NODE)->type.context)
 819 #define TYPE_OBSTACK(NODE) (TYPE_CHECK (NODE)->type.obstack)
 820 #define TYPE_LANG_SPECIFIC(NODE) (TYPE_CHECK (NODE)->type.lang_specific)
 821
 822 /* For aggregate types, information about this type, as a base type
 823    for itself.  Used in a language-dependent way for types that are
 824    neither a RECORD_TYPE, QUAL_UNION_TYPE, nor a UNION_TYPE.  */
 825 #define TYPE_BINFO(NODE) (TYPE_CHECK (NODE)->type.binfo)
 826
 827 /* The (language-specific) typed-based alias set for this type.
 828    Objects whose TYPE_ALIAS_SETs are different cannot alias each
 829    other.  If the TYPE_ALIAS_SET is -1, no alias set has yet been
 830    assigned to this type.  If the TYPE_ALIAS_SET is 0, objects of this
 831    type can alias objects of any type.  */
 832 #define TYPE_ALIAS_SET(NODE) (TYPE_CHECK (NODE)->type.alias_set)
 833
 834 /* Nonzero iff the typed-based alias set for this type has been
 835    calculated.  */
 836 #define TYPE_ALIAS_SET_KNOWN_P(NODE) \
 837   (TYPE_CHECK (NODE)->type.alias_set != -1)
 838
 839 /* A TREE_LIST of IDENTIFIER nodes of the attributes that apply
 840    to this type.  */
 841 #define TYPE_ATTRIBUTES(NODE) (TYPE_CHECK (NODE)->type.attributes)
 842
 843 /* The alignment necessary for objects of this type.
 844    The value is an int, measured in bits.  */
 845 #define TYPE_ALIGN(NODE) (TYPE_CHECK (NODE)->type.align)
 846
 847 #define TYPE_STUB_DECL(NODE) (TREE_CHAIN (NODE))
 848
 849 /* In a RECORD_TYPE, UNION_TYPE or QUAL_UNION_TYPE, it means the type
 850    has BLKmode only because it lacks the alignment requirement for
 851    its size.  */
 852 #define TYPE_NO_FORCE_BLK(NODE) (TYPE_CHECK (NODE)->type.no_force_blk_flag)
 853
 854 /* Nonzero in a type considered volatile as a whole.  */
 855 #define TYPE_VOLATILE(NODE) ((NODE)->common.volatile_flag)
 856
 857 /* Means this type is const-qualified.  */
 858 #define TYPE_READONLY(NODE) ((NODE)->common.readonly_flag)
 859
 860 /* If nonzero, this type is `restrict'-qualified, in the C sense of
 861    the term.  */
 862 #define TYPE_RESTRICT(NODE) (TYPE_CHECK (NODE)->type.restrict_flag)
 863
 864 /* There is a TYPE_QUAL value for each type qualifier.  They can be
 865    combined by bitwise-or to form the complete set of qualifiers for a
 866    type.  */
 867
 868 #define TYPE_UNQUALIFIED   0x0
 869 #define TYPE_QUAL_CONST    0x1
 870 #define TYPE_QUAL_VOLATILE 0x2
 871 #define TYPE_QUAL_RESTRICT 0x4
 872
 873 /* The set of type qualifiers for this type.  */
 874 #define TYPE_QUALS(NODE)                        \
 875   ((TYPE_READONLY(NODE) * TYPE_QUAL_CONST) |    \
 876    (TYPE_VOLATILE(NODE) * TYPE_QUAL_VOLATILE) | \
 877    (TYPE_RESTRICT(NODE) * TYPE_QUAL_RESTRICT))
 878
 879 /* These flags are available for each language front end to use internally.  */
 880 #define TYPE_LANG_FLAG_0(NODE) (TYPE_CHECK (NODE)->type.lang_flag_0)
 881 #define TYPE_LANG_FLAG_1(NODE) (TYPE_CHECK (NODE)->type.lang_flag_1)
 882 #define TYPE_LANG_FLAG_2(NODE) (TYPE_CHECK (NODE)->type.lang_flag_2)
 883 #define TYPE_LANG_FLAG_3(NODE) (TYPE_CHECK (NODE)->type.lang_flag_3)
 884 #define TYPE_LANG_FLAG_4(NODE) (TYPE_CHECK (NODE)->type.lang_flag_4)
 885 #define TYPE_LANG_FLAG_5(NODE) (TYPE_CHECK (NODE)->type.lang_flag_5)
 886 #define TYPE_LANG_FLAG_6(NODE) (TYPE_CHECK (NODE)->type.lang_flag_6)
 887
 888 /* If set in an ARRAY_TYPE, indicates a string type (for languages
 889    that distinguish string from array of char).
 890    If set in a SET_TYPE, indicates a bitstring type. */
 891 #define TYPE_STRING_FLAG(NODE) (TYPE_CHECK (NODE)->type.string_flag)
 892
 893 /* If non-NULL, this is a upper bound of the size (in bytes) of an
 894    object of the given ARRAY_TYPE.  This allows temporaries to be allocated. */
 895 #define TYPE_ARRAY_MAX_SIZE(ARRAY_TYPE) TYPE_MAX_VALUE (ARRAY_TYPE)
 896
 897 /* Indicates that objects of this type must be initialized by calling a
 898    function when they are created.  */
 899 #define TYPE_NEEDS_CONSTRUCTING(NODE) (TYPE_CHECK (NODE)->type.needs_constructing_flag)
 900
 901 /* Indicates that objects of this type (a UNION_TYPE), should be passed
 902    the same way that the first union alternative would be passed.  */
 903 #define TYPE_TRANSPARENT_UNION(NODE) (TYPE_CHECK (NODE)->type.transparent_union_flag)
 904
 905 /* Indicated that objects of this type should be laid out in as
 906    compact a way as possible.  */
 907 #define TYPE_PACKED(NODE) (TYPE_CHECK (NODE)->type.packed_flag)
 908
 909 struct tree_type
 910 {
 911   char common[sizeof (struct tree_common)];
 912   union tree_node *values;
 913   union tree_node *size;
 914   union tree_node *size_unit;
 915   union tree_node *attributes;
 916   unsigned uid;
 917
 918   unsigned char precision;
 919 #ifdef ONLY_INT_FIELDS
 920   int mode : 8;
 921 #else
 922   enum machine_mode mode : 8;
 923 #endif
 924
 925   unsigned string_flag : 1;
 926   unsigned no_force_blk_flag : 1;
 927   unsigned needs_constructing_flag : 1;
 928   unsigned transparent_union_flag : 1;
 929   unsigned packed_flag : 1;
 930   unsigned restrict_flag : 1;
 931
 932   unsigned lang_flag_0 : 1;
 933   unsigned lang_flag_1 : 1;
 934   unsigned lang_flag_2 : 1;
 935   unsigned lang_flag_3 : 1;
 936   unsigned lang_flag_4 : 1;
 937   unsigned lang_flag_5 : 1;
 938   unsigned lang_flag_6 : 1;
 939   /* room for 3 more bits */
 940
 941   unsigned int align;
 942   union tree_node *pointer_to;
 943   union tree_node *reference_to;
 944   union {int address; char *pointer; } symtab;
 945   union tree_node *name;
 946   union tree_node *minval;
 947   union tree_node *maxval;
 948   union tree_node *next_variant;
 949   union tree_node *main_variant;
 950   union tree_node *binfo;
 951   union tree_node *noncopied_parts;
 952   union tree_node *context;
 953   struct obstack *obstack;
 954   int alias_set;
 955   /* Points to a structure whose details depend on the language in use.  */
 956   struct lang_type *lang_specific;
 957 };
 958 \f
 959 /* Define accessor macros for information about type inheritance
 960    and basetypes.
 961
 962    A "basetype" means a particular usage of a data type for inheritance
 963    in another type.  Each such basetype usage has its own "binfo"
 964    object to describe it.  The binfo object is a TREE_VEC node.
 965
 966    Inheritance is represented by the binfo nodes allocated for a
 967    given type.  For example, given types C and D, such that D is
 968    inherited by C, 3 binfo nodes will be allocated: one for describing
 969    the binfo properties of C, similarly one for D, and one for
 970    describing the binfo properties of D as a base type for C.
 971    Thus, given a pointer to class C, one can get a pointer to the binfo
 972    of D acting as a basetype for C by looking at C's binfo's basetypes.  */
 973
 974 /* The actual data type node being inherited in this basetype.  */
 975 #define BINFO_TYPE(NODE) TREE_TYPE (NODE)
 976
 977 /* The offset where this basetype appears in its containing type.
 978    BINFO_OFFSET slot holds the offset (in bytes)
 979    from the base of the complete object to the base of the part of the
 980    object that is allocated on behalf of this `type'.
 981    This is always 0 except when there is multiple inheritance.  */
 982
 983 #define BINFO_OFFSET(NODE) TREE_VEC_ELT ((NODE), 1)
 984 #define TYPE_BINFO_OFFSET(NODE) BINFO_OFFSET (TYPE_BINFO (NODE))
 985 #define BINFO_OFFSET_ZEROP(NODE) (integer_zerop (BINFO_OFFSET (NODE)))
 986
 987 /* The virtual function table belonging to this basetype.  Virtual
 988    function tables provide a mechanism for run-time method dispatching.
 989    The entries of a virtual function table are language-dependent.  */
 990
 991 #define BINFO_VTABLE(NODE) TREE_VEC_ELT ((NODE), 2)
 992 #define TYPE_BINFO_VTABLE(NODE) BINFO_VTABLE (TYPE_BINFO (NODE))
 993
 994 /* The virtual functions in the virtual function table.  This is
 995    a TREE_LIST that is used as an initial approximation for building
 996    a virtual function table for this basetype.  */
 997 #define BINFO_VIRTUALS(NODE) TREE_VEC_ELT ((NODE), 3)
 998 #define TYPE_BINFO_VIRTUALS(NODE) BINFO_VIRTUALS (TYPE_BINFO (NODE))
 999
1000 /* A vector of additional binfos for the types inherited by this basetype.
1001
1002    If this basetype describes type D as inherited in C,
1003    and if the basetypes of D are E anf F,
1004    then this vector contains binfos for inheritance of E and F by C.
1005
1006    ??? This could probably be done by just allocating the
1007    base types at the end of this TREE_VEC (instead of using
1008    another TREE_VEC).  This would simplify the calculation
1009    of how many basetypes a given type had.  */
1010 #define BINFO_BASETYPES(NODE) TREE_VEC_ELT ((NODE), 4)
1011 #define TYPE_BINFO_BASETYPES(NODE) TREE_VEC_ELT (TYPE_BINFO (NODE), 4)
1012
1013 /* Accessor macro to get to the Nth basetype of this basetype.  */
1014 #define BINFO_BASETYPE(NODE,N) TREE_VEC_ELT (BINFO_BASETYPES (NODE), (N))
1015 #define TYPE_BINFO_BASETYPE(NODE,N) BINFO_TYPE (TREE_VEC_ELT (BINFO_BASETYPES (TYPE_BINFO (NODE)), (N)))
1016
1017 /* For a BINFO record describing an inheritance, this yields a pointer
1018    to the artificial FIELD_DECL node which contains the "virtual base
1019    class pointer" for the given inheritance.  */
1020 #define BINFO_VPTR_FIELD(NODE) TREE_VEC_ELT ((NODE), 5)
1021
1022 /* The size of a base class subobject of this type.  Not all frontends
1023    currently allocate the space for this field.  */
1024 #define BINFO_SIZE(NODE) TREE_VEC_ELT ((NODE), 6)
1025 #define TYPE_BINFO_SIZE(NODE) BINFO_SIZE (TYPE_BINFO (NODE))
1026
1027 /* Slot used to build a chain that represents a use of inheritance.
1028    For example, if X is derived from Y, and Y is derived from Z,
1029    then this field can be used to link the binfo node for X to
1030    the binfo node for X's Y to represent the use of inheritance
1031    from X to Y.  Similarly, this slot of the binfo node for X's Y
1032    can point to the Z from which Y is inherited (in X's inheritance
1033    hierarchy).  In this fashion, one can represent and traverse specific
1034    uses of inheritance using the binfo nodes themselves (instead of
1035    consing new space pointing to binfo nodes).
1036    It is up to the language-dependent front-ends to maintain
1037    this information as necessary.  */
1038 #define BINFO_INHERITANCE_CHAIN(NODE) TREE_VEC_ELT ((NODE), 0)
1039 \f
1040 /* Define fields and accessors for nodes representing declared names.  */
1041
1042 /* Nonzero if DECL represents a decl.  */
1043 #define DECL_P(DECL)    (TREE_CODE_CLASS (TREE_CODE (DECL)) == 'd')
1044 /* This is the name of the object as written by the user.
1045    It is an IDENTIFIER_NODE.  */
1046 #define DECL_NAME(NODE) (DECL_CHECK (NODE)->decl.name)
1047 /* This is the name of the object as the assembler will see it
1048    (but before any translations made by ASM_OUTPUT_LABELREF).
1049    Often this is the same as DECL_NAME.
1050    It is an IDENTIFIER_NODE.  */
1051 #define DECL_ASSEMBLER_NAME(NODE) (DECL_CHECK (NODE)->decl.assembler_name)
1052 /* Records the section name in a section attribute.  Used to pass
1053    the name from decl_attributes to make_function_rtl and make_decl_rtl.  */
1054 #define DECL_SECTION_NAME(NODE) (DECL_CHECK (NODE)->decl.section_name)
1055 /*  For FIELD_DECLs, this is the
1056     RECORD_TYPE, UNION_TYPE, or QUAL_UNION_TYPE node that the field is
1057     a member of.  For VAR_DECL, PARM_DECL, FUNCTION_DECL, LABEL_DECL,
1058     and CONST_DECL nodes, this points to either the FUNCTION_DECL for the
1059     containing function, the RECORD_TYPE or UNION_TYPE for the containing
1060     type, or NULL_TREE if the given decl has "file scope".  */
1061 #define DECL_CONTEXT(NODE) (DECL_CHECK (NODE)->decl.context)
1062 #define DECL_FIELD_CONTEXT(NODE) (DECL_CHECK (NODE)->decl.context)
1063 /* In a DECL this is the field where configuration dependent machine
1064    attributes are store */
1065 #define DECL_MACHINE_ATTRIBUTES(NODE) (DECL_CHECK (NODE)->decl.machine_attributes)
1066 /* In a FIELD_DECL, this is the field position, counting in bits,
1067    of the bit closest to the beginning of the structure.  */
1068 #define DECL_FIELD_BITPOS(NODE) (DECL_CHECK (NODE)->decl.arguments)
1069 /* In a FIELD_DECL, this indicates whether the field was a bit-field and
1070    if so, the type that was originally specified for it.
1071    TREE_TYPE may have been modified (in finish_struct).  */
1072 #define DECL_BIT_FIELD_TYPE(NODE) (DECL_CHECK (NODE)->decl.result)
1073 /* In FUNCTION_DECL, a chain of ..._DECL nodes.  */
1074 /* VAR_DECL and PARM_DECL reserve the arguments slot
1075    for language-specific uses.  */
1076 #define DECL_ARGUMENTS(NODE) (DECL_CHECK (NODE)->decl.arguments)
1077 /* In FUNCTION_DECL, holds the decl for the return value.  */
1078 #define DECL_RESULT(NODE) (DECL_CHECK (NODE)->decl.result)
1079 /* For a TYPE_DECL, holds the "original" type.  (TREE_TYPE has the copy.) */
1080 #define DECL_ORIGINAL_TYPE(NODE) (DECL_CHECK (NODE)->decl.result)
1081 /* In PARM_DECL, holds the type as written (perhaps a function or array).  */
1082 #define DECL_ARG_TYPE_AS_WRITTEN(NODE) (DECL_CHECK (NODE)->decl.result)
1083 /* For a FUNCTION_DECL, holds the tree of BINDINGs.
1084    For a VAR_DECL, holds the initial value.
1085    For a PARM_DECL, not used--default
1086    values for parameters are encoded in the type of the function,
1087    not in the PARM_DECL slot.  */
1088 #define DECL_INITIAL(NODE) (DECL_CHECK (NODE)->decl.initial)
1089 /* For a PARM_DECL, records the data type used to pass the argument,
1090    which may be different from the type seen in the program.  */
1091 #define DECL_ARG_TYPE(NODE) (DECL_CHECK (NODE)->decl.initial)   /* In PARM_DECL.  */
1092 /* For a FIELD_DECL in a QUAL_UNION_TYPE, records the expression, which
1093    if nonzero, indicates that the field occupies the type.  */
1094 #define DECL_QUALIFIER(NODE) (DECL_CHECK (NODE)->decl.initial)
1095 /* These two fields describe where in the source code the declaration was.  */
1096 #define DECL_SOURCE_FILE(NODE) (DECL_CHECK (NODE)->decl.filename)
1097 #define DECL_SOURCE_LINE(NODE) (DECL_CHECK (NODE)->decl.linenum)
1098 /* Holds the size of the datum, as a tree expression.
1099    Need not be constant.  */
1100 #define DECL_SIZE(NODE) (DECL_CHECK (NODE)->decl.size)
1101 /* Holds the alignment required for the datum.  */
1102 #define DECL_ALIGN(NODE) (DECL_CHECK (NODE)->decl.frame_size.u)
1103 /* Holds the machine mode corresponding to the declaration of a variable or
1104    field.  Always equal to TYPE_MODE (TREE_TYPE (decl)) except for a
1105    FIELD_DECL.  */
1106 #define DECL_MODE(NODE) (DECL_CHECK (NODE)->decl.mode)
1107 /* Holds the RTL expression for the value of a variable or function.  If
1108    PROMOTED_MODE is defined, the mode of this expression may not be same
1109    as DECL_MODE.  In that case, DECL_MODE contains the mode corresponding
1110    to the variable's data type, while the mode
1111    of DECL_RTL is the mode actually used to contain the data.  */
1112 #define DECL_RTL(NODE) (DECL_CHECK (NODE)->decl.rtl)
1113 /* Holds an INSN_LIST of all of the live ranges in which the variable
1114    has been moved to a possibly different register.  */
1115 #define DECL_LIVE_RANGE_RTL(NODE) (DECL_CHECK (NODE)->decl.live_range_rtl)
1116 /* For PARM_DECL, holds an RTL for the stack slot or register
1117    where the data was actually passed.  */
1118 #define DECL_INCOMING_RTL(NODE) (DECL_CHECK (NODE)->decl.saved_insns.r)
1119 /* For FUNCTION_DECL, if it is inline, holds the saved insn chain.  */
1120 #define DECL_SAVED_INSNS(NODE) (DECL_CHECK (NODE)->decl.saved_insns.f)
1121 /* For FUNCTION_DECL, if it is inline,
1122    holds the size of the stack frame, as an integer.  */
1123 #define DECL_FRAME_SIZE(NODE) (DECL_CHECK (NODE)->decl.frame_size.i)
1124 /* For FUNCTION_DECL, if it is built-in,
1125    this identifies which built-in operation it is.  */
1126 #define DECL_FUNCTION_CODE(NODE) (DECL_CHECK (NODE)->decl.frame_size.f)
1127 #define DECL_SET_FUNCTION_CODE(NODE,VAL) (DECL_CHECK (NODE)->decl.frame_size.f = (VAL))
1128 /* For a FIELD_DECL, holds the size of the member as an integer.  */
1129 #define DECL_FIELD_SIZE(NODE) (DECL_CHECK (NODE)->decl.saved_insns.i)
1130
1131 /* The DECL_VINDEX is used for FUNCTION_DECLS in two different ways.
1132    Before the struct containing the FUNCTION_DECL is laid out,
1133    DECL_VINDEX may point to a FUNCTION_DECL in a base class which
1134    is the FUNCTION_DECL which this FUNCTION_DECL will replace as a virtual
1135    function.  When the class is laid out, this pointer is changed
1136    to an INTEGER_CST node which is suitable for use as an index
1137    into the virtual function table.  */
1138 #define DECL_VINDEX(NODE) (DECL_CHECK (NODE)->decl.vindex)
1139 /* For FIELD_DECLS, DECL_FCONTEXT is the *first* baseclass in
1140    which this FIELD_DECL is defined.  This information is needed when
1141    writing debugging information about vfield and vbase decls for C++.  */
1142 #define DECL_FCONTEXT(NODE) (DECL_CHECK (NODE)->decl.vindex)
1143
1144 /* Every ..._DECL node gets a unique number.  */
1145 #define DECL_UID(NODE) (DECL_CHECK (NODE)->decl.uid)
1146
1147 /* For any sort of a ..._DECL node, this points to the original (abstract)
1148    decl node which this decl is an instance of, or else it is NULL indicating
1149    that this decl is not an instance of some other decl.  For example,
1150    in a nested declaration of an inline function, this points back to the
1151    definition.  */
1152 #define DECL_ABSTRACT_ORIGIN(NODE) (DECL_CHECK (NODE)->decl.abstract_origin)
1153
1154 /* Like DECL_ABSTRACT_ORIGIN, but returns NODE if there's no abstract
1155    origin.  This is useful when setting the DECL_ABSTRACT_ORIGIN.  */
1156 #define DECL_ORIGIN(NODE) \
1157   (DECL_ABSTRACT_ORIGIN (NODE) ? DECL_ABSTRACT_ORIGIN (NODE) : NODE)
1158
1159 /* Nonzero for any sort of ..._DECL node means this decl node represents
1160    an inline instance of some original (abstract) decl from an inline function;
1161    suppress any warnings about shadowing some other variable.  */
1162 #define DECL_FROM_INLINE(NODE) (DECL_ABSTRACT_ORIGIN (NODE) != (tree) 0)
1163
1164 /* Nonzero if a _DECL means that the name of this decl should be ignored
1165    for symbolic debug purposes.  */
1166 #define DECL_IGNORED_P(NODE) (DECL_CHECK (NODE)->decl.ignored_flag)
1167
1168 /* Nonzero for a given ..._DECL node means that this node represents an
1169    "abstract instance" of the given declaration (e.g. in the original
1170    declaration of an inline function).  When generating symbolic debugging
1171    information, we mustn't try to generate any address information for nodes
1172    marked as "abstract instances" because we don't actually generate
1173    any code or allocate any data space for such instances.  */
1174 #define DECL_ABSTRACT(NODE) (DECL_CHECK (NODE)->decl.abstract_flag)
1175
1176 /* Nonzero if a _DECL means that no warnings should be generated just
1177    because this decl is unused.  */
1178 #define DECL_IN_SYSTEM_HEADER(NODE) (DECL_CHECK (NODE)->decl.in_system_header_flag)
1179
1180 /* Nonzero for a given ..._DECL node means that this node should be
1181    put in .common, if possible.  If a DECL_INITIAL is given, and it
1182    is not error_mark_node, then the decl cannot be put in .common.  */
1183 #define DECL_COMMON(NODE) (DECL_CHECK (NODE)->decl.common_flag)
1184
1185 /* Language-specific decl information.  */
1186 #define DECL_LANG_SPECIFIC(NODE) (DECL_CHECK (NODE)->decl.lang_specific)
1187
1188 /* In a VAR_DECL or FUNCTION_DECL,
1189    nonzero means external reference:
1190    do not allocate storage, and refer to a definition elsewhere.  */
1191 #define DECL_EXTERNAL(NODE) (DECL_CHECK (NODE)->decl.external_flag)
1192
1193 /* In a VAR_DECL for a RECORD_TYPE, sets number for non-init_priority
1194    initializatons. */
1195 #define DEFAULT_INIT_PRIORITY 65535
1196 #define MAX_INIT_PRIORITY 65535
1197 #define MAX_RESERVED_INIT_PRIORITY 100
1198
1199 /* In a TYPE_DECL
1200    nonzero means the detail info about this type is not dumped into stabs.
1201    Instead it will generate cross reference ('x') of names.
1202    This uses the same flag as DECL_EXTERNAL. */
1203 #define TYPE_DECL_SUPPRESS_DEBUG(NODE) (DECL_CHECK (NODE)->decl.external_flag)
1204
1205
1206 /* In VAR_DECL and PARM_DECL nodes, nonzero means declared `register'.  */
1207 #define DECL_REGISTER(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
1208 /* In LABEL_DECL nodes, nonzero means that an error message about
1209    jumping into such a binding contour has been printed for this label.  */
1210 #define DECL_ERROR_ISSUED(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
1211 /* In a FIELD_DECL, indicates this field should be bit-packed.  */
1212 #define DECL_PACKED(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
1213 /* In a FUNCTION_DECL with a non-zero DECL_CONTEXT, indicates that a
1214    static chain is not needed.  */
1215 #define DECL_NO_STATIC_CHAIN(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
1216
1217 /* Nonzero in a ..._DECL means this variable is ref'd from a nested function.
1218    For VAR_DECL nodes, PARM_DECL nodes, and FUNCTION_DECL nodes.
1219
1220    For LABEL_DECL nodes, nonzero if nonlocal gotos to the label are permitted.
1221
1222    Also set in some languages for variables, etc., outside the normal
1223    lexical scope, such as class instance variables.  */
1224 #define DECL_NONLOCAL(NODE) (DECL_CHECK (NODE)->decl.nonlocal_flag)
1225
1226 /* Nonzero in a FUNCTION_DECL means this function can be substituted
1227    where it is called.  */
1228 #define DECL_INLINE(NODE) (DECL_CHECK (NODE)->decl.inline_flag)
1229
1230 /* Nonzero in a FUNCTION_DECL means this is a built-in function
1231    that is not specified by ansi C and that users are supposed to be allowed
1232    to redefine for any purpose whatever.  */
1233 #define DECL_BUILT_IN_NONANSI(NODE) ((NODE)->common.unsigned_flag)
1234
1235 /* Nonzero in a FIELD_DECL means it is a bit field, and must be accessed
1236    specially.  */
1237 #define DECL_BIT_FIELD(NODE) (DECL_CHECK (NODE)->decl.bit_field_flag)
1238 /* In a LABEL_DECL, nonzero means label was defined inside a binding
1239    contour that restored a stack level and which is now exited.  */
1240 #define DECL_TOO_LATE(NODE) (DECL_CHECK (NODE)->decl.bit_field_flag)
1241 /* In a FUNCTION_DECL, nonzero means a built in function.  */
1242 #define DECL_BUILT_IN(NODE) (DECL_CHECK (NODE)->decl.bit_field_flag)
1243 /* In a VAR_DECL that's static,
1244    nonzero if the space is in the text section.  */
1245 #define DECL_IN_TEXT_SECTION(NODE) (DECL_CHECK (NODE)->decl.bit_field_flag)
1246
1247 /* Used in VAR_DECLs to indicate that the variable is a vtable.
1248    Used in FIELD_DECLs for vtable pointers.
1249    Used in FUNCTION_DECLs to indicate that the function is virtual.  */
1250 #define DECL_VIRTUAL_P(NODE) (DECL_CHECK (NODE)->decl.virtual_flag)
1251
1252 /* Used to indicate that the linkage status of this DECL is not yet known,
1253    so it should not be output now.  */
1254 #define DECL_DEFER_OUTPUT(NODE) (DECL_CHECK (NODE)->decl.defer_output)
1255
1256 /* Used in PARM_DECLs whose type are unions to indicate that the
1257    argument should be passed in the same way that the first union
1258    alternative would be passed.  */
1259 #define DECL_TRANSPARENT_UNION(NODE) (DECL_CHECK (NODE)->decl.transparent_union)
1260
1261 /* Used in FUNCTION_DECLs to indicate that they should be run automatically
1262    at the beginning or end of execution.  */
1263 #define DECL_STATIC_CONSTRUCTOR(NODE) (DECL_CHECK (NODE)->decl.static_ctor_flag)
1264 #define DECL_STATIC_DESTRUCTOR(NODE) (DECL_CHECK (NODE)->decl.static_dtor_flag)
1265
1266 /* Used to indicate that this DECL represents a compiler-generated entity.  */
1267 #define DECL_ARTIFICIAL(NODE) (DECL_CHECK (NODE)->decl.artificial_flag)
1268
1269 /* Used to indicate that this DECL has weak linkage.  */
1270 #define DECL_WEAK(NODE) (DECL_CHECK (NODE)->decl.weak_flag)
1271
1272 /* Used in TREE_PUBLIC decls to indicate that copies of this DECL in
1273    multiple translation units should be merged.  */
1274 #define DECL_ONE_ONLY(NODE) (DECL_CHECK (NODE)->decl.transparent_union)
1275
1276 /* Used in a DECL to indicate that, even if it TREE_PUBLIC, it need
1277    not be put out unless it is needed in this translation unit.
1278    Entities like this are shared across translation units (like weak
1279    entities), but are guaranteed to be generated by any translation
1280    unit that needs them, and therefore need not be put out anywhere
1281    where they are not needed.  DECL_COMDAT is just a hint to the
1282    back-end; it is up to front-ends which set this flag to ensure
1283    that there will never be any harm, other than bloat, in putting out
1284    something which is DECL_COMDAT.  */
1285 #define DECL_COMDAT(NODE) (DECL_CHECK (NODE)->decl.comdat_flag)
1286
1287 /* Used in FUNCTION_DECLs to indicate that function entry and exit should
1288    be instrumented with calls to support routines.  */
1289 #define DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT(NODE) ((NODE)->decl.no_instrument_function_entry_exit)
1290
1291 /* Used in FUNCTION_DECLs to indicate that in this function,
1292    check-memory-usage should be disabled.  */
1293 #define DECL_NO_CHECK_MEMORY_USAGE(NODE) ((NODE)->decl.no_check_memory_usage)
1294
1295 /* Additional flags for language-specific uses.  */
1296 #define DECL_LANG_FLAG_0(NODE) (DECL_CHECK (NODE)->decl.lang_flag_0)
1297 #define DECL_LANG_FLAG_1(NODE) (DECL_CHECK (NODE)->decl.lang_flag_1)
1298 #define DECL_LANG_FLAG_2(NODE) (DECL_CHECK (NODE)->decl.lang_flag_2)
1299 #define DECL_LANG_FLAG_3(NODE) (DECL_CHECK (NODE)->decl.lang_flag_3)
1300 #define DECL_LANG_FLAG_4(NODE) (DECL_CHECK (NODE)->decl.lang_flag_4)
1301 #define DECL_LANG_FLAG_5(NODE) (DECL_CHECK (NODE)->decl.lang_flag_5)
1302 #define DECL_LANG_FLAG_6(NODE) (DECL_CHECK (NODE)->decl.lang_flag_6)
1303 #define DECL_LANG_FLAG_7(NODE) (DECL_CHECK (NODE)->decl.lang_flag_7)
1304
1305 /* Used to indicate that the pointer to this DECL cannot be treated as
1306    an address constant.  */
1307 #define DECL_NON_ADDR_CONST_P(NODE) (DECL_CHECK (NODE)->decl.non_addr_const_p)
1308
1309 /* Used to indicate an alias set for the memory pointed to by this
1310    particular FIELD_DECL, PARM_DECL, or VAR_DECL, which must have
1311    pointer (or reference) type.  */
1312 #define DECL_POINTER_ALIAS_SET(NODE) \
1313   (DECL_CHECK (NODE)->decl.pointer_alias_set)
1314
1315 /* Nonzero if an alias set has been assigned to this declaration.  */
1316 #define DECL_POINTER_ALIAS_SET_KNOWN_P(NODE) \
1317   (DECL_POINTER_ALIAS_SET (NODE) != - 1)
1318
1319 struct tree_decl
1320 {
1321   char common[sizeof (struct tree_common)];
1322   char *filename;
1323   int linenum;
1324   unsigned int uid;
1325   union tree_node *size;
1326 #ifdef ONLY_INT_FIELDS
1327   int mode : 8;
1328 #else
1329   enum machine_mode mode : 8;
1330 #endif
1331
1332   unsigned external_flag : 1;
1333   unsigned nonlocal_flag : 1;
1334   unsigned regdecl_flag : 1;
1335   unsigned inline_flag : 1;
1336   unsigned bit_field_flag : 1;
1337   unsigned virtual_flag : 1;
1338   unsigned ignored_flag : 1;
1339   unsigned abstract_flag : 1;
1340
1341   unsigned in_system_header_flag : 1;
1342   unsigned common_flag : 1;
1343   unsigned defer_output : 1;
1344   unsigned transparent_union : 1;
1345   unsigned static_ctor_flag : 1;
1346   unsigned static_dtor_flag : 1;
1347   unsigned artificial_flag : 1;
1348   unsigned weak_flag : 1;
1349
1350   unsigned lang_flag_0 : 1;
1351   unsigned lang_flag_1 : 1;
1352   unsigned lang_flag_2 : 1;
1353   unsigned lang_flag_3 : 1;
1354   unsigned lang_flag_4 : 1;
1355   unsigned lang_flag_5 : 1;
1356   unsigned lang_flag_6 : 1;
1357   unsigned lang_flag_7 : 1;
1358
1359   unsigned non_addr_const_p : 1;
1360   unsigned no_instrument_function_entry_exit : 1;
1361   unsigned no_check_memory_usage : 1;
1362   unsigned comdat_flag : 1;
1363
1364   /* For a FUNCTION_DECL, if inline, this is the size of frame needed.
1365      If built-in, this is the code for which built-in function.
1366      For other kinds of decls, this is DECL_ALIGN.  */
1367   union {
1368     int i;
1369     unsigned int u;
1370     enum built_in_function f;
1371   } frame_size;
1372
1373   union tree_node *name;
1374   union tree_node *context;
1375   union tree_node *arguments;
1376   union tree_node *result;
1377   union tree_node *initial;
1378   union tree_node *abstract_origin;
1379   union tree_node *assembler_name;
1380   union tree_node *section_name;
1381   union tree_node *machine_attributes;
1382   struct rtx_def *rtl;  /* acts as link to register transfer language
1383                                    (rtl) info */
1384   struct rtx_def *live_range_rtl;
1385   /* For FUNCTION_DECLs: points to insn that constitutes its definition
1386      on the permanent obstack.  For FIELD_DECL, this is DECL_FIELD_SIZE.  */
1387   union {
1388     struct function *f;
1389     struct rtx_def *r;
1390     HOST_WIDE_INT i;
1391   } saved_insns;
1392   union tree_node *vindex;
1393   int pointer_alias_set;
1394   /* Points to a structure whose details depend on the language in use.  */
1395   struct lang_decl *lang_specific;
1396 };
1397 \f
1398 /* Define the overall contents of a tree node.
1399    It may be any of the structures declared above
1400    for various types of node.  */
1401
1402 union tree_node
1403 {
1404   struct tree_common common;
1405   struct tree_int_cst int_cst;
1406   struct tree_real_cst real_cst;
1407   struct tree_string string;
1408   struct tree_complex complex;
1409   struct tree_identifier identifier;
1410   struct tree_decl decl;
1411   struct tree_type type;
1412   struct tree_list list;
1413   struct tree_vec vec;
1414   struct tree_exp exp;
1415   struct tree_block block;
1416  };
1417 \f
1418 #define NULL_TREE (tree) NULL
1419
1420 /* The following functions accept a wide integer argument.  Rather than
1421    having to cast on every function call, we use a macro instead, that is
1422    defined here and in rtl.h.  */
1423
1424 #ifndef exact_log2
1425 #define exact_log2(N) exact_log2_wide ((unsigned HOST_WIDE_INT) (N))
1426 #define floor_log2(N) floor_log2_wide ((unsigned HOST_WIDE_INT) (N))
1427 #endif
1428 extern int exact_log2_wide             PROTO((unsigned HOST_WIDE_INT));
1429 extern int floor_log2_wide             PROTO((unsigned HOST_WIDE_INT));
1430
1431 extern char *oballoc                    PROTO((int));
1432 extern char *permalloc                  PROTO((int));
1433 extern char *savealloc                  PROTO((int));
1434 extern char *expralloc                  PROTO((int));
1435
1436 /* Lowest level primitive for allocating a node.
1437    The TREE_CODE is the only argument.  Contents are initialized
1438    to zero except for a few of the common fields.  */
1439
1440 extern tree make_node                   PROTO((enum tree_code));
1441
1442 /* Make a copy of a node, with all the same contents except
1443    for TREE_PERMANENT.  (The copy is permanent
1444    iff nodes being made now are permanent.)  */
1445
1446 extern tree copy_node                   PROTO((tree));
1447
1448 /* Make a copy of a chain of TREE_LIST nodes.  */
1449
1450 extern tree copy_list                   PROTO((tree));
1451
1452 /* Make a TREE_VEC.  */
1453
1454 extern tree make_tree_vec               PROTO((int));
1455
1456 /* Return the (unique) IDENTIFIER_NODE node for a given name.
1457    The name is supplied as a char *.  */
1458
1459 extern tree get_identifier              PROTO((const char *));
1460
1461 /* If an identifier with the name TEXT (a null-terminated string) has
1462    previously been referred to, return that node; otherwise return
1463    NULL_TREE.  */
1464
1465 extern tree maybe_get_identifier        PROTO((const char *));
1466
1467 /* Construct various types of nodes.  */
1468
1469 #define build_int_2(LO,HI)  \
1470   build_int_2_wide ((HOST_WIDE_INT) (LO), (HOST_WIDE_INT) (HI))
1471
1472 extern tree build                       PVPROTO((enum tree_code, tree, ...));
1473 extern tree build_nt                    PVPROTO((enum tree_code, ...));
1474 extern tree build_parse_node            PVPROTO((enum tree_code, ...));
1475
1476 extern tree build_int_2_wide            PROTO((HOST_WIDE_INT, HOST_WIDE_INT));
1477 extern tree build_real                  PROTO((tree, REAL_VALUE_TYPE));
1478 extern tree build_real_from_int_cst     PROTO((tree, tree));
1479 extern tree build_complex               PROTO((tree, tree, tree));
1480 extern tree build_string                PROTO((int, const char *));
1481 extern tree build1                      PROTO((enum tree_code, tree, tree));
1482 extern tree build_tree_list             PROTO((tree, tree));
1483 extern tree build_decl_list             PROTO((tree, tree));
1484 extern tree build_expr_list             PROTO((tree, tree));
1485 extern tree build_decl                  PROTO((enum tree_code, tree, tree));
1486 extern tree build_block                 PROTO((tree, tree, tree, tree, tree));
1487 extern tree build_expr_wfl              PROTO((tree, const char *, int, int));
1488
1489 /* Construct various nodes representing data types.  */
1490
1491 extern tree make_signed_type            PROTO((int));
1492 extern tree make_unsigned_type          PROTO((int));
1493 extern void set_sizetype                PROTO((tree));
1494 extern tree signed_or_unsigned_type     PROTO((int, tree));
1495 extern void fixup_unsigned_type         PROTO((tree));
1496 extern tree build_pointer_type          PROTO((tree));
1497 extern tree build_reference_type        PROTO((tree));
1498 extern tree build_index_type            PROTO((tree));
1499 extern tree build_index_2_type          PROTO((tree, tree));
1500 extern tree build_array_type            PROTO((tree, tree));
1501 extern tree build_function_type         PROTO((tree, tree));
1502 extern tree build_method_type           PROTO((tree, tree));
1503 extern tree build_offset_type           PROTO((tree, tree));
1504 extern tree build_complex_type          PROTO((tree));
1505 extern tree array_type_nelts            PROTO((tree));
1506
1507 extern tree value_member                PROTO((tree, tree));
1508 extern tree purpose_member              PROTO((tree, tree));
1509 extern tree binfo_member                PROTO((tree, tree));
1510 extern int attribute_hash_list          PROTO((tree));
1511 extern int attribute_list_equal         PROTO((tree, tree));
1512 extern int attribute_list_contained     PROTO((tree, tree));
1513 extern int tree_int_cst_equal           PROTO((tree, tree));
1514 extern int tree_int_cst_lt              PROTO((tree, tree));
1515 extern int tree_int_cst_sgn             PROTO((tree));
1516 extern int index_type_equal             PROTO((tree, tree));
1517 extern tree get_inner_array_type        PROTO((tree));
1518
1519 /* From expmed.c.  Since rtl.h is included after tree.h, we can't
1520    put the prototype here.  Rtl.h does declare the prototype if
1521    tree.h had been included.  */
1522
1523 extern tree make_tree                   PROTO((tree, struct rtx_def *));
1524 \f
1525 /* Return a type like TTYPE except that its TYPE_ATTRIBUTES
1526    is ATTRIBUTE.
1527
1528    Such modified types already made are recorded so that duplicates
1529    are not made. */
1530
1531 extern tree build_type_attribute_variant PROTO((tree, tree));
1532 extern tree build_decl_attribute_variant PROTO((tree, tree));
1533
1534 extern tree merge_machine_decl_attributes PROTO((tree, tree));
1535 extern tree merge_machine_type_attributes PROTO((tree, tree));
1536
1537 /* Split a list of declspecs and attributes into two.  */
1538
1539 extern void split_specs_attrs           PROTO((tree, tree *, tree *));
1540
1541 /* Strip attributes from a list of combined specs and attrs.  */
1542
1543 extern tree strip_attrs                 PROTO((tree));
1544
1545 /* Return 1 if an attribute and its arguments are valid for a decl or type.  */
1546
1547 extern int valid_machine_attribute      PROTO((tree, tree, tree, tree));
1548
1549 /* Given a tree node and a string, return non-zero if the tree node is
1550    a valid attribute name for the string.  */
1551
1552 extern int is_attribute_p               PROTO((const char *, tree));
1553
1554 /* Given an attribute name and a list of attributes, return the list element
1555    of the attribute or NULL_TREE if not found.  */
1556
1557 extern tree lookup_attribute            PROTO((const char *, tree));
1558
1559 /* Given two attributes lists, return a list of their union.  */
1560
1561 extern tree merge_attributes            PROTO((tree, tree));
1562
1563 /* Given a type node TYPE and a TYPE_QUALIFIER_SET, return a type for
1564    the same kind of data as TYPE describes.  Variants point to the
1565    "main variant" (which has no qualifiers set) via TYPE_MAIN_VARIANT,
1566    and it points to a chain of other variants so that duplicate
1567    variants are never made.  Only main variants should ever appear as
1568    types of expressions.  */
1569
1570 extern tree build_qualified_type        PROTO((tree, int));
1571
1572 /* Like build_qualified_type, but only deals with the `const' and
1573    `volatile' qualifiers.  This interface is retained for backwards
1574    compatiblity with the various front-ends; new code should use
1575    build_qualified_type instead.  */
1576
1577 #define build_type_variant(TYPE, CONST_P, VOLATILE_P)                   \
1578   build_qualified_type (TYPE,                                           \
1579                         ((CONST_P) ? TYPE_QUAL_CONST : 0)               \
1580                         | ((VOLATILE_P) ? TYPE_QUAL_VOLATILE : 0))
1581
1582 /* Make a copy of a type node.  */
1583
1584 extern tree build_type_copy             PROTO((tree));
1585
1586 /* Given a ..._TYPE node, calculate the TYPE_SIZE, TYPE_SIZE_UNIT,
1587    TYPE_ALIGN and TYPE_MODE fields.
1588    If called more than once on one node, does nothing except
1589    for the first time.  */
1590
1591 extern void layout_type                 PROTO((tree));
1592
1593 /* Given a hashcode and a ..._TYPE node (for which the hashcode was made),
1594    return a canonicalized ..._TYPE node, so that duplicates are not made.
1595    How the hash code is computed is up to the caller, as long as any two
1596    callers that could hash identical-looking type nodes agree.  */
1597
1598 extern tree type_hash_canon             PROTO((int, tree));
1599
1600 /* Given a VAR_DECL, PARM_DECL, RESULT_DECL or FIELD_DECL node,
1601    calculates the DECL_SIZE, DECL_SIZE_UNIT, DECL_ALIGN and DECL_MODE
1602    fields.  Call this only once for any given decl node.
1603
1604    Second argument is the boundary that this field can be assumed to
1605    be starting at (in bits).  Zero means it can be assumed aligned
1606    on any boundary that may be needed.  */
1607
1608 extern void layout_decl                 PROTO((tree, unsigned));
1609
1610 /* Return an expr equal to X but certainly not valid as an lvalue.  */
1611
1612 extern tree non_lvalue                  PROTO((tree));
1613 extern tree pedantic_non_lvalue         PROTO((tree));
1614
1615 extern tree convert                     PROTO((tree, tree));
1616 extern tree size_in_bytes               PROTO((tree));
1617 extern HOST_WIDE_INT int_size_in_bytes  PROTO((tree));
1618 extern tree size_binop                  PROTO((enum tree_code, tree, tree));
1619 extern tree ssize_binop                 PROTO((enum tree_code, tree, tree));
1620 extern tree size_int_wide               PROTO((unsigned HOST_WIDE_INT,
1621                                                unsigned HOST_WIDE_INT, int));
1622 #define size_int(L) size_int_2 ((L), 0, 0)
1623 #define bitsize_int(L, H) size_int_2 ((L), (H), 1)
1624 #define size_int_2(L, H, T)                     \
1625   size_int_wide ((unsigned HOST_WIDE_INT) (L),  \
1626                  (unsigned HOST_WIDE_INT) (H), (T))
1627
1628 extern tree round_up                    PROTO((tree, int));
1629 extern tree get_pending_sizes           PROTO((void));
1630 extern void put_pending_sizes           PROTO((tree));
1631
1632 /* Type for sizes of data-type.  */
1633
1634 #define BITS_PER_UNIT_LOG \
1635   ((BITS_PER_UNIT > 1) + (BITS_PER_UNIT > 2) + (BITS_PER_UNIT > 4) \
1636    + (BITS_PER_UNIT > 8) + (BITS_PER_UNIT > 16) + (BITS_PER_UNIT > 32) \
1637    + (BITS_PER_UNIT > 64) + (BITS_PER_UNIT > 128) + (BITS_PER_UNIT > 256))
1638
1639 struct sizetype_tab
1640 {
1641   tree xsizetype, xbitsizetype;
1642   tree xssizetype, xusizetype;
1643   tree xsbitsizetype, xubitsizetype;
1644 };
1645
1646 extern struct sizetype_tab sizetype_tab;
1647
1648 #define sizetype sizetype_tab.xsizetype
1649 #define bitsizetype sizetype_tab.xbitsizetype
1650 #define ssizetype sizetype_tab.xssizetype
1651 #define usizetype sizetype_tab.xusizetype
1652 #define sbitsizetype sizetype_tab.xsbitsizetype
1653 #define ubitsizetype sizetype_tab.xubitsizetype
1654
1655 /* If nonzero, an upper limit on alignment of structure fields, in bits. */
1656 extern int maximum_field_alignment;
1657
1658 /* If non-zero, the alignment of a bitstring or (power-)set value, in bits. */
1659 extern int set_alignment;
1660
1661 /* Concatenate two lists (chains of TREE_LIST nodes) X and Y
1662    by making the last node in X point to Y.
1663    Returns X, except if X is 0 returns Y.  */
1664
1665 extern tree chainon                     PROTO((tree, tree));
1666
1667 /* Make a new TREE_LIST node from specified PURPOSE, VALUE and CHAIN.  */
1668
1669 extern tree tree_cons                   PROTO((tree, tree, tree));
1670 extern tree perm_tree_cons              PROTO((tree, tree, tree));
1671 extern tree temp_tree_cons              PROTO((tree, tree, tree));
1672 extern tree saveable_tree_cons          PROTO((tree, tree, tree));
1673 extern tree decl_tree_cons              PROTO((tree, tree, tree));
1674 extern tree expr_tree_cons              PROTO((tree, tree, tree));
1675
1676 /* Return the last tree node in a chain.  */
1677
1678 extern tree tree_last                   PROTO((tree));
1679
1680 /* Reverse the order of elements in a chain, and return the new head.  */
1681
1682 extern tree nreverse                    PROTO((tree));
1683
1684 /* Returns the length of a chain of nodes
1685    (number of chain pointers to follow before reaching a null pointer).  */
1686
1687 extern int list_length                  PROTO((tree));
1688
1689 /* integer_zerop (tree x) is nonzero if X is an integer constant of value 0 */
1690
1691 extern int integer_zerop                PROTO((tree));
1692
1693 /* integer_onep (tree x) is nonzero if X is an integer constant of value 1 */
1694
1695 extern int integer_onep                 PROTO((tree));
1696
1697 /* integer_all_onesp (tree x) is nonzero if X is an integer constant
1698    all of whose significant bits are 1.  */
1699
1700 extern int integer_all_onesp            PROTO((tree));
1701
1702 /* integer_pow2p (tree x) is nonzero is X is an integer constant with
1703    exactly one bit 1.  */
1704
1705 extern int integer_pow2p                PROTO((tree));
1706
1707 /* staticp (tree x) is nonzero if X is a reference to data allocated
1708    at a fixed address in memory.  */
1709
1710 extern int staticp                      PROTO((tree));
1711
1712 /* Gets an error if argument X is not an lvalue.
1713    Also returns 1 if X is an lvalue, 0 if not.  */
1714
1715 extern int lvalue_or_else               PROTO((tree, const char *));
1716
1717 /* save_expr (EXP) returns an expression equivalent to EXP
1718    but it can be used multiple times within context CTX
1719    and only evaluate EXP once.  */
1720
1721 extern tree save_expr                   PROTO((tree));
1722
1723 /* Returns the index of the first non-tree operand for CODE, or the number
1724    of operands if all are trees.  */
1725
1726 extern int first_rtl_op                 PROTO((enum tree_code));
1727
1728 /* unsave_expr (EXP) returns an expression equivalent to EXP but it
1729    can be used multiple times and will evaluate EXP, in its entirety
1730    each time.  */
1731
1732 extern tree unsave_expr                 PROTO((tree));
1733
1734 /* unsave_expr_now (EXP) resets EXP in place, so that it can be
1735    expanded again.  */
1736
1737 extern tree unsave_expr_now             PROTO((tree));
1738
1739 /* If non-null, a language specific helper for unsave_expr_now. */
1740
1741 extern int (*lang_unsave_expr_now)      PROTO((tree));
1742
1743 /* Return 1 if EXP contains a PLACEHOLDER_EXPR; i.e., if it represents a size
1744    or offset that depends on a field within a record.
1745
1746    Note that we only allow such expressions within simple arithmetic
1747    or a COND_EXPR.  */
1748
1749 extern int contains_placeholder_p       PROTO((tree));
1750
1751 /* Return 1 if EXP contains any expressions that produce cleanups for an
1752    outer scope to deal with.  Used by fold.  */
1753
1754 extern int has_cleanups                 PROTO((tree));
1755
1756 /* Given a tree EXP, a FIELD_DECL F, and a replacement value R,
1757    return a tree with all occurrences of references to F in a
1758    PLACEHOLDER_EXPR replaced by R.   Note that we assume here that EXP
1759    contains only arithmetic expressions.  */
1760
1761 extern tree substitute_in_expr          PROTO((tree, tree, tree));
1762
1763 /* variable_size (EXP) is like save_expr (EXP) except that it
1764    is for the special case of something that is part of a
1765    variable size for a data type.  It makes special arrangements
1766    to compute the value at the right time when the data type
1767    belongs to a function parameter.  */
1768
1769 extern tree variable_size               PROTO((tree));
1770
1771 /* stabilize_reference (EXP) returns an reference equivalent to EXP
1772    but it can be used multiple times
1773    and only evaluate the subexpressions once.  */
1774
1775 extern tree stabilize_reference         PROTO((tree));
1776
1777 /* Subroutine of stabilize_reference; this is called for subtrees of
1778    references.  Any expression with side-effects must be put in a SAVE_EXPR
1779    to ensure that it is only evaluated once.  */
1780
1781 extern tree stabilize_reference_1       PROTO((tree));
1782
1783 /* Return EXP, stripped of any conversions to wider types
1784    in such a way that the result of converting to type FOR_TYPE
1785    is the same as if EXP were converted to FOR_TYPE.
1786    If FOR_TYPE is 0, it signifies EXP's type.  */
1787
1788 extern tree get_unwidened               PROTO((tree, tree));
1789
1790 /* Return OP or a simpler expression for a narrower value
1791    which can be sign-extended or zero-extended to give back OP.
1792    Store in *UNSIGNEDP_PTR either 1 if the value should be zero-extended
1793    or 0 if the value should be sign-extended.  */
1794
1795 extern tree get_narrower                PROTO((tree, int *));
1796
1797 /* Given MODE and UNSIGNEDP, return a suitable type-tree
1798    with that mode.
1799    The definition of this resides in language-specific code
1800    as the repertoire of available types may vary.  */
1801
1802 extern tree type_for_mode               PROTO((enum machine_mode, int));
1803
1804 /* Given PRECISION and UNSIGNEDP, return a suitable type-tree
1805    for an integer type with at least that precision.
1806    The definition of this resides in language-specific code
1807    as the repertoire of available types may vary.  */
1808
1809 extern tree type_for_size               PROTO((unsigned, int));
1810
1811 /* Given an integer type T, return a type like T but unsigned.
1812    If T is unsigned, the value is T.
1813    The definition of this resides in language-specific code
1814    as the repertoire of available types may vary.  */
1815
1816 extern tree unsigned_type               PROTO((tree));
1817
1818 /* Given an integer type T, return a type like T but signed.
1819    If T is signed, the value is T.
1820    The definition of this resides in language-specific code
1821    as the repertoire of available types may vary.  */
1822
1823 extern tree signed_type                 PROTO((tree));
1824
1825 /* This function must be defined in the language-specific files.
1826    expand_expr calls it to build the cleanup-expression for a TARGET_EXPR.
1827    This is defined in a language-specific file.  */
1828
1829 extern tree maybe_build_cleanup         PROTO((tree));
1830
1831 /* Given an expression EXP that may be a COMPONENT_REF or an ARRAY_REF,
1832    look for nested component-refs or array-refs at constant positions
1833    and find the ultimate containing object, which is returned.  */
1834
1835 extern tree get_inner_reference         PROTO((tree, int *, int *, tree *,
1836                                                enum machine_mode *, int *,
1837                                                int *, int *));
1838
1839 /* Return the FUNCTION_DECL which provides this _DECL with its context,
1840    or zero if none.  */
1841 extern tree decl_function_context       PROTO((tree));
1842
1843 /* Return the RECORD_TYPE, UNION_TYPE, or QUAL_UNION_TYPE which provides
1844    this _DECL with its context, or zero if none.  */
1845 extern tree decl_type_context           PROTO((tree));
1846
1847 /* Given the FUNCTION_DECL for the current function,
1848    return zero if it is ok for this function to be inline.
1849    Otherwise return a warning message with a single %s
1850    for the function's name.  */
1851
1852 extern const char *function_cannot_inline_p     PROTO((tree));
1853
1854 /* Return 1 if EXPR is the real constant zero.  */
1855 extern int real_zerop PROTO((tree));
1856 \f
1857 /* Declare commonly used variables for tree structure.  */
1858
1859 /* An integer constant with value 0 */
1860 extern tree integer_zero_node;
1861
1862 /* An integer constant with value 1 */
1863 extern tree integer_one_node;
1864
1865 /* An integer constant with value 0 whose type is sizetype.  */
1866 extern tree size_zero_node;
1867
1868 /* An integer constant with value 1 whose type is sizetype.  */
1869 extern tree size_one_node;
1870
1871 /* A constant of type pointer-to-int and value 0 */
1872 extern tree null_pointer_node;
1873
1874 /* A node of type ERROR_MARK.  */
1875 extern tree error_mark_node;
1876
1877 /* The type node for the void type.  */
1878 extern tree void_type_node;
1879
1880 /* The type node for the ordinary (signed) integer type.  */
1881 extern tree integer_type_node;
1882
1883 /* The type node for the unsigned integer type.  */
1884 extern tree unsigned_type_node;
1885
1886 /* The type node for the ordinary character type.  */
1887 extern tree char_type_node;
1888
1889 extern tree ptr_type_node;
1890
1891 /* Type `va_list'.  Used by va_start, va_arg, etc.  */
1892 extern tree va_list_type_node;
1893
1894 /* Points to the name of the input file from which the current input
1895    being parsed originally came (before it went into cpp).  */
1896 extern char *input_filename;
1897
1898 /* Current line number in input file.  */
1899 extern int lineno;
1900
1901 /* Nonzero for -pedantic switch: warn about anything
1902    that standard C forbids.  */
1903 extern int pedantic;
1904
1905 /* Nonzero means lvalues are limited to those valid in pedantic ANSI C.
1906    Zero means allow extended lvalues.  */
1907
1908 extern int pedantic_lvalues;
1909
1910 /* Nonzero means can safely call expand_expr now;
1911    otherwise layout_type puts variable sizes onto `pending_sizes' instead.  */
1912
1913 extern int immediate_size_expand;
1914
1915 /* Points to the FUNCTION_DECL of the function whose body we are reading. */
1916
1917 extern tree current_function_decl;
1918
1919 /* Nonzero means all ..._TYPE nodes should be allocated permanently.  */
1920
1921 extern int all_types_permanent;
1922
1923 /* Pointer to function to compute the name to use to print a declaration.
1924    DECL is the declaration in question.
1925    VERBOSITY determines what information will be printed:
1926      0: DECL_NAME, demangled as necessary.
1927      1: and scope information.
1928      2: and any other information that might be interesting, such as function
1929         parameter types in C++.  */
1930
1931 extern char *(*decl_printable_name)             PROTO((tree, int));
1932
1933 /* Pointer to function to finish handling an incomplete decl at the
1934    end of compilation.  */
1935
1936 extern void (*incomplete_decl_finalize_hook)    PROTO((tree));
1937 \f
1938 /* In tree.c */
1939 extern char *perm_calloc                        PROTO((int, long));
1940 extern tree get_file_function_name              PROTO((int));
1941 extern tree get_file_function_name_long         PROTO((const char *));
1942 extern tree get_set_constructor_bits            PROTO((tree, char *, int));
1943 extern tree get_set_constructor_bytes           PROTO((tree,
1944                                                        unsigned char *, int));
1945 extern int get_alias_set                        PROTO((tree));
1946 extern int new_alias_set                        PROTO((void));
1947 extern int (*lang_get_alias_set)                PROTO((tree));
1948 \f
1949 /* In stmt.c */
1950
1951 extern int in_control_zone_p                    PROTO((void));
1952 extern void expand_fixups                       PROTO((struct rtx_def *));
1953 extern tree expand_start_stmt_expr              PROTO((void));
1954 extern tree expand_end_stmt_expr                PROTO((tree));
1955 extern void expand_expr_stmt                    PROTO((tree));
1956 extern int warn_if_unused_value                 PROTO((tree));
1957 extern void expand_decl_init                    PROTO((tree));
1958 extern void clear_last_expr                     PROTO((void));
1959 extern void expand_label                        PROTO((tree));
1960 extern void expand_goto                         PROTO((tree));
1961 extern void expand_asm                          PROTO((tree));
1962 extern void expand_start_cond                   PROTO((tree, int));
1963 extern void expand_end_cond                     PROTO((void));
1964 extern void expand_start_else                   PROTO((void));
1965 extern void expand_start_elseif                 PROTO((tree));
1966 extern struct nesting *expand_start_loop        PROTO((int));
1967 extern struct nesting *expand_start_loop_continue_elsewhere     PROTO((int));
1968 extern void expand_loop_continue_here           PROTO((void));
1969 extern void expand_end_loop                     PROTO((void));
1970 extern int expand_continue_loop                 PROTO((struct nesting *));
1971 extern int expand_exit_loop                     PROTO((struct nesting *));
1972 extern int expand_exit_loop_if_false            PROTO((struct nesting *,
1973                                                        tree));
1974 extern int expand_exit_something                PROTO((void));
1975
1976 extern void expand_null_return                  PROTO((void));
1977 extern void expand_return                       PROTO((tree));
1978 extern int optimize_tail_recursion              PROTO((tree, struct rtx_def *));
1979 extern void expand_start_bindings               PROTO((int));
1980 extern void expand_end_bindings                 PROTO((tree, int, int));
1981 extern void start_cleanup_deferral              PROTO((void));
1982 extern void end_cleanup_deferral                PROTO((void));
1983 extern void mark_block_as_eh_region             PROTO((void));
1984 extern void mark_block_as_not_eh_region         PROTO((void));
1985 extern int is_eh_region                         PROTO((void));
1986 extern int conditional_context                  PROTO((void));
1987 extern tree last_cleanup_this_contour           PROTO((void));
1988 extern int expand_dhc_cleanup                   PROTO((tree));
1989 extern int expand_dcc_cleanup                   PROTO((tree));
1990 extern void expand_start_case                   PROTO((int, tree, tree,
1991                                                        const char *));
1992 extern void expand_end_case                     PROTO((tree));
1993 extern int pushcase                             PROTO((tree,
1994                                                        tree (*) (tree, tree),
1995                                                        tree, tree *));
1996 extern int pushcase_range                       PROTO((tree, tree,
1997                                                        tree (*) (tree, tree),
1998                                                        tree, tree *));
1999 extern void using_eh_for_cleanups               PROTO((void));
2000 extern int stmt_loop_nest_empty                 PROTO((void));
2001
2002 /* In fold-const.c */
2003
2004 /* Fold constants as much as possible in an expression.
2005    Returns the simplified expression.
2006    Acts only on the top level of the expression;
2007    if the argument itself cannot be simplified, its
2008    subexpressions are not changed.  */
2009
2010 extern tree fold                PROTO((tree));
2011
2012 extern int force_fit_type       PROTO((tree, int));
2013 extern int add_double           PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
2014                                        HOST_WIDE_INT, HOST_WIDE_INT,
2015                                        HOST_WIDE_INT *, HOST_WIDE_INT *));
2016 extern int neg_double           PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
2017                                        HOST_WIDE_INT *, HOST_WIDE_INT *));
2018 extern int mul_double           PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
2019                                        HOST_WIDE_INT, HOST_WIDE_INT,
2020                                        HOST_WIDE_INT *, HOST_WIDE_INT *));
2021 extern void lshift_double       PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
2022                                        HOST_WIDE_INT, int, HOST_WIDE_INT *,
2023                                        HOST_WIDE_INT *, int));
2024 extern void rshift_double       PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
2025                                        HOST_WIDE_INT, int,
2026                                        HOST_WIDE_INT *, HOST_WIDE_INT *, int));
2027 extern void lrotate_double      PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
2028                                        HOST_WIDE_INT, int, HOST_WIDE_INT *,
2029                                        HOST_WIDE_INT *));
2030 extern void rrotate_double      PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
2031                                        HOST_WIDE_INT, int, HOST_WIDE_INT *,
2032                                        HOST_WIDE_INT *));
2033 extern int operand_equal_p      PROTO((tree, tree, int));
2034 extern tree invert_truthvalue   PROTO((tree));
2035 \f
2036 /* Interface of the DWARF2 unwind info support.  */
2037
2038 /* Decide whether we want to emit frame unwind information for the current
2039    translation unit.  */
2040
2041 extern int dwarf2out_do_frame           PROTO((void));
2042
2043 /* Generate a new label for the CFI info to refer to.  */
2044
2045 extern char *dwarf2out_cfi_label        PROTO((void));
2046
2047 /* Entry point to update the canonical frame address (CFA).  */
2048
2049 extern void dwarf2out_def_cfa           PROTO((char *, unsigned, long));
2050
2051 /* Add the CFI for saving a register window.  */
2052
2053 extern void dwarf2out_window_save       PROTO((char *));
2054
2055 /* Add a CFI to update the running total of the size of arguments pushed
2056    onto the stack.  */
2057
2058 extern void dwarf2out_args_size         PROTO((char *, long));
2059
2060 /* Entry point for saving a register to the stack.  */
2061
2062 extern void dwarf2out_reg_save          PROTO((char *, unsigned, long));
2063
2064 /* Entry point for saving the return address in the stack.  */
2065
2066 extern void dwarf2out_return_save       PROTO((char *, long));
2067
2068 /* Entry point for saving the return address in a register.  */
2069
2070 extern void dwarf2out_return_reg        PROTO((char *, unsigned));
2071
2072 /* Output a marker (i.e. a label) for the beginning of a function, before
2073    the prologue.  */
2074
2075 extern void dwarf2out_begin_prologue    PROTO((void));
2076
2077 /* Output a marker (i.e. a label) for the absolute end of the generated
2078    code for a function definition.  */
2079
2080 extern void dwarf2out_end_epilogue      PROTO((void));
2081 \f
2082 /* The language front-end must define these functions.  */
2083
2084 /* Function of no arguments for initializing options.  */
2085 extern void lang_init_options                   PROTO((void));
2086
2087 /* Function of no arguments for initializing lexical scanning.  */
2088 extern void init_lex                            PROTO((void));
2089 /* Function of no arguments for initializing the symbol table.  */
2090 extern void init_decl_processing                PROTO((void));
2091
2092 /* Functions called with no arguments at the beginning and end or processing
2093    the input source file.  */
2094 extern void lang_init                           PROTO((void));
2095 extern void lang_finish                         PROTO((void));
2096
2097 /* Function to identify which front-end produced the output file. */
2098 extern const char *lang_identify                        PROTO((void));
2099
2100 /* Called by report_error_function to print out function name.
2101  * Default may be overridden by language front-ends.  */
2102 extern void (*print_error_function) PROTO((const char *));
2103
2104 /* Function to replace the DECL_LANG_SPECIFIC field of a DECL with a copy.  */
2105 extern void copy_lang_decl                      PROTO((tree));
2106
2107 /* Function called with no arguments to parse and compile the input.  */
2108 extern int yyparse                              PROTO((void));
2109 /* Function called with option as argument
2110    to decode options starting with -f or -W or +.
2111    It should return nonzero if it handles the option.  */
2112 extern int lang_decode_option                   PROTO((int, char **));
2113
2114 /* Functions for processing symbol declarations.  */
2115 /* Function to enter a new lexical scope.
2116    Takes one argument: always zero when called from outside the front end.  */
2117 extern void pushlevel                           PROTO((int));
2118 /* Function to exit a lexical scope.  It returns a BINDING for that scope.
2119    Takes three arguments:
2120      KEEP -- nonzero if there were declarations in this scope.
2121      REVERSE -- reverse the order of decls before returning them.
2122      FUNCTIONBODY -- nonzero if this level is the body of a function.  */
2123 extern tree poplevel                            PROTO((int, int, int));
2124 /* Set the BLOCK node for the current scope level.  */
2125 extern void set_block                           PROTO((tree));
2126 /* Function to add a decl to the current scope level.
2127    Takes one argument, a decl to add.
2128    Returns that decl, or, if the same symbol is already declared, may
2129    return a different decl for that name.  */
2130 extern tree pushdecl                            PROTO((tree));
2131 /* Function to return the chain of decls so far in the current scope level.  */
2132 extern tree getdecls                            PROTO((void));
2133 /* Function to return the chain of structure tags in the current scope level.  */
2134 extern tree gettags                             PROTO((void));
2135
2136 extern tree build_range_type PROTO((tree, tree, tree));
2137
2138 /* Call when starting to parse a declaration:
2139    make expressions in the declaration last the length of the function.
2140    Returns an argument that should be passed to resume_momentary later.  */
2141 extern int suspend_momentary PROTO((void));
2142
2143 extern int allocation_temporary_p PROTO((void));
2144
2145 /* Call when finished parsing a declaration:
2146    restore the treatment of node-allocation that was
2147    in effect before the suspension.
2148    YES should be the value previously returned by suspend_momentary.  */
2149 extern void resume_momentary PROTO((int));
2150
2151 /* Called after finishing a record, union or enumeral type.  */
2152 extern void rest_of_type_compilation PROTO((tree, int));
2153
2154 /* Save the current set of obstacks, but don't change them.  */
2155 extern void push_obstacks_nochange PROTO((void));
2156
2157 extern void permanent_allocation PROTO((int));
2158
2159 extern void push_momentary PROTO((void));
2160
2161 extern void clear_momentary PROTO((void));
2162
2163 extern void pop_momentary PROTO((void));
2164
2165 extern void end_temporary_allocation PROTO((void));
2166
2167 /* Pop the obstack selection stack.  */
2168 extern void pop_obstacks PROTO((void));
2169
2170 /* In tree.c */
2171 extern int really_constant_p            PROTO ((tree));
2172 extern void push_obstacks               PROTO ((struct obstack *,
2173                                                 struct obstack *));
2174 extern void pop_momentary_nofree        PROTO ((void));
2175 extern void preserve_momentary          PROTO ((void));
2176 extern void saveable_allocation         PROTO ((void));
2177 extern void temporary_allocation        PROTO ((void));
2178 extern void resume_temporary_allocation PROTO ((void));
2179 extern tree get_file_function_name      PROTO ((int));
2180 extern void set_identifier_size         PROTO ((int));
2181 extern int int_fits_type_p              PROTO ((tree, tree));
2182 extern int tree_log2                    PROTO ((tree));
2183 extern void preserve_initializer        PROTO ((void));
2184 extern void preserve_data               PROTO ((void));
2185 extern int object_permanent_p           PROTO ((tree));
2186 extern int type_precision               PROTO ((tree));
2187 extern int simple_cst_equal             PROTO ((tree, tree));
2188 extern int type_list_equal              PROTO ((tree, tree));
2189 extern int chain_member                 PROTO ((tree, tree));
2190 extern int chain_member_purpose         PROTO ((tree, tree));
2191 extern int chain_member_value           PROTO ((tree, tree));
2192 extern tree listify                     PROTO ((tree));
2193 extern tree type_hash_lookup            PROTO ((int, tree));
2194 extern void type_hash_add               PROTO ((int, tree));
2195 extern int type_hash_list               PROTO ((tree));
2196 extern int simple_cst_list_equal        PROTO ((tree, tree));
2197 extern void debug_obstack               PROTO ((char *));
2198 extern void rtl_in_current_obstack      PROTO ((void));
2199 extern void rtl_in_saveable_obstack     PROTO ((void));
2200 extern void init_tree_codes             PROTO ((void));
2201 extern void dump_tree_statistics        PROTO ((void));
2202 extern void print_obstack_statistics    PROTO ((const char *,
2203                                                 struct obstack *));
2204 #ifdef BUFSIZ
2205 extern void print_obstack_name          PROTO ((char *, FILE *, const char *));
2206 #endif
2207 extern void expand_function_end         PROTO ((char *, int, int));
2208 extern void expand_function_start       PROTO ((tree, int));
2209 extern int real_onep                    PROTO ((tree));
2210 extern int real_twop                    PROTO ((tree));
2211 extern void start_identifier_warnings   PROTO ((void));
2212 extern void gcc_obstack_init            PROTO ((struct obstack *));
2213 extern void init_obstacks               PROTO ((void));
2214 extern void obfree                      PROTO ((char *));
2215
2216 /* In function.c */
2217 extern void setjmp_protect_args         PROTO ((void));
2218 extern void setjmp_protect              PROTO ((tree));
2219 extern void expand_main_function        PROTO ((void));
2220 extern void mark_varargs                PROTO ((void));
2221 extern void init_dummy_function_start   PROTO ((void));
2222 extern void expand_dummy_function_end   PROTO ((void));
2223 extern void init_function_for_compilation       PROTO ((void));
2224 extern void init_function_start         PROTO ((tree, char *, int));
2225 extern void assign_parms                PROTO ((tree, int));
2226 extern void put_var_into_stack          PROTO ((tree));
2227 extern void uninitialized_vars_warning  PROTO ((tree));
2228 extern void setjmp_args_warning         PROTO ((void));
2229 extern void mark_all_temps_used         PROTO ((void));
2230 extern void init_temp_slots             PROTO ((void));
2231 extern void combine_temp_slots          PROTO ((void));
2232 extern void free_temp_slots             PROTO ((void));
2233 extern void pop_temp_slots              PROTO ((void));
2234 extern void push_temp_slots             PROTO ((void));
2235 extern void preserve_temp_slots         PROTO ((struct rtx_def *));
2236 extern int aggregate_value_p            PROTO ((tree));
2237 extern tree reorder_blocks              PROTO ((tree *, tree,
2238                                                 struct rtx_def *));
2239 extern void free_temps_for_rtl_expr     PROTO ((tree));
2240 extern void instantiate_virtual_regs    PROTO ((tree, struct rtx_def *));
2241 extern int max_parm_reg_num             PROTO ((void));
2242 extern void push_function_context       PROTO ((void));
2243 extern void pop_function_context        PROTO ((void));
2244 extern void push_function_context_to    PROTO ((tree));
2245 extern void pop_function_context_from   PROTO ((tree));
2246
2247 /* In print-rtl.c */
2248 #ifdef BUFSIZ
2249 extern void print_rtl                   PROTO ((FILE *, struct rtx_def *));
2250 #endif
2251
2252 /* In print-tree.c */
2253 extern void debug_tree                  PROTO ((tree));
2254 #ifdef BUFSIZ
2255 extern void print_node                  PROTO ((FILE *, const char *, tree, int));
2256 extern void print_node_brief            PROTO ((FILE *, const char *, tree, int));
2257 extern void indent_to                   PROTO ((FILE *, int));
2258 #endif
2259
2260 /* In expr.c */
2261 extern void emit_queue                          PROTO ((void));
2262 extern int apply_args_register_offset           PROTO ((int));
2263 extern struct rtx_def *expand_builtin_return_addr
2264         PROTO ((enum built_in_function, int, struct rtx_def *));
2265 extern void do_pending_stack_adjust             PROTO ((void));
2266 extern struct rtx_def *expand_assignment        PROTO ((tree, tree, int, int));
2267 extern struct rtx_def *store_expr               PROTO ((tree, struct rtx_def *,
2268                                                         int));
2269 extern void check_max_integer_computation_mode  PROTO ((tree));
2270
2271 /* In emit-rtl.c */
2272 extern void start_sequence_for_rtl_expr         PROTO ((tree));
2273 extern struct rtx_def *emit_line_note_after     PROTO ((char *, int,
2274                                                         struct rtx_def *));
2275 extern struct rtx_def *emit_line_note           PROTO ((char *, int));
2276 extern struct rtx_def *emit_line_note_force     PROTO ((char *, int));
2277
2278 /* In c-typeck.c */
2279 extern int mark_addressable             PROTO ((tree));
2280 extern void incomplete_type_error       PROTO ((tree, tree));
2281
2282 /* In c-lang.c */
2283 extern void print_lang_statistics       PROTO ((void));
2284
2285 /* In c-common.c */
2286 extern tree truthvalue_conversion       PROTO ((tree));
2287 extern int min_precision                PROTO ((tree, int));
2288 extern void split_specs_attrs           PROTO ((tree, tree *, tree *));
2289
2290 /* In c-decl.c */
2291 #ifdef BUFSIZ
2292 extern void print_lang_decl             PROTO ((FILE *, tree, int));
2293 extern void print_lang_type             PROTO ((FILE *, tree, int));
2294 extern void print_lang_identifier       PROTO ((FILE *, tree, int));
2295 #endif
2296 extern int global_bindings_p            PROTO ((void));
2297 extern void insert_block                PROTO ((tree));
2298
2299 /* In integrate.c */
2300 extern void save_for_inline_nocopy      PROTO ((tree));
2301 extern void save_for_inline_copying     PROTO ((tree));
2302 extern void set_decl_abstract_flags     PROTO ((tree, int));
2303 extern void output_inline_function      PROTO ((tree));
2304
2305 /* In c-lex.c */
2306 extern void set_yydebug                 PROTO ((int));
2307
2308 /* In stor-layout.c */
2309 extern void fixup_signed_type           PROTO ((tree));
2310
2311 /* varasm.c */
2312 extern void make_decl_rtl               PROTO ((tree, const char *, int));
2313 extern void make_decl_one_only          PROTO ((tree));
2314 extern int supports_one_only            PROTO ((void));
2315 extern void variable_section            PROTO ((tree, int));
2316
2317 /* In fold-const.c */
2318 extern int div_and_round_double         PROTO ((enum tree_code, int,
2319                                                 HOST_WIDE_INT, HOST_WIDE_INT,
2320                                                 HOST_WIDE_INT, HOST_WIDE_INT,
2321                                                 HOST_WIDE_INT *,
2322                                                 HOST_WIDE_INT *,
2323                                                 HOST_WIDE_INT *,
2324                                                 HOST_WIDE_INT *));
2325
2326 /* In stmt.c */
2327 extern void emit_nop                    PROTO ((void));
2328 extern void expand_computed_goto        PROTO ((tree));
2329 extern struct rtx_def *label_rtx        PROTO ((tree));
2330 extern void expand_asm_operands         PROTO ((tree, tree, tree, tree, int,
2331                                                 char *, int));
2332 extern int any_pending_cleanups         PROTO ((int));
2333 extern void init_stmt                   PROTO ((void));
2334 extern void init_stmt_for_function      PROTO ((void));
2335 extern void remember_end_note           PROTO ((tree));
2336 extern int drop_through_at_end_p        PROTO ((void));
2337 extern void expand_start_target_temps   PROTO ((void));
2338 extern void expand_end_target_temps     PROTO ((void));
2339 extern void expand_elseif               PROTO ((tree));
2340 extern void expand_decl                 PROTO ((tree));
2341 extern int expand_decl_cleanup          PROTO ((tree, tree));
2342 extern void expand_anon_union_decl      PROTO ((tree, tree, tree));
2343 extern void move_cleanups_up            PROTO ((void));
2344 extern void expand_start_case_dummy     PROTO ((void));
2345 extern void expand_end_case_dummy       PROTO ((void));
2346 extern tree case_index_expr_type        PROTO ((void));
2347 extern HOST_WIDE_INT all_cases_count    PROTO ((tree, int *));
2348 extern void check_for_full_enumeration_handling PROTO ((tree));
2349 extern void declare_nonlocal_label      PROTO ((tree));
2350 #ifdef BUFSIZ
2351 extern void lang_print_xnode            PROTO ((FILE *, tree, int));
2352 #endif
2353
2354
2355 /* If KIND=='I', return a suitable global initializer (constructor) name.
2356    If KIND=='D', return a suitable global clean-up (destructor) name.  */
2357 extern tree get_file_function_name PROTO((int));
2358 \f
2359 /* Interface of the DWARF2 unwind info support.  */
2360
2361 /* Decide whether we want to emit frame unwind information for the current
2362    translation unit.  */
2363
2364 extern int dwarf2out_do_frame           PROTO((void));
2365
2366 /* Generate a new label for the CFI info to refer to.  */
2367
2368 extern char *dwarf2out_cfi_label        PROTO((void));
2369
2370 /* Entry point to update the canonical frame address (CFA).  */
2371
2372 extern void dwarf2out_def_cfa           PROTO((char *, unsigned, long));
2373
2374 /* Add the CFI for saving a register window.  */
2375
2376 extern void dwarf2out_window_save       PROTO((char *));
2377
2378 /* Add a CFI to update the running total of the size of arguments pushed
2379    onto the stack.  */
2380
2381 extern void dwarf2out_args_size         PROTO((char *, long));
2382
2383 /* Entry point for saving a register to the stack.  */
2384
2385 extern void dwarf2out_reg_save          PROTO((char *, unsigned, long));
2386
2387 /* Entry point for saving the return address in the stack.  */
2388
2389 extern void dwarf2out_return_save       PROTO((char *, long));
2390
2391 /* Entry point for saving the return address in a register.  */
2392
2393 extern void dwarf2out_return_reg        PROTO((char *, unsigned));
2394
2395 /* Output a marker (i.e. a label) for the beginning of a function, before
2396    the prologue.  */
2397
2398 extern void dwarf2out_begin_prologue    PROTO((void));
2399
2400 /* Output a marker (i.e. a label) for the absolute end of the generated
2401    code for a function definition.  */
2402
2403 extern void dwarf2out_end_epilogue      PROTO((void));
2404
2405 /* Redefine abort to report an internal error w/o coredump, and
2406    reporting the location of the error in the source file.  This logic
2407    is duplicated in rtl.h and tree.h because every file that needs the
2408    special abort includes one or both.  toplev.h gets too few files,
2409    system.h gets too many.  */
2410
2411 #if __GNUC__ < 2 || (__GNUC__ == 2 && __GNUC_MINOR__ < 7)
2412 extern void fancy_abort PROTO((const char *, int)) ATTRIBUTE_NORETURN;
2413 #define abort() fancy_abort (__FILE__, __LINE__)
2414 #else
2415 extern void fancy_abort PROTO((const char *, int, const char *))
2416     ATTRIBUTE_NORETURN;
2417 #define abort() fancy_abort (__FILE__, __LINE__, __PRETTY_FUNCTION__)
2418 #endif