OSDN Git Service

Workaround for Itanium A/B step errata
[pf3gnuchains/gcc-fork.git] / gcc / tree.h
index 2703e80..a264df4 100644 (file)
@@ -1,5 +1,6 @@
 /* Front-end tree definitions for GNU compiler.
-   Copyright (C) 1989, 93-98, 1999 Free Software Foundation, Inc.
+   Copyright (C) 1989, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000
+   Free Software Foundation, Inc.
 
 This file is part of GNU CC.
 
@@ -19,6 +20,7 @@ the Free Software Foundation, 59 Temple Place - Suite 330,
 Boston, MA 02111-1307, USA.  */
 
 #include "machmode.h"
+#include "version.h"
 
 #ifndef RTX_CODE
 struct rtx_def;
@@ -37,8 +39,8 @@ enum tree_code {
 
 #undef DEFTREECODE
 
-/* Number of tree codes.  */
-#define NUM_TREE_CODES ((int)LAST_AND_UNUSED_TREE_CODE)
+/* Number of language-independent tree codes.  */
+#define NUM_TREE_CODES ((int) LAST_AND_UNUSED_TREE_CODE)
 
 /* Indexed by enum tree_code, contains a character which is
    `<' for a comparison expression, `1', for a unary arithmetic
@@ -60,13 +62,14 @@ extern char tree_code_type[MAX_TREE_CODES];
 /* Number of argument-words in each kind of tree-node.  */
 
 extern int tree_code_length[MAX_TREE_CODES];
+#define TREE_CODE_LENGTH(CODE) tree_code_length[(int) (CODE)]
 
 /* Names of tree components.  */
 
 extern const char *tree_code_name[MAX_TREE_CODES];
 \f
-/* Classify which part of the compiler has defined a given builtin
-   function.  */
+/* 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.  */
 enum built_in_class
 {
   NOT_BUILT_IN = 0,
@@ -74,71 +77,28 @@ enum built_in_class
   BUILT_IN_MD,
   BUILT_IN_NORMAL
 };
+
+/* Names for the above.  */
+extern const char *const built_in_class_names[4];
+
 /* Codes that identify the various built in functions
    so that expand_call can identify them quickly.  */
 
+#define DEF_BUILTIN(x) x,
 enum built_in_function
 {
-  BUILT_IN_ALLOCA,
-  BUILT_IN_ABS,
-  BUILT_IN_FABS,
-  BUILT_IN_LABS,
-  BUILT_IN_FFS,
-  BUILT_IN_DIV,
-  BUILT_IN_LDIV,
-  BUILT_IN_FFLOOR,
-  BUILT_IN_FCEIL,
-  BUILT_IN_FMOD,
-  BUILT_IN_FREM,
-  BUILT_IN_MEMCPY,
-  BUILT_IN_MEMCMP,
-  BUILT_IN_MEMSET,
-  BUILT_IN_STRCPY,
-  BUILT_IN_STRCMP,
-  BUILT_IN_STRLEN,
-  BUILT_IN_FSQRT,
-  BUILT_IN_SIN,
-  BUILT_IN_COS,
-  BUILT_IN_GETEXP,
-  BUILT_IN_GETMAN,
-  BUILT_IN_SAVEREGS,
-  BUILT_IN_CLASSIFY_TYPE,
-  BUILT_IN_NEXT_ARG,
-  BUILT_IN_ARGS_INFO,
-  BUILT_IN_CONSTANT_P,
-  BUILT_IN_FRAME_ADDRESS,
-  BUILT_IN_RETURN_ADDRESS,
-  BUILT_IN_AGGREGATE_INCOMING_ADDRESS,
-  BUILT_IN_APPLY_ARGS,
-  BUILT_IN_APPLY,
-  BUILT_IN_RETURN,
-  BUILT_IN_SETJMP,
-  BUILT_IN_LONGJMP,
-  BUILT_IN_TRAP,
-
-  /* Various hooks for the DWARF 2 __throw routine.  */
-  BUILT_IN_UNWIND_INIT,
-  BUILT_IN_DWARF_CFA,
-  BUILT_IN_DWARF_FP_REGNUM,
-  BUILT_IN_INIT_DWARF_REG_SIZES,
-  BUILT_IN_FROB_RETURN_ADDR,
-  BUILT_IN_EXTRACT_RETURN_ADDR,
-  BUILT_IN_EH_RETURN,
-
-  BUILT_IN_VARARGS_START,
-  BUILT_IN_STDARG_START,
-  BUILT_IN_VA_END,
-  BUILT_IN_VA_COPY,
-
-  /* C++ extensions */
-  BUILT_IN_NEW,
-  BUILT_IN_VEC_NEW,
-  BUILT_IN_DELETE,
-  BUILT_IN_VEC_DELETE,
+#include "builtins.def"
 
   /* Upper bound on non-language-specific builtins. */
   END_BUILTINS
 };
+#undef DEF_BUILTIN
+
+/* Names for the above.  */
+extern const char *const built_in_names[(int) END_BUILTINS];
+
+/* An array of _DECL trees for the above.  */
+extern union tree_node *built_in_decls[(int) END_BUILTINS];
 \f
 /* The definition of tree nodes fills the next several pages.  */
 
@@ -163,25 +123,16 @@ typedef union tree_node *tree;
 /* Every kind of tree node starts with this structure,
    so all nodes have these fields.
 
-   See the accessor macros, defined below, for documentation of the fields. 
-
-   DO NOT change the layout of tree_common unless absolutely necessary.  Some
-   front-ends (namely g++) depend on the internal layout of this tructure.
-   See my_tree_cons in the cp subdir for such uglyness.  Ugh.  */
+   See the accessor macros, defined below, for documentation of the
+   fields.   */
 
 struct tree_common
 {
   union tree_node *chain;
   union tree_node *type;
-#ifdef ONLY_INT_FIELDS
-  unsigned int code : 8;
-#else
-  enum tree_code code : 8;
-#endif
-
+  ENUM_BITFIELD(tree_code) code : 8;
   unsigned side_effects_flag : 1;
   unsigned constant_flag : 1;
-  unsigned permanent_flag : 1;
   unsigned addressable_flag : 1;
   unsigned volatile_flag : 1;
   unsigned readonly_flag : 1;
@@ -189,11 +140,12 @@ struct tree_common
   unsigned asm_written_flag: 1;
 
   unsigned used_flag : 1;
-  unsigned raises_flag : 1;
+  unsigned nothrow_flag : 1;
   unsigned static_flag : 1;
   unsigned public_flag : 1;
   unsigned private_flag : 1;
   unsigned protected_flag : 1;
+  unsigned bounded_flag : 1;
 
   unsigned lang_flag_0 : 1;
   unsigned lang_flag_1 : 1;
@@ -202,8 +154,10 @@ struct tree_common
   unsigned lang_flag_4 : 1;
   unsigned lang_flag_5 : 1;
   unsigned lang_flag_6 : 1;
-
-  /* There is room for three more flags.  */
+  /* This flag is presently unused.  However, language front-ends
+     should not make use of this flag; it is reserved for future
+     expansion.  */
+  unsigned dummy : 1;
 };
 
 /* The following table lists the uses of each of the above flags and
@@ -213,8 +167,8 @@ struct tree_common
    addressable_flag:
 
        TREE_ADDRESSABLE in
-          VAR_DECL, FUNCTION_DECL, CONSTRUCTOR, LABEL_DECL, ..._TYPE
-          IDENTIFIER_NODE
+          VAR_DECL, FUNCTION_DECL, FIELD_DECL, CONSTRUCTOR, LABEL_DECL,
+          ..._TYPE, IDENTIFIER_NODE
 
    static_flag:
 
@@ -271,8 +225,6 @@ struct tree_common
 
        TREE_READONLY in
            all expressions
-       ITERATOR_BOUND_P in
-           VAR_DECL if iterator (C)
        TYPE_READONLY in
            ..._TYPE
 
@@ -281,8 +233,6 @@ struct tree_common
        TREE_CONSTANT in
            all expressions
 
-   permanent_flag: TREE_PERMANENT in all nodes
-
    unsigned_flag:
 
        TREE_UNSIGNED in
@@ -305,12 +255,19 @@ struct tree_common
        TREE_USED in
            expressions, IDENTIFIER_NODE
 
-   raises_flag:
+   nothrow_flag:
 
-       TREE_RAISES in
-           expressions
+       TREE_NOTHROW in
+           CALL_EXPR, FUNCTION_DECL
+
+   bounded_flag:
+
+       TREE_BOUNDED in
+          expressions, VAR_DECL, PARM_DECL, FIELD_DECL, FUNCTION_DECL
+       TYPE_BOUNDED in
+          ..._TYPE
+*/
 
-                                                         */
 /* Define accessors for the fields that all tree nodes have
    (though some fields are not used for all kinds of nodes).  */
 
@@ -321,46 +278,42 @@ struct tree_common
 
 /* When checking is enabled, errors will be generated if a tree node
    is accessed incorrectly. The macros abort with a fatal error.  */
-#if defined ENABLE_CHECKING && (GCC_VERSION >= 2007)
+#if defined ENABLE_TREE_CHECKING && (GCC_VERSION >= 2007)
 
-#define TREE_CHECK(t, code)                                            \
+#define TREE_CHECK(t, code) __extension__                              \
 ({  const tree __t = t;                                                        \
     if (TREE_CODE(__t) != (code))                                      \
-      tree_check_failed (__t, code, __FILE__,                          \
-                        __LINE__, __PRETTY_FUNCTION__);                \
+      tree_check_failed (__t, code, __FILE__, __LINE__, __FUNCTION__); \
     __t; })
-#define TREE_CLASS_CHECK(t, class)                                     \
+#define TREE_CLASS_CHECK(t, class) __extension__                       \
 ({  const tree __t = t;                                                        \
     if (TREE_CODE_CLASS(TREE_CODE(__t)) != (class))                    \
-      tree_class_check_failed (__t, class, __FILE__,                   \
-                              __LINE__, __PRETTY_FUNCTION__);          \
+      tree_class_check_failed (__t, class, __FILE__, __LINE__, __FUNCTION__); \
     __t; })
 
 /* These checks have to be special cased.  */
-#define CST_OR_CONSTRUCTOR_CHECK(t)                                    \
+#define CST_OR_CONSTRUCTOR_CHECK(t) __extension__                      \
 ({  const tree __t = t;                                                        \
     enum tree_code __c = TREE_CODE(__t);                               \
     if (__c != CONSTRUCTOR && TREE_CODE_CLASS(__c) != 'c')             \
-      tree_check_failed (__t, CONSTRUCTOR, __FILE__,                   \
-                        __LINE__, __PRETTY_FUNCTION__);                \
+      tree_check_failed (__t, CONSTRUCTOR, __FILE__, __LINE__, __FUNCTION__); \
     __t; })
-#define EXPR_CHECK(t)                                                  \
+#define EXPR_CHECK(t) __extension__                                    \
 ({  const tree __t = t;                                                        \
     char __c = TREE_CODE_CLASS(TREE_CODE(__t));                                \
     if (__c != 'r' && __c != 's' && __c != '<'                         \
        && __c != '1' && __c != '2' && __c != 'e')                      \
-      tree_class_check_failed(__t, 'e', __FILE__,                      \
-                             __LINE__, __PRETTY_FUNCTION__);           \
+      tree_class_check_failed(__t, 'e', __FILE__, __LINE__, __FUNCTION__); \
     __t; })
 
-extern void tree_check_failed PROTO((const tree, enum tree_code,
-                                    const char *, int, const char *))
+extern void tree_check_failed PARAMS ((const tree, enum tree_code,
+                                      const char *, int, const char *))
     ATTRIBUTE_NORETURN;
-extern void tree_class_check_failed PROTO((const tree, char,
-                                          const char *, int, const char *))
+extern void tree_class_check_failed PARAMS ((const tree, int,
+                                            const char *, int, const char *))
     ATTRIBUTE_NORETURN;
 
-#else /* not ENABLE_CHECKING, or not gcc */
+#else /* not ENABLE_TREE_CHECKING, or not gcc */
 
 #define TREE_CHECK(t, code)            (t)
 #define TREE_CLASS_CHECK(t, code)      (t)
@@ -377,7 +330,8 @@ extern void tree_class_check_failed PROTO((const tree, char,
 
 /* 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.
-   In ARRAY_TYPE nodes, this is the type of the elements.  */
+   In ARRAY_TYPE nodes, this is the type of the elements.
+   In VECTOR_TYPE nodes, this is the type of the elements.  */
 #define TREE_TYPE(NODE) ((NODE)->common.type)
 
 /* Nodes are chained together for many purposes.
@@ -394,10 +348,11 @@ extern void tree_class_check_failed PROTO((const tree, char,
 /* Given an expression as a tree, strip any NON_LVALUE_EXPRs and NOP_EXPRs
    that don't change the machine mode.  */
 
-#define STRIP_NOPS(EXP) \
+#define STRIP_NOPS(EXP)                                                \
   while ((TREE_CODE (EXP) == NOP_EXPR                          \
          || TREE_CODE (EXP) == CONVERT_EXPR                    \
          || TREE_CODE (EXP) == NON_LVALUE_EXPR)                \
+        && TREE_OPERAND (EXP, 0) != error_mark_node            \
         && (TYPE_MODE (TREE_TYPE (EXP))                        \
             == TYPE_MODE (TREE_TYPE (TREE_OPERAND (EXP, 0))))) \
     (EXP) = TREE_OPERAND (EXP, 0);
@@ -408,6 +363,7 @@ extern void tree_class_check_failed PROTO((const tree, char,
   while ((TREE_CODE (EXP) == NOP_EXPR                          \
          || TREE_CODE (EXP) == CONVERT_EXPR                    \
          || TREE_CODE (EXP) == NON_LVALUE_EXPR)                \
+        && TREE_OPERAND (EXP, 0) != error_mark_node            \
         && (TYPE_MODE (TREE_TYPE (EXP))                        \
             == TYPE_MODE (TREE_TYPE (TREE_OPERAND (EXP, 0))))  \
         && (TREE_UNSIGNED (TREE_TYPE (EXP))                    \
@@ -420,6 +376,7 @@ extern void tree_class_check_failed PROTO((const tree, char,
   while ((TREE_CODE (EXP) == NOP_EXPR                          \
          || TREE_CODE (EXP) == CONVERT_EXPR                    \
          || TREE_CODE (EXP) == NON_LVALUE_EXPR)                \
+        && TREE_OPERAND (EXP, 0) != error_mark_node            \
         && (TREE_TYPE (EXP)                                    \
             == TREE_TYPE (TREE_OPERAND (EXP, 0))))             \
     (EXP) = TREE_OPERAND (EXP, 0);
@@ -446,11 +403,69 @@ extern void tree_class_check_failed PROTO((const tree, char,
    || TREE_CODE (TYPE) == UNION_TYPE || TREE_CODE (TYPE) == QUAL_UNION_TYPE \
    || TREE_CODE (TYPE) == SET_TYPE)
 
-/* Nonzero if TYPE represents a pointer type.  */
+/* Nonzero if TYPE represents an unbounded pointer or unbounded
+   reference type.  (It should be renamed to INDIRECT_TYPE_P.)  */
 
 #define POINTER_TYPE_P(TYPE) \
   (TREE_CODE (TYPE) == POINTER_TYPE || TREE_CODE (TYPE) == REFERENCE_TYPE)
 
+/* 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))
+
+/* Nonzero if TYPE represents a reference type, either bounded or unbounded.  */
+
+#define MAYBE_BOUNDED_REFERENCE_TYPE_P(TYPE) \
+  (TREE_CODE (TYPE) == REFERENCE_TYPE || BOUNDED_REFERENCE_TYPE_P (TYPE))
+
+/* Nonzero if this type is a complete type.  */
+#define COMPLETE_TYPE_P(NODE) (TYPE_SIZE (NODE) != NULL_TREE)
+
+/* Nonzero if this type is the (possibly qualified) void type.  */
+#define VOID_TYPE_P(NODE) (TREE_CODE (NODE) == VOID_TYPE)
+
+/* Nonzero if this type is complete or is cv void.  */
+#define COMPLETE_OR_VOID_TYPE_P(NODE) \
+    (COMPLETE_TYPE_P (NODE) || VOID_TYPE_P (NODE))
+
+/* Nonzero if this type is complete or is an array with unspecified bound.  */
+#define COMPLETE_OR_UNBOUND_ARRAY_TYPE_P(NODE) \
+    (COMPLETE_TYPE_P (TREE_CODE (NODE) == ARRAY_TYPE ? TREE_TYPE (NODE) : NODE))
+
 /* Nonzero if TYPE represents a type.  */
 
 #define TYPE_P(TYPE)   (TREE_CODE_CLASS (TREE_CODE (TYPE)) == 't')
@@ -461,6 +476,9 @@ extern void tree_class_check_failed PROTO((const tree, char,
    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.
+   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.
    In CONSTRUCTOR nodes, it means object constructed must be in memory.
    In LABEL_DECL nodes, it means a goto for this label has been seen 
    from a place outside all binding contours that restore stack levels.
@@ -551,16 +569,13 @@ extern void tree_class_check_failed PROTO((const tree, char,
    if the value is constant.  */
 #define TREE_CONSTANT(NODE) ((NODE)->common.constant_flag)
 
-/* Nonzero means permanent node;
-   node will continue to exist for the entire compiler run.
-   Otherwise it will be recycled at the end of the function.  */
-#define TREE_PERMANENT(NODE) ((NODE)->common.permanent_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)
 
+#define TYPE_TRAP_SIGNED(NODE) (flag_trapv && ! TREE_UNSIGNED (NODE))
+
 /* 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
@@ -576,9 +591,9 @@ extern void tree_class_check_failed PROTO((const tree, char,
    was used.  */
 #define TREE_USED(NODE) ((NODE)->common.used_flag)
 
-/* Nonzero for a tree node whose evaluation could result
-   in the raising of an exception.  Not implemented yet.  */
-#define TREE_RAISES(NODE) ((NODE)->common.raises_flag)
+/* 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)
 
 /* Used in classes in C++.  */
 #define TREE_PRIVATE(NODE) ((NODE)->common.private_flag)
@@ -586,6 +601,40 @@ extern void tree_class_check_failed PROTO((const tree, char,
    In a BLOCK node, this is BLOCK_HANDLER_BLOCK.  */
 #define TREE_PROTECTED(NODE) ((NODE)->common.protected_flag)
 
+/* 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)
+
 /* These flags are available for each language front end to use internally.  */
 #define TREE_LANG_FLAG_0(NODE) ((NODE)->common.lang_flag_0)
 #define TREE_LANG_FLAG_1(NODE) ((NODE)->common.lang_flag_1)
@@ -601,30 +650,34 @@ extern void tree_class_check_failed PROTO((const tree, char,
    If the data type is signed, the value is sign-extended to 2 words
    even though not all of them may really be in use.
    In an unsigned constant shorter than 2 words, the extra bits are 0.  */
-#define TREE_INT_CST_LOW(NODE) (INTEGER_CST_CHECK (NODE)->int_cst.int_cst_low)
-#define TREE_INT_CST_HIGH(NODE) (INTEGER_CST_CHECK (NODE)->int_cst.int_cst_high)
+#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)
 
 #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)            \
-     && ((unsigned HOST_WIDE_INT) TREE_INT_CST_LOW (A)         \
-        < (unsigned HOST_WIDE_INT) TREE_INT_CST_LOW (B))))
+     && TREE_INT_CST_LOW (A) < TREE_INT_CST_LOW (B)))
 
 #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)   \
-      == (unsigned HOST_WIDE_INT ) TREE_INT_CST_HIGH (B)) \
-     && (((unsigned HOST_WIDE_INT) TREE_INT_CST_LOW (A)        \
-         < (unsigned HOST_WIDE_INT) TREE_INT_CST_LOW (B)))))
+      == (unsigned HOST_WIDE_INT) TREE_INT_CST_HIGH (B)) \
+     && TREE_INT_CST_LOW (A) < TREE_INT_CST_LOW (B)))
 
 struct tree_int_cst
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
   struct rtx_def *rtl; /* acts as link to register transfer language
                           (rtl) info */
-  HOST_WIDE_INT int_cst_low;
-  HOST_WIDE_INT int_cst_high;
+  /* 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.  */
+  struct {
+    unsigned HOST_WIDE_INT low;
+    HOST_WIDE_INT high;
+  } int_cst;
 };
 
 /* In REAL_CST, STRING_CST, COMPLEX_CST nodes, and CONSTRUCTOR nodes,
@@ -644,7 +697,7 @@ struct tree_int_cst
 
 struct tree_real_cst
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
   struct rtx_def *rtl; /* acts as link to register transfer language
                                   (rtl) info */
   REAL_VALUE_TYPE real_cst;
@@ -656,7 +709,7 @@ struct tree_real_cst
 
 struct tree_string
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
   struct rtx_def *rtl; /* acts as link to register transfer language
                                   (rtl) info */
   int length;
@@ -669,7 +722,7 @@ struct tree_string
 
 struct tree_complex
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
   struct rtx_def *rtl; /* acts as link to register transfer language
                                   (rtl) info */
   union tree_node *real;
@@ -683,9 +736,9 @@ struct tree_complex
 
 struct tree_identifier
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
   int length;
-  char *pointer;
+  const char *pointer;
 };
 
 /* In a TREE_LIST node.  */
@@ -694,7 +747,7 @@ struct tree_identifier
 
 struct tree_list
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
   union tree_node *purpose;
   union tree_node *value;
 };
@@ -706,7 +759,7 @@ struct tree_list
 
 struct tree_vec
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
   int length;
   union tree_node *a[1];
 };
@@ -727,9 +780,6 @@ struct tree_vec
 #define RTL_EXPR_SEQUENCE(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[0])
 #define RTL_EXPR_RTL(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[1])
 
-/* In a CALL_EXPR node.  */
-#define CALL_EXPR_RTL(NODE) (*(struct rtx_def **) &EXPR_CHECK (NODE)->exp.operands[2])
-
 /* In a CONSTRUCTOR node.  */
 #define CONSTRUCTOR_ELTS(NODE) TREE_OPERAND (NODE, 1)
 
@@ -762,7 +812,7 @@ struct tree_vec
 
 struct tree_exp
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
   int complexity;
   union tree_node *operands[1];
 };
@@ -781,12 +831,18 @@ struct tree_exp
    listed in the BLOCK_VARS slot.  */
 #define BLOCK_HANDLER_BLOCK(NODE) (BLOCK_CHECK (NODE)->block.handler_block_flag)
 
+/* 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)
+
 struct tree_block
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
 
   unsigned handler_block_flag : 1;
   unsigned abstract_flag : 1;
+  unsigned block_num : 30;
 
   union tree_node *vars;
   union tree_node *subblocks;
@@ -823,9 +879,33 @@ struct tree_block
 #define TYPE_MAIN_VARIANT(NODE) (TYPE_CHECK (NODE)->type.main_variant)
 #define TYPE_NONCOPIED_PARTS(NODE) (TYPE_CHECK (NODE)->type.noncopied_parts)
 #define TYPE_CONTEXT(NODE) (TYPE_CHECK (NODE)->type.context)
-#define TYPE_OBSTACK(NODE) (TYPE_CHECK (NODE)->type.obstack)
 #define TYPE_LANG_SPECIFIC(NODE) (TYPE_CHECK (NODE)->type.lang_specific)
 
+/* 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)
+
+/* 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))
+
 /* 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.  */
@@ -851,6 +931,14 @@ struct tree_block
    The value is an int, measured in bits.  */
 #define TYPE_ALIGN(NODE) (TYPE_CHECK (NODE)->type.align)
 
+/* 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)
+
+/* The alignment for NODE, in bytes.  */
+#define TYPE_ALIGN_UNIT(NODE) \
+  (TYPE_ALIGN (NODE) / BITS_PER_UNIT)
+
 #define TYPE_STUB_DECL(NODE) (TREE_CHAIN (NODE))
 
 /* In a RECORD_TYPE, UNION_TYPE or QUAL_UNION_TYPE, it means the type
@@ -858,6 +946,22 @@ struct tree_block
    its size.  */
 #define TYPE_NO_FORCE_BLK(NODE) (TYPE_CHECK (NODE)->type.no_force_blk_flag)
 
+/* 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.  */
+#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) \
+  (FUNCTION_TYPE_CHECK (NODE)->type.no_force_blk_flag)
+
 /* Nonzero in a type considered volatile as a whole.  */
 #define TYPE_VOLATILE(NODE) ((NODE)->common.volatile_flag)
 
@@ -868,6 +972,11 @@ struct tree_block
    the term.  */
 #define TYPE_RESTRICT(NODE) (TYPE_CHECK (NODE)->type.restrict_flag)
 
+/* 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)
+
 /* 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.  */
@@ -876,12 +985,25 @@ struct tree_block
 #define TYPE_QUAL_CONST    0x1
 #define TYPE_QUAL_VOLATILE 0x2
 #define TYPE_QUAL_RESTRICT 0x4
+#define TYPE_QUAL_BOUNDED  0x8
 
 /* The set of type qualifiers for this type.  */
-#define TYPE_QUALS(NODE)                       \
-  ((TYPE_READONLY(NODE) * TYPE_QUAL_CONST)     \
-   | (TYPE_VOLATILE(NODE) * TYPE_QUAL_VOLATILE)        \
-   | (TYPE_RESTRICT(NODE) * TYPE_QUAL_RESTRICT))
+#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))
 
 /* These flags are available for each language front end to use internally.  */
 #define TYPE_LANG_FLAG_0(NODE) (TYPE_CHECK (NODE)->type.lang_flag_0)
@@ -901,33 +1023,98 @@ struct tree_block
    object of the given ARRAY_TYPE.  This allows temporaries to be allocated. */
 #define TYPE_ARRAY_MAX_SIZE(ARRAY_TYPE) TYPE_MAX_VALUE (ARRAY_TYPE)
 
-/* Indicates that objects of this type must be initialized by calling a
+/* For a VECTOR_TYPE, this is the number of sub-parts of the vector.  */
+#define TYPE_VECTOR_SUBPARTS(VECTOR_TYPE) (GET_MODE_NUNITS (TYPE_CHECK (VECTOR_TYPE)->type.mode))
+
+  /* Indicates that objects of this type must be initialized by calling a
    function when they are created.  */
-#define TYPE_NEEDS_CONSTRUCTING(NODE) (TYPE_CHECK (NODE)->type.needs_constructing_flag)
+#define TYPE_NEEDS_CONSTRUCTING(NODE) \
+  (TYPE_CHECK (NODE)->type.needs_constructing_flag)
 
 /* Indicates that objects of this type (a UNION_TYPE), should be passed
    the same way that the first union alternative would be passed.  */
-#define TYPE_TRANSPARENT_UNION(NODE) (TYPE_CHECK (NODE)->type.transparent_union_flag)
+#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)
 
 /* Indicated that objects of this type should be laid out in as
    compact a way as possible.  */
 #define TYPE_PACKED(NODE) (TYPE_CHECK (NODE)->type.packed_flag)
 
+/* 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.  */
+#define TYPE_AMBIENT_BOUNDEDNESS(TYPE) \
+  (FUNCTION_TYPE_CHECK (TYPE)->type.transparent_union_flag)
+
+#define MAX_POINTER_DEPTH 2
+#define VA_LIST_POINTER_DEPTH 3
+
 struct tree_type
 {
-  char common[sizeof (struct tree_common)];
+  struct tree_common common;
   union tree_node *values;
   union tree_node *size;
   union tree_node *size_unit;
   union tree_node *attributes;
-  unsigned uid;
+  unsigned int uid;
 
-  unsigned char precision;
-#ifdef ONLY_INT_FIELDS
-  int mode : 8;
-#else
-  enum machine_mode mode : 8;
-#endif
+  unsigned int precision : 9;
+  ENUM_BITFIELD(machine_mode) mode : 7;
 
   unsigned string_flag : 1;
   unsigned no_force_blk_flag : 1;
@@ -935,6 +1122,7 @@ struct tree_type
   unsigned transparent_union_flag : 1;
   unsigned packed_flag : 1;
   unsigned restrict_flag : 1;
+  unsigned pointer_depth : 2;
 
   unsigned lang_flag_0 : 1;
   unsigned lang_flag_1 : 1;
@@ -943,7 +1131,7 @@ struct tree_type
   unsigned lang_flag_4 : 1;
   unsigned lang_flag_5 : 1;
   unsigned lang_flag_6 : 1;
-  /* room for 3 more bits */
+  unsigned user_align : 1;
 
   unsigned int align;
   union tree_node *pointer_to;
@@ -957,8 +1145,7 @@ struct tree_type
   union tree_node *binfo;
   union tree_node *noncopied_parts;
   union tree_node *context;
-  struct obstack *obstack;
-  int alias_set;
+  HOST_WIDE_INT alias_set;
   /* Points to a structure whose details depend on the language in use.  */
   struct lang_type *lang_specific;
 };
@@ -1004,11 +1191,12 @@ struct tree_type
 #define BINFO_VIRTUALS(NODE) TREE_VEC_ELT ((NODE), 3)
 #define TYPE_BINFO_VIRTUALS(NODE) BINFO_VIRTUALS (TYPE_BINFO (NODE))
 
-/* A vector of additional binfos for the types inherited by this basetype.
+/* A vector of binfos for the direct basetypes inherited by this
+   basetype.
 
-   If this basetype describes type D as inherited in C,
-   and if the basetypes of D are E anf F,
-   then this vector contains binfos for inheritance of E and F by C.
+   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.
 
    ??? This could probably be done by just allocating the
    base types at the end of this TREE_VEC (instead of using
@@ -1017,19 +1205,29 @@ struct tree_type
 #define BINFO_BASETYPES(NODE) TREE_VEC_ELT ((NODE), 4)
 #define TYPE_BINFO_BASETYPES(NODE) TREE_VEC_ELT (TYPE_BINFO (NODE), 4)
 
+/* The number of basetypes for NODE.  */
+#define BINFO_N_BASETYPES(NODE) \
+  (BINFO_BASETYPES (NODE) ? TREE_VEC_LENGTH (BINFO_BASETYPES (NODE)) : 0)
+
 /* Accessor macro to get to the Nth basetype of this basetype.  */
 #define BINFO_BASETYPE(NODE,N) TREE_VEC_ELT (BINFO_BASETYPES (NODE), (N))
 #define TYPE_BINFO_BASETYPE(NODE,N) BINFO_TYPE (TREE_VEC_ELT (BINFO_BASETYPES (TYPE_BINFO (NODE)), (N)))
 
-/* For a BINFO record describing an inheritance, this yields a pointer
-   to the artificial FIELD_DECL node which contains the "virtual base
-   class pointer" for the given inheritance.  */
+/* 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
+   instead a INTEGER_CST giving an offset into the vtable where the
+   offset to the virtual base can be found.  */
 #define BINFO_VPTR_FIELD(NODE) TREE_VEC_ELT ((NODE), 5)
 
 /* The size of a base class subobject of this type.  Not all frontends
-   currently allocate the space for this field.  */
+   currently allocate the space for these fields.  */
 #define BINFO_SIZE(NODE) TREE_VEC_ELT ((NODE), 6)
+#define BINFO_SIZE_UNIT(NODE) TREE_VEC_ELT ((NODE), 7)
 #define TYPE_BINFO_SIZE(NODE) BINFO_SIZE (TYPE_BINFO (NODE))
+#define TYPE_BINFO_SIZE_UNIT(NODE) BINFO_SIZE_UNIT (TYPE_BINFO (NODE))
 
 /* 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,
@@ -1066,27 +1264,33 @@ struct tree_type
     containing function, the RECORD_TYPE or UNION_TYPE for the containing
     type, or NULL_TREE if the given decl has "file scope".  */
 #define DECL_CONTEXT(NODE) (DECL_CHECK (NODE)->decl.context)
-#define DECL_FIELD_CONTEXT(NODE) (DECL_CHECK (NODE)->decl.context)
+#define DECL_FIELD_CONTEXT(NODE) (FIELD_DECL_CHECK (NODE)->decl.context)
 /* In a DECL this is the field where configuration dependent machine
    attributes are store */
 #define DECL_MACHINE_ATTRIBUTES(NODE) (DECL_CHECK (NODE)->decl.machine_attributes)
-/* In a FIELD_DECL, this is the field position, counting in bits,
-   of the bit closest to the beginning of the structure.  */
-#define DECL_FIELD_BITPOS(NODE) (DECL_CHECK (NODE)->decl.arguments)
+/* 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)
 /* In a FIELD_DECL, this indicates whether the field was a bit-field and
    if so, the type that was originally specified for it.
    TREE_TYPE may have been modified (in finish_struct).  */
-#define DECL_BIT_FIELD_TYPE(NODE) (DECL_CHECK (NODE)->decl.result)
+#define DECL_BIT_FIELD_TYPE(NODE) (FIELD_DECL_CHECK (NODE)->decl.result)
 /* In FUNCTION_DECL, a chain of ..._DECL nodes.  */
 /* VAR_DECL and PARM_DECL reserve the arguments slot
    for language-specific uses.  */
 #define DECL_ARGUMENTS(NODE) (DECL_CHECK (NODE)->decl.arguments)
+/* 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)
 /* In FUNCTION_DECL, holds the decl for the return value.  */
-#define DECL_RESULT(NODE) (DECL_CHECK (NODE)->decl.result)
+#define DECL_RESULT(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.result)
 /* For a TYPE_DECL, holds the "original" type.  (TREE_TYPE has the copy.) */
-#define DECL_ORIGINAL_TYPE(NODE) (DECL_CHECK (NODE)->decl.result)
+#define DECL_ORIGINAL_TYPE(NODE) (TYPE_DECL_CHECK (NODE)->decl.result)
 /* In PARM_DECL, holds the type as written (perhaps a function or array).  */
-#define DECL_ARG_TYPE_AS_WRITTEN(NODE) (DECL_CHECK (NODE)->decl.result)
+#define DECL_ARG_TYPE_AS_WRITTEN(NODE) (PARM_DECL_CHECK (NODE)->decl.result)
 /* For a FUNCTION_DECL, holds the tree of BINDINGs.
    For a VAR_DECL, holds the initial value.
    For a PARM_DECL, not used--default
@@ -1095,18 +1299,34 @@ struct tree_type
 #define DECL_INITIAL(NODE) (DECL_CHECK (NODE)->decl.initial)
 /* For a PARM_DECL, records the data type used to pass the argument,
    which may be different from the type seen in the program.  */
-#define DECL_ARG_TYPE(NODE) (DECL_CHECK (NODE)->decl.initial)   /* In PARM_DECL.  */
+#define DECL_ARG_TYPE(NODE) (PARM_DECL_CHECK (NODE)->decl.initial)
 /* For a FIELD_DECL in a QUAL_UNION_TYPE, records the expression, which
    if nonzero, indicates that the field occupies the type.  */
-#define DECL_QUALIFIER(NODE) (DECL_CHECK (NODE)->decl.initial)
+#define DECL_QUALIFIER(NODE) (FIELD_DECL_CHECK (NODE)->decl.initial)
 /* These two fields describe where in the source code the declaration was.  */
 #define DECL_SOURCE_FILE(NODE) (DECL_CHECK (NODE)->decl.filename)
 #define DECL_SOURCE_LINE(NODE) (DECL_CHECK (NODE)->decl.linenum)
-/* Holds the size of the datum, as a tree expression.
+/* Holds the size of the datum, in bits, as a tree expression.
    Need not be constant.  */
 #define DECL_SIZE(NODE) (DECL_CHECK (NODE)->decl.size)
-/* Holds the alignment required for the datum.  */
-#define DECL_ALIGN(NODE) (DECL_CHECK (NODE)->decl.frame_size.u)
+/* Likewise for the size in bytes.  */
+#define DECL_SIZE_UNIT(NODE) (DECL_CHECK (NODE)->decl.size_unit)
+/* Holds the alignment required for the datum, in bits.  */
+#define DECL_ALIGN(NODE) (DECL_CHECK (NODE)->decl.u1.a.align)
+/* The alignment of NODE, in bytes.  */
+#define DECL_ALIGN_UNIT(NODE) (DECL_ALIGN (NODE) / BITS_PER_UNIT)
+/* 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)))
+/* 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)
 /* 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.  */
@@ -1122,18 +1342,15 @@ struct tree_type
 #define DECL_LIVE_RANGE_RTL(NODE) (DECL_CHECK (NODE)->decl.live_range_rtl)
 /* For PARM_DECL, holds an RTL for the stack slot or register
    where the data was actually passed.  */
-#define DECL_INCOMING_RTL(NODE) (DECL_CHECK (NODE)->decl.saved_insns.r)
+#define DECL_INCOMING_RTL(NODE) (PARM_DECL_CHECK (NODE)->decl.u2.r)
 /* For FUNCTION_DECL, if it is inline, holds the saved insn chain.  */
-#define DECL_SAVED_INSNS(NODE) (DECL_CHECK (NODE)->decl.saved_insns.f)
+#define DECL_SAVED_INSNS(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.u2.f)
 /* For FUNCTION_DECL, if it is inline,
    holds the size of the stack frame, as an integer.  */
-#define DECL_FRAME_SIZE(NODE) (DECL_CHECK (NODE)->decl.frame_size.i)
+#define DECL_FRAME_SIZE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.u1.i)
 /* For FUNCTION_DECL, if it is built-in,
    this identifies which built-in operation it is.  */
-#define DECL_FUNCTION_CODE(NODE) (DECL_CHECK (NODE)->decl.frame_size.f.code)
-#define DECL_SET_FUNCTION_CODE(NODE,VAL) (DECL_CHECK (NODE)->decl.frame_size.f.code = (VAL))
-/* For a FIELD_DECL, holds the size of the member as an integer.  */
-#define DECL_FIELD_SIZE(NODE) (DECL_CHECK (NODE)->decl.saved_insns.i)
+#define DECL_FUNCTION_CODE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.u1.f)
 
 /* The DECL_VINDEX is used for FUNCTION_DECLS in two different ways.
    Before the struct containing the FUNCTION_DECL is laid out,
@@ -1146,7 +1363,7 @@ struct tree_type
 /* 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++.  */
-#define DECL_FCONTEXT(NODE) (DECL_CHECK (NODE)->decl.vindex)
+#define DECL_FCONTEXT(NODE) (FIELD_DECL_CHECK (NODE)->decl.vindex)
 
 /* Every ..._DECL node gets a unique number.  */
 #define DECL_UID(NODE) (DECL_CHECK (NODE)->decl.uid)
@@ -1163,11 +1380,10 @@ struct tree_type
 #define DECL_ORIGIN(NODE) \
   (DECL_ABSTRACT_ORIGIN (NODE) ? DECL_ABSTRACT_ORIGIN (NODE) : NODE)
 
-/* 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 nodes can also have their abstract origin set to themselves
-   (see save_for_inline_copying).  */
+/* 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
+   nodes can also have their abstract origin set to themselves. */
 #define DECL_FROM_INLINE(NODE) (DECL_ABSTRACT_ORIGIN (NODE) != (tree) 0 \
                                && DECL_ABSTRACT_ORIGIN (NODE) != (NODE))
 
@@ -1210,19 +1426,20 @@ struct tree_type
    nonzero means the detail info about this type is not dumped into stabs.
    Instead it will generate cross reference ('x') of names. 
    This uses the same flag as DECL_EXTERNAL. */
-#define TYPE_DECL_SUPPRESS_DEBUG(NODE) (DECL_CHECK (NODE)->decl.external_flag)
-   
+#define TYPE_DECL_SUPPRESS_DEBUG(NODE) \
+(TYPE_DECL_CHECK (NODE)->decl.external_flag)
 
 /* In VAR_DECL and PARM_DECL nodes, nonzero means declared `register'.  */
 #define DECL_REGISTER(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
 /* In LABEL_DECL nodes, nonzero means that an error message about
    jumping into such a binding contour has been printed for this label.  */
-#define DECL_ERROR_ISSUED(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
+#define DECL_ERROR_ISSUED(NODE) (LABEL_DECL_CHECK (NODE)->decl.regdecl_flag)
 /* In a FIELD_DECL, indicates this field should be bit-packed.  */
-#define DECL_PACKED(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
+#define DECL_PACKED(NODE) (FIELD_DECL_CHECK (NODE)->decl.regdecl_flag)
 /* In a FUNCTION_DECL with a non-zero DECL_CONTEXT, indicates that a
    static chain is not needed.  */
-#define DECL_NO_STATIC_CHAIN(NODE) (DECL_CHECK (NODE)->decl.regdecl_flag)
+#define DECL_NO_STATIC_CHAIN(NODE) \
+(FUNCTION_DECL_CHECK (NODE)->decl.regdecl_flag)
 
 /* 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.
@@ -1235,33 +1452,41 @@ struct tree_type
 
 /* Nonzero in a FUNCTION_DECL means this function can be substituted
    where it is called.  */
-#define DECL_INLINE(NODE) (DECL_CHECK (NODE)->decl.inline_flag)
+#define DECL_INLINE(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.inline_flag)
 
 /* 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.  */
-#define DECL_BUILT_IN_NONANSI(NODE) ((NODE)->common.unsigned_flag)
+#define DECL_BUILT_IN_NONANSI(NODE) \
+(FUNCTION_DECL_CHECK (NODE)->common.unsigned_flag)
 
 /* 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.  */
-#define DECL_IS_MALLOC(NODE) (DECL_CHECK (NODE)->decl.malloc_flag)
+#define DECL_IS_MALLOC(NODE) (FUNCTION_DECL_CHECK (NODE)->decl.malloc_flag)
+
+/* 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)
 
 /* Nonzero in a FIELD_DECL means it is a bit field, and must be accessed
    specially.  */
-#define DECL_BIT_FIELD(NODE) (DECL_CHECK (NODE)->decl.bit_field_flag)
+#define DECL_BIT_FIELD(NODE) (FIELD_DECL_CHECK (NODE)->decl.bit_field_flag)
 /* In a LABEL_DECL, nonzero means label was defined inside a binding
    contour that restored a stack level and which is now exited.  */
-#define DECL_TOO_LATE(NODE) (DECL_CHECK (NODE)->decl.bit_field_flag)
+#define DECL_TOO_LATE(NODE) (LABEL_DECL_CHECK (NODE)->decl.bit_field_flag)
 
-/* In a FUNCTION_DECL, nonzero means a built in function.  */
-#define DECL_BUILT_IN(NODE) (DECL_BUILT_IN_CLASS (NODE) != NOT_BUILT_IN)
-/* For a builtin function, identify which part of the compiler defined it.  */
-#define DECL_BUILT_IN_CLASS(NODE) (DECL_CHECK (NODE)->decl.frame_size.f.bclass)
+/* Unused in FUNCTION_DECL.  */
 
 /* In a VAR_DECL that's static,
    nonzero if the space is in the text section.  */
-#define DECL_IN_TEXT_SECTION(NODE) (DECL_CHECK (NODE)->decl.bit_field_flag)
+#define DECL_IN_TEXT_SECTION(NODE) (VAR_DECL_CHECK (NODE)->decl.bit_field_flag)
+
+/* In a FUNCTION_DECL, nonzero means a built in function.  */
+#define DECL_BUILT_IN(NODE) (DECL_BUILT_IN_CLASS (NODE) != NOT_BUILT_IN)
+/* For a builtin function, identify which part of the compiler defined it.  */
+#define DECL_BUILT_IN_CLASS(NODE) \
+(FUNCTION_DECL_CHECK (NODE)->decl.built_in_class)
 
 /* Used in VAR_DECLs to indicate that the variable is a vtable.
    Used in FIELD_DECLs for vtable pointers.
@@ -1275,12 +1500,16 @@ struct tree_type
 /* 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.  */
-#define DECL_TRANSPARENT_UNION(NODE) (DECL_CHECK (NODE)->decl.transparent_union)
+#define DECL_TRANSPARENT_UNION(NODE) \
+(PARM_DECL_CHECK (NODE)->decl.transparent_union)
 
 /* Used in FUNCTION_DECLs to indicate that they should be run automatically
    at the beginning or end of execution.  */
-#define DECL_STATIC_CONSTRUCTOR(NODE) (DECL_CHECK (NODE)->decl.static_ctor_flag)
-#define DECL_STATIC_DESTRUCTOR(NODE) (DECL_CHECK (NODE)->decl.static_dtor_flag)
+#define DECL_STATIC_CONSTRUCTOR(NODE) \
+(FUNCTION_DECL_CHECK (NODE)->decl.static_ctor_flag)
+
+#define DECL_STATIC_DESTRUCTOR(NODE) \
+(FUNCTION_DECL_CHECK (NODE)->decl.static_dtor_flag)
 
 /* Used to indicate that this DECL represents a compiler-generated entity.  */
 #define DECL_ARTIFICIAL(NODE) (DECL_CHECK (NODE)->decl.artificial_flag)
@@ -1305,15 +1534,18 @@ struct tree_type
 
 /* Used in FUNCTION_DECLs to indicate that function entry and exit should
    be instrumented with calls to support routines.  */
-#define DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT(NODE) ((NODE)->decl.no_instrument_function_entry_exit)
+#define DECL_NO_INSTRUMENT_FUNCTION_ENTRY_EXIT(NODE) \
+(FUNCTION_DECL_CHECK (NODE)->decl.no_instrument_function_entry_exit)
 
 /* Used in FUNCTION_DECLs to indicate that check-memory-usage should be
    disabled in this function.  */
-#define DECL_NO_CHECK_MEMORY_USAGE(NODE) ((NODE)->decl.no_check_memory_usage)
+#define DECL_NO_CHECK_MEMORY_USAGE(NODE) \
+(FUNCTION_DECL_CHECK (NODE)->decl.no_check_memory_usage)
 
 /* Used in FUNCTION_DECLs to indicate that limit-stack-* should be
    disabled in this function.  */
-#define DECL_NO_LIMIT_STACK(NODE) ((NODE)->decl.no_limit_stack)
+#define DECL_NO_LIMIT_STACK(NODE) \
+(FUNCTION_DECL_CHECK (NODE)->decl.no_limit_stack)
 
 /* Additional flags for language-specific uses.  */
 #define DECL_LANG_FLAG_0(NODE) (DECL_CHECK (NODE)->decl.lang_flag_0)
@@ -1329,6 +1561,11 @@ struct tree_type
    an address constant.  */
 #define DECL_NON_ADDR_CONST_P(NODE) (DECL_CHECK (NODE)->decl.non_addr_const_p)
 
+/* 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)
+
 /* 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.  */
@@ -1339,18 +1576,24 @@ struct tree_type
 #define DECL_POINTER_ALIAS_SET_KNOWN_P(NODE) \
   (DECL_POINTER_ALIAS_SET (NODE) != - 1)
 
+/* 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)
+
 struct tree_decl
 {
-  char common[sizeof (struct tree_common)];
-  char *filename;
+  struct tree_common common;
+  const char *filename;
   int linenum;
   unsigned int uid;
   union tree_node *size;
-#ifdef ONLY_INT_FIELDS
-  int mode : 8;
-#else
-  enum machine_mode mode : 8;
-#endif
+  ENUM_BITFIELD(machine_mode) mode : 8;
 
   unsigned external_flag : 1;
   unsigned nonlocal_flag : 1;
@@ -1370,6 +1613,20 @@ struct tree_decl
   unsigned artificial_flag : 1;
   unsigned weak_flag : 1;
 
+  unsigned non_addr_const_p : 1;
+  unsigned no_instrument_function_entry_exit : 1;
+  unsigned no_check_memory_usage : 1;
+  unsigned comdat_flag : 1;
+  unsigned malloc_flag : 1;
+  unsigned no_limit_stack : 1;
+  ENUM_BITFIELD(built_in_class) built_in_class : 2;
+
+  unsigned pure_flag : 1;
+  unsigned pointer_depth : 2;
+  unsigned non_addressable : 1;
+  unsigned user_align : 1;
+  /* Three unused bits.  */
+
   unsigned lang_flag_0 : 1;
   unsigned lang_flag_1 : 1;
   unsigned lang_flag_2 : 1;
@@ -1379,47 +1636,42 @@ struct tree_decl
   unsigned lang_flag_6 : 1;
   unsigned lang_flag_7 : 1;
 
-  unsigned non_addr_const_p : 1;
-  unsigned no_instrument_function_entry_exit : 1;
-  unsigned no_check_memory_usage : 1;
-  unsigned comdat_flag : 1;
-  unsigned malloc_flag : 1;
-  unsigned no_limit_stack : 1;
-
   /* For a FUNCTION_DECL, if inline, this is the size of frame needed.
      If built-in, this is the code for which built-in function.
-     For other kinds of decls, this is DECL_ALIGN.  */
+     For other kinds of decls, this is DECL_ALIGN and DECL_OFFSET_ALIGN.  */
   union {
-    int i;
-    unsigned int u;
-    struct
-      {
-       unsigned int code:24;
-       unsigned int bclass:8;
-      } f;
-  } frame_size;
+    HOST_WIDE_INT i;
+    enum built_in_function f;
+    struct {unsigned int align : 24; unsigned int off_align : 8;} a;
+  } u1;
 
+  union tree_node *size_unit;
   union tree_node *name;
   union tree_node *context;
-  union tree_node *arguments;
-  union tree_node *result;
-  union tree_node *initial;
+  union tree_node *arguments;  /* Also used for DECL_FIELD_OFFSET */
+  union tree_node *result;     /* Also used for DECL_BIT_FIELD_TYPE */
+  union tree_node *initial;    /* Also used for DECL_QUALIFIER */
   union tree_node *abstract_origin;
   union tree_node *assembler_name;
   union tree_node *section_name;
   union tree_node *machine_attributes;
-  struct rtx_def *rtl; /* acts as link to register transfer language
-                                  (rtl) info */
+  struct rtx_def *rtl; /* RTL representation for object.  */
   struct rtx_def *live_range_rtl;
-  /* For FUNCTION_DECLs: points to insn that constitutes its definition
-     on the permanent obstack.  For FIELD_DECL, this is DECL_FIELD_SIZE.  */
+
+  /* In FUNCTION_DECL, if it is inline, holds the saved insn chain.
+     In FIELD_DECL, is DECL_FIELD_BIT_OFFSET.
+     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.  */
   union {
     struct function *f;
     struct rtx_def *r;
-    HOST_WIDE_INT i;
-  } saved_insns;
+    union tree_node *t;
+    int i;
+  } u2;
+
   union tree_node *vindex;
