tree.h 122 KB
Newer Older
Richard Stallman committed
1
/* Front-end tree definitions for GNU compiler.
2 3
   Copyright (C) 1989, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
   2001, 2002 Free Software Foundation, Inc.
Richard Stallman committed
4

5
This file is part of GCC.
Richard Stallman committed
6

7 8 9 10
GCC is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 2, or (at your option) any later
version.
Richard Stallman committed
11

12 13 14 15
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.
Richard Stallman committed
16 17

You should have received a copy of the GNU General Public License
18 19 20
along with GCC; see the file COPYING.  If not, write to the Free
Software Foundation, 59 Temple Place - Suite 330, Boston, MA
02111-1307, USA.  */
Richard Stallman committed
21 22

#include "machmode.h"
23
#include "version.h"
24
#include "location.h"
Richard Stallman committed
25

26
/* Codes of tree nodes */
Richard Stallman committed
27 28 29 30 31 32

#define DEFTREECODE(SYM, STRING, TYPE, NARGS)   SYM,

enum tree_code {
#include "tree.def"

33
  LAST_AND_UNUSED_TREE_CODE	/* A convenient way to get a value for
Richard Stallman committed
34 35 36 37 38
				   NUM_TREE_CODE.  */
};

#undef DEFTREECODE

39 40
/* Number of language-independent tree codes.  */
#define NUM_TREE_CODES ((int) LAST_AND_UNUSED_TREE_CODE)
Richard Stallman committed
41 42 43 44 45 46 47 48

/* Indexed by enum tree_code, contains a character which is
   `<' for a comparison expression, `1', for a unary arithmetic
   expression, `2' for a binary arithmetic expression, `e' for
   other types of expressions, `r' for a reference, `c' for a
   constant, `d' for a decl, `t' for a type, `s' for a statement,
   and `x' for anything else (TREE_LIST, IDENTIFIER, etc).  */

49
#define MAX_TREE_CODES 256
50
extern const char tree_code_type[];
51
#define TREE_CODE_CLASS(CODE)	tree_code_type[(int) (CODE)]
Richard Stallman committed
52

53 54 55 56
/* Returns non-zero iff CLASS is the tree-code class of an
   expression.  */

#define IS_EXPR_CODE_CLASS(CLASS) \
57
  ((CLASS) == '<' || (CLASS) == '1' || (CLASS) == '2' || (CLASS) == 'e')
58

Richard Stallman committed
59 60
/* Number of argument-words in each kind of tree-node.  */

61
extern const unsigned char tree_code_length[];
62
#define TREE_CODE_LENGTH(CODE)	tree_code_length[(int) (CODE)]
Richard Stallman committed
63 64 65

/* Names of tree components.  */

66
extern const char *const tree_code_name[];
Richard Stallman committed
67

68 69
/* Classify which part of the compiler has defined a given builtin function.
   Note that we assume below that this is no more than two bits.  */
70 71 72 73 74 75 76
enum built_in_class
{
  NOT_BUILT_IN = 0,
  BUILT_IN_FRONTEND,
  BUILT_IN_MD,
  BUILT_IN_NORMAL
};
77 78

/* Names for the above.  */
79
extern const char *const built_in_class_names[4];
80

Richard Stallman committed
81 82 83
/* Codes that identify the various built in functions
   so that expand_call can identify them quickly.  */

84
#define DEF_BUILTIN(ENUM, N, C, T, LT, B, F, NA, AT) ENUM,
Richard Stallman committed
85 86
enum built_in_function
{
Kaveh R. Ghazi committed
87
#include "builtins.def"
88

89
  /* Upper bound on non-language-specific builtins.  */
90
  END_BUILTINS
Richard Stallman committed
91
};
Kaveh R. Ghazi committed
92
#undef DEF_BUILTIN
93 94

/* Names for the above.  */
95
extern const char *const built_in_names[(int) END_BUILTINS];
96 97

/* An array of _DECL trees for the above.  */
98
extern tree built_in_decls[(int) END_BUILTINS];
Richard Stallman committed
99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118

/* The definition of tree nodes fills the next several pages.  */

/* A tree node can represent a data type, a variable, an expression
   or a statement.  Each node has a TREE_CODE which says what kind of
   thing it represents.  Some common codes are:
   INTEGER_TYPE -- represents a type of integers.
   ARRAY_TYPE -- represents a type of pointer.
   VAR_DECL -- represents a declared variable.
   INTEGER_CST -- represents a constant integer value.
   PLUS_EXPR -- represents a sum (an expression).

   As for the contents of a tree node: there are some fields
   that all nodes share.  Each TREE_CODE has various special-purpose
   fields as well.  The fields of a node are never accessed directly,
   always through accessor macros.  */

/* Every kind of tree node starts with this structure,
   so all nodes have these fields.

119
   See the accessor macros, defined below, for documentation of the
Kazu Hirata committed
120
   fields.  */
Richard Stallman committed
121

122
struct tree_common GTY(())
Richard Stallman committed
123
{
124 125
  tree chain;
  tree type;
126

127
  ENUM_BITFIELD(tree_code) code : 8;
128

Richard Stallman committed
129 130 131 132 133 134 135
  unsigned side_effects_flag : 1;
  unsigned constant_flag : 1;
  unsigned addressable_flag : 1;
  unsigned volatile_flag : 1;
  unsigned readonly_flag : 1;
  unsigned unsigned_flag : 1;
  unsigned asm_written_flag: 1;
136
  unsigned unused_0 : 1;
Richard Stallman committed
137 138

  unsigned used_flag : 1;
139
  unsigned nothrow_flag : 1;
Richard Stallman committed
140 141 142 143
  unsigned static_flag : 1;
  unsigned public_flag : 1;
  unsigned private_flag : 1;
  unsigned protected_flag : 1;
144
  unsigned bounded_flag : 1;
145
  unsigned deprecated_flag : 1;
Richard Stallman committed
146 147 148 149 150 151 152 153

  unsigned lang_flag_0 : 1;
  unsigned lang_flag_1 : 1;
  unsigned lang_flag_2 : 1;
  unsigned lang_flag_3 : 1;
  unsigned lang_flag_4 : 1;
  unsigned lang_flag_5 : 1;
  unsigned lang_flag_6 : 1;
154
  unsigned unused_1 : 1;
Richard Stallman committed
155 156
};

157 158 159 160 161 162 163
/* The following table lists the uses of each of the above flags and
   for which types of nodes they are defined.  Note that expressions
   include decls.

   addressable_flag:

       TREE_ADDRESSABLE in
164
   	   VAR_DECL, FUNCTION_DECL, FIELD_DECL, CONSTRUCTOR, LABEL_DECL,
165 166 167
	   ..._TYPE, IDENTIFIER_NODE.
	   In a STMT_EXPR, it means we want the result of the enclosed
	   expression.
168 169 170 171

   static_flag:

       TREE_STATIC in
172
           VAR_DECL, FUNCTION_DECL, CONSTRUCTOR, ADDR_EXPR
173 174 175 176 177
       TREE_NO_UNUSED_WARNING in
           CONVERT_EXPR, NOP_EXPR, COMPOUND_EXPR
       TREE_VIA_VIRTUAL in
           TREE_LIST or TREE_VEC
       TREE_CONSTANT_OVERFLOW in
178
           INTEGER_CST, REAL_CST, COMPLEX_CST, VECTOR_CST
179 180
       TREE_SYMBOL_REFERENCED in
           IDENTIFIER_NODE
181 182 183
       CLEANUP_EH_ONLY in
           TARGET_EXPR, WITH_CLEANUP_EXPR, CLEANUP_STMT,
	   TREE_LIST elements of a block's cleanup list.
184 185 186 187

   public_flag:

       TREE_OVERFLOW in
188
           INTEGER_CST, REAL_CST, COMPLEX_CST, VECTOR_CST
189
       TREE_PUBLIC in
190
           VAR_DECL or FUNCTION_DECL or IDENTIFIER_NODE
191 192
       TREE_VIA_PUBLIC in
           TREE_LIST or TREE_VEC
193 194
       EXPR_WFL_EMIT_LINE_NOTE in
           EXPR_WITH_FILE_LOCATION
195 196 197 198 199 200

   private_flag:

       TREE_VIA_PRIVATE in
           TREE_LIST or TREE_VEC
       TREE_PRIVATE in
201
           ..._DECL
202 203 204 205 206

   protected_flag:

       TREE_VIA_PROTECTED in
           TREE_LIST
207
	   TREE_VEC
208 209
       TREE_PROTECTED in
           BLOCK
210
	   ..._DECL
211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226

   side_effects_flag:

       TREE_SIDE_EFFECTS in
           all expressions

   volatile_flag:

       TREE_THIS_VOLATILE in
           all expressions
       TYPE_VOLATILE in
           ..._TYPE

   readonly_flag:

       TREE_READONLY in
227
           all expressions
228 229 230 231 232 233 234 235 236 237 238 239 240 241
       TYPE_READONLY in
           ..._TYPE

   constant_flag:

       TREE_CONSTANT in
           all expressions

   unsigned_flag:

       TREE_UNSIGNED in
           INTEGER_TYPE, ENUMERAL_TYPE, FIELD_DECL
       DECL_BUILT_IN_NONANSI in
           FUNCTION_DECL
242 243
       SAVE_EXPR_NOPLACEHOLDER in
	   SAVE_EXPR
244 245 246 247 248 249 250 251 252 253 254 255

   asm_written_flag:

       TREE_ASM_WRITTEN in
           VAR_DECL, FUNCTION_DECL, RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE
	   BLOCK

   used_flag:

       TREE_USED in
           expressions, IDENTIFIER_NODE

256
   nothrow_flag:
257

258 259
       TREE_NOTHROW in
           CALL_EXPR, FUNCTION_DECL
260

261 262 263
   bounded_flag:

       TREE_BOUNDED in
264 265
	   expressions, VAR_DECL, PARM_DECL, FIELD_DECL, FUNCTION_DECL,
	   IDENTIFIER_NODE
266
       TYPE_BOUNDED in
267 268 269 270 271 272 273
	   ..._TYPE

   deprecated_flag:

	TREE_DEPRECATED in
	   ..._DECL
*/
274

Richard Stallman committed
275 276 277 278 279 280
/* Define accessors for the fields that all tree nodes have
   (though some fields are not used for all kinds of nodes).  */

/* The tree-code says what kind of node it is.
   Codes are defined in tree.def.  */
#define TREE_CODE(NODE) ((enum tree_code) (NODE)->common.code)
281
#define TREE_SET_CODE(NODE, VALUE) \
282
((NODE)->common.code = (ENUM_BITFIELD (tree_code)) (VALUE))
Richard Stallman committed
283

284
/* When checking is enabled, errors will be generated if a tree node
285
   is accessed incorrectly. The macros abort with a fatal error.  */
286
#if defined ENABLE_TREE_CHECKING && (GCC_VERSION >= 2007)
287

288
#define TREE_CHECK(t, code) __extension__				\
289
({  const tree __t = (t);						\
290
    if (TREE_CODE(__t) != (code))					\
291
      tree_check_failed (__t, code, __FILE__, __LINE__, __FUNCTION__);	\
292
    __t; })
293
#define TREE_CLASS_CHECK(t, class) __extension__			\
294
({  const tree __t = (t);						\
295
    if (TREE_CODE_CLASS(TREE_CODE(__t)) != (class))			\
296 297
      tree_class_check_failed (__t, class, __FILE__, __LINE__,		\
			       __FUNCTION__);				\
298 299 300
    __t; })

/* These checks have to be special cased.  */
301
#define CST_OR_CONSTRUCTOR_CHECK(t) __extension__			\
302 303
({  const tree __t = (t);						\
    enum tree_code const __c = TREE_CODE(__t);				\
304
    if (__c != CONSTRUCTOR && TREE_CODE_CLASS(__c) != 'c')		\
305 306
      tree_check_failed (__t, CONSTRUCTOR, __FILE__, __LINE__,		\
			 __FUNCTION__);					\
307
    __t; })
308
#define EXPR_CHECK(t) __extension__					\
309 310
({  const tree __t = (t);						\
    char const __c = TREE_CODE_CLASS(TREE_CODE(__t));			\
311 312
    if (__c != 'r' && __c != 's' && __c != '<'				\
	&& __c != '1' && __c != '2' && __c != 'e')			\
313 314
      tree_class_check_failed (__t, 'e', __FILE__, __LINE__,		\
			       __FUNCTION__);				\
315 316
    __t; })

317
extern void tree_check_failed PARAMS ((const tree, enum tree_code,
318
				       const char *, int, const char *))
319
    ATTRIBUTE_NORETURN;
320 321
extern void tree_class_check_failed PARAMS ((const tree, int,
					     const char *, int, const char *))
322 323
    ATTRIBUTE_NORETURN;

324
#else /* not ENABLE_TREE_CHECKING, or not gcc */
325

326 327 328 329 330 331 332 333 334 335 336 337
#define TREE_CHECK(t, code)		(t)
#define TREE_CLASS_CHECK(t, code)	(t)
#define CST_OR_CONSTRUCTOR_CHECK(t)	(t)
#define EXPR_CHECK(t)			(t)

#endif

#include "tree-check.h"

#define TYPE_CHECK(tree)	TREE_CLASS_CHECK  (tree, 't')
#define DECL_CHECK(tree)	TREE_CLASS_CHECK  (tree, 'd')
#define CST_CHECK(tree)		TREE_CLASS_CHECK  (tree, 'c')
338

Richard Stallman committed
339 340
/* In all nodes that are expressions, this is the data type of the expression.
   In POINTER_TYPE nodes, this is the type that the pointer points to.
341 342
   In ARRAY_TYPE nodes, this is the type of the elements.
   In VECTOR_TYPE nodes, this is the type of the elements.  */
Richard Stallman committed
343 344
#define TREE_TYPE(NODE) ((NODE)->common.type)

345 346 347 348
/* Here is how primitive or already-canonicalized types' hash codes
   are made.  */
#define TYPE_HASH(TYPE) ((size_t) (TYPE) & 0777777)

Richard Stallman committed
349 350 351 352 353 354 355 356 357 358 359 360 361 362
/* Nodes are chained together for many purposes.
   Types are chained together to record them for being output to the debugger
   (see the function `chain_type').
   Decls in the same scope are chained together to record the contents
   of the scope.
   Statement nodes for successive statements used to be chained together.
   Often lists of things are represented by TREE_LIST nodes that
   are chained together.  */

#define TREE_CHAIN(NODE) ((NODE)->common.chain)

/* Given an expression as a tree, strip any NON_LVALUE_EXPRs and NOP_EXPRs
   that don't change the machine mode.  */

363
#define STRIP_NOPS(EXP)						\
Richard Stallman committed
364 365 366
  while ((TREE_CODE (EXP) == NOP_EXPR				\
	  || TREE_CODE (EXP) == CONVERT_EXPR			\
	  || TREE_CODE (EXP) == NON_LVALUE_EXPR)		\
367
	 && TREE_OPERAND (EXP, 0) != error_mark_node		\
Richard Stallman committed
368 369
	 && (TYPE_MODE (TREE_TYPE (EXP))			\
	     == TYPE_MODE (TREE_TYPE (TREE_OPERAND (EXP, 0)))))	\
370
    (EXP) = TREE_OPERAND (EXP, 0)
Richard Stallman committed
371

Richard Kenner committed
372 373 374 375 376 377
/* Like STRIP_NOPS, but don't let the signedness change either.  */

#define STRIP_SIGN_NOPS(EXP) \
  while ((TREE_CODE (EXP) == NOP_EXPR				\
	  || TREE_CODE (EXP) == CONVERT_EXPR			\
	  || TREE_CODE (EXP) == NON_LVALUE_EXPR)		\
378
	 && TREE_OPERAND (EXP, 0) != error_mark_node		\
Richard Kenner committed
379 380 381 382
	 && (TYPE_MODE (TREE_TYPE (EXP))			\
	     == TYPE_MODE (TREE_TYPE (TREE_OPERAND (EXP, 0))))	\
	 && (TREE_UNSIGNED (TREE_TYPE (EXP))			\
	     == TREE_UNSIGNED (TREE_TYPE (TREE_OPERAND (EXP, 0))))) \
383
    (EXP) = TREE_OPERAND (EXP, 0)
Richard Kenner committed
384

Richard Stallman committed
385 386 387 388 389 390
/* Like STRIP_NOPS, but don't alter the TREE_TYPE either.  */

#define STRIP_TYPE_NOPS(EXP) \
  while ((TREE_CODE (EXP) == NOP_EXPR				\
	  || TREE_CODE (EXP) == CONVERT_EXPR			\
	  || TREE_CODE (EXP) == NON_LVALUE_EXPR)		\
391
	 && TREE_OPERAND (EXP, 0) != error_mark_node		\
Richard Stallman committed
392 393
	 && (TREE_TYPE (EXP)					\
	     == TREE_TYPE (TREE_OPERAND (EXP, 0))))		\
394
    (EXP) = TREE_OPERAND (EXP, 0)
395 396 397 398 399 400 401 402 403 404 405 406 407 408 409

/* Nonzero if TYPE represents an integral type.  Note that we do not
   include COMPLEX types here.  */

#define INTEGRAL_TYPE_P(TYPE)  \
  (TREE_CODE (TYPE) == INTEGER_TYPE || TREE_CODE (TYPE) == ENUMERAL_TYPE  \
   || TREE_CODE (TYPE) == BOOLEAN_TYPE || TREE_CODE (TYPE) == CHAR_TYPE)

/* Nonzero if TYPE represents a floating-point type, including complex
   floating-point types.  */

#define FLOAT_TYPE_P(TYPE)		\
  (TREE_CODE (TYPE) == REAL_TYPE	\
   || (TREE_CODE (TYPE) == COMPLEX_TYPE \
       && TREE_CODE (TREE_TYPE (TYPE)) == REAL_TYPE))
410

411
/* Nonzero if TYPE represents an aggregate (multi-component) type.  */
412 413 414 415 416

#define AGGREGATE_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == ARRAY_TYPE || TREE_CODE (TYPE) == RECORD_TYPE \
   || TREE_CODE (TYPE) == UNION_TYPE || TREE_CODE (TYPE) == QUAL_UNION_TYPE \
   || TREE_CODE (TYPE) == SET_TYPE)
417

418 419
/* Nonzero if TYPE represents an unbounded pointer or unbounded
   reference type.  (It should be renamed to INDIRECT_TYPE_P.)  */
420 421 422

#define POINTER_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == POINTER_TYPE || TREE_CODE (TYPE) == REFERENCE_TYPE)
423

424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461
/* Nonzero if TYPE represents a bounded pointer or bounded reference type.  */

#define BOUNDED_INDIRECT_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == RECORD_TYPE && TREE_TYPE (TYPE))

/* Nonzero if TYPE represents a bounded pointer type.  */

#define BOUNDED_POINTER_TYPE_P(TYPE) \
  (BOUNDED_INDIRECT_TYPE_P (TYPE) \
   && TREE_CODE (TYPE_BOUNDED_SUBTYPE (TYPE)) == POINTER_TYPE)

/* Nonzero if TYPE represents a bounded reference type.  Bounded
   reference types have two specific uses: (1) When a reference is
   seated to a variable-length RECORD_TYPE that has an array of
   indeterminate length as its final field.  For all other objects, it
   is sufficient to check bounds at the time the reference is seated,
   and assume that all future uses of the reference are safe, since
   the address of references cannot change.  (2) When a reference
   supertype is seated to an subtype object.  The bounds "remember"
   the true size of the complete object, so that subsequent upcasts of
   the address of the reference will be checked properly (is such a
   thing valid C++?).  */

#define BOUNDED_REFERENCE_TYPE_P(TYPE) \
  (BOUNDED_INDIRECT_TYPE_P (TYPE) \
   && TREE_CODE (TYPE_BOUNDED_SUBTYPE (TYPE)) == REFERENCE_TYPE)

/* Nonzero if TYPE represents a pointer or reference type, either
   bounded or unbounded.  */

#define MAYBE_BOUNDED_INDIRECT_TYPE_P(TYPE) \
  (POINTER_TYPE_P (TYPE) || BOUNDED_INDIRECT_TYPE_P (TYPE))

/* Nonzero if TYPE represents a pointer type, either bounded or unbounded.  */

#define MAYBE_BOUNDED_POINTER_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == POINTER_TYPE || BOUNDED_POINTER_TYPE_P (TYPE))

462 463
/* Nonzero if TYPE represents a reference type, either bounded or
   unbounded.  */
464 465 466 467

#define MAYBE_BOUNDED_REFERENCE_TYPE_P(TYPE) \
  (TREE_CODE (TYPE) == REFERENCE_TYPE || BOUNDED_REFERENCE_TYPE_P (TYPE))

468 469 470
/* Nonzero if this type is a complete type.  */
#define COMPLETE_TYPE_P(NODE) (TYPE_SIZE (NODE) != NULL_TREE)

