]> gcc.gnu.org Git - gcc.git/blame - gcc/cp/cp-tree.h
re PR c++/20103 (ICE in create_tmp_var with C99 style struct initializer)
[gcc.git] / gcc / cp / cp-tree.h
CommitLineData
8d08fdba 1/* Definitions for C++ parsing and type checking.
b2f29cd9 2 Copyright (C) 1987, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
b38a05d0 3 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
06ceef4e 4 Contributed by Michael Tiemann (tiemann@cygnus.com)
8d08fdba 5
f5adbb8d 6This file is part of GCC.
8d08fdba 7
f5adbb8d 8GCC is free software; you can redistribute it and/or modify
8d08fdba
MS
9it under the terms of the GNU General Public License as published by
10the Free Software Foundation; either version 2, or (at your option)
11any later version.
12
f5adbb8d 13GCC is distributed in the hope that it will be useful,
8d08fdba
MS
14but WITHOUT ANY WARRANTY; without even the implied warranty of
15MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16GNU General Public License for more details.
17
18You should have received a copy of the GNU General Public License
f5adbb8d 19along with GCC; see the file COPYING. If not, write to
1788952f
KC
20the Free Software Foundation, 51 Franklin Street, Fifth Floor,
21Boston, MA 02110-1301, USA. */
8d08fdba 22
8c6ae51f
GK
23#ifndef GCC_CP_TREE_H
24#define GCC_CP_TREE_H
25
17211ab5 26#include "ggc.h"
99dccabc 27#include "function.h"
ee94fce6 28#include "hashtab.h"
46e8c075 29#include "splay-tree.h"
58c42dc2 30#include "vec.h"
9cd64686 31#include "varray.h"
d7e7759d 32#include "c-common.h"
aed81407 33#include "name-lookup.h"
7cb32822
NB
34struct diagnostic_context;
35
cfdd0551 36/* Usage of TREE_LANG_FLAG_?:
809e3e7f 37 0: IDENTIFIER_MARKED (IDENTIFIER_NODEs)
cfdd0551
PB
38 NEW_EXPR_USE_GLOBAL (in NEW_EXPR).
39 DELETE_EXPR_USE_GLOBAL (in DELETE_EXPR).
8e1daa34 40 COMPOUND_EXPR_OVERLOADED (in COMPOUND_EXPR).
b26caacd 41 TREE_INDIRECT_USING (in NAMESPACE_DECL).
f1dedc31 42 CLEANUP_P (in TRY_BLOCK)
e1376b00 43 AGGR_INIT_VIA_CTOR_P (in AGGR_INIT_EXPR)
19420d00 44 PTRMEM_OK_P (in ADDR_EXPR, OFFSET_REF)
7a8380ae 45 PAREN_STRING_LITERAL (in STRING_CST)
39703eb9 46 DECL_PRETTY_FUNCTION_P (in VAR_DECL)
6d80c4b9 47 KOENIG_LOOKUP_P (in CALL_EXPR)
325c3691
RH
48 STATEMENT_LIST_NO_SCOPE (in STATEMENT_LIST).
49 EXPR_STMT_STMT_EXPR_RESULT (in EXPR_STMT)
c3e5898b 50 STMT_EXPR_NO_SCOPE (in STMT_EXPR)
5882f0f3 51 BIND_EXPR_TRY_BLOCK (in BIND_EXPR)
fc6a28d7 52 TYPENAME_IS_ENUM_P (in TYPENAME_TYPE)
db24eb1f 53 REFERENCE_REF_P (in INDIRECT_EXPR)
02ed62dd 54 QUALIFIED_NAME_IS_TEMPLATE (in SCOPE_REF)
1799e5d5
RH
55 OMP_ATOMIC_DEPENDENT_P (in OMP_ATOMIC)
56 OMP_FOR_GIMPLIFYING_P (in OMP_FOR)
61e71a9e 57 BASELINK_QUALIFIED_P (in BASELINK)
4684cd27 58 1: IDENTIFIER_VIRTUAL_P (in IDENTIFIER_NODE)
cfdd0551 59 TI_PENDING_TEMPLATE_FLAG.
cfdd0551
PB
60 TEMPLATE_PARMS_FOR_INLINE.
61 DELETE_EXPR_USE_VEC (in DELETE_EXPR).
62 (TREE_CALLS_NEW) (in _EXPR or _REF) (commented-out).
27b8d0cd 63 ICS_ELLIPSIS_FLAG (in _CONV)
17bbb839 64 DECL_INITIALIZED_P (in VAR_DECL)
fc6a28d7 65 TYPENAME_IS_CLASS_P (in TYPENAME_TYPE)
ed3d0b14 66 STMT_IS_FULL_EXPR_P (in _STMT)
4684cd27 67 2: IDENTIFIER_OPNAME_P (in IDENTIFIER_NODE)
27b8d0cd 68 ICS_THIS_FLAG (in _CONV)
39703eb9 69 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P (in VAR_DECL)
325c3691 70 STATEMENT_LIST_TRY_BLOCK (in STATEMENT_LIST)
5775a06a 71 3: (TREE_REFERENCE_EXPR) (in NON_LVALUE_EXPR) (commented-out).
27b8d0cd 72 ICS_BAD_FLAG (in _CONV)
62409b39 73 FN_TRY_BLOCK_P (in TRY_BLOCK)
298d6f60 74 IDENTIFIER_CTOR_OR_DTOR_P (in IDENTIFIER_NODE)
5882f0f3 75 BIND_EXPR_BODY_BLOCK (in BIND_EXPR)
6c06fbce 76 DECL_NON_TRIVIALLY_INITIALIZED_P (in VAR_DECL)
809e3e7f 77 4: TREE_HAS_CONSTRUCTOR (in INDIRECT_REF, SAVE_EXPR, CONSTRUCTOR,
0cbd7506 78 or FIELD_DECL).
421844e7 79 IDENTIFIER_TYPENAME_P (in IDENTIFIER_NODE)
4684cd27 80 DECL_TINFO_P (in VAR_DECL)
0e5921e8 81 5: C_IS_RESERVED_WORD (in IDENTIFIER_NODE)
d35543c0 82 DECL_VTABLE_OR_VTT_P (in VAR_DECL)
4684cd27 83 6: IDENTIFIER_REPO_CHOSEN (in IDENTIFIER_NODE)
505970fc 84 DECL_CONSTRUCTION_VTABLE_P (in VAR_DECL)
3543e114 85 TYPE_MARKED_P (in _TYPE)
cfdd0551
PB
86
87 Usage of TYPE_LANG_FLAG_?:
5552b43c 88 0: TYPE_DEPENDENT_P
cfdd0551 89 1: TYPE_HAS_CONSTRUCTOR.
9f4faeae 90 2: Unused
ea419909 91 3: TYPE_FOR_JAVA.
834c6dff 92 4: TYPE_HAS_NONTRIVIAL_DESTRUCTOR
cfdd0551 93 5: IS_AGGR_TYPE.
5552b43c 94 6: TYPE_DEPENDENT_P_VALID
cfdd0551
PB
95
96 Usage of DECL_LANG_FLAG_?:
97 0: DECL_ERROR_REPORTED (in VAR_DECL).
833aa4c4 98 DECL_TEMPLATE_PARM_P (in PARM_DECL, CONST_DECL, TYPE_DECL, or TEMPLATE_DECL)
cd9f6678 99 DECL_LOCAL_FUNCTION_P (in FUNCTION_DECL)
721c3b42 100 DECL_MUTABLE_P (in FIELD_DECL)
98ed9dae 101 DECL_DEPENDENT_P (in USING_DECL)
cfdd0551 102 1: C_TYPEDEF_EXPLICITLY_SIGNED (in TYPE_DECL).
fbf1c34b 103 DECL_TEMPLATE_INSTANTIATED (in a VAR_DECL or a FUNCTION_DECL)
c7222c02 104 DECL_MEMBER_TEMPLATE_P (in TEMPLATE_DECL)
cfdd0551 105 2: DECL_THIS_EXTERN (in VAR_DECL or FUNCTION_DECL).
9188c363 106 DECL_IMPLICIT_TYPEDEF_P (in a TYPE_DECL)
cfdd0551 107 3: DECL_IN_AGGR_P.
17bbb839 108 4: DECL_C_BIT_FIELD (in a FIELD_DECL)
772f8889 109 DECL_VAR_MARKED_P (in a VAR_DECL)
a3d87771 110 DECL_SELF_REFERENCE_P (in a TYPE_DECL)
878cbb73 111 DECL_INVALID_OVERRIDER_P (in a FUNCTION_DECL)
cfdd0551
PB
112 5: DECL_INTERFACE_KNOWN.
113 6: DECL_THIS_STATIC (in VAR_DECL or FUNCTION_DECL).
642124c6 114 DECL_FIELD_IS_BASE (in FIELD_DECL)
cfdd0551 115 7: DECL_DEAD_FOR_LOCAL (in VAR_DECL).
cc057ef3 116 DECL_THUNK_P (in a member FUNCTION_DECL)
7ddedda4
MM
117
118 Usage of language-independent fields in a language-dependent manner:
911a71a7 119
7ddedda4
MM
120 TYPE_ALIAS_SET
121 This field is used by TYPENAME_TYPEs, TEMPLATE_TYPE_PARMs, and so
122 forth as a substitute for the mark bits provided in `lang_type'.
123 At present, only the six low-order bits are used.
124
95b4aca6 125 TYPE_LANG_SLOT_1
7ddedda4 126 For an ENUMERAL_TYPE, this is ENUM_TEMPLATE_INFO.
6d0a3f67 127 For a FUNCTION_TYPE or METHOD_TYPE, this is TYPE_RAISES_EXCEPTIONS
0aafb128 128
9df2c88c 129 BINFO_VIRTUALS
bb5e8a7f
MM
130 For a binfo, this is a TREE_LIST. There is an entry for each
131 virtual function declared either in BINFO or its direct and
132 indirect primary bases.
133
134 The BV_DELTA of each node gives the amount by which to adjust the
135 `this' pointer when calling the function. If the method is an
4639c5c6 136 overridden version of a base class method, then it is assumed
bb5e8a7f
MM
137 that, prior to adjustment, the this pointer points to an object
138 of the base class.
174eceea 139
5e19c053 140 The BV_VCALL_INDEX of each node, if non-NULL, gives the vtable
19114537 141 index of the vcall offset for this entry.
c0bbf652 142
5e19c053 143 The BV_FN is the declaration for the virtual function itself.
5e19c053 144
c35cce41 145 BINFO_VTABLE
3461fba7 146 This is an expression with POINTER_TYPE that gives the value
c35cce41 147 to which the vptr should be initialized. Use get_vtbl_decl_for_binfo
3461fba7 148 to extract the VAR_DECL for the complete vtable.
c35cce41 149
0fa5e05c 150 DECL_ARGUMENTS
bb20cc46 151 For a VAR_DECL this is DECL_ANON_UNION_ELEMS.
051e6fd7
MM
152
153 DECL_VINDEX
154 This field is NULL for a non-virtual function. For a virtual
155 function, it is eventually set to an INTEGER_CST indicating the
156 index in the vtable at which this function can be found. When
157 a virtual function is declared, but before it is known what
4639c5c6 158 function is overridden, this field is the error_mark_node.
051e6fd7 159
bb20cc46 160 Temporarily, it may be set to a TREE_LIST whose TREE_VALUE is
051e6fd7
MM
161 the virtual function this one overrides, and whose TREE_CHAIN is
162 the old DECL_VINDEX. */
cfdd0551 163
00a17e31 164/* Language-specific tree checkers. */
da8a66fc 165
086e3095
NS
166#define VAR_OR_FUNCTION_DECL_CHECK(NODE) \
167 TREE_CHECK2(NODE,VAR_DECL,FUNCTION_DECL)
168
169#define VAR_FUNCTION_OR_PARM_DECL_CHECK(NODE) \
170 TREE_CHECK3(NODE,VAR_DECL,FUNCTION_DECL,PARM_DECL)
171
172#define VAR_TEMPL_TYPE_OR_FUNCTION_DECL_CHECK(NODE) \
173 TREE_CHECK4(NODE,VAR_DECL,FUNCTION_DECL,TYPE_DECL,TEMPLATE_DECL)
174
086e3095
NS
175#define BOUND_TEMPLATE_TEMPLATE_PARM_TYPE_CHECK(NODE) \
176 TREE_CHECK(NODE,BOUND_TEMPLATE_TEMPLATE_PARM)
d7e7759d 177
ea1763b1
NS
178#if defined ENABLE_TREE_CHECKING && (GCC_VERSION >= 2007)
179#define NON_THUNK_FUNCTION_CHECK(NODE) __extension__ \
180({ const tree __t = (NODE); \
181 if (TREE_CODE (__t) != FUNCTION_DECL && \
820cc88f
DB
182 TREE_CODE (__t) != TEMPLATE_DECL && __t->decl_common.lang_specific \
183 && __t->decl_common.lang_specific->decl_flags.thunk_p) \
ea1763b1
NS
184 tree_check_failed (__t, __FILE__, __LINE__, __FUNCTION__, 0); \
185 __t; })
186#define THUNK_FUNCTION_CHECK(NODE) __extension__ \
187({ const tree __t = (NODE); \
820cc88f
DB
188 if (TREE_CODE (__t) != FUNCTION_DECL || !__t->decl_common.lang_specific \
189 || !__t->decl_common.lang_specific->decl_flags.thunk_p) \
190 tree_check_failed (__t, __FILE__, __LINE__, __FUNCTION__, 0); \
ea1763b1
NS
191 __t; })
192#else
193#define NON_THUNK_FUNCTION_CHECK(NODE) (NODE)
194#define THUNK_FUNCTION_CHECK(NODE) (NODE)
195#endif
bbd15aac 196\f
8d08fdba
MS
197/* Language-dependent contents of an identifier. */
198
e2500fed 199struct lang_identifier GTY(())
8d08fdba 200{
e2500fed 201 struct c_common_identifier c_common;
af6fd53f
GDR
202 cxx_binding *namespace_bindings;
203 cxx_binding *bindings;
8d08fdba 204 tree class_template_info;
85209a3c 205 tree label_value;
8d08fdba
MS
206};
207
0e5921e8
ZW
208/* In an IDENTIFIER_NODE, nonzero if this identifier is actually a
209 keyword. C_RID_CODE (node) is then the RID_* value of the keyword,
210 and C_RID_YYCODE is the token number wanted by Yacc. */
211
98e40e83 212#define C_IS_RESERVED_WORD(ID) TREE_LANG_FLAG_5 (ID)
0e5921e8 213
da8a66fc
ML
214#define LANG_IDENTIFIER_CAST(NODE) \
215 ((struct lang_identifier*)IDENTIFIER_NODE_CHECK (NODE))
216
406d77a4 217struct template_parm_index_s GTY(())
f84b4be9 218{
2bf105ab 219 struct tree_common common;
f84b4be9
JM
220 HOST_WIDE_INT index;
221 HOST_WIDE_INT level;
222 HOST_WIDE_INT orig_level;
223 tree decl;
406d77a4
SB
224};
225typedef struct template_parm_index_s template_parm_index;
226
227struct tinst_level_s GTY(())
228{
229 struct tree_common common;
230 tree decl;
231 location_t locus;
12af7ba3 232 int in_system_header_p;
406d77a4
SB
233};
234typedef struct tinst_level_s * tinst_level_t;
f84b4be9 235
e2500fed 236struct ptrmem_cst GTY(())
61a127b3 237{
2bf105ab 238 struct tree_common common;
bb20cc46 239 /* This isn't used, but the middle-end expects all constants to have
87e3dbc9 240 this field. */
98e40e83 241 rtx rtl;
61a127b3 242 tree member;
e2500fed
GK
243};
244typedef struct ptrmem_cst * ptrmem_cst_t;
61a127b3 245
30394414 246#define IDENTIFIER_GLOBAL_VALUE(NODE) \
98e40e83 247 namespace_binding ((NODE), global_namespace)
2c73f9f5 248#define SET_IDENTIFIER_GLOBAL_VALUE(NODE, VAL) \
98e40e83 249 set_namespace_binding ((NODE), global_namespace, (VAL))
30394414 250#define IDENTIFIER_NAMESPACE_VALUE(NODE) \
98e40e83 251 namespace_binding ((NODE), current_namespace)
2c73f9f5 252#define SET_IDENTIFIER_NAMESPACE_VALUE(NODE, VAL) \
98e40e83 253 set_namespace_binding ((NODE), current_namespace, (VAL))
30394414 254
0cbd7506 255#define CLEANUP_P(NODE) TREE_LANG_FLAG_0 (TRY_BLOCK_CHECK (NODE))
d7e7759d 256
5882f0f3
RH
257#define BIND_EXPR_TRY_BLOCK(NODE) \
258 TREE_LANG_FLAG_0 (BIND_EXPR_CHECK (NODE))
325c3691
RH
259
260/* Used to mark the block around the member initializers and cleanups. */
5882f0f3
RH
261#define BIND_EXPR_BODY_BLOCK(NODE) \
262 TREE_LANG_FLAG_3 (BIND_EXPR_CHECK (NODE))
86ad3aa9
JM
263#define FUNCTION_NEEDS_BODY_BLOCK(NODE) \
264 (DECL_CONSTRUCTOR_P (NODE) || DECL_DESTRUCTOR_P (NODE))
325c3691
RH
265
266#define STATEMENT_LIST_NO_SCOPE(NODE) \
267 TREE_LANG_FLAG_0 (STATEMENT_LIST_CHECK (NODE))
268#define STATEMENT_LIST_TRY_BLOCK(NODE) \
269 TREE_LANG_FLAG_2 (STATEMENT_LIST_CHECK (NODE))
270
ed3d0b14
ILT
271/* Nonzero if this statement should be considered a full-expression,
272 i.e., if temporaries created during this statement should have
273 their destructors run at the end of this statement. */
274#define STMT_IS_FULL_EXPR_P(NODE) TREE_LANG_FLAG_1 ((NODE))
275
325c3691
RH
276/* Marks the result of a statement expression. */
277#define EXPR_STMT_STMT_EXPR_RESULT(NODE) \
278 TREE_LANG_FLAG_0 (EXPR_STMT_CHECK (NODE))
279
c3e5898b
ILT
280/* Nonzero if this statement-expression does not have an associated scope. */
281#define STMT_EXPR_NO_SCOPE(NODE) \
282 TREE_LANG_FLAG_0 (STMT_EXPR_CHECK (NODE))
283
d7e7759d
BC
284/* Returns nonzero iff TYPE1 and TYPE2 are the same type, in the usual
285 sense of `same'. */
98e40e83
GS
286#define same_type_p(TYPE1, TYPE2) \
287 comptypes ((TYPE1), (TYPE2), COMPARE_STRICT)
d7e7759d
BC
288
289/* Returns nonzero iff TYPE1 and TYPE2 are the same type, ignoring
290 top-level qualifiers. */
98e40e83
GS
291#define same_type_ignoring_top_level_qualifiers_p(TYPE1, TYPE2) \
292 same_type_p (TYPE_MAIN_VARIANT (TYPE1), TYPE_MAIN_VARIANT (TYPE2))
d7e7759d 293
838dfd8a 294/* Nonzero if we are presently building a statement tree, rather
d7e7759d 295 than expanding each statement as we encounter it. */
325c3691 296#define building_stmt_tree() (cur_stmt_list != NULL_TREE)
d7e7759d 297
838dfd8a 298/* Returns nonzero iff NODE is a declaration for the global function
d7e7759d
BC
299 `main'. */
300#define DECL_MAIN_P(NODE) \
0cbd7506 301 (DECL_EXTERN_C_FUNCTION_P (NODE) \
d7e7759d
BC
302 && DECL_NAME (NODE) != NULL_TREE \
303 && MAIN_NAME_P (DECL_NAME (NODE)))
304
00a17e31 305/* The overloaded FUNCTION_DECL. */
98e40e83
GS
306#define OVL_FUNCTION(NODE) \
307 (((struct tree_overload*)OVERLOAD_CHECK (NODE))->function)
308#define OVL_CHAIN(NODE) TREE_CHAIN (NODE)
00a17e31 309/* Polymorphic access to FUNCTION and CHAIN. */
0cbd7506 310#define OVL_CURRENT(NODE) \
98e40e83 311 ((TREE_CODE (NODE) == OVERLOAD) ? OVL_FUNCTION (NODE) : (NODE))
0cbd7506 312#define OVL_NEXT(NODE) \
98e40e83 313 ((TREE_CODE (NODE) == OVERLOAD) ? TREE_CHAIN (NODE) : NULL_TREE)
2c73f9f5
ML
314/* If set, this was imported in a using declaration.
315 This is not to confuse with being used somewhere, which
00a17e31 316 is not important for this node. */
0cbd7506 317#define OVL_USED(NODE) TREE_USED (NODE)
2c73f9f5 318
e2500fed 319struct tree_overload GTY(())
2c73f9f5 320{
2bf105ab 321 struct tree_common common;
2c73f9f5
ML
322 tree function;
323};
324
50ad9642 325/* Returns true iff NODE is a BASELINK. */
4bb0968f 326#define BASELINK_P(NODE) \
50ad9642
MM
327 (TREE_CODE (NODE) == BASELINK)
328/* The BINFO indicating the base from which the BASELINK_FUNCTIONS came. */
4ba126e4 329#define BASELINK_BINFO(NODE) \
5dae1114 330 (((struct tree_baselink*) BASELINK_CHECK (NODE))->binfo)
50ad9642
MM
331/* The functions referred to by the BASELINK; either a FUNCTION_DECL,
332 a TEMPLATE_DECL, an OVERLOAD, or a TEMPLATE_ID_EXPR. */
da15dae6 333#define BASELINK_FUNCTIONS(NODE) \
5dae1114 334 (((struct tree_baselink*) BASELINK_CHECK (NODE))->functions)
19114537
EC
335/* The BINFO in which the search for the functions indicated by this baselink
336 began. This base is used to determine the accessibility of functions
4ba126e4
MM
337 selected by overload resolution. */
338#define BASELINK_ACCESS_BINFO(NODE) \
5dae1114 339 (((struct tree_baselink*) BASELINK_CHECK (NODE))->access_binfo)
4ba126e4
MM
340/* For a type-conversion operator, the BASELINK_OPTYPE indicates the type
341 to which the conversion should occur. This value is important if
342 the BASELINK_FUNCTIONS include a template conversion operator --
343 the BASELINK_OPTYPE can be used to determine what type the user
344 requested. */
345#define BASELINK_OPTYPE(NODE) \
50ad9642 346 (TREE_CHAIN (BASELINK_CHECK (NODE)))
61e71a9e
NS
347/* Non-zero if this baselink was from a qualified lookup. */
348#define BASELINK_QUALIFIED_P(NODE) \
349 TREE_LANG_FLAG_0 (BASELINK_CHECK (NODE))
4bb0968f 350
5dae1114
MM
351struct tree_baselink GTY(())
352{
353 struct tree_common common;
354 tree binfo;
355 tree functions;
356 tree access_binfo;
357};
358
77880ae4 359/* The different kinds of ids that we encounter. */
b3445994
MM
360
361typedef enum cp_id_kind
362{
363 /* Not an id at all. */
364 CP_ID_KIND_NONE,
365 /* An unqualified-id that is not a template-id. */
366 CP_ID_KIND_UNQUALIFIED,
cd0be382 367 /* An unqualified-id that is a dependent name. */
10b1d5e7 368 CP_ID_KIND_UNQUALIFIED_DEPENDENT,
b3445994
MM
369 /* An unqualified template-id. */
370 CP_ID_KIND_TEMPLATE_ID,
371 /* A qualified-id. */
372 CP_ID_KIND_QUALIFIED
373} cp_id_kind;
374
8d08fdba
MS
375/* Macros for access to language-specific slots in an identifier. */
376
30394414 377#define IDENTIFIER_NAMESPACE_BINDINGS(NODE) \
da8a66fc 378 (LANG_IDENTIFIER_CAST (NODE)->namespace_bindings)
8d08fdba 379#define IDENTIFIER_TEMPLATE(NODE) \
da8a66fc 380 (LANG_IDENTIFIER_CAST (NODE)->class_template_info)
8d08fdba 381
af6fd53f
GDR
382/* The IDENTIFIER_BINDING is the innermost cxx_binding for the
383 identifier. It's PREVIOUS is the next outermost binding. Each
147135cc 384 VALUE field is a DECL for the associated declaration. Thus,
f181d4ae
MM
385 name lookup consists simply of pulling off the node at the front
386 of the list (modulo oddities for looking up the names of types,
147135cc 387 and such.) You can use SCOPE field to determine the scope
ed3cf953 388 that bound the name. */
f181d4ae 389#define IDENTIFIER_BINDING(NODE) \
da8a66fc 390 (LANG_IDENTIFIER_CAST (NODE)->bindings)
f181d4ae 391
2c73f9f5
ML
392/* TREE_TYPE only indicates on local and class scope the current
393 type. For namespace scope, the presence of a type in any namespace
394 is indicated with global_type_node, and the real type behind must
00a17e31 395 be found through lookup. */
98e40e83
GS
396#define IDENTIFIER_TYPE_VALUE(NODE) identifier_type_value (NODE)
397#define REAL_IDENTIFIER_TYPE_VALUE(NODE) TREE_TYPE (NODE)
398#define SET_IDENTIFIER_TYPE_VALUE(NODE,TYPE) (TREE_TYPE (NODE) = (TYPE))
2c73f9f5 399#define IDENTIFIER_HAS_TYPE_VALUE(NODE) (IDENTIFIER_TYPE_VALUE (NODE) ? 1 : 0)
8d08fdba 400
98e40e83 401#define IDENTIFIER_LABEL_VALUE(NODE) \
85209a3c 402 (LANG_IDENTIFIER_CAST (NODE)->label_value)
98e40e83 403#define SET_IDENTIFIER_LABEL_VALUE(NODE, VALUE) \
85209a3c 404 IDENTIFIER_LABEL_VALUE (NODE) = (VALUE)
8d08fdba 405
cbb40945
NS
406/* Nonzero if this identifier is used as a virtual function name somewhere
407 (optimizes searches). */
98e40e83 408#define IDENTIFIER_VIRTUAL_P(NODE) TREE_LANG_FLAG_1 (NODE)
8d08fdba 409
f71f87f9
MM
410/* Nonzero if this identifier is the prefix for a mangled C++ operator
411 name. */
98e40e83 412#define IDENTIFIER_OPNAME_P(NODE) TREE_LANG_FLAG_2 (NODE)
8d08fdba 413
4c571114
MM
414/* Nonzero if this identifier is the name of a type-conversion
415 operator. */
421844e7 416#define IDENTIFIER_TYPENAME_P(NODE) \
98e40e83 417 TREE_LANG_FLAG_4 (NODE)
8d08fdba 418
298d6f60
MM
419/* Nonzero if this identifier is the name of a constructor or
420 destructor. */
421#define IDENTIFIER_CTOR_OR_DTOR_P(NODE) \
422 TREE_LANG_FLAG_3 (NODE)
423
4684cd27
MM
424/* True iff NAME is the DECL_ASSEMBLER_NAME for an entity with vague
425 linkage which the prelinker has assigned to this translation
426 unit. */
427#define IDENTIFIER_REPO_CHOSEN(NAME) \
428 (TREE_LANG_FLAG_6 (NAME))
429
8d08fdba 430/* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is read-only. */
5552b43c
MM
431#define C_TYPE_FIELDS_READONLY(TYPE) \
432 (LANG_TYPE_CLASS_CHECK (TYPE)->fields_readonly)
e1cd6e56 433
a723baf1
MM
434/* The tokens stored in the default argument. */
435
436#define DEFARG_TOKENS(NODE) \
437 (((struct tree_default_arg *)DEFAULT_ARG_CHECK (NODE))->tokens)
01ea1ea8
NS
438#define DEFARG_INSTANTIATIONS(NODE) \
439 (((struct tree_default_arg *)DEFAULT_ARG_CHECK (NODE))->instantiations)
a723baf1
MM
440
441struct tree_default_arg GTY (())
442{
443 struct tree_common common;
444 struct cp_token_cache *tokens;
01ea1ea8 445 VEC(tree,gc) *instantiations;
a723baf1
MM
446};
447
e2500fed 448enum cp_tree_node_structure_enum {
e2500fed
GK
449 TS_CP_GENERIC,
450 TS_CP_IDENTIFIER,
451 TS_CP_TPI,
406d77a4 452 TS_CP_TINST_LEVEL,
e2500fed
GK
453 TS_CP_PTRMEM,
454 TS_CP_BINDING,
455 TS_CP_OVERLOAD,
5dae1114 456 TS_CP_BASELINK,
e2500fed 457 TS_CP_WRAPPER,
a723baf1 458 TS_CP_DEFAULT_ARG,
e2500fed
GK
459 LAST_TS_CP_ENUM
460};
461
462/* The resulting tree type. */
36a5eadd
GK
463union lang_tree_node GTY((desc ("cp_tree_node_structure (&%h)"),
464 chain_next ("(union lang_tree_node *)TREE_CHAIN (&%h.generic)")))
e2500fed 465{
e2500fed
GK
466 union tree_node GTY ((tag ("TS_CP_GENERIC"),
467 desc ("tree_node_structure (&%h)"))) generic;
468 struct template_parm_index_s GTY ((tag ("TS_CP_TPI"))) tpi;
406d77a4 469 struct tinst_level_s GTY ((tag ("TS_CP_TINST_LEVEL"))) tinst_level;
e2500fed 470 struct ptrmem_cst GTY ((tag ("TS_CP_PTRMEM"))) ptrmem;
e2500fed 471 struct tree_overload GTY ((tag ("TS_CP_OVERLOAD"))) overload;
5dae1114 472 struct tree_baselink GTY ((tag ("TS_CP_BASELINK"))) baselink;
a723baf1 473 struct tree_default_arg GTY ((tag ("TS_CP_DEFAULT_ARG"))) default_arg;
e2500fed
GK
474 struct lang_identifier GTY ((tag ("TS_CP_IDENTIFIER"))) identifier;
475};
476
477\f
7f4edbcb
BS
478enum cp_tree_index
479{
e2d0a11c
MM
480 CPTI_JAVA_BYTE_TYPE,
481 CPTI_JAVA_SHORT_TYPE,
482 CPTI_JAVA_INT_TYPE,
483 CPTI_JAVA_LONG_TYPE,
484 CPTI_JAVA_FLOAT_TYPE,
485 CPTI_JAVA_DOUBLE_TYPE,
486 CPTI_JAVA_CHAR_TYPE,
487 CPTI_JAVA_BOOLEAN_TYPE,
488
7f4edbcb
BS
489 CPTI_WCHAR_DECL,
490 CPTI_VTABLE_ENTRY_TYPE,
491 CPTI_DELTA_TYPE,
c7e266a6 492 CPTI_VTABLE_INDEX_TYPE,
b3ab27f3 493 CPTI_CLEANUP_TYPE,
3ec6bad3 494 CPTI_VTT_PARM_TYPE,
7f4edbcb 495
7f4edbcb 496 CPTI_CLASS_TYPE,
7f4edbcb 497 CPTI_UNKNOWN_TYPE,
7f4edbcb
BS
498 CPTI_VTBL_TYPE,
499 CPTI_VTBL_PTR_TYPE,
500 CPTI_STD,
2854d3c6 501 CPTI_ABI,
db24eb1f 502 CPTI_CONST_TYPE_INFO_TYPE,
d689a8f1 503 CPTI_TYPE_INFO_PTR_TYPE,
7f4edbcb
BS
504 CPTI_ABORT_FNDECL,
505 CPTI_GLOBAL_DELETE_FNDECL,
4b054b80 506 CPTI_AGGR_TAG,
7f4edbcb 507
9cd64686 508 CPTI_CTOR_IDENTIFIER,
9eb71d8c 509 CPTI_COMPLETE_CTOR_IDENTIFIER,
d43829f9
MM
510 CPTI_BASE_CTOR_IDENTIFIER,
511 CPTI_DTOR_IDENTIFIER,
db9b2174 512 CPTI_COMPLETE_DTOR_IDENTIFIER,
d43829f9
MM
513 CPTI_BASE_DTOR_IDENTIFIER,
514 CPTI_DELETING_DTOR_IDENTIFIER,
9cd64686 515 CPTI_DELTA_IDENTIFIER,
9cd64686 516 CPTI_IN_CHARGE_IDENTIFIER,
3ec6bad3 517 CPTI_VTT_PARM_IDENTIFIER,
9cd64686
MM
518 CPTI_NELTS_IDENTIFIER,
519 CPTI_THIS_IDENTIFIER,
520 CPTI_PFN_IDENTIFIER,
9cd64686 521 CPTI_VPTR_IDENTIFIER,
1f6e1acc 522 CPTI_STD_IDENTIFIER,
9cd64686
MM
523
524 CPTI_LANG_NAME_C,
525 CPTI_LANG_NAME_CPLUSPLUS,
526 CPTI_LANG_NAME_JAVA,
527
528 CPTI_EMPTY_EXCEPT_SPEC,
9cd64686 529 CPTI_JCLASS,
9cd64686 530 CPTI_TERMINATE,
52a11cbf 531 CPTI_CALL_UNEXPECTED,
f0105ed3 532 CPTI_ATEXIT,
db4283a0 533 CPTI_DSO_HANDLE,
059fa5e7 534 CPTI_DCAST,
9cd64686 535
9aad8f83 536 CPTI_KEYED_CLASSES,
548502d3 537
7f4edbcb
BS
538 CPTI_MAX
539};
8d08fdba 540
e2500fed 541extern GTY(()) tree cp_global_trees[CPTI_MAX];
7f4edbcb 542
4d8a1dd6
MM
543#define java_byte_type_node cp_global_trees[CPTI_JAVA_BYTE_TYPE]
544#define java_short_type_node cp_global_trees[CPTI_JAVA_SHORT_TYPE]
545#define java_int_type_node cp_global_trees[CPTI_JAVA_INT_TYPE]
546#define java_long_type_node cp_global_trees[CPTI_JAVA_LONG_TYPE]
547#define java_float_type_node cp_global_trees[CPTI_JAVA_FLOAT_TYPE]
548#define java_double_type_node cp_global_trees[CPTI_JAVA_DOUBLE_TYPE]
549#define java_char_type_node cp_global_trees[CPTI_JAVA_CHAR_TYPE]
550#define java_boolean_type_node cp_global_trees[CPTI_JAVA_BOOLEAN_TYPE]
551
7f4edbcb
BS
552#define wchar_decl_node cp_global_trees[CPTI_WCHAR_DECL]
553#define vtable_entry_type cp_global_trees[CPTI_VTABLE_ENTRY_TYPE]
c7e266a6 554/* The type used to represent an offset by which to adjust the `this'
c4372ef4 555 pointer in pointer-to-member types. */
7f4edbcb 556#define delta_type_node cp_global_trees[CPTI_DELTA_TYPE]
c7e266a6 557/* The type used to represent an index into the vtable. */
0cbd7506 558#define vtable_index_type cp_global_trees[CPTI_VTABLE_INDEX_TYPE]
db1147b2 559
7f4edbcb 560#define class_type_node cp_global_trees[CPTI_CLASS_TYPE]
7f4edbcb 561#define unknown_type_node cp_global_trees[CPTI_UNKNOWN_TYPE]
7f4edbcb
BS
562#define vtbl_type_node cp_global_trees[CPTI_VTBL_TYPE]
563#define vtbl_ptr_type_node cp_global_trees[CPTI_VTBL_PTR_TYPE]
564#define std_node cp_global_trees[CPTI_STD]
0cbd7506 565#define abi_node cp_global_trees[CPTI_ABI]
db24eb1f 566#define const_type_info_type_node cp_global_trees[CPTI_CONST_TYPE_INFO_TYPE]
d689a8f1 567#define type_info_ptr_type cp_global_trees[CPTI_TYPE_INFO_PTR_TYPE]
7f4edbcb
BS
568#define abort_fndecl cp_global_trees[CPTI_ABORT_FNDECL]
569#define global_delete_fndecl cp_global_trees[CPTI_GLOBAL_DELETE_FNDECL]
4b054b80 570#define current_aggr cp_global_trees[CPTI_AGGR_TAG]
ea419909 571
9cd64686
MM
572/* We cache these tree nodes so as to call get_identifier less
573 frequently. */
574
9eb71d8c 575/* The name of a constructor that takes an in-charge parameter to
db9b2174 576 decide whether or not to construct virtual base classes. */
0cbd7506 577#define ctor_identifier cp_global_trees[CPTI_CTOR_IDENTIFIER]
9eb71d8c 578/* The name of a constructor that constructs virtual base classes. */
0cbd7506 579#define complete_ctor_identifier cp_global_trees[CPTI_COMPLETE_CTOR_IDENTIFIER]
d43829f9 580/* The name of a constructor that does not construct virtual base classes. */
0cbd7506 581#define base_ctor_identifier cp_global_trees[CPTI_BASE_CTOR_IDENTIFIER]
db9b2174
MM
582/* The name of a destructor that takes an in-charge parameter to
583 decide whether or not to destroy virtual base classes and whether
584 or not to delete the object. */
0cbd7506 585#define dtor_identifier cp_global_trees[CPTI_DTOR_IDENTIFIER]
db9b2174 586/* The name of a destructor that destroys virtual base classes. */
0cbd7506 587#define complete_dtor_identifier cp_global_trees[CPTI_COMPLETE_DTOR_IDENTIFIER]
d43829f9
MM
588/* The name of a destructor that does not destroy virtual base
589 classes. */
0cbd7506 590#define base_dtor_identifier cp_global_trees[CPTI_BASE_DTOR_IDENTIFIER]
d43829f9
MM
591/* The name of a destructor that destroys virtual base classes, and
592 then deletes the entire object. */
0cbd7506
MS
593#define deleting_dtor_identifier cp_global_trees[CPTI_DELETING_DTOR_IDENTIFIER]
594#define delta_identifier cp_global_trees[CPTI_DELTA_IDENTIFIER]
595#define in_charge_identifier cp_global_trees[CPTI_IN_CHARGE_IDENTIFIER]
3ec6bad3
MM
596/* The name of the parameter that contains a pointer to the VTT to use
597 for this subobject constructor or destructor. */
0cbd7506
MS
598#define vtt_parm_identifier cp_global_trees[CPTI_VTT_PARM_IDENTIFIER]
599#define nelts_identifier cp_global_trees[CPTI_NELTS_IDENTIFIER]
600#define this_identifier cp_global_trees[CPTI_THIS_IDENTIFIER]
601#define pfn_identifier cp_global_trees[CPTI_PFN_IDENTIFIER]
602#define vptr_identifier cp_global_trees[CPTI_VPTR_IDENTIFIER]
1f6e1acc 603/* The name of the std namespace. */
0cbd7506
MS
604#define std_identifier cp_global_trees[CPTI_STD_IDENTIFIER]
605#define lang_name_c cp_global_trees[CPTI_LANG_NAME_C]
606#define lang_name_cplusplus cp_global_trees[CPTI_LANG_NAME_CPLUSPLUS]
607#define lang_name_java cp_global_trees[CPTI_LANG_NAME_JAVA]
9cd64686
MM
608
609/* Exception specifier used for throw(). */
0cbd7506 610#define empty_except_spec cp_global_trees[CPTI_EMPTY_EXCEPT_SPEC]
9cd64686 611
00a17e31 612/* If non-NULL, a POINTER_TYPE equivalent to (java::lang::Class*). */
0cbd7506 613#define jclass_node cp_global_trees[CPTI_JCLASS]
9cd64686 614
9cd64686 615/* The declaration for `std::terminate'. */
0cbd7506 616#define terminate_node cp_global_trees[CPTI_TERMINATE]
9cd64686 617
52a11cbf 618/* The declaration for "__cxa_call_unexpected". */
0cbd7506 619#define call_unexpected_node cp_global_trees[CPTI_CALL_UNEXPECTED]
52a11cbf 620
db4283a0 621/* A pointer to `std::atexit'. */
0cbd7506 622#define atexit_node cp_global_trees[CPTI_ATEXIT]
f0105ed3 623
db4283a0 624/* A pointer to `__dso_handle'. */
0cbd7506 625#define dso_handle_node cp_global_trees[CPTI_DSO_HANDLE]
db4283a0 626
059fa5e7 627/* The declaration of the dynamic_cast runtime. */
0cbd7506 628#define dynamic_cast_node cp_global_trees[CPTI_DCAST]
059fa5e7 629
b3ab27f3 630/* The type of a destructor. */
0cbd7506 631#define cleanup_type cp_global_trees[CPTI_CLEANUP_TYPE]
b3ab27f3 632
3ec6bad3
MM
633/* The type of the vtt parameter passed to subobject constructors and
634 destructors. */
0cbd7506 635#define vtt_parm_type cp_global_trees[CPTI_VTT_PARM_TYPE]
3ec6bad3 636
9aad8f83
MA
637/* A TREE_LIST of the dynamic classes whose vtables may have to be
638 emitted in this translation unit. */
548502d3 639
0cbd7506 640#define keyed_classes cp_global_trees[CPTI_KEYED_CLASSES]
548502d3 641
dbbf88d1
NS
642/* Node to indicate default access. This must be distinct from the
643 access nodes in tree.h. */
644
645#define access_default_node null_node
646
9cd64686
MM
647/* Global state. */
648
e2500fed 649struct saved_scope GTY(())
ee8fc32b 650{
d4e6fecb 651 VEC(cxx_saved_binding,gc) *old_bindings;
9cd64686 652 tree old_namespace;
ee8fc32b 653 tree decl_ns_list;
fc0e7bf5
MM
654 tree class_name;
655 tree class_type;
9cd64686 656 tree access_specifier;
a8f73d4b 657 tree function_decl;
aff44741 658 VEC(tree,gc) *lang_base;
9cd64686 659 tree lang_name;
9cd64686 660 tree template_parms;
89b578be 661 struct cp_binding_level *x_previous_class_level;
6f80451c 662 tree x_saved_tree;
fc0e7bf5
MM
663
664 HOST_WIDE_INT x_processing_template_decl;
9cd64686 665 int x_processing_specialization;
a723baf1 666 bool x_processing_explicit_instantiation;
a8f73d4b 667 int need_pop_function_context;
b794e321 668 bool skip_evaluation;
fc0e7bf5 669
ae499cce 670 struct stmt_tree_s x_stmt_tree;
fc0e7bf5 671
e2500fed
GK
672 struct cp_binding_level *class_bindings;
673 struct cp_binding_level *bindings;
fc0e7bf5
MM
674
675 struct saved_scope *prev;
9cd64686
MM
676};
677
678/* The current open namespace. */
679
680#define current_namespace scope_chain->old_namespace
681
00a17e31 682/* The stack for namespaces of current declarations. */
ee8fc32b
JM
683
684#define decl_namespace_list scope_chain->decl_ns_list
685
9cd64686
MM
686/* IDENTIFIER_NODE: name of current class */
687
688#define current_class_name scope_chain->class_name
689
690/* _TYPE: the type of the current class */
691
692#define current_class_type scope_chain->class_type
693
694/* When parsing a class definition, the access specifier most recently
695 given by the user, or, if no access specifier was given, the
696 default value appropriate for the kind of class (i.e., struct,
697 class, or union). */
698
699#define current_access_specifier scope_chain->access_specifier
700
701/* Pointer to the top of the language name stack. */
702
9cd64686
MM
703#define current_lang_base scope_chain->lang_base
704#define current_lang_name scope_chain->lang_name
705
706/* Parsing a function declarator leaves a list of parameter names
707 or a chain or parameter decls here. */
708
9cd64686
MM
709#define current_template_parms scope_chain->template_parms
710
711#define processing_template_decl scope_chain->x_processing_template_decl
712#define processing_specialization scope_chain->x_processing_specialization
713#define processing_explicit_instantiation scope_chain->x_processing_explicit_instantiation
714
89b578be
MM
715/* The cached class binding level, from the most recently exited
716 class, or NULL if none. */
9cd64686 717
89b578be 718#define previous_class_level scope_chain->x_previous_class_level
9cd64686 719
70adf8a9
JM
720/* A list of private types mentioned, for deferred access checking. */
721
e2500fed 722extern GTY(()) struct saved_scope *scope_chain;
9cd64686 723
8012c983
MM
724/* Global state pertinent to the current function. */
725
e2500fed 726struct language_function GTY(())
8012c983 727{
e2500fed 728 struct c_language_function base;
ae499cce 729
44d10c10 730 tree x_cdtor_label;
4519c0a8
MM
731 tree x_current_class_ptr;
732 tree x_current_class_ref;
52a11cbf 733 tree x_eh_spec_block;
2c146a76 734 tree x_in_charge_parm;
e0fff4b3 735 tree x_vtt_parm;
0d97bf4c 736 tree x_return_value;
4519c0a8 737
8012c983
MM
738 int returns_value;
739 int returns_null;
efe49da0 740 int returns_abnormally;
8012c983 741 int in_function_try_handler;
1f5a253a 742 int in_base_initializer;
8012c983 743
b2dd096b 744 /* True if this function can throw an exception. */
1c62e7b2 745 BOOL_BITFIELD can_throw : 1;
b2dd096b 746
1799e5d5 747 htab_t GTY((param_is(struct named_label_entry))) x_named_labels;
e2500fed 748 struct cp_binding_level *bindings;
9acaf84a 749 VEC(tree,gc) *x_local_names;
8012c983
MM
750};
751
99dccabc 752/* The current C++-specific per-function global variables. */
8012c983 753
e2500fed 754#define cp_function_chain (cfun->language)
8012c983 755
44d10c10 756/* In a constructor destructor, the point at which all derived class
77880ae4
KH
757 destroying/construction has been has been done. Ie. just before a
758 constructor returns, or before any base class destroying will be done
44d10c10 759 in a destructor. */
8012c983 760
44d10c10 761#define cdtor_label cp_function_chain->x_cdtor_label
8012c983 762
8012c983
MM
763/* When we're processing a member function, current_class_ptr is the
764 PARM_DECL for the `this' pointer. The current_class_ref is an
765 expression for `*this'. */
766
a8f73d4b 767#define current_class_ptr \
01d939e8 768 (cfun ? cp_function_chain->x_current_class_ptr : NULL_TREE)
a8f73d4b 769#define current_class_ref \
01d939e8 770 (cfun ? cp_function_chain->x_current_class_ref : NULL_TREE)
8012c983 771
52a11cbf 772/* The EH_SPEC_BLOCK for the exception-specifiers for the current
2c146a76
MM
773 function, if any. */
774
52a11cbf 775#define current_eh_spec_block cp_function_chain->x_eh_spec_block
2c146a76 776
2c146a76 777/* The `__in_chrg' parameter for the current function. Only used for
e0fff4b3 778 constructors and destructors. */
2c146a76
MM
779
780#define current_in_charge_parm cp_function_chain->x_in_charge_parm
781
e0fff4b3
JM
782/* The `__vtt_parm' parameter for the current function. Only used for
783 constructors and destructors. */
784
785#define current_vtt_parm cp_function_chain->x_vtt_parm
786
8012c983
MM
787/* Set to 0 at beginning of a function definition, set to 1 if
788 a return statement that specifies a return value is seen. */
789
790#define current_function_returns_value cp_function_chain->returns_value
791
792/* Set to 0 at beginning of a function definition, set to 1 if
793 a return statement with no argument is seen. */
794
795#define current_function_returns_null cp_function_chain->returns_null
796
efe49da0
JM
797/* Set to 0 at beginning of a function definition, set to 1 if
798 a call to a noreturn function is seen. */
799
800#define current_function_returns_abnormally \
801 cp_function_chain->returns_abnormally
802
4de8668e 803/* Nonzero if we are processing a base initializer. Zero elsewhere. */
1f5a253a
NS
804#define in_base_initializer cp_function_chain->in_base_initializer
805
8012c983
MM
806#define in_function_try_handler cp_function_chain->in_function_try_handler
807
0d97bf4c
JM
808/* Expression always returned from function, or error_mark_node
809 otherwise, for use by the automatic named return value optimization. */
810
811#define current_function_return_value \
812 (cp_function_chain->x_return_value)
813
4546865e
MM
814/* True if NAME is the IDENTIFIER_NODE for an overloaded "operator
815 new" or "operator delete". */
816#define NEW_DELETE_OPNAME_P(NAME) \
0cbd7506
MS
817 ((NAME) == ansi_opname (NEW_EXPR) \
818 || (NAME) == ansi_opname (VEC_NEW_EXPR) \
819 || (NAME) == ansi_opname (DELETE_EXPR) \
4546865e
MM
820 || (NAME) == ansi_opname (VEC_DELETE_EXPR))
821
596ea4e5
AS
822#define ansi_opname(CODE) \
823 (operator_name_info[(int) (CODE)].identifier)
824#define ansi_assopname(CODE) \
825 (assignment_operator_name_info[(int) (CODE)].identifier)
8d08fdba 826
a723baf1
MM
827/* True if NODE is an erroneous expression. */
828
829#define error_operand_p(NODE) \
0cbd7506 830 ((NODE) == error_mark_node \
a723baf1 831 || ((NODE) && TREE_TYPE ((NODE)) == error_mark_node))
8d08fdba
MS
832\f
833/* C++ language-specific tree codes. */
834#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
835enum cplus_tree_code {
c7d87c0a 836 CP_DUMMY_TREE_CODE = LAST_C_TREE_CODE,
e92cc029 837#include "cp-tree.def"
8d08fdba
MS
838 LAST_CPLUS_TREE_CODE
839};
840#undef DEFTREECODE
841
feea5b18
ILT
842/* TRUE if a tree code represents a statement. */
843extern bool statement_code_p[MAX_TREE_CODES];
844
845#define STATEMENT_CODE_P(CODE) statement_code_p[(int) (CODE)]
846
fcad5cf5 847enum languages { lang_c, lang_cplusplus, lang_java };
8d08fdba
MS
848
849/* Macros to make error reporting functions' lives easier. */
850#define TYPE_IDENTIFIER(NODE) (DECL_NAME (TYPE_NAME (NODE)))
1951a1b6
JM
851#define TYPE_LINKAGE_IDENTIFIER(NODE) \
852 (TYPE_IDENTIFIER (TYPE_MAIN_VARIANT (NODE)))
8d08fdba
MS
853#define TYPE_NAME_STRING(NODE) (IDENTIFIER_POINTER (TYPE_IDENTIFIER (NODE)))
854#define TYPE_NAME_LENGTH(NODE) (IDENTIFIER_LENGTH (TYPE_IDENTIFIER (NODE)))
855
1951a1b6
JM
856/* Nonzero if NODE has no name for linkage purposes. */
857#define TYPE_ANONYMOUS_P(NODE) \
858 (TAGGED_TYPE_P (NODE) && ANON_AGGRNAME_P (TYPE_LINKAGE_IDENTIFIER (NODE)))
859
a4443a08 860/* The _DECL for this _TYPE. */
d2e5ee5c 861#define TYPE_MAIN_DECL(NODE) (TYPE_STUB_DECL (TYPE_MAIN_VARIANT (NODE)))
a4443a08 862
c92366fb 863/* Nonzero if T is a class (or struct or union) type. Also nonzero
83233dca
MM
864 for template type parameters, typename types, and instantiated
865 template template parameters. Despite its name,
b80c4d77 866 this macro has nothing to do with the definition of aggregate given
38b3627d
NS
867 in the standard. Think of this macro as MAYBE_CLASS_TYPE_P. Keep
868 these checks in ascending code order. */
98e40e83
GS
869#define IS_AGGR_TYPE(T) \
870 (TREE_CODE (T) == TEMPLATE_TYPE_PARM \
871 || TREE_CODE (T) == TYPENAME_TYPE \
872 || TREE_CODE (T) == TYPEOF_TYPE \
873 || TREE_CODE (T) == BOUND_TEMPLATE_TEMPLATE_PARM \
874 || TYPE_LANG_FLAG_5 (T))
7ddedda4 875
bb20cc46
AJ
876/* Set IS_AGGR_TYPE for T to VAL. T must be a class, struct, or
877 union type. */
7ddedda4
MM
878#define SET_IS_AGGR_TYPE(T, VAL) \
879 (TYPE_LANG_FLAG_5 (T) = (VAL))
c92366fb 880
b80c4d77
MM
881/* Nonzero if T is a class type. Zero for template type parameters,
882 typename types, and so forth. */
98e40e83 883#define CLASS_TYPE_P(T) \
38b3627d 884 (IS_AGGR_TYPE_CODE (TREE_CODE (T)) && TYPE_LANG_FLAG_5 (T))
c92366fb 885
38b3627d
NS
886/* Keep these checks in ascending code order. */
887#define IS_AGGR_TYPE_CODE(T) \
888 ((T) == RECORD_TYPE || (T) == UNION_TYPE)
98e40e83
GS
889#define TAGGED_TYPE_P(T) \
890 (CLASS_TYPE_P (T) || TREE_CODE (T) == ENUMERAL_TYPE)
1951a1b6 891#define IS_OVERLOAD_TYPE(T) TAGGED_TYPE_P (T)
8d08fdba 892
00a17e31 893/* True if this a "Java" type, defined in 'extern "Java"'. */
98e40e83 894#define TYPE_FOR_JAVA(NODE) TYPE_LANG_FLAG_3 (NODE)
ea419909 895
5552b43c
MM
896/* True if this type is dependent. This predicate is only valid if
897 TYPE_DEPENDENT_P_VALID is true. */
898#define TYPE_DEPENDENT_P(NODE) TYPE_LANG_FLAG_0 (NODE)
899
900/* True if dependent_type_p has been called for this type, with the
901 result that TYPE_DEPENDENT_P is valid. */
902#define TYPE_DEPENDENT_P_VALID(NODE) TYPE_LANG_FLAG_6(NODE)
903
91063b51
MM
904/* Nonzero if this type is const-qualified. */
905#define CP_TYPE_CONST_P(NODE) \
89d684bb 906 ((cp_type_quals (NODE) & TYPE_QUAL_CONST) != 0)
91063b51
MM
907
908/* Nonzero if this type is volatile-qualified. */
909#define CP_TYPE_VOLATILE_P(NODE) \
89d684bb 910 ((cp_type_quals (NODE) & TYPE_QUAL_VOLATILE) != 0)
91063b51 911
174bcdb9 912/* Nonzero if this type is restrict-qualified. */
91063b51 913#define CP_TYPE_RESTRICT_P(NODE) \
89d684bb 914 ((cp_type_quals (NODE) & TYPE_QUAL_RESTRICT) != 0)
91063b51
MM
915
916/* Nonzero if this type is const-qualified, but not
917 volatile-qualified. Other qualifiers are ignored. This macro is
918 used to test whether or not it is OK to bind an rvalue to a
919 reference. */
920#define CP_TYPE_CONST_NON_VOLATILE_P(NODE) \
89d684bb 921 ((cp_type_quals (NODE) & (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE)) \
91063b51
MM
922 == TYPE_QUAL_CONST)
923
e0fff4b3 924#define FUNCTION_ARG_CHAIN(NODE) \
98e40e83 925 TREE_CHAIN (TYPE_ARG_TYPES (TREE_TYPE (NODE)))
e0fff4b3
JM
926
927/* Given a FUNCTION_DECL, returns the first TREE_LIST out of TYPE_ARG_TYPES
928 which refers to a user-written parameter. */
929#define FUNCTION_FIRST_USER_PARMTYPE(NODE) \
98e40e83 930 skip_artificial_parms_for ((NODE), TYPE_ARG_TYPES (TREE_TYPE (NODE)))
e0fff4b3
JM
931
932/* Similarly, but for DECL_ARGUMENTS. */
933#define FUNCTION_FIRST_USER_PARM(NODE) \
98e40e83 934 skip_artificial_parms_for ((NODE), DECL_ARGUMENTS (NODE))
e0fff4b3 935
98e40e83 936#define PROMOTES_TO_AGGR_TYPE(NODE, CODE) \
8d08fdba 937 (((CODE) == TREE_CODE (NODE) \
98e40e83 938 && IS_AGGR_TYPE (TREE_TYPE (NODE))) \
8d08fdba
MS
939 || IS_AGGR_TYPE (NODE))
940
2db1ab2d
NS
941/* Nonzero iff TYPE is derived from PARENT. Ignores accessibility and
942 ambiguity issues. */
98e40e83 943#define DERIVED_FROM_P(PARENT, TYPE) \
c44e68a5 944 (lookup_base ((TYPE), (PARENT), ba_any, NULL) != NULL_TREE)
2db1ab2d
NS
945/* Nonzero iff TYPE is uniquely derived from PARENT. Ignores
946 accessibility. */
98e40e83 947#define UNIQUELY_DERIVED_FROM_P(PARENT, TYPE) \
18e4be85 948 (lookup_base ((TYPE), (PARENT), ba_unique | ba_quiet, NULL) != NULL_TREE)
2db1ab2d 949/* Nonzero iff TYPE is publicly & uniquely derived from PARENT. */
98e40e83 950#define PUBLICLY_UNIQUELY_DERIVED_P(PARENT, TYPE) \
18e4be85 951 (lookup_base ((TYPE), (PARENT), ba_ignore_scope | ba_check | ba_quiet, \
0cbd7506 952 NULL) != NULL_TREE)
d7afec4b
ND
953
954/* Gives the visibility specification for a class type. */
0871761b
NS
955#define CLASSTYPE_VISIBILITY(TYPE) \
956 DECL_VISIBILITY (TYPE_NAME (TYPE))
957#define CLASSTYPE_VISIBILITY_SPECIFIED(TYPE) \
958 DECL_VISIBILITY_SPECIFIED (TYPE_NAME (TYPE))
d7afec4b 959
0871761b
NS
960typedef struct tree_pair_s GTY (())
961{
962 tree purpose;
963 tree value;
964} tree_pair_s;
965typedef tree_pair_s *tree_pair_p;
d4e6fecb
NS
966DEF_VEC_O (tree_pair_s);
967DEF_VEC_ALLOC_O (tree_pair_s,gc);
d7afec4b 968
e2500fed
GK
969/* This is a few header flags for 'struct lang_type'. Actually,
970 all but the first are used only for lang_type_class; they
971 are put in this structure to save space. */
a3bf324c 972struct lang_type_header GTY(())
e2500fed 973{
1c62e7b2
KG
974 BOOL_BITFIELD is_lang_type_class : 1;
975
976 BOOL_BITFIELD has_type_conversion : 1;
977 BOOL_BITFIELD has_init_ref : 1;
978 BOOL_BITFIELD has_default_ctor : 1;
1c62e7b2
KG
979 BOOL_BITFIELD const_needs_init : 1;
980 BOOL_BITFIELD ref_needs_init : 1;
981 BOOL_BITFIELD has_const_assign_ref : 1;
5775a06a
NS
982
983 BOOL_BITFIELD spare : 1;
e2500fed
GK
984};
985
7ddedda4
MM
986/* This structure provides additional information above and beyond
987 what is provide in the ordinary tree_type. In the past, we used it
988 for the types of class types, template parameters types, typename
989 types, and so forth. However, there can be many (tens to hundreds
990 of thousands) of template parameter types in a compilation, and
991 there's no need for this additional information in that case.
992 Therefore, we now use this data structure only for class types.
993
994 In the past, it was thought that there would be relatively few
995 class types. However, in the presence of heavy use of templates,
996 many (i.e., thousands) of classes can easily be generated.
997 Therefore, we should endeavor to keep the size of this structure to
998 a minimum. */
e2500fed 999struct lang_type_class GTY(())
8d08fdba 1000{
e2500fed 1001 struct lang_type_header h;
19114537 1002
8012c983
MM
1003 unsigned char align;
1004
5b0cec3b
MM
1005 unsigned has_mutable : 1;
1006 unsigned com_interface : 1;
1007 unsigned non_pod_class : 1;
1008 unsigned nearly_empty_p : 1;
46ccf50a 1009 unsigned user_align : 1;
8012c983 1010 unsigned has_assign_ref : 1;
834c6dff
MM
1011 unsigned has_new : 1;
1012 unsigned has_array_new : 1;
8012c983
MM
1013
1014 unsigned gets_delete : 2;
8012c983
MM
1015 unsigned interface_only : 1;
1016 unsigned interface_unknown : 1;
8fbc5ae7 1017 unsigned contains_empty_class_p : 1;
560ad596
MM
1018 unsigned anon_aggr : 1;
1019 unsigned non_zero_init : 1;
1020 unsigned empty_p : 1;
8012c983 1021
dbc957f1 1022 unsigned vec_new_uses_cookie : 1;
8012c983 1023 unsigned declared_class : 1;
3543e114
NS
1024 unsigned diamond_shaped : 1;
1025 unsigned repeated_base : 1;
8012c983 1026 unsigned being_defined : 1;
fae4f6aa 1027 unsigned java_interface : 1;
8012c983 1028 unsigned debug_requested : 1;
560ad596 1029 unsigned fields_readonly : 1;
c8094d83 1030
3543e114 1031 unsigned use_template : 2;
8012c983
MM
1032 unsigned ptrmemfunc_flag : 1;
1033 unsigned was_anonymous : 1;
508a1c9c
MM
1034 unsigned lazy_default_ctor : 1;
1035 unsigned lazy_copy_ctor : 1;
fb232476 1036 unsigned lazy_assignment_op : 1;
9f4faeae
MM
1037 unsigned lazy_destructor : 1;
1038
8012c983
MM
1039 unsigned has_const_init_ref : 1;
1040 unsigned has_complex_init_ref : 1;
1041 unsigned has_complex_assign_ref : 1;
8012c983 1042 unsigned non_aggregate : 1;
94e6e4c4 1043
8012c983
MM
1044 /* When adding a flag here, consider whether or not it ought to
1045 apply to a template instance if it applies to the template. If
1046 so, make sure to copy it in instantiate_class_template! */
1047
5b0cec3b
MM
1048 /* There are some bits left to fill out a 32-bit word. Keep track
1049 of this by updating the size of this bitfield whenever you add or
8012c983 1050 remove a flag. */
fae4f6aa 1051 unsigned dummy : 12;
bb20cc46 1052
911a71a7 1053 tree primary_base;
d4e6fecb 1054 VEC(tree_pair_s,gc) *vcall_indices;
548502d3 1055 tree vtables;
a82d6da5 1056 tree typeinfo_var;
d4e6fecb 1057 VEC(tree,gc) *vbases;
5e0c54e5 1058 binding_table nested_udts;
17bbb839 1059 tree as_base;
d4e6fecb 1060 VEC(tree,gc) *pure_virtuals;
c35cce41 1061 tree friend_classes;
d4e6fecb 1062 VEC(tree,gc) * GTY((reorder ("resort_type_method_vec"))) methods;
9aad8f83 1063 tree key_method;
7088fca9 1064 tree decl_list;
c35cce41 1065 tree template_info;
6a629cac 1066 tree befriending_classes;
c7baa145
ZL
1067 /* In a RECORD_TYPE, information specific to Objective-C++, such
1068 as a list of adopted protocols or a pointer to a corresponding
1069 @interface. See objc/objc-act.h for details. */
1070 tree objc_info;
8d08fdba
MS
1071};
1072
e2500fed
GK
1073struct lang_type_ptrmem GTY(())
1074{
1075 struct lang_type_header h;
1076 tree record;
1077};
1078
1079struct lang_type GTY(())
1080{
19114537 1081 union lang_type_u
e2500fed 1082 {
165b54c3 1083 struct lang_type_header GTY((skip (""))) h;
e2500fed
GK
1084 struct lang_type_class GTY((tag ("1"))) c;
1085 struct lang_type_ptrmem GTY((tag ("0"))) ptrmem;
1086 } GTY((desc ("%h.h.is_lang_type_class"))) u;
1087};
1088
1089#if defined ENABLE_TREE_CHECKING && (GCC_VERSION >= 2007)
1090
de94b46c 1091#define LANG_TYPE_CLASS_CHECK(NODE) __extension__ \
e2500fed
GK
1092({ struct lang_type *lt = TYPE_LANG_SPECIFIC (NODE); \
1093 if (! lt->u.h.is_lang_type_class) \
1094 lang_check_failed (__FILE__, __LINE__, __FUNCTION__); \
1095 &lt->u.c; })
1096
de94b46c 1097#define LANG_TYPE_PTRMEM_CHECK(NODE) __extension__ \
e2500fed
GK
1098({ struct lang_type *lt = TYPE_LANG_SPECIFIC (NODE); \
1099 if (lt->u.h.is_lang_type_class) \
1100 lang_check_failed (__FILE__, __LINE__, __FUNCTION__); \
1101 &lt->u.ptrmem; })
1102
1103#else
1104
1105#define LANG_TYPE_CLASS_CHECK(NODE) (&TYPE_LANG_SPECIFIC (NODE)->u.c)
1106#define LANG_TYPE_PTRMEM_CHECK(NODE) (&TYPE_LANG_SPECIFIC (NODE)->u.ptrmem)
1107
1108#endif /* ENABLE_TREE_CHECKING */
1109
a0a33927
MS
1110/* Indicates whether or not (and how) a template was expanded for this class.
1111 0=no information yet/non-template class
1112 1=implicit template instantiation
1113 2=explicit template specialization
1114 3=explicit template instantiation */
e2500fed
GK
1115#define CLASSTYPE_USE_TEMPLATE(NODE) \
1116 (LANG_TYPE_CLASS_CHECK (NODE)->use_template)
8d08fdba
MS
1117
1118/* Fields used for storing information before the class is defined.
1119 After the class is defined, these fields hold other information. */
1120
585b44d3
NS
1121/* VEC(tree) of friends which were defined inline in this class
1122 definition. */
98e40e83 1123#define CLASSTYPE_INLINE_FRIENDS(NODE) CLASSTYPE_PURE_VIRTUALS (NODE)
8d08fdba 1124
834c6dff 1125/* Nonzero for _CLASSTYPE means that operator delete is defined. */
e2500fed 1126#define TYPE_GETS_DELETE(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->gets_delete)
a28e3c7f
MS
1127#define TYPE_GETS_REG_DELETE(NODE) (TYPE_GETS_DELETE (NODE) & 1)
1128
834c6dff 1129/* Nonzero if `new NODE[x]' should cause the allocation of extra
dbc957f1
MM
1130 storage to indicate how many array elements are in use. */
1131#define TYPE_VEC_NEW_USES_COOKIE(NODE) \
1132 (CLASS_TYPE_P (NODE) \
e2500fed 1133 && LANG_TYPE_CLASS_CHECK (NODE)->vec_new_uses_cookie)
8d08fdba 1134
8d08fdba
MS
1135/* Nonzero means that this _CLASSTYPE node defines ways of converting
1136 itself to other types. */
98e40e83 1137#define TYPE_HAS_CONVERSION(NODE) \
e2500fed 1138 (LANG_TYPE_CLASS_CHECK (NODE)->h.has_type_conversion)
8d08fdba 1139
508a1c9c
MM
1140/* Nonzero means that NODE (a class type) has a default constructor --
1141 but that it has not yet been declared. */
1142#define CLASSTYPE_LAZY_DEFAULT_CTOR(NODE) \
1143 (LANG_TYPE_CLASS_CHECK (NODE)->lazy_default_ctor)
1144
1145/* Nonzero means that NODE (a class type) has a copy constructor --
1146 but that it has not yet been declared. */
1147#define CLASSTYPE_LAZY_COPY_CTOR(NODE) \
1148 (LANG_TYPE_CLASS_CHECK (NODE)->lazy_copy_ctor)
1149
fb232476
MM
1150/* Nonzero means that NODE (a class type) has an assignment operator
1151 -- but that it has not yet been declared. */
1152#define CLASSTYPE_LAZY_ASSIGNMENT_OP(NODE) \
1153 (LANG_TYPE_CLASS_CHECK (NODE)->lazy_assignment_op)
1154
9f4faeae
MM
1155/* Nonzero means that NODE (a class type) has a destructor -- but that
1156 it has not yet been declared. */
1157#define CLASSTYPE_LAZY_DESTRUCTOR(NODE) \
1158 (LANG_TYPE_CLASS_CHECK (NODE)->lazy_destructor)
c8094d83 1159
8d08fdba 1160/* Nonzero means that this _CLASSTYPE node overloads operator=(X&). */
e2500fed 1161#define TYPE_HAS_ASSIGN_REF(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->has_assign_ref)
aaaa46d2
MM
1162
1163/* True iff the class type NODE has an "operator =" whose parameter
1164 has a parameter of type "const X&". */
98e40e83 1165#define TYPE_HAS_CONST_ASSIGN_REF(NODE) \
e2500fed 1166 (LANG_TYPE_CLASS_CHECK (NODE)->h.has_const_assign_ref)
8d08fdba
MS
1167
1168/* Nonzero means that this _CLASSTYPE node has an X(X&) constructor. */
e2500fed 1169#define TYPE_HAS_INIT_REF(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->h.has_init_ref)
98e40e83 1170#define TYPE_HAS_CONST_INIT_REF(NODE) \
e2500fed 1171 (LANG_TYPE_CLASS_CHECK (NODE)->has_const_init_ref)
8d08fdba 1172
834c6dff
MM
1173/* Nonzero if this class defines an overloaded operator new. (An
1174 operator new [] doesn't count.) */
1175#define TYPE_HAS_NEW_OPERATOR(NODE) \
e2500fed 1176 (LANG_TYPE_CLASS_CHECK (NODE)->has_new)
834c6dff
MM
1177
1178/* Nonzero if this class defines an overloaded operator new[]. */
1179#define TYPE_HAS_ARRAY_NEW_OPERATOR(NODE) \
e2500fed 1180 (LANG_TYPE_CLASS_CHECK (NODE)->has_array_new)
834c6dff 1181
8d08fdba
MS
1182/* Nonzero means that this type is being defined. I.e., the left brace
1183 starting the definition of this type has been seen. */
e2500fed 1184#define TYPE_BEING_DEFINED(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->being_defined)
8d08fdba 1185
3543e114
NS
1186/* Mark bits for repeated base checks. */
1187#define TYPE_MARKED_P(NODE) TREE_LANG_FLAG_6 (TYPE_CHECK (NODE))
1188
1634705d 1189/* Nonzero if the class NODE has multiple paths to the same (virtual)
3543e114
NS
1190 base object. */
1191#define CLASSTYPE_DIAMOND_SHAPED_P(NODE) \
1192 (LANG_TYPE_CLASS_CHECK(NODE)->diamond_shaped)
1193
1634705d 1194/* Nonzero if the class NODE has multiple instances of the same base
3543e114
NS
1195 type. */
1196#define CLASSTYPE_REPEATED_BASE_P(NODE) \
1197 (LANG_TYPE_CLASS_CHECK(NODE)->repeated_base)
1198
9aad8f83
MA
1199/* The member function with which the vtable will be emitted:
1200 the first noninline non-pure-virtual member function. NULL_TREE
1201 if there is no key function or if this is a class template */
1202#define CLASSTYPE_KEY_METHOD(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->key_method)
1203
61a127b3 1204/* Vector member functions defined in this class. Each element is
03017874
MM
1205 either a FUNCTION_DECL, a TEMPLATE_DECL, or an OVERLOAD. All
1206 functions with the same name end up in the same slot. The first
61a127b3 1207 two elements are for constructors, and destructors, respectively.
5dd236e2
NS
1208 All template conversion operators to innermost template dependent
1209 types are overloaded on the next slot, if they exist. Note, the
1210 names for these functions will not all be the same. The
1211 non-template conversion operators & templated conversions to
1212 non-innermost template types are next, followed by ordinary member
1213 functions. There may be empty entries at the end of the vector.
1214 The conversion operators are unsorted. The ordinary member
1215 functions are sorted, once the class is complete. */
e2500fed 1216#define CLASSTYPE_METHOD_VEC(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->methods)
8d08fdba 1217
7088fca9
KL
1218/* For class templates, this is a TREE_LIST of all member data,
1219 functions, types, and friends in the order of declaration.
1220 The TREE_PURPOSE of each TREE_LIST is NULL_TREE for a friend,
1221 and the RECORD_TYPE for the class template otherwise. */
1222#define CLASSTYPE_DECL_LIST(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->decl_list)
1223
db9b2174
MM
1224/* The slot in the CLASSTYPE_METHOD_VEC where constructors go. */
1225#define CLASSTYPE_CONSTRUCTOR_SLOT 0
1226
1227/* The slot in the CLASSTYPE_METHOD_VEC where destructors go. */
1228#define CLASSTYPE_DESTRUCTOR_SLOT 1
1229
1230/* The first slot in the CLASSTYPE_METHOD_VEC where conversion
1231 operators can appear. */
1232#define CLASSTYPE_FIRST_CONVERSION_SLOT 2
1233
1234/* A FUNCTION_DECL or OVERLOAD for the constructors for NODE. These
1235 are the constructors that take an in-charge parameter. */
1236#define CLASSTYPE_CONSTRUCTORS(NODE) \
aaaa46d2 1237 (VEC_index (tree, CLASSTYPE_METHOD_VEC (NODE), CLASSTYPE_CONSTRUCTOR_SLOT))
db9b2174 1238
52682a1b 1239/* A FUNCTION_DECL for the destructor for NODE. These are the
9f4faeae
MM
1240 destructors that take an in-charge parameter. If
1241 CLASSTYPE_LAZY_DESTRUCTOR is true, then this entry will be NULL
1242 until the destructor is created with lazily_declare_fn. */
db9b2174 1243#define CLASSTYPE_DESTRUCTORS(NODE) \
9f4faeae
MM
1244 (CLASSTYPE_METHOD_VEC (NODE) \
1245 ? VEC_index (tree, CLASSTYPE_METHOD_VEC (NODE), CLASSTYPE_DESTRUCTOR_SLOT) \
1246 : NULL_TREE)
e1cd6e56 1247
5e0c54e5
GDR
1248/* A dictionary of the nested user-defined-types (class-types, or enums)
1249 found within this class. This table includes nested member class
1250 templates. */
1251#define CLASSTYPE_NESTED_UTDS(NODE) \
1252 (LANG_TYPE_CLASS_CHECK (NODE)->nested_udts)
8d08fdba 1253
3ef397c1 1254/* Nonzero if NODE has a primary base class, i.e., a base class with
0811ea8f 1255 which it shares the virtual function table pointer. */
3ef397c1 1256#define CLASSTYPE_HAS_PRIMARY_BASE_P(NODE) \
911a71a7 1257 (CLASSTYPE_PRIMARY_BINFO (NODE) != NULL_TREE)
3ef397c1
MM
1258
1259/* If non-NULL, this is the binfo for the primary base class, i.e.,
1260 the base class which contains the virtual function table pointer
1261 for this class. */
5e19c053 1262#define CLASSTYPE_PRIMARY_BINFO(NODE) \
e2500fed 1263 (LANG_TYPE_CLASS_CHECK (NODE)->primary_base)
3ef397c1 1264
58c42dc2 1265/* A vector of BINFOs for the direct and indirect virtual base classes
c35cce41
MM
1266 that this type uses in a post-order depth-first left-to-right
1267 order. (In other words, these bases appear in the order that they
dbbf88d1 1268 should be initialized.) */
e2500fed 1269#define CLASSTYPE_VBASECLASSES(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->vbases)
23381155 1270
17bbb839
MM
1271/* The type corresponding to NODE when NODE is used as a base class,
1272 i.e., NODE without virtual base classes. */
1273
1274#define CLASSTYPE_AS_BASE(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->as_base)
1275
00bfffa4
JM
1276/* True iff NODE is the CLASSTYPE_AS_BASE version of some type. */
1277
1278#define IS_FAKE_BASE_TYPE(NODE) \
1279 (TREE_CODE (NODE) == RECORD_TYPE \
1280 && TYPE_CONTEXT (NODE) && CLASS_TYPE_P (TYPE_CONTEXT (NODE)) \
1281 && CLASSTYPE_AS_BASE (TYPE_CONTEXT (NODE)) == (NODE))
1282
2d926395
MM
1283/* These are the size and alignment of the type without its virtual
1284 base classes, for when we use this type as a base itself. */
17bbb839
MM
1285#define CLASSTYPE_SIZE(NODE) TYPE_SIZE (CLASSTYPE_AS_BASE (NODE))
1286#define CLASSTYPE_SIZE_UNIT(NODE) TYPE_SIZE_UNIT (CLASSTYPE_AS_BASE (NODE))
1287#define CLASSTYPE_ALIGN(NODE) TYPE_ALIGN (CLASSTYPE_AS_BASE (NODE))
1288#define CLASSTYPE_USER_ALIGN(NODE) TYPE_USER_ALIGN (CLASSTYPE_AS_BASE (NODE))
8d08fdba 1289
1b50716d
MM
1290/* The alignment of NODE, without its virtual bases, in bytes. */
1291#define CLASSTYPE_ALIGN_UNIT(NODE) \
1292 (CLASSTYPE_ALIGN (NODE) / BITS_PER_UNIT)
1293
19114537 1294/* True if this a Java interface type, declared with
00a17e31 1295 '__attribute__ ((java_interface))'. */
585b44d3
NS
1296#define TYPE_JAVA_INTERFACE(NODE) \
1297 (LANG_TYPE_CLASS_CHECK (NODE)->java_interface)
60c87482 1298
585b44d3 1299/* A VEC(tree) of virtual functions which cannot be inherited by
8d08fdba
MS
1300 derived classes. When deriving from this type, the derived
1301 class must provide its own definition for each of these functions. */
585b44d3
NS
1302#define CLASSTYPE_PURE_VIRTUALS(NODE) \
1303 (LANG_TYPE_CLASS_CHECK (NODE)->pure_virtuals)
8d08fdba 1304
8d08fdba 1305/* Nonzero means that this type has an X() constructor. */
98e40e83 1306#define TYPE_HAS_DEFAULT_CONSTRUCTOR(NODE) \
e2500fed 1307 (LANG_TYPE_CLASS_CHECK (NODE)->h.has_default_ctor)
8d08fdba 1308
f4f206f4 1309/* Nonzero means that this type contains a mutable member. */
e2500fed 1310#define CLASSTYPE_HAS_MUTABLE(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->has_mutable)
a7a7710d
NS
1311#define TYPE_HAS_MUTABLE_P(NODE) (cp_has_mutable_p (NODE))
1312
94e6e4c4 1313/* Nonzero means that this class type is a non-POD class. */
e2500fed 1314#define CLASSTYPE_NON_POD_P(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->non_pod_class)
52fb2769 1315
94e6e4c4
AO
1316/* Nonzero means that this class contains pod types whose default
1317 initialization is not a zero initialization (namely, pointers to
1318 data members). */
e2500fed
GK
1319#define CLASSTYPE_NON_ZERO_INIT_P(NODE) \
1320 (LANG_TYPE_CLASS_CHECK (NODE)->non_zero_init)
94e6e4c4 1321
58731fd1
MM
1322/* Nonzero if this class is "empty" in the sense of the C++ ABI. */
1323#define CLASSTYPE_EMPTY_P(NODE) \
1324 (LANG_TYPE_CLASS_CHECK (NODE)->empty_p)
1325
f9c528ea
MM
1326/* Nonzero if this class is "nearly empty", i.e., contains only a
1327 virtual function table pointer. */
1328#define CLASSTYPE_NEARLY_EMPTY_P(NODE) \
e2500fed 1329 (LANG_TYPE_CLASS_CHECK (NODE)->nearly_empty_p)
f9c528ea 1330
5ec1192e
MM
1331/* Nonzero if this class contains an empty subobject. */
1332#define CLASSTYPE_CONTAINS_EMPTY_CLASS_P(NODE) \
1333 (LANG_TYPE_CLASS_CHECK (NODE)->contains_empty_class_p)
1334
6a629cac 1335/* A list of class types of which this type is a friend. The
ea4e080b
MM
1336 TREE_VALUE is normally a TYPE, but will be a TEMPLATE_DECL in the
1337 case of a template friend. */
98e40e83 1338#define CLASSTYPE_FRIEND_CLASSES(NODE) \
e2500fed 1339 (LANG_TYPE_CLASS_CHECK (NODE)->friend_classes)
8d08fdba 1340
6a629cac
MM
1341/* A list of the classes which grant friendship to this class. */
1342#define CLASSTYPE_BEFRIENDING_CLASSES(NODE) \
e2500fed 1343 (LANG_TYPE_CLASS_CHECK (NODE)->befriending_classes)
6a629cac 1344
8d08fdba 1345/* Say whether this node was declared as a "class" or a "struct". */
98e40e83 1346#define CLASSTYPE_DECLARED_CLASS(NODE) \
e2500fed 1347 (LANG_TYPE_CLASS_CHECK (NODE)->declared_class)
8d08fdba 1348
6eb35968
DE
1349/* Nonzero if this class has const members
1350 which have no specified initialization. */
1351#define CLASSTYPE_READONLY_FIELDS_NEED_INIT(NODE) \
1352 (TYPE_LANG_SPECIFIC (NODE) \
1353 ? LANG_TYPE_CLASS_CHECK (NODE)->h.const_needs_init : 0)
1354#define SET_CLASSTYPE_READONLY_FIELDS_NEED_INIT(NODE, VALUE) \
1355 (LANG_TYPE_CLASS_CHECK (NODE)->h.const_needs_init = (VALUE))
1356
1357/* Nonzero if this class has ref members
1358 which have no specified initialization. */
1359#define CLASSTYPE_REF_FIELDS_NEED_INIT(NODE) \
1360 (TYPE_LANG_SPECIFIC (NODE) \
1361 ? LANG_TYPE_CLASS_CHECK (NODE)->h.ref_needs_init : 0)
1362#define SET_CLASSTYPE_REF_FIELDS_NEED_INIT(NODE, VALUE) \
1363 (LANG_TYPE_CLASS_CHECK (NODE)->h.ref_needs_init = (VALUE))
8d08fdba
MS
1364
1365/* Nonzero if this class is included from a header file which employs
1366 `#pragma interface', and it is not included in its implementation file. */
98e40e83 1367#define CLASSTYPE_INTERFACE_ONLY(NODE) \
e2500fed 1368 (LANG_TYPE_CLASS_CHECK (NODE)->interface_only)
8d08fdba 1369
97458258
MM
1370/* True if we have already determined whether or not vtables, VTTs,
1371 typeinfo, and other similar per-class data should be emitted in
1372 this translation unit. This flag does not indicate whether or not
1373 these items should be emitted; it only indicates that we know one
1374 way or the other. */
1375#define CLASSTYPE_INTERFACE_KNOWN(NODE) \
e2500fed 1376 (LANG_TYPE_CLASS_CHECK (NODE)->interface_unknown == 0)
a692ad2e 1377/* The opposite of CLASSTYPE_INTERFACE_KNOWN. */
97458258 1378#define CLASSTYPE_INTERFACE_UNKNOWN(NODE) \
e2500fed 1379 (LANG_TYPE_CLASS_CHECK (NODE)->interface_unknown)
97458258
MM
1380
1381#define SET_CLASSTYPE_INTERFACE_UNKNOWN_X(NODE,X) \
e2500fed 1382 (LANG_TYPE_CLASS_CHECK (NODE)->interface_unknown = !!(X))
97458258 1383#define SET_CLASSTYPE_INTERFACE_UNKNOWN(NODE) \
e2500fed 1384 (LANG_TYPE_CLASS_CHECK (NODE)->interface_unknown = 1)
97458258 1385#define SET_CLASSTYPE_INTERFACE_KNOWN(NODE) \
e2500fed 1386 (LANG_TYPE_CLASS_CHECK (NODE)->interface_unknown = 0)
8d08fdba
MS
1387
1388/* Nonzero if a _DECL node requires us to output debug info for this class. */
98e40e83 1389#define CLASSTYPE_DEBUG_REQUESTED(NODE) \
e2500fed 1390 (LANG_TYPE_CLASS_CHECK (NODE)->debug_requested)
8d08fdba
MS
1391\f
1392/* Additional macros for inheritance information. */
1393
8d08fdba 1394/* Nonzero means that this class is on a path leading to a new vtable. */
809e3e7f 1395#define BINFO_VTABLE_PATH_MARKED(NODE) BINFO_FLAG_1 (NODE)
dbbf88d1
NS
1396
1397/* Nonzero means B (a BINFO) has its own vtable. Any copies will not
9bcb9aae 1398 have this flag set. */
809e3e7f 1399#define BINFO_NEW_VTABLE_MARKED(B) (BINFO_FLAG_2 (B))
23656158 1400
539ed333
NS
1401/* Compare a BINFO_TYPE with another type for equality. For a binfo,
1402 this is functionally equivalent to using same_type_p, but
1403 measurably faster. At least one of the arguments must be a
1404 BINFO_TYPE. The other can be a BINFO_TYPE or a regular type. If
1405 BINFO_TYPE(T) ever stops being the main variant of the class the
1406 binfo is for, this macro must change. */
1407#define SAME_BINFO_TYPE_P(A, B) ((A) == (B))
1408
23656158 1409/* Any subobject that needs a new vtable must have a vptr and must not
9965d119
NS
1410 be a non-virtual primary base (since it would then use the vtable from a
1411 derived class and never become non-primary.) */
dbbf88d1
NS
1412#define SET_BINFO_NEW_VTABLE_MARKED(B) \
1413 (BINFO_NEW_VTABLE_MARKED (B) = 1, \
4094f4d2
NS
1414 gcc_assert (!BINFO_PRIMARY_P (B) || BINFO_VIRTUAL_P (B)), \
1415 gcc_assert (TYPE_VFIELD (BINFO_TYPE (B))))
8d08fdba 1416
dbbf88d1
NS
1417/* Nonzero if this binfo is for a dependent base - one that should not
1418 be searched. */
809e3e7f 1419#define BINFO_DEPENDENT_BASE_P(NODE) BINFO_FLAG_3 (NODE)
dbbf88d1 1420
9965d119
NS
1421/* Nonzero if this binfo has lost its primary base binfo (because that
1422 is a nearly-empty virtual base that has been taken by some other
aba649ba 1423 base in the complete hierarchy. */
809e3e7f 1424#define BINFO_LOST_PRIMARY_P(NODE) BINFO_FLAG_4 (NODE)
db3d8cde 1425
fc6633e0
NS
1426/* Nonzero if this BINFO is a primary base class. */
1427#define BINFO_PRIMARY_P(NODE) BINFO_FLAG_5(NODE)
911a71a7 1428
72c4a2a6
JM
1429/* Used by various search routines. */
1430#define IDENTIFIER_MARKED(NODE) TREE_LANG_FLAG_0 (NODE)
8d08fdba 1431\f
0871761b
NS
1432/* A VEC(tree_pair_s) of the vcall indices associated with the class
1433 NODE. The PURPOSE of each element is a FUNCTION_DECL for a virtual
1434 function. The VALUE is the index into the virtual table where the
1435 vcall offset for that function is stored, when NODE is a virtual
1436 base. */
548502d3
MM
1437#define CLASSTYPE_VCALL_INDICES(NODE) \
1438 (LANG_TYPE_CLASS_CHECK (NODE)->vcall_indices)
1439
1440/* The various vtables for the class NODE. The primary vtable will be
1441 first, followed by the construction vtables and VTT, if any. */
1442#define CLASSTYPE_VTABLES(NODE) \
1443 (LANG_TYPE_CLASS_CHECK (NODE)->vtables)
1444
a82d6da5
MM
1445/* The std::type_info variable representing this class, or NULL if no
1446 such variable has been created. This field is only set for the
1447 TYPE_MAIN_VARIANT of the class. */
1448#define CLASSTYPE_TYPEINFO_VAR(NODE) \
1449 (LANG_TYPE_CLASS_CHECK (NODE)->typeinfo_var)
1450
00a17e31 1451/* Accessor macros for the BINFO_VIRTUALS list. */
c0bbf652
MM
1452
1453/* The number of bytes by which to adjust the `this' pointer when
03fc215c 1454 calling this virtual function. Subtract this value from the this
00a17e31 1455 pointer. Always non-NULL, might be constant zero though. */
5e19c053 1456#define BV_DELTA(NODE) (TREE_PURPOSE (NODE))
c0bbf652
MM
1457
1458/* If non-NULL, the vtable index at which to find the vcall offset
03fc215c
NS
1459 when calling this virtual function. Add the value at that vtable
1460 index to the this pointer. */
5e19c053 1461#define BV_VCALL_INDEX(NODE) (TREE_TYPE (NODE))
c0bbf652
MM
1462
1463/* The function to call. */
5e19c053
MM
1464#define BV_FN(NODE) (TREE_VALUE (NODE))
1465
8d08fdba 1466\f
8d08fdba 1467/* For FUNCTION_TYPE or METHOD_TYPE, a list of the exceptions that
193306f7 1468 this type can raise. Each TREE_VALUE is a _TYPE. The TREE_VALUE
66a6250f
JM
1469 will be NULL_TREE to indicate a throw specification of `()', or
1470 no exceptions allowed. */
95b4aca6 1471#define TYPE_RAISES_EXCEPTIONS(NODE) TYPE_LANG_SLOT_1 (NODE)
a9aedbc2 1472
7f477e81
NS
1473/* For FUNCTION_TYPE or METHOD_TYPE, return 1 iff it is declared `throw()'. */
1474#define TYPE_NOTHROW_P(NODE) \
1475 (TYPE_RAISES_EXCEPTIONS (NODE) \
1476 && TREE_VALUE (TYPE_RAISES_EXCEPTIONS (NODE)) == NULL_TREE)
1477
e92cc029 1478/* The binding level associated with the namespace. */
3ebc5c52 1479#define NAMESPACE_LEVEL(NODE) \
98e40e83 1480 (DECL_LANG_SPECIFIC (NODE)->decl_flags.u.level)
8d08fdba 1481\f
6a629cac
MM
1482
1483/* If a DECL has DECL_LANG_SPECIFIC, it is either a lang_decl_flags or
b0d06515
MM
1484 a lang_decl (which has lang_decl_flags as its initial prefix).
1485 This macro is nonzero for tree nodes whose DECL_LANG_SPECIFIC is
38b3627d
NS
1486 the full lang_decl, and not just lang_decl_flags. Keep these
1487 checks in ascending code order. */
1488#define CAN_HAVE_FULL_LANG_DECL_P(NODE) \
1489 (!(TREE_CODE (NODE) == FIELD_DECL \
1490 || TREE_CODE (NODE) == VAR_DECL \
1491 || TREE_CODE (NODE) == CONST_DECL \
98e40e83 1492 || TREE_CODE (NODE) == USING_DECL))
6a629cac 1493
e2500fed 1494struct lang_decl_flags GTY(())
8d08fdba 1495{
4684cd27
MM
1496 ENUM_BITFIELD(languages) language : 4;
1497 unsigned global_ctor_p : 1;
1498 unsigned global_dtor_p : 1;
1499 unsigned anticipated_p : 1;
1500 unsigned template_conv_p : 1;
8d08fdba
MS
1501
1502 unsigned operator_attr : 1;
1503 unsigned constructor_attr : 1;
0d9eb3ba 1504 unsigned destructor_attr : 1;
8d08fdba
MS
1505 unsigned friend_attr : 1;
1506 unsigned static_function : 1;
fee7654e 1507 unsigned pure_virtual : 1;
454fa7a7 1508 unsigned has_in_charge_parm_p : 1;
5daf7c0a 1509 unsigned has_vtt_parm_p : 1;
d60f72ae 1510
56e770bf 1511 unsigned deferred : 1;
a0a33927 1512 unsigned use_template : 2;
db5ae43f 1513 unsigned nonconverting : 1;
faae18ab 1514 unsigned not_really_extern : 1;
3febd123 1515 unsigned initialized_in_class : 1;
e2500fed 1516 unsigned assignment_operator_p : 1;
e2500fed 1517 unsigned u1sel : 1;
c8094d83 1518
e2500fed
GK
1519 unsigned u2sel : 1;
1520 unsigned can_be_full : 1;
ea1763b1 1521 unsigned thunk_p : 1;
4977bab6 1522 unsigned this_thunk_p : 1;
4684cd27 1523 unsigned repo_available_p : 1;
d63d5d0c 1524 unsigned hidden_friend_p : 1;
1799e5d5
RH
1525 unsigned threadprivate_p : 1;
1526 /* One unused bit. */
8d08fdba 1527
e2500fed 1528 union lang_decl_u {
a6c0a76c
SB
1529 /* In a FUNCTION_DECL for which DECL_THUNK_P holds, this is
1530 THUNK_ALIAS.
1531 In a FUNCTION_DECL for which DECL_THUNK_P does not hold,
e00853fd
NS
1532 VAR_DECL, TYPE_DECL, or TEMPLATE_DECL, this is
1533 DECL_TEMPLATE_INFO. */
e2500fed 1534 tree GTY ((tag ("0"))) template_info;
3ebc5c52
MM
1535
1536 /* In a NAMESPACE_DECL, this is NAMESPACE_LEVEL. */
e2500fed
GK
1537 struct cp_binding_level * GTY ((tag ("1"))) level;
1538 } GTY ((desc ("%1.u1sel"))) u;
af3b4e59 1539
e2500fed 1540 union lang_decl_u2 {
a6c0a76c
SB
1541 /* In a FUNCTION_DECL for which DECL_THUNK_P holds, this is
1542 THUNK_VIRTUAL_OFFSET.
1543 Otherwise this is DECL_ACCESS. */
e2500fed 1544 tree GTY ((tag ("0"))) access;
af3b4e59 1545
8e4ce833 1546 /* For VAR_DECL in function, this is DECL_DISCRIMINATOR. */
17211ab5 1547 int GTY ((tag ("1"))) discriminator;
e2500fed 1548 } GTY ((desc ("%1.u2sel"))) u2;
8d08fdba
MS
1549};
1550
17211ab5
GK
1551/* sorted_fields is sorted based on a pointer, so we need to be able
1552 to resort it if pointers get rearranged. */
1553
e2500fed 1554struct lang_decl GTY(())
8d08fdba
MS
1555{
1556 struct lang_decl_flags decl_flags;
1557
e2500fed
GK
1558 union lang_decl_u4
1559 {
19114537 1560 struct full_lang_decl
e2500fed 1561 {
84eeda0c
NS
1562 /* In an overloaded operator, this is the value of
1563 DECL_OVERLOADED_OPERATOR_P. */
1564 ENUM_BITFIELD (tree_code) operator_code : 8;
1565
1566 unsigned u3sel : 1;
1567 unsigned pending_inline_p : 1;
ea1763b1 1568 unsigned spare : 22;
c8094d83 1569
07fa4878 1570 /* For a non-thunk function decl, this is a tree list of
0cbd7506
MS
1571 friendly classes. For a thunk function decl, it is the
1572 thunked to function decl. */
e2500fed 1573 tree befriending_classes;
19114537 1574
e93ee644
MM
1575 /* For a non-virtual FUNCTION_DECL, this is
1576 DECL_FRIEND_CONTEXT. For a virtual FUNCTION_DECL for which
4977bab6
ZW
1577 DECL_THIS_THUNK_P does not hold, this is DECL_THUNKS. Both
1578 this pointer and result pointer adjusting thunks are
1579 chained here. This pointer thunks to return pointer thunks
9bcb9aae 1580 will be chained on the return pointer thunk. */
e2500fed 1581 tree context;
bb5e8a7f 1582
ea1763b1
NS
1583 union lang_decl_u5
1584 {
1585 /* In a non-thunk FUNCTION_DECL or TEMPLATE_DECL, this is
1586 DECL_CLONED_FUNCTION. */
1587 tree GTY ((tag ("0"))) cloned_function;
c8094d83 1588
ea1763b1
NS
1589 /* In a FUNCTION_DECL for which THUNK_P holds this is the
1590 THUNK_FIXED_OFFSET. */
1591 HOST_WIDE_INT GTY ((tag ("1"))) fixed_offset;
1592 } GTY ((desc ("%0.decl_flags.thunk_p"))) u5;
c8094d83 1593
e2500fed
GK
1594 union lang_decl_u3
1595 {
19114537 1596 struct sorted_fields_type * GTY ((tag ("0"), reorder ("resort_sorted_fields")))
17211ab5 1597 sorted_fields;
0cbd7506 1598 struct cp_token_cache * GTY ((tag ("2"))) pending_inline_info;
19114537 1599 struct language_function * GTY ((tag ("1")))
e2500fed
GK
1600 saved_language_function;
1601 } GTY ((desc ("%1.u3sel + %1.pending_inline_p"))) u;
1602 } GTY ((tag ("1"))) f;
1603 } GTY ((desc ("%1.decl_flags.can_be_full"))) u;
1604};
9188c363 1605
e2500fed 1606#if defined ENABLE_TREE_CHECKING && (GCC_VERSION >= 2007)
9188c363 1607
de94b46c 1608#define LANG_DECL_U2_CHECK(NODE, TF) __extension__ \
e2500fed
GK
1609({ struct lang_decl *lt = DECL_LANG_SPECIFIC (NODE); \
1610 if (lt->decl_flags.u2sel != TF) \
1611 lang_check_failed (__FILE__, __LINE__, __FUNCTION__); \
1612 &lt->decl_flags.u2; })
db9b2174 1613
e2500fed
GK
1614#else
1615
1616#define LANG_DECL_U2_CHECK(NODE, TF) \
1617 (&DECL_LANG_SPECIFIC (NODE)->decl_flags.u2)
1618
1619#endif /* ENABLE_TREE_CHECKING */
8d08fdba 1620
5d2ed28c
MM
1621/* For a FUNCTION_DECL or a VAR_DECL, the language linkage for the
1622 declaration. Some entities (like a member function in a local
1623 class, or a local variable) do not have linkage at all, and this
1624 macro should not be used in those cases.
19114537 1625
5d2ed28c
MM
1626 Implementation note: A FUNCTION_DECL without DECL_LANG_SPECIFIC was
1627 created by language-independent code, and has C linkage. Most
1628 VAR_DECLs have C++ linkage, and do not have DECL_LANG_SPECIFIC, but
1629 we do create DECL_LANG_SPECIFIC for variables with non-C++ linkage. */
0cbd7506
MS
1630#define DECL_LANGUAGE(NODE) \
1631 (DECL_LANG_SPECIFIC (NODE) \
98e40e83 1632 ? DECL_LANG_SPECIFIC (NODE)->decl_flags.language \
5d2ed28c
MM
1633 : (TREE_CODE (NODE) == FUNCTION_DECL \
1634 ? lang_c : lang_cplusplus))
1635
1636/* Set the language linkage for NODE to LANGUAGE. */
1637#define SET_DECL_LANGUAGE(NODE, LANGUAGE) \
98e40e83 1638 (DECL_LANG_SPECIFIC (NODE)->decl_flags.language = (LANGUAGE))
8d08fdba
MS
1639
1640/* For FUNCTION_DECLs: nonzero means that this function is a constructor. */
98e40e83
GS
1641#define DECL_CONSTRUCTOR_P(NODE) \
1642 (DECL_LANG_SPECIFIC (NODE)->decl_flags.constructor_attr)
aa45967f 1643
db9b2174
MM
1644/* Nonzero if NODE (a FUNCTION_DECL) is a constructor for a complete
1645 object. */
1646#define DECL_COMPLETE_CONSTRUCTOR_P(NODE) \
bb20cc46 1647 (DECL_CONSTRUCTOR_P (NODE) \
db9b2174
MM
1648 && DECL_NAME (NODE) == complete_ctor_identifier)
1649
1650/* Nonzero if NODE (a FUNCTION_DECL) is a constructor for a base
1651 object. */
1652#define DECL_BASE_CONSTRUCTOR_P(NODE) \
1653 (DECL_CONSTRUCTOR_P (NODE) \
1654 && DECL_NAME (NODE) == base_ctor_identifier)
1655
1656/* Nonzero if NODE (a FUNCTION_DECL) is a constructor, but not either the
1657 specialized in-charge constructor or the specialized not-in-charge
1658 constructor. */
1659#define DECL_MAYBE_IN_CHARGE_CONSTRUCTOR_P(NODE) \
1660 (DECL_CONSTRUCTOR_P (NODE) && !DECL_CLONED_FUNCTION_P (NODE))
1661
454fa7a7
MM
1662/* Nonzero if NODE (a FUNCTION_DECL) is a copy constructor. */
1663#define DECL_COPY_CONSTRUCTOR_P(NODE) \
271e6f02 1664 (DECL_CONSTRUCTOR_P (NODE) && copy_fn_p (NODE) > 0)
454fa7a7 1665
1f6e1acc 1666/* Nonzero if NODE is a destructor. */
aa45967f 1667#define DECL_DESTRUCTOR_P(NODE) \
0d9eb3ba 1668 (DECL_LANG_SPECIFIC (NODE)->decl_flags.destructor_attr)
aa45967f 1669
db9b2174
MM
1670/* Nonzero if NODE (a FUNCTION_DECL) is a destructor, but not the
1671 specialized in-charge constructor, in-charge deleting constructor,
78dcd41a 1672 or the base destructor. */
db9b2174
MM
1673#define DECL_MAYBE_IN_CHARGE_DESTRUCTOR_P(NODE) \
1674 (DECL_DESTRUCTOR_P (NODE) && !DECL_CLONED_FUNCTION_P (NODE))
1675
298d6f60
MM
1676/* Nonzero if NODE (a FUNCTION_DECL) is a destructor for a complete
1677 object. */
1678#define DECL_COMPLETE_DESTRUCTOR_P(NODE) \
bb20cc46 1679 (DECL_DESTRUCTOR_P (NODE) \
298d6f60
MM
1680 && DECL_NAME (NODE) == complete_dtor_identifier)
1681
1682/* Nonzero if NODE (a FUNCTION_DECL) is a destructor for a base
1683 object. */
1684#define DECL_BASE_DESTRUCTOR_P(NODE) \
1685 (DECL_DESTRUCTOR_P (NODE) \
1686 && DECL_NAME (NODE) == base_dtor_identifier)
1687
1688/* Nonzero if NODE (a FUNCTION_DECL) is a destructor for a complete
872f37f9 1689 object that deletes the object after it has been destroyed. */
298d6f60 1690#define DECL_DELETING_DESTRUCTOR_P(NODE) \
bb20cc46 1691 (DECL_DESTRUCTOR_P (NODE) \
298d6f60
MM
1692 && DECL_NAME (NODE) == deleting_dtor_identifier)
1693
db9b2174
MM
1694/* Nonzero if NODE (a FUNCTION_DECL) is a cloned constructor or
1695 destructor. */
ea1763b1
NS
1696#define DECL_CLONED_FUNCTION_P(NODE) \
1697 ((TREE_CODE (NODE) == FUNCTION_DECL \
1698 || TREE_CODE (NODE) == TEMPLATE_DECL) \
1699 && DECL_LANG_SPECIFIC (NODE) \
1700 && !DECL_LANG_SPECIFIC (NODE)->decl_flags.thunk_p \
94350948 1701 && DECL_CLONED_FUNCTION (NODE) != NULL_TREE)
db9b2174
MM
1702
1703/* If DECL_CLONED_FUNCTION_P holds, this is the function that was
1704 cloned. */
1705#define DECL_CLONED_FUNCTION(NODE) \
ea1763b1 1706 (DECL_LANG_SPECIFIC (NON_THUNK_FUNCTION_CHECK(NODE))->u.f.u5.cloned_function)
db9b2174 1707
4684cd27
MM
1708/* Perform an action for each clone of FN, if FN is a function with
1709 clones. This macro should be used like:
19114537 1710
4684cd27 1711 FOR_EACH_CLONE (clone, fn)
0cbd7506 1712 { ... }
4684cd27
MM
1713
1714 */
1715#define FOR_EACH_CLONE(CLONE, FN) \
1716 if (TREE_CODE (FN) == FUNCTION_DECL \
1717 && (DECL_MAYBE_IN_CHARGE_CONSTRUCTOR_P (FN) \
1718 || DECL_MAYBE_IN_CHARGE_DESTRUCTOR_P (FN))) \
1719 for (CLONE = TREE_CHAIN (FN); \
1720 CLONE && DECL_CLONED_FUNCTION_P (CLONE); \
1721 CLONE = TREE_CHAIN (CLONE))
1722
8e4ce833
JJ
1723/* Nonzero if NODE has DECL_DISCRIMINATOR and not DECL_ACCESS. */
1724#define DECL_DISCRIMINATOR_P(NODE) \
1725 (TREE_CODE (NODE) == VAR_DECL \
1726 && DECL_FUNCTION_SCOPE_P (NODE))
1727
1728/* Discriminator for name mangling. */
e2500fed 1729#define DECL_DISCRIMINATOR(NODE) (LANG_DECL_U2_CHECK (NODE, 1)->discriminator)
8e4ce833 1730
838dfd8a 1731/* Nonzero if the VTT parm has been added to NODE. */
e0fff4b3
JM
1732#define DECL_HAS_VTT_PARM_P(NODE) \
1733 (DECL_LANG_SPECIFIC (NODE)->decl_flags.has_vtt_parm_p)
3ec6bad3 1734
838dfd8a 1735/* Nonzero if NODE is a FUNCTION_DECL for which a VTT parameter is
3ec6bad3
MM
1736 required. */
1737#define DECL_NEEDS_VTT_PARM_P(NODE) \
5775a06a 1738 (CLASSTYPE_VBASECLASSES (DECL_CONTEXT (NODE)) \
3ec6bad3
MM
1739 && (DECL_BASE_CONSTRUCTOR_P (NODE) \
1740 || DECL_BASE_DESTRUCTOR_P (NODE)))
1741
838dfd8a 1742/* Nonzero if NODE is a user-defined conversion operator. */
421844e7 1743#define DECL_CONV_FN_P(NODE) \
5838eb91 1744 (DECL_NAME (NODE) && IDENTIFIER_TYPENAME_P (DECL_NAME (NODE)))
711734a9 1745
ca90f3e1
MM
1746/* If FN is a conversion operator, the type to which it converts.
1747 Otherwise, NULL_TREE. */
1748#define DECL_CONV_FN_TYPE(FN) \
1749 (DECL_CONV_FN_P (FN) ? TREE_TYPE (DECL_NAME (FN)) : NULL_TREE)
1750
838dfd8a 1751/* Nonzero if NODE, which is a TEMPLATE_DECL, is a template
5dd236e2
NS
1752 conversion operator to a type dependent on the innermost template
1753 args. */
1754#define DECL_TEMPLATE_CONV_FN_P(NODE) \
1755 (DECL_LANG_SPECIFIC (NODE)->decl_flags.template_conv_p)
1756
596ea4e5
AS
1757/* Set the overloaded operator code for NODE to CODE. */
1758#define SET_OVERLOADED_OPERATOR_CODE(NODE, CODE) \
e2500fed 1759 (DECL_LANG_SPECIFIC (NODE)->u.f.operator_code = (CODE))
596ea4e5
AS
1760
1761/* If NODE is an overloaded operator, then this returns the TREE_CODE
34cd5ae7 1762 associated with the overloaded operator.
596ea4e5
AS
1763 DECL_ASSIGNMENT_OPERATOR_P must also be checked to determine
1764 whether or not NODE is an assignment operator. If NODE is not an
1765 overloaded operator, ERROR_MARK is returned. Since the numerical
1766 value of ERROR_MARK is zero, this macro can be used as a predicate
1767 to test whether or not NODE is an overloaded operator. */
bb20cc46 1768#define DECL_OVERLOADED_OPERATOR_P(NODE) \
98e40e83 1769 (IDENTIFIER_OPNAME_P (DECL_NAME (NODE)) \
e2500fed 1770 ? DECL_LANG_SPECIFIC (NODE)->u.f.operator_code : ERROR_MARK)
596ea4e5 1771
838dfd8a 1772/* Nonzero if NODE is an assignment operator. */
596ea4e5
AS
1773#define DECL_ASSIGNMENT_OPERATOR_P(NODE) \
1774 (DECL_LANG_SPECIFIC (NODE)->decl_flags.assignment_operator_p)
f71f87f9 1775
454fa7a7
MM
1776/* For FUNCTION_DECLs: nonzero means that this function is a
1777 constructor or a destructor with an extra in-charge parameter to
1778 control whether or not virtual bases are constructed. */
1779#define DECL_HAS_IN_CHARGE_PARM_P(NODE) \
1780 (DECL_LANG_SPECIFIC (NODE)->decl_flags.has_in_charge_parm_p)
8d08fdba 1781
88a7beb7
MM
1782/* Nonzero if DECL is a declaration of __builtin_constant_p. */
1783#define DECL_IS_BUILTIN_CONSTANT_P(NODE) \
1784 (TREE_CODE (NODE) == FUNCTION_DECL \
1785 && DECL_BUILT_IN_CLASS (NODE) == BUILT_IN_NORMAL \
1786 && DECL_FUNCTION_CODE (NODE) == BUILT_IN_CONSTANT_P)
1787
8d08fdba
MS
1788/* Nonzero for _DECL means that this decl appears in (or will appear
1789 in) as a member in a RECORD_TYPE or UNION_TYPE node. It is also for
1790 detecting circularity in case members are multiply defined. In the
1791 case of a VAR_DECL, it is also used to determine how program storage
1792 should be allocated. */
98e40e83 1793#define DECL_IN_AGGR_P(NODE) (DECL_LANG_FLAG_3 (NODE))
8d08fdba 1794
6c06fbce
MM
1795/* Nonzero for a VAR_DECL means that the variable's initialization (if
1796 any) has been processed. (In general, DECL_INITIALIZED_P is
1797 !DECL_EXTERN, but static data members may be initialized even if
1798 not defined.) */
17bbb839
MM
1799#define DECL_INITIALIZED_P(NODE) \
1800 (TREE_LANG_FLAG_1 (VAR_DECL_CHECK (NODE)))
1801
6c06fbce
MM
1802/* Nonzero for a VAR_DECL iff an explicit initializer was provided. */
1803#define DECL_NONTRIVIALLY_INITIALIZED_P(NODE) \
1804 (TREE_LANG_FLAG_3 (VAR_DECL_CHECK (NODE)))
1805
39703eb9
MM
1806/* Nonzero for a VAR_DECL that was initialized with a
1807 constant-expression. */
1808#define DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P(NODE) \
1809 (TREE_LANG_FLAG_2 (VAR_DECL_CHECK (NODE)))
1810
c30b4add 1811/* Nonzero for a VAR_DECL that can be used in an integral constant
19114537 1812 expression.
c30b4add
MM
1813
1814 [expr.const]
1815
1816 An integral constant-expression can only involve ... const
1817 variables of static or enumeration types initialized with
1818 constant expressions ...
19114537 1819
c30b4add
MM
1820 The standard does not require that the expression be non-volatile.
1821 G++ implements the proposed correction in DR 457. */
1822#define DECL_INTEGRAL_CONSTANT_VAR_P(NODE) \
1823 (TREE_CODE (NODE) == VAR_DECL \
1824 && CP_TYPE_CONST_NON_VOLATILE_P (TREE_TYPE (NODE)) \
1825 && INTEGRAL_OR_ENUMERATION_TYPE_P (TREE_TYPE (NODE)) \
1826 && DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P (NODE))
1827
3febd123 1828/* Nonzero if the DECL was initialized in the class definition itself,
649fc72d 1829 rather than outside the class. This is used for both static member
9bcb9aae 1830 VAR_DECLS, and FUNTION_DECLS that are defined in the class. */
3febd123
NS
1831#define DECL_INITIALIZED_IN_CLASS_P(DECL) \
1832 (DECL_LANG_SPECIFIC (DECL)->decl_flags.initialized_in_class)
6ba89f8e 1833
d63d5d0c
ILT
1834/* Nonzero for DECL means that this decl is just a friend declaration,
1835 and should not be added to the list of members for this class. */
98e40e83 1836#define DECL_FRIEND_P(NODE) (DECL_LANG_SPECIFIC (NODE)->decl_flags.friend_attr)
8d08fdba 1837
6a629cac
MM
1838/* A TREE_LIST of the types which have befriended this FUNCTION_DECL. */
1839#define DECL_BEFRIENDING_CLASSES(NODE) \
e2500fed 1840 (DECL_LANG_SPECIFIC (NODE)->u.f.befriending_classes)
6a629cac 1841
8d08fdba
MS
1842/* Nonzero for FUNCTION_DECL means that this decl is a static
1843 member function. */
98e40e83
GS
1844#define DECL_STATIC_FUNCTION_P(NODE) \
1845 (DECL_LANG_SPECIFIC (NODE)->decl_flags.static_function)
8d08fdba 1846
8857f91e
MM
1847/* Nonzero for FUNCTION_DECL means that this decl is a non-static
1848 member function. */
1849#define DECL_NONSTATIC_MEMBER_FUNCTION_P(NODE) \
1850 (TREE_CODE (TREE_TYPE (NODE)) == METHOD_TYPE)
1851
8926095f
MS
1852/* Nonzero for FUNCTION_DECL means that this decl is a member function
1853 (static or non-static). */
1854#define DECL_FUNCTION_MEMBER_P(NODE) \
8857f91e 1855 (DECL_NONSTATIC_MEMBER_FUNCTION_P (NODE) || DECL_STATIC_FUNCTION_P (NODE))
8926095f 1856
8d08fdba
MS
1857/* Nonzero for FUNCTION_DECL means that this member function
1858 has `this' as const X *const. */
0d9eb3ba
MM
1859#define DECL_CONST_MEMFUNC_P(NODE) \
1860 (DECL_NONSTATIC_MEMBER_FUNCTION_P (NODE) \
bb20cc46 1861 && CP_TYPE_CONST_P (TREE_TYPE (TREE_VALUE \
0d9eb3ba 1862 (TYPE_ARG_TYPES (TREE_TYPE (NODE))))))
8d08fdba 1863
1f6e1acc
AS
1864/* Nonzero for FUNCTION_DECL means that this member function
1865 has `this' as volatile X *const. */
1866#define DECL_VOLATILE_MEMFUNC_P(NODE) \
1867 (DECL_NONSTATIC_MEMBER_FUNCTION_P (NODE) \
1868 && CP_TYPE_VOLATILE_P (TREE_TYPE (TREE_VALUE \
1869 (TYPE_ARG_TYPES (TREE_TYPE (NODE))))))
1870
d6479fe7 1871/* Nonzero for a DECL means that this member is a non-static member. */
bb20cc46
AJ
1872#define DECL_NONSTATIC_MEMBER_P(NODE) \
1873 ((TREE_CODE (NODE) == FUNCTION_DECL \
d6479fe7
MM
1874 && DECL_NONSTATIC_MEMBER_FUNCTION_P (NODE)) \
1875 || TREE_CODE (NODE) == FIELD_DECL)
1876
8d08fdba
MS
1877/* Nonzero for _DECL means that this member object type
1878 is mutable. */
721c3b42 1879#define DECL_MUTABLE_P(NODE) (DECL_LANG_FLAG_0 (NODE))
8d08fdba 1880
db5ae43f
MS
1881/* Nonzero for _DECL means that this constructor is a non-converting
1882 constructor. */
98e40e83
GS
1883#define DECL_NONCONVERTING_P(NODE) \
1884 (DECL_LANG_SPECIFIC (NODE)->decl_flags.nonconverting)
db5ae43f 1885
fee7654e
MM
1886/* Nonzero for FUNCTION_DECL means that this member function is a pure
1887 virtual function. */
98e40e83
GS
1888#define DECL_PURE_VIRTUAL_P(NODE) \
1889 (DECL_LANG_SPECIFIC (NODE)->decl_flags.pure_virtual)
8d08fdba 1890
58ec3cc5
MM
1891/* True (in a FUNCTION_DECL) if NODE is a virtual function that is an
1892 invalid overrider for a function from a base class. Once we have
1893 complained about an invalid overrider we avoid complaining about it
1894 again. */
1895#define DECL_INVALID_OVERRIDER_P(NODE) \
1896 (DECL_LANG_FLAG_4 (NODE))
1897
4977bab6 1898/* The thunks associated with NODE, a FUNCTION_DECL. */
bb5e8a7f 1899#define DECL_THUNKS(NODE) \
e93ee644 1900 (DECL_LANG_SPECIFIC (NODE)->u.f.context)
bb5e8a7f 1901
eb68cb58
MM
1902/* Nonzero if NODE is a thunk, rather than an ordinary function. */
1903#define DECL_THUNK_P(NODE) \
1904 (TREE_CODE (NODE) == FUNCTION_DECL \
ea1763b1
NS
1905 && DECL_LANG_SPECIFIC (NODE) \
1906 && DECL_LANG_SPECIFIC (NODE)->decl_flags.thunk_p)
c8094d83 1907
ea1763b1
NS
1908/* Set DECL_THUNK_P for node. */
1909#define SET_DECL_THUNK_P(NODE, THIS_ADJUSTING) \
1910 (DECL_LANG_SPECIFIC (NODE)->decl_flags.thunk_p = 1, \
1911 DECL_LANG_SPECIFIC (NODE)->u.f.u3sel = 1, \
1912 DECL_LANG_SPECIFIC (NODE)->decl_flags.this_thunk_p = (THIS_ADJUSTING))
eb68cb58 1913
4977bab6
ZW
1914/* Nonzero if NODE is a this pointer adjusting thunk. */
1915#define DECL_THIS_THUNK_P(NODE) \
1916 (DECL_THUNK_P (NODE) && DECL_LANG_SPECIFIC (NODE)->decl_flags.this_thunk_p)
1917
1918/* Nonzero if NODE is a result pointer adjusting thunk. */
1919#define DECL_RESULT_THUNK_P(NODE) \
1920 (DECL_THUNK_P (NODE) && !DECL_LANG_SPECIFIC (NODE)->decl_flags.this_thunk_p)
1921
eb68cb58
MM
1922/* Nonzero if NODE is a FUNCTION_DECL, but not a thunk. */
1923#define DECL_NON_THUNK_FUNCTION_P(NODE) \
1924 (TREE_CODE (NODE) == FUNCTION_DECL && !DECL_THUNK_P (NODE))
1925
1926/* Nonzero if NODE is `extern "C"'. */
1927#define DECL_EXTERN_C_P(NODE) \
1928 (DECL_LANGUAGE (NODE) == lang_c)
1929
1930/* Nonzero if NODE is an `extern "C"' function. */
1931#define DECL_EXTERN_C_FUNCTION_P(NODE) \
1932 (DECL_NON_THUNK_FUNCTION_P (NODE) && DECL_EXTERN_C_P (NODE))
1933
4684cd27
MM
1934/* True iff DECL is an entity with vague linkage whose definition is
1935 available in this translation unit. */
1936#define DECL_REPO_AVAILABLE_P(NODE) \
1937 (DECL_LANG_SPECIFIC (NODE)->decl_flags.repo_available_p)
1938
f9817201
MM
1939/* Nonzero if this DECL is the __PRETTY_FUNCTION__ variable in a
1940 template function. */
1941#define DECL_PRETTY_FUNCTION_P(NODE) \
39703eb9 1942 (TREE_LANG_FLAG_0 (VAR_DECL_CHECK (NODE)))
f9817201 1943
8926095f 1944/* The _TYPE context in which this _DECL appears. This field holds the
00a17e31 1945 class where a virtual function instance is actually defined. */
4f1c5b7d
MM
1946#define DECL_CLASS_CONTEXT(NODE) \
1947 (DECL_CLASS_SCOPE_P (NODE) ? DECL_CONTEXT (NODE) : NULL_TREE)
1948
1949/* For a non-member friend function, the class (if any) in which this
1950 friend was defined. For example, given:
bb20cc46 1951
4f1c5b7d
MM
1952 struct S { friend void f (); };
1953
1954 the DECL_FRIEND_CONTEXT for `f' will be `S'. */
1955#define DECL_FRIEND_CONTEXT(NODE) \
1956 ((DECL_FRIEND_P (NODE) && !DECL_FUNCTION_MEMBER_P (NODE)) \
e2500fed 1957 ? DECL_LANG_SPECIFIC (NODE)->u.f.context \
4f1c5b7d
MM
1958 : NULL_TREE)
1959
1960/* Set the DECL_FRIEND_CONTEXT for NODE to CONTEXT. */
1961#define SET_DECL_FRIEND_CONTEXT(NODE, CONTEXT) \
e2500fed 1962 (DECL_LANG_SPECIFIC (NODE)->u.f.context = (CONTEXT))
cb0dbb9a 1963
00a17e31 1964/* NULL_TREE in DECL_CONTEXT represents the global namespace. */
cb0dbb9a
JM
1965#define CP_DECL_CONTEXT(NODE) \
1966 (DECL_CONTEXT (NODE) ? DECL_CONTEXT (NODE) : global_namespace)
0ed5edac
JM
1967#define CP_TYPE_CONTEXT(NODE) \
1968 (TYPE_CONTEXT (NODE) ? TYPE_CONTEXT (NODE) : global_namespace)
cb0dbb9a 1969#define FROB_CONTEXT(NODE) ((NODE) == global_namespace ? NULL_TREE : (NODE))
8d08fdba 1970
42c7b807 1971/* 1 iff NODE has namespace scope, including the global namespace. */
4f71f630
MM
1972#define DECL_NAMESPACE_SCOPE_P(NODE) \
1973 (!DECL_TEMPLATE_PARM_P (NODE) \
1974 && TREE_CODE (CP_DECL_CONTEXT (NODE)) == NAMESPACE_DECL)
42c7b807 1975
0ed5edac
JM
1976#define TYPE_NAMESPACE_SCOPE_P(NODE) \
1977 (TREE_CODE (CP_TYPE_CONTEXT (NODE)) == NAMESPACE_DECL)
1978
42c7b807 1979/* 1 iff NODE is a class member. */
6eb3bb27 1980#define DECL_CLASS_SCOPE_P(NODE) \
4f1c5b7d 1981 (DECL_CONTEXT (NODE) && TYPE_P (DECL_CONTEXT (NODE)))
42c7b807 1982
0ed5edac
JM
1983#define TYPE_CLASS_SCOPE_P(NODE) \
1984 (TYPE_CONTEXT (NODE) && TYPE_P (TYPE_CONTEXT (NODE)))
1985
2642b9bf
JM
1986/* 1 iff NODE is function-local. */
1987#define DECL_FUNCTION_SCOPE_P(NODE) \
1988 (DECL_CONTEXT (NODE) \
1989 && TREE_CODE (DECL_CONTEXT (NODE)) == FUNCTION_DECL)
1f6e1acc 1990
0ed5edac
JM
1991#define TYPE_FUNCTION_SCOPE_P(NODE) \
1992 (TYPE_CONTEXT (NODE) \
1993 && TREE_CODE (TYPE_CONTEXT (NODE)) == FUNCTION_DECL)
1994
4684cd27
MM
1995/* 1 iff VAR_DECL node NODE is a type-info decl. This flag is set for
1996 both the primary typeinfo object and the associated NTBS name. */
1997#define DECL_TINFO_P(NODE) TREE_LANG_FLAG_4 (VAR_DECL_CHECK (NODE))
1998
d35543c0
JH
1999/* 1 iff VAR_DECL node NODE is virtual table or VTT. */
2000#define DECL_VTABLE_OR_VTT_P(NODE) TREE_LANG_FLAG_5 (VAR_DECL_CHECK (NODE))
2001
505970fc
MM
2002/* Returns 1 iff VAR_DECL is a construction virtual table.
2003 DECL_VTABLE_OR_VTT_P will be true in this case and must be checked
2004 before using this macro. */
2005#define DECL_CONSTRUCTION_VTABLE_P(NODE) \
2006 TREE_LANG_FLAG_6 (VAR_DECL_CHECK (NODE))
2007
881c6935
JM
2008/* 1 iff NODE is function-local, but for types. */
2009#define LOCAL_CLASS_P(NODE) \
495d26d6 2010 (decl_function_context (TYPE_MAIN_DECL (NODE)) != NULL_TREE)
881c6935 2011
2c73f9f5 2012/* For a NAMESPACE_DECL: the list of using namespace directives
30394414 2013 The PURPOSE is the used namespace, the value is the namespace
00a17e31 2014 that is the common ancestor. */
da8a66fc 2015#define DECL_NAMESPACE_USING(NODE) DECL_VINDEX (NAMESPACE_DECL_CHECK (NODE))
30394414
JM
2016
2017/* In a NAMESPACE_DECL, the DECL_INITIAL is used to record all users
00a17e31 2018 of a namespace, to record the transitive closure of using namespace. */
da8a66fc 2019#define DECL_NAMESPACE_USERS(NODE) DECL_INITIAL (NAMESPACE_DECL_CHECK (NODE))
30394414 2020
86098eb8
JM
2021/* In a NAMESPACE_DECL, the list of namespaces which have associated
2022 themselves with this one. */
2023#define DECL_NAMESPACE_ASSOCIATIONS(NODE) \
820cc88f 2024 (NAMESPACE_DECL_CHECK (NODE)->decl_non_common.saved_tree)
86098eb8 2025
3e3f722c
ML
2026/* In a NAMESPACE_DECL, points to the original namespace if this is
2027 a namespace alias. */
da8a66fc
ML
2028#define DECL_NAMESPACE_ALIAS(NODE) \
2029 DECL_ABSTRACT_ORIGIN (NAMESPACE_DECL_CHECK (NODE))
3e3f722c
ML
2030#define ORIGINAL_NAMESPACE(NODE) \
2031 (DECL_NAMESPACE_ALIAS (NODE) ? DECL_NAMESPACE_ALIAS (NODE) : (NODE))
2032
838dfd8a 2033/* Nonzero if NODE is the std namespace. */
1f6e1acc
AS
2034#define DECL_NAMESPACE_STD_P(NODE) \
2035 (TREE_CODE (NODE) == NAMESPACE_DECL \
2036 && CP_DECL_CONTEXT (NODE) == global_namespace \
2037 && DECL_NAME (NODE) == std_identifier)
2038
9df2c88c 2039/* In a TREE_LIST concatenating using directives, indicate indirect
30394414 2040 directives */
da8a66fc 2041#define TREE_INDIRECT_USING(NODE) (TREE_LIST_CHECK (NODE)->common.lang_flag_0)
8d08fdba 2042
820cc88f
DB
2043extern tree decl_shadowed_for_var_lookup (tree);
2044extern void decl_shadowed_for_var_insert (tree, tree);
2045
98ed9dae
NS
2046/* Non zero if this is a using decl for a dependent scope. */
2047#define DECL_DEPENDENT_P(NODE) DECL_LANG_FLAG_0 (USING_DECL_CHECK (NODE))
2048
2049/* The scope named in a using decl. */
2050#define USING_DECL_SCOPE(NODE) TREE_TYPE (USING_DECL_CHECK (NODE))
2051
2052/* The decls named by a using decl. */
2053#define USING_DECL_DECLS(NODE) DECL_INITIAL (USING_DECL_CHECK (NODE))
2054
820cc88f
DB
2055/* In a VAR_DECL, true if we have a shadowed local variable
2056 in the shadowed var table for this VAR_DECL. */
2057#define DECL_HAS_SHADOWED_FOR_VAR_P(NODE) \
2058 (VAR_DECL_CHECK (NODE)->decl_with_vis.shadowed_for_var_p)
2059
d2ad151f 2060/* In a VAR_DECL for a variable declared in a for statement,
e92cc029 2061 this is the shadowed (local) variable. */
820cc88f
DB
2062#define DECL_SHADOWED_FOR_VAR(NODE) \
2063 (DECL_HAS_SHADOWED_FOR_VAR_P(NODE) ? decl_shadowed_for_var_lookup (NODE) : NULL)
2064
2065#define SET_DECL_SHADOWED_FOR_VAR(NODE, VAL) \
2066 (decl_shadowed_for_var_insert (NODE, VAL))
d2ad151f 2067
59026e79
MM
2068/* In a FUNCTION_DECL, this is nonzero if this function was defined in
2069 the class definition. We have saved away the text of the function,
2070 but have not yet processed it. */
2071#define DECL_PENDING_INLINE_P(NODE) \
e2500fed 2072 (DECL_LANG_SPECIFIC (NODE)->u.f.pending_inline_p)
bb20cc46 2073
59026e79
MM
2074/* If DECL_PENDING_INLINE_P holds, this is the saved text of the
2075 function. */
2076#define DECL_PENDING_INLINE_INFO(NODE) \
e2500fed 2077 (DECL_LANG_SPECIFIC (NODE)->u.f.u.pending_inline_info)
f90cdf34 2078
6c73ad72 2079/* For a TYPE_DECL: if this structure has many fields, we'll sort them
00a17e31 2080 and put them into a TREE_VEC. */
da8a66fc 2081#define DECL_SORTED_FIELDS(NODE) \
e2500fed 2082 (DECL_LANG_SPECIFIC (TYPE_DECL_CHECK (NODE))->u.f.u.sorted_fields)
8d08fdba 2083
56e770bf
MM
2084/* True if on the deferred_fns (see decl2.c) list. */
2085#define DECL_DEFERRED_FN(DECL) \
98e40e83 2086 (DECL_LANG_SPECIFIC (DECL)->decl_flags.deferred)
8926095f 2087
4d0839ff
MM
2088/* If non-NULL for a VAR_DECL, FUNCTION_DECL, TYPE_DECL or
2089 TEMPLATE_DECL, the entity is a template specialization. In that
2090 case, DECL_TEMPLATE_INFO is a TREE_LIST, whose TREE_PURPOSE is the
2091 TEMPLATE_DECL of which this entity is a specialization. The TREE_
2092 TREE_VALUE is the template arguments used to specialize the
2093 template.
2094
2095 In general, DECL_TEMPLATE_INFO is non-NULL only if
1634705d 2096 DECL_USE_TEMPLATE is nonzero. However, for friends, we sometimes
4d0839ff
MM
2097 have DECL_TEMPLATE_INFO even when DECL_USE_TEMPLATE is zero.
2098 Consider:
2099
2100 template <typename T> struct S { friend void f(T) {} };
2101
2102 In this case, S<int>::f is, from the point of view of the compiler,
2103 an instantiation of a template -- but, from the point of view of
2104 the language, each instantiation of S results in a wholly unrelated
2105 global function f. */
3ebc5c52 2106#define DECL_TEMPLATE_INFO(NODE) \
98e40e83
GS
2107 (DECL_LANG_SPECIFIC (VAR_TEMPL_TYPE_OR_FUNCTION_DECL_CHECK (NODE)) \
2108 ->decl_flags.u.template_info)
ed44da02 2109
772f8889
MM
2110/* For a VAR_DECL, indicates that the variable has been processed.
2111 This flag is set and unset throughout the code; it is always
2112 used for a temporary purpose. */
2113#define DECL_VAR_MARKED_P(NODE) \
2114 (DECL_LANG_FLAG_4 (VAR_DECL_CHECK (NODE)))
2115
ed44da02 2116/* Template information for a RECORD_TYPE or UNION_TYPE. */
da8a66fc 2117#define CLASSTYPE_TEMPLATE_INFO(NODE) \
95b4aca6 2118 (LANG_TYPE_CLASS_CHECK (RECORD_OR_UNION_CHECK (NODE))->template_info)
ed44da02
MM
2119
2120/* Template information for an ENUMERAL_TYPE. Although an enumeration may
2121 not be a primary template, it may be declared within the scope of a
2122 primary template and the enumeration constants may depend on
2123 non-type template parameters. */
95b4aca6
NS
2124#define ENUM_TEMPLATE_INFO(NODE) \
2125 (TYPE_LANG_SLOT_1 (ENUMERAL_TYPE_CHECK (NODE)))
ed44da02 2126
11e74ea6
KL
2127/* Template information for a template template parameter. */
2128#define TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO(NODE) \
e2500fed 2129 (LANG_TYPE_CLASS_CHECK (BOUND_TEMPLATE_TEMPLATE_PARM_TYPE_CHECK (NODE)) \
11e74ea6 2130 ->template_info)
7ddedda4 2131
ed44da02 2132/* Template information for an ENUMERAL_, RECORD_, or UNION_TYPE. */
7ddedda4
MM
2133#define TYPE_TEMPLATE_INFO(NODE) \
2134 (TREE_CODE (NODE) == ENUMERAL_TYPE \
9076e292 2135 ? ENUM_TEMPLATE_INFO (NODE) : \
a1281f45 2136 (TREE_CODE (NODE) == BOUND_TEMPLATE_TEMPLATE_PARM \
9076e292
JM
2137 ? TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO (NODE) : \
2138 (TYPE_LANG_SPECIFIC (NODE) \
2139 ? CLASSTYPE_TEMPLATE_INFO (NODE) \
2140 : NULL_TREE)))
ed44da02
MM
2141
2142/* Set the template information for an ENUMERAL_, RECORD_, or
2143 UNION_TYPE to VAL. */
bb20cc46
AJ
2144#define SET_TYPE_TEMPLATE_INFO(NODE, VAL) \
2145 (TREE_CODE (NODE) == ENUMERAL_TYPE \
98e40e83
GS
2146 ? (ENUM_TEMPLATE_INFO (NODE) = (VAL)) \
2147 : (CLASSTYPE_TEMPLATE_INFO (NODE) = (VAL)))
ed44da02 2148
5566b478
MS
2149#define TI_TEMPLATE(NODE) (TREE_PURPOSE (NODE))
2150#define TI_ARGS(NODE) (TREE_VALUE (NODE))
824b9a4c 2151#define TI_PENDING_TEMPLATE_FLAG(NODE) TREE_LANG_FLAG_1 (NODE)
ed44da02 2152
b5ac18ea
MM
2153/* We use TREE_VECs to hold template arguments. If there is only one
2154 level of template arguments, then the TREE_VEC contains the
2155 arguments directly. If there is more than one level of template
2156 arguments, then each entry in the TREE_VEC is itself a TREE_VEC,
2157 containing the template arguments for a single level. The first
2158 entry in the outer TREE_VEC is the outermost level of template
bb20cc46 2159 parameters; the last is the innermost.
b5ac18ea
MM
2160
2161 It is incorrect to ever form a template argument vector containing
2162 only one level of arguments, but which is a TREE_VEC containing as
2163 its only entry the TREE_VEC for that level. */
2164
838dfd8a 2165/* Nonzero if the template arguments is actually a vector of vectors,
b5ac18ea 2166 rather than just a vector. */
0cbd7506 2167#define TMPL_ARGS_HAVE_MULTIPLE_LEVELS(NODE) \
bf12d54d 2168 (NODE && TREE_VEC_ELT (NODE, 0) \
b5ac18ea
MM
2169 && TREE_CODE (TREE_VEC_ELT (NODE, 0)) == TREE_VEC)
2170
2171/* The depth of a template argument vector. When called directly by
2172 the parser, we use a TREE_LIST rather than a TREE_VEC to represent
2173 template arguments. In fact, we may even see NULL_TREE if there
2174 are no template arguments. In both of those cases, there is only
2175 one level of template arguments. */
2176#define TMPL_ARGS_DEPTH(NODE) \
2177 (TMPL_ARGS_HAVE_MULTIPLE_LEVELS (NODE) ? TREE_VEC_LENGTH (NODE) : 1)
2178
27631dae 2179/* The LEVELth level of the template ARGS. The outermost level of
f9a7ae04 2180 args is level 1, not level 0. */
b5ac18ea 2181#define TMPL_ARGS_LEVEL(ARGS, LEVEL) \
bb20cc46 2182 (TMPL_ARGS_HAVE_MULTIPLE_LEVELS (ARGS) \
98e40e83 2183 ? TREE_VEC_ELT (ARGS, (LEVEL) - 1) : (ARGS))
b5ac18ea
MM
2184
2185/* Set the LEVELth level of the template ARGS to VAL. This macro does
2186 not work with single-level argument vectors. */
2187#define SET_TMPL_ARGS_LEVEL(ARGS, LEVEL, VAL) \
98e40e83 2188 (TREE_VEC_ELT (ARGS, (LEVEL) - 1) = (VAL))
b5ac18ea
MM
2189
2190/* Accesses the IDXth parameter in the LEVELth level of the ARGS. */
2191#define TMPL_ARG(ARGS, LEVEL, IDX) \
2192 (TREE_VEC_ELT (TMPL_ARGS_LEVEL (ARGS, LEVEL), IDX))
2193
b5ac18ea
MM
2194/* Given a single level of template arguments in NODE, return the
2195 number of arguments. */
bb20cc46 2196#define NUM_TMPL_ARGS(NODE) \
bf12d54d 2197 (TREE_VEC_LENGTH (NODE))
b5ac18ea 2198
f9a7ae04
MM
2199/* Returns the innermost level of template arguments in ARGS. */
2200#define INNERMOST_TEMPLATE_ARGS(NODE) \
2201 (get_innermost_template_args ((NODE), 1))
2202
b5ac18ea
MM
2203/* The number of levels of template parameters given by NODE. */
2204#define TMPL_PARMS_DEPTH(NODE) \
ad6b1795 2205 ((HOST_WIDE_INT) TREE_INT_CST_LOW (TREE_PURPOSE (NODE)))
b5ac18ea 2206
36a117a5
MM
2207/* The TEMPLATE_DECL instantiated or specialized by NODE. This
2208 TEMPLATE_DECL will be the immediate parent, not the most general
2209 template. For example, in:
2210
2211 template <class T> struct S { template <class U> void f(U); }
2212
2213 the FUNCTION_DECL for S<int>::f<double> will have, as its
bb20cc46 2214 DECL_TI_TEMPLATE, `template <class U> S<int>::f<U>'.
36a117a5
MM
2215
2216 As a special case, for a member friend template of a template
10b1d5e7
MM
2217 class, this value will not be a TEMPLATE_DECL, but rather an
2218 IDENTIFIER_NODE or OVERLOAD indicating the name of the template and
2219 any explicit template arguments provided. For example, in:
36a117a5
MM
2220
2221 template <class T> struct S { friend void f<int>(int, double); }
2222
10b1d5e7 2223 the DECL_TI_TEMPLATE will be an IDENTIFIER_NODE for `f' and the
bb20cc46 2224 DECL_TI_ARGS will be {int}. */
5566b478 2225#define DECL_TI_TEMPLATE(NODE) TI_TEMPLATE (DECL_TEMPLATE_INFO (NODE))
ed44da02 2226
36a117a5
MM
2227/* The template arguments used to obtain this decl from the most
2228 general form of DECL_TI_TEMPLATE. For the example given for
2229 DECL_TI_TEMPLATE, the DECL_TI_ARGS will be {int, double}. These
2230 are always the full set of arguments required to instantiate this
2231 declaration from the most general template specialized here. */
0cbd7506 2232#define DECL_TI_ARGS(NODE) TI_ARGS (DECL_TEMPLATE_INFO (NODE))
5566b478
MS
2233#define CLASSTYPE_TI_TEMPLATE(NODE) TI_TEMPLATE (CLASSTYPE_TEMPLATE_INFO (NODE))
2234#define CLASSTYPE_TI_ARGS(NODE) TI_ARGS (CLASSTYPE_TEMPLATE_INFO (NODE))
ed44da02 2235
ca099ac8 2236/* For a template instantiation TYPE, returns the TYPE corresponding
353b4fc0 2237 to the primary template. Otherwise returns TYPE itself. */
b54a07e8
NS
2238#define CLASSTYPE_PRIMARY_TEMPLATE_TYPE(TYPE) \
2239 ((CLASSTYPE_USE_TEMPLATE ((TYPE)) \
2240 && !CLASSTYPE_TEMPLATE_SPECIALIZATION ((TYPE))) \
2241 ? TREE_TYPE (DECL_TEMPLATE_RESULT (DECL_PRIMARY_TEMPLATE \
2242 (CLASSTYPE_TI_TEMPLATE ((TYPE))))) \
353b4fc0 2243 : (TYPE))
ca099ac8 2244
ed44da02
MM
2245/* Like DECL_TI_TEMPLATE, but for an ENUMERAL_, RECORD_, or UNION_TYPE. */
2246#define TYPE_TI_TEMPLATE(NODE) \
2247 (TI_TEMPLATE (TYPE_TEMPLATE_INFO (NODE)))
2248
59026e79 2249/* Like DECL_TI_ARGS, but for an ENUMERAL_, RECORD_, or UNION_TYPE. */
ed44da02
MM
2250#define TYPE_TI_ARGS(NODE) \
2251 (TI_ARGS (TYPE_TEMPLATE_INFO (NODE)))
2252
98e40e83 2253#define INNERMOST_TEMPLATE_PARMS(NODE) TREE_VALUE (NODE)
5566b478 2254
c7222c02
MM
2255/* Nonzero if NODE (a TEMPLATE_DECL) is a member template, in the
2256 sense of [temp.mem]. */
2257#define DECL_MEMBER_TEMPLATE_P(NODE) \
2258 (DECL_LANG_FLAG_1 (TEMPLATE_DECL_CHECK (NODE)))
2259
6ba89f8e
MM
2260/* Nonzero if the NODE corresponds to the template parameters for a
2261 member template, whose inline definition is being processed after
2262 the class definition is complete. */
cae40af6
JM
2263#define TEMPLATE_PARMS_FOR_INLINE(NODE) TREE_LANG_FLAG_1 (NODE)
2264
59026e79 2265/* In a FUNCTION_DECL, the saved language-specific per-function data. */
e2500fed
GK
2266#define DECL_SAVED_FUNCTION_DATA(NODE) \
2267 (DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (NODE)) \
2268 ->u.f.u.saved_language_function)
59026e79 2269
db24eb1f
NS
2270/* Indicates an indirect_expr is for converting a reference. */
2271#define REFERENCE_REF_P(NODE) \
2272 TREE_LANG_FLAG_0 (INDIRECT_REF_CHECK (NODE))
2273
a2982c1b
RK
2274#define NEW_EXPR_USE_GLOBAL(NODE) \
2275 TREE_LANG_FLAG_0 (NEW_EXPR_CHECK (NODE))
2276#define DELETE_EXPR_USE_GLOBAL(NODE) \
2277 TREE_LANG_FLAG_0 (DELETE_EXPR_CHECK (NODE))
2278#define DELETE_EXPR_USE_VEC(NODE) \
2279 TREE_LANG_FLAG_1 (DELETE_EXPR_CHECK (NODE))
8d08fdba 2280
8e1daa34
NS
2281/* Indicates that this is a non-dependent COMPOUND_EXPR which will
2282 resolve to a function call. */
a2982c1b
RK
2283#define COMPOUND_EXPR_OVERLOADED(NODE) \
2284 TREE_LANG_FLAG_0 (COMPOUND_EXPR_CHECK (NODE))
8e1daa34 2285
6d80c4b9
MM
2286/* In a CALL_EXPR appearing in a template, true if Koenig lookup
2287 should be performed at instantiation time. */
a2982c1b 2288#define KOENIG_LOOKUP_P(NODE) TREE_LANG_FLAG_0 (CALL_EXPR_CHECK (NODE))
6d80c4b9 2289
7a8380ae
NS
2290/* Indicates whether a string literal has been parenthesized. Such
2291 usages are disallowed in certain circumstances. */
2292
2293#define PAREN_STRING_LITERAL_P(NODE) \
2294 TREE_LANG_FLAG_0 (STRING_CST_CHECK (NODE))
2295
e1376b00
MM
2296/* Nonzero if this AGGR_INIT_EXPR provides for initialization via a
2297 constructor call, rather than an ordinary function call. */
da8a66fc
ML
2298#define AGGR_INIT_VIA_CTOR_P(NODE) \
2299 TREE_LANG_FLAG_0 (AGGR_INIT_EXPR_CHECK (NODE))
e1376b00 2300
6757edfe
MM
2301/* The TYPE_MAIN_DECL for a class template type is a TYPE_DECL, not a
2302 TEMPLATE_DECL. This macro determines whether or not a given class
2303 type is really a template type, as opposed to an instantiation or
2304 specialization of one. */
2305#define CLASSTYPE_IS_TEMPLATE(NODE) \
2306 (CLASSTYPE_TEMPLATE_INFO (NODE) \
2307 && !CLASSTYPE_USE_TEMPLATE (NODE) \
2308 && PRIMARY_TEMPLATE_P (CLASSTYPE_TI_TEMPLATE (NODE)))
2309
45869a6c
MM
2310/* The name used by the user to name the typename type. Typically,
2311 this is an IDENTIFIER_NODE, and the same as the DECL_NAME on the
2312 corresponding TYPE_DECL. However, this may also be a
2313 TEMPLATE_ID_EXPR if we had something like `typename X::Y<T>'. */
a2982c1b 2314#define TYPENAME_TYPE_FULLNAME(NODE) (TYPENAME_TYPE_CHECK (NODE))->type.values
ca40b399 2315
fc6a28d7
MM
2316/* True if a TYPENAME_TYPE was declared as an "enum". */
2317#define TYPENAME_IS_ENUM_P(NODE) \
2318 (TREE_LANG_FLAG_0 (TYPENAME_TYPE_CHECK (NODE)))
2319
2320/* True if a TYPENAME_TYPE was declared as a "class", "struct", or
2321 "union". */
2322#define TYPENAME_IS_CLASS_P(NODE) \
2323 (TREE_LANG_FLAG_1 (TYPENAME_TYPE_CHECK (NODE)))
2324
cfdd0551 2325/* Nonzero in INTEGER_CST means that this int is negative by dint of
8d08fdba 2326 using a twos-complement negated operand. */
da8a66fc 2327#define TREE_NEGATED_INT(NODE) TREE_LANG_FLAG_0 (INTEGER_CST_CHECK (NODE))
8d08fdba 2328
4c6b7393 2329/* [class.virtual]
8d08fdba 2330
4c6b7393
MM
2331 A class that declares or inherits a virtual function is called a
2332 polymorphic class. */
2333#define TYPE_POLYMORPHIC_P(NODE) (TREE_LANG_FLAG_2 (NODE))
8d08fdba 2334
bbd15aac 2335/* Nonzero if this class has a virtual function table pointer. */
bb20cc46 2336#define TYPE_CONTAINS_VPTR_P(NODE) \
5775a06a 2337 (TYPE_POLYMORPHIC_P (NODE) || CLASSTYPE_VBASECLASSES (NODE))
bbd15aac 2338
d2ad151f 2339/* This flag is true of a local VAR_DECL if it was declared in a for
e92cc029 2340 statement, but we are no longer in the scope of the for. */
da8a66fc 2341#define DECL_DEAD_FOR_LOCAL(NODE) DECL_LANG_FLAG_7 (VAR_DECL_CHECK (NODE))
d2ad151f
PB
2342
2343/* This flag is set on a VAR_DECL that is a DECL_DEAD_FOR_LOCAL
2344 if we already emitted a warning about using it. */
da8a66fc 2345#define DECL_ERROR_REPORTED(NODE) DECL_LANG_FLAG_0 (VAR_DECL_CHECK (NODE))
d2ad151f 2346
cd9f6678
MM
2347/* Nonzero if NODE is a FUNCTION_DECL (for a function with global
2348 scope) declared in a local scope. */
2349#define DECL_LOCAL_FUNCTION_P(NODE) \
2350 DECL_LANG_FLAG_0 (FUNCTION_DECL_CHECK (NODE))
935d1834 2351
d63d5d0c
ILT
2352/* Nonzero if NODE is a DECL which we know about but which has not
2353 been explicitly declared, such as a built-in function or a friend
2354 declared inside a class. In the latter case DECL_HIDDEN_FRIEND_P
2355 will be set. */
cc057ef3 2356#define DECL_ANTICIPATED(NODE) \
820cc88f 2357 (DECL_LANG_SPECIFIC (DECL_COMMON_CHECK (NODE))->decl_flags.anticipated_p)
cd9f6678 2358
d63d5d0c
ILT
2359/* Nonzero if NODE is a FUNCTION_DECL which was declared as a friend
2360 within a class but has not been declared in the surrounding scope.
2361 The function is invisible except via argument dependent lookup. */
2362#define DECL_HIDDEN_FRIEND_P(NODE) \
2363 (DECL_LANG_SPECIFIC (DECL_COMMON_CHECK (NODE))->decl_flags.hidden_friend_p)
2364
1799e5d5
RH
2365/* Nonzero if DECL has been declared threadprivate by
2366 #pragma omp threadprivate. */
2367#define CP_DECL_THREADPRIVATE_P(DECL) \
2368 (DECL_LANG_SPECIFIC (VAR_DECL_CHECK (DECL))->decl_flags.threadprivate_p)
2369
8d08fdba 2370/* Record whether a typedef for type `int' was actually `signed int'. */
98e40e83 2371#define C_TYPEDEF_EXPLICITLY_SIGNED(EXP) DECL_LANG_FLAG_1 (EXP)
8d08fdba 2372
838dfd8a 2373/* Returns nonzero if DECL has external linkage, as specified by the
ad50e811
MM
2374 language standard. (This predicate may hold even when the
2375 corresponding entity is not actually given external linkage in the
2376 object file; see decl_linkage for details.) */
2377#define DECL_EXTERNAL_LINKAGE_P(DECL) \
2378 (decl_linkage (DECL) == lk_external)
2379
b38a05d0 2380/* Keep these codes in ascending code order. */
38b3627d 2381
b38a05d0
RS
2382#define INTEGRAL_CODE_P(CODE) \
2383 ((CODE) == ENUMERAL_TYPE \
2384 || (CODE) == BOOLEAN_TYPE \
2385 || (CODE) == INTEGER_TYPE)
a7a64a77
MM
2386
2387/* [basic.fundamental]
2388
2389 Types bool, char, wchar_t, and the signed and unsigned integer types
bb20cc46 2390 are collectively called integral types.
a7a64a77
MM
2391
2392 Note that INTEGRAL_TYPE_P, as defined in tree.h, allows enumeration
38b3627d 2393 types as well, which is incorrect in C++. Keep these checks in
b38a05d0 2394 ascending code order. */
bb20cc46 2395#define CP_INTEGRAL_TYPE_P(TYPE) \
98e40e83
GS
2396 (TREE_CODE (TYPE) == BOOLEAN_TYPE \
2397 || TREE_CODE (TYPE) == INTEGER_TYPE)
a7a64a77 2398
38b3627d
NS
2399/* Returns true if TYPE is an integral or enumeration name. Keep
2400 these checks in ascending code order. */
14d22dd6 2401#define INTEGRAL_OR_ENUMERATION_TYPE_P(TYPE) \
38b3627d 2402 (TREE_CODE (TYPE) == ENUMERAL_TYPE || CP_INTEGRAL_TYPE_P (TYPE))
14d22dd6 2403
a7a64a77
MM
2404/* [basic.fundamental]
2405
2406 Integral and floating types are collectively called arithmetic
38b3627d 2407 types. Keep these checks in ascending code order. */
a7a64a77
MM
2408#define ARITHMETIC_TYPE_P(TYPE) \
2409 (CP_INTEGRAL_TYPE_P (TYPE) || TREE_CODE (TYPE) == REAL_TYPE)
2986ae00 2410
5f261ba9
MM
2411/* [basic.types]
2412
2413 Arithmetic types, enumeration types, pointer types, and
38b3627d
NS
2414 pointer-to-member types, are collectively called scalar types.
2415 Keep these checks in ascending code order. */
5f261ba9 2416#define SCALAR_TYPE_P(TYPE) \
38b3627d 2417 (TYPE_PTRMEM_P (TYPE) \
5f261ba9 2418 || TREE_CODE (TYPE) == ENUMERAL_TYPE \
38b3627d 2419 || ARITHMETIC_TYPE_P (TYPE) \
5f261ba9 2420 || TYPE_PTR_P (TYPE) \
38b3627d 2421 || TYPE_PTRMEMFUNC_P (TYPE))
5f261ba9 2422
8e3df2de
MM
2423/* [dcl.init.aggr]
2424
2425 An aggregate is an array or a class with no user-declared
2426 constructors, no private or protected non-static data members, no
dbe85b80
JM
2427 base classes, and no virtual functions.
2428
38b3627d
NS
2429 As an extension, we also treat vectors as aggregates. Keep these
2430 checks in ascending code order. */
2431#define CP_AGGREGATE_TYPE_P(TYPE) \
2432 (TREE_CODE (TYPE) == VECTOR_TYPE \
2433 ||TREE_CODE (TYPE) == ARRAY_TYPE \
2434 || (CLASS_TYPE_P (TYPE) && !CLASSTYPE_NON_AGGREGATE (TYPE)))
8e3df2de
MM
2435
2436/* Nonzero for a class type means that the class type has a
2437 user-declared constructor. */
98e40e83 2438#define TYPE_HAS_CONSTRUCTOR(NODE) (TYPE_LANG_FLAG_1 (NODE))
8d08fdba
MS
2439
2440/* When appearing in an INDIRECT_REF, it means that the tree structure
2441 underneath is actually a call to a constructor. This is needed
2442 when the constructor must initialize local storage (which can
2443 be automatically destroyed), rather than allowing it to allocate
2444 space from the heap.
2445
2446 When appearing in a SAVE_EXPR, it means that underneath
2447 is a call to a constructor.
2448
92a62aad
MM
2449 When appearing in a CONSTRUCTOR, the expression is a
2450 compound literal.
8d08fdba
MS
2451
2452 When appearing in a FIELD_DECL, it means that this field
2453 has been duly initialized in its constructor. */
98e40e83 2454#define TREE_HAS_CONSTRUCTOR(NODE) (TREE_LANG_FLAG_4 (NODE))
8d08fdba 2455
92a62aad
MM
2456/* True if NODE is a brace-enclosed initializer. */
2457#define BRACE_ENCLOSED_INITIALIZER_P(NODE) \
2458 (TREE_CODE (NODE) == CONSTRUCTOR && !TREE_TYPE (NODE))
2459
3b2db49f
MM
2460/* True if NODE is a compound-literal, i.e., a brace-enclosed
2461 initializer cast to a particular type. */
2462#define COMPOUND_LITERAL_P(NODE) \
2463 (TREE_CODE (NODE) == CONSTRUCTOR && TREE_HAS_CONSTRUCTOR (NODE))
2464
4038c495
GB
2465#define EMPTY_CONSTRUCTOR_P(NODE) (TREE_CODE (NODE) == CONSTRUCTOR \
2466 && VEC_empty (constructor_elt, \
2467 CONSTRUCTOR_ELTS (NODE)) \
2468 && !TREE_HAS_CONSTRUCTOR (NODE))
a3203465 2469
f30432d7
MS
2470/* Nonzero means that an object of this type can not be initialized using
2471 an initializer list. */
2472#define CLASSTYPE_NON_AGGREGATE(NODE) \
e2500fed 2473 (LANG_TYPE_CLASS_CHECK (NODE)->non_aggregate)
f30432d7
MS
2474#define TYPE_NON_AGGREGATE_CLASS(NODE) \
2475 (IS_AGGR_TYPE (NODE) && CLASSTYPE_NON_AGGREGATE (NODE))
2476
8d08fdba 2477/* Nonzero if there is a user-defined X::op=(x&) for this class. */
e2500fed 2478#define TYPE_HAS_COMPLEX_ASSIGN_REF(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->has_complex_assign_ref)
e2500fed 2479#define TYPE_HAS_COMPLEX_INIT_REF(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->has_complex_init_ref)
8d08fdba 2480
834c6dff 2481/* Nonzero if TYPE has a trivial destructor. From [class.dtor]:
bb20cc46 2482
834c6dff
MM
2483 A destructor is trivial if it is an implicitly declared
2484 destructor and if:
2485
2486 - all of the direct base classes of its class have trivial
0cbd7506 2487 destructors,
834c6dff
MM
2488
2489 - for all of the non-static data members of its class that are
0cbd7506 2490 of class type (or array thereof), each such class has a
834c6dff
MM
2491 trivial destructor. */
2492#define TYPE_HAS_TRIVIAL_DESTRUCTOR(NODE) \
2493 (!TYPE_HAS_NONTRIVIAL_DESTRUCTOR (NODE))
2494
2495/* Nonzero for _TYPE node means that this type does not have a trivial
2496 destructor. Therefore, destroying an object of this type will
2497 involve a call to a destructor. This can apply to objects of
2498 ARRAY_TYPE is the type of the elements needs a destructor. */
2499#define TYPE_HAS_NONTRIVIAL_DESTRUCTOR(NODE) \
98e40e83 2500 (TYPE_LANG_FLAG_4 (NODE))
8d08fdba 2501
0830ae44 2502/* Nonzero for class type means that copy initialization of this type can use
e8abc66f
MS
2503 a bitwise copy. */
2504#define TYPE_HAS_TRIVIAL_INIT_REF(NODE) \
2505 (TYPE_HAS_INIT_REF (NODE) && ! TYPE_HAS_COMPLEX_INIT_REF (NODE))
2506
2507/* Nonzero for class type means that assignment of this type can use
2508 a bitwise copy. */
2509#define TYPE_HAS_TRIVIAL_ASSIGN_REF(NODE) \
2510 (TYPE_HAS_ASSIGN_REF (NODE) && ! TYPE_HAS_COMPLEX_ASSIGN_REF (NODE))
2511
a5ac359a
MM
2512/* Returns true if NODE is a pointer-to-data-member. */
2513#define TYPE_PTRMEM_P(NODE) \
2514 (TREE_CODE (NODE) == OFFSET_TYPE)
b6ab6892 2515/* Returns true if NODE is a pointer. */
a5ac359a
MM
2516#define TYPE_PTR_P(NODE) \
2517 (TREE_CODE (NODE) == POINTER_TYPE)
38b3627d
NS
2518/* Returns true if NODE is a pointer to an object. Keep these checks
2519 in ascending tree code order. */
2520#define TYPE_PTROB_P(NODE) \
0cbd7506 2521 (TYPE_PTR_P (NODE) \
38b3627d 2522 && !(TREE_CODE (TREE_TYPE (NODE)) == VOID_TYPE \
0cbd7506
MS
2523 || TREE_CODE (TREE_TYPE (NODE)) == FUNCTION_TYPE \
2524 || TREE_CODE (TREE_TYPE (NODE)) == METHOD_TYPE))
38b3627d
NS
2525/* Returns true if NODE is a reference to an object. Keep these checks
2526 in ascending tree code order. */
2527#define TYPE_REF_OBJ_P(NODE) \
2528 (TREE_CODE (NODE) == REFERENCE_TYPE \
2529 && !(TREE_CODE (TREE_TYPE (NODE)) == VOID_TYPE \
0cbd7506
MS
2530 || TREE_CODE (TREE_TYPE (NODE)) == FUNCTION_TYPE \
2531 || TREE_CODE (TREE_TYPE (NODE)) == METHOD_TYPE))
38b3627d
NS
2532/* Returns true if NODE is a pointer to an object, or a pointer to
2533 void. Keep these checks in ascending tree code order. */
2534#define TYPE_PTROBV_P(NODE) \
0cbd7506 2535 (TYPE_PTR_P (NODE) \
38b3627d 2536 && !(TREE_CODE (TREE_TYPE (NODE)) == FUNCTION_TYPE \
0cbd7506 2537 || TREE_CODE (TREE_TYPE (NODE)) == METHOD_TYPE))
b6ab6892 2538/* Returns true if NODE is a pointer to function. */
c11b6f21
MS
2539#define TYPE_PTRFN_P(NODE) \
2540 (TREE_CODE (NODE) == POINTER_TYPE \
2541 && TREE_CODE (TREE_TYPE (NODE)) == FUNCTION_TYPE)
b6ab6892 2542/* Returns true if NODE is a reference to function. */
742a37d5
JM
2543#define TYPE_REFFN_P(NODE) \
2544 (TREE_CODE (NODE) == REFERENCE_TYPE \
2545 && TREE_CODE (TREE_TYPE (NODE)) == FUNCTION_TYPE)
c11b6f21 2546
8d08fdba 2547/* Nonzero for _TYPE node means that this type is a pointer to member
e92cc029 2548 function type. */
83e9506e 2549#define TYPE_PTRMEMFUNC_P(NODE) \
98e40e83
GS
2550 (TREE_CODE (NODE) == RECORD_TYPE \
2551 && TYPE_LANG_SPECIFIC (NODE) \
83e9506e
RH
2552 && TYPE_PTRMEMFUNC_FLAG (NODE))
2553
e08a8f45 2554#define TYPE_PTRMEMFUNC_FLAG(NODE) \
e2500fed 2555 (LANG_TYPE_CLASS_CHECK (NODE)->ptrmemfunc_flag)
e08a8f45 2556
a5ac359a
MM
2557/* Returns true if NODE is a pointer-to-member. */
2558#define TYPE_PTR_TO_MEMBER_P(NODE) \
2559 (TYPE_PTRMEM_P (NODE) || TYPE_PTRMEMFUNC_P (NODE))
2560
19420d00
NS
2561/* Indicates when overload resolution may resolve to a pointer to
2562 member function. [expr.unary.op]/3 */
a2982c1b
RK
2563#define PTRMEM_OK_P(NODE) \
2564 TREE_LANG_FLAG_0 (TREE_CHECK2 ((NODE), ADDR_EXPR, OFFSET_REF))
19420d00 2565
8d08fdba
MS
2566/* Get the POINTER_TYPE to the METHOD_TYPE associated with this
2567 pointer to member function. TYPE_PTRMEMFUNC_P _must_ be true,
e92cc029 2568 before using this macro. */
c7e266a6 2569#define TYPE_PTRMEMFUNC_FN_TYPE(NODE) \
1f84ec23 2570 (TREE_TYPE (TYPE_FIELDS (NODE)))
ceab47eb
MM
2571
2572/* Returns `A' for a type like `int (A::*)(double)' */
2573#define TYPE_PTRMEMFUNC_OBJECT_TYPE(NODE) \
2574 TYPE_METHOD_BASETYPE (TREE_TYPE (TYPE_PTRMEMFUNC_FN_TYPE (NODE)))
2575
38e01259 2576/* These are use to manipulate the canonical RECORD_TYPE from the
e92cc029 2577 hashed POINTER_TYPE, and can only be used on the POINTER_TYPE. */
98e40e83 2578#define TYPE_GET_PTRMEMFUNC_TYPE(NODE) \
e2500fed
GK
2579 (TYPE_LANG_SPECIFIC (NODE) ? LANG_TYPE_PTRMEM_CHECK (NODE)->record : NULL)
2580#define TYPE_SET_PTRMEMFUNC_TYPE(NODE, VALUE) \
2581 do { \
2582 if (TYPE_LANG_SPECIFIC (NODE) == NULL) \
2583 { \
0cbd7506
MS
2584 TYPE_LANG_SPECIFIC (NODE) = GGC_CNEWVAR \
2585 (struct lang_type, sizeof (struct lang_type_ptrmem)); \
e2500fed
GK
2586 TYPE_LANG_SPECIFIC (NODE)->u.ptrmem.h.is_lang_type_class = 0; \
2587 } \
2588 TYPE_LANG_SPECIFIC (NODE)->u.ptrmem.record = (VALUE); \
2589 } while (0)
8d08fdba 2590
24272dc0
MM
2591/* For a pointer-to-member type of the form `T X::*', this is `X'.
2592 For a type like `void (X::*)() const', this type is `X', not `const
2593 X'. To get at the `const X' you have to look at the
2594 TYPE_PTRMEM_POINTED_TO_TYPE; there, the first parameter will have
2595 type `const X*'. */
f71f87f9 2596#define TYPE_PTRMEM_CLASS_TYPE(NODE) \
98e40e83 2597 (TYPE_PTRMEM_P (NODE) \
a5ac359a 2598 ? TYPE_OFFSET_BASETYPE (NODE) \
98e40e83 2599 : TYPE_PTRMEMFUNC_OBJECT_TYPE (NODE))
f71f87f9
MM
2600
2601/* For a pointer-to-member type of the form `T X::*', this is `T'. */
2602#define TYPE_PTRMEM_POINTED_TO_TYPE(NODE) \
98e40e83 2603 (TYPE_PTRMEM_P (NODE) \
a5ac359a 2604 ? TREE_TYPE (NODE) \
98e40e83 2605 : TREE_TYPE (TYPE_PTRMEMFUNC_FN_TYPE (NODE)))
f71f87f9 2606
61a127b3
MM
2607/* For a pointer-to-member constant `X::Y' this is the RECORD_TYPE for
2608 `X'. */
f71f87f9 2609#define PTRMEM_CST_CLASS(NODE) \
da8a66fc 2610 TYPE_PTRMEM_CLASS_TYPE (TREE_TYPE (PTRMEM_CST_CHECK (NODE)))
61a127b3 2611
bb20cc46 2612/* For a pointer-to-member constant `X::Y' this is the _DECL for
61a127b3 2613 `Y'. */
da8a66fc 2614#define PTRMEM_CST_MEMBER(NODE) (((ptrmem_cst_t)PTRMEM_CST_CHECK (NODE))->member)
61a127b3 2615
a2982c1b
RK
2616/* The expression in question for a TYPEOF_TYPE. */
2617#define TYPEOF_TYPE_EXPR(NODE) (TYPEOF_TYPE_CHECK (NODE))->type.values
2618
faae18ab 2619/* Nonzero for VAR_DECL and FUNCTION_DECL node means that `extern' was
07c88314
MM
2620 specified in its declaration. This can also be set for an
2621 erroneously declared PARM_DECL. */
da8a66fc 2622#define DECL_THIS_EXTERN(NODE) \
07c88314 2623 DECL_LANG_FLAG_2 (VAR_FUNCTION_OR_PARM_DECL_CHECK (NODE))
8d08fdba 2624
faae18ab 2625/* Nonzero for VAR_DECL and FUNCTION_DECL node means that `static' was
07c88314
MM
2626 specified in its declaration. This can also be set for an
2627 erroneously declared PARM_DECL. */
da8a66fc 2628#define DECL_THIS_STATIC(NODE) \
07c88314 2629 DECL_LANG_FLAG_6 (VAR_FUNCTION_OR_PARM_DECL_CHECK (NODE))
faae18ab 2630
642124c6
RH
2631/* Nonzero for FIELD_DECL node means that this field is a base class
2632 of the parent object, as opposed to a member field. */
2633#define DECL_FIELD_IS_BASE(NODE) \
2634 DECL_LANG_FLAG_6 (FIELD_DECL_CHECK (NODE))
2635
6bdb8141
JM
2636/* Nonzero if TYPE is an anonymous union or struct type. We have to use a
2637 flag for this because "A union for which objects or pointers are
2638 declared is not an anonymous union" [class.union]. */
2639#define ANON_AGGR_TYPE_P(NODE) \
e2500fed 2640 (CLASS_TYPE_P (NODE) && LANG_TYPE_CLASS_CHECK (NODE)->anon_aggr)
6bdb8141 2641#define SET_ANON_AGGR_TYPE_P(NODE) \
e2500fed 2642 (LANG_TYPE_CLASS_CHECK (NODE)->anon_aggr = 1)
67ffc812 2643
1e30f9b4
MM
2644/* Nonzero if TYPE is an anonymous union type. */
2645#define ANON_UNION_TYPE_P(NODE) \
2646 (TREE_CODE (NODE) == UNION_TYPE && ANON_AGGR_TYPE_P (NODE))
2647
8d08fdba
MS
2648#define UNKNOWN_TYPE LANG_TYPE
2649
2650/* Define fields and accessors for nodes representing declared names. */
2651
e2500fed 2652#define TYPE_WAS_ANONYMOUS(NODE) (LANG_TYPE_CLASS_CHECK (NODE)->was_anonymous)
8d08fdba
MS
2653
2654/* C++: all of these are overloaded! These apply only to TYPE_DECLs. */
f84b4be9
JM
2655
2656/* The format of each node in the DECL_FRIENDLIST is as follows:
2657
2658 The TREE_PURPOSE will be the name of a function, i.e., an
436f8a4c
MM
2659 IDENTIFIER_NODE. The TREE_VALUE will be itself a TREE_LIST, whose
2660 TREE_VALUEs are friends with the given name. */
8d08fdba 2661#define DECL_FRIENDLIST(NODE) (DECL_INITIAL (NODE))
6a629cac
MM
2662#define FRIEND_NAME(LIST) (TREE_PURPOSE (LIST))
2663#define FRIEND_DECLS(LIST) (TREE_VALUE (LIST))
8d08fdba 2664
2036a15c
MM
2665/* The DECL_ACCESS, if non-NULL, is a TREE_LIST. The TREE_PURPOSE of
2666 each node is a type; the TREE_VALUE is the access granted for this
2667 DECL in that type. The DECL_ACCESS is set by access declarations.
2668 For example, if a member that would normally be public in a
2669 derived class is made protected, then the derived class and the
2670 protected_access_node will appear in the DECL_ACCESS for the node. */
e2500fed 2671#define DECL_ACCESS(NODE) (LANG_DECL_U2_CHECK (NODE, 0)->access)
af3b4e59
MM
2672
2673/* Nonzero if the FUNCTION_DECL is a global constructor. */
2674#define DECL_GLOBAL_CTOR_P(NODE) \
98e40e83 2675 (DECL_LANG_SPECIFIC (NODE)->decl_flags.global_ctor_p)
af3b4e59
MM
2676
2677/* Nonzero if the FUNCTION_DECL is a global destructor. */
2678#define DECL_GLOBAL_DTOR_P(NODE) \
98e40e83 2679 (DECL_LANG_SPECIFIC (NODE)->decl_flags.global_dtor_p)
af3b4e59 2680
8d08fdba 2681/* Accessor macros for C++ template decl nodes. */
f84b4be9
JM
2682
2683/* The DECL_TEMPLATE_PARMS are a list. The TREE_PURPOSE of each node
4890c2f4 2684 is a INT_CST whose TREE_INT_CST_LOW indicates the level of the
36a117a5
MM
2685 template parameters, with 1 being the outermost set of template
2686 parameters. The TREE_VALUE is a vector, whose elements are the
2687 template parameters at each level. Each element in the vector is a
2688 TREE_LIST, whose TREE_VALUE is a PARM_DECL (if the parameter is a
2689 non-type parameter), or a TYPE_DECL (if the parameter is a type
2690 parameter). The TREE_PURPOSE is the default value, if any. The
34cd5ae7 2691 TEMPLATE_PARM_INDEX for the parameter is available as the
36a117a5
MM
2692 DECL_INITIAL (for a PARM_DECL) or as the TREE_TYPE (for a
2693 TYPE_DECL). */
820cc88f 2694#define DECL_TEMPLATE_PARMS(NODE) DECL_NON_COMMON_CHECK (NODE)->decl_non_common.arguments
98c1c668
JM
2695#define DECL_INNERMOST_TEMPLATE_PARMS(NODE) \
2696 INNERMOST_TEMPLATE_PARMS (DECL_TEMPLATE_PARMS (NODE))
2697#define DECL_NTPARMS(NODE) \
2698 TREE_VEC_LENGTH (DECL_INNERMOST_TEMPLATE_PARMS (NODE))
8d08fdba 2699/* For function, method, class-data templates. */
98e40e83 2700#define DECL_TEMPLATE_RESULT(NODE) DECL_RESULT_FLD (NODE)
36a117a5
MM
2701/* For a static member variable template, the
2702 DECL_TEMPLATE_INSTANTIATIONS list contains the explicitly and
2703 implicitly generated instantiations of the variable. There are no
2704 partial instantiations of static member variables, so all of these
2705 will be full instantiations.
2706
2707 For a class template the DECL_TEMPLATE_INSTANTIATIONS lists holds
2708 all instantiations and specializations of the class type, including
2709 partial instantiations and partial specializations.
2710
2711 In both cases, the TREE_PURPOSE of each node contains the arguments
2712 used; the TREE_VALUE contains the generated variable. The template
2713 arguments are always complete. For example, given:
2714
2715 template <class T> struct S1 {
0cbd7506 2716 template <class U> struct S2 {};
36a117a5
MM
2717 template <class U> struct S2<U*> {};
2718 };
2719
2720 the record for the partial specialization will contain, as its
2721 argument list, { {T}, {U*} }, and will be on the
2722 DECL_TEMPLATE_INSTANTIATIONS list for `template <class T> template
2723 <class U> struct S1<T>::S2'.
2724
2725 This list is not used for function templates. */
98e40e83 2726#define DECL_TEMPLATE_INSTANTIATIONS(NODE) DECL_VINDEX (NODE)
36a117a5
MM
2727/* For a function template, the DECL_TEMPLATE_SPECIALIZATIONS lists
2728 contains all instantiations and specializations of the function,
2729 including partial instantiations. For a partial instantiation
2730 which is a specialization, this list holds only full
2731 specializations of the template that are instantiations of the
2732 partial instantiation. For example, given:
2733
2734 template <class T> struct S {
0cbd7506 2735 template <class U> void f(U);
bb20cc46 2736 template <> void f(T);
36a117a5
MM
2737 };
2738
2739 the `S<int>::f<int>(int)' function will appear on the
2740 DECL_TEMPLATE_SPECIALIZATIONS list for both `template <class T>
2741 template <class U> void S<T>::f(U)' and `template <class T> void
2742 S<int>::f(T)'. In the latter case, however, it will have only the
2743 innermost set of arguments (T, in this case). The DECL_TI_TEMPLATE
2744 for the function declaration will point at the specialization, not
2745 the fully general template.
2746
2747 For a class template, this list contains the partial
2748 specializations of this template. (Full specializations are not
916b63c3
MM
2749 recorded on this list.) The TREE_PURPOSE holds the arguments used
2750 in the partial specialization (e.g., for `template <class T> struct
2751 S<T*, int>' this will be `T*'.) The arguments will also include
2752 any outer template arguments. The TREE_VALUE holds the innermost
2753 template parameters for the specialization (e.g., `T' in the
2754 example above.) The TREE_TYPE is the _TYPE node for the partial
2755 specialization.
36a117a5
MM
2756
2757 This list is not used for static variable templates. */
98e40e83 2758#define DECL_TEMPLATE_SPECIALIZATIONS(NODE) DECL_SIZE (NODE)
5566b478 2759
38b3627d
NS
2760/* Nonzero for a DECL which is actually a template parameter. Keep
2761 these checks in ascending tree code order. */
bb20cc46 2762#define DECL_TEMPLATE_PARM_P(NODE) \
cd9f6678
MM
2763 (DECL_LANG_FLAG_0 (NODE) \
2764 && (TREE_CODE (NODE) == CONST_DECL \
833aa4c4 2765 || TREE_CODE (NODE) == PARM_DECL \
cd9f6678
MM
2766 || TREE_CODE (NODE) == TYPE_DECL \
2767 || TREE_CODE (NODE) == TEMPLATE_DECL))
2768
2769/* Mark NODE as a template parameter. */
2770#define SET_DECL_TEMPLATE_PARM_P(NODE) \
2771 (DECL_LANG_FLAG_0 (NODE) = 1)
50714e79 2772
cd9f6678 2773/* Nonzero if NODE is a template template parameter. */
73b0fce8 2774#define DECL_TEMPLATE_TEMPLATE_PARM_P(NODE) \
50714e79 2775 (TREE_CODE (NODE) == TEMPLATE_DECL && DECL_TEMPLATE_PARM_P (NODE))
73b0fce8 2776
b0bc6e8e
KL
2777/* Nonzero if NODE is a TEMPLATE_DECL representing an
2778 UNBOUND_CLASS_TEMPLATE tree node. */
2779#define DECL_UNBOUND_CLASS_TEMPLATE_P(NODE) \
2780 (TREE_CODE (NODE) == TEMPLATE_DECL && !DECL_TEMPLATE_RESULT (NODE))
2781
5566b478
MS
2782#define DECL_FUNCTION_TEMPLATE_P(NODE) \
2783 (TREE_CODE (NODE) == TEMPLATE_DECL \
b0bc6e8e 2784 && !DECL_UNBOUND_CLASS_TEMPLATE_P (NODE) \
5566b478
MS
2785 && TREE_CODE (DECL_TEMPLATE_RESULT (NODE)) == FUNCTION_DECL)
2786
6757edfe
MM
2787/* Nonzero for a DECL that represents a template class. */
2788#define DECL_CLASS_TEMPLATE_P(NODE) \
2789 (TREE_CODE (NODE) == TEMPLATE_DECL \
b0bc6e8e 2790 && !DECL_UNBOUND_CLASS_TEMPLATE_P (NODE) \
6757edfe
MM
2791 && TREE_CODE (DECL_TEMPLATE_RESULT (NODE)) == TYPE_DECL \
2792 && !DECL_TEMPLATE_TEMPLATE_PARM_P (NODE))
2793
35acd3f2
MM
2794/* Nonzero if NODE which declares a type. */
2795#define DECL_DECLARES_TYPE_P(NODE) \
2796 (TREE_CODE (NODE) == TYPE_DECL || DECL_CLASS_TEMPLATE_P (NODE))
2797
9188c363 2798/* Nonzero if NODE is the typedef implicitly generated for a type when
a3d87771
MM
2799 the type is declared. In C++, `struct S {};' is roughly
2800 equivalent to `struct S {}; typedef struct S S;' in C.
2801 DECL_IMPLICIT_TYPEDEF_P will hold for the typedef indicated in this
2802 example. In C++, there is a second implicit typedef for each
2803 class, in the scope of `S' itself, so that you can say `S::S'.
2804 DECL_SELF_REFERENCE_P will hold for that second typedef. */
9188c363 2805#define DECL_IMPLICIT_TYPEDEF_P(NODE) \
98e40e83 2806 (TREE_CODE (NODE) == TYPE_DECL && DECL_LANG_FLAG_2 (NODE))
9188c363 2807#define SET_DECL_IMPLICIT_TYPEDEF_P(NODE) \
98e40e83 2808 (DECL_LANG_FLAG_2 (NODE) = 1)
a3d87771
MM
2809#define DECL_SELF_REFERENCE_P(NODE) \
2810 (TREE_CODE (NODE) == TYPE_DECL && DECL_LANG_FLAG_4 (NODE))
2811#define SET_DECL_SELF_REFERENCE_P(NODE) \
2812 (DECL_LANG_FLAG_4 (NODE) = 1)
9188c363 2813
93cdc044
JM
2814/* A `primary' template is one that has its own template header. A
2815 member function of a class template is a template, but not primary.
6757edfe
MM
2816 A member template is primary. Friend templates are primary, too. */
2817
2818/* Returns the primary template corresponding to these parameters. */
2819#define DECL_PRIMARY_TEMPLATE(NODE) \
2820 (TREE_TYPE (DECL_INNERMOST_TEMPLATE_PARMS (NODE)))
2821
838dfd8a 2822/* Returns nonzero if NODE is a primary template. */
98e40e83 2823#define PRIMARY_TEMPLATE_P(NODE) (DECL_PRIMARY_TEMPLATE (NODE) == (NODE))
5566b478 2824
a0a33927
MS
2825/* Indicates whether or not (and how) a template was expanded for this
2826 FUNCTION_DECL or VAR_DECL.
2827 0=normal declaration, e.g. int min (int, int);
2828 1=implicit template instantiation
2829 2=explicit template specialization, e.g. int min<int> (int, int);
2b1e8a76
MM
2830 3=explicit template instantiation, e.g. template int min<int> (int, int);
2831
1634705d 2832 If DECL_USE_TEMPLATE is nonzero, then DECL_TEMPLATE_INFO will also
2b1e8a76 2833 be non-NULL. */
98e40e83 2834#define DECL_USE_TEMPLATE(NODE) (DECL_LANG_SPECIFIC (NODE)->decl_flags.use_template)
a0a33927
MS
2835
2836#define DECL_TEMPLATE_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) & 1)
2837#define CLASSTYPE_TEMPLATE_INSTANTIATION(NODE) \
2838 (CLASSTYPE_USE_TEMPLATE (NODE) & 1)
2839
2840#define DECL_TEMPLATE_SPECIALIZATION(NODE) (DECL_USE_TEMPLATE (NODE) == 2)
2841#define SET_DECL_TEMPLATE_SPECIALIZATION(NODE) (DECL_USE_TEMPLATE (NODE) = 2)
1ca939e5
MM
2842
2843/* Returns true for an explicit or partial specialization of a class
2844 template. */
370af2d5 2845#define CLASSTYPE_TEMPLATE_SPECIALIZATION(NODE) \
a0a33927 2846 (CLASSTYPE_USE_TEMPLATE (NODE) == 2)
370af2d5 2847#define SET_CLASSTYPE_TEMPLATE_SPECIALIZATION(NODE) \
a0a33927
MS
2848 (CLASSTYPE_USE_TEMPLATE (NODE) = 2)
2849
2850#define DECL_IMPLICIT_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) == 1)
2851#define SET_DECL_IMPLICIT_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) = 1)
2852#define CLASSTYPE_IMPLICIT_INSTANTIATION(NODE) \
98e40e83 2853 (CLASSTYPE_USE_TEMPLATE (NODE) == 1)
a0a33927 2854#define SET_CLASSTYPE_IMPLICIT_INSTANTIATION(NODE) \
98e40e83 2855 (CLASSTYPE_USE_TEMPLATE (NODE) = 1)
a0a33927
MS
2856
2857#define DECL_EXPLICIT_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) == 3)
2858#define SET_DECL_EXPLICIT_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) = 3)
2859#define CLASSTYPE_EXPLICIT_INSTANTIATION(NODE) \
98e40e83 2860 (CLASSTYPE_USE_TEMPLATE (NODE) == 3)
a0a33927 2861#define SET_CLASSTYPE_EXPLICIT_INSTANTIATION(NODE) \
98e40e83 2862 (CLASSTYPE_USE_TEMPLATE (NODE) = 3)
7177d104 2863
838dfd8a 2864/* Nonzero if DECL is a friend function which is an instantiation
61289ca3
MM
2865 from the point of view of the compiler, but not from the point of
2866 view of the language. For example given:
2867 template <class T> struct S { friend void f(T) {}; };
2868 the declaration of `void f(int)' generated when S<int> is
2869 instantiated will not be a DECL_TEMPLATE_INSTANTIATION, but will be
2870 a DECL_FRIEND_PSUEDO_TEMPLATE_INSTANTIATION. */
2871#define DECL_FRIEND_PSEUDO_TEMPLATE_INSTANTIATION(DECL) \
2872 (DECL_TEMPLATE_INFO (DECL) && !DECL_USE_TEMPLATE (DECL))
2873
838dfd8a 2874/* Nonzero iff we are currently processing a declaration for an
39c01e4c
MM
2875 entity with its own template parameter list, and which is not a
2876 full specialization. */
2877#define PROCESSING_REAL_TEMPLATE_DECL_P() \
f60a10e7 2878 (processing_template_decl > template_class_depth (current_scope ()))
39c01e4c 2879
fbf1c34b
MM
2880/* Nonzero if this VAR_DECL or FUNCTION_DECL has already been
2881 instantiated, i.e. its definition has been generated from the
78dcd41a 2882 pattern given in the template. */
da8a66fc
ML
2883#define DECL_TEMPLATE_INSTANTIATED(NODE) \
2884 DECL_LANG_FLAG_1 (VAR_OR_FUNCTION_DECL_CHECK (NODE))
fbf1c34b 2885
db5ae43f 2886/* We know what we're doing with this decl now. */
e3417fcd 2887#define DECL_INTERFACE_KNOWN(NODE) DECL_LANG_FLAG_5 (NODE)
db5ae43f 2888
faae18ab
MS
2889/* DECL_EXTERNAL must be set on a decl until the decl is actually emitted,
2890 so that assemble_external will work properly. So we have this flag to
2891 tell us whether the decl is really not external. */
2892#define DECL_NOT_REALLY_EXTERN(NODE) \
2893 (DECL_LANG_SPECIFIC (NODE)->decl_flags.not_really_extern)
db5ae43f 2894
6b5fbb55
MS
2895#define DECL_REALLY_EXTERN(NODE) \
2896 (DECL_EXTERNAL (NODE) && ! DECL_NOT_REALLY_EXTERN (NODE))
2897
eb68cb58
MM
2898/* A thunk is a stub function.
2899
2900 A thunk is an alternate entry point for an ordinary FUNCTION_DECL.
2901 The address of the ordinary FUNCTION_DECL is given by the
2902 DECL_INITIAL, which is always an ADDR_EXPR whose operand is a
4977bab6
ZW
2903 FUNCTION_DECL. The job of the thunk is to either adjust the this
2904 pointer before transferring control to the FUNCTION_DECL, or call
2905 FUNCTION_DECL and then adjust the result value. Note, the result
2906 pointer adjusting thunk must perform a call to the thunked
2907 function, (or be implemented via passing some invisible parameter
2908 to the thunked function, which is modified to perform the
2909 adjustment just before returning).
19114537 2910
eb68cb58
MM
2911 A thunk may perform either, or both, of the following operations:
2912
4977bab6
ZW
2913 o Adjust the this or result pointer by a constant offset.
2914 o Adjust the this or result pointer by looking up a vcall or vbase offset
eb68cb58
MM
2915 in the vtable.
2916
4977bab6
ZW
2917 A this pointer adjusting thunk converts from a base to a derived
2918 class, and hence adds the offsets. A result pointer adjusting thunk
2919 converts from a derived class to a base, and hence subtracts the
2920 offsets. If both operations are performed, then the constant
34cd5ae7 2921 adjustment is performed first for this pointer adjustment and last
4977bab6 2922 for the result pointer adjustment.
eb68cb58 2923
4977bab6 2924 The constant adjustment is given by THUNK_FIXED_OFFSET. If the
e00853fd
NS
2925 vcall or vbase offset is required, THUNK_VIRTUAL_OFFSET is
2926 used. For this pointer adjusting thunks, it is the vcall offset
2927 into the vtable. For result pointer adjusting thunks it is the
2928 binfo of the virtual base to convert to. Use that binfo's vbase
2929 offset.
2930
2931 It is possible to have equivalent covariant thunks. These are
2932 distinct virtual covariant thunks whose vbase offsets happen to
2933 have the same value. THUNK_ALIAS is used to pick one as the
2934 canonical thunk, which will get all the this pointer adjusting
2935 thunks attached to it. */
eb68cb58 2936
c0bbf652 2937/* An integer indicating how many bytes should be subtracted from the
4977bab6
ZW
2938 this or result pointer when this function is called. */
2939#define THUNK_FIXED_OFFSET(DECL) \
ea1763b1 2940 (DECL_LANG_SPECIFIC (THUNK_FUNCTION_CHECK (DECL))->u.f.u5.fixed_offset)
07fa4878
NS
2941
2942/* A tree indicating how to perform the virtual adjustment. For a this
2943 adjusting thunk it is the number of bytes to be added to the vtable
2944 to find the vcall offset. For a result adjusting thunk, it is the
3cfabe60
NS
2945 binfo of the relevant virtual base. If NULL, then there is no
2946 virtual adjust. (The vptr is always located at offset zero from
2947 the this or result pointer.) (If the covariant type is within the
bb885938 2948 class hierarchy being laid out, the vbase index is not yet known
3cfabe60
NS
2949 at the point we need to create the thunks, hence the need to use
2950 binfos.) */
2951
4977bab6 2952#define THUNK_VIRTUAL_OFFSET(DECL) \
a6c0a76c 2953 (LANG_DECL_U2_CHECK (FUNCTION_DECL_CHECK (DECL), 0)->access)
07fa4878 2954
f4f206f4 2955/* A thunk which is equivalent to another thunk. */
e00853fd 2956#define THUNK_ALIAS(DECL) \
a6c0a76c 2957 (DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->decl_flags.u.template_info)
bb885938 2958
742f25b3
NS
2959/* For thunk NODE, this is the FUNCTION_DECL thunked to. It is
2960 possible for the target to be a thunk too. */
07fa4878
NS
2961#define THUNK_TARGET(NODE) \
2962 (DECL_LANG_SPECIFIC (NODE)->u.f.befriending_classes)
c0bbf652 2963
02ed62dd
MM
2964/* True for a SCOPE_REF iff the "template" keyword was used to
2965 indicate that the qualified name denotes a template. */
2966#define QUALIFIED_NAME_IS_TEMPLATE(NODE) \
2967 (TREE_LANG_FLAG_0 (SCOPE_REF_CHECK (NODE)))
2968
1799e5d5
RH
2969/* True for an OMP_ATOMIC that has dependent parameters. These are stored
2970 as bare LHS/RHS, and not as ADDR/RHS, as in the generic statement. */
2971#define OMP_ATOMIC_DEPENDENT_P(NODE) \
2972 (TREE_LANG_FLAG_0 (OMP_ATOMIC_CHECK (NODE)))
2973
2974/* Used to store the operation code when OMP_ATOMIC_DEPENDENT_P is set. */
2975#define OMP_ATOMIC_CODE(NODE) \
2976 (OMP_ATOMIC_CHECK (NODE)->exp.complexity)
2977
2978/* Used while gimplifying continue statements bound to OMP_FOR nodes. */
2979#define OMP_FOR_GIMPLIFYING_P(NODE) \
2980 (TREE_LANG_FLAG_0 (OMP_FOR_CHECK (NODE)))
2981
2982/* A language-specific token attached to the OpenMP data clauses to
2983 hold code (or code fragments) related to ctors, dtors, and op=.
2984 See semantics.c for details. */
2985#define CP_OMP_CLAUSE_INFO(NODE) \
2986 TREE_TYPE (OMP_CLAUSE_RANGE_CHECK (NODE, OMP_CLAUSE_PRIVATE, \
2987 OMP_CLAUSE_COPYPRIVATE))
2988
ad321293
MM
2989/* These macros provide convenient access to the various _STMT nodes
2990 created when parsing template declarations. */
0cbd7506
MS
2991#define TRY_STMTS(NODE) TREE_OPERAND (TRY_BLOCK_CHECK (NODE), 0)
2992#define TRY_HANDLERS(NODE) TREE_OPERAND (TRY_BLOCK_CHECK (NODE), 1)
d7e7759d 2993
0cbd7506
MS
2994#define EH_SPEC_STMTS(NODE) TREE_OPERAND (EH_SPEC_BLOCK_CHECK (NODE), 0)
2995#define EH_SPEC_RAISES(NODE) TREE_OPERAND (EH_SPEC_BLOCK_CHECK (NODE), 1)
52a11cbf 2996
9da99f7d
NS
2997#define USING_STMT_NAMESPACE(NODE) TREE_OPERAND (USING_STMT_CHECK (NODE), 0)
2998
62409b39 2999/* Nonzero if this try block is a function try block. */
0cbd7506
MS
3000#define FN_TRY_BLOCK_P(NODE) TREE_LANG_FLAG_3 (TRY_BLOCK_CHECK (NODE))
3001#define HANDLER_PARMS(NODE) TREE_OPERAND (HANDLER_CHECK (NODE), 0)
3002#define HANDLER_BODY(NODE) TREE_OPERAND (HANDLER_CHECK (NODE), 1)
1a6025b4 3003#define HANDLER_TYPE(NODE) TREE_TYPE (HANDLER_CHECK (NODE))
46e8c075 3004
5a508662
RH
3005/* CLEANUP_STMT accessors. The statement(s) covered, the cleanup to run
3006 and the VAR_DECL for which this cleanup exists. */
3007#define CLEANUP_BODY(NODE) TREE_OPERAND (CLEANUP_STMT_CHECK (NODE), 0)
3008#define CLEANUP_EXPR(NODE) TREE_OPERAND (CLEANUP_STMT_CHECK (NODE), 1)
3009#define CLEANUP_DECL(NODE) TREE_OPERAND (CLEANUP_STMT_CHECK (NODE), 2)
3010
3011/* IF_STMT accessors. These give access to the condition of the if
3012 statement, the then block of the if statement, and the else block
3013 of the if statement if it exists. */
0cbd7506
MS
3014#define IF_COND(NODE) TREE_OPERAND (IF_STMT_CHECK (NODE), 0)
3015#define THEN_CLAUSE(NODE) TREE_OPERAND (IF_STMT_CHECK (NODE), 1)
3016#define ELSE_CLAUSE(NODE) TREE_OPERAND (IF_STMT_CHECK (NODE), 2)
5a508662 3017
fbc315db
ILT
3018/* WHILE_STMT accessors. These give access to the condition of the
3019 while statement and the body of the while statement, respectively. */
0cbd7506
MS
3020#define WHILE_COND(NODE) TREE_OPERAND (WHILE_STMT_CHECK (NODE), 0)
3021#define WHILE_BODY(NODE) TREE_OPERAND (WHILE_STMT_CHECK (NODE), 1)
fbc315db
ILT
3022
3023/* DO_STMT accessors. These give access to the condition of the do
3024 statement and the body of the do statement, respectively. */
0cbd7506
MS
3025#define DO_COND(NODE) TREE_OPERAND (DO_STMT_CHECK (NODE), 0)
3026#define DO_BODY(NODE) TREE_OPERAND (DO_STMT_CHECK (NODE), 1)
fbc315db
ILT
3027
3028/* FOR_STMT accessors. These give access to the init statement,
3029 condition, update expression, and body of the for statement,
3030 respectively. */
0cbd7506
MS
3031#define FOR_INIT_STMT(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 0)
3032#define FOR_COND(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 1)
3033#define FOR_EXPR(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 2)
3034#define FOR_BODY(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 3)
fbc315db
ILT
3035
3036#define SWITCH_STMT_COND(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 0)
3037#define SWITCH_STMT_BODY(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 1)
3038#define SWITCH_STMT_TYPE(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 2)
3039
c3e5898b 3040/* STMT_EXPR accessor. */
0cbd7506 3041#define STMT_EXPR_STMT(NODE) TREE_OPERAND (STMT_EXPR_CHECK (NODE), 0)
c3e5898b 3042
934790cc
ILT
3043/* EXPR_STMT accessor. This gives the expression associated with an
3044 expression statement. */
0cbd7506 3045#define EXPR_STMT_EXPR(NODE) TREE_OPERAND (EXPR_STMT_CHECK (NODE), 0)
934790cc 3046
8d08fdba 3047/* An enumeration of the kind of tags that C++ accepts. */
19114537 3048enum tag_types {
a723baf1
MM
3049 none_type = 0, /* Not a tag type. */
3050 record_type, /* "struct" types. */
3051 class_type, /* "class" types. */
3052 union_type, /* "union" types. */
3053 enum_type, /* "enum" types. */
3054 typename_type /* "typename" types. */
3055};
8d08fdba 3056
27b8d0cd
MM
3057/* The various kinds of lvalues we distinguish. */
3058typedef enum cp_lvalue_kind {
3059 clk_none = 0, /* Things that are not an lvalue. */
3060 clk_ordinary = 1, /* An ordinary lvalue. */
3061 clk_class = 2, /* An rvalue of class-type. */
e0d1297c 3062 clk_bitfield = 4, /* An lvalue for a bit-field. */
f4f206f4 3063 clk_packed = 8 /* An lvalue for a packed field. */
27b8d0cd
MM
3064} cp_lvalue_kind;
3065
74b846e0
MM
3066/* Various kinds of template specialization, instantiation, etc. */
3067typedef enum tmpl_spec_kind {
0cbd7506 3068 tsk_none, /* Not a template at all. */
74b846e0
MM
3069 tsk_invalid_member_spec, /* An explicit member template
3070 specialization, but the enclosing
3071 classes have not all been explicitly
3072 specialized. */
3073 tsk_invalid_expl_inst, /* An explicit instantiation containing
3074 template parameter lists. */
0cbd7506 3075 tsk_excessive_parms, /* A template declaration with too many
74b846e0
MM
3076 template parameter lists. */
3077 tsk_insufficient_parms, /* A template declaration with too few
3078 parameter lists. */
0cbd7506
MS
3079 tsk_template, /* A template declaration. */
3080 tsk_expl_spec, /* An explicit specialization. */
3081 tsk_expl_inst /* An explicit instantiation. */
74b846e0
MM
3082} tmpl_spec_kind;
3083
c35cce41
MM
3084/* The various kinds of access. BINFO_ACCESS depends on these being
3085 two bit quantities. The numerical values are important; they are
509fc277 3086 used to initialize RTTI data structures, so changing them changes
9bcb9aae 3087 the ABI. */
c35cce41 3088typedef enum access_kind {
0cbd7506
MS
3089 ak_none = 0, /* Inaccessible. */
3090 ak_public = 1, /* Accessible, as a `public' thing. */
3091 ak_protected = 2, /* Accessible, as a `protected' thing. */
3092 ak_private = 3 /* Accessible, as a `private' thing. */
c35cce41
MM
3093} access_kind;
3094
872f37f9
MM
3095/* The various kinds of special functions. If you add to this list,
3096 you should update special_function_p as well. */
3dbc07b6 3097typedef enum special_function_kind {
0cbd7506 3098 sfk_none = 0, /* Not a special function. This enumeral
872f37f9
MM
3099 must have value zero; see
3100 special_function_p. */
0cbd7506 3101 sfk_constructor, /* A constructor. */
9eb71d8c
MM
3102 sfk_copy_constructor, /* A copy constructor. */
3103 sfk_assignment_operator, /* An assignment operator. */
0cbd7506 3104 sfk_destructor, /* A destructor. */
872f37f9
MM
3105 sfk_complete_destructor, /* A destructor for complete objects. */
3106 sfk_base_destructor, /* A destructor for base subobjects. */
3107 sfk_deleting_destructor, /* A destructor for complete objects that
3108 deletes the object after it has been
3109 destroyed. */
0cbd7506 3110 sfk_conversion /* A conversion operator. */
3dbc07b6
MM
3111} special_function_kind;
3112
19114537
EC
3113/* The various kinds of linkage. From [basic.link],
3114
ad50e811
MM
3115 A name is said to have linkage when it might denote the same
3116 object, reference, function, type, template, namespace or value
3117 as a name introduced in another scope:
3118
3119 -- When a name has external linkage, the entity it denotes can
0cbd7506 3120 be referred to from scopes of other translation units or from
ad50e811
MM
3121 other scopes of the same translation unit.
3122
3123 -- When a name has internal linkage, the entity it denotes can
0cbd7506 3124 be referred to by names from other scopes in the same
ad50e811
MM
3125 translation unit.
3126
3127 -- When a name has no linkage, the entity it denotes cannot be
0cbd7506 3128 referred to by names from other scopes. */
ad50e811
MM
3129
3130typedef enum linkage_kind {
0cbd7506
MS
3131 lk_none, /* No linkage. */
3132 lk_internal, /* Internal linkage. */
3133 lk_external /* External linkage. */
ad50e811
MM
3134} linkage_kind;
3135
c2ea3a40
NS
3136/* Bitmask flags to control type substitution. */
3137typedef enum tsubst_flags_t {
0cbd7506
MS
3138 tf_none = 0, /* nothing special */
3139 tf_error = 1 << 0, /* give error messages */
3140 tf_warning = 1 << 1, /* give warnings too */
3141 tf_ignore_bad_quals = 1 << 2, /* ignore bad cvr qualifiers */
8f4b394d 3142 tf_keep_type_decl = 1 << 3, /* retain typedef type decls
4f2b0fb2 3143 (make_typename_type use) */
0cbd7506 3144 tf_ptrmem_ok = 1 << 4, /* pointers to member ok (internal
42eaed49 3145 instantiate_type use) */
a5bcc582 3146 tf_user = 1 << 5, /* found template must be a user template
42eaed49 3147 (lookup_template_class use) */
10f3742b 3148 tf_conv = 1 << 6, /* We are determining what kind of
84583208
MM
3149 conversion might be permissible,
3150 not actually performing the
3151 conversion. */
10f3742b 3152 /* Convenient substitution flags combinations. */
23fca1f5 3153 tf_warning_or_error = tf_warning | tf_error
c2ea3a40 3154} tsubst_flags_t;
5e76004e 3155
00a17e31 3156/* The kind of checking we can do looking in a class hierarchy. */
338d90b8 3157typedef enum base_access {
18e4be85 3158 ba_any = 0, /* Do not check access, allow an ambiguous base,
338d90b8 3159 prefer a non-virtual base */
18e4be85
NS
3160 ba_unique = 1 << 0, /* Must be a unique base. */
3161 ba_check_bit = 1 << 1, /* Check access. */
3162 ba_check = ba_unique | ba_check_bit,
3163 ba_ignore_scope = 1 << 2, /* Ignore access allowed by local scope. */
3164 ba_quiet = 1 << 3 /* Do not issue error messages. */
338d90b8
NS
3165} base_access;
3166
8d241e0b
KL
3167/* The various kinds of access check during parsing. */
3168typedef enum deferring_kind {
3169 dk_no_deferred = 0, /* Check access immediately */
3170 dk_deferred = 1, /* Deferred check */
3171 dk_no_check = 2 /* No access check */
3172} deferring_kind;
3173
aba649ba 3174/* The kind of base we can find, looking in a class hierarchy.
00a17e31 3175 Values <0 indicate we failed. */
338d90b8
NS
3176typedef enum base_kind {
3177 bk_inaccessible = -3, /* The base is inaccessible */
0cbd7506
MS
3178 bk_ambig = -2, /* The base is ambiguous */
3179 bk_not_base = -1, /* It is not a base */
3180 bk_same_type = 0, /* It is the same type */
3181 bk_proper_base = 1, /* It is a proper base */
3182 bk_via_virtual = 2 /* It is a proper base, but via a virtual
338d90b8 3183 path. This might not be the canonical
00a17e31 3184 binfo. */
338d90b8
NS
3185} base_kind;
3186
700f8a87 3187/* Node for "pointer to (virtual) function".
e92cc029 3188 This may be distinct from ptr_type_node so gdb can distinguish them. */
c4372ef4 3189#define vfunc_ptr_type_node vtable_entry_type
700f8a87 3190
8d08fdba 3191
8d08fdba 3192/* For building calls to `delete'. */
e2500fed
GK
3193extern GTY(()) tree integer_two_node;
3194extern GTY(()) tree integer_three_node;
8d08fdba 3195
b2244c65
MM
3196/* The number of function bodies which we are currently processing.
3197 (Zero if we are at namespace scope, one inside the body of a
3198 function, two inside the body of a function in a local class, etc.) */
3199extern int function_depth;
3200
51c184be 3201/* in pt.c */
5566b478 3202
62e4a758 3203/* These values are used for the `STRICT' parameter to type_unification and
830bfa74
MM
3204 fn_type_unification. Their meanings are described with the
3205 documentation for fn_type_unification. */
3206
3207typedef enum unification_kind_t {
3208 DEDUCE_CALL,
3209 DEDUCE_CONV,
dda04398 3210 DEDUCE_EXACT
830bfa74
MM
3211} unification_kind_t;
3212
6de9cd9a 3213/* Macros for operating on a template instantiation level node. */
3ae18eaf 3214
406d77a4
SB
3215#define TINST_DECL(NODE) \
3216 (((tinst_level_t) TINST_LEVEL_CHECK (NODE))->decl)
3217#define TINST_LOCATION(NODE) \
3218 (((tinst_level_t) TINST_LEVEL_CHECK (NODE))->locus)
12af7ba3
MM
3219#define TINST_IN_SYSTEM_HEADER_P(NODE) \
3220 (((tinst_level_t) TINST_LEVEL_CHECK (NODE))->in_system_header_p)
8d08fdba 3221
51c184be 3222/* in class.c */
61a127b3 3223
b4c4a9ec 3224extern int current_class_depth;
8d08fdba 3225
1f6e1acc
AS
3226/* An array of all local classes present in this translation unit, in
3227 declaration order. */
806aa901 3228extern GTY(()) VEC(tree,gc) *local_classes;
8d08fdba
MS
3229\f
3230/* Here's where we control how name mangling takes place. */
3231
8d08fdba
MS
3232/* Cannot use '$' up front, because this confuses gdb
3233 (names beginning with '$' are gdb-local identifiers).
3234
3235 Note that all forms in which the '$' is significant are long enough
3236 for direct indexing (meaning that if we know there is a '$'
3237 at a particular location, we can index into the string at
3238 any other location that provides distinguishing characters). */
3239
3240/* Define NO_DOLLAR_IN_LABEL in your favorite tm file if your assembler
3241 doesn't allow '$' in symbol names. */
3242#ifndef NO_DOLLAR_IN_LABEL
3243
3244#define JOINER '$'
3245
8d08fdba 3246#define AUTO_TEMP_NAME "_$tmp_"
8d08fdba
MS
3247#define VFIELD_BASE "$vf"
3248#define VFIELD_NAME "_vptr$"
3249#define VFIELD_NAME_FORMAT "_vptr$%s"
8d08fdba
MS
3250#define ANON_AGGRNAME_FORMAT "$_%d"
3251
3252#else /* NO_DOLLAR_IN_LABEL */
3253
3254#ifndef NO_DOT_IN_LABEL
3255
3256#define JOINER '.'
3257
8d08fdba 3258#define AUTO_TEMP_NAME "_.tmp_"
8d08fdba
MS
3259#define VFIELD_BASE ".vf"
3260#define VFIELD_NAME "_vptr."
3261#define VFIELD_NAME_FORMAT "_vptr.%s"
8d08fdba
MS
3262
3263#define ANON_AGGRNAME_FORMAT "._%d"
3264
3265#else /* NO_DOT_IN_LABEL */
3266
8d08fdba 3267#define IN_CHARGE_NAME "__in_chrg"
8d08fdba
MS
3268#define AUTO_TEMP_NAME "__tmp_"
3269#define TEMP_NAME_P(ID_NODE) \
3270 (!strncmp (IDENTIFIER_POINTER (ID_NODE), AUTO_TEMP_NAME, \
3271 sizeof (AUTO_TEMP_NAME) - 1))
8d08fdba 3272#define VTABLE_NAME "__vt_"
8d08fdba
MS
3273#define VTABLE_NAME_P(ID_NODE) \
3274 (!strncmp (IDENTIFIER_POINTER (ID_NODE), VTABLE_NAME, \
3275 sizeof (VTABLE_NAME) - 1))
3276#define VFIELD_BASE "__vfb"
3277#define VFIELD_NAME "__vptr_"
3278#define VFIELD_NAME_P(ID_NODE) \
3279 (!strncmp (IDENTIFIER_POINTER (ID_NODE), VFIELD_NAME, \
3280 sizeof (VFIELD_NAME) - 1))
dc8ad298 3281#define VFIELD_NAME_FORMAT "__vptr_%s"
8d08fdba
MS
3282
3283#define ANON_AGGRNAME_PREFIX "__anon_"
3284#define ANON_AGGRNAME_P(ID_NODE) \
3285 (!strncmp (IDENTIFIER_POINTER (ID_NODE), ANON_AGGRNAME_PREFIX, \
3286 sizeof (ANON_AGGRNAME_PREFIX) - 1))
3287#define ANON_AGGRNAME_FORMAT "__anon_%d"
8d08fdba
MS
3288
3289#endif /* NO_DOT_IN_LABEL */
3290#endif /* NO_DOLLAR_IN_LABEL */
3291
3292#define THIS_NAME "this"
8d08fdba
MS
3293
3294#define IN_CHARGE_NAME "__in_chrg"
3295
3296#define VTBL_PTR_TYPE "__vtbl_ptr_type"
3297#define VTABLE_DELTA_NAME "__delta"
8d08fdba 3298#define VTABLE_PFN_NAME "__pfn"
8d08fdba 3299
8d08fdba
MS
3300#if !defined(NO_DOLLAR_IN_LABEL) || !defined(NO_DOT_IN_LABEL)
3301
8d08fdba
MS
3302#define VTABLE_NAME_P(ID_NODE) (IDENTIFIER_POINTER (ID_NODE)[1] == 'v' \
3303 && IDENTIFIER_POINTER (ID_NODE)[2] == 't' \
3304 && IDENTIFIER_POINTER (ID_NODE)[3] == JOINER)
3305
98e40e83
GS
3306#define TEMP_NAME_P(ID_NODE) \
3307 (!strncmp (IDENTIFIER_POINTER (ID_NODE), AUTO_TEMP_NAME, sizeof (AUTO_TEMP_NAME)-1))
3308#define VFIELD_NAME_P(ID_NODE) \
3309 (!strncmp (IDENTIFIER_POINTER (ID_NODE), VFIELD_NAME, sizeof(VFIELD_NAME)-1))
8d08fdba
MS
3310
3311/* For anonymous aggregate types, we need some sort of name to
3312 hold on to. In practice, this should not appear, but it should
3313 not be harmful if it does. */
3314#define ANON_AGGRNAME_P(ID_NODE) (IDENTIFIER_POINTER (ID_NODE)[0] == JOINER \
3315 && IDENTIFIER_POINTER (ID_NODE)[1] == '_')
8d08fdba 3316#endif /* !defined(NO_DOLLAR_IN_LABEL) || !defined(NO_DOT_IN_LABEL) */
35680744 3317
8d08fdba 3318\f
5566b478
MS
3319/* Nonzero if we're done parsing and into end-of-file activities. */
3320
3321extern int at_eof;
3322
170b020f
MM
3323/* A list of namespace-scope objects which have constructors or
3324 destructors which reside in the global scope. The decl is stored
3325 in the TREE_VALUE slot and the initializer is stored in the
3326 TREE_PURPOSE slot. */
3327extern GTY(()) tree static_aggregates;
3328
f444e36b
MM
3329/* Functions called along with real static constructors and destructors. */
3330
e2500fed
GK
3331extern GTY(()) tree static_ctors;
3332extern GTY(()) tree static_dtors;
f444e36b 3333
8d08fdba
MS
3334enum overload_flags { NO_SPECIAL = 0, DTOR_FLAG, OP_FLAG, TYPENAME_FLAG };
3335
9f880ef9 3336/* These are uses as bits in flags passed to build_new_method_call
8d08fdba
MS
3337 to control its error reporting behavior.
3338
3339 LOOKUP_PROTECT means flag access violations.
3340 LOOKUP_COMPLAIN mean complain if no suitable member function
3341 matching the arguments is found.
3342 LOOKUP_NORMAL is just a combination of these two.
8d08fdba 3343 LOOKUP_NONVIRTUAL means make a direct call to the member function found
6060a796 3344 LOOKUP_ONLYCONVERTING means that non-conversion constructors are not tried.
9a3b49ac
MS
3345 DIRECT_BIND means that if a temporary is created, it should be created so
3346 that it lives as long as the current variable bindings; otherwise it
46af705a
JDA
3347 only lives until the end of the complete-expression. It also forces
3348 direct-initialization in cases where other parts of the compiler have
3349 already generated a temporary, such as reference initialization and the
3350 catch parameter.
8d08fdba
MS
3351 LOOKUP_NO_CONVERSION means that user-defined conversions are not
3352 permitted. Built-in conversions are permitted.
c73964b2 3353 LOOKUP_DESTRUCTOR means explicit call to destructor.
52c11ef6
JM
3354 LOOKUP_NO_TEMP_BIND means temporaries will not be bound to references.
3355
3356 These are used in global lookup to support elaborated types and
3357 qualifiers.
bb20cc46 3358
52c11ef6
JM
3359 LOOKUP_PREFER_TYPES means not to accept objects, and possibly namespaces.
3360 LOOKUP_PREFER_NAMESPACES means not to accept objects, and possibly types.
eea9800f 3361 LOOKUP_PREFER_BOTH means class-or-namespace-name. */
8d08fdba 3362
644d1951
NS
3363#define LOOKUP_PROTECT (1 << 0)
3364#define LOOKUP_COMPLAIN (1 << 1)
3365#define LOOKUP_NORMAL (LOOKUP_PROTECT | LOOKUP_COMPLAIN)
3366#define LOOKUP_NONVIRTUAL (1 << 2)
2f358037
KH
3367#define LOOKUP_ONLYCONVERTING (1 << 3)
3368#define DIRECT_BIND (1 << 4)
3369#define LOOKUP_NO_CONVERSION (1 << 5)
3370#define LOOKUP_DESTRUCTOR (1 << 6)
3371#define LOOKUP_NO_TEMP_BIND (1 << 7)
3372#define LOOKUP_PREFER_TYPES (1 << 8)
3373#define LOOKUP_PREFER_NAMESPACES (1 << 9)
644d1951 3374#define LOOKUP_PREFER_BOTH (LOOKUP_PREFER_TYPES | LOOKUP_PREFER_NAMESPACES)
2f358037 3375#define LOOKUP_CONSTRUCTOR_CALLABLE (1 << 10)
52c11ef6 3376
98e40e83
GS
3377#define LOOKUP_NAMESPACES_ONLY(F) \
3378 (((F) & LOOKUP_PREFER_NAMESPACES) && !((F) & LOOKUP_PREFER_TYPES))
3379#define LOOKUP_TYPES_ONLY(F) \
3380 (!((F) & LOOKUP_PREFER_NAMESPACES) && ((F) & LOOKUP_PREFER_TYPES))
3381#define LOOKUP_QUALIFIERS_ONLY(F) ((F) & LOOKUP_PREFER_BOTH)
bb20cc46 3382
8d08fdba 3383
a4443a08
MS
3384/* These flags are used by the conversion code.
3385 CONV_IMPLICIT : Perform implicit conversions (standard and user-defined).
3386 CONV_STATIC : Perform the explicit conversions for static_cast.
3387 CONV_CONST : Perform the explicit conversions for const_cast.
3388 CONV_REINTERPRET: Perform the explicit conversions for reinterpret_cast.
6060a796 3389 CONV_PRIVATE : Perform upcasts to private bases.
8ccc31eb 3390 CONV_FORCE_TEMP : Require a new temporary when converting to the same
bb20cc46 3391 aggregate type. */
a4443a08
MS
3392
3393#define CONV_IMPLICIT 1
3394#define CONV_STATIC 2
3395#define CONV_CONST 4
3396#define CONV_REINTERPRET 8
3397#define CONV_PRIVATE 16
faf5394a 3398/* #define CONV_NONCONVERTING 32 */
8ccc31eb 3399#define CONV_FORCE_TEMP 64
a4443a08
MS
3400#define CONV_OLD_CONVERT (CONV_IMPLICIT | CONV_STATIC | CONV_CONST \
3401 | CONV_REINTERPRET)
3402#define CONV_C_CAST (CONV_IMPLICIT | CONV_STATIC | CONV_CONST \
8ccc31eb 3403 | CONV_REINTERPRET | CONV_PRIVATE | CONV_FORCE_TEMP)
a4443a08 3404
b7484fbe
MS
3405/* Used by build_expr_type_conversion to indicate which types are
3406 acceptable as arguments to the expression under consideration. */
3407
3408#define WANT_INT 1 /* integer types, including bool */
3409#define WANT_FLOAT 2 /* floating point types */
3410#define WANT_ENUM 4 /* enumerated types */
3411#define WANT_POINTER 8 /* pointer types */
3412#define WANT_NULL 16 /* null pointer constant */
b7484fbe
MS
3413#define WANT_ARITH (WANT_INT | WANT_FLOAT)
3414
3bfdc719
MM
3415/* Used with comptypes, and related functions, to guide type
3416 comparison. */
3417
0cbd7506 3418#define COMPARE_STRICT 0 /* Just check if the types are the
3bfdc719 3419 same. */
0cbd7506 3420#define COMPARE_BASE 1 /* Check to see if the second type is
c8a209ca 3421 derived from the first. */
0cbd7506 3422#define COMPARE_DERIVED 2 /* Like COMPARE_BASE, but in
c8a209ca 3423 reverse. */
34cd5ae7 3424#define COMPARE_REDECLARATION 4 /* The comparison is being done when
3bfdc719
MM
3425 another declaration of an existing
3426 entity is seen. */
3427
7bdbfa05 3428/* Used with push_overloaded_decl. */
0cbd7506 3429#define PUSH_GLOBAL 0 /* Push the DECL into namespace scope,
7bdbfa05 3430 regardless of the current scope. */
0cbd7506 3431#define PUSH_LOCAL 1 /* Push the DECL into the current
7bdbfa05 3432 scope. */
0cbd7506 3433#define PUSH_USING 2 /* We are pushing this DECL as the
7bdbfa05
MM
3434 result of a using declaration. */
3435
a8f73d4b 3436/* Used with start function. */
0cbd7506
MS
3437#define SF_DEFAULT 0 /* No flags. */
3438#define SF_PRE_PARSED 1 /* The function declaration has
a8f73d4b
MM
3439 already been parsed. */
3440#define SF_INCLASS_INLINE 2 /* The function is an inline, defined
3441 in the class body. */
9edc3913 3442
3bfdc719
MM
3443/* Returns nonzero iff TYPE1 and TYPE2 are the same type, or if TYPE2
3444 is derived from TYPE1, or if TYPE2 is a pointer (reference) to a
3445 class derived from the type pointed to (referred to) by TYPE1. */
98e40e83
GS
3446#define same_or_base_type_p(TYPE1, TYPE2) \
3447 comptypes ((TYPE1), (TYPE2), COMPARE_BASE)
3bfdc719 3448
f84b4be9 3449/* These macros are used to access a TEMPLATE_PARM_INDEX. */
da8a66fc
ML
3450#define TEMPLATE_PARM_INDEX_CAST(NODE) \
3451 ((template_parm_index*)TEMPLATE_PARM_INDEX_CHECK (NODE))
3452#define TEMPLATE_PARM_IDX(NODE) (TEMPLATE_PARM_INDEX_CAST (NODE)->index)
3453#define TEMPLATE_PARM_LEVEL(NODE) (TEMPLATE_PARM_INDEX_CAST (NODE)->level)
f84b4be9 3454#define TEMPLATE_PARM_DESCENDANTS(NODE) (TREE_CHAIN (NODE))
da8a66fc
ML
3455#define TEMPLATE_PARM_ORIG_LEVEL(NODE) (TEMPLATE_PARM_INDEX_CAST (NODE)->orig_level)
3456#define TEMPLATE_PARM_DECL(NODE) (TEMPLATE_PARM_INDEX_CAST (NODE)->decl)
f84b4be9 3457
bb20cc46 3458/* These macros are for accessing the fields of TEMPLATE_TYPE_PARM,
a1281f45 3459 TEMPLATE_TEMPLATE_PARM and BOUND_TEMPLATE_TEMPLATE_PARM nodes. */
a2982c1b
RK
3460#define TEMPLATE_TYPE_PARM_INDEX(NODE) \
3461 (TREE_CHECK3 ((NODE), TEMPLATE_TYPE_PARM, TEMPLATE_TEMPLATE_PARM, \
3462 BOUND_TEMPLATE_TEMPLATE_PARM))->type.values
f84b4be9
JM
3463#define TEMPLATE_TYPE_IDX(NODE) \
3464 (TEMPLATE_PARM_IDX (TEMPLATE_TYPE_PARM_INDEX (NODE)))
3465#define TEMPLATE_TYPE_LEVEL(NODE) \
3466 (TEMPLATE_PARM_LEVEL (TEMPLATE_TYPE_PARM_INDEX (NODE)))
3467#define TEMPLATE_TYPE_ORIG_LEVEL(NODE) \
3468 (TEMPLATE_PARM_ORIG_LEVEL (TEMPLATE_TYPE_PARM_INDEX (NODE)))
3469#define TEMPLATE_TYPE_DECL(NODE) \
3470 (TEMPLATE_PARM_DECL (TEMPLATE_TYPE_PARM_INDEX (NODE)))
8d08fdba 3471
761f0855
GDR
3472/* These constants can used as bit flags in the process of tree formatting.
3473
3474 TFF_PLAIN_IDENTIFIER: unqualified part of a name.
749ced52 3475 TFF_SCOPE: include the class and namespace scope of the name.
761f0855
GDR
3476 TFF_CHASE_TYPEDEF: print the original type-id instead of the typedef-name.
3477 TFF_DECL_SPECIFIERS: print decl-specifiers.
3478 TFF_CLASS_KEY_OR_ENUM: precede a class-type name (resp. enum name) with
3479 a class-key (resp. `enum').
3480 TFF_RETURN_TYPE: include function return type.
3481 TFF_FUNCTION_DEFAULT_ARGUMENTS: include function default parameter values.
3482 TFF_EXCEPTION_SPECIFICATION: show function exception specification.
aab8454a 3483 TFF_TEMPLATE_HEADER: show the template<...> header in a
761f0855 3484 template-declaration.
761f0855 3485 TFF_TEMPLATE_NAME: show only template-name.
303357a7
GB
3486 TFF_EXPR_IN_PARENS: parenthesize expressions.
3487 TFF_NO_FUNCTION_ARGUMENTS: don't show function arguments. */
761f0855 3488
0cbd7506
MS
3489#define TFF_PLAIN_IDENTIFIER (0)
3490#define TFF_SCOPE (1)
3491#define TFF_CHASE_TYPEDEF (1 << 1)
3492#define TFF_DECL_SPECIFIERS (1 << 2)
3493#define TFF_CLASS_KEY_OR_ENUM (1 << 3)
3494#define TFF_RETURN_TYPE (1 << 4)
3495#define TFF_FUNCTION_DEFAULT_ARGUMENTS (1 << 5)
3496#define TFF_EXCEPTION_SPECIFICATION (1 << 6)
3497#define TFF_TEMPLATE_HEADER (1 << 7)
3498#define TFF_TEMPLATE_NAME (1 << 8)
3499#define TFF_EXPR_IN_PARENS (1 << 9)
3500#define TFF_NO_FUNCTION_ARGUMENTS (1 << 10)
9e93bc9d 3501
1899c3a4
KL
3502/* Returns the TEMPLATE_DECL associated to a TEMPLATE_TEMPLATE_PARM
3503 node. */
bb20cc46 3504#define TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL(NODE) \
a1281f45 3505 ((TREE_CODE (NODE) == BOUND_TEMPLATE_TEMPLATE_PARM) \
bb20cc46 3506 ? TYPE_TI_TEMPLATE (NODE) \
1899c3a4
KL
3507 : TYPE_NAME (NODE))
3508
51c184be 3509/* in lex.c */
f5e99456 3510
b2f29cd9 3511extern void init_reswords (void);
f5e99456 3512
d7e7759d
BC
3513/* Indexed by TREE_CODE, these tables give C-looking names to
3514 operators represented by TREE_CODES. For example,
3515 opname_tab[(int) MINUS_EXPR] == "-". */
3516extern const char **opname_tab, **assignop_tab;
596ea4e5 3517
17211ab5 3518typedef struct operator_name_info_t GTY(())
596ea4e5
AS
3519{
3520 /* The IDENTIFIER_NODE for the operator. */
3521 tree identifier;
3522 /* The name of the operator. */
3523 const char *name;
3524 /* The mangled name of the operator. */
3525 const char *mangled_name;
3fa3c4bd
MM
3526 /* The arity of the operator. */
3527 int arity;
596ea4e5
AS
3528} operator_name_info_t;
3529
3530/* A mapping from tree codes to operator name information. */
17211ab5
GK
3531extern GTY(()) operator_name_info_t operator_name_info
3532 [(int) LAST_CPLUS_TREE_CODE];
596ea4e5 3533/* Similar, but for assignment operators. */
17211ab5
GK
3534extern GTY(()) operator_name_info_t assignment_operator_name_info
3535 [(int) LAST_CPLUS_TREE_CODE];
596ea4e5 3536
3c01e5df
MM
3537/* A type-qualifier, or bitmask therefore, using the TYPE_QUAL
3538 constants. */
3539
3540typedef int cp_cv_quals;
3541
62d1db17
MM
3542/* A storage class. */
3543
3544typedef enum cp_storage_class {
3545 /* sc_none must be zero so that zeroing a cp_decl_specifier_seq
3546 sets the storage_class field to sc_none. */
3547 sc_none = 0,
3548 sc_auto,
3549 sc_register,
3550 sc_static,
3551 sc_extern,
5e7752d2 3552 sc_mutable
62d1db17
MM
3553} cp_storage_class;
3554
3555/* An individual decl-specifier. */
3556
3557typedef enum cp_decl_spec {
3558 ds_first,
3559 ds_signed = ds_first,
3560 ds_unsigned,
3561 ds_short,
3562 ds_long,
3563 ds_const,
3564 ds_volatile,
3565 ds_restrict,
3566 ds_inline,
3567 ds_virtual,
3568 ds_explicit,
3569 ds_friend,
3570 ds_typedef,
3571 ds_complex,
3572 ds_thread,
3573 ds_last
3574} cp_decl_spec;
3575
3576/* A decl-specifier-seq. */
3577
3578typedef struct cp_decl_specifier_seq {
3579 /* The number of times each of the keywords has been seen. */
3580 unsigned specs[(int) ds_last];
3581 /* The primary type, if any, given by the decl-specifier-seq.
3582 Modifiers, like "short", "const", and "unsigned" are not
3583 reflected here. This field will be a TYPE, unless a typedef-name
3584 was used, in which case it will be a TYPE_DECL. */
3585 tree type;
3586 /* The attributes, if any, provided with the specifier sequence. */
3587 tree attributes;
3588 /* If non-NULL, a built-in type that the user attempted to redefine
3589 to some other type. */
3590 tree redefined_builtin_type;
3591 /* The storage class specified -- or sc_none if no storage class was
3592 explicitly specified. */
3593 cp_storage_class storage_class;
3594 /* True iff TYPE_SPEC indicates a user-defined type. */
3595 BOOL_BITFIELD user_defined_type_p : 1;
3596 /* True iff multiple types were (erroneously) specified for this
3597 decl-specifier-seq. */
3598 BOOL_BITFIELD multiple_types_p : 1;
3599 /* True iff multiple storage classes were (erroneously) specified
3600 for this decl-specifier-seq. */
3601 BOOL_BITFIELD multiple_storage_classes_p : 1;
3602 /* True iff at least one decl-specifier was found. */
3603 BOOL_BITFIELD any_specifiers_p : 1;
3604 /* True iff "int" was explicitly provided. */
3605 BOOL_BITFIELD explicit_int_p : 1;
3606 /* True iff "char" was explicitly provided. */
3607 BOOL_BITFIELD explicit_char_p : 1;
3608} cp_decl_specifier_seq;
3609
058b15c1
MM
3610/* The various kinds of declarators. */
3611
3612typedef enum cp_declarator_kind {
3613 cdk_id,
3614 cdk_function,
3615 cdk_array,
3616 cdk_pointer,
3617 cdk_reference,
3618 cdk_ptrmem,
3619 cdk_error
3620} cp_declarator_kind;
3621
3622/* A declarator. */
3623
3624typedef struct cp_declarator cp_declarator;
3625
3626typedef struct cp_parameter_declarator cp_parameter_declarator;
3627
3628/* A parameter, before it has been semantically analyzed. */
3629struct cp_parameter_declarator {
3630 /* The next parameter, or NULL_TREE if none. */
3631 cp_parameter_declarator *next;
3632 /* The decl-specifiers-seq for the parameter. */
62d1db17 3633 cp_decl_specifier_seq decl_specifiers;
058b15c1
MM
3634 /* The declarator for the parameter. */
3635 cp_declarator *declarator;
3636 /* The default-argument expression, or NULL_TREE, if none. */
3637 tree default_argument;
3638 /* True iff this is the first parameter in the list and the
3639 parameter sequence ends with an ellipsis. */
3640 bool ellipsis_p;
3641};
3642
3643/* A declarator. */
3644struct cp_declarator {
3645 /* The kind of declarator. */
3646 cp_declarator_kind kind;
3647 /* Attributes that apply to this declarator. */
3648 tree attributes;
3649 /* For all but cdk_id and cdk_error, the contained declarator. For
3650 cdk_id and cdk_error, guaranteed to be NULL. */
3651 cp_declarator *declarator;
b68b6828 3652 location_t id_loc; /* Currently only set for cdk_id. */
058b15c1
MM
3653 union {
3654 /* For identifiers. */
3655 struct {
2f2bc524 3656 /* If non-NULL, the qualifying scope (a NAMESPACE_DECL or
0cbd7506 3657 *_TYPE) for this identifier. */
1d786913
MM
3658 tree qualifying_scope;
3659 /* The unqualified name of the entity -- an IDENTIFIER_NODE,
3660 BIT_NOT_EXPR, or TEMPLATE_ID_EXPR. */
3661 tree unqualified_name;
058b15c1
MM
3662 /* If this is the name of a function, what kind of special
3663 function (if any). */
3664 special_function_kind sfk;
3665 } id;
3666 /* For functions. */
3667 struct {
3668 /* The parameters to the function. */
3669 cp_parameter_declarator *parameters;
3670 /* The cv-qualifiers for the function. */
3c01e5df 3671 cp_cv_quals qualifiers;
058b15c1
MM
3672 /* The exception-specification for the function. */
3673 tree exception_specification;
3674 } function;
3675 /* For arrays. */
3676 struct {
3677 /* The bounds to the array. */
3678 tree bounds;
3679 } array;
3680 /* For cdk_pointer, cdk_reference, and cdk_ptrmem. */
3681 struct {
3682 /* The cv-qualifiers for the pointer. */
3c01e5df 3683 cp_cv_quals qualifiers;
058b15c1
MM
3684 /* For cdk_ptrmem, the class type containing the member. */
3685 tree class_type;
3686 } pointer;
3687 } u;
3688};
3689
058b15c1
MM
3690/* A parameter list indicating for a function with no parameters,
3691 e.g "int f(void)". */
3692extern cp_parameter_declarator *no_parameters;
3693
51c184be 3694/* in call.c */
0cbd7506 3695extern bool check_dtor_name (tree, tree);
158991b7 3696
b2f29cd9 3697extern tree build_vfield_ref (tree, tree);
b2f29cd9 3698extern tree build_conditional_expr (tree, tree, tree);
0cbd7506
MS
3699extern tree build_addr_func (tree);
3700extern tree build_call (tree, tree);
3701extern bool null_ptr_cst_p (tree);
3702extern bool sufficient_parms_p (tree);
3703extern tree type_decays_to (tree);
3704extern tree build_user_type_conversion (tree, tree, int);
d63d5d0c 3705extern tree build_new_function_call (tree, tree, bool);
63c9a190
MM
3706extern tree build_operator_new_call (tree, tree, tree *, tree *,
3707 tree *);
3708extern tree build_new_method_call (tree, tree, tree, tree, int,
3709 tree *);
0cbd7506
MS
3710extern tree build_special_member_call (tree, tree, tree, tree, int);
3711extern tree build_new_op (enum tree_code, int, tree, tree, tree, bool *);
63c9a190 3712extern tree build_op_delete_call (enum tree_code, tree, tree, bool, tree, tree);
0cbd7506 3713extern bool can_convert (tree, tree);
30f86ec3 3714extern bool can_convert_arg (tree, tree, tree, int);
0cbd7506
MS
3715extern bool can_convert_arg_bad (tree, tree, tree);
3716extern bool enforce_access (tree, tree);
3717extern tree convert_default_arg (tree, tree, tree, int);
3718extern tree convert_arg_to_ellipsis (tree);
3719extern tree build_x_va_arg (tree, tree);
3720extern tree cxx_type_promotes_to (tree);
3721extern tree type_passed_as (tree);
3722extern tree convert_for_arg_passing (tree, tree);
3723extern bool is_properly_derived_from (tree, tree);
3724extern tree initialize_reference (tree, tree, tree, tree *);
3725extern tree make_temporary_var_for_ref_to_temp (tree, tree);
3726extern tree strip_top_quals (tree);
3727extern tree perform_implicit_conversion (tree, tree);
33c25e5c 3728extern tree perform_direct_initialization_if_possible (tree, tree, bool);
0cbd7506
MS
3729extern tree in_charge_arg_for_name (tree);
3730extern tree build_cxx_call (tree, tree);
5bd61841 3731#ifdef ENABLE_CHECKING
0cbd7506 3732extern void validate_conversion_obstack (void);
5bd61841 3733#endif /* ENABLE_CHECKING */
8d08fdba 3734
51c184be 3735/* in class.c */
0cbd7506
MS
3736extern tree build_base_path (enum tree_code, tree,
3737 tree, int);
3738extern tree convert_to_base (tree, tree, bool, bool);
3739extern tree convert_to_base_statically (tree, tree);
b2f29cd9
NN
3740extern tree build_vtbl_ref (tree, tree);
3741extern tree build_vfn_ref (tree, tree);
0cbd7506
MS
3742extern tree get_vtable_decl (tree, int);
3743extern void resort_type_method_vec (void *, void *,
3744 gt_pointer_operator, void *);
b77fe7b4 3745extern bool add_method (tree, tree, tree);
fa6098f8 3746extern bool currently_open_class (tree);
b2f29cd9 3747extern tree currently_open_derived_class (tree);
b2f29cd9
NN
3748extern tree finish_struct (tree, tree);
3749extern void finish_struct_1 (tree);
3750extern int resolves_to_fixed_type_p (tree, int *);
3751extern void init_class_processing (void);
3752extern int is_empty_class (tree);
29370796 3753extern void pushclass (tree);
b2f29cd9 3754extern void popclass (void);
14d22dd6 3755extern void push_nested_class (tree);
b2f29cd9
NN
3756extern void pop_nested_class (void);
3757extern int current_lang_depth (void);
3758extern void push_lang_context (tree);
3759extern void pop_lang_context (void);
3760extern tree instantiate_type (tree, tree, tsubst_flags_t);
0cbd7506 3761extern void print_class_statistics (void);
b2f29cd9 3762extern void cxx_print_statistics (void);
0cbd7506
MS
3763extern void cxx_print_xnode (FILE *, tree, int);
3764extern void cxx_print_decl (FILE *, tree, int);
3765extern void cxx_print_type (FILE *, tree, int);
3766extern void cxx_print_identifier (FILE *, tree, int);
b2f29cd9
NN
3767extern void cxx_print_error_function (struct diagnostic_context *,
3768 const char *);
3769extern void build_self_reference (void);
3770extern int same_signature_p (tree, tree);
b2f29cd9 3771extern void maybe_add_class_template_decl_list (tree, tree, int);
0cbd7506
MS
3772extern void unreverse_member_declarations (tree);
3773extern void invalidate_class_lookup_cache (void);
3774extern void maybe_note_name_used_in_class (tree, tree);
3775extern void note_name_declared_in_class (tree, tree);
3776extern tree get_vtbl_decl_for_binfo (tree);
bb885938 3777extern void debug_class (tree);
0cbd7506 3778extern void debug_thunks (tree);
0f59171d 3779extern tree cp_fold_obj_type_ref (tree, tree);
0cbd7506
MS
3780extern void set_linkage_according_to_type (tree, tree);
3781extern void determine_key_method (tree);
3782extern void check_for_override (tree, tree);
c888c93b
MM
3783extern void push_class_stack (void);
3784extern void pop_class_stack (void);
8d08fdba 3785
51c184be 3786/* in cvt.c */
0cbd7506
MS
3787extern tree convert_to_reference (tree, tree, int, int, tree);
3788extern tree convert_from_reference (tree);
3789extern tree force_rvalue (tree);
3790extern tree ocp_convert (tree, tree, int, int);
3791extern tree cp_convert (tree, tree);
3792extern tree convert_to_void (tree, const char */*implicit context*/);
3793extern tree convert_force (tree, tree, int);
0cbd7506
MS
3794extern tree build_expr_type_conversion (int, tree, bool);
3795extern tree type_promotes_to (tree);
3796extern tree perform_qualification_conversions (tree, tree);
3797extern void clone_function_decl (tree, int);
b2f29cd9 3798extern void adjust_clone_args (tree);
8d08fdba 3799
51c184be 3800/* decl.c */
9dcf6e73 3801extern tree poplevel (int, int, int);
b2f29cd9 3802extern void insert_block (tree);
b2f29cd9 3803extern tree pushdecl (tree);
d63d5d0c 3804extern tree pushdecl_maybe_friend (tree, bool);
b2f29cd9 3805extern void cxx_init_decl_processing (void);
19114537 3806enum cp_tree_node_structure_enum cp_tree_node_structure
0cbd7506 3807 (union lang_tree_node *);
b2f29cd9
NN
3808extern bool cxx_mark_addressable (tree);
3809extern void cxx_push_function_context (struct function *);
3810extern void cxx_pop_function_context (struct function *);
0cbd7506
MS
3811extern void maybe_push_cleanup_level (tree);
3812extern void finish_scope (void);
b2f29cd9
NN
3813extern void push_switch (tree);
3814extern void pop_switch (void);
bd3d082e 3815extern tree pushtag (tree, tree, tag_scope);
b2f29cd9 3816extern tree make_anon_name (void);
b2f29cd9 3817extern int decls_match (tree, tree);
d63d5d0c 3818extern tree duplicate_decls (tree, tree, bool);
d63d5d0c 3819extern tree pushdecl_top_level_maybe_friend (tree, bool);
0cbd7506 3820extern tree pushdecl_top_level_and_finish (tree, tree);
0cbd7506 3821extern tree declare_local_label (tree);
5b030314 3822extern tree define_label (location_t, tree);
b2f29cd9 3823extern void check_goto (tree);
1799e5d5 3824extern bool check_omp_return (void);
fc6a28d7 3825extern tree make_typename_type (tree, tree, enum tag_types, tsubst_flags_t);
b939a023 3826extern tree make_unbound_class_template (tree, tree, tree, tsubst_flags_t);
0cbd7506 3827extern tree check_for_out_of_scope_variable (tree);
b2f29cd9
NN
3828extern tree build_library_fn (tree, tree);
3829extern tree build_library_fn_ptr (const char *, tree);
3830extern tree build_cp_library_fn_ptr (const char *, tree);
3831extern tree push_library_fn (tree, tree);
3832extern tree push_void_library_fn (tree, tree);
3833extern tree push_throw_library_fn (tree, tree);
62d1db17
MM
3834extern tree check_tag_decl (cp_decl_specifier_seq *);
3835extern tree shadow_tag (cp_decl_specifier_seq *);
3836extern tree groktypename (cp_decl_specifier_seq *, const cp_declarator *);
4514aa8c 3837extern tree start_decl (const cp_declarator *, cp_decl_specifier_seq *, int, tree, tree, tree *);
e92fb501 3838extern void start_decl_1 (tree, bool);
d174af6c 3839extern void cp_finish_decl (tree, tree, bool, tree, int);
b2f29cd9 3840extern void finish_decl (tree, tree, tree);
aab038d5 3841extern int cp_complete_array_type (tree *, tree, bool);
b2f29cd9 3842extern tree build_ptrmemfunc_type (tree);
0cbd7506 3843extern tree build_ptrmem_type (tree, tree);
f30432d7 3844/* the grokdeclarator prototype is in decl.h */
e2537f2c 3845extern tree build_this_parm (tree, cp_cv_quals);
b2f29cd9 3846extern int copy_fn_p (tree);
0cbd7506 3847extern tree get_scope_of_declarator (const cp_declarator *);
b2f29cd9
NN
3848extern void grok_special_member_properties (tree);
3849extern int grok_ctor_properties (tree, tree);
7e45bd18 3850extern void grok_op_properties (tree, bool);
29ef83de
KL
3851extern tree xref_tag (enum tag_types, tree, tag_scope, bool);
3852extern tree xref_tag_from_type (tree, tree, tag_scope);
b2f29cd9
NN
3853extern void xref_basetypes (tree, tree);
3854extern tree start_enum (tree);
3855extern void finish_enum (tree);
3856extern void build_enumerator (tree, tree, tree);
0cbd7506 3857extern void start_preparsed_function (tree, tree, int);
62d1db17 3858extern int start_function (cp_decl_specifier_seq *, const cp_declarator *, tree);
b2f29cd9
NN
3859extern tree begin_function_body (void);
3860extern void finish_function_body (tree);
3861extern tree finish_function (int);
62d1db17 3862extern tree start_method (cp_decl_specifier_seq *, const cp_declarator *, tree);
b2f29cd9 3863extern tree finish_method (tree);
0cbd7506 3864extern void maybe_register_incomplete_var (tree);
b2f29cd9
NN
3865extern void complete_vars (tree);
3866extern void finish_stmt (void);
3867extern void print_other_binding_stack (struct cp_binding_level *);
0cbd7506
MS
3868extern void revert_static_member_fn (tree);
3869extern void fixup_anonymous_aggr (tree);
3870extern int check_static_variable_definition (tree, tree);
b2f29cd9 3871extern tree compute_array_index_type (tree, tree);
0cbd7506
MS
3872extern tree check_default_argument (tree, tree);
3873typedef int (*walk_namespaces_fn) (tree, void *);
3874extern int walk_namespaces (walk_namespaces_fn,
3875 void *);
3876extern int wrapup_globals_for_namespace (tree, void *);
3877extern tree create_implicit_typedef (tree, tree);
3878extern tree maybe_push_decl (tree);
a6f86b51 3879extern tree force_target_expr (tree, tree);
0cbd7506
MS
3880extern tree build_target_expr_with_type (tree, tree);
3881extern int local_variable_p (tree);
3882extern int nonstatic_local_decl_p (tree);
0cbd7506
MS
3883extern tree register_dtor_fn (tree);
3884extern tmpl_spec_kind current_tmpl_spec_kind (int);
bb885938 3885extern tree cp_fname_init (const char *, tree *);
0cbd7506
MS
3886extern tree builtin_function (const char *name, tree type,
3887 int code,
3888 enum built_in_class cl,
3889 const char *libname,
3890 tree attrs);
3891extern tree check_elaborated_type_specifier (enum tag_types, tree, bool);
3892extern void warn_extern_redeclared_static (tree, tree);
3893extern const char *cxx_comdat_group (tree);
6de9cd9a 3894extern bool cp_missing_noreturn_ok_p (tree);
0cbd7506
MS
3895extern void initialize_artificial_var (tree, tree);
3896extern tree check_var_type (tree, tree);
3b2db49f 3897extern tree reshape_init (tree, tree);
47aa0df4 3898
594bb0e7 3899extern bool have_extern_spec;
8d08fdba 3900
51c184be 3901/* in decl2.c */
0cbd7506 3902extern bool check_java_method (tree);
e2537f2c 3903extern tree build_memfn_type (tree, tree, cp_cv_quals);
0cbd7506
MS
3904extern void maybe_retrofit_in_chrg (tree);
3905extern void maybe_make_one_only (tree);
3906extern void grokclassfn (tree, tree,
e2537f2c 3907 enum overload_flags);
0cbd7506
MS
3908extern tree grok_array_decl (tree, tree);
3909extern tree delete_sanity (tree, tree, bool, int);
3910extern tree check_classfn (tree, tree, tree);
3911extern void check_member_template (tree);
3912extern tree grokfield (const cp_declarator *, cp_decl_specifier_seq *,
d174af6c 3913 tree, bool, tree, tree);
0cbd7506
MS
3914extern tree grokbitfield (const cp_declarator *, cp_decl_specifier_seq *,
3915 tree);
3916extern void cplus_decl_attributes (tree *, tree, int);
3917extern void finish_anon_union (tree);
3918extern void cp_finish_file (void);
3919extern tree coerce_new_type (tree);
3920extern tree coerce_delete_type (tree);
3921extern void comdat_linkage (tree);
3922extern void determine_visibility (tree);
3923extern void import_export_decl (tree);
c38e9817 3924extern tree build_cleanup (tree);
0cbd7506
MS
3925extern tree build_offset_ref_call_from_tree (tree, tree);
3926extern void check_default_args (tree);
3927extern void mark_used (tree);
d174af6c 3928extern void finish_static_data_member_decl (tree, tree, bool, tree, int);
0cbd7506
MS
3929extern tree cp_build_parm_decl (tree, tree);
3930extern tree get_guard (tree);
3931extern tree get_guard_cond (tree);
3932extern tree set_guard (tree);
3933extern tree cxx_callgraph_analyze_expr (tree *, int *, tree);
3934extern void mark_needed (tree);
3935extern bool decl_needed_p (tree);
3936extern void note_vague_linkage_fn (tree);
e2537f2c 3937extern tree build_artificial_parm (tree, tree);
8d08fdba 3938
824b9a4c 3939/* in error.c */
b2f29cd9
NN
3940extern void init_error (void);
3941extern const char *type_as_string (tree, int);
3942extern const char *decl_as_string (tree, int);
3943extern const char *expr_as_string (tree, int);
b2f29cd9 3944extern const char *lang_decl_name (tree, int);
0cbd7506
MS
3945extern const char *language_to_string (enum languages);
3946extern const char *class_key_or_enum_as_string (tree);
3947extern void print_instantiation_context (void);
824b9a4c 3948
51c184be 3949/* in except.c */
b2f29cd9
NN
3950extern void init_exception_processing (void);
3951extern tree expand_start_catch_block (tree);
3952extern void expand_end_catch_block (void);
b2f29cd9
NN
3953extern tree build_exc_ptr (void);
3954extern tree build_throw (tree);
b2f29cd9
NN
3955extern int nothrow_libfn_p (tree);
3956extern void check_handlers (tree);
3957extern void choose_personality_routine (enum languages);
6cad4e17 3958extern tree eh_type_info (tree);
8d08fdba 3959
51c184be 3960/* in expr.c */
b2f29cd9 3961extern rtx cxx_expand_expr (tree, rtx,
0fab64a3
MM
3962 enum machine_mode,
3963 int, rtx *);
0cbd7506 3964extern tree cplus_expand_constant (tree);
8d08fdba 3965
bd6dd845 3966/* friend.c */
b2f29cd9 3967extern int is_friend (tree, tree);
19db77ce 3968extern void make_friend_class (tree, tree, bool);
0cbd7506 3969extern void add_friend (tree, tree, bool);
e2537f2c 3970extern tree do_friend (tree, tree, tree, tree, enum overload_flags, bool);
bd6dd845 3971
51c184be 3972/* in init.c */
1f5a253a 3973extern tree expand_member_init (tree);
2282d28d 3974extern void emit_mem_initializers (tree);
b2f29cd9 3975extern tree build_aggr_init (tree, tree, int);
b2f29cd9 3976extern int is_aggr_type (tree, int);
b2f29cd9 3977extern tree get_type_value (tree);
0cbd7506 3978extern tree build_zero_init (tree, tree, bool);
a5ac359a 3979extern tree build_offset_ref (tree, tree, bool);
058b15c1 3980extern tree build_new (tree, tree, tree, tree, int);
b84f4651 3981extern tree build_vec_init (tree, tree, tree, bool, int);
0cbd7506
MS
3982extern tree build_delete (tree, tree,
3983 special_function_kind,
3984 int, int);
b2f29cd9 3985extern void push_base_cleanups (void);
0cbd7506
MS
3986extern tree build_vec_delete (tree, tree,
3987 special_function_kind, int);
3988extern tree create_temporary_var (tree);
3989extern void initialize_vtbl_ptrs (tree);
3990extern tree build_java_class_ref (tree);
3991extern tree integral_constant_value (tree);
8d08fdba 3992
51c184be 3993/* in lex.c */
b2f29cd9 3994extern void cxx_dup_lang_specific_decl (tree);
b2f29cd9 3995extern void yyungetc (int, int);
b2f29cd9 3996
0cbd7506
MS
3997extern tree unqualified_name_lookup_error (tree);
3998extern tree unqualified_fn_lookup_error (tree);
b2f29cd9
NN
3999extern tree build_lang_decl (enum tree_code, tree, tree);
4000extern void retrofit_lang_decl (tree);
0cbd7506
MS
4001extern tree copy_decl (tree);
4002extern tree copy_type (tree);
b2f29cd9
NN
4003extern tree cxx_make_type (enum tree_code);
4004extern tree make_aggr_type (enum tree_code);
4005extern void yyerror (const char *);
4006extern void yyhook (int);
4bfec483 4007extern bool cxx_init (void);
0cbd7506 4008extern void cxx_finish (void);
8d08fdba 4009
51c184be 4010/* in method.c */
0cbd7506
MS
4011extern void init_method (void);
4012extern tree make_thunk (tree, bool, tree, tree);
4013extern void finish_thunk (tree);
4014extern void use_thunk (tree, bool);
4015extern void synthesize_method (tree);
0cbd7506
MS
4016extern tree lazily_declare_fn (special_function_kind,
4017 tree);
4018extern tree skip_artificial_parms_for (tree, tree);
4019extern tree make_alias_for (tree, tree);
8d08fdba 4020
46e8c075 4021/* In optimize.c */
0cbd7506 4022extern bool maybe_clone_body (tree);
46e8c075 4023
51c184be 4024/* in pt.c */
b2f29cd9 4025extern void check_template_shadow (tree);
0cbd7506 4026extern tree get_innermost_template_args (tree, int);
b2f29cd9
NN
4027extern void maybe_begin_member_template_processing (tree);
4028extern void maybe_end_member_template_processing (void);
0cbd7506 4029extern tree finish_member_template_decl (tree);
b2f29cd9 4030extern void begin_template_parm_list (void);
0cbd7506
MS
4031extern void begin_specialization (void);
4032extern void reset_specialization (void);
4033extern void end_specialization (void);
4034extern void begin_explicit_instantiation (void);
4035extern void end_explicit_instantiation (void);
4036extern tree check_explicit_specialization (tree, tree, int, int);
058b15c1 4037extern tree process_template_parm (tree, tree, bool);
b2f29cd9
NN
4038extern tree end_template_parm_list (tree);
4039extern void end_template_decl (void);
b2f29cd9 4040extern tree push_template_decl (tree);
d63d5d0c 4041extern tree push_template_decl_real (tree, bool);
0cbd7506
MS
4042extern void redeclare_class_template (tree, tree);
4043extern tree lookup_template_class (tree, tree, tree, tree,
4044 int, tsubst_flags_t);
4045extern tree lookup_template_function (tree, tree);
b2f29cd9 4046extern int uses_template_parms (tree);
d43f603d 4047extern int uses_template_parms_level (tree, int);
b2f29cd9 4048extern tree instantiate_class_template (tree);
3e4a3562 4049extern tree instantiate_template (tree, tree, tsubst_flags_t);
0cbd7506 4050extern int fn_type_unification (tree, tree, tree, tree,
30f86ec3 4051 tree, unification_kind_t, int);
b2f29cd9 4052extern void mark_decl_instantiated (tree, int);
dda04398 4053extern int more_specialized_fn (tree, tree, int);
eb8845be 4054extern void do_decl_instantiation (tree, tree);
b2f29cd9 4055extern void do_type_instantiation (tree, tree, tsubst_flags_t);
eba839f9 4056extern tree instantiate_decl (tree, int, bool);
0cbd7506
MS
4057extern int comp_template_parms (tree, tree);
4058extern int template_class_depth (tree);
4059extern int is_specialization_of (tree, tree);
4060extern bool is_specialization_of_friend (tree, tree);
4061extern int comp_template_args (tree, tree);
b2f29cd9 4062extern void maybe_process_partial_specialization (tree);
0cbd7506
MS
4063extern tree most_specialized_instantiation (tree);
4064extern void print_candidates (tree);
4065extern void instantiate_pending_templates (int);
4066extern tree tsubst_default_argument (tree, tree, tree);
4067extern tree tsubst_copy_and_build (tree, tree, tsubst_flags_t,
4068 tree, bool);
b2f29cd9
NN
4069extern tree most_general_template (tree);
4070extern tree get_mostly_instantiated_function_type (tree);
0cbd7506 4071extern int problematic_instantiation_changed (void);
b2f29cd9 4072extern void record_last_problematic_instantiation (void);
0cbd7506 4073extern tree current_instantiation (void);
a723baf1 4074extern tree maybe_get_template_decl_from_type_decl (tree);
67ffc812 4075extern int processing_template_parmlist;
0cbd7506 4076extern bool dependent_type_p (tree);
d17811fd 4077extern bool any_dependent_template_arguments_p (tree);
0cbd7506
MS
4078extern bool dependent_template_p (tree);
4079extern bool dependent_template_id_p (tree, tree);
4080extern bool type_dependent_expression_p (tree);
d17811fd 4081extern bool any_type_dependent_arguments_p (tree);
0cbd7506
MS
4082extern bool value_dependent_expression_p (tree);
4083extern tree resolve_typename_type (tree, bool);
4084extern tree template_for_substitution (tree);
4085extern tree build_non_dependent_expr (tree);
4086extern tree build_non_dependent_args (tree);
4087extern bool reregister_specialization (tree, tree, tree);
4088extern tree fold_non_dependent_expr (tree);
824b9a4c
MS
4089
4090/* in repo.c */
0cbd7506
MS
4091extern void init_repo (void);
4092extern int repo_emit_p (tree);
4093extern bool repo_export_class_p (tree);
4094extern void finish_repo (void);
824b9a4c
MS
4095
4096/* in rtti.c */
94214953 4097/* A vector of all tinfo decls that haven't been emitted yet. */
d4e6fecb 4098extern GTY(()) VEC(tree,gc) *unemitted_tinfo_decls;
a260bce6 4099
0cbd7506
MS
4100extern void init_rtti_processing (void);
4101extern tree build_typeid (tree);
4102extern tree get_tinfo_decl (tree);
4103extern tree get_typeid (tree);
4104extern tree build_dynamic_cast (tree, tree);
4105extern void emit_support_tinfos (void);
4106extern bool emit_tinfo_decl (tree);
8d08fdba 4107
51c184be 4108/* in search.c */
0cbd7506
MS
4109extern bool accessible_base_p (tree, tree, bool);
4110extern tree lookup_base (tree, tree, base_access,
4111 base_kind *);
4112extern tree dcast_base_hint (tree, tree);
4113extern int accessible_p (tree, tree, bool);
4114extern tree lookup_field_1 (tree, tree, bool);
86ac0575 4115extern tree lookup_field (tree, tree, int, bool);
0cbd7506
MS
4116extern int lookup_fnfields_1 (tree, tree);
4117extern int class_method_index_for_fn (tree, tree);
b2f29cd9 4118extern tree lookup_fnfields (tree, tree, int);
86ac0575 4119extern tree lookup_member (tree, tree, int, bool);
b2f29cd9 4120extern int look_for_overrides (tree, tree);
0cbd7506 4121extern void get_pure_virtuals (tree);
b2f29cd9
NN
4122extern void maybe_suppress_debug_info (tree);
4123extern void note_debug_info_needed (tree);
b2f29cd9 4124extern void print_search_statistics (void);
b2f29cd9
NN
4125extern void reinit_search_statistics (void);
4126extern tree current_scope (void);
0cbd7506
MS
4127extern int at_function_scope_p (void);
4128extern bool at_class_scope_p (void);
4129extern bool at_namespace_scope_p (void);
b2f29cd9
NN
4130extern tree context_for_name_lookup (tree);
4131extern tree lookup_conversions (tree);
b2f29cd9 4132extern tree binfo_from_vbase (tree);
58c42dc2 4133extern tree binfo_for_vbase (tree, tree);
b2f29cd9 4134extern tree look_for_overrides_here (tree, tree);
5d5a519f
NS
4135#define dfs_skip_bases ((tree)1)
4136extern tree dfs_walk_all (tree, tree (*) (tree, void *),
4137 tree (*) (tree, void *), void *);
4138extern tree dfs_walk_once (tree, tree (*) (tree, void *),
4139 tree (*) (tree, void *), void *);
0cbd7506
MS
4140extern tree binfo_via_virtual (tree, tree);
4141extern tree build_baselink (tree, tree, tree, tree);
9e259dd1 4142extern tree adjust_result_of_qualified_name_lookup
0cbd7506 4143 (tree, tree, tree);
dbbf88d1
NS
4144extern tree copied_binfo (tree, tree);
4145extern tree original_binfo (tree, tree);
0cbd7506 4146extern int shared_member_p (tree);
dbbf88d1 4147
ad321293 4148/* in semantics.c */
8d241e0b 4149extern void push_deferring_access_checks (deferring_kind);
cf22909c
KL
4150extern void resume_deferring_access_checks (void);
4151extern void stop_deferring_access_checks (void);
4152extern void pop_deferring_access_checks (void);
4153extern tree get_deferred_access_checks (void);
0cbd7506 4154extern void pop_to_parent_deferring_access_checks (void);
6b648482 4155extern void perform_access_checks (tree);
cf22909c
KL
4156extern void perform_deferred_access_checks (void);
4157extern void perform_or_defer_access_check (tree, tree);
ed3d0b14 4158extern int stmts_are_full_exprs_p (void);
0cbd7506 4159extern void init_cp_semantics (void);
20aff0b3 4160extern tree do_poplevel (tree);
350fae66 4161extern void add_decl_expr (tree);
0cbd7506
MS
4162extern tree finish_expr_stmt (tree);
4163extern tree begin_if_stmt (void);
4164extern void finish_if_stmt_cond (tree, tree);
4165extern tree finish_then_clause (tree);
325c3691 4166extern void begin_else_clause (tree);
0cbd7506
MS
4167extern void finish_else_clause (tree);
4168extern void finish_if_stmt (tree);
4169extern tree begin_while_stmt (void);
4170extern void finish_while_stmt_cond (tree, tree);
4171extern void finish_while_stmt (tree);
4172extern tree begin_do_stmt (void);
4173extern void finish_do_body (tree);
4174extern void finish_do_stmt (tree, tree);
4175extern tree finish_return_stmt (tree);
4176extern tree begin_for_stmt (void);
4177extern void finish_for_init_stmt (tree);
4178extern void finish_for_cond (tree, tree);
4179extern void finish_for_expr (tree, tree);
4180extern void finish_for_stmt (tree);
4181extern tree finish_break_stmt (void);
4182extern tree finish_continue_stmt (void);
4183extern tree begin_switch_stmt (void);
4184extern void finish_switch_cond (tree, tree);
4185extern void finish_switch_stmt (tree);
4186extern tree finish_case_label (tree, tree);
4187extern tree finish_goto_stmt (tree);
4188extern tree begin_try_block (void);
4189extern void finish_try_block (tree);
b2f29cd9
NN
4190extern tree begin_eh_spec_block (void);
4191extern void finish_eh_spec_block (tree, tree);
0cbd7506 4192extern void finish_handler_sequence (tree);
eaf6fb90 4193extern tree begin_function_try_block (tree *);
0cbd7506 4194extern void finish_function_try_block (tree);
eaf6fb90 4195extern void finish_function_handler_sequence (tree, tree);
0cbd7506
MS
4196extern void finish_cleanup_try_block (tree);
4197extern tree begin_handler (void);
4198extern void finish_handler_parms (tree, tree);
4199extern void finish_handler (tree);
4200extern void finish_cleanup (tree, tree);
325c3691
RH
4201
4202enum {
4203 BCS_NO_SCOPE = 1,
4204 BCS_TRY_BLOCK = 2,
4205 BCS_FN_BODY = 4
4206};
0cbd7506 4207extern tree begin_compound_stmt (unsigned int);
325c3691 4208
0cbd7506
MS
4209extern void finish_compound_stmt (tree);
4210extern tree finish_asm_stmt (int, tree, tree, tree, tree);
4211extern tree finish_label_stmt (tree);
4212extern void finish_label_decl (tree);
4213extern tree finish_parenthesized_expr (tree);
a3f10e50 4214extern tree finish_non_static_data_member (tree, tree, tree);
0cbd7506
MS
4215extern tree begin_stmt_expr (void);
4216extern tree finish_stmt_expr_expr (tree, tree);
4217extern tree finish_stmt_expr (tree, bool);
4218extern tree perform_koenig_lookup (tree, tree);
4219extern tree finish_call_expr (tree, tree, bool, bool);
4220extern tree finish_increment_expr (tree, enum tree_code);
4221extern tree finish_this_expr (void);
a723baf1 4222extern tree finish_pseudo_destructor_expr (tree, tree, tree);
0cbd7506 4223extern tree finish_unary_op_expr (enum tree_code, tree);
4038c495 4224extern tree finish_compound_literal (tree, VEC(constructor_elt,gc) *);
0cbd7506
MS
4225extern tree finish_fname (tree);
4226extern void finish_translation_unit (void);
4227extern tree finish_template_type_parm (tree, tree);
b2f29cd9 4228extern tree finish_template_template_parm (tree, tree);
0cbd7506
MS
4229extern tree begin_class_definition (tree);
4230extern void finish_template_decl (tree);
4231extern tree finish_template_type (tree, tree, int);
4232extern tree finish_base_specifier (tree, tree, bool);
4233extern void finish_member_declaration (tree);
8f78f01f 4234extern void qualified_name_lookup_error (tree, tree, tree);
02ed62dd 4235extern void check_template_keyword (tree);
0cbd7506 4236extern tree finish_id_expression (tree, tree, tree,
02ed62dd 4237 cp_id_kind *,
19114537 4238 bool, bool, bool *,
02ed62dd 4239 bool, bool, bool, bool,
b3445994 4240 const char **);
b2f29cd9 4241extern tree finish_typeof (tree);
0cbd7506
MS
4242extern void finish_decl_cleanup (tree, tree);
4243extern void finish_eh_cleanup (tree);
4244extern void expand_body (tree);
4245extern void finish_mem_initializers (tree);
8ba658ee 4246extern tree check_template_template_default_arg (tree);
8cd2462c 4247extern void expand_or_defer_fn (tree);
ee76b931 4248extern void check_accessibility_of_qualified_id (tree, tree, tree);
02ed62dd
MM
4249extern tree finish_qualified_id_expr (tree, tree, bool, bool,
4250 bool, bool);
9eeb200f 4251extern void simplify_aggr_init_expr (tree *);
6de9cd9a 4252extern void finalize_nrv (tree *, tree, tree);
0cbd7506 4253extern void note_decl_for_pch (tree);
1799e5d5
RH
4254extern tree finish_omp_clauses (tree);
4255extern void finish_omp_threadprivate (tree);
4256extern tree begin_omp_structured_block (void);
4257extern tree finish_omp_structured_block (tree);
4258extern tree begin_omp_parallel (void);
4259extern tree finish_omp_parallel (tree, tree);
4260extern tree finish_omp_for (location_t, tree, tree,
4261 tree, tree, tree, tree);
4262extern void finish_omp_atomic (enum tree_code, tree, tree);
4263extern void finish_omp_barrier (void);
4264extern void finish_omp_flush (void);
4265extern enum omp_clause_default_kind cxx_omp_predetermined_sharing (tree);
4266extern tree cxx_omp_clause_default_ctor (tree, tree);
4267extern tree cxx_omp_clause_copy_ctor (tree, tree, tree);
4268extern tree cxx_omp_clause_assign_op (tree, tree, tree);
4269extern tree cxx_omp_clause_dtor (tree, tree);
077b0dfb 4270extern bool cxx_omp_privatize_by_reference (tree);
35b1567d 4271
51c184be 4272/* in tree.c */
b2f29cd9 4273extern void lang_check_failed (const char *, int,
82e5a12a 4274 const char *) ATTRIBUTE_NORETURN;
b2f29cd9 4275extern tree stabilize_expr (tree, tree *);
6de9cd9a
DN
4276extern void stabilize_call (tree, tree *);
4277extern bool stabilize_init (tree, tree *);
40aac948 4278extern tree add_stmt_to_compound (tree, tree);
b2f29cd9 4279extern tree cxx_maybe_build_cleanup (tree);
0cbd7506 4280extern void init_tree (void);
b2f29cd9
NN
4281extern int pod_type_p (tree);
4282extern int zero_init_p (tree);
0cbd7506 4283extern tree canonical_type_variant (tree);
48b45647
NS
4284extern tree copy_binfo (tree, tree, tree,
4285 tree *, int);
b2f29cd9 4286extern int member_p (tree);
0cbd7506 4287extern cp_lvalue_kind real_lvalue_p (tree);
100d337a 4288extern bool builtin_valid_in_constant_expr_p (tree);
8e1daa34 4289extern tree build_min (enum tree_code, tree, ...);
b2f29cd9 4290extern tree build_min_nt (enum tree_code, ...);
8e1daa34 4291extern tree build_min_non_dep (enum tree_code, tree, ...);
b2f29cd9
NN
4292extern tree build_cplus_new (tree, tree);
4293extern tree get_target_expr (tree);
b2f29cd9
NN
4294extern tree build_cplus_array_type (tree, tree);
4295extern tree hash_tree_cons (tree, tree, tree);
4296extern tree hash_tree_chain (tree, tree);
02ed62dd 4297extern tree build_qualified_name (tree, tree, tree, bool);
b2f29cd9
NN
4298extern int is_overloaded_fn (tree);
4299extern tree get_first_fn (tree);
0cbd7506
MS
4300extern tree ovl_cons (tree, tree);
4301extern tree build_overload (tree, tree);
b2f29cd9
NN
4302extern const char *cxx_printable_name (tree, int);
4303extern tree build_exception_variant (tree, tree);
4304extern tree bind_template_template_parm (tree, tree);
4305extern tree array_type_nelts_total (tree);
4306extern tree array_type_nelts_top (tree);
4307extern tree break_out_target_exprs (tree);
4308extern tree get_type_decl (tree);
b2f29cd9
NN
4309extern tree decl_namespace_context (tree);
4310extern tree lvalue_type (tree);
4311extern tree error_type (tree);
b2f29cd9
NN
4312extern int varargs_function_p (tree);
4313extern int really_overloaded_fn (tree);
c8a209ca 4314extern bool cp_tree_equal (tree, tree);
4684cd27 4315extern tree no_linkage_check (tree, bool);
b2f29cd9
NN
4316extern void debug_binfo (tree);
4317extern tree build_dummy_object (tree);
4318extern tree maybe_dummy_object (tree, tree *);
4319extern int is_dummy_object (tree);
349ae713 4320extern const struct attribute_spec cxx_attribute_table[];
0cbd7506 4321extern tree make_ptrmem_cst (tree, tree);
e9525111 4322extern tree cp_build_type_attribute_variant (tree, tree);
0cbd7506 4323extern tree cp_build_qualified_type_real (tree, int, tsubst_flags_t);
adecb3f4 4324#define cp_build_qualified_type(TYPE, QUALS) \
23fca1f5 4325 cp_build_qualified_type_real ((TYPE), (QUALS), tf_warning_or_error)
b2f29cd9 4326extern special_function_kind special_function_p (tree);
0cbd7506
MS
4327extern int count_trees (tree);
4328extern int char_type_p (tree);
4329extern void verify_stmt_tree (tree);
0cbd7506 4330extern linkage_kind decl_linkage (tree);
b2f29cd9 4331extern tree cp_walk_subtrees (tree*, int*, walk_tree_fn,
0cbd7506
MS
4332 void*, struct pointer_set_t*);
4333extern int cp_cannot_inline_tree_fn (tree*);
4334extern tree cp_add_pending_fn_decls (void*,tree);
4335extern int cp_auto_var_in_fn_p (tree,tree);
4336extern tree fold_if_not_in_template (tree);
5cc53d4e 4337extern tree rvalue (tree);
e1039697 4338extern tree convert_bitfield_to_declared_type (tree);
b655f214 4339extern tree cp_save_expr (tree);
5cc53d4e 4340
51c184be 4341/* in typeck.c */
b2f29cd9
NN
4342extern int string_conv_p (tree, tree, int);
4343extern tree cp_truthvalue_conversion (tree);
4344extern tree condition_conversion (tree);
b2f29cd9
NN
4345extern tree require_complete_type (tree);
4346extern tree complete_type (tree);
be20e673 4347extern tree complete_type_or_else (tree, tree);
b2f29cd9 4348extern int type_unknown_p (tree);
acd8e2d0 4349extern bool comp_except_specs (tree, tree, bool);
c8a209ca 4350extern bool comptypes (tree, tree, int);
acd8e2d0 4351extern bool compparms (tree, tree);
0cbd7506
MS
4352extern int comp_cv_qualification (tree, tree);
4353extern int comp_cv_qual_signature (tree, tree);
4354extern tree cxx_sizeof_or_alignof_expr (tree, enum tree_code);
4355extern tree cxx_sizeof_or_alignof_type (tree, enum tree_code, bool);
ea793912 4356#define cxx_sizeof_nowarn(T) cxx_sizeof_or_alignof_type (T, SIZEOF_EXPR, false)
b2f29cd9 4357extern tree inline_conversion (tree);
38a4afee 4358extern tree is_bitfield_expr_with_lowered_type (tree);
b2f29cd9 4359extern tree decay_conversion (tree);
50ad9642 4360extern tree build_class_member_access_expr (tree, tree, tree, bool);
02ed62dd 4361extern tree finish_class_member_access_expr (tree, tree, bool);
b2f29cd9
NN
4362extern tree build_x_indirect_ref (tree, const char *);
4363extern tree build_indirect_ref (tree, const char *);
4364extern tree build_array_ref (tree, tree);
4365extern tree get_member_function_from_ptrfunc (tree *, tree);
19114537 4366extern tree build_x_binary_op (enum tree_code, tree, tree,
ec835fb2 4367 bool *);
b2f29cd9
NN
4368extern tree build_x_unary_op (enum tree_code, tree);
4369extern tree unary_complex_lvalue (enum tree_code, tree);
4370extern tree build_x_conditional_expr (tree, tree, tree);
0cbd7506 4371extern tree build_x_compound_expr_from_list (tree, const char *);
d17811fd 4372extern tree build_x_compound_expr (tree, tree);
c7b62f14 4373extern tree build_compound_expr (tree, tree);
b2f29cd9
NN
4374extern tree build_static_cast (tree, tree);
4375extern tree build_reinterpret_cast (tree, tree);
4376extern tree build_const_cast (tree, tree);
4377extern tree build_c_cast (tree, tree);
4378extern tree build_x_modify_expr (tree, enum tree_code, tree);
4379extern tree build_modify_expr (tree, enum tree_code, tree);
0cbd7506
MS
4380extern tree convert_for_initialization (tree, tree, tree, int,
4381 const char *, tree, int);
b2f29cd9 4382extern int comp_ptr_ttypes (tree, tree);
34b5375f 4383extern bool comp_ptr_ttypes_const (tree, tree);
b2f29cd9 4384extern int ptr_reasonably_similar (tree, tree);
08e17d9d 4385extern tree build_ptrmemfunc (tree, tree, int, bool);
0cbd7506
MS
4386extern int cp_type_quals (tree);
4387extern bool cp_has_mutable_p (tree);
4388extern bool at_least_as_qualified_p (tree, tree);
4389extern void cp_apply_type_quals_to_decl (int, tree);
4390extern tree build_ptrmemfunc1 (tree, tree, tree);
4391extern void expand_ptrmemfunc_cst (tree, tree *, tree *);
b2f29cd9 4392extern tree type_after_usual_arithmetic_conversions (tree, tree);
0cbd7506
MS
4393extern tree composite_pointer_type (tree, tree, tree, tree,
4394 const char*);
b2f29cd9 4395extern tree merge_types (tree, tree);
0c9b182b 4396extern tree check_return_expr (tree, bool *);
ab76ca54
MM
4397#define cp_build_binary_op(code, arg1, arg2) \
4398 build_binary_op(code, arg1, arg2, 1)
ea793912 4399#define cxx_sizeof(T) cxx_sizeof_or_alignof_type (T, SIZEOF_EXPR, true)
0cbd7506
MS
4400extern tree build_ptrmemfunc_access_expr (tree, tree);
4401extern tree build_address (tree);
4402extern tree build_nop (tree, tree);
4403extern tree non_reference (tree);
4404extern tree lookup_anon_field (tree, tree);
4405extern bool invalid_nonstatic_memfn_p (tree);
4406extern tree convert_member_func_to_ptr (tree, tree);
4407extern tree convert_ptrmem (tree, tree, bool, bool);
4408extern int lvalue_or_else (tree, enum lvalue_use);
4409extern int lvalue_p (tree);
8d08fdba 4410
51c184be 4411/* in typeck2.c */
b2f29cd9
NN
4412extern void require_complete_eh_spec_types (tree, tree);
4413extern void cxx_incomplete_type_diagnostic (tree, tree, int);
23b4deba 4414#undef cxx_incomplete_type_error
b2f29cd9 4415extern void cxx_incomplete_type_error (tree, tree);
23b4deba
AO
4416#define cxx_incomplete_type_error(V,T) \
4417 (cxx_incomplete_type_diagnostic ((V), (T), 0))
b2f29cd9
NN
4418extern tree error_not_base_type (tree, tree);
4419extern tree binfo_or_else (tree, tree);
4420extern void readonly_error (tree, const char *, int);
7fb213d8 4421extern void complete_type_check_abstract (tree);
b2f29cd9
NN
4422extern int abstract_virtuals_error (tree, tree);
4423
4424extern tree store_init_value (tree, tree);
4038c495 4425extern tree digest_init (tree, tree);
b2f29cd9
NN
4426extern tree build_scoped_ref (tree, tree, tree *);
4427extern tree build_x_arrow (tree);
4428extern tree build_m_component_ref (tree, tree);
4429extern tree build_functional_cast (tree, tree);
0cbd7506
MS
4430extern tree add_exception_specifier (tree, tree, int);
4431extern tree merge_exception_specifiers (tree, tree);
8d08fdba 4432
1f6e1acc 4433/* in mangle.c */
0cbd7506
MS
4434extern void init_mangle (void);
4435extern void mangle_decl (tree);
4436extern const char *mangle_type_string (tree);
4437extern tree mangle_typeinfo_for_type (tree);
4438extern tree mangle_typeinfo_string_for_type (tree);
4439extern tree mangle_vtbl_for_type (tree);
4440extern tree mangle_vtt_for_type (tree);
4441extern tree mangle_ctor_vtbl_for_type (tree, tree);
4442extern tree mangle_thunk (tree, int, tree, tree);
4443extern tree mangle_conv_op_name_for_type (tree);
4444extern tree mangle_guard_variable (tree);
4445extern tree mangle_ref_init_variable (tree);
1f6e1acc 4446
0a7394bc 4447/* in dump.c */
0cbd7506 4448extern bool cp_dump_tree (void *, tree);
0a7394bc 4449
e58a9aa1
ZL
4450/* In cp/cp-objcp-common.c. */
4451
0cbd7506
MS
4452extern HOST_WIDE_INT cxx_get_alias_set (tree);
4453extern bool cxx_warn_unused_global_decl (tree);
4454extern tree cp_expr_size (tree);
4455extern size_t cp_tree_size (enum tree_code);
4456extern bool cp_var_mod_type_p (tree, tree);
4457extern void cxx_initialize_diagnostics (struct diagnostic_context *);
4458extern int cxx_types_compatible_p (tree, tree);
3ed8593d 4459extern void init_shadowed_var_for_decl (void);
e58a9aa1 4460
78dcd41a 4461/* in cp-gimplify.c */
0cbd7506 4462extern int cp_gimplify_expr (tree *, tree *, tree *);
5a508662 4463extern void cp_genericize (tree);
6de9cd9a 4464
8d08fdba
MS
4465/* -- end of C++ */
4466
5f1989e6
KG
4467/* In order for the format checking to accept the C++ frontend
4468 diagnostic framework extensions, you must include this file before
ea40ba9c
JM
4469 toplev.h, not after. We override the definition of GCC_DIAG_STYLE
4470 in c-common.h. */
4471#undef GCC_DIAG_STYLE
5f1989e6 4472#define GCC_DIAG_STYLE __gcc_cxxdiag__
ea40ba9c 4473#if GCC_VERSION >= 4001
5f1989e6
KG
4474#define ATTRIBUTE_GCC_CXXDIAG(m, n) __attribute__ ((__format__ (GCC_DIAG_STYLE, m, n))) ATTRIBUTE_NONNULL(m)
4475#else
4476#define ATTRIBUTE_GCC_CXXDIAG(m, n) ATTRIBUTE_NONNULL(m)
4477#endif
178b58b5 4478extern void cp_cpp_error (cpp_reader *, int,
a63607ed 4479 const char *, va_list *)
178b58b5 4480 ATTRIBUTE_GCC_CXXDIAG(3,0);
5f1989e6 4481
88657302 4482#endif /* ! GCC_CP_TREE_H */
This page took 3.670383 seconds and 5 git commands to generate.