-  int pointer_alias_set;
+  HOST_WIDE_INT pointer_alias_set;
   /* Points to a structure whose details depend on the language in use.  */
   struct lang_decl *lang_specific;
 };
@@ -1461,25 +1713,17 @@ enum tree_index
   TI_UINTDI_TYPE,
   TI_UINTTI_TYPE,
     
-  TI_CHAR_TYPE,
-  TI_SIGNED_CHAR_TYPE,
-  TI_UNSIGNED_CHAR_TYPE,
-  TI_INTEGER_TYPE,
-  TI_UNSIGNED_TYPE,
-  TI_SHORT_INTEGER_TYPE,
-  TI_SHORT_UNSIGNED_TYPE,
-  TI_LONG_INTEGER_TYPE,
-  TI_LONG_UNSIGNED_TYPE,
-  TI_LONG_LONG_INTEGER_TYPE,
-  TI_LONG_LONG_UNSIGNED_TYPE,
-
   TI_INTEGER_ZERO,
   TI_INTEGER_ONE,
   TI_NULL_POINTER,
 
   TI_SIZE_ZERO,
   TI_SIZE_ONE,
-    
+
+  TI_BITSIZE_ZERO,
+  TI_BITSIZE_ONE,
+  TI_BITSIZE_UNIT,
+
   TI_COMPLEX_INTEGER_TYPE,
   TI_COMPLEX_FLOAT_TYPE,
   TI_COMPLEX_DOUBLE_TYPE,