471
/* Nonzero if this type is the (possibly qualified) void type.  */
472
#define VOID_TYPE_P(NODE) (TREE_CODE (NODE) == VOID_TYPE)
473

474 475
/* Nonzero if this type is complete or is cv void.  */
#define COMPLETE_OR_VOID_TYPE_P(NODE) \
476
  (COMPLETE_TYPE_P (NODE) || VOID_TYPE_P (NODE))
477 478 479

/* Nonzero if this type is complete or is an array with unspecified bound.  */
#define COMPLETE_OR_UNBOUND_ARRAY_TYPE_P(NODE) \
480
  (COMPLETE_TYPE_P (TREE_CODE (NODE) == ARRAY_TYPE ? TREE_TYPE (NODE) : (NODE)))
481

482 483 484
/* Nonzero if TYPE represents a type.  */

#define TYPE_P(TYPE)	(TREE_CODE_CLASS (TREE_CODE (TYPE)) == 't')
Richard Stallman committed
485 486 487 488 489 490 491

/* Define many boolean fields that all tree nodes have.  */

/* In VAR_DECL nodes, nonzero means address of this is needed.
   So it cannot be in a register.
   In a FUNCTION_DECL, nonzero means its address is needed.
   So it must be compiled even if it is an inline function.
492 493 494
   In a FIELD_DECL node, it means that the programmer is permitted to
   construct the address of this field.  This is used for aliasing
   purposes: see record_component_aliases.
Richard Stallman committed
495
   In CONSTRUCTOR nodes, it means object constructed must be in memory.
Kazu Hirata committed
496
   In LABEL_DECL nodes, it means a goto for this label has been seen
Richard Stallman committed
497 498 499 500 501 502 503 504 505
   from a place outside all binding contours that restore stack levels.
   In ..._TYPE nodes, it means that objects of this type must
   be fully addressable.  This means that pieces of this
   object cannot go into register parameters, for example.
   In IDENTIFIER_NODEs, this means that some extern decl for this name
   had its address taken.  That matters for inline functions.  */
#define TREE_ADDRESSABLE(NODE) ((NODE)->common.addressable_flag)

/* In a VAR_DECL, nonzero means allocate static storage.
506
   In a FUNCTION_DECL, nonzero if function has been defined.
Richard Stallman committed
507 508 509
   In a CONSTRUCTOR, nonzero means allocate static storage.  */
#define TREE_STATIC(NODE) ((NODE)->common.static_flag)

510 511 512 513 514
/* In a TARGET_EXPR, WITH_CLEANUP_EXPR, CLEANUP_STMT, or element of a
   block's cleanup list, means that the pertinent cleanup should only be
   executed if an exception is thrown, not on normal exit of its scope.  */
#define CLEANUP_EH_ONLY(NODE) ((NODE)->common.static_flag)

515 516
/* In a CONVERT_EXPR, NOP_EXPR or COMPOUND_EXPR, this means the node was
   made implicitly and should not lead to an "unused value" warning.  */
Richard Stallman committed
517 518 519 520 521 522
#define TREE_NO_UNUSED_WARNING(NODE) ((NODE)->common.static_flag)

/* Nonzero for a TREE_LIST or TREE_VEC node means that the derivation
   chain is via a `virtual' declaration.  */
#define TREE_VIA_VIRTUAL(NODE) ((NODE)->common.static_flag)

523 524 525 526
/* In an INTEGER_CST, REAL_CST, COMPLEX_CST, or VECTOR_CST this means
   there was an overflow in folding.  This is distinct from
   TREE_OVERFLOW because ANSI C requires a diagnostic when overflows
   occur in constant expressions.  */
527 528
#define TREE_CONSTANT_OVERFLOW(NODE) ((NODE)->common.static_flag)

529 530
/* In an IDENTIFIER_NODE, this means that assemble_name was called with
   this string as an argument.  */
531
#define TREE_SYMBOL_REFERENCED(NODE) \
532
  (IDENTIFIER_NODE_CHECK (NODE)->common.static_flag)
533

534 535 536 537
/* In an INTEGER_CST, REAL_CST, COMPLEX_CST, or VECTOR_CST, this means
   there was an overflow in folding, and no warning has been issued
   for this subexpression.  TREE_OVERFLOW implies
   TREE_CONSTANT_OVERFLOW, but not vice versa.  */
538 539
#define TREE_OVERFLOW(NODE) ((NODE)->common.public_flag)

Richard Stallman committed
540 541
/* In a VAR_DECL or FUNCTION_DECL,
   nonzero means name is to be accessible from outside this module.
542
   In an IDENTIFIER_NODE, nonzero means an external declaration
543
   accessible from outside this module was previously seen
Richard Stallman committed
544 545 546 547 548 549 550 551
   for this name in an inner scope.  */
#define TREE_PUBLIC(NODE) ((NODE)->common.public_flag)

/* Nonzero for TREE_LIST or TREE_VEC node means that the path to the
   base class is via a `public' declaration, which preserves public
   fields from the base class as public.  */
#define TREE_VIA_PUBLIC(NODE) ((NODE)->common.public_flag)

552 553 554
/* Ditto, for `private' declarations.  */
#define TREE_VIA_PRIVATE(NODE) ((NODE)->common.private_flag)

555
/* Nonzero for TREE_LIST or TREE_VEC node means that the path to the
556 557 558
   base class is via a `protected' declaration, which preserves
   protected fields from the base class as protected.
   OVERLOADED.  */
559
#define TREE_VIA_PROTECTED(NODE) ((NODE)->common.protected_flag)
560

Richard Stallman committed
561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586
/* In any expression, nonzero means it has side effects or reevaluation
   of the whole expression could produce a different value.
   This is set if any subexpression is a function call, a side effect
   or a reference to a volatile variable.
   In a ..._DECL, this is set only if the declaration said `volatile'.  */
#define TREE_SIDE_EFFECTS(NODE) ((NODE)->common.side_effects_flag)

/* Nonzero means this expression is volatile in the C sense:
   its address should be of type `volatile WHATEVER *'.
   In other words, the declared item is volatile qualified.
   This is used in _DECL nodes and _REF nodes.

   In a ..._TYPE node, means this type is volatile-qualified.
   But use TYPE_VOLATILE instead of this macro when the node is a type,
   because eventually we may make that a different bit.

   If this bit is set in an expression, so is TREE_SIDE_EFFECTS.  */
#define TREE_THIS_VOLATILE(NODE) ((NODE)->common.volatile_flag)

/* In a VAR_DECL, PARM_DECL or FIELD_DECL, or any kind of ..._REF node,
   nonzero means it may not be the lhs of an assignment.
   In a ..._TYPE node, means this type is const-qualified
   (but the macro TYPE_READONLY should be used instead of this macro
   when the node is a type).  */
#define TREE_READONLY(NODE) ((NODE)->common.readonly_flag)

587
/* Non-zero if NODE is a _DECL with TREE_READONLY set.  */
588
#define TREE_READONLY_DECL_P(NODE) (TREE_READONLY (NODE) && DECL_P (NODE))
589

Richard Stallman committed
590 591 592 593 594 595 596 597 598 599 600
/* Value of expression is constant.
   Always appears in all ..._CST nodes.
   May also appear in an arithmetic expression, an ADDR_EXPR or a CONSTRUCTOR
   if the value is constant.  */
#define TREE_CONSTANT(NODE) ((NODE)->common.constant_flag)

/* In INTEGER_TYPE or ENUMERAL_TYPE nodes, means an unsigned type.
   In FIELD_DECL nodes, means an unsigned bit field.
   The same bit is used in functions as DECL_BUILT_IN_NONANSI.  */
#define TREE_UNSIGNED(NODE) ((NODE)->common.unsigned_flag)

601 602
#define TYPE_TRAP_SIGNED(NODE) \
  (flag_trapv && ! TREE_UNSIGNED (TYPE_CHECK (NODE)))
603

Richard Stallman committed
604 605 606 607
/* Nonzero in a VAR_DECL means assembler code has been written.
   Nonzero in a FUNCTION_DECL means that the function has been compiled.
   This is interesting in an inline function, since it might not need
   to be compiled separately.
608
   Nonzero in a RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE or ENUMERAL_TYPE
609 610
   if the sdb debugging info for the type has been written.
   In a BLOCK node, nonzero if reorder_blocks has already seen this block.  */
Richard Stallman committed
611 612 613 614 615 616 617 618
#define TREE_ASM_WRITTEN(NODE) ((NODE)->common.asm_written_flag)

/* Nonzero in a _DECL if the name is used in its scope.
   Nonzero in an expr node means inhibit warning if value is unused.
   In IDENTIFIER_NODEs, this means that some extern decl for this name
   was used.  */
#define TREE_USED(NODE) ((NODE)->common.used_flag)

619 620 621
/* In a FUNCTION_DECL, nonzero means a call to the function cannot throw
   an exception.  In a CALL_EXPR, nonzero means the call cannot throw.  */
#define TREE_NOTHROW(NODE) ((NODE)->common.nothrow_flag)
622 623 624 625 626 627 628 629

/* In a type, nonzero means that all objects of the type are guaranteed by the
   language or front-end to be properly aligned, so we can indicate that a MEM
   of this type is aligned at least to the alignment of the type, even if it
   doesn't appear that it is.  We see this, for example, in object-oriented
   languages where a tag field may show this is an object of a more-aligned
   variant of the more generic type.  */
#define TYPE_ALIGN_OK(NODE) (TYPE_CHECK (NODE)->common.nothrow_flag)
Richard Stallman committed
630

631
/* Used in classes in C++.  */
Richard Stallman committed
632
#define TREE_PRIVATE(NODE) ((NODE)->common.private_flag)
633 634
/* Used in classes in C++.
   In a BLOCK node, this is BLOCK_HANDLER_BLOCK.  */
Richard Stallman committed
635 636
#define TREE_PROTECTED(NODE) ((NODE)->common.protected_flag)

637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670
/* In a ..._TYPE node, nonzero means that the type's size and layout,
   (or the size and layout of its arguments and/or return value in the
   case of a FUNCTION_TYPE or METHOD_TYPE) was changed by the presence
   of pointer bounds.  Use TYPE_BOUNDED instead of this macro when the
   node is a type, because eventually we may make that a different
   bit.  TYPE_BOUNDED doesn't mean that this type is a bounded indirect
   type--use BOUNDED_POINTER_TYPE_P, BOUNDED_REFERENCE_TYPE_P,
   BOUNDED_INDIRECT_TYPE_P to test for that.

   In a FUNCTION_DECL, nonzero means that the size and layout of one
   of its arguments and/or return value was changed by the presence of
   pointer bounds.  This value can differ from the value of
   TYPE_BOUNDED (TREE_TYPE (fundecl)) if the function was implicitly
   declared, then later called with pointer args, or was declared with
   a variable argument list and is later called with pointer values in
   the variable argument list.

   In a VAR_DECL, PARM_DECL or FIELD_DECL, TREE_BOUNDED matches the value
   of the decl's type's BOUNDED_POINTER_TYPE_P.

   In a CONSTRUCTOR or other expression, nonzero means the value is a
   bounded pointer.  It is insufficient to determine the boundedness
   of an expression EXP with BOUNDED_POINTER_TYPE_P (TREE_TYPE (EXP)),
   since we allow pointer to be temporarily cast to integer for
   rounding up to an alignment boudary in a way that preserves the
   pointer's bounds.

   In an IDENTIFIER_NODE, nonzero means that the name is prefixed with
   BP_PREFIX (see varasm.c).  This occurs for the DECL_ASSEMBLER_NAME
   of a function that has bounded pointer(s) for its return type and/or
   argument type(s).  */

#define TREE_BOUNDED(NODE) ((NODE)->common.bounded_flag)

671
/* Nonzero in an IDENTIFIER_NODE if the use of the name is defined as a
672 673 674
   deprecated feature by __attribute__((deprecated)).  */
#define TREE_DEPRECATED(NODE) ((NODE)->common.deprecated_flag)

675
/* These flags are available for each language front end to use internally.  */
Richard Stallman committed
676 677 678 679 680 681 682 683 684 685
#define TREE_LANG_FLAG_0(NODE) ((NODE)->common.lang_flag_0)
#define TREE_LANG_FLAG_1(NODE) ((NODE)->common.lang_flag_1)
#define TREE_LANG_FLAG_2(NODE) ((NODE)->common.lang_flag_2)
#define TREE_LANG_FLAG_3(NODE) ((NODE)->common.lang_flag_3)
#define TREE_LANG_FLAG_4(NODE) ((NODE)->common.lang_flag_4)
#define TREE_LANG_FLAG_5(NODE) ((NODE)->common.lang_flag_5)
#define TREE_LANG_FLAG_6(NODE) ((NODE)->common.lang_flag_6)

/* Define additional fields and accessors for nodes representing constants.  */

686 687
/* In an INTEGER_CST node.  These two together make a 2-word integer.
   If the data type is signed, the value is sign-extended to 2 words
Richard Stallman committed
688
   even though not all of them may really be in use.
689
   In an unsigned constant shorter than 2 words, the extra bits are 0.  */
690 691 692
#define TREE_INT_CST(NODE) (INTEGER_CST_CHECK (NODE)->int_cst.int_cst)
#define TREE_INT_CST_LOW(NODE) (TREE_INT_CST (NODE).low)
#define TREE_INT_CST_HIGH(NODE) (TREE_INT_CST (NODE).high)
Richard Stallman committed
693

694 695 696
#define INT_CST_LT(A, B)				\
  (TREE_INT_CST_HIGH (A) < TREE_INT_CST_HIGH (B)	\
   || (TREE_INT_CST_HIGH (A) == TREE_INT_CST_HIGH (B)	\
697
       && TREE_INT_CST_LOW (A) < TREE_INT_CST_LOW (B)))
Richard Stallman committed
698

