gcc/tree-core.h

   1 /* Core data structures for the 'tree' type.
   2    Copyright (C) 1989-2017 Free Software Foundation, Inc.
   3
   4 This file is part of GCC.
   5
   6 GCC is free software; you can redistribute it and/or modify it under
   7 the terms of the GNU General Public License as published by the Free
   8 Software Foundation; either version 3, or (at your option) any later
   9 version.
  10
  11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14 for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GCC; see the file COPYING3.  If not see
  18 <http://www.gnu.org/licenses/>.  */
  19
  20 #ifndef GCC_TREE_CORE_H
  21 #define GCC_TREE_CORE_H
  22
  23 #include "symtab.h"
  24
  25 /* This file contains all the data structures that define the 'tree' type.
  26    There are no accessor macros nor functions in this file. Only the
  27    basic data structures, extern declarations and type definitions.  */
  28
  29 /*---------------------------------------------------------------------------
  30    Forward type declarations.  Mostly to avoid including unnecessary headers
  31 ---------------------------------------------------------------------------*/
  32 struct function;
  33 struct real_value;
  34 struct fixed_value;
  35 struct ptr_info_def;
  36 struct range_info_def;
  37 struct die_struct;
  38
  39
  40 /*---------------------------------------------------------------------------
  41                               #defined constants
  42 ---------------------------------------------------------------------------*/
  43 /* Nonzero if this is a call to a function whose return value depends
  44    solely on its arguments, has no side effects, and does not read
  45    global memory.  This corresponds to TREE_READONLY for function
  46    decls.  */
  47 #define ECF_CONST                 (1 << 0)
  48
  49 /* Nonzero if this is a call to "pure" function (like const function,
  50    but may read memory.  This corresponds to DECL_PURE_P for function
  51    decls.  */
  52 #define ECF_PURE                  (1 << 1)
  53
  54 /* Nonzero if this is ECF_CONST or ECF_PURE but cannot be proven to no
  55    infinite loop.  This corresponds to DECL_LOOPING_CONST_OR_PURE_P
  56    for function decls.*/
  57 #define ECF_LOOPING_CONST_OR_PURE (1 << 2)
  58
  59 /* Nonzero if this call will never return.  */
  60 #define ECF_NORETURN              (1 << 3)
  61
  62 /* Nonzero if this is a call to malloc or a related function.  */
  63 #define ECF_MALLOC                (1 << 4)
  64
  65 /* Nonzero if it is plausible that this is a call to alloca.  */
  66 #define ECF_MAY_BE_ALLOCA         (1 << 5)
  67
  68 /* Nonzero if this is a call to a function that won't throw an exception.  */
  69 #define ECF_NOTHROW               (1 << 6)
  70
  71 /* Nonzero if this is a call to setjmp or a related function.  */
  72 #define ECF_RETURNS_TWICE         (1 << 7)
  73
  74 /* Nonzero if this call replaces the current stack frame.  */
  75 #define ECF_SIBCALL               (1 << 8)
  76
  77 /* Function does not read or write memory (but may have side effects, so
  78    it does not necessarily fit ECF_CONST).  */
  79 #define ECF_NOVOPS                (1 << 9)
  80
  81 /* The function does not lead to calls within current function unit.  */
  82 #define ECF_LEAF                  (1 << 10)
  83
  84 /* Nonzero if this call returns its first argument.  */
  85 #define ECF_RET1                  (1 << 11)
  86
  87 /* Nonzero if this call does not affect transactions.  */
  88 #define ECF_TM_PURE               (1 << 12)
  89
  90 /* Nonzero if this call is into the transaction runtime library.  */
  91 #define ECF_TM_BUILTIN            (1 << 13)
  92
  93 /* Nonzero if this is an indirect call by descriptor.  */
  94 #define ECF_BY_DESCRIPTOR         (1 << 14)
  95
  96 /* Call argument flags.  */
  97 /* Nonzero if the argument is not dereferenced recursively, thus only
  98    directly reachable memory is read or written.  */
  99 #define EAF_DIRECT              (1 << 0)
 100
 101 /* Nonzero if memory reached by the argument is not clobbered.  */
 102 #define EAF_NOCLOBBER           (1 << 1)
 103
 104 /* Nonzero if the argument does not escape.  */
 105 #define EAF_NOESCAPE            (1 << 2)
 106
 107 /* Nonzero if the argument is not used by the function.  */
 108 #define EAF_UNUSED              (1 << 3)
 109
 110 /* Call return flags.  */
 111 /* Mask for the argument number that is returned.  Lower two bits of
 112    the return flags, encodes argument slots zero to three.  */
 113 #define ERF_RETURN_ARG_MASK     (3)
 114
 115 /* Nonzero if the return value is equal to the argument number
 116    flags & ERF_RETURN_ARG_MASK.  */
 117 #define ERF_RETURNS_ARG         (1 << 2)
 118
 119 /* Nonzero if the return value does not alias with anything.  Functions
 120    with the malloc attribute have this set on their return value.  */
 121 #define ERF_NOALIAS             (1 << 3)
 122
 123
 124 /*---------------------------------------------------------------------------
 125                                   Enumerations
 126 ---------------------------------------------------------------------------*/
 127 /* Codes of tree nodes.  */
 128 #define DEFTREECODE(SYM, STRING, TYPE, NARGS)   SYM,
 129 #define END_OF_BASE_TREE_CODES LAST_AND_UNUSED_TREE_CODE,
 130
 131 enum tree_code {
 132 #include "all-tree.def"
 133 MAX_TREE_CODES
 134 };
 135
 136 #undef DEFTREECODE
 137 #undef END_OF_BASE_TREE_CODES
 138
 139 /* Number of language-independent tree codes.  */
 140 #define NUM_TREE_CODES \
 141   ((int) LAST_AND_UNUSED_TREE_CODE)
 142
 143 #define CODE_CONTAINS_STRUCT(CODE, STRUCT) \
 144   (tree_contains_struct[(CODE)][(STRUCT)])
 145
 146
 147 /* Classify which part of the compiler has defined a given builtin function.
 148    Note that we assume below that this is no more than two bits.  */
 149 enum built_in_class {
 150   NOT_BUILT_IN = 0,
 151   BUILT_IN_FRONTEND,
 152   BUILT_IN_MD,
 153   BUILT_IN_NORMAL
 154 };
 155
 156 /* Last marker used for LTO stremaing of built_in_class.  We can not add it
 157    to the enum since we need the enumb to fit in 2 bits.  */
 158 #define BUILT_IN_LAST (BUILT_IN_NORMAL + 1)
 159
 160 /* Codes that identify the various built in functions
 161    so that expand_call can identify them quickly.  */
 162 #define DEF_BUILTIN(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND) ENUM,
 163 enum built_in_function {
 164 #include "builtins.def"
 165
 166   BEGIN_CHKP_BUILTINS,
 167
 168 #define DEF_BUILTIN(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND)
 169 #define DEF_BUILTIN_CHKP(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND) \
 170   ENUM##_CHKP = ENUM + BEGIN_CHKP_BUILTINS + 1,
 171 #include "builtins.def"
 172
 173   END_CHKP_BUILTINS = BEGIN_CHKP_BUILTINS * 2 + 1,
 174
 175   /* Complex division routines in libgcc.  These are done via builtins
 176      because emit_library_call_value can't handle complex values.  */
 177   BUILT_IN_COMPLEX_MUL_MIN,
 178   BUILT_IN_COMPLEX_MUL_MAX
 179     = BUILT_IN_COMPLEX_MUL_MIN
 180       + MAX_MODE_COMPLEX_FLOAT
 181       - MIN_MODE_COMPLEX_FLOAT,
 182
 183   BUILT_IN_COMPLEX_DIV_MIN,
 184   BUILT_IN_COMPLEX_DIV_MAX
 185     = BUILT_IN_COMPLEX_DIV_MIN
 186       + MAX_MODE_COMPLEX_FLOAT
 187       - MIN_MODE_COMPLEX_FLOAT,
 188
 189   /* Upper bound on non-language-specific builtins.  */
 190   END_BUILTINS
 191 };
 192
 193 /* Internal functions.  */
 194 enum internal_fn {
 195 #define DEF_INTERNAL_FN(CODE, FLAGS, FNSPEC) IFN_##CODE,
 196 #include "internal-fn.def"
 197   IFN_LAST
 198 };
 199
 200 /* An enum that combines target-independent built-in functions with
 201    internal functions, so that they can be treated in a similar way.
 202    The numbers for built-in functions are the same as for the
 203    built_in_function enum.  The numbers for internal functions
 204    start at END_BUITLINS.  */
 205 enum combined_fn {
 206 #define DEF_BUILTIN(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND) \
 207   CFN_##ENUM = int (ENUM),
 208 #include "builtins.def"
 209
 210 #define DEF_BUILTIN(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND)
 211 #define DEF_BUILTIN_CHKP(ENUM, N, C, T, LT, B, F, NA, AT, IM, COND) \
 212   CFN_##ENUM##_CHKP = int (ENUM##_CHKP),
 213 #include "builtins.def"
 214
 215 #define DEF_INTERNAL_FN(CODE, FLAGS, FNSPEC) \
 216   CFN_##CODE = int (END_BUILTINS) + int (IFN_##CODE),
 217 #include "internal-fn.def"
 218
 219   CFN_LAST
 220 };
 221
 222 /* Tree code classes.  Each tree_code has an associated code class
 223    represented by a TREE_CODE_CLASS.  */
 224 enum tree_code_class {
 225   tcc_exceptional, /* An exceptional code (fits no category).  */
 226   tcc_constant,    /* A constant.  */
 227   /* Order of tcc_type and tcc_declaration is important.  */
 228   tcc_type,        /* A type object code.  */
 229   tcc_declaration, /* A declaration (also serving as variable refs).  */
 230   tcc_reference,   /* A reference to storage.  */
 231   tcc_comparison,  /* A comparison expression.  */
 232   tcc_unary,       /* A unary arithmetic expression.  */
 233   tcc_binary,      /* A binary arithmetic expression.  */
 234   tcc_statement,   /* A statement expression, which have side effects
 235                       but usually no interesting value.  */
 236   tcc_vl_exp,      /* A function call or other expression with a
 237                       variable-length operand vector.  */
 238   tcc_expression   /* Any other expression.  */
 239 };
 240
 241 /* OMP_CLAUSE codes.  Do not reorder, as this is used to index into
 242    the tables omp_clause_num_ops and omp_clause_code_name.  */
 243 enum omp_clause_code {
 244   /* Clause zero is special-cased inside the parser
 245      (c_parser_omp_variable_list).  */
 246   OMP_CLAUSE_ERROR = 0,
 247
 248   /* OpenACC/OpenMP clause: private (variable_list).  */
 249   OMP_CLAUSE_PRIVATE,
 250
 251   /* OpenMP clause: shared (variable_list).  */
 252   OMP_CLAUSE_SHARED,
 253
 254   /* OpenACC/OpenMP clause: firstprivate (variable_list).  */
 255   OMP_CLAUSE_FIRSTPRIVATE,
 256
 257   /* OpenMP clause: lastprivate (variable_list).  */
 258   OMP_CLAUSE_LASTPRIVATE,
 259
 260   /* OpenACC/OpenMP clause: reduction (operator:variable_list).
 261      OMP_CLAUSE_REDUCTION_CODE: The tree_code of the operator.
 262      Operand 1: OMP_CLAUSE_REDUCTION_INIT: Stmt-list to initialize the var.
 263      Operand 2: OMP_CLAUSE_REDUCTION_MERGE: Stmt-list to merge private var
 264                 into the shared one.
 265      Operand 3: OMP_CLAUSE_REDUCTION_PLACEHOLDER: A dummy VAR_DECL
 266                 placeholder used in OMP_CLAUSE_REDUCTION_{INIT,MERGE}.
 267      Operand 4: OMP_CLAUSE_REDUCTION_DECL_PLACEHOLDER: Another dummy
 268                 VAR_DECL placeholder, used like the above for C/C++ array
 269                 reductions.  */
 270   OMP_CLAUSE_REDUCTION,
 271
 272   /* OpenMP clause: copyin (variable_list).  */
 273   OMP_CLAUSE_COPYIN,
 274
 275   /* OpenMP clause: copyprivate (variable_list).  */
 276   OMP_CLAUSE_COPYPRIVATE,
 277
 278   /* OpenMP clause: linear (variable-list[:linear-step]).  */
 279   OMP_CLAUSE_LINEAR,
 280
 281   /* OpenMP clause: aligned (variable-list[:alignment]).  */
 282   OMP_CLAUSE_ALIGNED,
 283
 284   /* OpenMP clause: depend ({in,out,inout}:variable-list).  */
 285   OMP_CLAUSE_DEPEND,
 286
 287   /* OpenMP clause: uniform (argument-list).  */
 288   OMP_CLAUSE_UNIFORM,
 289
 290   /* OpenMP clause: to (extended-list).
 291      Only when it appears in declare target.  */
 292   OMP_CLAUSE_TO_DECLARE,
 293
 294   /* OpenMP clause: link (variable-list).  */
 295   OMP_CLAUSE_LINK,
 296
 297   /* OpenMP clause: from (variable-list).  */
 298   OMP_CLAUSE_FROM,
 299
 300   /* OpenMP clause: to (variable-list).  */
 301   OMP_CLAUSE_TO,
 302
 303   /* OpenACC clauses: {copy, copyin, copyout, create, delete, deviceptr,
 304      device, host (self), present, present_or_copy (pcopy), present_or_copyin
 305      (pcopyin), present_or_copyout (pcopyout), present_or_create (pcreate)}
 306      (variable-list).
 307
 308      OpenMP clause: map ({alloc:,to:,from:,tofrom:,}variable-list).  */
 309   OMP_CLAUSE_MAP,
 310
 311   /* OpenACC clause: use_device (variable_list).
 312      OpenMP clause: use_device_ptr (variable-list).  */
 313   OMP_CLAUSE_USE_DEVICE_PTR,
 314
 315   /* OpenMP clause: is_device_ptr (variable-list).  */
 316   OMP_CLAUSE_IS_DEVICE_PTR,
 317
 318   /* Internal structure to hold OpenACC cache directive's variable-list.
 319      #pragma acc cache (variable-list).  */
 320   OMP_CLAUSE__CACHE_,
 321
 322   /* OpenACC clause: gang [(gang-argument-list)].
 323      Where
 324       gang-argument-list: [gang-argument-list, ] gang-argument
 325       gang-argument: [num:] integer-expression
 326                    | static: size-expression
 327       size-expression: * | integer-expression.  */
 328   OMP_CLAUSE_GANG,
 329
 330   /* OpenACC clause: async [(integer-expression)].  */
 331   OMP_CLAUSE_ASYNC,
 332
 333   /* OpenACC clause: wait [(integer-expression-list)].  */
 334   OMP_CLAUSE_WAIT,
 335
 336   /* OpenACC clause: auto.  */
 337   OMP_CLAUSE_AUTO,
 338
 339   /* OpenACC clause: seq.  */
 340   OMP_CLAUSE_SEQ,
 341
 342   /* Internal clause: temporary for combined loops expansion.  */
 343   OMP_CLAUSE__LOOPTEMP_,
 344
 345   /* OpenACC/OpenMP clause: if (scalar-expression).  */
 346   OMP_CLAUSE_IF,
 347
 348   /* OpenMP clause: num_threads (integer-expression).  */
 349   OMP_CLAUSE_NUM_THREADS,
 350
 351   /* OpenMP clause: schedule.  */
 352   OMP_CLAUSE_SCHEDULE,
 353
 354   /* OpenMP clause: nowait.  */
 355   OMP_CLAUSE_NOWAIT,
 356
 357   /* OpenMP clause: ordered [(constant-integer-expression)].  */
 358   OMP_CLAUSE_ORDERED,
 359
 360   /* OpenMP clause: default.  */
 361   OMP_CLAUSE_DEFAULT,
 362
 363   /* OpenACC/OpenMP clause: collapse (constant-integer-expression).  */
 364   OMP_CLAUSE_COLLAPSE,
 365
 366   /* OpenMP clause: untied.  */
 367   OMP_CLAUSE_UNTIED,
 368
 369   /* OpenMP clause: final (scalar-expression).  */
 370   OMP_CLAUSE_FINAL,
 371
 372   /* OpenMP clause: mergeable.  */
 373   OMP_CLAUSE_MERGEABLE,
 374
 375   /* OpenMP clause: device (integer-expression).  */
 376   OMP_CLAUSE_DEVICE,
 377
 378   /* OpenMP clause: dist_schedule (static[:chunk-size]).  */
 379   OMP_CLAUSE_DIST_SCHEDULE,
 380
 381   /* OpenMP clause: inbranch.  */
 382   OMP_CLAUSE_INBRANCH,
 383
 384   /* OpenMP clause: notinbranch.  */
 385   OMP_CLAUSE_NOTINBRANCH,
 386
 387   /* OpenMP clause: num_teams(integer-expression).  */
 388   OMP_CLAUSE_NUM_TEAMS,
 389
 390   /* OpenMP clause: thread_limit(integer-expression).  */
 391   OMP_CLAUSE_THREAD_LIMIT,
 392
 393   /* OpenMP clause: proc_bind ({master,close,spread}).  */
 394   OMP_CLAUSE_PROC_BIND,
 395
 396   /* OpenMP clause: safelen (constant-integer-expression).  */
 397   OMP_CLAUSE_SAFELEN,
 398
 399   /* OpenMP clause: simdlen (constant-integer-expression).  */
 400   OMP_CLAUSE_SIMDLEN,
 401
 402   /* OpenMP clause: for.  */
 403   OMP_CLAUSE_FOR,
 404
 405   /* OpenMP clause: parallel.  */
 406   OMP_CLAUSE_PARALLEL,
 407
 408   /* OpenMP clause: sections.  */
 409   OMP_CLAUSE_SECTIONS,
 410
 411   /* OpenMP clause: taskgroup.  */
 412   OMP_CLAUSE_TASKGROUP,
 413
 414   /* OpenMP clause: priority (integer-expression).  */
 415   OMP_CLAUSE_PRIORITY,
 416
 417   /* OpenMP clause: grainsize (integer-expression).  */
 418   OMP_CLAUSE_GRAINSIZE,
 419
 420   /* OpenMP clause: num_tasks (integer-expression).  */
 421   OMP_CLAUSE_NUM_TASKS,
 422
 423   /* OpenMP clause: nogroup.  */
 424   OMP_CLAUSE_NOGROUP,
 425
 426   /* OpenMP clause: threads.  */
 427   OMP_CLAUSE_THREADS,
 428
 429   /* OpenMP clause: simd.  */
 430   OMP_CLAUSE_SIMD,
 431
 432   /* OpenMP clause: hint (integer-expression).  */
 433   OMP_CLAUSE_HINT,
 434
 435   /* OpenMP clause: defaultmap (tofrom: scalar).  */
 436   OMP_CLAUSE_DEFAULTMAP,
 437
 438   /* Internally used only clause, holding SIMD uid.  */
 439   OMP_CLAUSE__SIMDUID_,
 440
 441   /* Internally used only clause, flag whether this is SIMT simd
 442      loop or not.  */
 443   OMP_CLAUSE__SIMT_,
 444
 445   /* Internally used only clause, holding _Cilk_for # of iterations
 446      on OMP_PARALLEL.  */
 447   OMP_CLAUSE__CILK_FOR_COUNT_,
 448
 449   /* OpenACC clause: independent.  */
 450   OMP_CLAUSE_INDEPENDENT,
 451
 452   /* OpenACC clause: worker [( [num:] integer-expression)].  */
 453   OMP_CLAUSE_WORKER,
 454
 455   /* OpenACC clause: vector [( [length:] integer-expression)].  */
 456   OMP_CLAUSE_VECTOR,
 457
 458   /* OpenACC clause: num_gangs (integer-expression).  */
 459   OMP_CLAUSE_NUM_GANGS,
 460
 461   /* OpenACC clause: num_workers (integer-expression).  */
 462   OMP_CLAUSE_NUM_WORKERS,
 463
 464   /* OpenACC clause: vector_length (integer-expression).  */
 465   OMP_CLAUSE_VECTOR_LENGTH,
 466
 467   /* OpenACC clause: tile ( size-expr-list ).  */
 468   OMP_CLAUSE_TILE,
 469
 470   /* OpenMP internal-only clause to specify grid dimensions of a gridified
 471      kernel.  */
 472   OMP_CLAUSE__GRIDDIM_
 473 };
 474
 475 #undef DEFTREESTRUCT
 476 #define DEFTREESTRUCT(ENUM, NAME) ENUM,
 477 enum tree_node_structure_enum {
 478 #include "treestruct.def"
 479   LAST_TS_ENUM
 480 };
 481 #undef DEFTREESTRUCT
 482
 483 enum omp_clause_schedule_kind {
 484   OMP_CLAUSE_SCHEDULE_STATIC,
 485   OMP_CLAUSE_SCHEDULE_DYNAMIC,
 486   OMP_CLAUSE_SCHEDULE_GUIDED,
 487   OMP_CLAUSE_SCHEDULE_AUTO,
 488   OMP_CLAUSE_SCHEDULE_RUNTIME,
 489   OMP_CLAUSE_SCHEDULE_CILKFOR,
 490   OMP_CLAUSE_SCHEDULE_MASK = (1 << 3) - 1,
 491   OMP_CLAUSE_SCHEDULE_MONOTONIC = (1 << 3),
 492   OMP_CLAUSE_SCHEDULE_NONMONOTONIC = (1 << 4),
 493   OMP_CLAUSE_SCHEDULE_LAST = 2 * OMP_CLAUSE_SCHEDULE_NONMONOTONIC - 1
 494 };
 495
 496 enum omp_clause_default_kind {
 497   OMP_CLAUSE_DEFAULT_UNSPECIFIED,
 498   OMP_CLAUSE_DEFAULT_SHARED,
 499   OMP_CLAUSE_DEFAULT_NONE,
 500   OMP_CLAUSE_DEFAULT_PRIVATE,
 501   OMP_CLAUSE_DEFAULT_FIRSTPRIVATE,
 502   OMP_CLAUSE_DEFAULT_LAST
 503 };
 504
 505 /* There is a TYPE_QUAL value for each type qualifier.  They can be
 506    combined by bitwise-or to form the complete set of qualifiers for a
 507    type.  */
 508 enum cv_qualifier {
 509   TYPE_UNQUALIFIED   = 0x0,
 510   TYPE_QUAL_CONST    = 0x1,
 511   TYPE_QUAL_VOLATILE = 0x2,
 512   TYPE_QUAL_RESTRICT = 0x4,
 513   TYPE_QUAL_ATOMIC   = 0x8
 514 };
 515
 516 /* Standard named or nameless data types of the C compiler.  */
 517 enum tree_index {
 518   TI_ERROR_MARK,
 519   TI_INTQI_TYPE,
 520   TI_INTHI_TYPE,
 521   TI_INTSI_TYPE,
 522   TI_INTDI_TYPE,
 523   TI_INTTI_TYPE,
 524
 525   TI_UINTQI_TYPE,
 526   TI_UINTHI_TYPE,
 527   TI_UINTSI_TYPE,
 528   TI_UINTDI_TYPE,
 529   TI_UINTTI_TYPE,
 530
 531   TI_ATOMICQI_TYPE,
 532   TI_ATOMICHI_TYPE,
 533   TI_ATOMICSI_TYPE,
 534   TI_ATOMICDI_TYPE,
 535   TI_ATOMICTI_TYPE,
 536
 537   TI_UINT16_TYPE,
 538   TI_UINT32_TYPE,
 539   TI_UINT64_TYPE,
 540
 541   TI_VOID,
 542
 543   TI_INTEGER_ZERO,
 544   TI_INTEGER_ONE,
 545   TI_INTEGER_THREE,
 546   TI_INTEGER_MINUS_ONE,
 547   TI_NULL_POINTER,
 548
 549   TI_SIZE_ZERO,
 550   TI_SIZE_ONE,
 551
 552   TI_BITSIZE_ZERO,
 553   TI_BITSIZE_ONE,
 554   TI_BITSIZE_UNIT,
 555
 556   TI_PUBLIC,
 557   TI_PROTECTED,
 558   TI_PRIVATE,
 559
 560   TI_BOOLEAN_FALSE,
 561   TI_BOOLEAN_TRUE,
 562
 563   TI_FLOAT_TYPE,
 564   TI_DOUBLE_TYPE,
 565   TI_LONG_DOUBLE_TYPE,
 566
 567   /* The _FloatN and _FloatNx types must be consecutive, and in the
 568      same sequence as the corresponding complex types, which must also
 569      be consecutive; _FloatN must come before _FloatNx; the order must
 570      also be the same as in the floatn_nx_types array and the RID_*
 571      values in c-common.h.  This is so that iterations over these
 572      types work as intended.  */
 573   TI_FLOAT16_TYPE,
 574   TI_FLOATN_TYPE_FIRST = TI_FLOAT16_TYPE,
 575   TI_FLOATN_NX_TYPE_FIRST = TI_FLOAT16_TYPE,
 576   TI_FLOAT32_TYPE,
 577   TI_FLOAT64_TYPE,
 578   TI_FLOAT128_TYPE,
 579   TI_FLOATN_TYPE_LAST = TI_FLOAT128_TYPE,
 580 #define NUM_FLOATN_TYPES (TI_FLOATN_TYPE_LAST - TI_FLOATN_TYPE_FIRST + 1)
 581   TI_FLOAT32X_TYPE,
 582   TI_FLOATNX_TYPE_FIRST = TI_FLOAT32X_TYPE,
 583   TI_FLOAT64X_TYPE,
 584   TI_FLOAT128X_TYPE,
 585   TI_FLOATNX_TYPE_LAST = TI_FLOAT128X_TYPE,
 586   TI_FLOATN_NX_TYPE_LAST = TI_FLOAT128X_TYPE,
 587 #define NUM_FLOATNX_TYPES (TI_FLOATNX_TYPE_LAST - TI_FLOATNX_TYPE_FIRST + 1)
 588 #define NUM_FLOATN_NX_TYPES (TI_FLOATN_NX_TYPE_LAST             \
 589                              - TI_FLOATN_NX_TYPE_FIRST          \
 590                              + 1)
 591
 592   /* Put the complex types after their component types, so that in (sequential)
 593      tree streaming we can assert that their component types have already been
 594      handled (see tree-streamer.c:record_common_node).  */
 595   TI_COMPLEX_INTEGER_TYPE,
 596   TI_COMPLEX_FLOAT_TYPE,
 597   TI_COMPLEX_DOUBLE_TYPE,
 598   TI_COMPLEX_LONG_DOUBLE_TYPE,
 599
 600   TI_COMPLEX_FLOAT16_TYPE,
 601   TI_COMPLEX_FLOATN_NX_TYPE_FIRST = TI_COMPLEX_FLOAT16_TYPE,
 602   TI_COMPLEX_FLOAT32_TYPE,
 603   TI_COMPLEX_FLOAT64_TYPE,
 604   TI_COMPLEX_FLOAT128_TYPE,
 605   TI_COMPLEX_FLOAT32X_TYPE,
 606   TI_COMPLEX_FLOAT64X_TYPE,
 607   TI_COMPLEX_FLOAT128X_TYPE,
 608
 609   TI_FLOAT_PTR_TYPE,
 610   TI_DOUBLE_PTR_TYPE,
 611   TI_LONG_DOUBLE_PTR_TYPE,
 612   TI_INTEGER_PTR_TYPE,
 613
 614   TI_VOID_TYPE,
 615   TI_PTR_TYPE,
 616   TI_CONST_PTR_TYPE,
 617   TI_SIZE_TYPE,
 618   TI_PID_TYPE,
 619   TI_PTRDIFF_TYPE,
 620   TI_VA_LIST_TYPE,
 621   TI_VA_LIST_GPR_COUNTER_FIELD,
 622   TI_VA_LIST_FPR_COUNTER_FIELD,
 623   TI_BOOLEAN_TYPE,
 624   TI_FILEPTR_TYPE,
 625   TI_CONST_TM_PTR_TYPE,
 626   TI_POINTER_SIZED_TYPE,
 627
 628   TI_POINTER_BOUNDS_TYPE,
 629
 630   TI_DFLOAT32_TYPE,
 631   TI_DFLOAT64_TYPE,
 632   TI_DFLOAT128_TYPE,
 633   TI_DFLOAT32_PTR_TYPE,
 634   TI_DFLOAT64_PTR_TYPE,
 635   TI_DFLOAT128_PTR_TYPE,
 636
 637   TI_VOID_LIST_NODE,
 638
 639   TI_MAIN_IDENTIFIER,
 640
 641   TI_SAT_SFRACT_TYPE,
 642   TI_SAT_FRACT_TYPE,
 643   TI_SAT_LFRACT_TYPE,
 644   TI_SAT_LLFRACT_TYPE,
 645   TI_SAT_USFRACT_TYPE,
 646   TI_SAT_UFRACT_TYPE,
 647   TI_SAT_ULFRACT_TYPE,
 648   TI_SAT_ULLFRACT_TYPE,
 649   TI_SFRACT_TYPE,
 650   TI_FRACT_TYPE,
 651   TI_LFRACT_TYPE,
 652   TI_LLFRACT_TYPE,
 653   TI_USFRACT_TYPE,
 654   TI_UFRACT_TYPE,
 655   TI_ULFRACT_TYPE,
 656   TI_ULLFRACT_TYPE,
 657   TI_SAT_SACCUM_TYPE,
 658   TI_SAT_ACCUM_TYPE,
 659   TI_SAT_LACCUM_TYPE,
 660   TI_SAT_LLACCUM_TYPE,
 661   TI_SAT_USACCUM_TYPE,
 662   TI_SAT_UACCUM_TYPE,
 663   TI_SAT_ULACCUM_TYPE,
 664   TI_SAT_ULLACCUM_TYPE,
 665   TI_SACCUM_TYPE,
 666   TI_ACCUM_TYPE,
 667   TI_LACCUM_TYPE,
 668   TI_LLACCUM_TYPE,
 669   TI_USACCUM_TYPE,
 670   TI_UACCUM_TYPE,
 671   TI_ULACCUM_TYPE,
 672   TI_ULLACCUM_TYPE,
 673   TI_QQ_TYPE,
 674   TI_HQ_TYPE,
 675   TI_SQ_TYPE,
 676   TI_DQ_TYPE,
 677   TI_TQ_TYPE,
 678   TI_UQQ_TYPE,
 679   TI_UHQ_TYPE,
 680   TI_USQ_TYPE,
 681   TI_UDQ_TYPE,
 682   TI_UTQ_TYPE,
 683   TI_SAT_QQ_TYPE,
 684   TI_SAT_HQ_TYPE,
 685   TI_SAT_SQ_TYPE,
 686   TI_SAT_DQ_TYPE,
 687   TI_SAT_TQ_TYPE,
 688   TI_SAT_UQQ_TYPE,
 689   TI_SAT_UHQ_TYPE,
 690   TI_SAT_USQ_TYPE,
 691   TI_SAT_UDQ_TYPE,
 692   TI_SAT_UTQ_TYPE,
 693   TI_HA_TYPE,
 694   TI_SA_TYPE,
 695   TI_DA_TYPE,
 696   TI_TA_TYPE,
 697   TI_UHA_TYPE,
 698   TI_USA_TYPE,
 699   TI_UDA_TYPE,
 700   TI_UTA_TYPE,
 701   TI_SAT_HA_TYPE,
 702   TI_SAT_SA_TYPE,
 703   TI_SAT_DA_TYPE,
 704   TI_SAT_TA_TYPE,
 705   TI_SAT_UHA_TYPE,
 706   TI_SAT_USA_TYPE,
 707   TI_SAT_UDA_TYPE,
 708   TI_SAT_UTA_TYPE,
 709
 710   TI_OPTIMIZATION_DEFAULT,
 711   TI_OPTIMIZATION_CURRENT,
 712   TI_TARGET_OPTION_DEFAULT,
 713   TI_TARGET_OPTION_CURRENT,
 714   TI_CURRENT_TARGET_PRAGMA,
 715   TI_CURRENT_OPTIMIZE_PRAGMA,
 716
 717   TI_MAX
 718 };
 719
 720 /* An enumeration of the standard C integer types.  These must be
 721    ordered so that shorter types appear before longer ones, and so
 722    that signed types appear before unsigned ones, for the correct
 723    functioning of interpret_integer() in c-lex.c.  */
 724 enum integer_type_kind {
 725   itk_char,
 726   itk_signed_char,
 727   itk_unsigned_char,
 728   itk_short,
 729   itk_unsigned_short,
 730   itk_int,
 731   itk_unsigned_int,
 732   itk_long,
 733   itk_unsigned_long,
 734   itk_long_long,
 735   itk_unsigned_long_long,
 736
 737   itk_intN_0,
 738   itk_unsigned_intN_0,
 739   itk_intN_1,
 740   itk_unsigned_intN_1,
 741   itk_intN_2,
 742   itk_unsigned_intN_2,
 743   itk_intN_3,
 744   itk_unsigned_intN_3,
 745
 746   itk_none
 747 };
 748
 749 /* A pointer-to-function member type looks like:
 750
 751      struct {
 752        __P __pfn;
 753        ptrdiff_t __delta;
 754      };
 755
 756    If __pfn is NULL, it is a NULL pointer-to-member-function.
 757
 758    (Because the vtable is always the first thing in the object, we
 759    don't need its offset.)  If the function is virtual, then PFN is
 760    one plus twice the index into the vtable; otherwise, it is just a
 761    pointer to the function.
 762
 763    Unfortunately, using the lowest bit of PFN doesn't work in
 764    architectures that don't impose alignment requirements on function
 765    addresses, or that use the lowest bit to tell one ISA from another,
 766    for example.  For such architectures, we use the lowest bit of
 767    DELTA instead of the lowest bit of the PFN, and DELTA will be
 768    multiplied by 2.  */
 769 enum ptrmemfunc_vbit_where_t {
 770   ptrmemfunc_vbit_in_pfn,
 771   ptrmemfunc_vbit_in_delta
 772 };
 773
 774 /* Flags that may be passed in the third argument of decl_attributes, and
 775    to handler functions for attributes.  */
 776 enum attribute_flags {
 777   /* The type passed in is the type of a DECL, and any attributes that
 778      should be passed in again to be applied to the DECL rather than the
 779      type should be returned.  */
 780   ATTR_FLAG_DECL_NEXT = 1,
 781   /* The type passed in is a function return type, and any attributes that
 782      should be passed in again to be applied to the function type rather
 783      than the return type should be returned.  */
 784   ATTR_FLAG_FUNCTION_NEXT = 2,
 785   /* The type passed in is an array element type, and any attributes that
 786      should be passed in again to be applied to the array type rather
 787      than the element type should be returned.  */
 788   ATTR_FLAG_ARRAY_NEXT = 4,
 789   /* The type passed in is a structure, union or enumeration type being
 790      created, and should be modified in place.  */
 791   ATTR_FLAG_TYPE_IN_PLACE = 8,
 792   /* The attributes are being applied by default to a library function whose
 793      name indicates known behavior, and should be silently ignored if they
 794      are not in fact compatible with the function type.  */
 795   ATTR_FLAG_BUILT_IN = 16,
 796   /* A given attribute has been parsed as a C++-11 attribute.  */
 797   ATTR_FLAG_CXX11 = 32
 798 };
 799
 800 /* Types used to represent sizes.  */
 801 enum size_type_kind {
 802   stk_sizetype,         /* Normal representation of sizes in bytes.  */
 803   stk_ssizetype,        /* Signed representation of sizes in bytes.  */
 804   stk_bitsizetype,      /* Normal representation of sizes in bits.  */
 805   stk_sbitsizetype,     /* Signed representation of sizes in bits.  */
 806   stk_type_kind_last
 807 };
 808
 809 enum operand_equal_flag {
 810   OEP_ONLY_CONST = 1,
 811   OEP_PURE_SAME = 2,
 812   OEP_MATCH_SIDE_EFFECTS = 4,
 813   OEP_ADDRESS_OF = 8,
 814   /* Internal within operand_equal_p:  */
 815   OEP_NO_HASH_CHECK = 16,
 816   /* Internal within inchash::add_expr:  */
 817   OEP_HASH_CHECK = 32,
 818   /* Makes operand_equal_p handle more expressions:  */
 819   OEP_LEXICOGRAPHIC = 64
 820 };
 821
 822 /* Enum and arrays used for tree allocation stats.
 823    Keep in sync with tree.c:tree_node_kind_names.  */
 824 enum tree_node_kind {
 825   d_kind,
 826   t_kind,
 827   b_kind,
 828   s_kind,
 829   r_kind,
 830   e_kind,
 831   c_kind,
 832   id_kind,
 833   vec_kind,
 834   binfo_kind,
 835   ssa_name_kind,
 836   constr_kind,
 837   x_kind,
 838   lang_decl,
 839   lang_type,
 840   omp_clause_kind,
 841   all_kinds
 842 };
 843
 844 enum annot_expr_kind {
 845   annot_expr_ivdep_kind,
 846   annot_expr_no_vector_kind,
 847   annot_expr_vector_kind,
 848   annot_expr_kind_last
 849 };
 850
 851 /*---------------------------------------------------------------------------
 852                                 Type definitions
 853 ---------------------------------------------------------------------------*/
 854 /* When processing aliases at the symbol table level, we need the
 855    declaration of target. For this reason we need to queue aliases and
 856    process them after all declarations has been produced.  */
 857 struct GTY(()) alias_pair {
 858   tree decl;
 859   tree target;
 860 };
 861
 862 /* An initialization priority.  */
 863 typedef unsigned short priority_type;
 864
 865 /* The type of a callback function for walking over tree structure.  */
 866 typedef tree (*walk_tree_fn) (tree *, int *, void *);
 867
 868 /* The type of a callback function that represents a custom walk_tree.  */
 869 typedef tree (*walk_tree_lh) (tree *, int *, tree (*) (tree *, int *, void *),
 870                               void *, hash_set<tree> *);
 871
 872
 873 /*---------------------------------------------------------------------------
 874                               Main data structures
 875 ---------------------------------------------------------------------------*/
 876 /* A tree node can represent a data type, a variable, an expression
 877    or a statement.  Each node has a TREE_CODE which says what kind of
 878    thing it represents.  Some common codes are:
 879    INTEGER_TYPE -- represents a type of integers.
 880    ARRAY_TYPE -- represents a type of pointer.
 881    VAR_DECL -- represents a declared variable.
 882    INTEGER_CST -- represents a constant integer value.
 883    PLUS_EXPR -- represents a sum (an expression).
 884
 885    As for the contents of a tree node: there are some fields
 886    that all nodes share.  Each TREE_CODE has various special-purpose
 887    fields as well.  The fields of a node are never accessed directly,
 888    always through accessor macros.  */
 889
 890 /* Every kind of tree node starts with this structure,
 891    so all nodes have these fields.
 892
 893    See the accessor macros, defined below, for documentation of the
 894    fields, and the table below which connects the fields and the
 895    accessor macros.  */
 896
 897 struct GTY(()) tree_base {
 898   ENUM_BITFIELD(tree_code) code : 16;
 899
 900   unsigned side_effects_flag : 1;
 901   unsigned constant_flag : 1;
 902   unsigned addressable_flag : 1;
 903   unsigned volatile_flag : 1;
 904   unsigned readonly_flag : 1;
 905   unsigned asm_written_flag: 1;
 906   unsigned nowarning_flag : 1;
 907   unsigned visited : 1;
 908
 909   unsigned used_flag : 1;
 910   unsigned nothrow_flag : 1;
 911   unsigned static_flag : 1;
 912   unsigned public_flag : 1;
 913   unsigned private_flag : 1;
 914   unsigned protected_flag : 1;
 915   unsigned deprecated_flag : 1;
 916   unsigned default_def_flag : 1;
 917
 918   union {
 919     /* The bits in the following structure should only be used with
 920        accessor macros that constrain inputs with tree checking.  */
 921     struct {
 922       unsigned lang_flag_0 : 1;
 923       unsigned lang_flag_1 : 1;
 924       unsigned lang_flag_2 : 1;
 925       unsigned lang_flag_3 : 1;
 926       unsigned lang_flag_4 : 1;
 927       unsigned lang_flag_5 : 1;
 928       unsigned lang_flag_6 : 1;
 929       unsigned saturating_flag : 1;
 930
 931       unsigned unsigned_flag : 1;
 932       unsigned packed_flag : 1;
 933       unsigned user_align : 1;
 934       unsigned nameless_flag : 1;
 935       unsigned atomic_flag : 1;
 936       unsigned spare0 : 3;
 937
 938       unsigned spare1 : 8;
 939
 940       /* This field is only used with TREE_TYPE nodes; the only reason it is
 941          present in tree_base instead of tree_type is to save space.  The size
 942          of the field must be large enough to hold addr_space_t values.  */
 943       unsigned address_space : 8;
 944     } bits;
 945
 946     /* The following fields are present in tree_base to save space.  The
 947        nodes using them do not require any of the flags above and so can
 948        make better use of the 4-byte sized word.  */
 949
 950     /* The number of HOST_WIDE_INTs in an INTEGER_CST.  */
 951     struct {
 952       /* The number of HOST_WIDE_INTs if the INTEGER_CST is accessed in
 953          its native precision.  */
 954       unsigned char unextended;
 955
 956       /* The number of HOST_WIDE_INTs if the INTEGER_CST is extended to
 957          wider precisions based on its TYPE_SIGN.  */
 958       unsigned char extended;
 959
 960       /* The number of HOST_WIDE_INTs if the INTEGER_CST is accessed in
 961          offset_int precision, with smaller integers being extended
 962          according to their TYPE_SIGN.  This is equal to one of the two
 963          fields above but is cached for speed.  */
 964       unsigned char offset;
 965     } int_length;
 966
 967     /* VEC length.  This field is only used with TREE_VEC.  */
 968     int length;
 969
 970     /* SSA version number.  This field is only used with SSA_NAME.  */
 971     unsigned int version;
 972
 973     /* Internal function code.  */
 974     enum internal_fn ifn;
 975
 976     /* The following two fields are used for MEM_REF and TARGET_MEM_REF
 977        expression trees and specify known data non-dependences.  For
 978        two memory references in a function they are known to not
 979        alias if dependence_info.clique are equal and dependence_info.base
 980        are distinct.  */
 981     struct {
 982       unsigned short clique;
 983       unsigned short base;
 984     } dependence_info;
 985   } GTY((skip(""))) u;
 986 };
 987
 988 /* The following table lists the uses of each of the above flags and
 989    for which types of nodes they are defined.
 990
 991    addressable_flag:
 992
 993        TREE_ADDRESSABLE in
 994            VAR_DECL, PARM_DECL, RESULT_DECL, FUNCTION_DECL, LABEL_DECL
 995            SSA_NAME
 996            all types
 997            CONSTRUCTOR, IDENTIFIER_NODE
 998            STMT_EXPR
 999
1000        CALL_EXPR_TAILCALL in
1001            CALL_EXPR
1002
1003        CASE_LOW_SEEN in
1004            CASE_LABEL_EXPR
1005
1006        PREDICT_EXPR_OUTCOME in
1007            PREDICT_EXPR
1008
1009    static_flag:
1010
1011        TREE_STATIC in
1012            VAR_DECL, FUNCTION_DECL
1013            CONSTRUCTOR
1014
1015        TREE_NO_TRAMPOLINE in
1016            ADDR_EXPR
1017
1018        BINFO_VIRTUAL_P in
1019            TREE_BINFO
1020
1021        TREE_SYMBOL_REFERENCED in
1022            IDENTIFIER_NODE
1023
1024        CLEANUP_EH_ONLY in
1025            TARGET_EXPR, WITH_CLEANUP_EXPR
1026
1027        TRY_CATCH_IS_CLEANUP in
1028            TRY_CATCH_EXPR
1029
1030        ASM_INPUT_P in
1031            ASM_EXPR
1032
1033        TYPE_REF_CAN_ALIAS_ALL in
1034            POINTER_TYPE, REFERENCE_TYPE
1035
1036        CASE_HIGH_SEEN in
1037            CASE_LABEL_EXPR
1038
1039        ENUM_IS_SCOPED in
1040            ENUMERAL_TYPE
1041
1042        TRANSACTION_EXPR_OUTER in
1043            TRANSACTION_EXPR
1044
1045        SSA_NAME_ANTI_RANGE_P in
1046            SSA_NAME
1047
1048        MUST_TAIL_CALL in
1049            CALL_EXPR
1050
1051    public_flag:
1052
1053        TREE_OVERFLOW in
1054            INTEGER_CST, REAL_CST, COMPLEX_CST, VECTOR_CST
1055
1056        TREE_PUBLIC in
1057            VAR_DECL, FUNCTION_DECL
1058            IDENTIFIER_NODE
1059
1060        CONSTRUCTOR_NO_CLEARING in
1061            CONSTRUCTOR
1062
1063        ASM_VOLATILE_P in
1064            ASM_EXPR
1065
1066        CALL_EXPR_VA_ARG_PACK in
1067            CALL_EXPR
1068
1069        TYPE_CACHED_VALUES_P in
1070            all types
1071
1072        SAVE_EXPR_RESOLVED_P in
1073            SAVE_EXPR
1074
1075        OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE in
1076            OMP_CLAUSE_LASTPRIVATE
1077
1078        OMP_CLAUSE_PRIVATE_DEBUG in
1079            OMP_CLAUSE_PRIVATE
1080
1081        OMP_CLAUSE_LINEAR_NO_COPYIN in
1082            OMP_CLAUSE_LINEAR
1083
1084        OMP_CLAUSE_MAP_ZERO_BIAS_ARRAY_SECTION in
1085            OMP_CLAUSE_MAP
1086
1087        OMP_CLAUSE_REDUCTION_OMP_ORIG_REF in
1088            OMP_CLAUSE_REDUCTION
1089
1090        TRANSACTION_EXPR_RELAXED in
1091            TRANSACTION_EXPR
1092
1093        FALLTHROUGH_LABEL_P in
1094            LABEL_DECL
1095
1096        SSA_NAME_IS_VIRTUAL_OPERAND in
1097            SSA_NAME
1098
1099    private_flag:
1100
1101        TREE_PRIVATE in
1102            all decls
1103
1104        CALL_EXPR_RETURN_SLOT_OPT in
1105            CALL_EXPR
1106
1107        OMP_SECTION_LAST in
1108            OMP_SECTION
1109
1110        OMP_PARALLEL_COMBINED in
1111            OMP_PARALLEL
1112
1113        OMP_ATOMIC_SEQ_CST in
1114            OMP_ATOMIC*
1115
1116        OMP_CLAUSE_PRIVATE_OUTER_REF in
1117            OMP_CLAUSE_PRIVATE
1118
1119        OMP_CLAUSE_LINEAR_NO_COPYOUT in
1120            OMP_CLAUSE_LINEAR
1121
1122        TYPE_REF_IS_RVALUE in
1123            REFERENCE_TYPE
1124
1125        ENUM_IS_OPAQUE in
1126            ENUMERAL_TYPE
1127
1128    protected_flag:
1129
1130        TREE_PROTECTED in
1131            BLOCK
1132            all decls
1133
1134        CALL_FROM_THUNK_P and
1135        CALL_ALLOCA_FOR_VAR_P in
1136            CALL_EXPR
1137
1138        OMP_CLAUSE_LINEAR_VARIABLE_STRIDE in
1139            OMP_CLAUSE_LINEAR
1140
1141    side_effects_flag:
1142
1143        TREE_SIDE_EFFECTS in
1144            all expressions
1145            all decls
1146            all constants
1147
1148        FORCED_LABEL in
1149            LABEL_DECL
1150
1151    volatile_flag:
1152
1153        TREE_THIS_VOLATILE in
1154            all expressions
1155            all decls
1156
1157        TYPE_VOLATILE in
1158            all types
1159
1160    readonly_flag:
1161
1162        TREE_READONLY in
1163            all expressions
1164            all decls
1165
1166        TYPE_READONLY in
1167            all types
1168
1169    constant_flag:
1170
1171        TREE_CONSTANT in
1172            all expressions
1173            all decls
1174            all constants
1175
1176        TYPE_SIZES_GIMPLIFIED in
1177            all types
1178
1179    unsigned_flag:
1180
1181        TYPE_UNSIGNED in
1182            all types
1183
1184        DECL_UNSIGNED in
1185            all decls
1186
1187    asm_written_flag:
1188
1189        TREE_ASM_WRITTEN in
1190            VAR_DECL, FUNCTION_DECL, TYPE_DECL
1191            RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE
1192            BLOCK, STRING_CST
1193
1194        SSA_NAME_OCCURS_IN_ABNORMAL_PHI in
1195            SSA_NAME
1196
1197    used_flag:
1198
1199        TREE_USED in
1200            all expressions
1201            all decls
1202            IDENTIFIER_NODE
1203
1204    nothrow_flag:
1205
1206        TREE_NOTHROW in
1207            CALL_EXPR
1208            FUNCTION_DECL
1209
1210        TREE_THIS_NOTRAP in
1211           INDIRECT_REF, MEM_REF, TARGET_MEM_REF, ARRAY_REF, ARRAY_RANGE_REF
1212
1213        SSA_NAME_IN_FREE_LIST in
1214           SSA_NAME
1215
1216        DECL_NONALIASED in
1217           VAR_DECL
1218
1219    deprecated_flag:
1220
1221        TREE_DEPRECATED in
1222            all decls
1223            all types
1224
1225        IDENTIFIER_TRANSPARENT_ALIAS in
1226            IDENTIFIER_NODE
1227
1228    visited:
1229
1230        TREE_VISITED in
1231            all trees (used liberally by many passes)
1232
1233    saturating_flag:
1234
1235        TYPE_REVERSE_STORAGE_ORDER in
1236            RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE, ARRAY_TYPE
1237
1238        TYPE_SATURATING in
1239            other types
1240
1241        VAR_DECL_IS_VIRTUAL_OPERAND in
1242            VAR_DECL
1243
1244    nowarning_flag:
1245
1246        TREE_NO_WARNING in
1247            all expressions
1248            all decls
1249
1250        TYPE_ARTIFICIAL in
1251            all types
1252
1253    default_def_flag:
1254
1255        TYPE_FINAL_P in
1256            RECORD_TYPE, UNION_TYPE and QUAL_UNION_TYPE
1257
1258        TYPE_VECTOR_OPAQUE in
1259            VECTOR_TYPE
1260
1261        SSA_NAME_IS_DEFAULT_DEF in
1262            SSA_NAME
1263
1264        DECL_NONLOCAL_FRAME in
1265            VAR_DECL
1266
1267        REF_REVERSE_STORAGE_ORDER in
1268            BIT_FIELD_REF, MEM_REF
1269
1270        FUNC_ADDR_BY_DESCRIPTOR in
1271            ADDR_EXPR
1272
1273        CALL_EXPR_BY_DESCRIPTOR in
1274            CALL_EXPR
1275 */
1276
1277 struct GTY(()) tree_typed {
1278   struct tree_base base;
1279   tree type;
1280 };
1281
1282 struct GTY(()) tree_common {
1283   struct tree_typed typed;
1284   tree chain;
1285 };
1286
1287 struct GTY(()) tree_int_cst {
1288   struct tree_typed typed;
1289   HOST_WIDE_INT val[1];
1290 };
1291
1292
1293 struct GTY(()) tree_real_cst {
1294   struct tree_typed typed;
1295   struct real_value * real_cst_ptr;
1296 };
1297
1298 struct GTY(()) tree_fixed_cst {
1299   struct tree_typed typed;
1300   struct fixed_value * fixed_cst_ptr;
1301 };
1302
1303 struct GTY(()) tree_string {
1304   struct tree_typed typed;
1305   int length;
1306   char str[1];
1307 };
1308
1309 struct GTY(()) tree_complex {
1310   struct tree_typed typed;
1311   tree real;
1312   tree imag;
1313 };
1314
1315 struct GTY(()) tree_vector {
1316   struct tree_typed typed;
1317   tree GTY ((length ("TYPE_VECTOR_SUBPARTS (TREE_TYPE ((tree)&%h))"))) elts[1];
1318 };
1319
1320 struct GTY(()) tree_identifier {
1321   struct tree_common common;
1322   struct ht_identifier id;
1323 };
1324
1325 struct GTY(()) tree_list {
1326   struct tree_common common;
1327   tree purpose;
1328   tree value;
1329 };
1330
1331 struct GTY(()) tree_vec {
1332   struct tree_common common;
1333   tree GTY ((length ("TREE_VEC_LENGTH ((tree)&%h)"))) a[1];
1334 };
1335
1336 /* A single element of a CONSTRUCTOR. VALUE holds the actual value of the
1337    element. INDEX can optionally design the position of VALUE: in arrays,
1338    it is the index where VALUE has to be placed; in structures, it is the
1339    FIELD_DECL of the member.  */
1340 struct GTY(()) constructor_elt {
1341   tree index;
1342   tree value;
1343 };
1344
1345 struct GTY(()) tree_constructor {
1346   struct tree_typed typed;
1347   vec<constructor_elt, va_gc> *elts;
1348 };
1349
1350 enum omp_clause_depend_kind
1351 {
1352   OMP_CLAUSE_DEPEND_IN,
1353   OMP_CLAUSE_DEPEND_OUT,
1354   OMP_CLAUSE_DEPEND_INOUT,
1355   OMP_CLAUSE_DEPEND_SOURCE,
1356   OMP_CLAUSE_DEPEND_SINK,
1357   OMP_CLAUSE_DEPEND_LAST
1358 };
1359
1360 enum omp_clause_proc_bind_kind
1361 {
1362   /* Numbers should match omp_proc_bind_t enum in omp.h.  */
1363   OMP_CLAUSE_PROC_BIND_FALSE = 0,
1364   OMP_CLAUSE_PROC_BIND_TRUE = 1,
1365   OMP_CLAUSE_PROC_BIND_MASTER = 2,
1366   OMP_CLAUSE_PROC_BIND_CLOSE = 3,
1367   OMP_CLAUSE_PROC_BIND_SPREAD = 4,
1368   OMP_CLAUSE_PROC_BIND_LAST
1369 };
1370
1371 enum omp_clause_linear_kind
1372 {
1373   OMP_CLAUSE_LINEAR_DEFAULT,
1374   OMP_CLAUSE_LINEAR_REF,
1375   OMP_CLAUSE_LINEAR_VAL,
1376   OMP_CLAUSE_LINEAR_UVAL
1377 };
1378
1379 struct GTY(()) tree_exp {
1380   struct tree_typed typed;
1381   location_t locus;
1382   tree GTY ((special ("tree_exp"),
1383              desc ("TREE_CODE ((tree) &%0)")))
1384     operands[1];
1385 };
1386
1387 /* Immediate use linking structure.  This structure is used for maintaining
1388    a doubly linked list of uses of an SSA_NAME.  */
1389 struct GTY(()) ssa_use_operand_t {
1390   struct ssa_use_operand_t* GTY((skip(""))) prev;
1391   struct ssa_use_operand_t* GTY((skip(""))) next;
1392   /* Immediate uses for a given SSA name are maintained as a cyclic
1393      list.  To recognize the root of this list, the location field
1394      needs to point to the original SSA name.  Since statements and
1395      SSA names are of different data types, we need this union.  See
1396      the explanation in struct imm_use_iterator.  */
1397   union { gimple *stmt; tree ssa_name; } GTY((skip(""))) loc;
1398   tree *GTY((skip(""))) use;
1399 };
1400
1401 struct GTY(()) tree_ssa_name {
1402   struct tree_typed typed;
1403
1404   /* _DECL wrapped by this SSA name.  */
1405   tree var;
1406
1407   /* Statement that defines this SSA name.  */
1408   gimple *def_stmt;
1409
1410   /* Value range information.  */
1411   union ssa_name_info_type {
1412     /* Pointer attributes used for alias analysis.  */
1413     struct GTY ((tag ("0"))) ptr_info_def *ptr_info;
1414     /* Value range attributes used for zero/sign extension elimination.  */
1415     struct GTY ((tag ("1"))) range_info_def *range_info;
1416   } GTY ((desc ("%1.typed.type ?" \
1417                 "!POINTER_TYPE_P (TREE_TYPE ((tree)&%1)) : 2"))) info;
1418
1419   /* Immediate uses list for this SSA_NAME.  */
1420   struct ssa_use_operand_t imm_uses;
1421 };
1422
1423 struct GTY(()) phi_arg_d {
1424   /* imm_use MUST be the first element in struct because we do some
1425      pointer arithmetic with it.  See phi_arg_index_from_use.  */
1426   struct ssa_use_operand_t imm_use;
1427   tree def;
1428   location_t locus;
1429 };
1430
1431 struct GTY(()) tree_omp_clause {
1432   struct tree_common common;
1433   location_t locus;
1434   enum omp_clause_code code;
1435   union omp_clause_subcode {
1436     enum omp_clause_default_kind   default_kind;
1437     enum omp_clause_schedule_kind  schedule_kind;
1438     enum omp_clause_depend_kind    depend_kind;
1439     /* See include/gomp-constants.h for enum gomp_map_kind's values.  */
1440     unsigned int                   map_kind;
1441     enum omp_clause_proc_bind_kind proc_bind_kind;
1442     enum tree_code                 reduction_code;
1443     enum omp_clause_linear_kind    linear_kind;
1444     enum tree_code                 if_modifier;
1445     /* The dimension a OMP_CLAUSE__GRIDDIM_ clause of a gridified target
1446        construct describes.  */
1447     unsigned int                   dimension;
1448   } GTY ((skip)) subcode;
1449
1450   /* The gimplification of OMP_CLAUSE_REDUCTION_{INIT,MERGE} for omp-low's
1451      usage.  */
1452   gimple_seq gimple_reduction_init;
1453   gimple_seq gimple_reduction_merge;
1454
1455   tree GTY ((length ("omp_clause_num_ops[OMP_CLAUSE_CODE ((tree)&%h)]")))
1456     ops[1];
1457 };
1458
1459 struct GTY(()) tree_block {
1460   struct tree_base base;
1461   tree chain;
1462
1463   unsigned abstract_flag : 1;
1464   unsigned block_num : 31;
1465
1466   location_t locus;
1467   location_t end_locus;
1468
1469   tree vars;
1470   vec<tree, va_gc> *nonlocalized_vars;
1471
1472   tree subblocks;
1473   tree supercontext;
1474   tree abstract_origin;
1475   tree fragment_origin;
1476   tree fragment_chain;
1477
1478   /* Pointer to the DWARF lexical block.  */
1479   struct die_struct *die;
1480 };
1481
1482 struct GTY(()) tree_type_common {
1483   struct tree_common common;
1484   tree size;
1485   tree size_unit;
1486   tree attributes;
1487   unsigned int uid;
1488
1489   unsigned int precision : 10;
1490   unsigned no_force_blk_flag : 1;
1491   unsigned needs_constructing_flag : 1;
1492   unsigned transparent_aggr_flag : 1;
1493   unsigned restrict_flag : 1;
1494   unsigned contains_placeholder_bits : 2;
1495
1496   ENUM_BITFIELD(machine_mode) mode : 8;
1497
1498   unsigned string_flag : 1;
1499   unsigned lang_flag_0 : 1;
1500   unsigned lang_flag_1 : 1;
1501   unsigned lang_flag_2 : 1;
1502   unsigned lang_flag_3 : 1;
1503   unsigned lang_flag_4 : 1;
1504   unsigned lang_flag_5 : 1;
1505   unsigned lang_flag_6 : 1;
1506   unsigned lang_flag_7 : 1;
1507
1508   /* TYPE_ALIGN in log2; this has to be large enough to hold values
1509      of the maximum of BIGGEST_ALIGNMENT and MAX_OFILE_ALIGNMENT,
1510      the latter being usually the larger.  For ELF it is 8<<28,
1511      so we need to store the value 32 (not 31, as we need the zero
1512      as well), hence six bits.  */
1513   unsigned align : 6;
1514   unsigned spare : 25;
1515   alias_set_type alias_set;
1516   tree pointer_to;
1517   tree reference_to;
1518   union tree_type_symtab {
1519     int GTY ((tag ("TYPE_SYMTAB_IS_ADDRESS"))) address;
1520     const char * GTY ((tag ("TYPE_SYMTAB_IS_POINTER"))) pointer;
1521     struct die_struct * GTY ((tag ("TYPE_SYMTAB_IS_DIE"))) die;
1522   } GTY ((desc ("debug_hooks->tree_type_symtab_field"))) symtab;
1523   tree canonical;
1524   tree next_variant;
1525   tree main_variant;
1526   tree context;
1527   tree name;
1528 };
1529
1530 struct GTY(()) tree_type_with_lang_specific {
1531   struct tree_type_common common;
1532   /* Points to a structure whose details depend on the language in use.  */
1533   struct lang_type *lang_specific;
1534 };
1535
1536 struct GTY(()) tree_type_non_common {
1537   struct tree_type_with_lang_specific with_lang_specific;
1538   tree values;
1539   tree minval;
1540   tree maxval;
1541   tree binfo;
1542 };
1543
1544 struct GTY (()) tree_binfo {
1545   struct tree_common common;
1546
1547   tree offset;
1548   tree vtable;
1549   tree virtuals;
1550   tree vptr_field;
1551   vec<tree, va_gc> *base_accesses;
1552   tree inheritance;
1553
1554   tree vtt_subvtt;
1555   tree vtt_vptr;
1556
1557   vec<tree, va_gc> base_binfos;
1558 };
1559
1560 struct GTY(()) tree_decl_minimal {
1561   struct tree_common common;
1562   location_t locus;
1563   unsigned int uid;
1564   tree name;
1565   tree context;
1566 };
1567
1568 struct GTY(()) tree_decl_common {
1569   struct tree_decl_minimal common;
1570   tree size;
1571
1572   ENUM_BITFIELD(machine_mode) mode : 8;
1573
1574   unsigned nonlocal_flag : 1;
1575   unsigned virtual_flag : 1;
1576   unsigned ignored_flag : 1;
1577   unsigned abstract_flag : 1;
1578   unsigned artificial_flag : 1;
1579   unsigned preserve_flag: 1;
1580   unsigned debug_expr_is_from : 1;
1581
1582   unsigned lang_flag_0 : 1;
1583   unsigned lang_flag_1 : 1;
1584   unsigned lang_flag_2 : 1;
1585   unsigned lang_flag_3 : 1;
1586   unsigned lang_flag_4 : 1;
1587   unsigned lang_flag_5 : 1;
1588   unsigned lang_flag_6 : 1;
1589   unsigned lang_flag_7 : 1;
1590   unsigned lang_flag_8 : 1;
1591
1592   /* In VAR_DECL and PARM_DECL, this is DECL_REGISTER.  */
1593   unsigned decl_flag_0 : 1;
1594   /* In FIELD_DECL, this is DECL_BIT_FIELD
1595      In VAR_DECL and FUNCTION_DECL, this is DECL_EXTERNAL.
1596      In TYPE_DECL, this is TYPE_DECL_SUPPRESS_DEBUG.  */
1597   unsigned decl_flag_1 : 1;
1598   /* In FIELD_DECL, this is DECL_NONADDRESSABLE_P
1599      In VAR_DECL, PARM_DECL and RESULT_DECL, this is
1600      DECL_HAS_VALUE_EXPR_P.  */
1601   unsigned decl_flag_2 : 1;
1602   /* 1 bit unused.  */
1603   unsigned decl_flag_3 : 1;
1604   /* Logically, these two would go in a theoretical base shared by var and
1605      parm decl. */
1606   unsigned gimple_reg_flag : 1;
1607   /* In VAR_DECL, PARM_DECL and RESULT_DECL, this is DECL_BY_REFERENCE.  */
1608   unsigned decl_by_reference_flag : 1;
1609   /* In a VAR_DECL and PARM_DECL, this is DECL_READ_P.  */
1610   unsigned decl_read_flag : 1;
1611   /* In a VAR_DECL or RESULT_DECL, this is DECL_NONSHAREABLE.  */
1612   unsigned decl_nonshareable_flag : 1;
1613
1614   /* DECL_OFFSET_ALIGN, used only for FIELD_DECLs.  */
1615   unsigned int off_align : 6;
1616
1617   /* DECL_ALIGN.  It should have the same size as TYPE_ALIGN.  */
1618   unsigned int align : 6;
1619
1620   /* 20 bits unused.  */
1621
1622   /* UID for points-to sets, stable over copying from inlining.  */
1623   unsigned int pt_uid;
1624
1625   tree size_unit;
1626   tree initial;
1627   tree attributes;
1628   tree abstract_origin;
1629
1630   /* Points to a structure whose details depend on the language in use.  */
1631   struct lang_decl *lang_specific;
1632 };
1633
1634 struct GTY(()) tree_decl_with_rtl {
1635   struct tree_decl_common common;
1636   rtx rtl;
1637 };
1638
1639 struct GTY(()) tree_field_decl {
1640   struct tree_decl_common common;
1641
1642   tree offset;
1643   tree bit_field_type;
1644   tree qualifier;
1645   tree bit_offset;
1646   tree fcontext;
1647 };
1648
1649 struct GTY(()) tree_label_decl {
1650   struct tree_decl_with_rtl common;
1651   int label_decl_uid;
1652   int eh_landing_pad_nr;
1653 };
1654
1655 struct GTY(()) tree_result_decl {
1656   struct tree_decl_with_rtl common;
1657 };
1658
1659 struct GTY(()) tree_const_decl {
1660   struct tree_decl_common common;
1661 };
1662
1663 struct GTY(()) tree_parm_decl {
1664   struct tree_decl_with_rtl common;
1665   rtx incoming_rtl;
1666 };
1667
1668 struct GTY(()) tree_decl_with_vis {
1669  struct tree_decl_with_rtl common;
1670  tree assembler_name;
1671  struct symtab_node *symtab_node;
1672
1673  /* Belong to VAR_DECL exclusively.  */
1674  unsigned defer_output : 1;
1675  unsigned hard_register : 1;
1676  unsigned common_flag : 1;
1677  unsigned in_text_section : 1;
1678  unsigned in_constant_pool : 1;
1679  unsigned dllimport_flag : 1;
1680  /* Don't belong to VAR_DECL exclusively.  */
1681  unsigned weak_flag : 1;
1682
1683  unsigned seen_in_bind_expr : 1;
1684  unsigned comdat_flag : 1;
1685  /* Used for FUNCTION_DECL, VAR_DECL and in C++ for TYPE_DECL.  */
1686  ENUM_BITFIELD(symbol_visibility) visibility : 2;
1687  unsigned visibility_specified : 1;
1688
1689  /* Belong to FUNCTION_DECL exclusively.  */
1690  unsigned init_priority_p : 1;
1691  /* Used by C++ only.  Might become a generic decl flag.  */
1692  unsigned shadowed_for_var_p : 1;
1693  /* Belong to FUNCTION_DECL exclusively.  */
1694  unsigned cxx_constructor : 1;
1695  /* Belong to FUNCTION_DECL exclusively.  */
1696  unsigned cxx_destructor : 1;
1697  /* Belong to FUNCTION_DECL exclusively.  */
1698  unsigned final : 1;
1699  /* Belong to FUNCTION_DECL exclusively.  */
1700  unsigned regdecl_flag : 1;
1701  /* 14 unused bits. */
1702 };
1703
1704 struct GTY(()) tree_var_decl {
1705   struct tree_decl_with_vis common;
1706 };
1707
1708 struct GTY(()) tree_decl_non_common {
1709   struct tree_decl_with_vis common;
1710   /* Almost all FE's use this.  */
1711   tree result;
1712 };
1713
1714 /* FUNCTION_DECL inherits from DECL_NON_COMMON because of the use of the
1715    arguments/result/saved_tree fields by front ends.   It was either inherit
1716    FUNCTION_DECL from non_common, or inherit non_common from FUNCTION_DECL,
1717    which seemed a bit strange.  */
1718
1719 struct GTY(()) tree_function_decl {
1720   struct tree_decl_non_common common;
1721
1722   struct function *f;
1723
1724   /* Arguments of the function.  */
1725   tree arguments;
1726   /* The personality function. Used for stack unwinding. */
1727   tree personality;
1728
1729   /* Function specific options that are used by this function.  */
1730   tree function_specific_target;        /* target options */
1731   tree function_specific_optimization;  /* optimization options */
1732
1733   /* Generic function body.  */
1734   tree saved_tree;
1735   /* Index within a virtual table.  */
1736   tree vindex;
1737
1738   /* In a FUNCTION_DECL for which DECL_BUILT_IN holds, this is
1739      DECL_FUNCTION_CODE.  Otherwise unused.
1740      ???  The bitfield needs to be able to hold all target function
1741           codes as well.  */
1742   ENUM_BITFIELD(built_in_function) function_code : 12;
1743   ENUM_BITFIELD(built_in_class) built_in_class : 2;
1744
1745   unsigned static_ctor_flag : 1;
1746   unsigned static_dtor_flag : 1;
1747
1748   unsigned uninlinable : 1;
1749   unsigned possibly_inlined : 1;
1750   unsigned novops_flag : 1;
1751   unsigned returns_twice_flag : 1;
1752   unsigned malloc_flag : 1;
1753   unsigned operator_new_flag : 1;
1754   unsigned declared_inline_flag : 1;
1755   unsigned no_inline_warning_flag : 1;
1756
1757   unsigned no_instrument_function_entry_exit : 1;
1758   unsigned no_limit_stack : 1;
1759   unsigned disregard_inline_limits : 1;
1760   unsigned pure_flag : 1;
1761   unsigned looping_const_or_pure_flag : 1;
1762   unsigned has_debug_args_flag : 1;
1763   unsigned tm_clone_flag : 1;
1764   unsigned versioned_function : 1;
1765   /* No bits left.  */
1766 };
1767
1768 struct GTY(()) tree_translation_unit_decl {
1769   struct tree_decl_common common;
1770   /* Source language of this translation unit.  Used for DWARF output.  */
1771   const char * GTY((skip(""))) language;
1772   /* TODO: Non-optimization used to build this translation unit.  */
1773   /* TODO: Root of a partial DWARF tree for global types and decls.  */
1774 };
1775
1776 struct GTY(()) tree_type_decl {
1777   struct tree_decl_non_common common;
1778
1779 };
1780
1781 struct GTY ((chain_next ("%h.next"), chain_prev ("%h.prev"))) tree_statement_list_node
1782  {
1783   struct tree_statement_list_node *prev;
1784   struct tree_statement_list_node *next;
1785   tree stmt;
1786 };
1787
1788 struct GTY(()) tree_statement_list
1789  {
1790   struct tree_typed typed;
1791   struct tree_statement_list_node *head;
1792   struct tree_statement_list_node *tail;
1793 };
1794
1795
1796 /* Optimization options used by a function.  */
1797
1798 struct GTY(()) tree_optimization_option {
1799   struct tree_base base;
1800
1801   /* The optimization options used by the user.  */
1802   struct cl_optimization *opts;
1803
1804   /* Target optabs for this set of optimization options.  This is of
1805      type `struct target_optabs *'.  */
1806   void *GTY ((atomic)) optabs;
1807
1808   /* The value of this_target_optabs against which the optabs above were
1809      generated.  */
1810   struct target_optabs *GTY ((skip)) base_optabs;
1811 };
1812
1813 /* Forward declaration, defined in target-globals.h.  */
1814
1815 struct GTY(()) target_globals;
1816
1817 /* Target options used by a function.  */
1818
1819 struct GTY(()) tree_target_option {
1820   struct tree_base base;
1821
1822   /* Target globals for the corresponding target option.  */
1823   struct target_globals *globals;
1824
1825   /* The optimization options used by the user.  */
1826   struct cl_target_option *opts;
1827 };
1828
1829 /* Define the overall contents of a tree node.
1830    It may be any of the structures declared above
1831    for various types of node.  */
1832 union GTY ((ptr_alias (union lang_tree_node),
1833             desc ("tree_node_structure (&%h)"), variable_size)) tree_node {
1834   struct tree_base GTY ((tag ("TS_BASE"))) base;
1835   struct tree_typed GTY ((tag ("TS_TYPED"))) typed;
1836   struct tree_common GTY ((tag ("TS_COMMON"))) common;
1837   struct tree_int_cst GTY ((tag ("TS_INT_CST"))) int_cst;
1838   struct tree_real_cst GTY ((tag ("TS_REAL_CST"))) real_cst;
1839   struct tree_fixed_cst GTY ((tag ("TS_FIXED_CST"))) fixed_cst;
1840   struct tree_vector GTY ((tag ("TS_VECTOR"))) vector;
1841   struct tree_string GTY ((tag ("TS_STRING"))) string;
1842   struct tree_complex GTY ((tag ("TS_COMPLEX"))) complex;
1843   struct tree_identifier GTY ((tag ("TS_IDENTIFIER"))) identifier;
1844   struct tree_decl_minimal GTY((tag ("TS_DECL_MINIMAL"))) decl_minimal;
1845   struct tree_decl_common GTY ((tag ("TS_DECL_COMMON"))) decl_common;
1846   struct tree_decl_with_rtl GTY ((tag ("TS_DECL_WRTL"))) decl_with_rtl;
1847   struct tree_decl_non_common  GTY ((tag ("TS_DECL_NON_COMMON")))
1848     decl_non_common;
1849   struct tree_parm_decl  GTY  ((tag ("TS_PARM_DECL"))) parm_decl;
1850   struct tree_decl_with_vis GTY ((tag ("TS_DECL_WITH_VIS"))) decl_with_vis;
1851   struct tree_var_decl GTY ((tag ("TS_VAR_DECL"))) var_decl;
1852   struct tree_field_decl GTY ((tag ("TS_FIELD_DECL"))) field_decl;
1853   struct tree_label_decl GTY ((tag ("TS_LABEL_DECL"))) label_decl;
1854   struct tree_result_decl GTY ((tag ("TS_RESULT_DECL"))) result_decl;
1855   struct tree_const_decl GTY ((tag ("TS_CONST_DECL"))) const_decl;
1856   struct tree_type_decl GTY ((tag ("TS_TYPE_DECL"))) type_decl;
1857   struct tree_function_decl GTY ((tag ("TS_FUNCTION_DECL"))) function_decl;
1858   struct tree_translation_unit_decl GTY ((tag ("TS_TRANSLATION_UNIT_DECL")))
1859     translation_unit_decl;
1860   struct tree_type_common GTY ((tag ("TS_TYPE_COMMON"))) type_common;
1861   struct tree_type_with_lang_specific GTY ((tag ("TS_TYPE_WITH_LANG_SPECIFIC")))
1862     type_with_lang_specific;
1863   struct tree_type_non_common GTY ((tag ("TS_TYPE_NON_COMMON")))
1864     type_non_common;
1865   struct tree_list GTY ((tag ("TS_LIST"))) list;
1866   struct tree_vec GTY ((tag ("TS_VEC"))) vec;
1867   struct tree_exp GTY ((tag ("TS_EXP"))) exp;
1868   struct tree_ssa_name GTY ((tag ("TS_SSA_NAME"))) ssa_name;
1869   struct tree_block GTY ((tag ("TS_BLOCK"))) block;
1870   struct tree_binfo GTY ((tag ("TS_BINFO"))) binfo;
1871   struct tree_statement_list GTY ((tag ("TS_STATEMENT_LIST"))) stmt_list;
1872   struct tree_constructor GTY ((tag ("TS_CONSTRUCTOR"))) constructor;
1873   struct tree_omp_clause GTY ((tag ("TS_OMP_CLAUSE"))) omp_clause;
1874   struct tree_optimization_option GTY ((tag ("TS_OPTIMIZATION"))) optimization;
1875   struct tree_target_option GTY ((tag ("TS_TARGET_OPTION"))) target_option;
1876 };
1877
1878 /* Structure describing an attribute and a function to handle it.  */
1879 struct attribute_spec {
1880   /* The name of the attribute (without any leading or trailing __),
1881      or NULL to mark the end of a table of attributes.  */
1882   const char *name;
1883   /* The minimum length of the list of arguments of the attribute.  */
1884   int min_length;
1885   /* The maximum length of the list of arguments of the attribute
1886      (-1 for no maximum).  */
1887   int max_length;
1888   /* Whether this attribute requires a DECL.  If it does, it will be passed
1889      from types of DECLs, function return types and array element types to
1890      the DECLs, function types and array types respectively; but when
1891      applied to a type in any other circumstances, it will be ignored with
1892      a warning.  (If greater control is desired for a given attribute,
1893      this should be false, and the flags argument to the handler may be
1894      used to gain greater control in that case.)  */
1895   bool decl_required;
1896   /* Whether this attribute requires a type.  If it does, it will be passed
1897      from a DECL to the type of that DECL.  */
1898   bool type_required;
1899   /* Whether this attribute requires a function (or method) type.  If it does,
1900      it will be passed from a function pointer type to the target type,
1901      and from a function return type (which is not itself a function
1902      pointer type) to the function type.  */
1903   bool function_type_required;
1904   /* Function to handle this attribute.  NODE points to the node to which
1905      the attribute is to be applied.  If a DECL, it should be modified in
1906      place; if a TYPE, a copy should be created.  NAME is the name of the
1907      attribute (possibly with leading or trailing __).  ARGS is the TREE_LIST
1908      of the arguments (which may be NULL).  FLAGS gives further information
1909      about the context of the attribute.  Afterwards, the attributes will
1910      be added to the DECL_ATTRIBUTES or TYPE_ATTRIBUTES, as appropriate,
1911      unless *NO_ADD_ATTRS is set to true (which should be done on error,
1912      as well as in any other cases when the attributes should not be added
1913      to the DECL or TYPE).  Depending on FLAGS, any attributes to be
1914      applied to another type or DECL later may be returned;
1915      otherwise the return value should be NULL_TREE.  This pointer may be
1916      NULL if no special handling is required beyond the checks implied
1917      by the rest of this structure.  */
1918   tree (*handler) (tree *node, tree name, tree args,
1919                    int flags, bool *no_add_attrs);
1920   /* Specifies if attribute affects type's identity.  */
1921   bool affects_type_identity;
1922 };
1923
1924 /* These functions allow a front-end to perform a manual layout of a
1925    RECORD_TYPE.  (For instance, if the placement of subsequent fields
1926    depends on the placement of fields so far.)  Begin by calling
1927    start_record_layout.  Then, call place_field for each of the
1928    fields.  Then, call finish_record_layout.  See layout_type for the
1929    default way in which these functions are used.  */
1930 typedef struct record_layout_info_s {
1931   /* The RECORD_TYPE that we are laying out.  */
1932   tree t;
1933   /* The offset into the record so far, in bytes, not including bits in
1934      BITPOS.  */
1935   tree offset;
1936   /* The last known alignment of SIZE.  */
1937   unsigned int offset_align;
1938   /* The bit position within the last OFFSET_ALIGN bits, in bits.  */
1939   tree bitpos;
1940   /* The alignment of the record so far, in bits.  */
1941   unsigned int record_align;
1942   /* The alignment of the record so far, ignoring #pragma pack and
1943      __attribute__ ((packed)), in bits.  */
1944   unsigned int unpacked_align;
1945   /* The previous field laid out.  */
1946   tree prev_field;
1947   /* The static variables (i.e., class variables, as opposed to
1948      instance variables) encountered in T.  */
1949   vec<tree, va_gc> *pending_statics;
1950   /* Bits remaining in the current alignment group */
1951   int remaining_in_alignment;
1952   /* True if we've seen a packed field that didn't have normal
1953      alignment anyway.  */
1954   int packed_maybe_necessary;
1955 } *record_layout_info;
1956
1957 /* Iterator for going through the function arguments.  */
1958 struct function_args_iterator {
1959   tree next;                    /* TREE_LIST pointing to the next argument */
1960 };
1961
1962 /* Structures to map from a tree to another tree.  */
1963 struct GTY(()) tree_map_base {
1964   tree from;
1965 };
1966
1967 /* Map from a tree to another tree.  */
1968
1969 struct GTY((for_user)) tree_map {
1970   struct tree_map_base base;
1971   unsigned int hash;
1972   tree to;
1973 };
1974
1975 /* Map from a decl tree to another tree.  */
1976 struct GTY((for_user)) tree_decl_map {
1977   struct tree_map_base base;
1978   tree to;
1979 };
1980
1981 /* Map from a tree to an int.  */
1982 struct GTY((for_user)) tree_int_map {
1983   struct tree_map_base base;
1984   unsigned int to;
1985 };
1986
1987 /* Map from a decl tree to a tree vector.  */
1988 struct GTY((for_user)) tree_vec_map {
1989   struct tree_map_base base;
1990   vec<tree, va_gc> *to;
1991 };
1992
1993 /* Abstract iterators for CALL_EXPRs.  These static inline definitions
1994    have to go towards the end of tree.h so that union tree_node is fully
1995    defined by this point.  */
1996
1997 /* Structure containing iterator state.  */
1998 struct call_expr_arg_iterator {
1999   tree t;       /* the call_expr */
2000   int n;        /* argument count */
2001   int i;        /* next argument index */
2002 };
2003
2004 struct const_call_expr_arg_iterator {
2005   const_tree t; /* the call_expr */
2006   int n;        /* argument count */
2007   int i;        /* next argument index */
2008 };
2009
2010 /* The builtin_info structure holds the FUNCTION_DECL of the standard builtin
2011    function, and flags.  */
2012 struct GTY(()) builtin_info_type {
2013   tree decl;
2014   /* Whether the user can use <xxx> instead of explicitly using calls
2015      to __builtin_<xxx>.  */
2016   unsigned implicit_p : 1;
2017   /* Whether the user has provided a declaration of <xxx>.  */
2018   unsigned declared_p : 1;
2019 };
2020
2021 /* Information about a _FloatN or _FloatNx type that may be
2022    supported.  */
2023 struct floatn_type_info {
2024   /* The number N in the type name.  */
2025   int n;
2026   /* Whether it is an extended type _FloatNx (true) or an interchange
2027      type (false).  */
2028   bool extended;
2029 };
2030
2031
2032 /*---------------------------------------------------------------------------
2033                                 Global variables
2034 ---------------------------------------------------------------------------*/
2035 /* Matrix describing the structures contained in a given tree code.  */
2036 extern unsigned char tree_contains_struct[MAX_TREE_CODES][64];
2037
2038 /* Class of tree given its code.  */
2039 extern const enum tree_code_class tree_code_type[];
2040
2041 /* Each tree code class has an associated string representation.
2042    These must correspond to the tree_code_class entries.  */
2043 extern const char *const tree_code_class_strings[];
2044
2045 /* Number of argument-words in each kind of tree-node.  */
2046 extern const unsigned char tree_code_length[];
2047
2048 /* Vector of all alias pairs for global symbols.  */
2049 extern GTY(()) vec<alias_pair, va_gc> *alias_pairs;
2050
2051 /* Names of all the built_in classes.  */
2052 extern const char *const built_in_class_names[BUILT_IN_LAST];
2053
2054 /* Names of all the built_in functions.  */
2055 extern const char * built_in_names[(int) END_BUILTINS];
2056
2057 /* Number of operands and names for each OMP_CLAUSE node.  */
2058 extern unsigned const char omp_clause_num_ops[];
2059 extern const char * const omp_clause_code_name[];
2060
2061 /* A vector of all translation-units.  */
2062 extern GTY (()) vec<tree, va_gc> *all_translation_units;
2063
2064 /* Vector of standard trees used by the C compiler.  */
2065 extern GTY(()) tree global_trees[TI_MAX];
2066
2067 /* The standard C integer types.  Use integer_type_kind to index into
2068    this array.  */
2069 extern GTY(()) tree integer_types[itk_none];
2070
2071 /* Types used to represent sizes.  */
2072 extern GTY(()) tree sizetype_tab[(int) stk_type_kind_last];
2073
2074 /* Arrays for keeping track of tree node statistics.  */
2075 extern int tree_node_counts[];
2076 extern int tree_node_sizes[];
2077
2078 /* True if we are in gimple form and the actions of the folders need to
2079    be restricted.  False if we are not in gimple form and folding is not
2080    restricted to creating gimple expressions.  */
2081 extern bool in_gimple_form;
2082
2083 /* Functional interface to the builtin functions.  */
2084 extern GTY(()) builtin_info_type builtin_info[(int)END_BUILTINS];
2085
2086 /* If nonzero, an upper limit on alignment of structure fields, in bits,  */
2087 extern unsigned int maximum_field_alignment;
2088
2089 /* Points to the FUNCTION_DECL of the function whose body we are reading.  */
2090 extern GTY(()) tree current_function_decl;
2091
2092 /* Nonzero means a FUNC_BEGIN label was emitted.  */
2093 extern GTY(()) const char * current_function_func_begin_label;
2094
2095 /* Information about the _FloatN and _FloatNx types.  */
2096 extern const floatn_type_info floatn_nx_types[NUM_FLOATN_NX_TYPES];
2097
2098 #endif  // GCC_TREE_CORE_H