@@ -1495,6 +1739,14 @@ enum tree_index
   TI_PTRDIFF_TYPE,
   TI_VA_LIST_TYPE,
 
+  TI_V4SF_TYPE,
+  TI_V4SI_TYPE,
+  TI_V8QI_TYPE,
+  TI_V4HI_TYPE,
+  TI_V2SI_TYPE,
+
+  TI_MAIN_IDENTIFIER,
+
   TI_MAX
 };
 
@@ -1514,22 +1766,14 @@ extern tree global_trees[TI_MAX];
 #define unsigned_intDI_type_node       global_trees[TI_UINTDI_TYPE]
 #define unsigned_intTI_type_node       global_trees[TI_UINTTI_TYPE]
 
-#define char_type_node                 global_trees[TI_CHAR_TYPE]
-#define signed_char_type_node          global_trees[TI_SIGNED_CHAR_TYPE]
-#define unsigned_char_type_node                global_trees[TI_UNSIGNED_CHAR_TYPE]
-#define short_integer_type_node                global_trees[TI_SHORT_INTEGER_TYPE]
-#define short_unsigned_type_node       global_trees[TI_SHORT_UNSIGNED_TYPE]
-#define integer_type_node              global_trees[TI_INTEGER_TYPE]
-#define unsigned_type_node             global_trees[TI_UNSIGNED_TYPE]
-#define long_integer_type_node         global_trees[TI_LONG_INTEGER_TYPE]
-#define long_unsigned_type_node                global_trees[TI_LONG_UNSIGNED_TYPE]
-#define long_long_integer_type_node    global_trees[TI_LONG_LONG_INTEGER_TYPE]
-#define long_long_unsigned_type_node   global_trees[TI_LONG_LONG_UNSIGNED_TYPE]
-
 #define integer_zero_node              global_trees[TI_INTEGER_ZERO]
 #define integer_one_node               global_trees[TI_INTEGER_ONE]
 #define size_zero_node                 global_trees[TI_SIZE_ZERO]
 #define size_one_node                  global_trees[TI_SIZE_ONE]