699 700 701 702
#define INT_CST_LT_UNSIGNED(A, B)				\
  (((unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (A)		\
    < (unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (B))		\
   || (((unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (A)		\
Kazu Hirata committed
703
	== (unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (B))	\
704
       && TREE_INT_CST_LOW (A) < TREE_INT_CST_LOW (B)))
705 706
 
struct tree_int_cst GTY(())
Richard Stallman committed
707
{
708
  struct tree_common common;
709
  rtx rtl;	/* acts as link to register transfer language
710
			   (rtl) info */
711 712 713
  /* A sub-struct is necessary here because the function `const_hash'
     wants to scan both words as a unit and taking the address of the
     sub-struct yields the properly inclusive bounded pointer.  */
714
  struct tree_int_cst_lowhi {
715 716 717
    unsigned HOST_WIDE_INT low;
    HOST_WIDE_INT high;
  } int_cst;
Richard Stallman committed
718 719
};

720 721 722
/* In REAL_CST, STRING_CST, COMPLEX_CST, VECTOR_CST nodes, and
   CONSTRUCTOR nodes, and generally in all kinds of constants that
   could be given labels (rather than being immediate).  */
Richard Stallman committed
723

724
#define TREE_CST_RTL(NODE) (CST_OR_CONSTRUCTOR_CHECK (NODE)->real_cst.rtl)
Richard Stallman committed
725

726 727 728 729
/* In a REAL_CST node.  struct realvaluetype is an opaque entity, with
   manipulators defined in real.h.  We don't want tree.h depending on
   real.h and transitively on tm.h.  */
struct realvaluetype;
730

731 732
#define TREE_REAL_CST_PTR(NODE) (REAL_CST_CHECK (NODE)->real_cst.real_cst_ptr)
#define TREE_REAL_CST(NODE) (*TREE_REAL_CST_PTR (NODE))
Richard Stallman committed
733

734
struct tree_real_cst GTY(())
Richard Stallman committed
735
{
736
  struct tree_common common;
737
  rtx rtl;	/* acts as link to register transfer language (rtl) info */
738
  struct realvaluetype * real_cst_ptr;
Richard Stallman committed
739 740 741
};

/* In a STRING_CST */
742 743
#define TREE_STRING_LENGTH(NODE) (STRING_CST_CHECK (NODE)->string.length)
#define TREE_STRING_POINTER(NODE) (STRING_CST_CHECK (NODE)->string.pointer)
Richard Stallman committed
744

745
struct tree_string GTY(())
Richard Stallman committed
746
{
747
  struct tree_common common;
748
  rtx rtl;	/* acts as link to register transfer language (rtl) info */
Richard Stallman committed
749
  int length;
Zack Weinberg committed
750
  const char *pointer;
Richard Stallman committed
751 752 753
};

/* In a COMPLEX_CST node.  */
754 755
#define TREE_REALPART(NODE) (COMPLEX_CST_CHECK (NODE)->complex.real)
#define TREE_IMAGPART(NODE) (COMPLEX_CST_CHECK (NODE)->complex.imag)
Richard Stallman committed
756

757
struct tree_complex GTY(())
Richard Stallman committed
758
{
759
  struct tree_common common;
760
  rtx rtl;	/* acts as link to register transfer language (rtl) info */
761 762
  tree real;
  tree imag;
Richard Stallman committed
763
};
764 765 766 767

/* In a VECTOR_CST node.  */
#define TREE_VECTOR_CST_ELTS(NODE) (VECTOR_CST_CHECK (NODE)->vector.elements)

768
struct tree_vector GTY(())
769 770 771 772 773
{
  struct tree_common common;
  rtx rtl;
  tree elements;
};
Richard Stallman committed
774

775 776
#include "hashtable.h"

Richard Stallman committed
777 778
/* Define fields and accessors for some special-purpose tree nodes.  */

779
#define IDENTIFIER_LENGTH(NODE) \
780
  (IDENTIFIER_NODE_CHECK (NODE)->identifier.id.len)
781
#define IDENTIFIER_POINTER(NODE) \
782
  ((const char *) IDENTIFIER_NODE_CHECK (NODE)->identifier.id.str)
783 784 785 786 787

/* Translate a hash table identifier pointer to a tree_identifier
   pointer, and vice versa.  */

#define HT_IDENT_TO_GCC_IDENT(NODE) \
788 789
  ((tree) ((char *) (NODE) - sizeof (struct tree_common)))
#define GCC_IDENT_TO_HT_IDENT(NODE) (&((struct tree_identifier *) (NODE))->id)
Richard Stallman committed
790

791
struct tree_identifier GTY(())
Richard Stallman committed
792
{
793
  struct tree_common common;
794
  struct ht_identifier id;
Richard Stallman committed
795 796 797
};

/* In a TREE_LIST node.  */
798 799
#define TREE_PURPOSE(NODE) (TREE_LIST_CHECK (NODE)->list.purpose)
#define TREE_VALUE(NODE) (TREE_LIST_CHECK (NODE)->list.value)
Richard Stallman committed
800

801
struct tree_list GTY(())
Richard Stallman committed
802
{
803
  struct tree_common common;
804 805
  tree purpose;
  tree value;
Richard Stallman committed
806 807 808
};

/* In a TREE_VEC node.  */
809 810
#define TREE_VEC_LENGTH(NODE) (TREE_VEC_CHECK (NODE)->vec.length)
#define TREE_VEC_ELT(NODE,I) (TREE_VEC_CHECK (NODE)->vec.a[I])
811 812
#define TREE_VEC_END(NODE) \
  ((void) TREE_VEC_CHECK (NODE), &((NODE)->vec.a[(NODE)->vec.length]))
Richard Stallman committed
813

814
struct tree_vec GTY(())
Richard Stallman committed
815
{
816
  struct tree_common common;
Richard Stallman committed
817
  int length;
818
  tree GTY ((length ("TREE_VEC_LENGTH ((tree)&%h)"))) a[1];
Richard Stallman committed
819 820 821 822 823
};

/* Define fields and accessors for some nodes that represent expressions.  */

/* In a SAVE_EXPR node.  */
824
#define SAVE_EXPR_CONTEXT(NODE) TREE_OPERAND (SAVE_EXPR_CHECK (NODE), 1)
825 826
#define SAVE_EXPR_RTL(NODE) (*(rtx *) &SAVE_EXPR_CHECK (NODE)->exp.operands[2])
#define SAVE_EXPR_NOPLACEHOLDER(NODE) TREE_UNSIGNED (SAVE_EXPR_CHECK (NODE))
827 828 829 830
/* Nonzero if the SAVE_EXPRs value should be kept, even if it occurs
   both in normal code and in a handler.  (Normally, in a handler, all
   SAVE_EXPRs are unsaved, meaning that there values are
   recalculated.)  */
831
#define SAVE_EXPR_PERSISTENT_P(NODE) TREE_ASM_WRITTEN (SAVE_EXPR_CHECK (NODE))
Richard Stallman committed
832 833

/* In a RTL_EXPR node.  */
834 835 836
#define RTL_EXPR_SEQUENCE(NODE) \
  (*(rtx *) &RTL_EXPR_CHECK (NODE)->exp.operands[0])
#define RTL_EXPR_RTL(NODE) (*(rtx *) &RTL_EXPR_CHECK (NODE)->exp.operands[1])
Richard Stallman committed
837

838 839
/* In a WITH_CLEANUP_EXPR node.  */
#define WITH_CLEANUP_EXPR_RTL(NODE) \
840
  (*(rtx *) &WITH_CLEANUP_EXPR_CHECK (NODE)->exp.operands[2])
841

Richard Stallman committed
842
/* In a CONSTRUCTOR node.  */
843
#define CONSTRUCTOR_ELTS(NODE) TREE_OPERAND (CONSTRUCTOR_CHECK (NODE), 1)
Richard Stallman committed
844

845
/* In ordinary expression nodes.  */
846 847
#define TREE_OPERAND(NODE, I) (EXPR_CHECK (NODE)->exp.operands[I])
#define TREE_COMPLEXITY(NODE) (EXPR_CHECK (NODE)->exp.complexity)
848

849
/* In a LABELED_BLOCK_EXPR node.  */
850 851 852 853
#define LABELED_BLOCK_LABEL(NODE) \
  TREE_OPERAND (LABELED_BLOCK_EXPR_CHECK (NODE), 0)
#define LABELED_BLOCK_BODY(NODE) \
  TREE_OPERAND (LABELED_BLOCK_EXPR_CHECK (NODE), 1)
854

855
/* In an EXIT_BLOCK_EXPR node.  */
856 857 858
#define EXIT_BLOCK_LABELED_BLOCK(NODE) \
  TREE_OPERAND (EXIT_BLOCK_EXPR_CHECK (NODE), 0)
#define EXIT_BLOCK_RETURN(NODE) TREE_OPERAND (EXIT_BLOCK_EXPR_CHECK (NODE), 1)
859 860

/* In a LOOP_EXPR node.  */
861
#define LOOP_EXPR_BODY(NODE) TREE_OPERAND (LOOP_EXPR_CHECK (NODE), 0)
862

863
/* In an EXPR_WITH_FILE_LOCATION node.  */
864 865
#define EXPR_WFL_EMIT_LINE_NOTE(NODE) \
  (EXPR_WITH_FILE_LOCATION_CHECK (NODE)->common.public_flag)
866 867 868
#define EXPR_WFL_NODE(NODE) \
  TREE_OPERAND (EXPR_WITH_FILE_LOCATION_CHECK (NODE), 0)
#define EXPR_WFL_FILENAME_NODE(NODE) \
869
  TREE_OPERAND (EXPR_WITH_FILE_LOCATION_CHECK (NODE), 1)
870
#define EXPR_WFL_FILENAME(NODE) \
871
  IDENTIFIER_POINTER (EXPR_WFL_FILENAME_NODE (NODE))
872 873 874 875
/* ??? Java uses this in all expressions.  */
#define EXPR_WFL_LINECOL(NODE) (EXPR_CHECK (NODE)->exp.complexity)
#define EXPR_WFL_LINENO(NODE) (EXPR_WFL_LINECOL (NODE) >> 12)
#define EXPR_WFL_COLNO(NODE) (EXPR_WFL_LINECOL (NODE) & 0xfff)
876 877 878
#define EXPR_WFL_SET_LINECOL(NODE, LINE, COL) \
  (EXPR_WFL_LINECOL(NODE) = ((LINE) << 12) | ((COL) & 0xfff))

879 880 881 882 883
/* In a TARGET_EXPR node.  */
#define TARGET_EXPR_SLOT(NODE) TREE_OPERAND (TARGET_EXPR_CHECK (NODE), 0)
#define TARGET_EXPR_INITIAL(NODE) TREE_OPERAND (TARGET_EXPR_CHECK (NODE), 1)
#define TARGET_EXPR_CLEANUP(NODE) TREE_OPERAND (TARGET_EXPR_CHECK (NODE), 2)

884
struct tree_exp GTY(())
885
{
886
  struct tree_common common;
887
  int complexity;
888 889 890
  tree GTY ((special ("tree_exp"), 
	     length ("TREE_CODE_LENGTH (TREE_CODE ((tree) &%h))"))) 
    operands[1];
891 892
};

Richard Stallman committed
893
/* In a BLOCK node.  */
894 895 896
#define BLOCK_VARS(NODE) (BLOCK_CHECK (NODE)->block.vars)
#define BLOCK_SUBBLOCKS(NODE) (BLOCK_CHECK (NODE)->block.subblocks)
#define BLOCK_SUPERCONTEXT(NODE) (BLOCK_CHECK (NODE)->block.supercontext)
Richard Stallman committed
897 898
/* Note: when changing this, make sure to find the places
   that use chainon or nreverse.  */
899
#define BLOCK_CHAIN(NODE) TREE_CHAIN (BLOCK_CHECK (NODE))
900 901
#define BLOCK_ABSTRACT_ORIGIN(NODE) (BLOCK_CHECK (NODE)->block.abstract_origin)
#define BLOCK_ABSTRACT(NODE) (BLOCK_CHECK (NODE)->block.abstract_flag)
Richard Stallman committed
902 903 904

/* Nonzero means that this block is prepared to handle exceptions
   listed in the BLOCK_VARS slot.  */
905 906
#define BLOCK_HANDLER_BLOCK(NODE) \
  (BLOCK_CHECK (NODE)->block.handler_block_flag)
Richard Stallman committed
907

908 909 910 911 912
/* An index number for this block.  These values are not guaranteed to
   be unique across functions -- whether or not they are depends on
   the debugging output format in use.  */
#define BLOCK_NUMBER(NODE) (BLOCK_CHECK (NODE)->block.block_num)

913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931
/* If block reordering splits a lexical block into discontiguous
   address ranges, we'll make a copy of the original block.

   Note that this is logically distinct from BLOCK_ABSTRACT_ORIGIN.
   In that case, we have one source block that has been replicated
   (through inlining or unrolling) into many logical blocks, and that
   these logical blocks have different physical variables in them.

   In this case, we have one logical block split into several
   non-contiguous address ranges.  Most debug formats can't actually
   represent this idea directly, so we fake it by creating multiple
   logical blocks with the same variables in them.  However, for those
   that do support non-contiguous regions, these allow the original
   logical block to be reconstructed, along with the set of address
   ranges.

   One of the logical block fragments is arbitrarily chosen to be
   the ORIGIN.  The other fragments will point to the origin via
   BLOCK_FRAGMENT_ORIGIN; the origin itself will have this pointer
Kazu Hirata committed
932
   be null.  The list of fragments will be chained through
933 934
   BLOCK_FRAGMENT_CHAIN from the origin.  */

935 936
#define BLOCK_FRAGMENT_ORIGIN(NODE) (BLOCK_CHECK (NODE)->block.fragment_origin)
#define BLOCK_FRAGMENT_CHAIN(NODE) (BLOCK_CHECK (NODE)->block.fragment_chain)
937

938
struct tree_block GTY(())
Richard Stallman committed
939
{
940
  struct tree_common common;
941 942 943

  unsigned handler_block_flag : 1;
  unsigned abstract_flag : 1;
944
  unsigned block_num : 30;
945

946 947 948 949 950 951
  tree vars;
  tree subblocks;
  tree supercontext;
  tree abstract_origin;
  tree fragment_origin;
  tree fragment_chain;
Richard Stallman committed
952 953 954 955 956 957 958
};

/* Define fields and accessors for nodes representing data types.  */

/* See tree.def for documentation of the use of these fields.
   Look at the documentation of the various ..._TYPE tree codes.  */

959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977
#define TYPE_UID(NODE) (TYPE_CHECK (NODE)->type.uid)
#define TYPE_SIZE(NODE) (TYPE_CHECK (NODE)->type.size)
#define TYPE_SIZE_UNIT(NODE) (TYPE_CHECK (NODE)->type.size_unit)
#define TYPE_MODE(NODE) (TYPE_CHECK (NODE)->type.mode)
#define TYPE_VALUES(NODE) (TYPE_CHECK (NODE)->type.values)
#define TYPE_DOMAIN(NODE) (TYPE_CHECK (NODE)->type.values)
#define TYPE_FIELDS(NODE) (TYPE_CHECK (NODE)->type.values)
#define TYPE_METHODS(NODE) (TYPE_CHECK (NODE)->type.maxval)
#define TYPE_VFIELD(NODE) (TYPE_CHECK (NODE)->type.minval)
#define TYPE_ARG_TYPES(NODE) (TYPE_CHECK (NODE)->type.values)
#define TYPE_METHOD_BASETYPE(NODE) (TYPE_CHECK (NODE)->type.maxval)
#define TYPE_OFFSET_BASETYPE(NODE) (TYPE_CHECK (NODE)->type.maxval)
#define TYPE_POINTER_TO(NODE) (TYPE_CHECK (NODE)->type.pointer_to)
#define TYPE_REFERENCE_TO(NODE) (TYPE_CHECK (NODE)->type.reference_to)
#define TYPE_MIN_VALUE(NODE) (TYPE_CHECK (NODE)->type.minval)
#define TYPE_MAX_VALUE(NODE) (TYPE_CHECK (NODE)->type.maxval)
#define TYPE_PRECISION(NODE) (TYPE_CHECK (NODE)->type.precision)
#define TYPE_SYMTAB_ADDRESS(NODE) (TYPE_CHECK (NODE)->type.symtab.address)
#define TYPE_SYMTAB_POINTER(NODE) (TYPE_CHECK (NODE)->type.symtab.pointer)
978
#define TYPE_SYMTAB_DIE(NODE) (TYPE_CHECK (NODE)->type.symtab.die)
979 980 981 982 983
#define TYPE_NAME(NODE) (TYPE_CHECK (NODE)->type.name)
#define TYPE_NEXT_VARIANT(NODE) (TYPE_CHECK (NODE)->type.next_variant)
#define TYPE_MAIN_VARIANT(NODE) (TYPE_CHECK (NODE)->type.main_variant)
#define TYPE_CONTEXT(NODE) (TYPE_CHECK (NODE)->type.context)
#define TYPE_LANG_SPECIFIC(NODE) (TYPE_CHECK (NODE)->type.lang_specific)
Richard Stallman committed
984

985 986 987 988 989
/* For a VECTOR_TYPE node, this describes a different type which is emitted
   in the debugging output.  We use this to describe a vector as a
   structure containing an array.  */
#define TYPE_DEBUG_REPRESENTATION_TYPE(NODE) (TYPE_CHECK (NODE)->type.values)

990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009
/* Indirect types present difficulties because they may be represented
   as either POINTER_TYPE/REFERENCE_TYPE nodes (unbounded) or as
   RECORD_TYPE nodes (bounded).  Bounded and unbounded pointers might
   be logically equivalent, but physically different.  Simple
   comparison of the main variant only tells if the types are
   logically equivalent.  Use this predicate to compare for physical
   equivalency.  */

/* Types have the same main variant, and have the same boundedness.  */
#define TYPE_MAIN_VARIANTS_PHYSICALLY_EQUAL_P(TYPE1, TYPE2)	\
  (TYPE_MAIN_VARIANT (TYPE1) == TYPE_MAIN_VARIANT (TYPE2)	\
   && TREE_CODE (TYPE1) == TREE_CODE (TYPE2))

/* Return the type variant that has no qualifiers (i.e., the main variant),
   except that the boundedness qualifier is preserved.  */
#define TYPE_MAIN_PHYSICAL_VARIANT(TYPE)		\
  (BOUNDED_POINTER_TYPE_P (TYPE)			\
   ? build_qualified_type (TYPE, TYPE_QUAL_BOUNDED)	\
   : TYPE_MAIN_VARIANT (TYPE))

1010 1011 1012 1013 1014
/* For aggregate types, information about this type, as a base type
   for itself.  Used in a language-dependent way for types that are
   neither a RECORD_TYPE, QUAL_UNION_TYPE, nor a UNION_TYPE.  */
#define TYPE_BINFO(NODE) (TYPE_CHECK (NODE)->type.binfo)

1015 1016 1017 1018 1019 1020 1021 1022 1023
/* The (language-specific) typed-based alias set for this type.
   Objects whose TYPE_ALIAS_SETs are different cannot alias each
   other.  If the TYPE_ALIAS_SET is -1, no alias set has yet been
   assigned to this type.  If the TYPE_ALIAS_SET is 0, objects of this
   type can alias objects of any type.  */
#define TYPE_ALIAS_SET(NODE) (TYPE_CHECK (NODE)->type.alias_set)

/* Nonzero iff the typed-based alias set for this type has been
   calculated.  */
1024
#define TYPE_ALIAS_SET_KNOWN_P(NODE) (TYPE_CHECK (NODE)->type.alias_set != -1)
1025

1026 1027
/* A TREE_LIST of IDENTIFIER nodes of the attributes that apply
   to this type.  */
1028
#define TYPE_ATTRIBUTES(NODE) (TYPE_CHECK (NODE)->type.attributes)
1029

1030 1031
/* The alignment necessary for objects of this type.
   The value is an int, measured in bits.  */
1032
#define TYPE_ALIGN(NODE) (TYPE_CHECK (NODE)->type.align)
1033

1034 1035 1036 1037
/* 1 if the alignment for this type was requested by "aligned" attribute,
   0 if it is the default for this type.  */
#define TYPE_USER_ALIGN(NODE) (TYPE_CHECK (NODE)->type.user_align)

1038
/* The alignment for NODE, in bytes.  */
1039
#define TYPE_ALIGN_UNIT(NODE) (TYPE_ALIGN (NODE) / BITS_PER_UNIT)
1040

1041 1042 1043 1044 1045 1046
/* If your language allows you to declare types, and you want debug info
   for them, then you need to generate corresponding TYPE_DECL nodes.
   These "stub" TYPE_DECL nodes have no name, and simply point at the
   type node.  You then set the TYPE_STUB_DECL field of the type node
   to point back at the TYPE_DECL node.  This allows the debug routines
   to know that the two nodes represent the same type, so that we only
1047
   get one debug info record for them.  */
1048
#define TYPE_STUB_DECL(NODE) TREE_CHAIN (NODE)
Richard Stallman committed
1049

1050 1051 1052
/* In a RECORD_TYPE, UNION_TYPE or QUAL_UNION_TYPE, it means the type
   has BLKmode only because it lacks the alignment requirement for
   its size.  */
1053
#define TYPE_NO_FORCE_BLK(NODE) (TYPE_CHECK (NODE)->type.no_force_blk_flag)
Richard Stallman committed
1054

1055 1056 1057 1058 1059 1060 1061 1062
/* In an INTEGER_TYPE, it means the type represents a size.  We use
   this both for validity checking and to permit optimizations that
   are unsafe for other types.  Note that the C `size_t' type should
   *not* have this flag set.  The `size_t' type is simply a typedef
   for an ordinary integer type that happens to be the type of an
   expression returned by `sizeof'; `size_t' has no special
   properties.  Expressions whose type have TYPE_IS_SIZETYPE set are
   always actual sizes.  */
1063 1064 1065 1066 1067 1068
#define TYPE_IS_SIZETYPE(NODE) \
  (INTEGER_TYPE_CHECK (NODE)->type.no_force_blk_flag)

/* In a FUNCTION_TYPE, indicates that the function returns with the stack
   pointer depressed.  */
#define TYPE_RETURNS_STACK_DEPRESSED(NODE) \
1069
  (FUNCTION_TYPE_CHECK (NODE)->type.no_force_blk_flag)
1070

Richard Stallman committed
1071
/* Nonzero in a type considered volatile as a whole.  */
1072
#define TYPE_VOLATILE(NODE) (TYPE_CHECK (NODE)->common.volatile_flag)
Richard Stallman committed
1073 1074

/* Means this type is const-qualified.  */
1075
#define TYPE_READONLY(NODE) (TYPE_CHECK (NODE)->common.readonly_flag)
Richard Stallman committed
1076

1077 1078 1079 1080
/* If nonzero, this type is `restrict'-qualified, in the C sense of
   the term.  */
#define TYPE_RESTRICT(NODE) (TYPE_CHECK (NODE)->type.restrict_flag)

1081 1082 1083 1084 1085
/* If nonzero, this type's size and layout, (or the size and layout of
   its arguments and/or return value in the case of a FUNCTION_TYPE or
   METHOD_TYPE) was changed by the presence of pointer bounds.  */
#define TYPE_BOUNDED(NODE) (TYPE_CHECK (NODE)->common.bounded_flag)

1086 1087 1088 1089 1090 1091 1092 1093
/* There is a TYPE_QUAL value for each type qualifier.  They can be
   combined by bitwise-or to form the complete set of qualifiers for a
   type.  */

#define TYPE_UNQUALIFIED   0x0
#define TYPE_QUAL_CONST    0x1
#define TYPE_QUAL_VOLATILE 0x2
#define TYPE_QUAL_RESTRICT 0x4
1094
#define TYPE_QUAL_BOUNDED  0x8
1095 1096

/* The set of type qualifiers for this type.  */
1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112
#define TYPE_QUALS(NODE)					\
  ((TYPE_READONLY (NODE) * TYPE_QUAL_CONST)			\
   | (TYPE_VOLATILE (NODE) * TYPE_QUAL_VOLATILE)		\
   | (TYPE_RESTRICT (NODE) * TYPE_QUAL_RESTRICT)		\
   | (BOUNDED_INDIRECT_TYPE_P (NODE) * TYPE_QUAL_BOUNDED))

/* The set of qualifiers pertinent to an expression node.  */
#define TREE_EXPR_QUALS(NODE)				\
  ((TREE_READONLY (NODE) * TYPE_QUAL_CONST)		\
   | (TREE_THIS_VOLATILE (NODE) * TYPE_QUAL_VOLATILE)	\
   | (TREE_BOUNDED (NODE) * TYPE_QUAL_BOUNDED))

/* The set of qualifiers pertinent to a FUNCTION_DECL node.  */
#define TREE_FUNC_QUALS(NODE)				\
  ((TREE_READONLY (NODE) * TYPE_QUAL_CONST)		\
   | (TREE_THIS_VOLATILE (NODE) * TYPE_QUAL_VOLATILE))
1113

1114
/* These flags are available for each language front end to use internally.  */
1115 1116 1117 1118 1119 1120 1121
#define TYPE_LANG_FLAG_0(NODE) (TYPE_CHECK (NODE)->type.lang_flag_0)
#define TYPE_LANG_FLAG_1(NODE) (TYPE_CHECK (NODE)->type.lang_flag_1)
#define TYPE_LANG_FLAG_2(NODE) (TYPE_CHECK (NODE)->type.lang_flag_2)
#define TYPE_LANG_FLAG_3(NODE) (TYPE_CHECK (NODE)->type.lang_flag_3)
#define TYPE_LANG_FLAG_4(NODE) (TYPE_CHECK (NODE)->type.lang_flag_4)
#define TYPE_LANG_FLAG_5(NODE) (TYPE_CHECK (NODE)->type.lang_flag_5)
#define TYPE_LANG_FLAG_6(NODE) (TYPE_CHECK (NODE)->type.lang_flag_6)
Richard Stallman committed
1122

1123 1124
/* If set in an ARRAY_TYPE, indicates a string type (for languages
   that distinguish string from array of char).
1125
   If set in a SET_TYPE, indicates a bitstring type.  */
1126
#define TYPE_STRING_FLAG(NODE) (TYPE_CHECK (NODE)->type.string_flag)
1127

1128
/* If non-NULL, this is an upper bound of the size (in bytes) of an
1129 1130 1131 1132
   object of the given ARRAY_TYPE.  This allows temporaries to be
   allocated.  */
#define TYPE_ARRAY_MAX_SIZE(ARRAY_TYPE) \
  TYPE_MAX_VALUE (ARRAY_TYPE_CHECK (ARRAY_TYPE))
1133

1134
/* For a VECTOR_TYPE, this is the number of sub-parts of the vector.  */
1135 1136
#define TYPE_VECTOR_SUBPARTS(VECTOR_TYPE) \
  GET_MODE_NUNITS (VECTOR_TYPE_CHECK (VECTOR_TYPE)->type.mode)
1137 1138

  /* Indicates that objects of this type must be initialized by calling a
1139
   function when they are created.  */
1140 1141
#define TYPE_NEEDS_CONSTRUCTING(NODE) \
  (TYPE_CHECK (NODE)->type.needs_constructing_flag)
1142

1143 1144
/* Indicates that objects of this type (a UNION_TYPE), should be passed
   the same way that the first union alternative would be passed.  */
1145 1146 1147 1148 1149 1150 1151
#define TYPE_TRANSPARENT_UNION(NODE)  \
  (UNION_TYPE_CHECK (NODE)->type.transparent_union_flag)

/* For an ARRAY_TYPE, indicates that it is not permitted to
   take the address of a component of the type.  */
#define TYPE_NONALIASED_COMPONENT(NODE) \
  (ARRAY_TYPE_CHECK (NODE)->type.transparent_union_flag)
1152

Jeff Law committed
1153
/* Indicated that objects of this type should be laid out in as
1154
   compact a way as possible.  */
1155
#define TYPE_PACKED(NODE) (TYPE_CHECK (NODE)->type.packed_flag)
1156

1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209
/* A bounded pointer or bounded reference type (collectively called
   indirect types) is represented as a RECORD_TYPE node containing
   three pointer fields whose type is the corresponding unbounded
   POINTER_TYPE or REFERENCE_TYPE.  A RECORD_TYPE node that represents
   a bounded indirect type differs from a normal RECORD_TYPE node in
   that its TREE_TYPE is non-NULL and has the pointed-to type just as
   a POINTER_TYPE or REFERENCE_TYPE node has.  The bounded RECORD_TYPE
   nodes are stored on the same type variant chain alongside the
   variants of the underlaying indirect types nodes.  The main variant
   of such chains is always the unbounded type.  */

/* Access the field decls of a bounded-pointer type.  */
#define TYPE_BOUNDED_VALUE(TYPE) TYPE_FIELDS (TYPE)
#define TYPE_BOUNDED_BASE(TYPE) TREE_CHAIN (TYPE_BOUNDED_VALUE (TYPE))
#define TYPE_BOUNDED_EXTENT(TYPE) TREE_CHAIN (TYPE_BOUNDED_BASE (TYPE))

/* Access the simple-pointer subtype of a bounded-pointer type.  */
#define TYPE_BOUNDED_SUBTYPE(TYPE) TREE_TYPE (TYPE_BOUNDED_VALUE (TYPE))

/* Find the unbounded counterpart to a type, or return TYPE if it is
   already unbounded.  */
#define TYPE_UNBOUNDED_VARIANT(TYPE) \
  (BOUNDED_POINTER_TYPE_P (TYPE) ? TYPE_BOUNDED_SUBTYPE (TYPE) : (TYPE))

/* This field comprises two bits, for values in the range 0..3:

   depth=0 means that type is a scalar, or an aggregate that contains
   only depth=0 types, or a function that has only depth=0 types for
   its return value and argument types.

   depth=1 means that type is a pointer to a depth=0 type, or an
   aggregate that contains only depth=0 and depth=1 types, or a
   function that has only depth=0 and depth=1 types for its return
   value and argument types.

   The meanings of depth=2 and depth=3 are obvious by induction.
   Varargs functions are depth=3.  The type `va_list' is depth=3.

   The purpose of measuring pointer depth of a type is to determine
   the eligibility of a function for an automatically-generated
   bounded-pointer thunk.  A depth=0 functions needs no thunk.  A
   depth=1 function is eligible for an automatic thunk.  Functions
   with depth 2 or more are too complex to get automatic thunks.

   Function decls also have a pointer_depth field, since we also
   consider the actual argument types for functions.  */

#define TYPE_POINTER_DEPTH(TYPE) (TYPE_CHECK (TYPE)->type.pointer_depth)

/* In a FUNCTION_TYPE node, this bit stores the value of
   default_pointer_boundedness at the time TYPE was created.  It is
   useful for choosing default boundedness of function arguments for
   non-prototype function decls and for varargs/stdarg lists.  */
1210 1211
#define TYPE_AMBIENT_BOUNDEDNESS(TYPE) \
  (FUNCTION_TYPE_CHECK (TYPE)->type.transparent_union_flag)
1212 1213 1214 1215

#define MAX_POINTER_DEPTH 2
#define VA_LIST_POINTER_DEPTH 3

1216 1217 1218
struct die_struct;

struct tree_type GTY(())
Richard Stallman committed
1219
{
1220
  struct tree_common common;
1221 1222 1223 1224
  tree values;
  tree size;
  tree size_unit;
  tree attributes;
1225
  unsigned int uid;
Richard Stallman committed
1226

1227
  unsigned int precision : 9;
1228
  ENUM_BITFIELD(machine_mode) mode : 7;
1229

1230
  unsigned string_flag : 1;
Richard Stallman committed
1231
  unsigned no_force_blk_flag : 1;
1232
  unsigned needs_constructing_flag : 1;
1233
  unsigned transparent_union_flag : 1;
1234
  unsigned packed_flag : 1;
1235
  unsigned restrict_flag : 1;
1236
  unsigned pointer_depth : 2;
1237

Richard Stallman committed
1238 1239 1240 1241 1242 1243 1244
  unsigned lang_flag_0 : 1;
  unsigned lang_flag_1 : 1;
  unsigned lang_flag_2 : 1;
  unsigned lang_flag_3 : 1;
  unsigned lang_flag_4 : 1;
  unsigned lang_flag_5 : 1;
  unsigned lang_flag_6 : 1;
1245
  unsigned user_align : 1;
Richard Stallman committed
1246

1247
  unsigned int align;
1248 1249
  tree pointer_to;
  tree reference_to;
1250 1251 1252 1253 1254 1255
  union tree_type_symtab {
    int address; 
    char * GTY ((tag ("1"))) pointer; 
    struct die_struct * GTY ((tag ("2"), skip (""))) die;
  } GTY ((desc ("debug_hooks == &sdb_debug_hooks ? 1 : debug_hooks == &dwarf2_debug_hooks ? 2 : 0"), 
	  descbits ("2"))) symtab;
1256 1257 1258 1259 1260 1261 1262
  tree name;
  tree minval;
  tree maxval;
  tree next_variant;
  tree main_variant;
  tree binfo;
  tree context;
1263
  HOST_WIDE_INT alias_set;
Richard Stallman committed
1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290
  /* Points to a structure whose details depend on the language in use.  */
  struct lang_type *lang_specific;
};

/* Define accessor macros for information about type inheritance
   and basetypes.

   A "basetype" means a particular usage of a data type for inheritance
   in another type.  Each such basetype usage has its own "binfo"
   object to describe it.  The binfo object is a TREE_VEC node.

   Inheritance is represented by the binfo nodes allocated for a
   given type.  For example, given types C and D, such that D is
   inherited by C, 3 binfo nodes will be allocated: one for describing
   the binfo properties of C, similarly one for D, and one for
   describing the binfo properties of D as a base type for C.
   Thus, given a pointer to class C, one can get a pointer to the binfo
   of D acting as a basetype for C by looking at C's binfo's basetypes.  */

/* The actual data type node being inherited in this basetype.  */
#define BINFO_TYPE(NODE) TREE_TYPE (NODE)

/* The offset where this basetype appears in its containing type.
   BINFO_OFFSET slot holds the offset (in bytes)
   from the base of the complete object to the base of the part of the
   object that is allocated on behalf of this `type'.
   This is always 0 except when there is multiple inheritance.  */
Kazu Hirata committed
1291

Richard Stallman committed
1292 1293
#define BINFO_OFFSET(NODE) TREE_VEC_ELT ((NODE), 1)
#define TYPE_BINFO_OFFSET(NODE) BINFO_OFFSET (TYPE_BINFO (NODE))
1294
#define BINFO_OFFSET_ZEROP(NODE) (integer_zerop (BINFO_OFFSET (NODE)))
Richard Stallman committed
1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308

/* The virtual function table belonging to this basetype.  Virtual
   function tables provide a mechanism for run-time method dispatching.
   The entries of a virtual function table are language-dependent.  */

#define BINFO_VTABLE(NODE) TREE_VEC_ELT ((NODE), 2)
#define TYPE_BINFO_VTABLE(NODE) BINFO_VTABLE (TYPE_BINFO (NODE))

/* The virtual functions in the virtual function table.  This is
   a TREE_LIST that is used as an initial approximation for building
   a virtual function table for this basetype.  */
#define BINFO_VIRTUALS(NODE) TREE_VEC_ELT ((NODE), 3)
#define TYPE_BINFO_VIRTUALS(NODE) BINFO_VIRTUALS (TYPE_BINFO (NODE))

1309 1310
/* A vector of binfos for the direct basetypes inherited by this
   basetype.
Richard Stallman committed
1311

1312 1313 1314
   If this basetype describes type D as inherited in C, and if the
   basetypes of D are E and F, then this vector contains binfos for
   inheritance of E and F by C.
Richard Stallman committed
1315 1316 1317 1318 1319 1320 1321 1322

   ??? This could probably be done by just allocating the
   base types at the end of this TREE_VEC (instead of using
   another TREE_VEC).  This would simplify the calculation
   of how many basetypes a given type had.  */
#define BINFO_BASETYPES(NODE) TREE_VEC_ELT ((NODE), 4)
#define TYPE_BINFO_BASETYPES(NODE) TREE_VEC_ELT (TYPE_BINFO (NODE), 4)

1323 1324 1325 1326
/* The number of basetypes for NODE.  */
#define BINFO_N_BASETYPES(NODE) \
  (BINFO_BASETYPES (NODE) ? TREE_VEC_LENGTH (BINFO_BASETYPES (NODE)) : 0)

1327 1328
/* Accessor macro to get to the Nth basetype of this basetype.  */
#define BINFO_BASETYPE(NODE,N) TREE_VEC_ELT (BINFO_BASETYPES (NODE), (N))
1329 1330
#define TYPE_BINFO_BASETYPE(NODE,N) \
  BINFO_TYPE (TREE_VEC_ELT (BINFO_BASETYPES (TYPE_BINFO (NODE)), (N)))
1331

1332 1333 1334 1335 1336
/* For a BINFO record describing a virtual base class, i.e., one where
   TREE_VIA_VIRTUAL is set, this field assists in locating the virtual
   base.  The actual contents are language-dependent.  Under the old
   ABI, the C++ front-end uses a FIELD_DECL whose contents are a
   pointer to the virtual base; under the new ABI this field is
1337
   instead an INTEGER_CST giving an offset into the vtable where the
1338
   offset to the virtual base can be found.  */
1339
#define BINFO_VPTR_FIELD(NODE) TREE_VEC_ELT (NODE, 5)
1340

1341
/* The size of a base class subobject of this type.  Not all frontends
1342
   currently allocate the space for these fields.  */
1343 1344
#define BINFO_SIZE(NODE) TREE_VEC_ELT (NODE, 6)
#define BINFO_SIZE_UNIT(NODE) TREE_VEC_ELT (NODE, 7)
1345
#define TYPE_BINFO_SIZE(NODE) BINFO_SIZE (TYPE_BINFO (NODE))
1346
#define TYPE_BINFO_SIZE_UNIT(NODE) BINFO_SIZE_UNIT (TYPE_BINFO (NODE))
Richard Stallman committed
1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362

/* Slot used to build a chain that represents a use of inheritance.
   For example, if X is derived from Y, and Y is derived from Z,
   then this field can be used to link the binfo node for X to
   the binfo node for X's Y to represent the use of inheritance
   from X to Y.  Similarly, this slot of the binfo node for X's Y
   can point to the Z from which Y is inherited (in X's inheritance
   hierarchy).  In this fashion, one can represent and traverse specific
   uses of inheritance using the binfo nodes themselves (instead of
   consing new space pointing to binfo nodes).
   It is up to the language-dependent front-ends to maintain
   this information as necessary.  */
#define BINFO_INHERITANCE_CHAIN(NODE) TREE_VEC_ELT ((NODE), 0)

/* Define fields and accessors for nodes representing declared names.  */

1363 1364
/* Nonzero if DECL represents a decl.  */
#define DECL_P(DECL)	(TREE_CODE_CLASS (TREE_CODE (DECL)) == 'd')
1365

Richard Stallman committed
1366 1367
/* This is the name of the object as written by the user.
   It is an IDENTIFIER_NODE.  */
1368
#define DECL_NAME(NODE) (DECL_CHECK (NODE)->decl.name)
1369

1370 1371 1372
/* The name of the object as the assembler will see it (but before any
   translations made by ASM_OUTPUT_LABELREF).  Often this is the same
   as DECL_NAME.  It is an IDENTIFIER_NODE.  */
1373
#define DECL_ASSEMBLER_NAME(NODE) decl_assembler_name (NODE)
1374 1375 1376 1377

/* Returns non-zero if the DECL_ASSEMBLER_NAME for NODE has been set.  If zero,
   the NODE might still have a DECL_ASSEMBLER_NAME -- it just hasn't been set
   yet.  */
1378 1379
#define DECL_ASSEMBLER_NAME_SET_P(NODE) \
  (DECL_CHECK (NODE)->decl.assembler_name != NULL_TREE)
1380

1381 1382 1383
/* Set the DECL_ASSEMBLER_NAME for NODE to NAME.  */
#define SET_DECL_ASSEMBLER_NAME(NODE, NAME) \
  (DECL_CHECK (NODE)->decl.assembler_name = (NAME))
1384 1385 1386 1387 1388

/* Copy the DECL_ASSEMBLER_NAME from DECL1 to DECL2.  Note that if DECL1's
   DECL_ASSEMBLER_NAME has not yet been set, using this macro will not cause
   the DECL_ASSEMBLER_NAME of either DECL to be set.  In other words, the
   semantics of using this macro, are different than saying:
Kazu Hirata committed
1389

1390 1391 1392
     SET_DECL_ASSEMBLER_NAME(DECL2, DECL_ASSEMBLER_NAME (DECL1))

   which will try to set the DECL_ASSEMBLER_NAME for DECL1.  */
1393

1394 1395
#define COPY_DECL_ASSEMBLER_NAME(DECL1, DECL2)				\
  (DECL_ASSEMBLER_NAME_SET_P (DECL1)					\
Kazu Hirata committed
1396 1397
   ? (void) SET_DECL_ASSEMBLER_NAME (DECL2,				\
				     DECL_ASSEMBLER_NAME (DECL1))	\
1398 1399
   : (void) 0)

1400 1401
/* Records the section name in a section attribute.  Used to pass
   the name from decl_attributes to make_function_rtl and make_decl_rtl.  */
1402
#define DECL_SECTION_NAME(NODE) (DECL_CHECK (NODE)->decl.section_name)
1403

Richard Stallman committed
1404
/*  For FIELD_DECLs, this is the
1405 1406
    RECORD_TYPE, UNION_TYPE, or QUAL_UNION_TYPE node that the field is
    a member of.  For VAR_DECL, PARM_DECL, FUNCTION_DECL, LABEL_DECL,
x  
Jason Merrill committed
1407 1408 1409
    and CONST_DECL nodes, this points to either the FUNCTION_DECL for the
    containing function, the RECORD_TYPE or UNION_TYPE for the containing
    type, or NULL_TREE if the given decl has "file scope".  */
1410
#define DECL_CONTEXT(NODE) (DECL_CHECK (NODE)->decl.context)
1411
#define DECL_FIELD_CONTEXT(NODE) (FIELD_DECL_CHECK (NODE)->decl.context)
Joseph Myers committed
1412 1413
/* In a DECL this is the field where attributes are stored.  */
#define DECL_ATTRIBUTES(NODE) (DECL_CHECK (NODE)->decl.attributes)
1414 1415 1416 1417 1418 1419
/* In a FIELD_DECL, this is the field position, counting in bytes, of the
   byte containing the bit closest to the beginning of the structure.  */
#define DECL_FIELD_OFFSET(NODE) (FIELD_DECL_CHECK (NODE)->decl.arguments)
/* In a FIELD_DECL, this is the offset, in bits, of the first bit of the
   field from DECL_FIELD_OFFSET.  */
#define DECL_FIELD_BIT_OFFSET(NODE) (FIELD_DECL_CHECK (NODE)->decl.u2.t)
Richard Stallman committed
1420
/* In a FIELD_DECL, this indicates whether the field was a bit-field and
1421 1422
   if so, the type that was originally specified for it.
   TREE_TYPE may have been modified (in finish_struct).  */
1423
#define DECL_BIT_FIELD_TYPE(NODE) (FIELD_DECL_CHECK (NODE)->decl.result)
1424 1425 1426
/* In FUNCTION_DECL, a chain of ..._DECL nodes.
   VAR_DECL and PARM_DECL reserve the arguments slot for language-specific
   uses.  */
1427
#define DECL_ARGUMENTS(NODE) (DECL_CHECK (NODE)->decl.arguments)
1428 1429 1430
/* This field is used to reference anything in decl.result and is meant only
   for use by the garbage collector.  */
#define DECL_RESULT_FLD(NODE) (DECL_CHECK (NODE)->decl.result)
Richard Stallman committed
1431
/* In FUNCTION_DECL, holds the decl for the return value.  */
1432
#define DECL_RESULT(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.result)
1433
/* For a TYPE_DECL, holds the "original" type.  (TREE_TYPE has the copy.) */
1434
#define DECL_ORIGINAL_TYPE(NODE) (TYPE_DECL_CHECK (NODE)->decl.result)
Richard Stallman committed
1435
/* In PARM_DECL, holds the type as written (perhaps a function or array).  */
1436
#define DECL_ARG_TYPE_AS_WRITTEN(NODE) (PARM_DECL_CHECK (NODE)->decl.result)
Richard Stallman committed
1437 1438 1439 1440 1441
/* For a FUNCTION_DECL, holds the tree of BINDINGs.
   For a VAR_DECL, holds the initial value.
   For a PARM_DECL, not used--default
   values for parameters are encoded in the type of the function,
   not in the PARM_DECL slot.  */
1442
#define DECL_INITIAL(NODE) (DECL_CHECK (NODE)->decl.initial)
Richard Stallman committed
1443 1444
/* For a PARM_DECL, records the data type used to pass the argument,
   which may be different from the type seen in the program.  */
1445
#define DECL_ARG_TYPE(NODE) (PARM_DECL_CHECK (NODE)->decl.initial)
1446 1447
/* For a FIELD_DECL in a QUAL_UNION_TYPE, records the expression, which
   if nonzero, indicates that the field occupies the type.  */
1448
#define DECL_QUALIFIER(NODE) (FIELD_DECL_CHECK (NODE)->decl.initial)
1449 1450 1451 1452
/* These two fields describe where in the source code the declaration
   was.  If the declaration appears in several places (as for a C
   function that is declared first and then defined later), this
   information should refer to the definition.  */
1453 1454 1455
#define DECL_SOURCE_LOCATION(NODE) (DECL_CHECK (NODE)->decl.locus)
#define DECL_SOURCE_FILE(NODE) (DECL_SOURCE_LOCATION (NODE).file)
#define DECL_SOURCE_LINE(NODE) (DECL_SOURCE_LOCATION (NODE).line)
1456
/* Holds the size of the datum, in bits, as a tree expression.
Richard Stallman committed
1457
   Need not be constant.  */
1458
#define DECL_SIZE(NODE) (DECL_CHECK (NODE)->decl.size)
1459 1460
/* Likewise for the size in bytes.  */
#define DECL_SIZE_UNIT(NODE) (DECL_CHECK (NODE)->decl.size_unit)
1461
/* Holds the alignment required for the datum, in bits.  */
1462
#define DECL_ALIGN(NODE) (DECL_CHECK (NODE)->decl.u1.a.align)
1463 1464
/* The alignment of NODE, in bytes.  */
#define DECL_ALIGN_UNIT(NODE) (DECL_ALIGN (NODE) / BITS_PER_UNIT)
1465 1466 1467 1468 1469 1470 1471 1472 1473
/* For FIELD_DECLs, off_align holds the number of low-order bits of
   DECL_FIELD_OFFSET which are known to be always zero.
   DECL_OFFSET_ALIGN thus returns the alignment that DECL_FIELD_OFFSET
   has.  */
#define DECL_OFFSET_ALIGN(NODE) \
  (((unsigned HOST_WIDE_INT)1) << FIELD_DECL_CHECK (NODE)->decl.u1.a.off_align)
/* Specify that DECL_ALIGN(NODE) is a multiple of X.  */
#define SET_DECL_OFFSET_ALIGN(NODE, X) \
  (FIELD_DECL_CHECK (NODE)->decl.u1.a.off_align	= exact_log2 ((X) & -(X)))
1474 1475 1476
/* 1 if the alignment for this type was requested by "aligned" attribute,
   0 if it is the default for this type.  */
#define DECL_USER_ALIGN(NODE) (DECL_CHECK (NODE)->decl.user_align)
1477 1478 1479
/* Holds the machine mode corresponding to the declaration of a variable or
   field.  Always equal to TYPE_MODE (TREE_TYPE (decl)) except for a
   FIELD_DECL.  */
1480
#define DECL_MODE(NODE) (DECL_CHECK (NODE)->decl.mode)
1481 1482 1483 1484
/* Holds the RTL expression for the value of a variable or function.  If
   PROMOTED_MODE is defined, the mode of this expression may not be same
   as DECL_MODE.  In that case, DECL_MODE contains the mode corresponding
   to the variable's data type, while the mode
Kazu Hirata committed
1485
   of DECL_RTL is the mode actually used to contain the data.
1486 1487 1488 1489 1490 1491 1492 1493

   This value can be evaluated lazily for functions, variables with
   static storage duration, and labels.  */
#define DECL_RTL(NODE)					\
  (DECL_CHECK (NODE)->decl.rtl				\
   ? (NODE)->decl.rtl					\
   : (make_decl_rtl (NODE, NULL), (NODE)->decl.rtl))
/* Set the DECL_RTL for NODE to RTL.  */
1494
#define SET_DECL_RTL(NODE, RTL) (DECL_CHECK (NODE)->decl.rtl = (RTL))
1495
/* Returns non-zero if the DECL_RTL for NODE has already been set.  */
1496
#define DECL_RTL_SET_P(NODE)  (DECL_CHECK (NODE)->decl.rtl != NULL)
1497 1498 1499 1500 1501
/* Copy the RTL from NODE1 to NODE2.  If the RTL was not set for
   NODE1, it will not be set for NODE2; this is a lazy copy.  */
#define COPY_DECL_RTL(NODE1, NODE2) \
  (DECL_CHECK (NODE2)->decl.rtl = DECL_CHECK (NODE1)->decl.rtl)
/* The DECL_RTL for NODE, if it is set, or NULL, if it is not set.  */
1502 1503
#define DECL_RTL_IF_SET(NODE) (DECL_RTL_SET_P (NODE) ? DECL_RTL (NODE) : NULL)

1504 1505
/* Holds an INSN_LIST of all of the live ranges in which the variable
   has been moved to a possibly different register.  */
1506
#define DECL_LIVE_RANGE_RTL(NODE) (DECL_CHECK (NODE)->decl.live_range_rtl)
1507

Richard Stallman committed
1508 1509
/* For PARM_DECL, holds an RTL for the stack slot or register
   where the data was actually passed.  */
1510
#define DECL_INCOMING_RTL(NODE) (PARM_DECL_CHECK (NODE)->decl.u2.r)
1511

Richard Stallman committed
1512
/* For FUNCTION_DECL, if it is inline, holds the saved insn chain.  */
1513
#define DECL_SAVED_INSNS(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.u2.f)
1514

Richard Stallman committed
1515 1516
/* For FUNCTION_DECL, if it is built-in,
   this identifies which built-in operation it is.  */
1517
#define DECL_FUNCTION_CODE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.u1.f)
Richard Stallman committed
1518 1519 1520 1521 1522 1523 1524 1525

/* The DECL_VINDEX is used for FUNCTION_DECLS in two different ways.
   Before the struct containing the FUNCTION_DECL is laid out,
   DECL_VINDEX may point to a FUNCTION_DECL in a base class which
   is the FUNCTION_DECL which this FUNCTION_DECL will replace as a virtual
   function.  When the class is laid out, this pointer is changed
   to an INTEGER_CST node which is suitable for use as an index
   into the virtual function table.  */
1526
#define DECL_VINDEX(NODE) (DECL_CHECK (NODE)->decl.vindex)
1527

Richard Stallman committed
1528 1529 1530
/* For FIELD_DECLS, DECL_FCONTEXT is the *first* baseclass in
   which this FIELD_DECL is defined.  This information is needed when
   writing debugging information about vfield and vbase decls for C++.  */
1531
#define DECL_FCONTEXT(NODE) (FIELD_DECL_CHECK (NODE)->decl.vindex)
Richard Stallman committed
1532

1533
/* Every ..._DECL node gets a unique number.  */
1534
#define DECL_UID(NODE) (DECL_CHECK (NODE)->decl.uid)
1535

1536 1537
/* For any sort of a ..._DECL node, this points to the original (abstract)
   decl node which this decl is an instance of, or else it is NULL indicating
1538 1539 1540
   that this decl is not an instance of some other decl.  For example,
   in a nested declaration of an inline function, this points back to the
   definition.  */
1541
#define DECL_ABSTRACT_ORIGIN(NODE) (DECL_CHECK (NODE)->decl.abstract_origin)
1542

1543 1544 1545
/* Like DECL_ABSTRACT_ORIGIN, but returns NODE if there's no abstract
   origin.  This is useful when setting the DECL_ABSTRACT_ORIGIN.  */
#define DECL_ORIGIN(NODE) \
1546
  (DECL_ABSTRACT_ORIGIN (NODE) ? DECL_ABSTRACT_ORIGIN (NODE) : (NODE))
1547

1548 1549 1550
/* Nonzero for any sort of ..._DECL node means this decl node represents an
   inline instance of some original (abstract) decl from an inline function;
   suppress any warnings about shadowing some other variable.  FUNCTION_DECL
1551
   nodes can also have their abstract origin set to themselves.  */
1552
#define DECL_FROM_INLINE(NODE) (DECL_ABSTRACT_ORIGIN (NODE) != NULL_TREE \
1553
				&& DECL_ABSTRACT_ORIGIN (NODE) != (NODE))
Richard Stallman committed
1554 1555 1556

/* Nonzero if a _DECL means that the name of this decl should be ignored
   for symbolic debug purposes.  */
1557
#define DECL_IGNORED_P(NODE) (DECL_CHECK (NODE)->decl.ignored_flag)
Richard Stallman committed
1558

1559 1560 1561
/* Nonzero for a given ..._DECL node means that this node represents an
   "abstract instance" of the given declaration (e.g. in the original
   declaration of an inline function).  When generating symbolic debugging
Richard Kenner committed
1562
   information, we mustn't try to generate any address information for nodes
1563 1564
   marked as "abstract instances" because we don't actually generate
   any code or allocate any data space for such instances.  */
1565
#define DECL_ABSTRACT(NODE) (DECL_CHECK (NODE)->decl.abstract_flag)
1566

1567 1568
/* Nonzero if a _DECL means that no warnings should be generated just
   because this decl is unused.  */
1569 1570
#define DECL_IN_SYSTEM_HEADER(NODE) \
  (DECL_CHECK (NODE)->decl.in_system_header_flag)
1571

1572 1573 1574
/* Nonzero for a given ..._DECL node means that this node should be
   put in .common, if possible.  If a DECL_INITIAL is given, and it
   is not error_mark_node, then the decl cannot be put in .common.  */
1575
#define DECL_COMMON(NODE) (DECL_CHECK (NODE)->decl.common_flag)
1576

1577
/* Language-specific decl information.  */
1578
#define DECL_LANG_SPECIFIC(NODE) (DECL_CHECK (NODE)->decl.lang_specific)
Richard Stallman committed
1579 1580 1581 1582

/* In a VAR_DECL or FUNCTION_DECL,
   nonzero means external reference:
   do not allocate storage, and refer to a definition elsewhere.  */
1583
#define DECL_EXTERNAL(NODE) (DECL_CHECK (NODE)->decl.external_flag)
Richard Stallman committed
1584

1585
/* In a VAR_DECL for a RECORD_TYPE, sets number for non-init_priority
1586
   initializatons.  */
1587 1588
#define DEFAULT_INIT_PRIORITY 65535
#define MAX_INIT_PRIORITY 65535
1589
#define MAX_RESERVED_INIT_PRIORITY 100
1590

1591 1592
/* In a TYPE_DECL
   nonzero means the detail info about this type is not dumped into stabs.
Kazu Hirata committed
1593
   Instead it will generate cross reference ('x') of names.
1594
   This uses the same flag as DECL_EXTERNAL.  */
1595
#define TYPE_DECL_SUPPRESS_DEBUG(NODE) \
1596
  (TYPE_DECL_CHECK (NODE)->decl.external_flag)
1597

1598
/* In VAR_DECL and PARM_DECL nodes, nonzero means declared `register'.  */
1599
#define DECL_REGISTER(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
1600

1601 1602
/* In LABEL_DECL nodes, nonzero means that an error message about
   jumping into such a binding contour has been printed for this label.  */
1603
#define DECL_ERROR_ISSUED(NODE) (LABEL_DECL_CHECK (NODE)->decl.regdecl_flag)
1604

1605
/* In a FIELD_DECL, indicates this field should be bit-packed.  */
1606
#define DECL_PACKED(NODE) (FIELD_DECL_CHECK (NODE)->decl.regdecl_flag)
1607

1608 1609
/* In a FUNCTION_DECL with a non-zero DECL_CONTEXT, indicates that a
   static chain is not needed.  */
1610
#define DECL_NO_STATIC_CHAIN(NODE) \
1611
  (FUNCTION_DECL_CHECK (NODE)->decl.regdecl_flag)
Richard Stallman committed
1612 1613 1614 1615 1616 1617 1618 1619

/* Nonzero in a ..._DECL means this variable is ref'd from a nested function.
   For VAR_DECL nodes, PARM_DECL nodes, and FUNCTION_DECL nodes.

   For LABEL_DECL nodes, nonzero if nonlocal gotos to the label are permitted.

   Also set in some languages for variables, etc., outside the normal
   lexical scope, such as class instance variables.  */
1620
#define DECL_NONLOCAL(NODE) (DECL_CHECK (NODE)->decl.nonlocal_flag)
Richard Stallman committed
1621 1622 1623

/* Nonzero in a FUNCTION_DECL means this function can be substituted
   where it is called.  */
1624
#define DECL_INLINE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.inline_flag)
Richard Stallman committed
1625

1626 1627 1628
/* In a FUNCTION_DECL, nonzero if the function cannot be inlined.  */
#define DECL_UNINLINABLE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.uninlinable)

Kazu Hirata committed
1629
/* In a VAR_DECL, nonzero if the data should be allocated from
1630 1631 1632
   thread-local storage.  */
#define DECL_THREAD_LOCAL(NODE) (VAR_DECL_CHECK (NODE)->decl.thread_local_flag)

1633 1634 1635 1636 1637
/* In a FUNCTION_DECL, the saved representation of the body of the
   entire function.  Usually a COMPOUND_STMT, but in C++ this may also
   be a RETURN_INIT, CTOR_INITIALIZER, or TRY_BLOCK.  */
#define DECL_SAVED_TREE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.saved_tree)

1638
/* List of FUNCTION_DECLs inlined into this function's body.  */
1639 1640
#define DECL_INLINED_FNS(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.inlined_fns)

Richard Stallman committed
1641 1642 1643
/* Nonzero in a FUNCTION_DECL means this is a built-in function
   that is not specified by ansi C and that users are supposed to be allowed
   to redefine for any purpose whatever.  */
1644
#define DECL_BUILT_IN_NONANSI(NODE) \
1645
  (FUNCTION_DECL_CHECK (NODE)->common.unsigned_flag)
Richard Stallman committed
1646

1647 1648 1649
/* Nonzero in a FUNCTION_DECL means this function should be treated
   as if it were a malloc, meaning it returns a pointer that is
   not an alias.  */
1650
#define DECL_IS_MALLOC(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.malloc_flag)
1651

1652 1653 1654 1655
/* Nonzero in a FUNCTION_DECL means this function should be treated
   as "pure" function (like const function, but may read global memory).  */
#define DECL_IS_PURE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.pure_flag)

Richard Stallman committed
1656 1657
/* Nonzero in a FIELD_DECL means it is a bit field, and must be accessed
   specially.  */
1658
#define DECL_BIT_FIELD(NODE) (FIELD_DECL_CHECK (NODE)->decl.bit_field_flag)
1659

Richard Stallman committed
1660 1661
/* In a LABEL_DECL, nonzero means label was defined inside a binding
   contour that restored a stack level and which is now exited.  */
1662
#define DECL_TOO_LATE(NODE) (LABEL_DECL_CHECK (NODE)->decl.bit_field_flag)
1663

1664
/* Unused in FUNCTION_DECL.  */
1665

1666 1667
/* In a VAR_DECL that's static,
   nonzero if the space is in the text section.  */
1668
#define DECL_IN_TEXT_SECTION(NODE) (VAR_DECL_CHECK (NODE)->decl.bit_field_flag)
Richard Stallman committed
1669

1670 1671
/* In a FUNCTION_DECL, nonzero means a built in function.  */
#define DECL_BUILT_IN(NODE) (DECL_BUILT_IN_CLASS (NODE) != NOT_BUILT_IN)
1672

1673
/* For a builtin function, identify which part of the compiler defined it.  */
1674
#define DECL_BUILT_IN_CLASS(NODE) \
1675
   (FUNCTION_DECL_CHECK (NODE)->decl.built_in_class)
1676

1677
/* Used in VAR_DECLs to indicate that the variable is a vtable.
1678 1679
   Used in FIELD_DECLs for vtable pointers.
   Used in FUNCTION_DECLs to indicate that the function is virtual.  */
1680
#define DECL_VIRTUAL_P(NODE) (DECL_CHECK (NODE)->decl.virtual_flag)
Richard Stallman committed
1681

1682 1683
/* Used to indicate that the linkage status of this DECL is not yet known,
   so it should not be output now.  */
1684
#define DECL_DEFER_OUTPUT(NODE) (DECL_CHECK (NODE)->decl.defer_output)
1685

1686 1687 1688
/* Used in PARM_DECLs whose type are unions to indicate that the
   argument should be passed in the same way that the first union
   alternative would be passed.  */
1689
#define DECL_TRANSPARENT_UNION(NODE) \
1690
  (PARM_DECL_CHECK (NODE)->decl.transparent_union)
1691

1692 1693
/* Used in FUNCTION_DECLs to indicate that they should be run automatically
   at the beginning or end of execution.  */
1694
#define DECL_STATIC_CONSTRUCTOR(NODE) \
1695
  (FUNCTION_DECL_CHECK (NODE)->decl.static_ctor_flag)
1696 1697 1698

#define DECL_STATIC_DESTRUCTOR(NODE) \
(FUNCTION_DECL_CHECK (NODE)->decl.static_dtor_flag)
1699

Jason Merrill committed
1700
/* Used to indicate that this DECL represents a compiler-generated entity.  */
1701
#define DECL_ARTIFICIAL(NODE) (DECL_CHECK (NODE)->decl.artificial_flag)
Jason Merrill committed
1702

1703
/* Used to indicate that this DECL has weak linkage.  */
1704
#define DECL_WEAK(NODE) (DECL_CHECK (NODE)->decl.weak_flag)
1705

1706 1707
/* Used in TREE_PUBLIC decls to indicate that copies of this DECL in
   multiple translation units should be merged.  */
1708
#define DECL_ONE_ONLY(NODE) (DECL_CHECK (NODE)->decl.transparent_union)
1709

1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720
/* Used in a DECL to indicate that, even if it TREE_PUBLIC, it need
   not be put out unless it is needed in this translation unit.
   Entities like this are shared across translation units (like weak
   entities), but are guaranteed to be generated by any translation
   unit that needs them, and therefore need not be put out anywhere
   where they are not needed.  DECL_COMDAT is just a hint to the
   back-end; it is up to front-ends which set this flag to ensure
   that there will never be any harm, other than bloat, in putting out
   something which is DECL_COMDAT.  */
#define DECL_COMDAT(NODE) (DECL_CHECK (NODE)->decl.comdat_flag)

1721 1722
/* Used in FUNCTION_DECLs to indicate that function entry and exit should
   be instrumented with calls to support routines.  */
1723
#define DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT(NODE) \
1724
  (FUNCTION_DECL_CHECK (NODE)->decl.no_instrument_function_entry_exit)
1725

1726 1727
/* Used in FUNCTION_DECLs to indicate that limit-stack-* should be
   disabled in this function.  */
1728
#define DECL_NO_LIMIT_STACK(NODE) \
1729
  (FUNCTION_DECL_CHECK (NODE)->decl.no_limit_stack)
1730

Richard Stallman committed
1731
/* Additional flags for language-specific uses.  */
1732 1733 1734 1735 1736 1737 1738 1739
#define DECL_LANG_FLAG_0(NODE) (DECL_CHECK (NODE)->decl.lang_flag_0)
#define DECL_LANG_FLAG_1(NODE) (DECL_CHECK (NODE)->decl.lang_flag_1)
#define DECL_LANG_FLAG_2(NODE) (DECL_CHECK (NODE)->decl.lang_flag_2)
#define DECL_LANG_FLAG_3(NODE) (DECL_CHECK (NODE)->decl.lang_flag_3)
#define DECL_LANG_FLAG_4(NODE) (DECL_CHECK (NODE)->decl.lang_flag_4)
#define DECL_LANG_FLAG_5(NODE) (DECL_CHECK (NODE)->decl.lang_flag_5)
#define DECL_LANG_FLAG_6(NODE) (DECL_CHECK (NODE)->decl.lang_flag_6)
#define DECL_LANG_FLAG_7(NODE) (DECL_CHECK (NODE)->decl.lang_flag_7)
Richard Stallman committed
1740

1741 1742 1743 1744
/* Used to indicate that the pointer to this DECL cannot be treated as
   an address constant.  */
#define DECL_NON_ADDR_CONST_P(NODE) (DECL_CHECK (NODE)->decl.non_addr_const_p)

1745 1746 1747 1748 1749
/* Used in a FIELD_DECL to indicate that we cannot form the address of
   this component.  */
#define DECL_NONADDRESSABLE_P(NODE) \
  (FIELD_DECL_CHECK (NODE)->decl.non_addressable)

1750 1751 1752 1753 1754 1755 1756 1757 1758 1759
/* Used to indicate an alias set for the memory pointed to by this
   particular FIELD_DECL, PARM_DECL, or VAR_DECL, which must have
   pointer (or reference) type.  */
#define DECL_POINTER_ALIAS_SET(NODE) \
  (DECL_CHECK (NODE)->decl.pointer_alias_set)

/* Nonzero if an alias set has been assigned to this declaration.  */
#define DECL_POINTER_ALIAS_SET_KNOWN_P(NODE) \
  (DECL_POINTER_ALIAS_SET (NODE) != - 1)

1760 1761 1762 1763 1764 1765 1766 1767 1768 1769
/* The pointer_depth field comprises two bits for values in the range
   0..3.  The value is normally equal to TYPE_POINTER_DEPTH of decl's
   type node, but for functions it migth be greater.  For example,
   this can happen when the function is declared to accept a parameter
   of type void* (depth=1), but is actually called with an argument of
   type foo** (depth=2).  The function type will get the formal
   parameter's depth, but the function decl will get the actual
   argument's depth.  */
#define DECL_POINTER_DEPTH(DECL) (DECL_CHECK (DECL)->decl.pointer_depth)

1770 1771
struct function;

1772
struct tree_decl GTY(())
Richard Stallman committed
1773
{
1774
  struct tree_common common;
1775
  location_t locus;
1776
  unsigned int uid;
1777
  tree size;
1778
  ENUM_BITFIELD(machine_mode) mode : 8;
Richard Stallman committed
1779 1780 1781 1782 1783 1784 1785 1786

  unsigned external_flag : 1;
  unsigned nonlocal_flag : 1;
  unsigned regdecl_flag : 1;
  unsigned inline_flag : 1;
  unsigned bit_field_flag : 1;
  unsigned virtual_flag : 1;
  unsigned ignored_flag : 1;
1787
  unsigned abstract_flag : 1;
Richard Stallman committed
1788

1789
  unsigned in_system_header_flag : 1;
1790
  unsigned common_flag : 1;
1791
  unsigned defer_output : 1;
1792
  unsigned transparent_union : 1;
1793 1794
  unsigned static_ctor_flag : 1;
  unsigned static_dtor_flag : 1;
Jason Merrill committed
1795
  unsigned artificial_flag : 1;
1796
  unsigned weak_flag : 1;
1797

1798 1799 1800 1801 1802
  unsigned non_addr_const_p : 1;
  unsigned no_instrument_function_entry_exit : 1;
  unsigned comdat_flag : 1;
  unsigned malloc_flag : 1;
  unsigned no_limit_stack : 1;
1803
  ENUM_BITFIELD(built_in_class) built_in_class : 2;
1804
  unsigned pure_flag : 1;
1805

1806
  unsigned pointer_depth : 2;
1807
  unsigned non_addressable : 1;
1808
  unsigned user_align : 1;
1809
  unsigned uninlinable : 1;
1810 1811
  unsigned thread_local_flag : 1;
  /* Two unused bits.  */
1812

Richard Stallman committed
1813 1814 1815 1816 1817 1818 1819 1820 1821
  unsigned lang_flag_0 : 1;
  unsigned lang_flag_1 : 1;
  unsigned lang_flag_2 : 1;
  unsigned lang_flag_3 : 1;
  unsigned lang_flag_4 : 1;
  unsigned lang_flag_5 : 1;
  unsigned lang_flag_6 : 1;
  unsigned lang_flag_7 : 1;

1822
  union tree_decl_u1 {
1823 1824
    /* In a FUNCTION_DECL for which DECL_BUILT_IN holds, this is
       DECL_FUNCTION_CODE.  */
1825
    enum built_in_function f;
1826 1827 1828 1829 1830
    /* In a FUNCITON_DECL for which DECL_BUILT_IN does not hold, this
       is used by language-dependent code.  */
    HOST_WIDE_INT i;
    /* DECL_ALIGN and DECL_OFFSET_ALIGN.  (These are not used for
       FUNCTION_DECLs).  */
1831 1832 1833 1834 1835
    struct tree_decl_u1_a {
      unsigned int align : 24; 
      unsigned int off_align : 8;
    } a;
  } GTY ((skip (""))) u1;
1836

1837 1838 1839 1840 1841 1842 1843 1844 1845
  tree size_unit;
  tree name;
  tree context;
  tree arguments;	/* Also used for DECL_FIELD_OFFSET */
  tree result;	/* Also used for DECL_BIT_FIELD_TYPE */
  tree initial;	/* Also used for DECL_QUALIFIER */
  tree abstract_origin;
  tree assembler_name;
  tree section_name;
Joseph Myers committed
1846
  tree attributes;
1847 1848
  rtx rtl;	/* RTL representation for object.  */
  rtx live_range_rtl;
1849

1850
  /* In FUNCTION_DECL, if it is inline, holds the saved insn chain.
1851
     In FIELD_DECL, is DECL_FIELD_BIT_OFFSET.
1852 1853 1854
     In PARM_DECL, holds an RTL for the stack slot
     of register where the data was actually passed.
     Used by Chill and Java in LABEL_DECL and by C++ and Java in VAR_DECL.  */
1855 1856 1857 1858
  union tree_decl_u2 {
    struct function * GTY ((tag ("FUNCTION_DECL"))) f;
    rtx GTY ((tag ("PARM_DECL"))) r;
    tree GTY ((tag ("FIELD_DECL"))) t;
1859
    int i;
1860
  } GTY ((desc ("TREE_CODE((tree) &(%0))"))) u2;
1861

1862 1863 1864 1865 1866 1867 1868
  /* In a FUNCTION_DECL, this is DECL_SAVED_TREE.  */
  tree saved_tree;

  /* In a FUNCTION_DECL, these are function data which is to be kept
     as long as FUNCTION_DECL is kept.  */
  tree inlined_fns;

1869
  tree vindex;
1870
  HOST_WIDE_INT pointer_alias_set;
Richard Stallman committed
1871 1872 1873 1874
  /* Points to a structure whose details depend on the language in use.  */
  struct lang_decl *lang_specific;
};

1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891
enum tree_node_structure_enum {
  TS_COMMON,
  TS_INT_CST,
  TS_REAL_CST,
  TS_VECTOR,
  TS_STRING,
  TS_COMPLEX,
  TS_IDENTIFIER,
  TS_DECL,
  TS_TYPE,
  TS_LIST,
  TS_VEC,
  TS_EXP,
  TS_BLOCK,
  LAST_TS_ENUM
};

Richard Stallman committed
1892 1893 1894 1895
/* Define the overall contents of a tree node.
   It may be any of the structures declared above
   for various types of node.  */

1896 1897
union tree_node GTY ((ptr_alias (union lang_tree_node),
		      desc ("tree_node_structure (&%h)")))
Richard Stallman committed
1898
{
1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911
  struct tree_common GTY ((tag ("TS_COMMON"))) common;
  struct tree_int_cst GTY ((tag ("TS_INT_CST"))) int_cst;
  struct tree_real_cst GTY ((tag ("TS_REAL_CST"))) real_cst;
  struct tree_vector GTY ((tag ("TS_VECTOR"))) vector;
  struct tree_string GTY ((tag ("TS_STRING"))) string;
  struct tree_complex GTY ((tag ("TS_COMPLEX"))) complex;
  struct tree_identifier GTY ((tag ("TS_IDENTIFIER"))) identifier;
  struct tree_decl GTY ((tag ("TS_DECL"))) decl;
  struct tree_type GTY ((tag ("TS_TYPE"))) type;
  struct tree_list GTY ((tag ("TS_LIST"))) list;
  struct tree_vec GTY ((tag ("TS_VEC"))) vec;
  struct tree_exp GTY ((tag ("TS_EXP"))) exp;
  struct tree_block GTY ((tag ("TS_BLOCK"))) block;
Richard Stallman committed
1912
 };
1913

1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929
/* Standard named or nameless data types of the C compiler.  */

enum tree_index
{
  TI_ERROR_MARK,
  TI_INTQI_TYPE,
  TI_INTHI_TYPE,
  TI_INTSI_TYPE,
  TI_INTDI_TYPE,
  TI_INTTI_TYPE,

  TI_UINTQI_TYPE,
  TI_UINTHI_TYPE,
  TI_UINTSI_TYPE,
  TI_UINTDI_TYPE,
  TI_UINTTI_TYPE,
Kazu Hirata committed
1930

1931 1932
  TI_INTEGER_ZERO,
  TI_INTEGER_ONE,
1933
  TI_INTEGER_MINUS_ONE,
1934 1935 1936 1937
  TI_NULL_POINTER,

  TI_SIZE_ZERO,
  TI_SIZE_ONE,
1938 1939 1940 1941 1942

  TI_BITSIZE_ZERO,
  TI_BITSIZE_ONE,
  TI_BITSIZE_UNIT,

1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957
  TI_COMPLEX_INTEGER_TYPE,
  TI_COMPLEX_FLOAT_TYPE,
  TI_COMPLEX_DOUBLE_TYPE,
  TI_COMPLEX_LONG_DOUBLE_TYPE,

  TI_FLOAT_TYPE,
  TI_DOUBLE_TYPE,
  TI_LONG_DOUBLE_TYPE,

  TI_VOID_TYPE,
  TI_PTR_TYPE,
  TI_CONST_PTR_TYPE,
  TI_PTRDIFF_TYPE,
  TI_VA_LIST_TYPE,

1958 1959
  TI_VOID_LIST_NODE,

1960 1961 1962 1963 1964 1965 1966
  TI_UV4SF_TYPE,
  TI_UV4SI_TYPE,
  TI_UV8HI_TYPE,
  TI_UV8QI_TYPE,
  TI_UV4HI_TYPE,
  TI_UV2SI_TYPE,
  TI_UV2SF_TYPE,
1967
  TI_UV2DI_TYPE,
1968 1969
  TI_UV16QI_TYPE,

1970
  TI_V4SF_TYPE,
Alexandre Oliva committed
1971
  TI_V16SF_TYPE,
1972
  TI_V4SI_TYPE,
1973
  TI_V8HI_TYPE,
1974 1975 1976
  TI_V8QI_TYPE,
  TI_V4HI_TYPE,
  TI_V2SI_TYPE,
1977
  TI_V2SF_TYPE,
1978 1979
  TI_V2DF_TYPE,
  TI_V2DI_TYPE,
1980
  TI_V16QI_TYPE,
1981

1982 1983
  TI_MAIN_IDENTIFIER,

1984 1985 1986
  TI_MAX
};

1987
extern GTY(()) tree global_trees[TI_MAX];
1988 1989

#define error_mark_node			global_trees[TI_ERROR_MARK]
Kazu Hirata committed
1990

1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004
#define intQI_type_node			global_trees[TI_INTQI_TYPE]
#define intHI_type_node			global_trees[TI_INTHI_TYPE]
#define intSI_type_node			global_trees[TI_INTSI_TYPE]
#define intDI_type_node			global_trees[TI_INTDI_TYPE]
#define intTI_type_node			global_trees[TI_INTTI_TYPE]

#define unsigned_intQI_type_node	global_trees[TI_UINTQI_TYPE]
#define unsigned_intHI_type_node	global_trees[TI_UINTHI_TYPE]
#define unsigned_intSI_type_node	global_trees[TI_UINTSI_TYPE]
#define unsigned_intDI_type_node	global_trees[TI_UINTDI_TYPE]
#define unsigned_intTI_type_node	global_trees[TI_UINTTI_TYPE]

#define integer_zero_node		global_trees[TI_INTEGER_ZERO]
#define integer_one_node		global_trees[TI_INTEGER_ONE]
2005
#define integer_minus_one_node		global_trees[TI_INTEGER_MINUS_ONE]
2006 2007
#define size_zero_node			global_trees[TI_SIZE_ZERO]
#define size_one_node			global_trees[TI_SIZE_ONE]
2008 2009 2010 2011
#define bitsize_zero_node		global_trees[TI_BITSIZE_ZERO]
#define bitsize_one_node		global_trees[TI_BITSIZE_ONE]
#define bitsize_unit_node		global_trees[TI_BITSIZE_UNIT]

2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023
#define null_pointer_node		global_trees[TI_NULL_POINTER]

#define float_type_node			global_trees[TI_FLOAT_TYPE]
#define double_type_node		global_trees[TI_DOUBLE_TYPE]
#define long_double_type_node		global_trees[TI_LONG_DOUBLE_TYPE]

#define complex_integer_type_node	global_trees[TI_COMPLEX_INTEGER_TYPE]
#define complex_float_type_node		global_trees[TI_COMPLEX_FLOAT_TYPE]
#define complex_double_type_node	global_trees[TI_COMPLEX_DOUBLE_TYPE]
#define complex_long_double_type_node	global_trees[TI_COMPLEX_LONG_DOUBLE_TYPE]

#define void_type_node			global_trees[TI_VOID_TYPE]
2024
/* The C type `void *'.  */
2025
#define ptr_type_node			global_trees[TI_PTR_TYPE]
2026
/* The C type `const void *'.  */
2027 2028 2029
#define const_ptr_type_node		global_trees[TI_CONST_PTR_TYPE]
#define ptrdiff_type_node		global_trees[TI_PTRDIFF_TYPE]
#define va_list_type_node		global_trees[TI_VA_LIST_TYPE]
2030

2031 2032 2033 2034 2035 2036 2037
/* The node that should be placed at the end of a parameter list to
   indicate that the function does not take a variable number of
   arguments.  The TREE_VALUE will be void_type_node and there will be
   no TREE_CHAIN.  Language-independent code should not assume
   anything else about this node.  */
#define void_list_node                  global_trees[TI_VOID_LIST_NODE]

2038 2039 2040
#define main_identifier_node		global_trees[TI_MAIN_IDENTIFIER]
#define MAIN_NAME_P(NODE) (IDENTIFIER_NODE_CHECK (NODE) == main_identifier_node)

2041 2042 2043 2044 2045 2046
#define unsigned_V16QI_type_node	global_trees[TI_UV16QI_TYPE]
#define unsigned_V4SI_type_node		global_trees[TI_UV4SI_TYPE]
#define unsigned_V8QI_type_node		global_trees[TI_UV8QI_TYPE]
#define unsigned_V8HI_type_node		global_trees[TI_UV8HI_TYPE]
#define unsigned_V4HI_type_node		global_trees[TI_UV4HI_TYPE]
#define unsigned_V2SI_type_node		global_trees[TI_UV2SI_TYPE]
2047
#define unsigned_V2DI_type_node		global_trees[TI_UV2DI_TYPE]
2048

2049
#define V16QI_type_node			global_trees[TI_V16QI_TYPE]
2050 2051 2052
#define V4SF_type_node			global_trees[TI_V4SF_TYPE]
#define V4SI_type_node			global_trees[TI_V4SI_TYPE]
#define V8QI_type_node			global_trees[TI_V8QI_TYPE]
2053
#define V8HI_type_node			global_trees[TI_V8HI_TYPE]
2054 2055
#define V4HI_type_node			global_trees[TI_V4HI_TYPE]
#define V2SI_type_node			global_trees[TI_V2SI_TYPE]
2056
#define V2SF_type_node			global_trees[TI_V2SF_TYPE]
2057 2058
#define V2DI_type_node			global_trees[TI_V2DI_TYPE]
#define V2DF_type_node			global_trees[TI_V2DF_TYPE]
Alexandre Oliva committed
2059
#define V16SF_type_node			global_trees[TI_V16SF_TYPE]
2060

2061
/* An enumeration of the standard C integer types.  These must be
2062 2063 2064
   ordered so that shorter types appear before longer ones, and so
   that signed types appear before unsigned ones, for the correct
   functioning of interpret_integer() in c-lex.c.  */
Kazu Hirata committed
2065
enum integer_type_kind
2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084
{
  itk_char,
  itk_signed_char,
  itk_unsigned_char,
  itk_short,
  itk_unsigned_short,
  itk_int,
  itk_unsigned_int,
  itk_long,
  itk_unsigned_long,
  itk_long_long,
  itk_unsigned_long_long,
  itk_none
};

typedef enum integer_type_kind integer_type_kind;

/* The standard C integer types.  Use integer_type_kind to index into
   this array.  */
2085
extern GTY(()) tree integer_types[itk_none];
2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098

#define char_type_node			integer_types[itk_char]
#define signed_char_type_node		integer_types[itk_signed_char]
#define unsigned_char_type_node		integer_types[itk_unsigned_char]
#define short_integer_type_node		integer_types[itk_short]
#define short_unsigned_type_node	integer_types[itk_unsigned_short]
#define integer_type_node		integer_types[itk_int]
#define unsigned_type_node		integer_types[itk_unsigned_int]
#define long_integer_type_node		integer_types[itk_long]
#define long_unsigned_type_node		integer_types[itk_unsigned_long]
#define long_long_integer_type_node	integer_types[itk_long_long]
#define long_long_unsigned_type_node	integer_types[itk_unsigned_long_long]

2099

2100 2101
#define NULL_TREE (tree) NULL

Zack Weinberg committed
2102 2103 2104 2105
/* Approximate positive square root of a host double.  This is for
   statistical reports, not code generation.  */
extern double approx_sqrt		PARAMS ((double));

2106 2107
extern char *permalloc			PARAMS ((int));
extern char *expralloc			PARAMS ((int));
2108
extern tree decl_assembler_name		PARAMS ((tree));
Richard Stallman committed
2109

2110 2111 2112 2113 2114
/* Compute the number of bytes occupied by 'node'.  This routine only
   looks at TREE_CODE and, if the code is TREE_VEC, TREE_VEC_LENGTH.  */

extern size_t tree_size			PARAMS ((tree));

Richard Stallman committed
2115 2116 2117 2118
/* Lowest level primitive for allocating a node.
   The TREE_CODE is the only argument.  Contents are initialized
   to zero except for a few of the common fields.  */

2119
extern tree make_node			PARAMS ((enum tree_code));
Richard Stallman committed
2120

2121
/* Make a copy of a node, with all the same contents.  */
Richard Stallman committed
2122

2123
extern tree copy_node			PARAMS ((tree));
Richard Stallman committed
2124 2125 2126

/* Make a copy of a chain of TREE_LIST nodes.  */

2127
extern tree copy_list			PARAMS ((tree));
Richard Stallman committed
2128 2129 2130

/* Make a TREE_VEC.  */

2131
extern tree make_tree_vec		PARAMS ((int));
Richard Stallman committed
2132 2133 2134 2135

/* Return the (unique) IDENTIFIER_NODE node for a given name.
   The name is supplied as a char *.  */

2136
extern tree get_identifier		PARAMS ((const char *));
Richard Stallman committed
2137

2138 2139 2140 2141 2142
/* Identical to get_identifier, except that the length is assumed
   known.  */

extern tree get_identifier_with_length  PARAMS ((const char *, unsigned int));

2143 2144 2145 2146
/* If an identifier with the name TEXT (a null-terminated string) has
   previously been referred to, return that node; otherwise return
   NULL_TREE.  */

2147
extern tree maybe_get_identifier	PARAMS ((const char *));
2148

Richard Stallman committed
2149 2150
/* Construct various types of nodes.  */

2151
#define build_int_2(LO, HI)  \
2152
  build_int_2_wide ((unsigned HOST_WIDE_INT) (LO), (HOST_WIDE_INT) (HI))
2153

2154 2155 2156
extern tree build			PARAMS ((enum tree_code, tree, ...));
extern tree build_nt			PARAMS ((enum tree_code, ...));

2157
extern tree build_int_2_wide		PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT));
2158
extern tree build_vector                PARAMS ((tree, tree));
2159 2160 2161 2162 2163 2164 2165 2166
extern tree build_real_from_int_cst 	PARAMS ((tree, tree));
extern tree build_complex		PARAMS ((tree, tree, tree));
extern tree build_string		PARAMS ((int, const char *));
extern tree build1			PARAMS ((enum tree_code, tree, tree));
extern tree build_tree_list		PARAMS ((tree, tree));
extern tree build_decl			PARAMS ((enum tree_code, tree, tree));
extern tree build_block			PARAMS ((tree, tree, tree, tree, tree));
extern tree build_expr_wfl              PARAMS ((tree, const char *, int, int));
Richard Stallman committed
2167 2168 2169

/* Construct various nodes representing data types.  */

2170 2171
extern tree make_signed_type		PARAMS ((int));
extern tree make_unsigned_type		PARAMS ((int));
2172
extern void initialize_sizetypes	PARAMS ((void));
2173 2174 2175 2176
extern void set_sizetype		PARAMS ((tree));
extern void fixup_unsigned_type		PARAMS ((tree));
extern tree build_pointer_type		PARAMS ((tree));
extern tree build_reference_type 	PARAMS ((tree));
2177
extern tree build_type_no_quals 	PARAMS ((tree));
2178 2179 2180 2181
extern tree build_index_type		PARAMS ((tree));
extern tree build_index_2_type		PARAMS ((tree, tree));
extern tree build_array_type		PARAMS ((tree, tree));
extern tree build_function_type		PARAMS ((tree, tree));
2182
extern tree build_function_type_list	PARAMS ((tree, ...));
2183 2184 2185 2186 2187 2188 2189 2190
extern tree build_method_type		PARAMS ((tree, tree));
extern tree build_offset_type		PARAMS ((tree, tree));
extern tree build_complex_type		PARAMS ((tree));
extern tree array_type_nelts		PARAMS ((tree));

extern tree value_member		PARAMS ((tree, tree));
extern tree purpose_member		PARAMS ((tree, tree));
extern tree binfo_member		PARAMS ((tree, tree));
2191
extern unsigned int attribute_hash_list	PARAMS ((tree));
2192 2193 2194 2195
extern int attribute_list_equal		PARAMS ((tree, tree));
extern int attribute_list_contained	PARAMS ((tree, tree));
extern int tree_int_cst_equal		PARAMS ((tree, tree));
extern int tree_int_cst_lt		PARAMS ((tree, tree));
2196
extern int tree_int_cst_compare         PARAMS ((tree, tree));
2197 2198
extern int host_integerp		PARAMS ((tree, int));
extern HOST_WIDE_INT tree_low_cst	PARAMS ((tree, int));
2199
extern int tree_int_cst_msb		PARAMS ((tree));
2200
extern int tree_int_cst_sgn		PARAMS ((tree));
Zack Weinberg committed
2201
extern int tree_expr_nonnegative_p	PARAMS ((tree));
2202
extern int rtl_expr_nonnegative_p	PARAMS ((rtx));
2203 2204
extern int index_type_equal		PARAMS ((tree, tree));
extern tree get_inner_array_type	PARAMS ((tree));
2205

2206 2207 2208 2209
/* From expmed.c.  Since rtl.h is included after tree.h, we can't
   put the prototype here.  Rtl.h does declare the prototype if
   tree.h had been included.  */

2210
extern tree make_tree			PARAMS ((tree, rtx));
Richard Stallman committed
2211

2212 2213 2214 2215
/* Return a type like TTYPE except that its TYPE_ATTRIBUTES
   is ATTRIBUTE.

   Such modified types already made are recorded so that duplicates
2216
   are not made.  */
2217

2218 2219
extern tree build_type_attribute_variant PARAMS ((tree, tree));
extern tree build_decl_attribute_variant PARAMS ((tree, tree));
2220

Joseph Myers committed
2221 2222 2223 2224 2225
/* Structure describing an attribute and a function to handle it.  */
struct attribute_spec
{
  /* The name of the attribute (without any leading or trailing __),
     or NULL to mark the end of a table of attributes.  */
2226
  const char *const name;
Joseph Myers committed
2227
  /* The minimum length of the list of arguments of the attribute.  */
2228
  const int min_length;
Joseph Myers committed
2229 2230
  /* The maximum length of the list of arguments of the attribute
     (-1 for no maximum).  */
2231
  const int max_length;
Joseph Myers committed
2232 2233 2234 2235 2236 2237 2238
  /* Whether this attribute requires a DECL.  If it does, it will be passed
     from types of DECLs, function return types and array element types to
     the DECLs, function types and array types respectively; but when
     applied to a type in any other circumstances, it will be ignored with
     a warning.  (If greater control is desired for a given attribute,
     this should be false, and the flags argument to the handler may be
     used to gain greater control in that case.)  */
2239
  const bool decl_required;
Joseph Myers committed
2240 2241
  /* Whether this attribute requires a type.  If it does, it will be passed
     from a DECL to the type of that DECL.  */
2242
  const bool type_required;
Joseph Myers committed
2243 2244 2245 2246
  /* Whether this attribute requires a function (or method) type.  If it does,
     it will be passed from a function pointer type to the target type,
     and from a function return type (which is not itself a function
     pointer type) to the function type.  */
2247
  const bool function_type_required;
Joseph Myers committed
2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261
  /* Function to handle this attribute.  NODE points to the node to which
     the attribute is to be applied.  If a DECL, it should be modified in
     place; if a TYPE, a copy should be created.  NAME is the name of the
     attribute (possibly with leading or trailing __).  ARGS is the TREE_LIST
     of the arguments (which may be NULL).  FLAGS gives further information
     about the context of the attribute.  Afterwards, the attributes will
     be added to the DECL_ATTRIBUTES or TYPE_ATTRIBUTES, as appropriate,
     unless *NO_ADD_ATTRS is set to true (which should be done on error,
     as well as in any other cases when the attributes should not be added
     to the DECL or TYPE).  Depending on FLAGS, any attributes to be
     applied to another type or DECL later may be returned;
     otherwise the return value should be NULL_TREE.  This pointer may be
     NULL if no special handling is required beyond the checks implied
     by the rest of this structure.  */
2262 2263
  tree (*const handler) PARAMS ((tree *node, tree name, tree args,
				 int flags, bool *no_add_attrs));
Joseph Myers committed
2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283
};

/* Flags that may be passed in the third argument of decl_attributes, and
   to handler functions for attributes.  */
enum attribute_flags
{
  /* The type passed in is the type of a DECL, and any attributes that
     should be passed in again to be applied to the DECL rather than the
     type should be returned.  */
  ATTR_FLAG_DECL_NEXT = 1,
  /* The type passed in is a function return type, and any attributes that
     should be passed in again to be applied to the function type rather
     than the return type should be returned.  */
  ATTR_FLAG_FUNCTION_NEXT = 2,
  /* The type passed in is an array element type, and any attributes that
     should be passed in again to be applied to the array type rather
     than the element type should be returned.  */
  ATTR_FLAG_ARRAY_NEXT = 4,
  /* The type passed in is a structure, union or enumeration type being
     created, and should be modified in place.  */
2284 2285 2286 2287 2288
  ATTR_FLAG_TYPE_IN_PLACE = 8,
  /* The attributes are being applied by default to a library function whose
     name indicates known behavior, and should be silently ignored if they
     are not in fact compatible with the function type.  */
  ATTR_FLAG_BUILT_IN = 16
Joseph Myers committed
2289 2290
};

2291 2292
/* Default versions of target-overridable functions.  */

2293 2294
extern tree merge_decl_attributes PARAMS ((tree, tree));
extern tree merge_type_attributes PARAMS ((tree, tree));
2295 2296
extern int default_comp_type_attributes PARAMS ((tree, tree));
extern void default_set_default_type_attributes PARAMS ((tree));
2297
extern void default_insert_attributes PARAMS ((tree, tree *));
Joseph Myers committed
2298
extern bool default_function_attribute_inlinable_p PARAMS ((tree));
2299
extern bool default_ms_bitfield_layout_p PARAMS ((tree));
2300 2301
struct cpp_reader;
extern void default_register_cpp_builtins PARAMS ((struct cpp_reader *));
2302 2303 2304

/* Split a list of declspecs and attributes into two.  */

2305
extern void split_specs_attrs		PARAMS ((tree, tree *, tree *));
2306 2307 2308

/* Strip attributes from a list of combined specs and attrs.  */

2309
extern tree strip_attrs			PARAMS ((tree));
2310

2311 2312
/* Return 1 if an attribute and its arguments are valid for a decl or type.  */

2313
extern int valid_machine_attribute	PARAMS ((tree, tree, tree, tree));
2314 2315 2316 2317

/* Given a tree node and a string, return non-zero if the tree node is
   a valid attribute name for the string.  */

2318
extern int is_attribute_p		PARAMS ((const char *, tree));
2319 2320 2321 2322

/* Given an attribute name and a list of attributes, return the list element
   of the attribute or NULL_TREE if not found.  */

2323
extern tree lookup_attribute		PARAMS ((const char *, tree));
2324 2325 2326

/* Given two attributes lists, return a list of their union.  */

2327
extern tree merge_attributes		PARAMS ((tree, tree));
2328

2329 2330 2331 2332 2333 2334
#ifdef TARGET_DLLIMPORT_DECL_ATTRIBUTES
/* Given two Windows decl attributes lists, possibly including
   dllimport, return a list of their union .  */
extern tree merge_dllimport_decl_attributes PARAMS ((tree, tree));
#endif

2335 2336 2337 2338 2339
/* Return true if DECL will be always resolved to a symbol defined in the
   same module (shared library or program).  */
#define MODULE_LOCAL_P(DECL) \
  (lookup_attribute ("visibility", DECL_ATTRIBUTES (DECL)) != NULL)

2340 2341 2342 2343 2344 2345 2346 2347
/* Return a version of the TYPE, qualified as indicated by the
   TYPE_QUALS, if one exists.  If no qualified version exists yet,
   return NULL_TREE.  */

extern tree get_qualified_type          PARAMS ((tree, int));

/* Like get_qualified_type, but creates the type if it does not
   exist.  This function never returns NULL_TREE.  */
2348

2349
extern tree build_qualified_type        PARAMS ((tree, int));
2350 2351 2352 2353 2354

/* Like build_qualified_type, but only deals with the `const' and
   `volatile' qualifiers.  This interface is retained for backwards
   compatiblity with the various front-ends; new code should use
   build_qualified_type instead.  */
Richard Stallman committed
2355

2356
#define build_type_variant(TYPE, CONST_P, VOLATILE_P)			\
2357
  build_qualified_type ((TYPE),						\
2358 2359
			((CONST_P) ? TYPE_QUAL_CONST : 0)		\
			| ((VOLATILE_P) ? TYPE_QUAL_VOLATILE : 0))
Richard Stallman committed
2360

2361 2362
/* Make a copy of a type node.  */

2363
extern tree build_type_copy		PARAMS ((tree));
2364

Richard Stallman committed
2365
/* Given a ..._TYPE node, calculate the TYPE_SIZE, TYPE_SIZE_UNIT,
2366 2367
   TYPE_ALIGN and TYPE_MODE fields.  If called more than once on one
   node, does nothing except for the first time.  */
Richard Stallman committed
2368

2369
extern void layout_type			PARAMS ((tree));
Richard Stallman committed
2370

2371 2372 2373
/* These functions allow a front-end to perform a manual layout of a
   RECORD_TYPE.  (For instance, if the placement of subsequent fields
   depends on the placement of fields so far.)  Begin by calling
2374
   start_record_layout.  Then, call place_field for each of the
2375 2376 2377
   fields.  Then, call finish_record_layout.  See layout_type for the
   default way in which these functions are used.  */

2378
typedef struct record_layout_info_s
2379 2380 2381
{
  /* The RECORD_TYPE that we are laying out.  */
  tree t;
2382 2383 2384 2385 2386 2387 2388
  /* The offset into the record so far, in bytes, not including bits in
     BITPOS.  */
  tree offset;
  /* The last known alignment of SIZE.  */
  unsigned int offset_align;
  /* The bit position within the last OFFSET_ALIGN bits, in bits.  */
  tree bitpos;
2389 2390
  /* The alignment of the record so far, in bits.  */
  unsigned int record_align;
2391 2392
  /* The alignment of the record so far, not including padding, in bits.  */
  unsigned int unpacked_align;
2393 2394 2395
  /* The alignment of the record so far, allowing for the record to be
     padded only at the end, in bits.  */
  unsigned int unpadded_align;
2396 2397
  /* The previous field layed out.  */
  tree prev_field;
2398 2399 2400 2401
  /* The static variables (i.e., class variables, as opposed to
     instance variables) encountered in T.  */
  tree pending_statics;
  int packed_maybe_necessary;
2402
} *record_layout_info;
2403

2404 2405
extern void set_lang_adjust_rli		PARAMS ((void (*) PARAMS
						 ((record_layout_info))));
2406
extern record_layout_info start_record_layout PARAMS ((tree));
2407 2408 2409 2410 2411 2412 2413 2414
extern tree bit_from_pos		PARAMS ((tree, tree));
extern tree byte_from_pos		PARAMS ((tree, tree));
extern void pos_from_byte		PARAMS ((tree *, tree *, unsigned int,
						 tree));
extern void pos_from_bit		PARAMS ((tree *, tree *, unsigned int,
						 tree));
extern void normalize_offset		PARAMS ((tree *, tree *,
						 unsigned int));
2415 2416 2417 2418
extern tree rli_size_unit_so_far	PARAMS ((record_layout_info));
extern tree rli_size_so_far		PARAMS ((record_layout_info));
extern void normalize_rli		PARAMS ((record_layout_info));
extern void place_field			PARAMS ((record_layout_info, tree));
2419
extern void compute_record_mode		PARAMS ((tree));
2420
extern void finish_record_layout	PARAMS ((record_layout_info));
2421

Richard Stallman committed
2422 2423 2424 2425 2426
/* Given a hashcode and a ..._TYPE node (for which the hashcode was made),
   return a canonicalized ..._TYPE node, so that duplicates are not made.
   How the hash code is computed is up to the caller, as long as any two
   callers that could hash identical-looking type nodes agree.  */

2427
extern tree type_hash_canon		PARAMS ((unsigned int, tree));
Richard Stallman committed
2428 2429 2430 2431 2432 2433 2434 2435 2436

/* Given a VAR_DECL, PARM_DECL, RESULT_DECL or FIELD_DECL node,
   calculates the DECL_SIZE, DECL_SIZE_UNIT, DECL_ALIGN and DECL_MODE
   fields.  Call this only once for any given decl node.

   Second argument is the boundary that this field can be assumed to
   be starting at (in bits).  Zero means it can be assumed aligned
   on any boundary that may be needed.  */

2437
extern void layout_decl			PARAMS ((tree, unsigned));
Richard Stallman committed
2438

2439 2440 2441 2442 2443 2444 2445 2446
/* Return the mode for data of a given size SIZE and mode class CLASS.
   If LIMIT is nonzero, then don't use modes bigger than MAX_FIXED_MODE_SIZE.
   The value is BLKmode if no other mode is found.  This is like
   mode_for_size, but is passed a tree.  */

extern enum machine_mode mode_for_size_tree PARAMS ((tree, enum mode_class,
						     int));

Richard Stallman committed
2447 2448
/* Return an expr equal to X but certainly not valid as an lvalue.  */

2449 2450
extern tree non_lvalue			PARAMS ((tree));
extern tree pedantic_non_lvalue		PARAMS ((tree));
Richard Stallman committed
2451

2452
extern tree convert			PARAMS ((tree, tree));
2453
extern unsigned int expr_align		PARAMS ((tree));
2454 2455
extern tree size_in_bytes		PARAMS ((tree));
extern HOST_WIDE_INT int_size_in_bytes	PARAMS ((tree));
2456 2457
extern tree bit_position		PARAMS ((tree));
extern HOST_WIDE_INT int_bit_position	PARAMS ((tree));
2458 2459
extern tree byte_position		PARAMS ((tree));
extern HOST_WIDE_INT int_byte_position	PARAMS ((tree));
2460 2461 2462 2463 2464 2465

/* Define data structures, macros, and functions for handling sizes
   and the various types used to represent sizes.  */

enum size_type_kind
{
2466 2467
  SIZETYPE,		/* Normal representation of sizes in bytes.  */
  SSIZETYPE,		/* Signed representation of sizes in bytes.  */
2468 2469 2470 2471 2472 2473
  USIZETYPE,		/* Unsigned representation of sizes in bytes.  */
  BITSIZETYPE,		/* Normal representation of sizes in bits.  */
  SBITSIZETYPE,		/* Signed representation of sizes in bits.  */
  UBITSIZETYPE,	        /* Unsifgned representation of sizes in bits.  */
  TYPE_KIND_LAST};

2474
extern GTY(()) tree sizetype_tab[(int) TYPE_KIND_LAST];
2475 2476 2477 2478 2479 2480 2481 2482

#define sizetype sizetype_tab[(int) SIZETYPE]
#define bitsizetype sizetype_tab[(int) BITSIZETYPE]
#define ssizetype sizetype_tab[(int) SSIZETYPE]
#define usizetype sizetype_tab[(int) USIZETYPE]
#define sbitsizetype sizetype_tab[(int) SBITSIZETYPE]
#define ubitsizetype sizetype_tab[(int) UBITSIZETYPE]

2483
extern tree size_binop			PARAMS ((enum tree_code, tree, tree));
2484 2485 2486 2487
extern tree size_diffop			PARAMS ((tree, tree));
extern tree size_int_wide		PARAMS ((HOST_WIDE_INT,
						 enum size_type_kind));
extern tree size_int_type_wide		PARAMS ((HOST_WIDE_INT, tree));
2488

2489 2490 2491 2492 2493
#define size_int_type(L, T) size_int_type_wide ((HOST_WIDE_INT) (L), T)
#define size_int(L) size_int_wide ((HOST_WIDE_INT) (L), SIZETYPE)
#define ssize_int(L) size_int_wide ((HOST_WIDE_INT) (L), SSIZETYPE)
#define bitsize_int(L) size_int_wide ((HOST_WIDE_INT) (L), BITSIZETYPE)
#define sbitsize_int(L) size_int_wide ((HOST_WIDE_INT) (L), SBITSIZETYPE)
2494

2495
extern tree round_up			PARAMS ((tree, int));
2496
extern tree round_down			PARAMS ((tree, int));
2497
extern tree get_pending_sizes		PARAMS ((void));
2498 2499
extern int is_pending_size		PARAMS ((tree));
extern void put_pending_size		PARAMS ((tree));
2500
extern void put_pending_sizes		PARAMS ((tree));
Richard Stallman committed
2501 2502 2503

/* Type for sizes of data-type.  */

2504 2505 2506 2507 2508
#define BITS_PER_UNIT_LOG \
  ((BITS_PER_UNIT > 1) + (BITS_PER_UNIT > 2) + (BITS_PER_UNIT > 4) \
   + (BITS_PER_UNIT > 8) + (BITS_PER_UNIT > 16) + (BITS_PER_UNIT > 32) \
   + (BITS_PER_UNIT > 64) + (BITS_PER_UNIT > 128) + (BITS_PER_UNIT > 256))

2509
/* If nonzero, an upper limit on alignment of structure fields, in bits.  */
2510
extern unsigned int maximum_field_alignment;
2511

2512
/* If non-zero, the alignment of a bitstring or (power-)set value, in bits.  */
2513
extern unsigned int set_alignment;
2514

Richard Stallman committed
2515 2516 2517 2518
/* Concatenate two lists (chains of TREE_LIST nodes) X and Y
   by making the last node in X point to Y.
   Returns X, except if X is 0 returns Y.  */

2519
extern tree chainon			PARAMS ((tree, tree));
Richard Stallman committed
2520 2521 2522

/* Make a new TREE_LIST node from specified PURPOSE, VALUE and CHAIN.  */

2523
extern tree tree_cons			PARAMS ((tree, tree, tree));
Richard Stallman committed
2524 2525 2526

/* Return the last tree node in a chain.  */

2527
extern tree tree_last			PARAMS ((tree));
Richard Stallman committed
2528 2529 2530

/* Reverse the order of elements in a chain, and return the new head.  */

2531
extern tree nreverse			PARAMS ((tree));
Richard Stallman committed
2532 2533 2534 2535

/* Returns the length of a chain of nodes
   (number of chain pointers to follow before reaching a null pointer).  */

2536
extern int list_length			PARAMS ((tree));
Richard Stallman committed
2537

2538 2539 2540 2541
/* Returns the number of FIELD_DECLs in a type.  */

extern int fields_length		PARAMS ((tree));

2542 2543 2544 2545 2546
/* Given an initializer INIT, return TRUE if INIT is zero or some
   aggregate of zeros.  Otherwise return FALSE.  */

extern bool initializer_zerop		PARAMS ((tree));

Richard Stallman committed
2547 2548
/* integer_zerop (tree x) is nonzero if X is an integer constant of value 0 */

2549
extern int integer_zerop		PARAMS ((tree));
Richard Stallman committed
2550 2551 2552

/* integer_onep (tree x) is nonzero if X is an integer constant of value 1 */

2553
extern int integer_onep			PARAMS ((tree));
Richard Stallman committed
2554 2555 2556 2557

/* integer_all_onesp (tree x) is nonzero if X is an integer constant
   all of whose significant bits are 1.  */

2558
extern int integer_all_onesp		PARAMS ((tree));
Richard Stallman committed
2559 2560 2561 2562

/* integer_pow2p (tree x) is nonzero is X is an integer constant with
   exactly one bit 1.  */

2563
extern int integer_pow2p		PARAMS ((tree));
Richard Stallman committed
2564 2565 2566 2567

/* staticp (tree x) is nonzero if X is a reference to data allocated
   at a fixed address in memory.  */

2568
extern int staticp			PARAMS ((tree));
Richard Stallman committed
2569 2570 2571 2572

/* Gets an error if argument X is not an lvalue.
   Also returns 1 if X is an lvalue, 0 if not.  */

2573
extern int lvalue_or_else		PARAMS ((tree, const char *));
Richard Stallman committed
2574 2575 2576 2577 2578

/* save_expr (EXP) returns an expression equivalent to EXP
   but it can be used multiple times within context CTX
   and only evaluate EXP once.  */

2579
extern tree save_expr			PARAMS ((tree));
Richard Stallman committed
2580

2581 2582 2583
/* Returns the index of the first non-tree operand for CODE, or the number
   of operands if all are trees.  */

2584
extern int first_rtl_op			PARAMS ((enum tree_code));
2585

2586 2587 2588 2589
/* Return which tree structure is used by T.  */

enum tree_node_structure_enum tree_node_structure PARAMS ((tree));

2590
/* unsave_expr (EXP) returns an expression equivalent to EXP but it
2591
   can be used multiple times and will evaluate EXP in its entirety
2592 2593
   each time.  */

2594
extern tree unsave_expr			PARAMS ((tree));
2595

2596 2597 2598
/* Reset EXP in place so that it can be expaned again.  Does not
   recurse into subtrees.  */

2599
extern void unsave_expr_1               PARAMS ((tree));
2600

2601 2602 2603
/* Return 0 if it is safe to evaluate EXPR multiple times,
   return 1 if it is safe if EXPR is unsaved afterward, or
   return 2 if it is completely unsafe.  */
2604 2605
extern int unsafe_for_reeval		PARAMS ((tree));

2606 2607 2608 2609 2610 2611
/* Return 1 if EXP contains a PLACEHOLDER_EXPR; i.e., if it represents a size
   or offset that depends on a field within a record.

   Note that we only allow such expressions within simple arithmetic
   or a COND_EXPR.  */

2612
extern int contains_placeholder_p	PARAMS ((tree));
2613

2614 2615 2616
/* Return 1 if EXP contains any expressions that produce cleanups for an
   outer scope to deal with.  Used by fold.  */

2617
extern int has_cleanups			PARAMS ((tree));
2618

2619 2620 2621 2622 2623
/* Given a tree EXP, a FIELD_DECL F, and a replacement value R,
   return a tree with all occurrences of references to F in a
   PLACEHOLDER_EXPR replaced by R.   Note that we assume here that EXP
   contains only arithmetic expressions.  */

2624
extern tree substitute_in_expr		PARAMS ((tree, tree, tree));
2625

2626 2627 2628 2629 2630 2631
/* variable_size (EXP) is like save_expr (EXP) except that it
   is for the special case of something that is part of a
   variable size for a data type.  It makes special arrangements
   to compute the value at the right time when the data type
   belongs to a function parameter.  */

2632
extern tree variable_size		PARAMS ((tree));
2633

Richard Stallman committed
2634 2635 2636 2637
/* stabilize_reference (EXP) returns an reference equivalent to EXP
   but it can be used multiple times
   and only evaluate the subexpressions once.  */

2638
extern tree stabilize_reference		PARAMS ((tree));
Richard Stallman committed
2639

2640 2641 2642 2643
/* Subroutine of stabilize_reference; this is called for subtrees of
   references.  Any expression with side-effects must be put in a SAVE_EXPR
   to ensure that it is only evaluated once.  */

2644
extern tree stabilize_reference_1	PARAMS ((tree));
2645

Richard Stallman committed
2646 2647 2648 2649 2650
/* Return EXP, stripped of any conversions to wider types
   in such a way that the result of converting to type FOR_TYPE
   is the same as if EXP were converted to FOR_TYPE.
   If FOR_TYPE is 0, it signifies EXP's type.  */

2651
extern tree get_unwidened		PARAMS ((tree, tree));
Richard Stallman committed
2652 2653 2654 2655 2656 2657

/* Return OP or a simpler expression for a narrower value
   which can be sign-extended or zero-extended to give back OP.
   Store in *UNSIGNEDP_PTR either 1 if the value should be zero-extended
   or 0 if the value should be sign-extended.  */

2658
extern tree get_narrower		PARAMS ((tree, int *));
Richard Stallman committed
2659 2660 2661 2662 2663

/* Given an expression EXP that may be a COMPONENT_REF or an ARRAY_REF,
   look for nested component-refs or array-refs at constant positions
   and find the ultimate containing object, which is returned.  */

2664 2665 2666
extern tree get_inner_reference		PARAMS ((tree, HOST_WIDE_INT *,
						 HOST_WIDE_INT *, tree *,
						 enum machine_mode *, int *,
2667
						 int *));
Richard Stallman committed
2668

2669 2670 2671 2672
/* Return 1 if T is an expression that get_inner_reference handles.  */

extern int handled_component_p		PARAMS ((tree));

2673 2674 2675
/* Given a DECL or TYPE, return the scope in which it was declared, or
   NUL_TREE if there is no containing scope.  */

2676
extern tree get_containing_scope        PARAMS ((tree));
2677

Richard Stallman committed
2678 2679
/* Return the FUNCTION_DECL which provides this _DECL with its context,
   or zero if none.  */
2680
extern tree decl_function_context 	PARAMS ((tree));
Richard Stallman committed
2681

2682 2683
/* Return the RECORD_TYPE, UNION_TYPE, or QUAL_UNION_TYPE which provides
   this _DECL with its context, or zero if none.  */
2684
extern tree decl_type_context		PARAMS ((tree));
Richard Stallman committed
2685 2686 2687 2688 2689 2690

/* Given the FUNCTION_DECL for the current function,
   return zero if it is ok for this function to be inline.
   Otherwise return a warning message with a single %s
   for the function's name.  */

2691
extern const char *function_cannot_inline_p 	PARAMS ((tree));
Jim Wilson committed
2692 2693

/* Return 1 if EXPR is the real constant zero.  */
2694
extern int real_zerop PARAMS ((tree));
Richard Stallman committed
2695 2696 2697 2698 2699

/* Declare commonly used variables for tree structure.  */

/* Points to the name of the input file from which the current input
   being parsed originally came (before it went into cpp).  */
Zack Weinberg committed
2700
extern const char *input_filename;
Richard Stallman committed
2701 2702 2703 2704

/* Current line number in input file.  */
extern int lineno;

2705 2706 2707 2708 2709
/* Nonzero means lvalues are limited to those valid in pedantic ANSI C.
   Zero means allow extended lvalues.  */

extern int pedantic_lvalues;

Richard Stallman committed
2710 2711 2712 2713 2714
/* Nonzero means can safely call expand_expr now;
   otherwise layout_type puts variable sizes onto `pending_sizes' instead.  */

extern int immediate_size_expand;

2715
/* Points to the FUNCTION_DECL of the function whose body we are reading.  */
Richard Stallman committed
2716

2717
extern GTY(()) tree current_function_decl;
Richard Stallman committed
2718

2719
/* Nonzero means a FUNC_BEGIN label was emitted.  */
2720
extern GTY(()) tree current_function_func_begin_label;
2721

Richard Stallman committed
2722 2723 2724 2725
/* Nonzero means all ..._TYPE nodes should be allocated permanently.  */

extern int all_types_permanent;

2726 2727
/* Declare a predefined function.  Return the declaration.  This function is
   provided by each language frontend.  */
2728 2729 2730
extern tree builtin_function		PARAMS ((const char *, tree, int,
					       enum built_in_class,
					       const char *, tree));
Richard Stallman committed
2731

Brendan Kehoe committed
2732
/* In tree.c */
2733
extern char *perm_calloc			PARAMS ((int, long));
Jason Merrill committed
2734
extern void clean_symbol_name			PARAMS ((char *));
2735 2736 2737
extern tree get_file_function_name_long 	PARAMS ((const char *));
extern tree get_set_constructor_bits		PARAMS ((tree, char *, int));
extern tree get_set_constructor_bytes		PARAMS ((tree,
Mike Stump committed
2738
						       unsigned char *, int));
2739
extern tree get_callee_fndecl                   PARAMS ((tree));
2740
extern void set_decl_assembler_name             PARAMS ((tree));
2741
extern int type_num_arguments                   PARAMS ((tree));
2742 2743
extern tree lhd_unsave_expr_now		PARAMS ((tree));

Brendan Kehoe committed
2744

Richard Stallman committed
2745 2746
/* In stmt.c */

2747
extern int in_control_zone_p			PARAMS ((void));
2748
extern void expand_fixups			PARAMS ((rtx));
2749
extern tree expand_start_stmt_expr		PARAMS ((int));
2750 2751
extern tree expand_end_stmt_expr		PARAMS ((tree));
extern void expand_expr_stmt			PARAMS ((tree));
2752
extern void expand_expr_stmt_value		PARAMS ((tree, int, int));
2753 2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2764
extern int warn_if_unused_value			PARAMS ((tree));
extern void expand_decl_init			PARAMS ((tree));
extern void clear_last_expr			PARAMS ((void));
extern void expand_label			PARAMS ((tree));
extern void expand_goto				PARAMS ((tree));
extern void expand_asm				PARAMS ((tree));
extern void expand_start_cond			PARAMS ((tree, int));
extern void expand_end_cond			PARAMS ((void));
extern void expand_start_else			PARAMS ((void));
extern void expand_start_elseif			PARAMS ((tree));
extern struct nesting *expand_start_loop 	PARAMS ((int));
extern struct nesting *expand_start_loop_continue_elsewhere 	PARAMS ((int));
2765
extern struct nesting *expand_start_null_loop 	PARAMS ((void));
2766 2767
extern void expand_loop_continue_here		PARAMS ((void));
extern void expand_end_loop			PARAMS ((void));
2768
extern void expand_end_null_loop		PARAMS ((void));
2769 2770 2771
extern int expand_continue_loop			PARAMS ((struct nesting *));
extern int expand_exit_loop			PARAMS ((struct nesting *));
extern int expand_exit_loop_if_false		PARAMS ((struct nesting *,
2772 2773 2774
						         tree));
extern int expand_exit_loop_top_cond		PARAMS ((struct nesting *,
							 tree));
2775
extern int expand_exit_something		PARAMS ((void));
2776

2777
extern void expand_return			PARAMS ((tree));
2778
extern int optimize_tail_recursion		PARAMS ((tree, rtx));
2779
extern void expand_start_bindings_and_block     PARAMS ((int, tree));
2780 2781
#define expand_start_bindings(flags) \
  expand_start_bindings_and_block(flags, NULL_TREE)
2782 2783 2784 2785
extern void expand_end_bindings			PARAMS ((tree, int, int));
extern void warn_about_unused_variables         PARAMS ((tree));
extern void start_cleanup_deferral		PARAMS ((void));
extern void end_cleanup_deferral		PARAMS ((void));
2786 2787
extern int is_body_block			PARAMS ((tree));

2788
extern int conditional_context			PARAMS ((void));
2789
extern struct nesting * current_nesting_level	PARAMS ((void));
2790 2791
extern tree last_cleanup_this_contour		PARAMS ((void));
extern void expand_start_case			PARAMS ((int, tree, tree,
2792
						       const char *));
Jakub Jelinek committed
2793 2794
extern void expand_end_case_type		PARAMS ((tree, tree));
#define expand_end_case(cond) expand_end_case_type (cond, NULL)
2795 2796
extern int add_case_node                        PARAMS ((tree, tree,
							 tree, tree *));
2797
extern int pushcase				PARAMS ((tree,
2798 2799
						       tree (*) (tree, tree),
						       tree, tree *));
2800
extern int pushcase_range			PARAMS ((tree, tree,
2801 2802
						       tree (*) (tree, tree),
						       tree, tree *));
2803 2804
extern void using_eh_for_cleanups		PARAMS ((void));
extern int stmt_loop_nest_empty			PARAMS ((void));
Richard Stallman committed
2805 2806 2807

/* In fold-const.c */

2808 2809 2810 2811 2812 2813
/* Fold constants as much as possible in an expression.
   Returns the simplified expression.
   Acts only on the top level of the expression;
   if the argument itself cannot be simplified, its
   subexpressions are not changed.  */

2814
extern tree fold		PARAMS ((tree));
2815

2816
extern int force_fit_type	PARAMS ((tree, int));
2817 2818 2819 2820 2821 2822 2823 2824 2825 2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843 2844
extern int add_double		PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
extern int neg_double		PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
extern int mul_double		PARAMS ((unsigned HOST_WIDE_INT,
					 HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
extern void lshift_double	PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 HOST_WIDE_INT, unsigned int,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *, int));
extern void rshift_double	PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 HOST_WIDE_INT, unsigned int,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *, int));
extern void lrotate_double	PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 HOST_WIDE_INT, unsigned int,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
extern void rrotate_double	PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
					 HOST_WIDE_INT, unsigned int,
					 unsigned HOST_WIDE_INT *,
					 HOST_WIDE_INT *));