+#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]
+
 #define null_pointer_node              global_trees[TI_NULL_POINTER]
 
 #define float_type_node                        global_trees[TI_FLOAT_TYPE]
@@ -1548,6 +1792,52 @@ extern tree global_trees[TI_MAX];
 #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]
+
+#define main_identifier_node           global_trees[TI_MAIN_IDENTIFIER]
+#define MAIN_NAME_P(NODE) (IDENTIFIER_NODE_CHECK (NODE) == main_identifier_node)
+
+#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]
+#define V4HI_type_node                 global_trees[TI_V4HI_TYPE]
+#define V2SI_type_node                 global_trees[TI_V2SI_TYPE]
+
+/* An enumeration of the standard C integer types.  These must be
+   ordered so that shorter types appear before longer ones.  */
+enum integer_type_kind 
+{
+  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.  */
+extern tree integer_types[itk_none];
+
+#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]
+
 \f
 #define NULL_TREE (tree) NULL
 
@@ -1559,104 +1849,113 @@ extern tree global_trees[TI_MAX];
 #define exact_log2(N) exact_log2_wide ((unsigned HOST_WIDE_INT) (N))
 #define floor_log2(N) floor_log2_wide ((unsigned HOST_WIDE_INT) (N))
 #endif
-extern int exact_log2_wide             PROTO((unsigned HOST_WIDE_INT));
-extern int floor_log2_wide             PROTO((unsigned HOST_WIDE_INT));
+extern int exact_log2_wide             PARAMS ((unsigned HOST_WIDE_INT));
+extern int floor_log2_wide             PARAMS ((unsigned HOST_WIDE_INT));
+
+extern char *permalloc                 PARAMS ((int));
+extern char *expralloc                 PARAMS ((int));
+
+/* 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 char *oballoc                   PROTO((int));
-extern char *permalloc                 PROTO((int));
-extern char *savealloc                 PROTO((int));
-extern char *expralloc                 PROTO((int));
+extern size_t tree_size                        PARAMS ((tree));
 
 /* 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.  */
 
-extern tree make_node                  PROTO((enum tree_code));
-extern tree make_lang_type             PROTO((enum tree_code));
-extern tree (*make_lang_type_fn)               PROTO((enum tree_code));
+extern tree make_node                  PARAMS ((enum tree_code));
+extern tree make_lang_type             PARAMS ((enum tree_code));
+extern tree (*make_lang_type_fn)               PARAMS ((enum tree_code));
 
 /* Make a copy of a node, with all the same contents except
    for TREE_PERMANENT.  (The copy is permanent
    iff nodes being made now are permanent.)  */
 
-extern tree copy_node                  PROTO((tree));
+extern tree copy_node                  PARAMS ((tree));
 
 /* Make a copy of a chain of TREE_LIST nodes.  */
 
-extern tree copy_list                  PROTO((tree));
+extern tree copy_list                  PARAMS ((tree));
 
 /* Make a TREE_VEC.  */
 
-extern tree make_tree_vec              PROTO((int));
+extern tree make_tree_vec              PARAMS ((int));
 
 /* Return the (unique) IDENTIFIER_NODE node for a given name.
    The name is supplied as a char *.  */
 
-extern tree get_identifier             PROTO((const char *));
+extern tree get_identifier             PARAMS ((const char *));
 
 /* If an identifier with the name TEXT (a null-terminated string) has
    previously been referred to, return that node; otherwise return
    NULL_TREE.  */
 
-extern tree maybe_get_identifier       PROTO((const char *));
+extern tree maybe_get_identifier       PARAMS ((const char *));
 
 /* Construct various types of nodes.  */
 
 #define build_int_2(LO,HI)  \
-  build_int_2_wide ((HOST_WIDE_INT) (LO), (HOST_WIDE_INT) (HI))
-
-extern tree build                      PVPROTO((enum tree_code, tree, ...));
-extern tree build_nt                   PVPROTO((enum tree_code, ...));
-extern tree build_parse_node           PVPROTO((enum tree_code, ...));
-
-extern tree build_int_2_wide           PROTO((HOST_WIDE_INT, HOST_WIDE_INT));
-extern tree build_real                 PROTO((tree, REAL_VALUE_TYPE));
-extern tree build_real_from_int_cst    PROTO((tree, tree));
-extern tree build_complex              PROTO((tree, tree, tree));
-extern tree build_string               PROTO((int, const char *));
-extern tree build1                     PROTO((enum tree_code, tree, tree));
-extern tree build_tree_list            PROTO((tree, tree));
-extern tree build_decl_list            PROTO((tree, tree));
-extern tree build_expr_list            PROTO((tree, tree));
-extern tree build_decl                 PROTO((enum tree_code, tree, tree));
-extern tree build_block                        PROTO((tree, tree, tree, tree, tree));
-extern tree build_expr_wfl              PROTO((tree, const char *, int, int));
+  build_int_2_wide ((unsigned HOST_WIDE_INT) (LO), (HOST_WIDE_INT) (HI))
+
+extern tree build                      PARAMS ((enum tree_code, tree, ...));
+extern tree build_nt                   PARAMS ((enum tree_code, ...));
+extern tree build_parse_node           PARAMS ((enum tree_code, ...));
+
+extern tree build_int_2_wide           PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT));
+extern tree build_real                 PARAMS ((tree, REAL_VALUE_TYPE));
+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));
 
 /* Construct various nodes representing data types.  */
 
-extern tree make_signed_type           PROTO((int));
-extern tree make_unsigned_type         PROTO((int));
-extern void set_sizetype               PROTO((tree));
-extern tree signed_or_unsigned_type    PROTO((int, tree));
-extern void fixup_unsigned_type                PROTO((tree));
-extern tree build_pointer_type         PROTO((tree));
-extern tree build_reference_type       PROTO((tree));
-extern tree build_index_type           PROTO((tree));
-extern tree build_index_2_type         PROTO((tree, tree));
-extern tree build_array_type           PROTO((tree, tree));
-extern tree build_function_type                PROTO((tree, tree));
-extern tree build_method_type          PROTO((tree, tree));
-extern tree build_offset_type          PROTO((tree, tree));
-extern tree build_complex_type         PROTO((tree));
-extern tree array_type_nelts           PROTO((tree));
-
-extern tree value_member               PROTO((tree, tree));
-extern tree purpose_member             PROTO((tree, tree));
-extern tree binfo_member               PROTO((tree, tree));
-extern int attribute_hash_list         PROTO((tree));
-extern int attribute_list_equal                PROTO((tree, tree));
-extern int attribute_list_contained    PROTO((tree, tree));
-extern int tree_int_cst_equal          PROTO((tree, tree));
-extern int tree_int_cst_lt             PROTO((tree, tree));
-extern int tree_int_cst_sgn            PROTO((tree));
-extern int index_type_equal            PROTO((tree, tree));
-extern tree get_inner_array_type       PROTO((tree));
+extern tree make_signed_type           PARAMS ((int));
+extern tree make_unsigned_type         PARAMS ((int));
+extern void initialize_sizetypes       PARAMS ((void));
+extern void set_sizetype               PARAMS ((tree));
+extern tree signed_or_unsigned_type    PARAMS ((int, tree));
+extern void fixup_unsigned_type                PARAMS ((tree));
+extern tree build_pointer_type         PARAMS ((tree));
+extern tree build_reference_type       PARAMS ((tree));
+extern tree build_type_no_quals        PARAMS ((tree));
+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));
+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));
+extern unsigned int attribute_hash_list        PARAMS ((tree));
+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));
+extern int tree_int_cst_compare         PARAMS ((tree, tree));
+extern int host_integerp               PARAMS ((tree, int));
+extern HOST_WIDE_INT tree_low_cst      PARAMS ((tree, int));
+extern int tree_int_cst_msb            PARAMS ((tree));
+extern int tree_int_cst_sgn            PARAMS ((tree));
+extern int tree_expr_nonnegative_p     PARAMS ((tree));
+extern int rtl_expr_nonnegative_p      PARAMS ((struct rtx_def *));
+extern int index_type_equal            PARAMS ((tree, tree));
+extern tree get_inner_array_type       PARAMS ((tree));
 
 /* 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.  */
 
-extern tree make_tree                  PROTO((tree, struct rtx_def *));
+extern tree make_tree                  PARAMS ((tree, struct rtx_def *));
 \f
 /* Return a type like TTYPE except that its TYPE_ATTRIBUTES
    is ATTRIBUTE.
@@ -1664,37 +1963,37 @@ extern tree make_tree                   PROTO((tree, struct rtx_def *));
    Such modified types already made are recorded so that duplicates
    are not made. */
 
-extern tree build_type_attribute_variant PROTO((tree, tree));
-extern tree build_decl_attribute_variant PROTO((tree, tree));
+extern tree build_type_attribute_variant PARAMS ((tree, tree));
+extern tree build_decl_attribute_variant PARAMS ((tree, tree));
 
-extern tree merge_machine_decl_attributes PROTO((tree, tree));
-extern tree merge_machine_type_attributes PROTO((tree, tree));
+extern tree merge_machine_decl_attributes PARAMS ((tree, tree));
+extern tree merge_machine_type_attributes PARAMS ((tree, tree));
 
 /* Split a list of declspecs and attributes into two.  */
 
-extern void split_specs_attrs          PROTO((tree, tree *, tree *));
+extern void split_specs_attrs          PARAMS ((tree, tree *, tree *));
 
 /* Strip attributes from a list of combined specs and attrs.  */
 
-extern tree strip_attrs                        PROTO((tree));
+extern tree strip_attrs                        PARAMS ((tree));
 
 /* Return 1 if an attribute and its arguments are valid for a decl or type.  */
 
-extern int valid_machine_attribute     PROTO((tree, tree, tree, tree));
+extern int valid_machine_attribute     PARAMS ((tree, tree, tree, tree));
 
 /* Given a tree node and a string, return non-zero if the tree node is
    a valid attribute name for the string.  */
 
-extern int is_attribute_p              PROTO((const char *, tree));
+extern int is_attribute_p              PARAMS ((const char *, tree));
 
 /* Given an attribute name and a list of attributes, return the list element
    of the attribute or NULL_TREE if not found.  */
 
-extern tree lookup_attribute           PROTO((const char *, tree));
+extern tree lookup_attribute           PARAMS ((const char *, tree));
 
 /* Given two attributes lists, return a list of their union.  */
 
-extern tree merge_attributes           PROTO((tree, tree));
+extern tree merge_attributes           PARAMS ((tree, tree));
 
 /* Given a type node TYPE and a TYPE_QUALIFIER_SET, return a type for
    the same kind of data as TYPE describes.  Variants point to the
@@ -1703,7 +2002,7 @@ extern tree merge_attributes              PROTO((tree, tree));
    variants are never made.  Only main variants should ever appear as
    types of expressions.  */
 
-extern tree build_qualified_type        PROTO((tree, int));
+extern tree build_qualified_type        PARAMS ((tree, int));
 
 /* Like build_qualified_type, but only deals with the `const' and
    `volatile' qualifiers.  This interface is retained for backwards
@@ -1717,21 +2016,64 @@ extern tree build_qualified_type        PROTO((tree, int));
 
 /* Make a copy of a type node.  */
 
-extern tree build_type_copy            PROTO((tree));
+extern tree build_type_copy            PARAMS ((tree));
 
 /* Given a ..._TYPE node, calculate the TYPE_SIZE, TYPE_SIZE_UNIT,
-   TYPE_ALIGN and TYPE_MODE fields.
-   If called more than once on one node, does nothing except
-   for the first time.  */
+   TYPE_ALIGN and TYPE_MODE fields.  If called more than once on one
+   node, does nothing except for the first time.  */
 
-extern void layout_type                        PROTO((tree));
+extern void layout_type                        PARAMS ((tree));
+
+/* 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
+   start_record_layout.  Then, call place_field for each of the
+   fields.  Then, call finish_record_layout.  See layout_type for the
+   default way in which these functions are used.  */
+
+typedef struct record_layout_info_s
+{
+  /* The RECORD_TYPE that we are laying out.  */
+  tree t;
+  /* 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;
+  /* The alignment of the record so far, in bits.  */
+  unsigned int record_align;
+  /* The alignment of the record so far, not including padding, in bits.  */
+  unsigned int unpacked_align;
+  /* The static variables (i.e., class variables, as opposed to
+     instance variables) encountered in T.  */
+  tree pending_statics;
+  int packed_maybe_necessary;
+} *record_layout_info;
+
+extern record_layout_info start_record_layout PARAMS ((tree));
+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));
+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));
+extern void compute_record_mode                PARAMS ((tree));
+extern void finish_record_layout       PARAMS ((record_layout_info));
 
 /* 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.  */
 
-extern tree type_hash_canon            PROTO((int, tree));
+extern tree type_hash_canon            PARAMS ((unsigned int, tree));
 
 /* Given a VAR_DECL, PARM_DECL, RESULT_DECL or FIELD_DECL node,
    calculates the DECL_SIZE, DECL_SIZE_UNIT, DECL_ALIGN and DECL_MODE
@@ -1741,29 +2083,68 @@ extern tree type_hash_canon             PROTO((int, tree));
    be starting at (in bits).  Zero means it can be assumed aligned
    on any boundary that may be needed.  */
 
-extern void layout_decl                        PROTO((tree, unsigned));
+extern void layout_decl                        PARAMS ((tree, unsigned));
+
+/* 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));
 
 /* Return an expr equal to X but certainly not valid as an lvalue.  */
 
-extern tree non_lvalue                 PROTO((tree));
-extern tree pedantic_non_lvalue                PROTO((tree));
-
-extern tree convert                    PROTO((tree, tree));
-extern tree size_in_bytes              PROTO((tree));
-extern HOST_WIDE_INT int_size_in_bytes PROTO((tree));
-extern tree size_binop                 PROTO((enum tree_code, tree, tree));
-extern tree ssize_binop                        PROTO((enum tree_code, tree, tree));
-extern tree size_int_wide              PROTO((unsigned HOST_WIDE_INT,
-                                              unsigned HOST_WIDE_INT, int));
-#define size_int(L) size_int_2 ((L), 0, 0)
-#define bitsize_int(L, H) size_int_2 ((L), (H), 1)
-#define size_int_2(L, H, T)                    \
-  size_int_wide ((unsigned HOST_WIDE_INT) (L), \
-                (unsigned HOST_WIDE_INT) (H), (T))
-
-extern tree round_up                   PROTO((tree, int));
-extern tree get_pending_sizes          PROTO((void));
-extern void put_pending_sizes          PROTO((tree));
+extern tree non_lvalue                 PARAMS ((tree));
+extern tree pedantic_non_lvalue                PARAMS ((tree));
+
+extern tree convert                    PARAMS ((tree, tree));
+extern unsigned int expr_align         PARAMS ((tree));
+extern tree size_in_bytes              PARAMS ((tree));
+extern HOST_WIDE_INT int_size_in_bytes PARAMS ((tree));
+extern tree bit_position               PARAMS ((tree));
+extern HOST_WIDE_INT int_bit_position  PARAMS ((tree));
+extern tree byte_position              PARAMS ((tree));
+extern HOST_WIDE_INT int_byte_position PARAMS ((tree));
+
+/* Define data structures, macros, and functions for handling sizes
+   and the various types used to represent sizes.  */
+
+enum size_type_kind
+{
+  SIZETYPE,            /* Normal representation of sizes in bytes. */
+  SSIZETYPE,           /* Signed representation of sizes in bytes. */
+  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};
+
+extern tree sizetype_tab[(int) TYPE_KIND_LAST];
+
+#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]
+
+extern tree size_binop                 PARAMS ((enum tree_code, tree, tree));
+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));
+
+#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)
+
+extern tree round_up                   PARAMS ((tree, int));
+extern tree round_down                 PARAMS ((tree, int));
+extern tree get_pending_sizes          PARAMS ((void));
+extern void put_pending_sizes          PARAMS ((tree));
 
 /* Type for sizes of data-type.  */
 
@@ -1772,117 +2153,105 @@ extern void put_pending_sizes         PROTO((tree));
    + (BITS_PER_UNIT > 8) + (BITS_PER_UNIT > 16) + (BITS_PER_UNIT > 32) \
    + (BITS_PER_UNIT > 64) + (BITS_PER_UNIT > 128) + (BITS_PER_UNIT > 256))
 
-struct sizetype_tab
-{
-  tree xsizetype, xbitsizetype;
-  tree xssizetype, xusizetype;
-  tree xsbitsizetype, xubitsizetype;
-};
-
-extern struct sizetype_tab sizetype_tab;
-
-#define sizetype sizetype_tab.xsizetype
-#define bitsizetype sizetype_tab.xbitsizetype
-#define ssizetype sizetype_tab.xssizetype
-#define usizetype sizetype_tab.xusizetype
-#define sbitsizetype sizetype_tab.xsbitsizetype
-#define ubitsizetype sizetype_tab.xubitsizetype
-
 /* If nonzero, an upper limit on alignment of structure fields, in bits. */
-extern int maximum_field_alignment;
+extern unsigned int maximum_field_alignment;
 
 /* If non-zero, the alignment of a bitstring or (power-)set value, in bits. */