2845 2846
extern int operand_equal_p	PARAMS ((tree, tree, int));
extern tree invert_truthvalue	PARAMS ((tree));
2847

2848
extern tree fold_builtin		PARAMS ((tree));
Richard Stallman committed
2849

2850
extern tree build_range_type PARAMS ((tree, tree, tree));
Jim Wilson committed
2851

2852
/* In alias.c */
2853 2854
extern void record_component_aliases		PARAMS ((tree));
extern HOST_WIDE_INT get_alias_set		PARAMS ((tree));
2855 2856 2857 2858
extern int alias_sets_conflict_p		PARAMS ((HOST_WIDE_INT,
							 HOST_WIDE_INT));
extern int readonly_fields_p			PARAMS ((tree));
extern int objects_must_conflict_p		PARAMS ((tree, tree));
2859

2860 2861
struct obstack;

2862
/* In tree.c */
2863 2864 2865
extern int really_constant_p		PARAMS ((tree));
extern int int_fits_type_p		PARAMS ((tree, tree));
extern int tree_log2			PARAMS ((tree));
2866
extern int tree_floor_log2		PARAMS ((tree));
2867
extern int simple_cst_equal		PARAMS ((tree, tree));
2868 2869
extern int compare_tree_int		PARAMS ((tree,
						 unsigned HOST_WIDE_INT));
2870 2871 2872 2873 2874
extern int type_list_equal		PARAMS ((tree, tree));
extern int chain_member			PARAMS ((tree, tree));
extern int chain_member_purpose		PARAMS ((tree, tree));
extern int chain_member_value		PARAMS ((tree, tree));
extern tree listify			PARAMS ((tree));
2875 2876 2877
extern tree type_hash_lookup		PARAMS ((unsigned int, tree));
extern void type_hash_add		PARAMS ((unsigned int, tree));
extern unsigned int type_hash_list	PARAMS ((tree));
2878 2879 2880
extern int simple_cst_list_equal	PARAMS ((tree, tree));
extern void dump_tree_statistics	PARAMS ((void));
extern void print_obstack_statistics	PARAMS ((const char *,
2881
						struct obstack *));
2882
#ifdef BUFSIZ
2883 2884
extern void print_obstack_name		PARAMS ((char *, FILE *,
						 const char *));
2885
#endif
Zack Weinberg committed
2886
extern void expand_function_end		PARAMS ((const char *, int, int));
2887
extern void expand_function_start	PARAMS ((tree, int));
2888
extern void expand_pending_sizes        PARAMS ((tree));
2889

2890 2891
extern int real_onep			PARAMS ((tree));
extern int real_twop			PARAMS ((tree));
2892
extern int real_minus_onep		PARAMS ((tree));
2893 2894 2895 2896
extern void gcc_obstack_init		PARAMS ((struct obstack *));
extern void init_obstacks		PARAMS ((void));
extern void build_common_tree_nodes	PARAMS ((int));
extern void build_common_tree_nodes_2	PARAMS ((int));
2897 2898