-extern int set_alignment;
+extern unsigned int set_alignment;
 
 /* 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.  */
 
-extern tree chainon                    PROTO((tree, tree));
+extern tree chainon                    PARAMS ((tree, tree));
 
 /* Make a new TREE_LIST node from specified PURPOSE, VALUE and CHAIN.  */
 
-extern tree tree_cons                  PROTO((tree, tree, tree));
-extern tree perm_tree_cons             PROTO((tree, tree, tree));
-extern tree temp_tree_cons             PROTO((tree, tree, tree));
-extern tree saveable_tree_cons         PROTO((tree, tree, tree));
-extern tree decl_tree_cons             PROTO((tree, tree, tree));
-extern tree expr_tree_cons             PROTO((tree, tree, tree));
+extern tree tree_cons                  PARAMS ((tree, tree, tree));
 
 /* Return the last tree node in a chain.  */
 
-extern tree tree_last                  PROTO((tree));
+extern tree tree_last                  PARAMS ((tree));
 
 /* Reverse the order of elements in a chain, and return the new head.  */
 
-extern tree nreverse                   PROTO((tree));
+extern tree nreverse                   PARAMS ((tree));
 
 /* Returns the length of a chain of nodes
    (number of chain pointers to follow before reaching a null pointer).  */
 
-extern int list_length                 PROTO((tree));
+extern int list_length                 PARAMS ((tree));
+
+/* Returns the number of FIELD_DECLs in a type.  */
+
+extern int fields_length               PARAMS ((tree));
 
 /* integer_zerop (tree x) is nonzero if X is an integer constant of value 0 */
 
-extern int integer_zerop               PROTO((tree));
+extern int integer_zerop               PARAMS ((tree));
 
 /* integer_onep (tree x) is nonzero if X is an integer constant of value 1 */
 
-extern int integer_onep                        PROTO((tree));
+extern int integer_onep                        PARAMS ((tree));
 
 /* integer_all_onesp (tree x) is nonzero if X is an integer constant
    all of whose significant bits are 1.  */
 
-extern int integer_all_onesp           PROTO((tree));
+extern int integer_all_onesp           PARAMS ((tree));
 
 /* integer_pow2p (tree x) is nonzero is X is an integer constant with
    exactly one bit 1.  */
 
-extern int integer_pow2p               PROTO((tree));
+extern int integer_pow2p               PARAMS ((tree));
 
 /* staticp (tree x) is nonzero if X is a reference to data allocated
    at a fixed address in memory.  */
 
-extern int staticp                     PROTO((tree));
+extern int staticp                     PARAMS ((tree));
 
 /* Gets an error if argument X is not an lvalue.
    Also returns 1 if X is an lvalue, 0 if not.  */
 
-extern int lvalue_or_else              PROTO((tree, const char *));
+extern int lvalue_or_else              PARAMS ((tree, const char *));
 
 /* save_expr (EXP) returns an expression equivalent to EXP
    but it can be used multiple times within context CTX
    and only evaluate EXP once.  */
 
-extern tree save_expr                  PROTO((tree));
+extern tree save_expr                  PARAMS ((tree));
 
 /* Returns the index of the first non-tree operand for CODE, or the number
    of operands if all are trees.  */
 
-extern int first_rtl_op                        PROTO((enum tree_code));
+extern int first_rtl_op                        PARAMS ((enum tree_code));
 
 /* unsave_expr (EXP) returns an expression equivalent to EXP but it
    can be used multiple times and will evaluate EXP in its entirety
    each time.  */
 
-extern tree unsave_expr                        PROTO((tree));
+extern tree unsave_expr                        PARAMS ((tree));
 
 /* Reset EXP in place so that it can be expaned again.  Does not
    recurse into subtrees.  */
 
-extern void unsave_expr_1               PROTO((tree));
+extern void unsave_expr_1               PARAMS ((tree));
 
 /* Like unsave_expr_1, but recurses into all subtrees.  */
 
-extern tree unsave_expr_now            PROTO((tree));
+extern tree unsave_expr_now            PARAMS ((tree));
 
 /* If non-null, these are language-specific helper functions for
    unsave_expr_now.  If present, LANG_UNSAVE is called before its
    argument (an UNSAVE_EXPR) is to be unsaved, and all other
    processing in unsave_expr_now is aborted.  LANG_UNSAVE_EXPR_NOW is
    called from unsave_expr_1 for language-specific tree codes.  */
-extern void (*lang_unsave)              PROTO((tree *));
-extern void (*lang_unsave_expr_now)     PROTO((tree));
+extern void (*lang_unsave)              PARAMS ((tree *));
+extern void (*lang_unsave_expr_now)     PARAMS ((tree));
+
+/* 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.  */
+extern int unsafe_for_reeval PARAMS ((tree));
 
 /* 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.
@@ -1890,19 +2259,19 @@ extern void (*lang_unsave_expr_now)     PROTO((tree));
    Note that we only allow such expressions within simple arithmetic
    or a COND_EXPR.  */
 
-extern int contains_placeholder_p      PROTO((tree));
+extern int contains_placeholder_p      PARAMS ((tree));
 
 /* Return 1 if EXP contains any expressions that produce cleanups for an
    outer scope to deal with.  Used by fold.  */
 
-extern int has_cleanups                        PROTO((tree));
+extern int has_cleanups                        PARAMS ((tree));
 
 /* 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.  */
 
-extern tree substitute_in_expr         PROTO((tree, tree, tree));
+extern tree substitute_in_expr         PARAMS ((tree, tree, tree));
 
 /* variable_size (EXP) is like save_expr (EXP) except that it
    is for the special case of something that is part of a
@@ -1910,104 +2279,105 @@ extern tree substitute_in_expr                PROTO((tree, tree, tree));
    to compute the value at the right time when the data type
    belongs to a function parameter.  */
 
-extern tree variable_size              PROTO((tree));
+extern tree variable_size              PARAMS ((tree));
 
 /* stabilize_reference (EXP) returns an reference equivalent to EXP
    but it can be used multiple times
    and only evaluate the subexpressions once.  */
 
-extern tree stabilize_reference                PROTO((tree));
+extern tree stabilize_reference                PARAMS ((tree));
 
 /* 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.  */
 
-extern tree stabilize_reference_1      PROTO((tree));
+extern tree stabilize_reference_1      PARAMS ((tree));
 
 /* 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.  */
 
-extern tree get_unwidened              PROTO((tree, tree));
+extern tree get_unwidened              PARAMS ((tree, tree));
 
 /* 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.  */
 
-extern tree get_narrower               PROTO((tree, int *));
+extern tree get_narrower               PARAMS ((tree, int *));
 
 /* Given MODE and UNSIGNEDP, return a suitable type-tree
    with that mode.
    The definition of this resides in language-specific code
    as the repertoire of available types may vary.  */
 
-extern tree type_for_mode              PROTO((enum machine_mode, int));
+extern tree type_for_mode              PARAMS ((enum machine_mode, int));
 
 /* Given PRECISION and UNSIGNEDP, return a suitable type-tree
    for an integer type with at least that precision.
    The definition of this resides in language-specific code
    as the repertoire of available types may vary.  */
 
-extern tree type_for_size              PROTO((unsigned, int));
+extern tree type_for_size              PARAMS ((unsigned, int));
 
 /* Given an integer type T, return a type like T but unsigned.
    If T is unsigned, the value is T.
    The definition of this resides in language-specific code
    as the repertoire of available types may vary.  */
 
-extern tree unsigned_type              PROTO((tree));
+extern tree unsigned_type              PARAMS ((tree));
 
 /* Given an integer type T, return a type like T but signed.
    If T is signed, the value is T.
    The definition of this resides in language-specific code
    as the repertoire of available types may vary.  */
 
-extern tree signed_type                        PROTO((tree));
+extern tree signed_type                        PARAMS ((tree));
 
 /* This function must be defined in the language-specific files.
    expand_expr calls it to build the cleanup-expression for a TARGET_EXPR.
    This is defined in a language-specific file.  */
 
-extern tree maybe_build_cleanup                PROTO((tree));
+extern tree maybe_build_cleanup                PARAMS ((tree));
 
 /* 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.  */
 
-extern tree get_inner_reference                PROTO((tree, int *, int *, tree *,
-                                              enum machine_mode *, int *,
-                                              int *, int *));
+extern tree get_inner_reference                PARAMS ((tree, HOST_WIDE_INT *,
+                                                HOST_WIDE_INT *, tree *,
+                                                enum machine_mode *, int *,
+                                                int *, unsigned int *));
 
 /* Given a DECL or TYPE, return the scope in which it was declared, or
    NUL_TREE if there is no containing scope.  */
 
-extern tree get_containing_scope        PROTO((tree));
+extern tree get_containing_scope        PARAMS ((tree));
 
 /* Return the FUNCTION_DECL which provides this _DECL with its context,
    or zero if none.  */
-extern tree decl_function_context      PROTO((tree));
+extern tree decl_function_context      PARAMS ((tree));
 
 /* Return the RECORD_TYPE, UNION_TYPE, or QUAL_UNION_TYPE which provides
    this _DECL with its context, or zero if none.  */
-extern tree decl_type_context          PROTO((tree));
+extern tree decl_type_context          PARAMS ((tree));
 
 /* 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.  */
 
-extern const char *function_cannot_inline_p    PROTO((tree));
+extern const char *function_cannot_inline_p    PARAMS ((tree));
 
 /* Return 1 if EXPR is the real constant zero.  */
-extern int real_zerop PROTO((tree));
+extern int real_zerop PARAMS ((tree));
 \f
 /* 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).  */
-extern char *input_filename;
+extern const char *input_filename;
 
 /* Current line number in input file.  */
 extern int lineno;
@@ -2030,6 +2400,9 @@ extern int immediate_size_expand;
 
 extern tree current_function_decl;
 
+/* Nonzero means a FUNC_BEGIN label was emitted.  */
+extern tree current_function_func_begin_label;
+
 /* Nonzero means all ..._TYPE nodes should be allocated permanently.  */
 
 extern int all_types_permanent;
@@ -2042,91 +2415,94 @@ extern int all_types_permanent;
      2: and any other information that might be interesting, such as function
         parameter types in C++.  */
 
-extern const char *(*decl_printable_name)      PROTO((tree, int));
+extern const char *(*decl_printable_name)      PARAMS ((tree, int));
 
 /* Pointer to function to finish handling an incomplete decl at the
    end of compilation.  */
 
-extern void (*incomplete_decl_finalize_hook)   PROTO((tree));
+extern void (*incomplete_decl_finalize_hook)   PARAMS ((tree));
 
-extern char *init_parse                                PROTO((char *));
-extern void finish_parse                       PROTO((void));
+extern const char *init_parse                  PARAMS ((const char *));
+extern void finish_parse                       PARAMS ((void));
 
 extern const char * const language_string;
 
 /* Declare a predefined function.  Return the declaration.  This function is
    provided by each language frontend.  */
-extern tree builtin_function                   PROTO((const char *, tree, int,
+extern tree builtin_function                   PARAMS ((const char *, tree, int,
                                                       enum built_in_class,
                                                       const char *));
 \f
 /* In tree.c */
-extern char *perm_calloc                       PROTO((int, long));
-extern tree get_file_function_name             PROTO((int));
-extern tree get_file_function_name_long        PROTO((const char *));
-extern tree get_set_constructor_bits           PROTO((tree, char *, int));
-extern tree get_set_constructor_bytes          PROTO((tree,
+extern char *perm_calloc                       PARAMS ((int, long));
+extern void clean_symbol_name                  PARAMS ((char *));
+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,
                                                       unsigned char *, int));
-extern int get_alias_set                        PROTO((tree));
-extern int new_alias_set                       PROTO((void));
-extern int (*lang_get_alias_set)                PROTO((tree));
-extern tree get_callee_fndecl                   PROTO((tree));
+extern tree get_callee_fndecl                   PARAMS ((tree));
 \f
 /* In stmt.c */
 
-extern int in_control_zone_p                   PROTO((void));
-extern void expand_fixups                      PROTO((struct rtx_def *));
-extern tree expand_start_stmt_expr             PROTO((void));
-extern tree expand_end_stmt_expr               PROTO((tree));
-extern void expand_expr_stmt                   PROTO((tree));
-extern int warn_if_unused_value                        PROTO((tree));
-extern void expand_decl_init                   PROTO((tree));
-extern void clear_last_expr                    PROTO((void));
-extern void expand_label                       PROTO((tree));
-extern void expand_goto                                PROTO((tree));
-extern void expand_asm                         PROTO((tree));
-extern void expand_start_cond                  PROTO((tree, int));
-extern void expand_end_cond                    PROTO((void));
-extern void expand_start_else                  PROTO((void));
-extern void expand_start_elseif                        PROTO((tree));
-extern struct nesting *expand_start_loop       PROTO((int));
-extern struct nesting *expand_start_loop_continue_elsewhere    PROTO((int));
-extern void expand_loop_continue_here          PROTO((void));
-extern void expand_end_loop                    PROTO((void));
-extern int expand_continue_loop                        PROTO((struct nesting *));
-extern int expand_exit_loop                    PROTO((struct nesting *));
-extern int expand_exit_loop_if_false           PROTO((struct nesting *,
+extern int in_control_zone_p                   PARAMS ((void));
+extern void expand_fixups                      PARAMS ((struct rtx_def *));
+extern tree expand_start_stmt_expr             PARAMS ((void));
+extern tree expand_end_stmt_expr               PARAMS ((tree));
+extern void expand_expr_stmt                   PARAMS ((tree));
+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));
+extern struct nesting *expand_start_null_loop  PARAMS ((void));
+extern void expand_loop_continue_here          PARAMS ((void));
+extern void expand_end_loop                    PARAMS ((void));
+extern void expand_end_null_loop               PARAMS ((void));
+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 *,
                                                       tree));
-extern int expand_exit_something               PROTO((void));
+extern int expand_exit_something               PARAMS ((void));
 
-extern void expand_null_return                 PROTO((void));
-extern void expand_return                      PROTO((tree));
-extern int optimize_tail_recursion             PROTO((tree, struct rtx_def *));
-extern void expand_start_bindings_and_block     PROTO((int, tree));
+extern void expand_null_return                 PARAMS ((void));
+extern void expand_return                      PARAMS ((tree));
+extern int optimize_tail_recursion             PARAMS ((tree, struct rtx_def *));
+extern void expand_start_bindings_and_block     PARAMS ((int, tree));
 #define expand_start_bindings(flags) \
   expand_start_bindings_and_block(flags, NULL_TREE)