/* In function.c */
2899 2900 2901 2902 2903 2904
extern void setjmp_protect_args		PARAMS ((void));
extern void setjmp_protect		PARAMS ((tree));
extern void expand_main_function	PARAMS ((void));
extern void init_dummy_function_start	PARAMS ((void));
extern void expand_dummy_function_end	PARAMS ((void));
extern void init_function_for_compilation	PARAMS ((void));
2905
extern void init_function_start		PARAMS ((tree, const char *, int));
2906 2907
extern void assign_parms		PARAMS ((tree));
extern void put_var_into_stack		PARAMS ((tree));
2908
extern void flush_addressof		PARAMS ((tree));
2909 2910 2911 2912 2913 2914 2915 2916
extern void uninitialized_vars_warning	PARAMS ((tree));
extern void setjmp_args_warning		PARAMS ((void));
extern void mark_all_temps_used		PARAMS ((void));
extern void init_temp_slots		PARAMS ((void));
extern void combine_temp_slots		PARAMS ((void));
extern void free_temp_slots		PARAMS ((void));
extern void pop_temp_slots		PARAMS ((void));
extern void push_temp_slots		PARAMS ((void));
2917
extern void preserve_temp_slots		PARAMS ((rtx));
2918
extern void preserve_rtl_expr_temps	PARAMS ((tree));
2919
extern int aggregate_value_p		PARAMS ((tree));
Mark Mitchell committed
2920
extern void free_temps_for_rtl_expr	PARAMS ((tree));
2921 2922
extern void instantiate_virtual_regs	PARAMS ((tree, rtx));
extern void unshare_all_rtl		PARAMS ((tree, rtx));
2923 2924 2925 2926 2927
extern int max_parm_reg_num		PARAMS ((void));
extern void push_function_context	PARAMS ((void));
extern void pop_function_context	PARAMS ((void));
extern void push_function_context_to	PARAMS ((tree));
extern void pop_function_context_from	PARAMS ((tree));
2928 2929 2930

/* In print-rtl.c */
#ifdef BUFSIZ
2931
extern void print_rtl			PARAMS ((FILE *, rtx));
2932 2933 2934
#endif

/* In print-tree.c */
2935
extern void debug_tree			PARAMS ((tree));
2936
#ifdef BUFSIZ
2937 2938 2939 2940
extern void print_node			PARAMS ((FILE *, const char *, tree,
						 int));
extern void print_node_brief		PARAMS ((FILE *, const char *, tree,
						 int));
2941
extern void indent_to			PARAMS ((FILE *, int));
2942 2943 2944
#endif

/* In expr.c */
2945
extern int apply_args_register_offset		PARAMS ((int));
2946 2947
extern rtx expand_builtin_return_addr
	PARAMS ((enum built_in_function, int, rtx));
2948
extern void check_max_integer_computation_mode	PARAMS ((tree));
2949 2950

/* In emit-rtl.c */
Mark Mitchell committed
2951
extern void start_sequence_for_rtl_expr		PARAMS ((tree));
2952
extern rtx emit_line_note		PARAMS ((const char *, int));
2953

2954
/* In calls.c */
2955 2956

extern int setjmp_call_p		PARAMS ((tree));
2957

2958
/* In attribs.c.  */
2959 2960 2961 2962 2963 2964 2965 2966 2967