-extern void expand_end_bindings                        PROTO((tree, int, int));
-extern void warn_about_unused_variables         PROTO((tree));
-extern void start_cleanup_deferral             PROTO((void));
-extern void end_cleanup_deferral               PROTO((void));
-extern void mark_block_as_eh_region            PROTO((void));
-extern void mark_block_as_not_eh_region                PROTO((void));
-extern int is_eh_region                                PROTO((void));
-extern int conditional_context                 PROTO((void));
-extern tree last_cleanup_this_contour          PROTO((void));
-extern int expand_dhc_cleanup                  PROTO((tree));
-extern int expand_dcc_cleanup                  PROTO((tree));
-extern void expand_start_case                  PROTO((int, tree, tree,
+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));
+extern int is_body_block                       PARAMS ((tree));
+
+extern void mark_block_as_eh_region            PARAMS ((void));
+extern void mark_block_as_not_eh_region                PARAMS ((void));
+extern int is_eh_region                                PARAMS ((void));
+extern int conditional_context                 PARAMS ((void));
+extern tree last_cleanup_this_contour          PARAMS ((void));
+extern int expand_dhc_cleanup                  PARAMS ((tree));
+extern int expand_dcc_cleanup                  PARAMS ((tree));
+extern void expand_start_case                  PARAMS ((int, tree, tree,
                                                       const char *));
-extern void expand_end_case                    PROTO((tree));
-extern int pushcase                            PROTO((tree,
+extern void expand_end_case                    PARAMS ((tree));
+extern int add_case_node                        PARAMS ((tree, tree,
+                                                        tree, tree *));
+extern int pushcase                            PARAMS ((tree,
                                                       tree (*) (tree, tree),
                                                       tree, tree *));
-extern int pushcase_range                      PROTO((tree, tree,
+extern int pushcase_range                      PARAMS ((tree, tree,
                                                       tree (*) (tree, tree),
                                                       tree, tree *));
-extern void using_eh_for_cleanups              PROTO((void));
-extern int stmt_loop_nest_empty                        PROTO((void));
+extern void using_eh_for_cleanups              PARAMS ((void));
+extern int stmt_loop_nest_empty                        PARAMS ((void));
 
 /* In fold-const.c */
 
@@ -2136,422 +2512,354 @@ extern int stmt_loop_nest_empty                       PROTO((void));
    if the argument itself cannot be simplified, its
    subexpressions are not changed.  */
 
-extern tree fold               PROTO((tree));
-
-extern int force_fit_type      PROTO((tree, int));
-extern int add_double          PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
-                                      HOST_WIDE_INT, HOST_WIDE_INT,
-                                      HOST_WIDE_INT *, HOST_WIDE_INT *));
-extern int neg_double          PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
-                                      HOST_WIDE_INT *, HOST_WIDE_INT *));
-extern int mul_double          PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
-                                      HOST_WIDE_INT, HOST_WIDE_INT,
-                                      HOST_WIDE_INT *, HOST_WIDE_INT *));
-extern void lshift_double      PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
-                                      HOST_WIDE_INT, int, HOST_WIDE_INT *,
-                                      HOST_WIDE_INT *, int));
-extern void rshift_double      PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
-                                      HOST_WIDE_INT, int,
-                                      HOST_WIDE_INT *, HOST_WIDE_INT *, int));
-extern void lrotate_double     PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
-                                      HOST_WIDE_INT, int, HOST_WIDE_INT *,
-                                      HOST_WIDE_INT *));
-extern void rrotate_double     PROTO((HOST_WIDE_INT, HOST_WIDE_INT,
-                                      HOST_WIDE_INT, int, HOST_WIDE_INT *,
-                                      HOST_WIDE_INT *));
-extern int operand_equal_p     PROTO((tree, tree, int));
-extern tree invert_truthvalue  PROTO((tree));
+extern tree fold               PARAMS ((tree));
+
+extern int force_fit_type      PARAMS ((tree, int));
+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 *));
+extern int operand_equal_p     PARAMS ((tree, tree, int));
+extern tree invert_truthvalue  PARAMS ((tree));
 
 /* In builtins.c.  Given a type, apply default promotions wrt unnamed
    function arguments and return the new type.  Return NULL_TREE if no
    change.  Required by any language that supports variadic arguments.  */
 
-extern tree (*lang_type_promotes_to)   PROTO((tree));
-\f
-/* Interface of the DWARF2 unwind info support.  */
-
-/* Decide whether we want to emit frame unwind information for the current
-   translation unit.  */
-
-extern int dwarf2out_do_frame          PROTO((void));
-
-/* Generate a new label for the CFI info to refer to.  */
-
-extern char *dwarf2out_cfi_label       PROTO((void));
-
-/* Entry point to update the canonical frame address (CFA).  */
-
-extern void dwarf2out_def_cfa          PROTO((char *, unsigned, long));
-
-/* Add the CFI for saving a register window.  */
-
-extern void dwarf2out_window_save      PROTO((char *));
-
-/* Add a CFI to update the running total of the size of arguments pushed
-   onto the stack.  */
-
-extern void dwarf2out_args_size                PROTO((char *, long));
-
-/* Entry point for saving a register to the stack.  */
-
-extern void dwarf2out_reg_save         PROTO((char *, unsigned, long));
-
-/* Entry point for saving the return address in the stack.  */
-
-extern void dwarf2out_return_save      PROTO((char *, long));
-
-/* Entry point for saving the return address in a register.  */
-
-extern void dwarf2out_return_reg       PROTO((char *, unsigned));
-
-/* Output a marker (i.e. a label) for the beginning of a function, before
-   the prologue.  */
-
-extern void dwarf2out_begin_prologue   PROTO((void));
-
-/* Output a marker (i.e. a label) for the absolute end of the generated
-   code for a function definition.  */
-
-extern void dwarf2out_end_epilogue     PROTO((void));
+extern tree (*lang_type_promotes_to)   PARAMS ((tree));
+extern tree fold_builtin               PARAMS ((tree));
 \f
 /* The language front-end must define these functions.  */
 
 /* Function of no arguments for initializing options.  */
-extern void lang_init_options                  PROTO((void));
+extern void lang_init_options                  PARAMS ((void));
 
 /* Function of no arguments for initializing lexical scanning.  */
-extern void init_lex                           PROTO((void));
+extern void init_lex                           PARAMS ((void));
 /* Function of no arguments for initializing the symbol table.  */
-extern void init_decl_processing               PROTO((void));
+extern void init_decl_processing               PARAMS ((void));
 
 /* Functions called with no arguments at the beginning and end or processing
    the input source file.  */
-extern void lang_init                          PROTO((void));
-extern void lang_finish                                PROTO((void));
+extern void lang_init                          PARAMS ((void));
+extern void lang_finish                                PARAMS ((void));
 
 /* Function to identify which front-end produced the output file. */
-extern const char *lang_identify                       PROTO((void));
+extern const char *lang_identify                       PARAMS ((void));
 
 /* Called by report_error_function to print out function name.
  * Default may be overridden by language front-ends.  */
-extern void (*print_error_function) PROTO((const char *));
+extern void (*print_error_function) PARAMS ((const char *));
 
 /* Function to replace the DECL_LANG_SPECIFIC field of a DECL with a copy.  */
-extern void copy_lang_decl                     PROTO((tree));
+extern void copy_lang_decl                     PARAMS ((tree));
 
 /* Function called with no arguments to parse and compile the input.  */
-extern int yyparse                             PROTO((void));
+extern int yyparse                             PARAMS ((void));
 /* Function called with option as argument
    to decode options starting with -f or -W or +.
    It should return nonzero if it handles the option.  */
-extern int lang_decode_option                  PROTO((int, char **));
+extern int lang_decode_option                  PARAMS ((int, char **));
 
 /* Functions for processing symbol declarations.  */
 /* Function to enter a new lexical scope.
    Takes one argument: always zero when called from outside the front end.  */
-extern void pushlevel                          PROTO((int));
+extern void pushlevel                          PARAMS ((int));
 /* Function to exit a lexical scope.  It returns a BINDING for that scope.
    Takes three arguments:
      KEEP -- nonzero if there were declarations in this scope.
      REVERSE -- reverse the order of decls before returning them.
      FUNCTIONBODY -- nonzero if this level is the body of a function.  */
-extern tree poplevel                           PROTO((int, int, int));
+extern tree poplevel                           PARAMS ((int, int, int));
 /* Set the BLOCK node for the current scope level.  */
-extern void set_block                          PROTO((tree));
+extern void set_block                          PARAMS ((tree));
 /* Function to add a decl to the current scope level.
    Takes one argument, a decl to add.
    Returns that decl, or, if the same symbol is already declared, may
    return a different decl for that name.  */
-extern tree pushdecl                           PROTO((tree));
+extern tree pushdecl                           PARAMS ((tree));
 /* Function to return the chain of decls so far in the current scope level.  */
-extern tree getdecls                           PROTO((void));
+extern tree getdecls                           PARAMS ((void));
 /* Function to return the chain of structure tags in the current scope level.  */
-extern tree gettags                            PROTO((void));
-
-extern tree build_range_type PROTO((tree, tree, tree));
-
-/* Call when starting to parse a declaration:
-   make expressions in the declaration last the length of the function.
-   Returns an argument that should be passed to resume_momentary later.  */
-extern int suspend_momentary PROTO((void));
+extern tree gettags                            PARAMS ((void));
 
-extern int allocation_temporary_p PROTO((void));
-
-/* Call when finished parsing a declaration:
-   restore the treatment of node-allocation that was
-   in effect before the suspension.
-   YES should be the value previously returned by suspend_momentary.  */
-extern void resume_momentary PROTO((int));
+extern tree build_range_type PARAMS ((tree, tree, tree));
 
 /* Called after finishing a record, union or enumeral type.  */
-extern void rest_of_type_compilation PROTO((tree, int));
-
-/* Save the current set of obstacks, but don't change them.  */
-extern void push_obstacks_nochange PROTO((void));
+extern void rest_of_type_compilation PARAMS ((tree, int));
 
-extern void permanent_allocation PROTO((int));
+/* In alias.c */
+extern void record_component_aliases           PARAMS ((tree));
+extern HOST_WIDE_INT get_alias_set             PARAMS ((tree));
 
-extern void push_momentary PROTO((void));
-
-extern void clear_momentary PROTO((void));
-
-extern void pop_momentary PROTO((void));
-
-extern void end_temporary_allocation PROTO((void));
+/* In c-common.c */
+extern HOST_WIDE_INT lang_get_alias_set                PARAMS ((tree));
 
-/* Pop the obstack selection stack.  */
-extern void pop_obstacks PROTO((void));
+struct obstack;
 
 /* In tree.c */
-extern int really_constant_p           PROTO ((tree));
-extern void push_obstacks              PROTO ((struct obstack *,
-                                               struct obstack *));
-extern void pop_momentary_nofree       PROTO ((void));
-extern void preserve_momentary         PROTO ((void));
-extern void saveable_allocation                PROTO ((void));
-extern void temporary_allocation       PROTO ((void));
-extern void resume_temporary_allocation        PROTO ((void));
-extern tree get_file_function_name     PROTO ((int));
-extern void set_identifier_size                PROTO ((int));
-extern int int_fits_type_p             PROTO ((tree, tree));
-extern int tree_log2                   PROTO ((tree));
-extern void preserve_initializer       PROTO ((void));
-extern void preserve_data              PROTO ((void));
-extern int object_permanent_p          PROTO ((tree));
-extern int type_precision              PROTO ((tree));
-extern int simple_cst_equal            PROTO ((tree, tree));
-extern int type_list_equal             PROTO ((tree, tree));
-extern int chain_member                        PROTO ((tree, tree));
-extern int chain_member_purpose                PROTO ((tree, tree));
-extern int chain_member_value          PROTO ((tree, tree));
-extern tree listify                    PROTO ((tree));
-extern tree type_hash_lookup           PROTO ((int, tree));
-extern void type_hash_add              PROTO ((int, tree));
-extern int type_hash_list              PROTO ((tree));
-extern int simple_cst_list_equal       PROTO ((tree, tree));
-extern void debug_obstack              PROTO ((char *));
-extern void rtl_in_current_obstack     PROTO ((void));
-extern void rtl_in_saveable_obstack    PROTO ((void));
-extern void init_tree_codes            PROTO ((void));
-extern void dump_tree_statistics       PROTO ((void));
-extern void print_obstack_statistics   PROTO ((const char *,
+extern int really_constant_p           PARAMS ((tree));
+extern void set_identifier_size                PARAMS ((int));
+extern int int_fits_type_p             PARAMS ((tree, tree));
+extern int tree_log2                   PARAMS ((tree));
+extern int tree_floor_log2             PARAMS ((tree));
+extern void preserve_data              PARAMS ((void));
+extern int object_permanent_p          PARAMS ((tree));
+extern int type_precision              PARAMS ((tree));
+extern int simple_cst_equal            PARAMS ((tree, tree));
+extern int compare_tree_int            PARAMS ((tree, unsigned int));
+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));
+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));
+extern int simple_cst_list_equal       PARAMS ((tree, tree));
+extern void init_tree_codes            PARAMS ((void));
+extern void dump_tree_statistics       PARAMS ((void));
+extern void print_obstack_statistics   PARAMS ((const char *,
                                                struct obstack *));
 #ifdef BUFSIZ
-extern void print_obstack_name         PROTO ((char *, FILE *, const char *));
+extern void print_obstack_name         PARAMS ((char *, FILE *,
+                                                const char *));
 #endif
-extern void expand_function_end                PROTO ((char *, int, int));
-extern void expand_function_start      PROTO ((tree, int));
-extern int real_onep                   PROTO ((tree));
-extern int real_twop                   PROTO ((tree));
-extern void start_identifier_warnings  PROTO ((void));
-extern void gcc_obstack_init           PROTO ((struct obstack *));
-extern void init_obstacks              PROTO ((void));
-extern void obfree                     PROTO ((char *));
-extern void build_common_tree_nodes    PROTO ((int));
-extern void build_common_tree_nodes_2  PROTO ((int));
+extern void expand_function_end                PARAMS ((const char *, int, int));
+extern void expand_function_start      PARAMS ((tree, int));
+
+extern int real_onep                   PARAMS ((tree));
+extern int real_twop                   PARAMS ((tree));
+extern void start_identifier_warnings  PARAMS ((void));
+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));
 
 /* In function.c */