/* Process the attributes listed in ATTRIBUTES and install them in *NODE,
   which is either a DECL (including a TYPE_DECL) or a TYPE.  If a DECL,
   it should be modified in place; if a TYPE, a copy should be created
   unless ATTR_FLAG_TYPE_IN_PLACE is set in FLAGS.  FLAGS gives further
   information, in the form of a bitwise OR of flags in enum attribute_flags
   from tree.h.  Depending on these flags, some attributes may be
   returned to be applied at a later stage (for example, to apply
   a decl attribute to the declaration rather than to its type).  */
2968 2969
extern tree decl_attributes		PARAMS ((tree *, tree, int));

2970
/* In integrate.c */
2971
extern void save_for_inline		PARAMS ((tree));
2972 2973
extern void set_decl_abstract_flags	PARAMS ((tree, int));
extern void output_inline_function	PARAMS ((tree));
2974
extern void set_decl_origin_self	PARAMS ((tree));
2975 2976

/* In stor-layout.c */
2977
extern void fixup_signed_type		PARAMS ((tree));
2978
extern void internal_reference_types 	PARAMS ((void));
2979 2980

/* varasm.c */
2981
extern void make_decl_rtl		PARAMS ((tree, const char *));
2982 2983 2984
extern void make_decl_one_only		PARAMS ((tree));
extern int supports_one_only		PARAMS ((void));
extern void variable_section		PARAMS ((tree, int));
2985 2986

/* In fold-const.c */
2987
extern int div_and_round_double		PARAMS ((enum tree_code, int,
2988 2989 2990 2991 2992 2993 2994 2995
						 unsigned HOST_WIDE_INT,
						 HOST_WIDE_INT,
						 unsigned HOST_WIDE_INT,
						 HOST_WIDE_INT,
						 unsigned HOST_WIDE_INT *,
						 HOST_WIDE_INT *,
						 unsigned HOST_WIDE_INT *,
						 HOST_WIDE_INT *));
2996 2997

/* In stmt.c */
2998 2999
extern void emit_nop			PARAMS ((void));
extern void expand_computed_goto	PARAMS ((tree));
3000 3001 3002
extern bool parse_output_constraint     PARAMS ((const char **,
						 int, int, int,
						 bool *, bool *, bool *));
3003
extern void expand_asm_operands		PARAMS ((tree, tree, tree, tree, int,
Zack Weinberg committed
3004
						 const char *, int));
3005 3006 3007 3008 3009 3010
extern int any_pending_cleanups		PARAMS ((int));
extern void init_stmt_for_function	PARAMS ((void));
extern int drop_through_at_end_p	PARAMS ((void));
extern void expand_start_target_temps	PARAMS ((void));
extern void expand_end_target_temps	PARAMS ((void));
extern void expand_elseif		PARAMS ((tree));
3011
extern void save_stack_pointer		PARAMS ((void));
3012 3013
extern void expand_decl			PARAMS ((tree));
extern int expand_decl_cleanup		PARAMS ((tree, tree));
3014
extern int expand_decl_cleanup_eh	PARAMS ((tree, tree, int));
3015 3016 3017 3018 3019 3020 3021 3022
extern void expand_anon_union_decl	PARAMS ((tree, tree, tree));
extern void move_cleanups_up		PARAMS ((void));
extern void expand_start_case_dummy	PARAMS ((void));
extern void expand_end_case_dummy	PARAMS ((void));
extern tree case_index_expr_type	PARAMS ((void));
extern HOST_WIDE_INT all_cases_count	PARAMS ((tree, int *));
extern void check_for_full_enumeration_handling PARAMS ((tree));
extern void declare_nonlocal_label	PARAMS ((tree));
3023

3024 3025
/* If KIND=='I', return a suitable global initializer (constructor) name.
   If KIND=='D', return a suitable global clean-up (destructor) name.  */
3026
extern tree get_file_function_name PARAMS ((int));
3027 3028 3029 3030 3031

/* Interface of the DWARF2 unwind info support.  */

/* Generate a new label for the CFI info to refer to.  */

3032
extern char *dwarf2out_cfi_label	PARAMS ((void));
3033 3034 3035

/* Entry point to update the canonical frame address (CFA).  */

3036
extern void dwarf2out_def_cfa		PARAMS ((const char *, unsigned, long));
3037 3038 3039

/* Add the CFI for saving a register window.  */

3040
extern void dwarf2out_window_save	PARAMS ((const char *));
3041 3042 3043 3044

/* Add a CFI to update the running total of the size of arguments pushed
   onto the stack.  */

3045
extern void dwarf2out_args_size		PARAMS ((const char *, long));
3046 3047 3048

/* Entry point for saving a register to the stack.  */

3049
extern void dwarf2out_reg_save		PARAMS ((const char *, unsigned, long));
3050 3051 3052

/* Entry point for saving the return address in the stack.  */

3053
extern void dwarf2out_return_save	PARAMS ((const char *, long));
3054 3055 3056

/* Entry point for saving the return address in a register.  */

3057
extern void dwarf2out_return_reg	PARAMS ((const char *, unsigned));
3058

3059 3060 3061 3062
/* The type of a function that walks over tree structure.  */

typedef tree (*walk_tree_fn)		PARAMS ((tree *, int *, void *));

3063 3064 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074 3075 3076 3077 3078 3079 3080 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3092 3093
/* In tree-dump.c */

/* Different tree dump places.  When you add new tree dump places,
   extend the DUMP_FILES array in tree-dump.c */
enum tree_dump_index
{
  TDI_all,			/* dump the whole translation unit */
  TDI_class,			/* dump class hierarchy */
  TDI_original,			/* dump each function before optimizing it */
  TDI_optimized,		/* dump each function after optimizing it */
  TDI_inlined,			/* dump each function after inlining
				   within it.  */
  TDI_end
};

/* Bit masks to control tree dumping. Not all values are applicable to
   all tree dumps. Add new ones at the end. When you define new
   values, extend the DUMP_OPTIONS array in tree-dump.c */
#define TDF_ADDRESS	(1 << 0)	/* dump node addresses */
#define TDF_SLIM	(1 << 1)	/* don't go wild following links */

typedef struct dump_info *dump_info_p;

extern int dump_flag			PARAMS ((dump_info_p, int, tree));
extern int dump_enabled_p		PARAMS ((enum tree_dump_index));
extern FILE *dump_begin			PARAMS ((enum tree_dump_index, int *));
extern void dump_end			PARAMS ((enum tree_dump_index, FILE *));
extern void dump_node			PARAMS ((tree, int, FILE *));
extern int dump_switch_p                PARAMS ((const char *));
extern const char *dump_flag_name	PARAMS ((enum tree_dump_index));

3094

3095 3096 3097 3098 3099 3100
/* Redefine abort to report an internal error w/o coredump, and
   reporting the location of the error in the source file.  This logic
   is duplicated in rtl.h and tree.h because every file that needs the
   special abort includes one or both.  toplev.h gets too few files,
   system.h gets too many.  */

3101
extern void fancy_abort PARAMS ((const char *, int, const char *))
3102
    ATTRIBUTE_NORETURN;
3103
#define abort() fancy_abort (__FILE__, __LINE__, __FUNCTION__)