-extern void setjmp_protect_args                PROTO ((void));
-extern void setjmp_protect             PROTO ((tree));
-extern void expand_main_function       PROTO ((void));
-extern void mark_varargs               PROTO ((void));
-extern void init_dummy_function_start  PROTO ((void));
-extern void expand_dummy_function_end  PROTO ((void));
-extern void init_function_for_compilation      PROTO ((void));
-extern void init_function_start                PROTO ((tree, char *, int));
-extern void assign_parms               PROTO ((tree));
-extern void put_var_into_stack         PROTO ((tree));
-extern void uninitialized_vars_warning PROTO ((tree));
-extern void setjmp_args_warning                PROTO ((void));
-extern void mark_all_temps_used                PROTO ((void));
-extern void init_temp_slots            PROTO ((void));
-extern void combine_temp_slots         PROTO ((void));
-extern void free_temp_slots            PROTO ((void));
-extern void pop_temp_slots             PROTO ((void));
-extern void push_temp_slots            PROTO ((void));
-extern void preserve_temp_slots                PROTO ((struct rtx_def *));
-extern int aggregate_value_p           PROTO ((tree));
-extern tree reorder_blocks             PROTO ((tree,
-                                               struct rtx_def *));
-extern void free_temps_for_rtl_expr    PROTO ((tree));
-extern void instantiate_virtual_regs   PROTO ((tree, struct rtx_def *));
-extern int max_parm_reg_num            PROTO ((void));
-extern void push_function_context      PROTO ((void));
-extern void pop_function_context       PROTO ((void));
-extern void push_function_context_to   PROTO ((tree));
-extern void pop_function_context_from  PROTO ((tree));
+extern void setjmp_protect_args                PARAMS ((void));
+extern void setjmp_protect             PARAMS ((tree));
+extern void expand_main_function       PARAMS ((void));
+extern void mark_varargs               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));
+extern void init_function_start                PARAMS ((tree, const char *, int));
+extern void assign_parms               PARAMS ((tree));
+extern void put_var_into_stack         PARAMS ((tree));
+extern void flush_addressof            PARAMS ((tree));
+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));
+extern void preserve_temp_slots                PARAMS ((struct rtx_def *));
+extern void preserve_rtl_expr_temps    PARAMS ((tree));
+extern int aggregate_value_p           PARAMS ((tree));
+extern void free_temps_for_rtl_expr    PARAMS ((tree));
+extern void instantiate_virtual_regs   PARAMS ((tree, struct rtx_def *));
+extern void unshare_all_rtl            PARAMS ((tree, struct rtx_def *));
+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));
 
 /* In print-rtl.c */
 #ifdef BUFSIZ
-extern void print_rtl                  PROTO ((FILE *, struct rtx_def *));
+extern void print_rtl                  PARAMS ((FILE *, struct rtx_def *));
 #endif
 
 /* In print-tree.c */
-extern void debug_tree                 PROTO ((tree));
+extern void debug_tree                 PARAMS ((tree));
 #ifdef BUFSIZ
-extern void print_node                 PROTO ((FILE *, const char *, tree, int));
-extern void print_node_brief           PROTO ((FILE *, const char *, tree, int));
-extern void indent_to                  PROTO ((FILE *, int));
+extern void print_node                 PARAMS ((FILE *, const char *, tree,
+                                                int));
+extern void print_node_brief           PARAMS ((FILE *, const char *, tree,
+                                                int));
+extern void indent_to                  PARAMS ((FILE *, int));
 #endif
 
 /* In expr.c */
-extern void emit_queue                         PROTO ((void));
-extern int apply_args_register_offset          PROTO ((int));
+extern void emit_queue                         PARAMS ((void));
+extern int apply_args_register_offset          PARAMS ((int));
 extern struct rtx_def *expand_builtin_return_addr
-       PROTO ((enum built_in_function, int, struct rtx_def *));
-extern void do_pending_stack_adjust            PROTO ((void));
-extern struct rtx_def *expand_assignment       PROTO ((tree, tree, int, int));
-extern struct rtx_def *store_expr              PROTO ((tree, struct rtx_def *,
+       PARAMS ((enum built_in_function, int, struct rtx_def *));
+extern void do_pending_stack_adjust            PARAMS ((void));
+extern struct rtx_def *expand_assignment       PARAMS ((tree, tree, int,
+                                                        int));
+extern struct rtx_def *store_expr              PARAMS ((tree,
+                                                        struct rtx_def *,
                                                        int));
-extern void check_max_integer_computation_mode PROTO ((tree));
+extern void check_max_integer_computation_mode PARAMS ((tree));
 
 /* In emit-rtl.c */
-extern void start_sequence_for_rtl_expr                PROTO ((tree));
-extern struct rtx_def *emit_line_note_after    PROTO ((char *, int,
-                                                       struct rtx_def *));
-extern struct rtx_def *emit_line_note          PROTO ((char *, int));
-extern struct rtx_def *emit_line_note_force    PROTO ((char *, int));
+extern void start_sequence_for_rtl_expr                PARAMS ((tree));
+extern struct rtx_def *emit_line_note_after    PARAMS ((const char *, int,
+                                                        struct rtx_def *));
+extern struct rtx_def *emit_line_note          PARAMS ((const char *, int));
+extern struct rtx_def *emit_line_note_force    PARAMS ((const char *, int));
 
 /* In calls.c */
-extern void special_function_p         PROTO ((tree, int *, int *,
-                                               int *, int *));
 
-/* In c-typeck.c */
-extern int mark_addressable            PROTO ((tree));
-extern void incomplete_type_error      PROTO ((tree, tree));
+extern int setjmp_call_p               PARAMS ((tree));
 
-/* In c-lang.c */
-extern void print_lang_statistics      PROTO ((void));
+/* In front end.  */
 
-/* In c-common.c */
-extern tree truthvalue_conversion      PROTO ((tree));
-extern int min_precision               PROTO ((tree, int));
-extern void split_specs_attrs          PROTO ((tree, tree *, tree *));
-
-/* In c-decl.c */
+extern int mark_addressable            PARAMS ((tree));
+extern void incomplete_type_error      PARAMS ((tree, tree));
+extern void print_lang_statistics      PARAMS ((void));
+extern tree truthvalue_conversion      PARAMS ((tree));
+extern void split_specs_attrs          PARAMS ((tree, tree *, tree *));
 #ifdef BUFSIZ
-extern void print_lang_decl            PROTO ((FILE *, tree, int));
-extern void print_lang_type            PROTO ((FILE *, tree, int));
-extern void print_lang_identifier      PROTO ((FILE *, tree, int));
+extern void print_lang_decl            PARAMS ((FILE *, tree, int));
+extern void print_lang_type            PARAMS ((FILE *, tree, int));
+extern void print_lang_identifier      PARAMS ((FILE *, tree, int));
 #endif
-extern int global_bindings_p           PROTO ((void));
-extern void insert_block               PROTO ((tree));
+extern int global_bindings_p           PARAMS ((void));
+extern void insert_block               PARAMS ((tree));
 
 /* In integrate.c */
-extern void save_for_inline_nocopy     PROTO ((tree));
-extern void save_for_inline_copying    PROTO ((tree));
-extern void set_decl_abstract_flags    PROTO ((tree, int));
-extern void output_inline_function     PROTO ((tree));
+extern void save_for_inline            PARAMS ((tree));
+extern void set_decl_abstract_flags    PARAMS ((tree, int));
+extern void output_inline_function     PARAMS ((tree));
+extern void set_decl_origin_self       PARAMS ((tree));
 
-/* In c-lex.c */
-extern void set_yydebug                        PROTO ((int));
+/* In front end.  */
+extern void set_yydebug                        PARAMS ((int));
 
 /* In stor-layout.c */
-extern void fixup_signed_type          PROTO ((tree));
+extern void fixup_signed_type          PARAMS ((tree));
 
 /* varasm.c */
-extern void make_decl_rtl              PROTO ((tree, const char *, int));
-extern void make_decl_one_only         PROTO ((tree));
-extern int supports_one_only           PROTO ((void));
-extern void variable_section           PROTO ((tree, int));
+extern void make_decl_rtl              PARAMS ((tree, const char *, int));
+extern void make_decl_one_only         PARAMS ((tree));
+extern int supports_one_only           PARAMS ((void));
+extern void variable_section           PARAMS ((tree, int));
 
 /* In fold-const.c */
-extern int div_and_round_double                PROTO ((enum tree_code, int,
-                                               HOST_WIDE_INT, HOST_WIDE_INT,
-                                               HOST_WIDE_INT, HOST_WIDE_INT,
-                                               HOST_WIDE_INT *,
-                                               HOST_WIDE_INT *,
-                                               HOST_WIDE_INT *,
-                                               HOST_WIDE_INT *));
+extern int div_and_round_double                PARAMS ((enum tree_code, int,
+                                                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 *));
 
 /* In stmt.c */
-extern void emit_nop                   PROTO ((void));
-extern void expand_computed_goto       PROTO ((tree));
-extern struct rtx_def *label_rtx       PROTO ((tree));
-extern void expand_asm_operands                PROTO ((tree, tree, tree, tree, int,
-                                               char *, int));
-extern int any_pending_cleanups                PROTO ((int));
-extern void init_stmt                  PROTO ((void));
-extern void init_stmt_for_function     PROTO ((void));
-extern int drop_through_at_end_p       PROTO ((void));
-extern void expand_start_target_temps  PROTO ((void));
-extern void expand_end_target_temps    PROTO ((void));
-extern void expand_elseif              PROTO ((tree));
-extern void expand_decl                        PROTO ((tree));
-extern int expand_decl_cleanup         PROTO ((tree, tree));
-extern void expand_anon_union_decl     PROTO ((tree, tree, tree));
-extern void move_cleanups_up           PROTO ((void));
-extern void expand_start_case_dummy    PROTO ((void));
-extern void expand_end_case_dummy      PROTO ((void));
-extern tree case_index_expr_type       PROTO ((void));
-extern HOST_WIDE_INT all_cases_count   PROTO ((tree, int *));
-extern void check_for_full_enumeration_handling PROTO ((tree));
-extern void declare_nonlocal_label     PROTO ((tree));
+extern void emit_nop                   PARAMS ((void));
+extern void expand_computed_goto       PARAMS ((tree));
+extern struct rtx_def *label_rtx       PARAMS ((tree));
+extern void expand_asm_operands                PARAMS ((tree, tree, tree, tree, int,
+                                                const char *, int));
+extern int any_pending_cleanups                PARAMS ((int));
+extern void init_stmt                  PARAMS ((void));
+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));
+extern void save_stack_pointer         PARAMS ((void));
+extern void expand_decl                        PARAMS ((tree));
+extern int expand_decl_cleanup         PARAMS ((tree, tree));
+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));
 #ifdef BUFSIZ
-extern void lang_print_xnode           PROTO ((FILE *, tree, int));
+extern void lang_print_xnode           PARAMS ((FILE *, tree, int));
 #endif
 
 
 /* If KIND=='I', return a suitable global initializer (constructor) name.
    If KIND=='D', return a suitable global clean-up (destructor) name.  */
-extern tree get_file_function_name PROTO((int));
+extern tree get_file_function_name PARAMS ((int));
 \f
 /* Interface of the DWARF2 unwind info support.  */
 
 /* Decide whether we want to emit frame unwind information for the current
    translation unit.  */
 
-extern int dwarf2out_do_frame          PROTO((void));
+extern int dwarf2out_do_frame          PARAMS ((void));
 
 /* Generate a new label for the CFI info to refer to.  */
 
-extern char *dwarf2out_cfi_label       PROTO((void));
+extern char *dwarf2out_cfi_label       PARAMS ((void));
 
 /* Entry point to update the canonical frame address (CFA).  */
 
-extern void dwarf2out_def_cfa          PROTO((char *, unsigned, long));
+extern void dwarf2out_def_cfa          PARAMS ((const char *, unsigned, long));
 
 /* Add the CFI for saving a register window.  */
 
-extern void dwarf2out_window_save      PROTO((char *));
+extern void dwarf2out_window_save      PARAMS ((const char *));
 
 /* Add a CFI to update the running total of the size of arguments pushed
    onto the stack.  */
 
-extern void dwarf2out_args_size                PROTO((char *, long));
+extern void dwarf2out_args_size                PARAMS ((const char *, long));
 
 /* Entry point for saving a register to the stack.  */
 
-extern void dwarf2out_reg_save         PROTO((char *, unsigned, long));
+extern void dwarf2out_reg_save         PARAMS ((const char *, unsigned, long));
 
 /* Entry point for saving the return address in the stack.  */
 
-extern void dwarf2out_return_save      PROTO((char *, long));
+extern void dwarf2out_return_save      PARAMS ((const char *, long));
 
 /* Entry point for saving the return address in a register.  */
 
-extern void dwarf2out_return_reg       PROTO((char *, unsigned));
+extern void dwarf2out_return_reg       PARAMS ((const char *, unsigned));
 
 /* Output a marker (i.e. a label) for the beginning of a function, before
    the prologue.  */
 
-extern void dwarf2out_begin_prologue   PROTO((void));
+extern void dwarf2out_begin_prologue   PARAMS ((void));
 
 /* Output a marker (i.e. a label) for the absolute end of the generated
    code for a function definition.  */
 
-extern void dwarf2out_end_epilogue     PROTO((void));
-
+extern void dwarf2out_end_epilogue     PARAMS ((void));
+\f
 /* 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.  */
 
-extern void fancy_abort PROTO((const char *, int, const char *))
+extern void fancy_abort PARAMS ((const char *, int, const char *))
     ATTRIBUTE_NORETURN;
-#if (GCC_VERSION >= 2007)
-#define abort() fancy_abort (__FILE__, __LINE__, __PRETTY_FUNCTION__)
-#else
-#define abort() fancy_abort (__FILE__, __LINE__, 0)
-#endif
+#define abort() fancy_abort (__FILE__, __LINE__, __FUNCTION__)