1 /* Definitions for C++ parsing and type checking.
2 Copyright (C) 1987, 92-97, 1998, 1999 Free Software Foundation, Inc.
3 Hacked by Michael Tiemann (tiemann@cygnus.com)
5 This file is part of GNU CC.
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
25 /* Usage of TREE_LANG_FLAG_?:
26 0: TREE_NONLOCAL_FLAG (in TREE_LIST or _TYPE).
27 BINFO_MARKED (BINFO nodes).
28 COMPOUND_STMT_NO_SCOPE (in COMPOUND_STMT).
29 NEW_EXPR_USE_GLOBAL (in NEW_EXPR).
30 DELETE_EXPR_USE_GLOBAL (in DELETE_EXPR).
31 LOOKUP_EXPR_GLOBAL (in LOOKUP_EXPR).
32 TREE_NEGATED_INT (in INTEGER_CST).
33 TREE_INDIRECT_USING (in NAMESPACE_DECL).
34 IDENTIFIER_MARKED (used by search routines).
35 LOCAL_BINDING_P (in CPLUS_BINDING)
36 1: IDENTIFIER_VIRTUAL_P.
37 TI_PENDING_TEMPLATE_FLAG.
38 TEMPLATE_PARMS_FOR_INLINE.
39 DELETE_EXPR_USE_VEC (in DELETE_EXPR).
40 (TREE_CALLS_NEW) (in _EXPR or _REF) (commented-out).
41 TYPE_USES_COMPLEX_INHERITANCE (in _TYPE).
42 C_DECLARED_LABEL_FLAG.
43 INHERITED_VALUE_BINDING_P (in CPLUS_BINDING)
44 BASELINK_P (in TREE_LIST)
45 2: IDENTIFIER_OPNAME_P.
49 3: TYPE_USES_VIRTUAL_BASECLASSES (in a class TYPE).
50 BINFO_VTABLE_PATH_MARKED.
51 BINFO_PUSHDECLS_MARKED.
52 (TREE_REFERENCE_EXPR) (in NON_LVALUE_EXPR) (commented-out).
53 4: BINFO_NEW_VTABLE_MARKED.
54 TREE_HAS_CONSTRUCTOR (in INDIRECT_REF, SAVE_EXPR, CONSTRUCTOR,
59 Usage of TYPE_LANG_FLAG_?:
60 0: C_TYPE_FIELDS_READONLY (in RECORD_TYPE or UNION_TYPE).
61 1: TYPE_HAS_CONSTRUCTOR.
62 2: TYPE_HAS_DESTRUCTOR.
64 4: TYPE_NEEDS_DESTRUCTOR.
68 Usage of DECL_LANG_FLAG_?:
69 0: DECL_ERROR_REPORTED (in VAR_DECL).
70 DECL_TEMPLATE_PARM_P (in CONST_DECL, TYPE_DECL, or TEMPLATE_DECL)
71 1: C_TYPEDEF_EXPLICITLY_SIGNED (in TYPE_DECL).
72 DECL_TEMPLATE_INSTANTIATED (in a VAR_DECL or a FUNCTION_DECL)
73 2: DECL_THIS_EXTERN (in VAR_DECL or FUNCTION_DECL).
75 4: DECL_MAYBE_TEMPLATE.
76 5: DECL_INTERFACE_KNOWN.
77 6: DECL_THIS_STATIC (in VAR_DECL or FUNCTION_DECL).
78 7: DECL_DEAD_FOR_LOCAL (in VAR_DECL).
80 Usage of language-independent fields in a language-dependent manner:
83 This field is used by TYPENAME_TYPEs, TEMPLATE_TYPE_PARMs, and so
84 forth as a substitute for the mark bits provided in `lang_type'.
85 At present, only the six low-order bits are used.
88 For an ENUMERAL_TYPE, this is ENUM_TEMPLATE_INFO.
89 For a TYPENAME_TYPE, this is TYPENAME_TYPE_FULLNAME.
90 For a TEMPLATE_TEMPLATE_PARM, this is
91 TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO.
94 /* Language-dependent contents of an identifier. */
96 struct lang_identifier
98 struct tree_identifier ignore
;
99 tree namespace_bindings
;
102 tree class_template_info
;
108 tree label_value
, implicit_decl
;
120 char common
[sizeof (struct tree_common
)];
121 struct rtx_def
*rtl
; /* Unused, but required to match up with what
122 the middle-end expects. */
125 HOST_WIDE_INT orig_level
;
127 } template_parm_index
;
129 typedef struct ptrmem_cst
131 char common
[sizeof (struct tree_common
)];
135 /* Nonzero if this binding is for a local scope, as opposed to a class
136 or namespace scope. */
137 #define LOCAL_BINDING_P(NODE) TREE_LANG_FLAG_0(NODE)
139 /* Nonzero if BINDING_VALUE is from a base class of the class which is
140 currently being defined. */
141 #define INHERITED_VALUE_BINDING_P(NODE) TREE_LANG_FLAG_1(NODE)
143 /* For a binding between a name and an entity at a non-local scope,
144 defines the scope where the binding is declared. (Either a class
145 _TYPE node, or a NAMESPACE_DECL.) This macro should be used only
146 for namespace-level bindings; on the IDENTIFIER_BINDING list
147 BINDING_LEVEL is used instead. */
148 #define BINDING_SCOPE(NODE) (((struct tree_binding*)NODE)->scope.scope)
150 /* This is the declaration bound to the name. Possible values:
151 variable, overloaded function, namespace, template, enumerator. */
152 #define BINDING_VALUE(NODE) (((struct tree_binding*)NODE)->value)
154 /* If name is bound to a type, this is the type (struct, union, enum). */
155 #define BINDING_TYPE(NODE) TREE_TYPE(NODE)
157 #define IDENTIFIER_GLOBAL_VALUE(NODE) \
158 namespace_binding (NODE, global_namespace)
159 #define SET_IDENTIFIER_GLOBAL_VALUE(NODE, VAL) \
160 set_namespace_binding (NODE, global_namespace, VAL)
161 #define IDENTIFIER_NAMESPACE_VALUE(NODE) \
162 namespace_binding (NODE, current_namespace)
163 #define SET_IDENTIFIER_NAMESPACE_VALUE(NODE, VAL) \
164 set_namespace_binding (NODE, current_namespace, VAL)
168 char common
[sizeof (struct tree_common
)];
171 struct binding_level
*level
;
176 /* The overloaded FUNCTION_DECL. */
177 #define OVL_FUNCTION(NODE) (((struct tree_overload*)NODE)->function)
178 #define OVL_CHAIN(NODE) TREE_CHAIN(NODE)
179 /* Polymorphic access to FUNCTION and CHAIN. */
180 #define OVL_CURRENT(NODE) \
181 ((TREE_CODE(NODE)==OVERLOAD) ? OVL_FUNCTION(NODE) : NODE)
182 #define OVL_NEXT(NODE) \
183 ((TREE_CODE(NODE)==OVERLOAD) ? TREE_CHAIN(NODE) : NULL_TREE)
184 /* If set, this was imported in a using declaration.
185 This is not to confuse with being used somewhere, which
186 is not important for this node. */
187 #define OVL_USED(NODE) TREE_USED(NODE)
191 char common
[sizeof (struct tree_common
)];
195 /* A `baselink' is a TREE_LIST whose TREE_PURPOSE is a BINFO
196 indicating a particular base class, and whose TREE_VALUE is a
197 (possibly overloaded) function from that base class. */
198 #define BASELINK_P(NODE) \
199 (TREE_CODE ((NODE)) == TREE_LIST && TREE_LANG_FLAG_1 ((NODE)))
200 #define SET_BASELINK_P(NODE) \
201 (TREE_LANG_FLAG_1 ((NODE)) = 1)
203 #define WRAPPER_PTR(NODE) (((struct tree_wrapper*)NODE)->u.ptr)
204 #define WRAPPER_INT(NODE) (((struct tree_wrapper*)NODE)->u.i)
208 char common
[sizeof (struct tree_common
)];
215 #define SRCLOC_FILE(NODE) (((struct tree_srcloc*)NODE)->filename)
216 #define SRCLOC_LINE(NODE) (((struct tree_srcloc*)NODE)->linenum)
219 char common
[sizeof (struct tree_common
)];
224 /* To identify to the debug emitters if it should pay attention to the
225 flag `-Wtemplate-debugging'. */
226 #define HAVE_TEMPLATES 1
228 /* Macros for access to language-specific slots in an identifier. */
230 #define IDENTIFIER_NAMESPACE_BINDINGS(NODE) \
231 (((struct lang_identifier *)(NODE))->namespace_bindings)
232 #define IDENTIFIER_TEMPLATE(NODE) \
233 (((struct lang_identifier *)(NODE))->class_template_info)
235 /* The IDENTIFIER_BINDING is the innermost CPLUS_BINDING for the
236 identifier. It's TREE_CHAIN is the next outermost binding. Each
237 BINDING_VALUE is a DECL for the associated declaration. Thus,
238 name lookup consists simply of pulling off the node at the front
239 of the list (modulo oddities for looking up the names of types,
240 and such.) You can use BINDING_SCOPE or BINDING_LEVEL to
241 determine the scope that bound the name. */
242 #define IDENTIFIER_BINDING(NODE) \
243 (((struct lang_identifier*) (NODE))->bindings)
245 /* The IDENTIFIER_VALUE is the value of the IDENTIFIER_BINDING, or
246 NULL_TREE if there is no binding. */
247 #define IDENTIFIER_VALUE(NODE) \
248 (IDENTIFIER_BINDING (NODE) \
249 ? BINDING_VALUE (IDENTIFIER_BINDING (NODE)) \
252 /* If IDENTIFIER_CLASS_VALUE is set, then NODE is bound in the current
253 class, and IDENTIFIER_CLASS_VALUE is the value binding. This is
254 just a pointer to the BINDING_VALUE of one of the bindings in the
255 IDENTIFIER_BINDINGs list, so any time that this is non-NULL so is
256 IDENTIFIER_BINDING. */
257 #define IDENTIFIER_CLASS_VALUE(NODE) \
258 (((struct lang_identifier *) (NODE))->class_value)
260 /* The amount of time used by the file whose special "time identifier"
261 is NODE, represented as an INTEGER_CST. See get_time_identifier. */
262 #define TIME_IDENTIFIER_TIME(NODE) IDENTIFIER_BINDING(NODE)
264 /* For a "time identifier" this is a INTEGER_CST. The
265 TREE_INT_CST_LOW is 1 if the corresponding file is "interface only".
266 The TRE_INT_CST_HIGH is 1 if it is "interface unknown". */
267 #define TIME_IDENTIFIER_FILEINFO(NODE) IDENTIFIER_CLASS_VALUE (NODE)
269 /* TREE_TYPE only indicates on local and class scope the current
270 type. For namespace scope, the presence of a type in any namespace
271 is indicated with global_type_node, and the real type behind must
272 be found through lookup. */
273 #define IDENTIFIER_TYPE_VALUE(NODE) (identifier_type_value(NODE))
274 #define REAL_IDENTIFIER_TYPE_VALUE(NODE) (TREE_TYPE (NODE))
275 #define SET_IDENTIFIER_TYPE_VALUE(NODE,TYPE) (TREE_TYPE (NODE) = TYPE)
276 #define IDENTIFIER_HAS_TYPE_VALUE(NODE) (IDENTIFIER_TYPE_VALUE (NODE) ? 1 : 0)
278 #define LANG_ID_FIELD(NAME,NODE) \
279 (((struct lang_identifier *)(NODE))->x \
280 ? ((struct lang_identifier *)(NODE))->x->NAME : 0)
281 #define SET_LANG_ID(NODE,VALUE,NAME) \
282 (((struct lang_identifier *)(NODE))->x == 0 \
283 ? ((struct lang_identifier *)(NODE))->x \
284 = (struct lang_id2 *)perm_calloc (1, sizeof (struct lang_id2)) : 0, \
285 ((struct lang_identifier *)(NODE))->x->NAME = (VALUE))
287 #define IDENTIFIER_LABEL_VALUE(NODE) LANG_ID_FIELD(label_value, NODE)
288 #define SET_IDENTIFIER_LABEL_VALUE(NODE,VALUE) \
289 SET_LANG_ID(NODE, VALUE, label_value)
291 #define IDENTIFIER_IMPLICIT_DECL(NODE) LANG_ID_FIELD(implicit_decl, NODE)
292 #define SET_IDENTIFIER_IMPLICIT_DECL(NODE,VALUE) \
293 SET_LANG_ID(NODE, VALUE, implicit_decl)
295 #define IDENTIFIER_ERROR_LOCUS(NODE) LANG_ID_FIELD(error_locus, NODE)
296 #define SET_IDENTIFIER_ERROR_LOCUS(NODE,VALUE) \
297 SET_LANG_ID(NODE, VALUE, error_locus)
300 #define IDENTIFIER_VIRTUAL_P(NODE) TREE_LANG_FLAG_1(NODE)
302 /* Nonzero if this identifier is the prefix for a mangled C++ operator name. */
303 #define IDENTIFIER_OPNAME_P(NODE) TREE_LANG_FLAG_2(NODE)
305 /* Nonzero if this identifier is the name of a type-conversion
307 #define IDENTIFIER_TYPENAME_P(NODE) \
308 (! strncmp (IDENTIFIER_POINTER (NODE), \
309 OPERATOR_TYPENAME_FORMAT, \
310 strlen (OPERATOR_TYPENAME_FORMAT)))
312 /* Nonzero means reject anything that ANSI standard C forbids. */
315 /* In a RECORD_TYPE or UNION_TYPE, nonzero if any component is read-only. */
316 #define C_TYPE_FIELDS_READONLY(type) TYPE_LANG_FLAG_0 (type)
318 /* Record in each node resulting from a binary operator
319 what operator was specified for it. */
320 #define C_EXP_ORIGINAL_CODE(exp) ((enum tree_code) TREE_COMPLEXITY (exp))
322 /* Store a value in that field. */
323 #define C_SET_EXP_ORIGINAL_CODE(exp, code) \
324 (TREE_COMPLEXITY (exp) = (int)(code))
326 /* If non-zero, a VAR_DECL whose cleanup will cause a throw to the
327 next exception handler. */
328 extern tree exception_throw_decl
;
330 extern tree double_type_node
, long_double_type_node
, float_type_node
;
331 extern tree char_type_node
, unsigned_char_type_node
, signed_char_type_node
;
332 extern tree ptrdiff_type_node
;
334 extern tree short_integer_type_node
, short_unsigned_type_node
;
335 extern tree long_integer_type_node
, long_unsigned_type_node
;
336 extern tree long_long_integer_type_node
, long_long_unsigned_type_node
;
337 extern tree unsigned_type_node
;
338 extern tree string_type_node
, char_array_type_node
, int_array_type_node
;
339 extern tree wchar_array_type_node
;
340 extern tree wchar_type_node
, signed_wchar_type_node
, unsigned_wchar_type_node
;
342 extern tree complex_integer_type_node
;
343 extern tree complex_float_type_node
;
344 extern tree complex_double_type_node
;
345 extern tree complex_long_double_type_node
;
347 extern tree intQI_type_node
, unsigned_intQI_type_node
;
348 extern tree intHI_type_node
, unsigned_intHI_type_node
;
349 extern tree intSI_type_node
, unsigned_intSI_type_node
;
350 extern tree intDI_type_node
, unsigned_intDI_type_node
;
351 #if HOST_BITS_PER_WIDE_INT >= 64
352 extern tree intTI_type_node
, unsigned_intTI_type_node
;
355 extern tree java_byte_type_node
;
356 extern tree java_short_type_node
;
357 extern tree java_int_type_node
;
358 extern tree java_long_type_node
;
359 extern tree java_float_type_node
;
360 extern tree java_double_type_node
;
361 extern tree java_char_type_node
;
362 extern tree java_boolean_type_node
;
364 extern int current_function_returns_value
;
365 extern int current_function_returns_null
;
366 extern tree current_function_return_value
;
368 extern tree current_namespace
;
369 extern tree global_namespace
;
371 extern tree ridpointers
[];
372 extern tree ansi_opname
[];
373 extern tree ansi_assopname
[];
375 /* Nonzero means `$' can be in an identifier. */
377 extern int dollars_in_ident
;
379 /* Nonzero means allow type mismatches in conditional expressions;
380 just make their values `void'. */
382 extern int flag_cond_mismatch
;
384 /* Nonzero means don't recognize the keyword `asm'. */
386 extern int flag_no_asm
;
388 /* For cross referencing. */
390 extern int flag_gnu_xref
;
392 /* For environments where you can use GNU binutils (as, ld in particular). */
394 extern int flag_gnu_binutils
;
396 /* Nonzero means warn about implicit declarations. */
398 extern int warn_implicit
;
400 /* Nonzero means warn about usage of long long when `-pedantic'. */
402 extern int warn_long_long
;
404 /* Nonzero means warn when all ctors or dtors are private, and the class
407 extern int warn_ctor_dtor_privacy
;
409 /* Nonzero means warn about function definitions that default the return type
410 or that use a null return and have a return-type other than void. */
412 extern int warn_return_type
;
414 /* Nonzero means give string constants the type `const char *', as mandated
417 extern int flag_const_strings
;
419 /* Nonzero means warn about deprecated conversion from string constant to
422 extern int warn_write_strings
;
424 /* Nonzero means warn about sizeof(function) or addition/subtraction
425 of function pointers. */
427 extern int warn_pointer_arith
;
429 /* Nonzero means warn about suggesting putting in ()'s. */
431 extern int warn_parentheses
;
433 /* Nonzero means warn about multiple (redundant) decls for the same single
434 variable or function. */
436 extern int warn_redundant_decls
;
438 /* Warn if initializer is not completely bracketed. */
440 extern int warn_missing_braces
;
442 /* Warn about comparison of signed and unsigned values. */
444 extern int warn_sign_compare
;
446 /* Warn about a subscript that has type char. */
448 extern int warn_char_subscripts
;
450 /* Nonzero means warn about pointer casts that can drop a type qualifier
451 from the pointer target type. */
453 extern int warn_cast_qual
;
455 /* Warn about *printf or *scanf format/argument anomalies. */
457 extern int warn_format
;
459 /* Nonzero means warn about non virtual destructors in classes that have
460 virtual functions. */
462 extern int warn_nonvdtor
;
464 /* Non-zero means warn when we convert a pointer to member function
465 into a pointer to (void or function). */
467 extern int warn_pmf2ptr
;
469 /* Nonzero means warn about violation of some Effective C++ style rules. */
471 extern int warn_ecpp
;
473 /* Nonzero means warn where overload resolution chooses a promotion from
474 unsigned to signed over a conversion to an unsigned of the same size. */
476 extern int warn_sign_promo
;
478 /* Non-zero means warn when a function is declared extern and later inline. */
480 extern int warn_extern_inline
;
482 /* Non-zero means warn when an old-style cast is used. */
484 extern int warn_old_style_cast
;
486 /* Nonzero means to treat bitfields as unsigned unless they say `signed'. */
488 extern int flag_signed_bitfields
;
490 /* 3 means write out only virtuals function tables `defined'
491 in this implementation file.
492 2 means write out only specific virtual function tables
493 and give them (C) public access.
494 1 means write out virtual function tables and give them
496 0 means write out virtual function tables and give them
497 (C) static access (default).
498 -1 means declare virtual function tables extern. */
500 extern int write_virtuals
;
502 /* True for more efficient but incompatible (not fully tested)
503 vtable implementation (using thunks).
504 0 is old behavior; 1 is new behavior. */
505 extern int flag_vtable_thunks
;
507 /* INTERFACE_ONLY nonzero means that we are in an "interface"
508 section of the compiler. INTERFACE_UNKNOWN nonzero means
509 we cannot trust the value of INTERFACE_ONLY. If INTERFACE_UNKNOWN
510 is zero and INTERFACE_ONLY is zero, it means that we are responsible
511 for exporting definitions that others might need. */
512 extern int interface_only
, interface_unknown
;
514 /* Nonzero means we should attempt to elide constructors when possible. */
516 extern int flag_elide_constructors
;
518 /* Nonzero means enable obscure ANSI features and disable GNU extensions
519 that might cause ANSI-compliant code to be miscompiled. */
521 extern int flag_ansi
;
523 /* Nonzero means recognize and handle signature language constructs. */
525 extern int flag_handle_signatures
;
527 /* Nonzero means that member functions defined in class scope are
528 inline by default. */
530 extern int flag_default_inline
;
532 /* The name-mangling scheme to use. Versions of gcc before 2.8 use
534 extern int name_mangling_version
;
536 /* Nonzero means that guiding declarations are allowed. */
537 extern int flag_guiding_decls
;
539 /* Nonzero if squashed mangling is to be performed.
540 This uses the B and K codes to reference previously seen class types
541 and class qualifiers. */
542 extern int flag_do_squangling
;
544 /* Nonzero if we want to issue diagnostics that the standard says are not
546 extern int flag_optional_diags
;
548 /* Nonzero means do not consider empty argument prototype to mean function
549 takes no arguments. */
550 extern int flag_strict_prototype
;
552 /* Nonzero means output .vtable_{entry,inherit} for use in doing vtable gc. */
553 extern int flag_vtable_gc
;
555 /* Nonzero means make the default pedwarns warnings instead of errors.
556 The value of this flag is ignored if -pedantic is specified. */
557 extern int flag_permissive
;
559 /* Nonzero if we want to obey access control semantics. */
561 extern int flag_access_control
;
564 /* C++ language-specific tree codes. */
565 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
566 enum cplus_tree_code
{
567 __DUMMY
= LAST_AND_UNUSED_TREE_CODE
,
568 #include "cp-tree.def"
573 enum languages
{ lang_c
, lang_cplusplus
, lang_java
};
575 /* Macros to make error reporting functions' lives easier. */
576 #define TYPE_IDENTIFIER(NODE) (DECL_NAME (TYPE_NAME (NODE)))
577 #define TYPE_NAME_STRING(NODE) (IDENTIFIER_POINTER (TYPE_IDENTIFIER (NODE)))
578 #define TYPE_NAME_LENGTH(NODE) (IDENTIFIER_LENGTH (TYPE_IDENTIFIER (NODE)))
580 #define TYPE_ASSEMBLER_NAME_STRING(NODE) (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (TYPE_NAME (NODE))))
581 #define TYPE_ASSEMBLER_NAME_LENGTH(NODE) (IDENTIFIER_LENGTH (DECL_ASSEMBLER_NAME (TYPE_NAME (NODE))))
583 /* The _DECL for this _TYPE. */
584 #define TYPE_MAIN_DECL(NODE) (TYPE_STUB_DECL (TYPE_MAIN_VARIANT (NODE)))
586 /* Nonzero if T is a class (or struct or union) type. Also nonzero
587 for template type parameters and typename types. Despite its name,
588 this macro has nothing to do with the definition of aggregate given
589 in the standard. Think of this macro as MAYBE_CLASS_TYPE_P. */
590 #define IS_AGGR_TYPE(t) \
591 (TREE_CODE (t) == TEMPLATE_TYPE_PARM \
592 || TREE_CODE (t) == TYPENAME_TYPE \
593 || TREE_CODE (t) == TYPEOF_TYPE \
594 || TYPE_LANG_FLAG_5 (t))
596 /* Set IS_AGGR_TYPE for T to VAL. T must be a class, struct, or
598 #define SET_IS_AGGR_TYPE(T, VAL) \
599 (TYPE_LANG_FLAG_5 (T) = (VAL))
601 /* Nonzero if T is a class type. Zero for template type parameters,
602 typename types, and so forth. */
603 #define CLASS_TYPE_P(t) \
604 (IS_AGGR_TYPE_CODE (TREE_CODE (t)) && IS_AGGR_TYPE (t))
606 #define IS_AGGR_TYPE_CODE(t) (t == RECORD_TYPE || t == UNION_TYPE)
607 #define IS_AGGR_TYPE_2(TYPE1,TYPE2) \
608 (TREE_CODE (TYPE1) == TREE_CODE (TYPE2) \
609 && IS_AGGR_TYPE (TYPE1)&IS_AGGR_TYPE (TYPE2))
610 #define IS_OVERLOAD_TYPE(t) \
611 (IS_AGGR_TYPE (t) || TREE_CODE (t) == ENUMERAL_TYPE)
613 /* In a *_TYPE, nonzero means a built-in type. */
614 #define TYPE_BUILT_IN(NODE) TYPE_LANG_FLAG_6(NODE)
616 /* True if this a "Java" type, defined in 'extern "Java"'. */
617 #define TYPE_FOR_JAVA(NODE) TYPE_LANG_FLAG_3(NODE)
619 /* The type qualifiers for this type, including the qualifiers on the
620 elements for an array type. */
621 #define CP_TYPE_QUALS(NODE) \
622 ((TREE_CODE (NODE) != ARRAY_TYPE) \
623 ? TYPE_QUALS (NODE) : cp_type_quals (NODE))
625 /* Nonzero if this type is const-qualified. */
626 #define CP_TYPE_CONST_P(NODE) \
627 ((CP_TYPE_QUALS (NODE) & TYPE_QUAL_CONST) != 0)
629 /* Nonzero if this type is volatile-qualified. */
630 #define CP_TYPE_VOLATILE_P(NODE) \
631 ((CP_TYPE_QUALS (NODE) & TYPE_QUAL_VOLATILE) != 0)
633 /* Nonzero if this type is restrict-qualified. */
634 #define CP_TYPE_RESTRICT_P(NODE) \
635 ((CP_TYPE_QUALS (NODE) & TYPE_QUAL_RESTRICT) != 0)
637 /* Nonzero if this type is const-qualified, but not
638 volatile-qualified. Other qualifiers are ignored. This macro is
639 used to test whether or not it is OK to bind an rvalue to a
641 #define CP_TYPE_CONST_NON_VOLATILE_P(NODE) \
642 ((CP_TYPE_QUALS (NODE) & (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE)) \
645 #define DELTA_FROM_VTABLE_ENTRY(ENTRY) \
646 (!flag_vtable_thunks ? \
647 TREE_VALUE (CONSTRUCTOR_ELTS (ENTRY)) \
648 : TREE_CODE (TREE_OPERAND ((ENTRY), 0)) != THUNK_DECL ? integer_zero_node \
649 : build_int_2 (THUNK_DELTA (TREE_OPERAND ((ENTRY), 0)), 0))
651 /* Virtual function addresses can be gotten from a virtual function
652 table entry using this macro. */
653 #define FNADDR_FROM_VTABLE_ENTRY(ENTRY) \
654 (!flag_vtable_thunks ? \
655 TREE_VALUE (TREE_CHAIN (TREE_CHAIN (CONSTRUCTOR_ELTS (ENTRY)))) \
656 : TREE_CODE (TREE_OPERAND ((ENTRY), 0)) != THUNK_DECL ? (ENTRY) \
657 : DECL_INITIAL (TREE_OPERAND ((ENTRY), 0)))
658 #define SET_FNADDR_FROM_VTABLE_ENTRY(ENTRY,VALUE) \
659 (TREE_VALUE (TREE_CHAIN (TREE_CHAIN (CONSTRUCTOR_ELTS (ENTRY)))) = (VALUE))
660 #define FUNCTION_ARG_CHAIN(NODE) (TREE_CHAIN (TYPE_ARG_TYPES (TREE_TYPE (NODE))))
661 #define PROMOTES_TO_AGGR_TYPE(NODE,CODE) \
662 (((CODE) == TREE_CODE (NODE) \
663 && IS_AGGR_TYPE (TREE_TYPE (NODE))) \
664 || IS_AGGR_TYPE (NODE))
666 /* Nonzero iff TYPE is uniquely derived from PARENT. Under MI, PARENT can
667 be an ambiguous base class of TYPE, and this macro will be false. */
668 #define UNIQUELY_DERIVED_FROM_P(PARENT, TYPE) (get_base_distance (PARENT, TYPE, 0, (tree *)0) >= 0)
669 #define ACCESSIBLY_DERIVED_FROM_P(PARENT, TYPE) (get_base_distance (PARENT, TYPE, -1, (tree *)0) >= 0)
670 #define ACCESSIBLY_UNIQUELY_DERIVED_P(PARENT, TYPE) (get_base_distance (PARENT, TYPE, 1, (tree *)0) >= 0)
671 #define DERIVED_FROM_P(PARENT, TYPE) (get_base_distance (PARENT, TYPE, 0, (tree *)0) != -1)
673 /* This structure provides additional information above and beyond
674 what is provide in the ordinary tree_type. In the past, we used it
675 for the types of class types, template parameters types, typename
676 types, and so forth. However, there can be many (tens to hundreds
677 of thousands) of template parameter types in a compilation, and
678 there's no need for this additional information in that case.
679 Therefore, we now use this data structure only for class types.
681 In the past, it was thought that there would be relatively few
682 class types. However, in the presence of heavy use of templates,
683 many (i.e., thousands) of classes can easily be generated.
684 Therefore, we should endeavor to keep the size of this structure to
690 unsigned has_type_conversion
: 1;
691 unsigned has_init_ref
: 1;
692 unsigned has_default_ctor
: 1;
693 unsigned uses_multiple_inheritance
: 1;
694 unsigned const_needs_init
: 1;
695 unsigned ref_needs_init
: 1;
696 unsigned has_const_assign_ref
: 1;
697 unsigned anon_union
: 1;
699 unsigned has_nonpublic_ctor
: 2;
700 unsigned has_nonpublic_assign_ref
: 2;
701 unsigned vtable_needs_writing
: 1;
702 unsigned has_assign_ref
: 1;
703 unsigned gets_new
: 2;
705 unsigned gets_delete
: 2;
706 unsigned has_call_overloaded
: 1;
707 unsigned has_array_ref_overloaded
: 1;
708 unsigned has_arrow_overloaded
: 1;
709 unsigned interface_only
: 1;
710 unsigned interface_unknown
: 1;
711 unsigned needs_virtual_reinit
: 1;
714 unsigned vec_delete_takes_size
: 1;
715 unsigned declared_class
: 1;
717 unsigned being_defined
: 1;
718 unsigned redefined
: 1;
719 unsigned debug_requested
: 1;
720 unsigned use_template
: 2;
721 unsigned got_semicolon
: 1;
722 unsigned ptrmemfunc_flag
: 1;
723 unsigned is_signature
: 1;
725 unsigned is_signature_pointer
: 1;
726 unsigned is_signature_reference
: 1;
727 unsigned has_opaque_typedecls
: 1;
728 unsigned sigtable_has_been_generated
: 1;
729 unsigned was_anonymous
: 1;
730 unsigned has_real_assign_ref
: 1;
731 unsigned has_const_init_ref
: 1;
732 unsigned has_complex_init_ref
: 1;
734 unsigned has_complex_assign_ref
: 1;
735 unsigned has_abstract_assign_ref
: 1;
736 unsigned non_aggregate
: 1;
737 unsigned is_partial_instantiation
: 1;
738 unsigned has_mutable
: 1;
739 unsigned com_interface
: 1;
741 /* The MIPS compiler gets it wrong if this struct also
742 does not fill out to a multiple of 4 bytes. Add a
743 member `dummy' with new bits if you go over the edge. */
750 union tree_node
*vfields
;
751 union tree_node
*vbases
;
753 union tree_node
*tags
;
755 union tree_node
*search_slot
;
758 /* Room for another three unsigned chars. */
760 union tree_node
*size
;
762 union tree_node
*abstract_virtuals
;
763 union tree_node
*friend_classes
;
765 union tree_node
*rtti
;
767 union tree_node
*methods
;
769 union tree_node
*signature
;
770 union tree_node
*signature_pointer_to
;
771 union tree_node
*signature_reference_to
;
772 union tree_node
*template_info
;
773 tree befriending_classes
;
776 /* Indicates whether or not (and how) a template was expanded for this class.
777 0=no information yet/non-template class
778 1=implicit template instantiation
779 2=explicit template specialization
780 3=explicit template instantiation */
781 #define CLASSTYPE_USE_TEMPLATE(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.use_template)
783 /* Fields used for storing information before the class is defined.
784 After the class is defined, these fields hold other information. */
786 /* List of friends which were defined inline in this class definition. */
787 #define CLASSTYPE_INLINE_FRIENDS(NODE) (TYPE_NONCOPIED_PARTS (NODE))
789 /* Nonzero for _CLASSTYPE means that operator new and delete are defined,
791 #define TYPE_GETS_NEW(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.gets_new)
792 #define TYPE_GETS_DELETE(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.gets_delete)
793 #define TYPE_GETS_REG_DELETE(NODE) (TYPE_GETS_DELETE (NODE) & 1)
795 /* Nonzero for _CLASSTYPE means that operator vec delete is defined and
796 takes the optional size_t argument. */
797 #define TYPE_VEC_DELETE_TAKES_SIZE(NODE) \
798 (TYPE_LANG_SPECIFIC(NODE)->type_flags.vec_delete_takes_size)
799 #define TYPE_VEC_NEW_USES_COOKIE(NODE) \
800 (TYPE_NEEDS_DESTRUCTOR (NODE) \
801 || (TYPE_LANG_SPECIFIC (NODE) && TYPE_VEC_DELETE_TAKES_SIZE (NODE)))
803 /* Nonzero for TREE_LIST or _TYPE node means that this node is class-local. */
804 #define TREE_NONLOCAL_FLAG(NODE) (TREE_LANG_FLAG_0 (NODE))
806 /* Nonzero means that this _CLASSTYPE node defines ways of converting
807 itself to other types. */
808 #define TYPE_HAS_CONVERSION(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_type_conversion)
810 /* Nonzero means that this _CLASSTYPE node overloads operator=(X&). */
811 #define TYPE_HAS_ASSIGN_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_assign_ref)
812 #define TYPE_HAS_CONST_ASSIGN_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_const_assign_ref)
814 /* Nonzero means that this _CLASSTYPE node has an X(X&) constructor. */
815 #define TYPE_HAS_INIT_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_init_ref)
816 #define TYPE_HAS_CONST_INIT_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_const_init_ref)
818 /* Nonzero means that this type is being defined. I.e., the left brace
819 starting the definition of this type has been seen. */
820 #define TYPE_BEING_DEFINED(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.being_defined)
821 /* Nonzero means that this type has been redefined. In this case, if
822 convenient, don't reprocess any methods that appear in its redefinition. */
823 #define TYPE_REDEFINED(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.redefined)
825 /* Nonzero means that this type is a signature. */
826 # define IS_SIGNATURE(NODE) (TYPE_LANG_SPECIFIC(NODE)?TYPE_LANG_SPECIFIC(NODE)->type_flags.is_signature:0)
827 # define SET_SIGNATURE(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.is_signature=1)
828 # define CLEAR_SIGNATURE(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.is_signature=0)
830 /* Nonzero means that this type is a signature pointer type. */
831 # define IS_SIGNATURE_POINTER(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.is_signature_pointer)
833 /* Nonzero means that this type is a signature reference type. */
834 # define IS_SIGNATURE_REFERENCE(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.is_signature_reference)
836 /* Nonzero means that this signature contains opaque type declarations. */
837 #define SIGNATURE_HAS_OPAQUE_TYPEDECLS(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_opaque_typedecls)
839 /* Nonzero means that a signature table has been generated
840 for this signature. */
841 #define SIGTABLE_HAS_BEEN_GENERATED(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.sigtable_has_been_generated)
843 /* If NODE is a class, this is the signature type that contains NODE's
844 signature after it has been computed using sigof(). */
845 #define CLASSTYPE_SIGNATURE(NODE) (TYPE_LANG_SPECIFIC(NODE)->signature)
847 /* If NODE is a signature pointer or signature reference, this is the
848 signature type the pointer/reference points to. */
849 #define SIGNATURE_TYPE(NODE) (TYPE_LANG_SPECIFIC(NODE)->signature)
851 /* If NODE is a signature, this is a vector of all methods defined
852 in the signature or in its base types together with their default
854 #define SIGNATURE_METHOD_VEC(NODE) (TYPE_LANG_SPECIFIC(NODE)->signature)
856 /* If NODE is a signature, this is the _TYPE node that contains NODE's
857 signature pointer type. */
858 #define SIGNATURE_POINTER_TO(NODE) (TYPE_LANG_SPECIFIC(NODE)->signature_pointer_to)
860 /* If NODE is a signature, this is the _TYPE node that contains NODE's
861 signature reference type. */
862 #define SIGNATURE_REFERENCE_TO(NODE) (TYPE_LANG_SPECIFIC(NODE)->signature_reference_to)
864 /* The is the basetype that contains NODE's rtti. */
865 #define CLASSTYPE_RTTI(NODE) (TYPE_LANG_SPECIFIC(NODE)->rtti)
867 /* Nonzero means that this _CLASSTYPE node overloads operator(). */
868 #define TYPE_OVERLOADS_CALL_EXPR(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_call_overloaded)
870 /* Nonzero means that this _CLASSTYPE node overloads operator[]. */
871 #define TYPE_OVERLOADS_ARRAY_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_array_ref_overloaded)
873 /* Nonzero means that this _CLASSTYPE node overloads operator->. */
874 #define TYPE_OVERLOADS_ARROW(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_arrow_overloaded)
876 /* Nonzero means that this _CLASSTYPE (or one of its ancestors) uses
877 multiple inheritance. If this is 0 for the root of a type
878 hierarchy, then we can use more efficient search techniques. */
879 #define TYPE_USES_MULTIPLE_INHERITANCE(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.uses_multiple_inheritance)
881 /* Nonzero means that this _CLASSTYPE (or one of its ancestors) uses
882 virtual base classes. If this is 0 for the root of a type
883 hierarchy, then we can use more efficient search techniques. */
884 #define TYPE_USES_VIRTUAL_BASECLASSES(NODE) (TREE_LANG_FLAG_3(NODE))
886 /* Vector member functions defined in this class. Each element is
887 either a FUNCTION_DECL, a TEMPLATE_DECL, or an OVERLOAD. All
888 functions with the same name end up in the same slot. The first
889 two elements are for constructors, and destructors, respectively.
890 These are followed by ordinary member functions. There may be
891 empty entries at the end of the vector. */
892 #define CLASSTYPE_METHOD_VEC(NODE) (TYPE_LANG_SPECIFIC(NODE)->methods)
894 /* The first type conversion operator in the class (the others can be
895 searched with TREE_CHAIN), or the first non-constructor function if
896 there are no type conversion operators. */
897 #define CLASSTYPE_FIRST_CONVERSION(NODE) \
898 TREE_VEC_LENGTH (CLASSTYPE_METHOD_VEC (NODE)) > 2 \
899 ? TREE_VEC_ELT (CLASSTYPE_METHOD_VEC (NODE), 2) \
902 /* Mark bits for depth-first and breath-first searches. */
904 /* Get the value of the Nth mark bit. */
905 #define CLASSTYPE_MARKED_N(NODE, N) \
906 (((CLASS_TYPE_P (NODE) ? TYPE_LANG_SPECIFIC (NODE)->type_flags.marks \
907 : TYPE_ALIAS_SET (NODE)) & (1 << N)) != 0)
909 /* Set the Nth mark bit. */
910 #define SET_CLASSTYPE_MARKED_N(NODE, N) \
911 (CLASS_TYPE_P (NODE) \
912 ? (TYPE_LANG_SPECIFIC (NODE)->type_flags.marks |= (1 << (N))) \
913 : (TYPE_ALIAS_SET (NODE) |= (1 << (N))))
915 /* Clear the Nth mark bit. */
916 #define CLEAR_CLASSTYPE_MARKED_N(NODE, N) \
917 (CLASS_TYPE_P (NODE) \
918 ? (TYPE_LANG_SPECIFIC (NODE)->type_flags.marks &= ~(1 << (N))) \
919 : (TYPE_ALIAS_SET (NODE) &= ~(1 << (N))))
921 /* Get the value of the mark bits. */
922 #define CLASSTYPE_MARKED(NODE) CLASSTYPE_MARKED_N(NODE, 0)
923 #define CLASSTYPE_MARKED2(NODE) CLASSTYPE_MARKED_N(NODE, 1)
924 #define CLASSTYPE_MARKED3(NODE) CLASSTYPE_MARKED_N(NODE, 2)
925 #define CLASSTYPE_MARKED4(NODE) CLASSTYPE_MARKED_N(NODE, 3)
926 #define CLASSTYPE_MARKED5(NODE) CLASSTYPE_MARKED_N(NODE, 4)
927 #define CLASSTYPE_MARKED6(NODE) CLASSTYPE_MARKED_N(NODE, 5)
929 /* Macros to modify the above flags */
930 #define SET_CLASSTYPE_MARKED(NODE) SET_CLASSTYPE_MARKED_N(NODE, 0)
931 #define CLEAR_CLASSTYPE_MARKED(NODE) CLEAR_CLASSTYPE_MARKED_N(NODE, 0)
932 #define SET_CLASSTYPE_MARKED2(NODE) SET_CLASSTYPE_MARKED_N(NODE, 1)
933 #define CLEAR_CLASSTYPE_MARKED2(NODE) CLEAR_CLASSTYPE_MARKED_N(NODE, 1)
934 #define SET_CLASSTYPE_MARKED3(NODE) SET_CLASSTYPE_MARKED_N(NODE, 2)
935 #define CLEAR_CLASSTYPE_MARKED3(NODE) CLEAR_CLASSTYPE_MARKED_N(NODE, 2)
936 #define SET_CLASSTYPE_MARKED4(NODE) SET_CLASSTYPE_MARKED_N(NODE, 3)
937 #define CLEAR_CLASSTYPE_MARKED4(NODE) CLEAR_CLASSTYPE_MARKED_N(NODE, 3)
938 #define SET_CLASSTYPE_MARKED5(NODE) SET_CLASSTYPE_MARKED_N(NODE, 4)
939 #define CLEAR_CLASSTYPE_MARKED5(NODE) CLEAR_CLASSTYPE_MARKED_N(NODE, 4)
940 #define SET_CLASSTYPE_MARKED6(NODE) SET_CLASSTYPE_MARKED_N(NODE, 5)
941 #define CLEAR_CLASSTYPE_MARKED6(NODE) CLEAR_CLASSTYPE_MARKED_N(NODE, 5)
943 /* A list of the nested tag-types (class, struct, union, or enum)
944 found within this class. The TREE_PURPOSE of each node is the name
945 of the type; the TREE_VALUE is the type itself. This list includes
946 nested member class templates. */
947 #define CLASSTYPE_TAGS(NODE) (TYPE_LANG_SPECIFIC(NODE)->tags)
949 /* If this class has any bases, this is the number of the base class from
950 which our VFIELD is based, -1 otherwise. If this class has no base
951 classes, this is not used.
952 In D : B1, B2, PARENT would be 0, if D's vtable came from B1,
953 1, if D's vtable came from B2. */
954 #define CLASSTYPE_VFIELD_PARENT(NODE) (TYPE_LANG_SPECIFIC(NODE)->vfield_parent)
956 /* Remove when done merging. */
957 #define CLASSTYPE_VFIELD(NODE) TYPE_VFIELD(NODE)
959 /* The number of virtual functions defined for this
961 #define CLASSTYPE_VSIZE(NODE) (TYPE_LANG_SPECIFIC(NODE)->vsize)
962 /* The virtual base classes that this type uses. */
963 #define CLASSTYPE_VBASECLASSES(NODE) (TYPE_LANG_SPECIFIC(NODE)->vbases)
964 /* The virtual function pointer fields that this type contains. */
965 #define CLASSTYPE_VFIELDS(NODE) (TYPE_LANG_SPECIFIC(NODE)->vfields)
967 /* Number of baseclasses defined for this type.
968 0 means no base classes. */
969 #define CLASSTYPE_N_BASECLASSES(NODE) \
970 (TYPE_BINFO_BASETYPES (NODE) ? TREE_VEC_LENGTH (TYPE_BINFO_BASETYPES(NODE)) : 0)
972 /* Used for keeping search-specific information. Any search routine
973 which uses this must define what exactly this slot is used for. */
974 #define CLASSTYPE_SEARCH_SLOT(NODE) (TYPE_LANG_SPECIFIC(NODE)->search_slot)
976 /* These are the size, mode and alignment of the type without its
977 virtual base classes, for when we use this type as a base itself. */
978 #define CLASSTYPE_SIZE(NODE) (TYPE_LANG_SPECIFIC(NODE)->size)
979 #define CLASSTYPE_ALIGN(NODE) (TYPE_LANG_SPECIFIC(NODE)->align)
981 /* A cons list of virtual functions which cannot be inherited by
982 derived classes. When deriving from this type, the derived
983 class must provide its own definition for each of these functions. */
984 #define CLASSTYPE_ABSTRACT_VIRTUALS(NODE) (TYPE_LANG_SPECIFIC(NODE)->abstract_virtuals)
986 /* Nonzero means that this aggr type has been `closed' by a semicolon. */
987 #define CLASSTYPE_GOT_SEMICOLON(NODE) (TYPE_LANG_SPECIFIC (NODE)->type_flags.got_semicolon)
989 /* Nonzero means that the main virtual function table pointer needs to be
990 set because base constructors have placed the wrong value there.
991 If this is zero, it means that they placed the right value there,
992 and there is no need to change it. */
993 #define CLASSTYPE_NEEDS_VIRTUAL_REINIT(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.needs_virtual_reinit)
995 /* Nonzero means that if this type has virtual functions, that
996 the virtual function table will be written out. */
997 #define CLASSTYPE_VTABLE_NEEDS_WRITING(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.vtable_needs_writing)
999 /* Nonzero means that this type has an X() constructor. */
1000 #define TYPE_HAS_DEFAULT_CONSTRUCTOR(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_default_ctor)
1002 /* Nonzero means the type declared a ctor as private or protected. We
1003 use this to make sure we don't try to generate a copy ctor for a
1004 class that has a member of type NODE. */
1005 #define TYPE_HAS_NONPUBLIC_CTOR(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_nonpublic_ctor)
1007 /* Ditto, for operator=. */
1008 #define TYPE_HAS_NONPUBLIC_ASSIGN_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_nonpublic_assign_ref)
1010 /* Nonzero means that this type contains a mutable member */
1011 #define CLASSTYPE_HAS_MUTABLE(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_mutable)
1012 #define TYPE_HAS_MUTABLE_P(NODE) (cp_has_mutable_p (NODE))
1014 /* Nonzero means that this type is meant for communication via COM. */
1015 #define CLASSTYPE_COM_INTERFACE(NODE) \
1016 (TYPE_LANG_SPECIFIC(NODE)->type_flags.com_interface)
1018 /* A list of class types of which this type is a friend. The
1019 TREE_VALUE is normally a TYPE, but will be a TEMPLATE_DECL in the
1020 case of a template friend. */
1021 #define CLASSTYPE_FRIEND_CLASSES(NODE) (TYPE_LANG_SPECIFIC(NODE)->friend_classes)
1023 /* A list of the classes which grant friendship to this class. */
1024 #define CLASSTYPE_BEFRIENDING_CLASSES(NODE) \
1025 (TYPE_LANG_SPECIFIC (NODE)->befriending_classes)
1027 /* Say whether this node was declared as a "class" or a "struct". */
1028 #define CLASSTYPE_DECLARED_CLASS(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.declared_class)
1030 /* Nonzero if this class has const members which have no specified initialization. */
1031 #define CLASSTYPE_READONLY_FIELDS_NEED_INIT(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.const_needs_init)
1033 /* Nonzero if this class has ref members which have no specified initialization. */
1034 #define CLASSTYPE_REF_FIELDS_NEED_INIT(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.ref_needs_init)
1036 /* Nonzero if this class is included from a header file which employs
1037 `#pragma interface', and it is not included in its implementation file. */
1038 #define CLASSTYPE_INTERFACE_ONLY(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.interface_only)
1040 /* Same as above, but for classes whose purpose we do not know. */
1041 #define CLASSTYPE_INTERFACE_UNKNOWN(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.interface_unknown)
1042 #define CLASSTYPE_INTERFACE_KNOWN(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.interface_unknown == 0)
1043 #define SET_CLASSTYPE_INTERFACE_UNKNOWN_X(NODE,X) (TYPE_LANG_SPECIFIC(NODE)->type_flags.interface_unknown = !!(X))
1044 #define SET_CLASSTYPE_INTERFACE_UNKNOWN(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.interface_unknown = 1)
1045 #define SET_CLASSTYPE_INTERFACE_KNOWN(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.interface_unknown = 0)
1047 /* Nonzero if a _DECL node requires us to output debug info for this class. */
1048 #define CLASSTYPE_DEBUG_REQUESTED(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.debug_requested)
1050 /* Additional macros for inheritance information. */
1052 /* The BINFO_INHERITANCE_CHAIN is used opposite to the description in
1053 gcc/tree.h. In particular if D is derived from B then the BINFO
1054 for B (in D) will have a BINFO_INHERITANCE_CHAIN pointing to
1055 D. In tree.h, this pointer is described as pointing in other
1056 direction. There is a different BINFO for each path to a virtual
1057 base; BINFOs for virtual bases are not shared. In addition, shared
1058 versions of each of the virtual class BINFOs are stored in
1059 CLASSTYPE_VBASECLASSES.
1061 We use TREE_VIA_PROTECTED and TREE_VIA_PUBLIC, but private
1062 inheritance is indicated by the absence of the other two flags, not
1063 by TREE_VIAR_PRIVATE, which is unused.
1065 The TREE_CHAIN is for scratch space in search.c. */
1067 /* Nonzero means marked by DFS or BFS search, including searches
1068 by `get_binfo' and `get_base_distance'. */
1069 #define BINFO_MARKED(NODE) (TREE_VIA_VIRTUAL(NODE)?CLASSTYPE_MARKED(BINFO_TYPE(NODE)):TREE_LANG_FLAG_0(NODE))
1070 /* Macros needed because of C compilers that don't allow conditional
1071 expressions to be lvalues. Grr! */
1072 #define SET_BINFO_MARKED(NODE) (TREE_VIA_VIRTUAL(NODE)?SET_CLASSTYPE_MARKED(BINFO_TYPE(NODE)):(TREE_LANG_FLAG_0(NODE)=1))
1073 #define CLEAR_BINFO_MARKED(NODE) (TREE_VIA_VIRTUAL(NODE)?CLEAR_CLASSTYPE_MARKED(BINFO_TYPE(NODE)):(TREE_LANG_FLAG_0(NODE)=0))
1075 /* Nonzero means marked in search through virtual inheritance hierarchy. */
1076 #define BINFO_VBASE_MARKED(NODE) CLASSTYPE_MARKED2 (BINFO_TYPE (NODE))
1077 /* Modifier macros */
1078 #define SET_BINFO_VBASE_MARKED(NODE) SET_CLASSTYPE_MARKED2 (BINFO_TYPE (NODE))
1079 #define CLEAR_BINFO_VBASE_MARKED(NODE) CLEAR_CLASSTYPE_MARKED2 (BINFO_TYPE (NODE))
1081 /* Nonzero means marked in search for members or member functions. */
1082 #define BINFO_FIELDS_MARKED(NODE) \
1083 (TREE_VIA_VIRTUAL(NODE)?CLASSTYPE_MARKED2 (BINFO_TYPE (NODE)):TREE_LANG_FLAG_2(NODE))
1084 #define SET_BINFO_FIELDS_MARKED(NODE) (TREE_VIA_VIRTUAL(NODE)?SET_CLASSTYPE_MARKED2(BINFO_TYPE(NODE)):(TREE_LANG_FLAG_2(NODE)=1))
1085 #define CLEAR_BINFO_FIELDS_MARKED(NODE) (TREE_VIA_VIRTUAL(NODE)?CLEAR_CLASSTYPE_MARKED2(BINFO_TYPE(NODE)):(TREE_LANG_FLAG_2(NODE)=0))
1087 /* Nonzero means that this class is on a path leading to a new vtable. */
1088 #define BINFO_VTABLE_PATH_MARKED(NODE) \
1089 (TREE_VIA_VIRTUAL(NODE)?CLASSTYPE_MARKED3(BINFO_TYPE(NODE)):TREE_LANG_FLAG_3(NODE))
1090 #define SET_BINFO_VTABLE_PATH_MARKED(NODE) (TREE_VIA_VIRTUAL(NODE)?SET_CLASSTYPE_MARKED3(BINFO_TYPE(NODE)):(TREE_LANG_FLAG_3(NODE)=1))
1091 #define CLEAR_BINFO_VTABLE_PATH_MARKED(NODE) (TREE_VIA_VIRTUAL(NODE)?CLEAR_CLASSTYPE_MARKED3(BINFO_TYPE(NODE)):(TREE_LANG_FLAG_3(NODE)=0))
1093 /* Nonzero means that this class has a new vtable. */
1094 #define BINFO_NEW_VTABLE_MARKED(NODE) \
1095 (TREE_VIA_VIRTUAL(NODE)?CLASSTYPE_MARKED4(BINFO_TYPE(NODE)):TREE_LANG_FLAG_4(NODE))
1096 #define SET_BINFO_NEW_VTABLE_MARKED(NODE) (TREE_VIA_VIRTUAL(NODE)?SET_CLASSTYPE_MARKED4(BINFO_TYPE(NODE)):(TREE_LANG_FLAG_4(NODE)=1))
1097 #define CLEAR_BINFO_NEW_VTABLE_MARKED(NODE) (TREE_VIA_VIRTUAL(NODE)?CLEAR_CLASSTYPE_MARKED4(BINFO_TYPE(NODE)):(TREE_LANG_FLAG_4(NODE)=0))
1099 /* Nonzero means this class has done dfs_pushdecls. */
1100 #define BINFO_PUSHDECLS_MARKED(NODE) BINFO_VTABLE_PATH_MARKED (NODE)
1101 #define SET_BINFO_PUSHDECLS_MARKED(NODE) SET_BINFO_VTABLE_PATH_MARKED (NODE)
1102 #define CLEAR_BINFO_PUSHDECLS_MARKED(NODE) CLEAR_BINFO_VTABLE_PATH_MARKED (NODE)
1104 /* Used by various search routines. */
1105 #define IDENTIFIER_MARKED(NODE) TREE_LANG_FLAG_0 (NODE)
1107 /* Accessor macros for the vfield slots in structures. */
1109 /* Get the assoc info that caused this vfield to exist. */
1110 #define VF_BINFO_VALUE(NODE) TREE_PURPOSE (NODE)
1112 /* Get that same information as a _TYPE. */
1113 #define VF_BASETYPE_VALUE(NODE) TREE_VALUE (NODE)
1115 /* Get the value of the top-most type dominating the non-`normal' vfields. */
1116 #define VF_DERIVED_VALUE(NODE) (VF_BINFO_VALUE (NODE) ? BINFO_TYPE (VF_BINFO_VALUE (NODE)) : NULL_TREE)
1118 /* Get the value of the top-most type that's `normal' for the vfield. */
1119 #define VF_NORMAL_VALUE(NODE) TREE_TYPE (NODE)
1121 /* Nonzero for TREE_LIST node means that this list of things
1122 is a list of parameters, as opposed to a list of expressions. */
1123 #define TREE_PARMLIST(NODE) ((NODE)->common.unsigned_flag) /* overloaded! */
1125 /* For FUNCTION_TYPE or METHOD_TYPE, a list of the exceptions that
1126 this type can raise. Each TREE_VALUE is a _TYPE. The TREE_VALUE
1127 will be NULL_TREE to indicate a throw specification of `(...)', or,
1128 equivalently, no throw specification. */
1129 #define TYPE_RAISES_EXCEPTIONS(NODE) TYPE_NONCOPIED_PARTS (NODE)
1131 /* The binding level associated with the namespace. */
1132 #define NAMESPACE_LEVEL(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.level)
1135 /* If a DECL has DECL_LANG_SPECIFIC, it is either a lang_decl_flags or
1136 a lang_decl (which has lang_decl_flags as its initial prefix). A
1137 FUNCTION_DECL, NAMESPACE_DECL, TYPE_DECL, or USING_DECL may have a
1138 full lang_decl. A FIELD_DECL, or a static data member VAR_DECL,
1139 will have only lang_decl_flags. Thus, one should only access the
1140 members of lang_decl that are not in lang_decl_flags for DECLs that
1141 are not FIELD_DECLs or VAR_DECLs. */
1143 struct lang_decl_flags
1145 #ifdef ONLY_INT_FIELDS
1148 enum languages language
: 8;
1151 unsigned operator_attr
: 1;
1152 unsigned constructor_attr
: 1;
1153 unsigned returns_first_arg
: 1;
1154 unsigned preserves_first_arg
: 1;
1155 unsigned friend_attr
: 1;
1156 unsigned static_function
: 1;
1157 unsigned const_memfunc
: 1;
1158 unsigned volatile_memfunc
: 1;
1160 unsigned abstract_virtual
: 1;
1161 unsigned permanent_attr
: 1 ;
1162 unsigned constructor_for_vbase_attr
: 1;
1163 unsigned mutable_flag
: 1;
1164 unsigned is_default_implementation
: 1;
1165 unsigned saved_inline
: 1;
1166 unsigned use_template
: 2;
1168 unsigned nonconverting
: 1;
1169 unsigned declared_inline
: 1;
1170 unsigned not_really_extern
: 1;
1171 unsigned comdat
: 1;
1172 unsigned needs_final_overrider
: 1;
1173 unsigned bitfield
: 1;
1174 unsigned defined_in_class
: 1;
1179 tree memfunc_pointer_to
;
1181 struct binding_level
*level
;
1186 struct lang_decl_flags decl_flags
;
1188 tree main_decl_variant
;
1189 tree befriending_classes
;
1190 struct pending_inline
*pending_inline_info
;
1193 /* Non-zero if NODE is a _DECL with TREE_READONLY set. */
1194 #define TREE_READONLY_DECL_P(NODE) \
1195 (TREE_READONLY (NODE) && TREE_CODE_CLASS (TREE_CODE (NODE)) == 'd')
1197 /* Non-zero iff DECL is memory-based. The DECL_RTL of
1198 certain const variables might be a CONST_INT, or a REG
1199 in some cases. We cannot use `memory_operand' as a test
1200 here because on most RISC machines, a variable's address
1201 is not, by itself, a legitimate address. */
1202 #define DECL_IN_MEMORY_P(NODE) \
1203 (DECL_RTL (NODE) != NULL_RTX && GET_CODE (DECL_RTL (NODE)) == MEM)
1205 /* For FUNCTION_DECLs: return the language in which this decl
1207 #define DECL_LANGUAGE(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.language)
1209 /* For FUNCTION_DECLs: nonzero means that this function is a constructor. */
1210 #define DECL_CONSTRUCTOR_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.constructor_attr)
1212 /* There ought to be a better way to find out whether or not something is
1214 #define DECL_DESTRUCTOR_P(NODE) \
1215 (DESTRUCTOR_NAME_P (DECL_ASSEMBLER_NAME (NODE)) \
1216 && DECL_LANGUAGE (NODE) == lang_cplusplus)
1218 #define DECL_CONV_FN_P(NODE) \
1219 (IDENTIFIER_TYPENAME_P (DECL_NAME (NODE)) && TREE_TYPE (DECL_NAME (NODE)))
1221 /* For FUNCTION_DECLs: nonzero means that this function is a constructor
1222 for an object with virtual baseclasses. */
1223 #define DECL_CONSTRUCTOR_FOR_VBASE_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.constructor_for_vbase_attr)
1225 /* For FUNCTION_DECLs: nonzero means that this function is a default
1226 implementation of a signature method. */
1227 #define IS_DEFAULT_IMPLEMENTATION(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.is_default_implementation)
1229 /* For FUNCTION_DECLs: nonzero means that the constructor
1230 is known to return a non-zero `this' unchanged. */
1231 #define DECL_RETURNS_FIRST_ARG(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.returns_first_arg)
1233 /* Nonzero for FUNCTION_DECL means that this constructor is known to
1234 not make any assignment to `this', and therefore can be trusted
1235 to return it unchanged. Otherwise, we must re-assign `current_class_ptr'
1236 after performing base initializations. */
1237 #define DECL_PRESERVES_THIS(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.preserves_first_arg)
1239 /* Nonzero for _DECL means that this decl appears in (or will appear
1240 in) as a member in a RECORD_TYPE or UNION_TYPE node. It is also for
1241 detecting circularity in case members are multiply defined. In the
1242 case of a VAR_DECL, it is also used to determine how program storage
1243 should be allocated. */
1244 #define DECL_IN_AGGR_P(NODE) (DECL_LANG_FLAG_3(NODE))
1246 /* Nonzero if the DECL was defined in the class definition itself,
1247 rather than outside the class. */
1248 #define DECL_DEFINED_IN_CLASS_P(DECL) \
1249 (DECL_LANG_SPECIFIC (DECL)->decl_flags.defined_in_class)
1251 /* Nonzero for FUNCTION_DECL means that this decl is just a
1252 friend declaration, and should not be added to the list of
1253 member functions for this class. */
1254 #define DECL_FRIEND_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.friend_attr)
1256 /* A TREE_LIST of the types which have befriended this FUNCTION_DECL. */
1257 #define DECL_BEFRIENDING_CLASSES(NODE) \
1258 (DECL_LANG_SPECIFIC(NODE)->befriending_classes)
1260 /* Nonzero for FUNCTION_DECL means that this decl is a static
1262 #define DECL_STATIC_FUNCTION_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.static_function)
1264 /* Nonzero for a class member means that it is shared between all objects
1266 #define SHARED_MEMBER_P(NODE) \
1267 (TREE_CODE (NODE) == VAR_DECL || TREE_CODE (NODE) == TYPE_DECL \
1268 || TREE_CODE (NODE) == CONST_DECL)
1270 /* Nonzero for FUNCTION_DECL means that this decl is a non-static
1272 #define DECL_NONSTATIC_MEMBER_FUNCTION_P(NODE) \
1273 (TREE_CODE (TREE_TYPE (NODE)) == METHOD_TYPE)
1275 /* Nonzero for FUNCTION_DECL means that this decl is a member function
1276 (static or non-static). */
1277 #define DECL_FUNCTION_MEMBER_P(NODE) \
1278 (DECL_NONSTATIC_MEMBER_FUNCTION_P (NODE) || DECL_STATIC_FUNCTION_P (NODE))
1280 /* Nonzero for FUNCTION_DECL means that this member function
1281 has `this' as const X *const. */
1282 #define DECL_CONST_MEMFUNC_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.const_memfunc)
1284 /* Nonzero for FUNCTION_DECL means that this member function
1285 has `this' as volatile X *const. */
1286 #define DECL_VOLATILE_MEMFUNC_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.volatile_memfunc)
1288 /* Nonzero for a DECL means that this member is a non-static member. */
1289 #define DECL_NONSTATIC_MEMBER_P(NODE) \
1290 ((TREE_CODE (NODE) == FUNCTION_DECL \
1291 && DECL_NONSTATIC_MEMBER_FUNCTION_P (NODE)) \
1292 || TREE_CODE (NODE) == FIELD_DECL)
1294 /* Nonzero for _DECL means that this member object type
1296 #define DECL_MUTABLE_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.mutable_flag)
1298 /* Nonzero for _DECL means that this constructor is a non-converting
1300 #define DECL_NONCONVERTING_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.nonconverting)
1302 /* Nonzero for FUNCTION_DECL means that this member function
1303 exists as part of an abstract class's interface. */
1304 #define DECL_ABSTRACT_VIRTUAL_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.abstract_virtual)
1306 /* Nonzero for FUNCTION_DECL means that this member function
1307 must be overridden by derived classes. */
1308 #define DECL_NEEDS_FINAL_OVERRIDER_P(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.needs_final_overrider)
1310 /* Nonzero if allocated on permanent_obstack. */
1311 #define LANG_DECL_PERMANENT(LANGDECL) ((LANGDECL)->decl_flags.permanent_attr)
1313 /* The _TYPE context in which this _DECL appears. This field holds the
1314 class where a virtual function instance is actually defined, and the
1315 lexical scope of a friend function defined in a class body. */
1316 #define DECL_CLASS_CONTEXT(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.context)
1317 #define DECL_REAL_CONTEXT(NODE) \
1318 ((TREE_CODE (NODE) == FUNCTION_DECL && DECL_FUNCTION_MEMBER_P (NODE)) \
1319 ? DECL_CLASS_CONTEXT (NODE) : CP_DECL_CONTEXT (NODE))
1321 /* NULL_TREE in DECL_CONTEXT represents the global namespace. */
1322 #define CP_DECL_CONTEXT(NODE) \
1323 (DECL_CONTEXT (NODE) ? DECL_CONTEXT (NODE) : global_namespace)
1324 #define FROB_CONTEXT(NODE) ((NODE) == global_namespace ? NULL_TREE : (NODE))
1326 /* 1 iff NODE has namespace scope, including the global namespace. */
1327 #define DECL_NAMESPACE_SCOPE_P(NODE) \
1328 (DECL_CONTEXT (NODE) == NULL_TREE \
1329 || TREE_CODE (DECL_CONTEXT (NODE)) == NAMESPACE_DECL)
1331 /* 1 iff NODE is a class member. */
1332 #define DECL_CLASS_SCOPE_P(NODE) \
1333 (DECL_CONTEXT (NODE) \
1334 && TREE_CODE_CLASS (TREE_CODE (DECL_CONTEXT (NODE))) == 't')
1336 /* 1 iff NODE is function-local. */
1337 #define DECL_FUNCTION_SCOPE_P(NODE) \
1338 (DECL_CONTEXT (NODE) \
1339 && TREE_CODE (DECL_CONTEXT (NODE)) == FUNCTION_DECL)
1341 /* For a NAMESPACE_DECL: the list of using namespace directives
1342 The PURPOSE is the used namespace, the value is the namespace
1343 that is the common ancestor. */
1344 #define DECL_NAMESPACE_USING(NODE) DECL_VINDEX(NODE)
1346 /* In a NAMESPACE_DECL, the DECL_INITIAL is used to record all users
1347 of a namespace, to record the transitive closure of using namespace. */
1348 #define DECL_NAMESPACE_USERS(NODE) DECL_INITIAL (NODE)
1350 /* In a NAMESPACE_DECL, points to the original namespace if this is
1351 a namespace alias. */
1352 #define DECL_NAMESPACE_ALIAS(NODE) DECL_ABSTRACT_ORIGIN (NODE)
1353 #define ORIGINAL_NAMESPACE(NODE) \
1354 (DECL_NAMESPACE_ALIAS (NODE) ? DECL_NAMESPACE_ALIAS (NODE) : (NODE))
1356 /* In a TREE_LIST concatenating using directives, indicate indirekt
1358 #define TREE_INDIRECT_USING(NODE) ((NODE)->common.lang_flag_0)
1360 /* In a VAR_DECL for a variable declared in a for statement,
1361 this is the shadowed (local) variable. */
1362 #define DECL_SHADOWED_FOR_VAR(NODE) DECL_RESULT(NODE)
1364 /* Points back to the decl which caused this lang_decl to be allocated. */
1365 #define DECL_MAIN_VARIANT(NODE) (DECL_LANG_SPECIFIC(NODE)->main_decl_variant)
1367 /* For a FUNCTION_DECL: if this function was declared inline inside of
1368 a class declaration, this is where the text for the function is
1370 #define DECL_PENDING_INLINE_INFO(NODE) (DECL_LANG_SPECIFIC(NODE)->pending_inline_info)
1372 /* True if on the saved_inlines (see decl2.c) list. */
1373 #define DECL_SAVED_INLINE(DECL) \
1374 (DECL_LANG_SPECIFIC(DECL)->decl_flags.saved_inline)
1376 /* For a FUNCTION_DECL: if this function was declared inside a signature
1377 declaration, this is the corresponding member function pointer that was
1379 #define DECL_MEMFUNC_POINTER_TO(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.memfunc_pointer_to)
1381 /* For a FIELD_DECL: this points to the signature member function from
1382 which this signature member function pointer was created. */
1383 #define DECL_MEMFUNC_POINTING_TO(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.memfunc_pointer_to)
1385 /* For a VAR_DECL or FUNCTION_DECL: template-specific information. */
1386 #define DECL_TEMPLATE_INFO(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.template_info)
1388 /* Template information for a RECORD_TYPE or UNION_TYPE. */
1389 #define CLASSTYPE_TEMPLATE_INFO(NODE) (TYPE_LANG_SPECIFIC(NODE)->template_info)
1391 /* Template information for an ENUMERAL_TYPE. Although an enumeration may
1392 not be a primary template, it may be declared within the scope of a
1393 primary template and the enumeration constants may depend on
1394 non-type template parameters. */
1395 #define ENUM_TEMPLATE_INFO(NODE) (TYPE_BINFO (NODE))
1397 /* Template information for a template template parameter. */
1398 #define TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO(NODE) (TYPE_BINFO (NODE))
1400 /* Template information for an ENUMERAL_, RECORD_, or UNION_TYPE. */
1401 #define TYPE_TEMPLATE_INFO(NODE) \
1402 (TREE_CODE (NODE) == ENUMERAL_TYPE \
1403 ? ENUM_TEMPLATE_INFO (NODE) : \
1404 (TREE_CODE (NODE) == TEMPLATE_TEMPLATE_PARM \
1405 ? TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO (NODE) \
1406 : CLASSTYPE_TEMPLATE_INFO (NODE)))
1408 /* Set the template information for an ENUMERAL_, RECORD_, or
1409 UNION_TYPE to VAL. */
1410 #define SET_TYPE_TEMPLATE_INFO(NODE, VAL) \
1411 (TREE_CODE (NODE) == ENUMERAL_TYPE \
1412 ? (ENUM_TEMPLATE_INFO (NODE) = VAL) \
1413 : (CLASSTYPE_TEMPLATE_INFO (NODE) = VAL))
1415 #define TI_TEMPLATE(NODE) (TREE_PURPOSE (NODE))
1416 #define TI_ARGS(NODE) (TREE_VALUE (NODE))
1417 #define TI_SPEC_INFO(NODE) (TREE_CHAIN (NODE))
1418 #define TI_PENDING_TEMPLATE_FLAG(NODE) TREE_LANG_FLAG_1 (NODE)
1420 /* The TEMPLATE_DECL instantiated or specialized by NODE. This
1421 TEMPLATE_DECL will be the immediate parent, not the most general
1422 template. For example, in:
1424 template <class T> struct S { template <class U> void f(U); }
1426 the FUNCTION_DECL for S<int>::f<double> will have, as its
1427 DECL_TI_TEMPLATE, `template <class U> S<int>::f<U>'.
1429 As a special case, for a member friend template of a template
1430 class, this value will not be a TEMPLATE_DECL, but rather a
1431 LOOKUP_EXPR or IDENTIFIER_NODE indicating the name of the template
1432 and any explicit template arguments provided. For example, in:
1434 template <class T> struct S { friend void f<int>(int, double); }
1436 the DECL_TI_TEMPLATE will be a LOOKUP_EXPR for `f' and the
1437 DECL_TI_ARGS will be {int}. */
1438 #define DECL_TI_TEMPLATE(NODE) TI_TEMPLATE (DECL_TEMPLATE_INFO (NODE))
1440 /* The template arguments used to obtain this decl from the most
1441 general form of DECL_TI_TEMPLATE. For the example given for
1442 DECL_TI_TEMPLATE, the DECL_TI_ARGS will be {int, double}. These
1443 are always the full set of arguments required to instantiate this
1444 declaration from the most general template specialized here. */
1445 #define DECL_TI_ARGS(NODE) TI_ARGS (DECL_TEMPLATE_INFO (NODE))
1446 #define CLASSTYPE_TI_TEMPLATE(NODE) TI_TEMPLATE (CLASSTYPE_TEMPLATE_INFO (NODE))
1447 #define CLASSTYPE_TI_ARGS(NODE) TI_ARGS (CLASSTYPE_TEMPLATE_INFO (NODE))
1448 #define CLASSTYPE_TI_SPEC_INFO(NODE) TI_SPEC_INFO (CLASSTYPE_TEMPLATE_INFO (NODE))
1449 #define ENUM_TI_TEMPLATE(NODE) \
1450 TI_TEMPLATE (ENUM_TEMPLATE_INFO (NODE))
1451 #define ENUM_TI_ARGS(NODE) \
1452 TI_ARGS (ENUM_TEMPLATE_INFO (NODE))
1454 /* Like DECL_TI_TEMPLATE, but for an ENUMERAL_, RECORD_, or UNION_TYPE. */
1455 #define TYPE_TI_TEMPLATE(NODE) \
1456 (TI_TEMPLATE (TYPE_TEMPLATE_INFO (NODE)))
1458 /* Like DECL_TI_ARGS, , but for an ENUMERAL_, RECORD_, or UNION_TYPE. */
1459 #define TYPE_TI_ARGS(NODE) \
1460 (TI_ARGS (TYPE_TEMPLATE_INFO (NODE)))
1462 #define INNERMOST_TEMPLATE_PARMS(NODE) TREE_VALUE(NODE)
1464 /* Nonzero if the NODE corresponds to the template parameters for a
1465 member template, whose inline definition is being processed after
1466 the class definition is complete. */
1467 #define TEMPLATE_PARMS_FOR_INLINE(NODE) TREE_LANG_FLAG_1 (NODE)
1469 #define DECL_SAVED_TREE(NODE) DECL_MEMFUNC_POINTER_TO (NODE)
1470 #define COMPOUND_STMT_NO_SCOPE(NODE) TREE_LANG_FLAG_0 (NODE)
1471 #define NEW_EXPR_USE_GLOBAL(NODE) TREE_LANG_FLAG_0 (NODE)
1472 #define DELETE_EXPR_USE_GLOBAL(NODE) TREE_LANG_FLAG_0 (NODE)
1473 #define DELETE_EXPR_USE_VEC(NODE) TREE_LANG_FLAG_1 (NODE)
1474 #define LOOKUP_EXPR_GLOBAL(NODE) TREE_LANG_FLAG_0 (NODE)
1476 /* The TYPE_MAIN_DECL for a class template type is a TYPE_DECL, not a
1477 TEMPLATE_DECL. This macro determines whether or not a given class
1478 type is really a template type, as opposed to an instantiation or
1479 specialization of one. */
1480 #define CLASSTYPE_IS_TEMPLATE(NODE) \
1481 (CLASSTYPE_TEMPLATE_INFO (NODE) \
1482 && !CLASSTYPE_USE_TEMPLATE (NODE) \
1483 && PRIMARY_TEMPLATE_P (CLASSTYPE_TI_TEMPLATE (NODE)))
1485 /* The name used by the user to name the typename type. Typically,
1486 this is an IDENTIFIER_NODE, and the same as the DECL_NAME on the
1487 corresponding TYPE_DECL. However, this may also be a
1488 TEMPLATE_ID_EXPR if we had something like `typename X::Y<T>'. */
1489 #define TYPENAME_TYPE_FULLNAME(NODE) TYPE_BINFO (NODE)
1491 /* Nonzero if NODE is an implicit typename. */
1492 #define IMPLICIT_TYPENAME_P(NODE) \
1493 (TREE_CODE (NODE) == TYPENAME_TYPE && TREE_TYPE (NODE))
1495 /* Nonzero in INTEGER_CST means that this int is negative by dint of
1496 using a twos-complement negated operand. */
1497 #define TREE_NEGATED_INT(NODE) (TREE_LANG_FLAG_0 (NODE))
1500 /* Nonzero in any kind of _EXPR or _REF node means that it is a call
1501 to a storage allocation routine. If, later, alternate storage
1502 is found to hold the object, this call can be ignored. */
1503 #define TREE_CALLS_NEW(NODE) (TREE_LANG_FLAG_1 (NODE))
1506 /* Nonzero in any kind of _TYPE that uses multiple inheritance
1507 or virtual baseclasses. */
1508 #define TYPE_USES_COMPLEX_INHERITANCE(NODE) (TREE_LANG_FLAG_1 (NODE))
1511 /* Nonzero in IDENTIFIER_NODE means that this name is not the name the user
1512 gave; it's a DECL_NESTED_TYPENAME. Someone may want to set this on
1513 mangled function names, too, but it isn't currently. */
1514 #define TREE_MANGLED(NODE) (FOO)
1518 /* Nonzero in IDENTIFIER_NODE means that this name is overloaded, and
1519 should be looked up in a non-standard way. */
1520 #define DECL_OVERLOADED(NODE) (FOO)
1523 /* Nonzero if this (non-TYPE)_DECL has its virtual attribute set.
1524 For a FUNCTION_DECL, this is when the function is a virtual function.
1525 For a VAR_DECL, this is when the variable is a virtual function table.
1526 For a FIELD_DECL, when the field is the field for the virtual function table.
1527 For an IDENTIFIER_NODE, nonzero if any function with this name
1528 has been declared virtual.
1530 For a _TYPE if it uses virtual functions (or is derived from
1532 #define TYPE_VIRTUAL_P(NODE) (TREE_LANG_FLAG_2 (NODE))
1534 extern int flag_new_for_scope
;
1536 /* This flag is true of a local VAR_DECL if it was declared in a for
1537 statement, but we are no longer in the scope of the for. */
1538 #define DECL_DEAD_FOR_LOCAL(NODE) DECL_LANG_FLAG_7 (NODE)
1540 /* This flag is set on a VAR_DECL that is a DECL_DEAD_FOR_LOCAL
1541 if we already emitted a warning about using it. */
1542 #define DECL_ERROR_REPORTED(NODE) DECL_LANG_FLAG_0 (NODE)
1544 /* This _DECL represents a compiler-generated entity. */
1545 #define SET_DECL_ARTIFICIAL(NODE) (DECL_ARTIFICIAL (NODE) = 1)
1547 /* Record whether a typedef for type `int' was actually `signed int'. */
1548 #define C_TYPEDEF_EXPLICITLY_SIGNED(exp) DECL_LANG_FLAG_1 ((exp))
1550 /* In a FIELD_DECL, nonzero if the decl was originally a bitfield. */
1551 #define DECL_C_BIT_FIELD(NODE) \
1552 (DECL_LANG_SPECIFIC (NODE) && DECL_LANG_SPECIFIC (NODE)->decl_flags.bitfield)
1553 #define SET_DECL_C_BIT_FIELD(NODE) \
1554 (DECL_LANG_SPECIFIC (NODE)->decl_flags.bitfield = 1)
1556 /* Nonzero if the type T promotes to itself.
1557 ANSI C states explicitly the list of types that promote;
1558 in particular, short promotes to int even if they have the same width. */
1559 #define C_PROMOTING_INTEGER_TYPE_P(t) \
1560 (TREE_CODE ((t)) == INTEGER_TYPE \
1561 && (TYPE_MAIN_VARIANT (t) == char_type_node \
1562 || TYPE_MAIN_VARIANT (t) == signed_char_type_node \
1563 || TYPE_MAIN_VARIANT (t) == unsigned_char_type_node \
1564 || TYPE_MAIN_VARIANT (t) == short_integer_type_node \
1565 || TYPE_MAIN_VARIANT (t) == short_unsigned_type_node))
1567 #define INTEGRAL_CODE_P(CODE) \
1568 (CODE == INTEGER_TYPE || CODE == ENUMERAL_TYPE || CODE == BOOLEAN_TYPE)
1569 #define ARITHMETIC_TYPE_P(TYPE) (INTEGRAL_TYPE_P (TYPE) || FLOAT_TYPE_P (TYPE))
1571 /* Mark which labels are explicitly declared.
1572 These may be shadowed, and may be referenced from nested functions. */
1573 #define C_DECLARED_LABEL_FLAG(label) TREE_LANG_FLAG_1 (label)
1575 /* Nonzero for _TYPE means that the _TYPE defines
1576 at least one constructor. */
1577 #define TYPE_HAS_CONSTRUCTOR(NODE) (TYPE_LANG_FLAG_1(NODE))
1579 /* When appearing in an INDIRECT_REF, it means that the tree structure
1580 underneath is actually a call to a constructor. This is needed
1581 when the constructor must initialize local storage (which can
1582 be automatically destroyed), rather than allowing it to allocate
1583 space from the heap.
1585 When appearing in a SAVE_EXPR, it means that underneath
1586 is a call to a constructor.
1588 When appearing in a CONSTRUCTOR, it means that it was
1589 a GNU C constructor expression.
1591 When appearing in a FIELD_DECL, it means that this field
1592 has been duly initialized in its constructor. */
1593 #define TREE_HAS_CONSTRUCTOR(NODE) (TREE_LANG_FLAG_4(NODE))
1595 #define EMPTY_CONSTRUCTOR_P(NODE) (TREE_CODE (NODE) == CONSTRUCTOR \
1596 && CONSTRUCTOR_ELTS (NODE) == NULL_TREE \
1597 && ! TREE_HAS_CONSTRUCTOR (NODE))
1600 /* Indicates that a NON_LVALUE_EXPR came from a C++ reference.
1601 Used to generate more helpful error message in case somebody
1602 tries to take its address. */
1603 #define TREE_REFERENCE_EXPR(NODE) (TREE_LANG_FLAG_3(NODE))
1606 /* Nonzero for _TYPE means that the _TYPE defines a destructor. */
1607 #define TYPE_HAS_DESTRUCTOR(NODE) (TYPE_LANG_FLAG_2(NODE))
1610 /* Nonzero for _TYPE node means that creating an object of this type
1611 will involve a call to a constructor. This can apply to objects
1612 of ARRAY_TYPE if the type of the elements needs a constructor. */
1613 #define TYPE_NEEDS_CONSTRUCTING(NODE) ... defined in ../tree.h ...
1616 /* Nonzero means that an object of this type can not be initialized using
1617 an initializer list. */
1618 #define CLASSTYPE_NON_AGGREGATE(NODE) \
1619 (TYPE_LANG_SPECIFIC (NODE)->type_flags.non_aggregate)
1620 #define TYPE_NON_AGGREGATE_CLASS(NODE) \
1621 (IS_AGGR_TYPE (NODE) && CLASSTYPE_NON_AGGREGATE (NODE))
1623 /* Nonzero if there is a user-defined X::op=(x&) for this class. */
1624 #define TYPE_HAS_REAL_ASSIGN_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_real_assign_ref)
1625 #define TYPE_HAS_COMPLEX_ASSIGN_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_complex_assign_ref)
1626 #define TYPE_HAS_ABSTRACT_ASSIGN_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_abstract_assign_ref)
1627 #define TYPE_HAS_COMPLEX_INIT_REF(NODE) (TYPE_LANG_SPECIFIC(NODE)->type_flags.has_complex_init_ref)
1629 /* Nonzero for _TYPE node means that destroying an object of this type
1630 will involve a call to a destructor. This can apply to objects
1631 of ARRAY_TYPE is the type of the elements needs a destructor. */
1632 #define TYPE_NEEDS_DESTRUCTOR(NODE) (TYPE_LANG_FLAG_4(NODE))
1634 /* Nonzero for class type means that initialization of this type can use
1636 #define TYPE_HAS_TRIVIAL_INIT_REF(NODE) \
1637 (TYPE_HAS_INIT_REF (NODE) && ! TYPE_HAS_COMPLEX_INIT_REF (NODE))
1639 /* Nonzero for class type means that assignment of this type can use
1641 #define TYPE_HAS_TRIVIAL_ASSIGN_REF(NODE) \
1642 (TYPE_HAS_ASSIGN_REF (NODE) && ! TYPE_HAS_COMPLEX_ASSIGN_REF (NODE))
1644 #define TYPE_PTRMEM_P(NODE) \
1645 (TREE_CODE (NODE) == POINTER_TYPE \
1646 && TREE_CODE (TREE_TYPE (NODE)) == OFFSET_TYPE)
1647 #define TYPE_PTR_P(NODE) \
1648 (TREE_CODE (NODE) == POINTER_TYPE \
1649 && TREE_CODE (TREE_TYPE (NODE)) != OFFSET_TYPE)
1650 #define TYPE_PTROB_P(NODE) \
1651 (TYPE_PTR_P (NODE) && TREE_CODE (TREE_TYPE (NODE)) != FUNCTION_TYPE \
1652 && TREE_CODE (TREE_TYPE (NODE)) != VOID_TYPE)
1653 #define TYPE_PTROBV_P(NODE) \
1654 (TYPE_PTR_P (NODE) && TREE_CODE (TREE_TYPE (NODE)) != FUNCTION_TYPE)
1655 #define TYPE_PTRFN_P(NODE) \
1656 (TREE_CODE (NODE) == POINTER_TYPE \
1657 && TREE_CODE (TREE_TYPE (NODE)) == FUNCTION_TYPE)
1659 /* Nonzero for _TYPE node means that this type is a pointer to member
1661 #define TYPE_PTRMEMFUNC_P(NODE) \
1662 (TREE_CODE(NODE) == RECORD_TYPE && TYPE_PTRMEMFUNC_FLAG (NODE))
1663 #define TYPE_PTRMEMFUNC_FLAG(NODE) \
1664 (TYPE_LANG_SPECIFIC(NODE)->type_flags.ptrmemfunc_flag)
1666 /* A pointer-to-function member type looks like:
1677 where P is a POINTER_TYPE to a METHOD_TYPE appropriate for the
1678 pointer to member. The fields are used as follows:
1680 If __INDEX is -1, then the function to call is non-virtual, and
1681 is located at the address given by __PFN.
1683 If __INDEX is zero, then this a NULL pointer-to-member.
1685 Otherwise, the function to call is virtual. Then, __DELTA2 gives
1686 the offset from an instance of the object to the virtual function
1687 table, and __INDEX - 1 is the index into the vtable to use to
1690 The value to use for the THIS parameter is the address of the
1691 object plus __DELTA.
1704 struct S : public B1, B2 {};
1706 the pointer-to-member for `&S::f' looks like:
1708 { 4, -1, { &f__2B2 } };
1710 The `4' means that given an `S*' you have to add 4 bytes to get to
1711 the address of the `B2*'. Then, the -1 indicates that this is a
1712 non-virtual function. Of course, `&f__2B2' is the name of that
1715 (Of course, the exactl values may differ depending on the mangling
1716 scheme, sizes of types, and such.). */
1718 /* Get the POINTER_TYPE to the METHOD_TYPE associated with this
1719 pointer to member function. TYPE_PTRMEMFUNC_P _must_ be true,
1720 before using this macro. */
1721 #define TYPE_PTRMEMFUNC_FN_TYPE(NODE) (TREE_TYPE (TYPE_FIELDS (TREE_TYPE (TREE_CHAIN (TREE_CHAIN (TYPE_FIELDS (NODE)))))))
1723 /* Returns `A' for a type like `int (A::*)(double)' */
1724 #define TYPE_PTRMEMFUNC_OBJECT_TYPE(NODE) \
1725 TYPE_METHOD_BASETYPE (TREE_TYPE (TYPE_PTRMEMFUNC_FN_TYPE (NODE)))
1727 /* These are use to manipulate the canonical RECORD_TYPE from the
1728 hashed POINTER_TYPE, and can only be used on the POINTER_TYPE. */
1729 #define TYPE_GET_PTRMEMFUNC_TYPE(NODE) ((tree)TYPE_LANG_SPECIFIC(NODE))
1730 #define TYPE_SET_PTRMEMFUNC_TYPE(NODE, VALUE) (TYPE_LANG_SPECIFIC(NODE) = ((struct lang_type *)(void*)(VALUE)))
1731 /* These are to get the delta2 and pfn fields from a TYPE_PTRMEMFUNC_P. */
1732 #define DELTA2_FROM_PTRMEMFUNC(NODE) delta2_from_ptrmemfunc ((NODE))
1733 #define PFN_FROM_PTRMEMFUNC(NODE) pfn_from_ptrmemfunc ((NODE))
1735 /* For a pointer-to-member constant `X::Y' this is the RECORD_TYPE for
1737 #define PTRMEM_CST_CLASS(NODE) \
1738 (TYPE_PTRMEM_P (TREE_TYPE (NODE)) \
1739 ? TYPE_OFFSET_BASETYPE (TREE_TYPE (TREE_TYPE (NODE))) \
1740 : TYPE_PTRMEMFUNC_OBJECT_TYPE (TREE_TYPE (NODE)))
1742 /* For a pointer-to-member constant `X::Y' this is the _DECL for
1744 #define PTRMEM_CST_MEMBER(NODE) (((ptrmem_cst_t) NODE)->member)
1746 /* Nonzero for VAR_DECL and FUNCTION_DECL node means that `extern' was
1747 specified in its declaration. */
1748 #define DECL_THIS_EXTERN(NODE) (DECL_LANG_FLAG_2(NODE))
1750 /* Nonzero for VAR_DECL and FUNCTION_DECL node means that `static' was
1751 specified in its declaration. */
1752 #define DECL_THIS_STATIC(NODE) (DECL_LANG_FLAG_6(NODE))
1754 /* Nonzero in FUNCTION_DECL means it is really an operator.
1755 Just used to communicate formatting information to dbxout.c. */
1756 #define DECL_OPERATOR(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.operator_attr)
1758 #define ANON_UNION_P(NODE) (DECL_NAME (NODE) == 0)
1760 /* Nonzero if TYPE is an anonymous union type. We have to use a flag for
1761 this because "A union for which objects or pointers are declared is not
1762 an anonymous union" [class.union]. */
1763 #define ANON_UNION_TYPE_P(NODE) \
1764 (TYPE_LANG_SPECIFIC (NODE) \
1765 && TYPE_LANG_SPECIFIC (NODE)->type_flags.anon_union)
1766 #define SET_ANON_UNION_TYPE_P(NODE) \
1767 (TYPE_LANG_SPECIFIC (NODE)->type_flags.anon_union = 1)
1769 #define UNKNOWN_TYPE LANG_TYPE
1771 /* Define fields and accessors for nodes representing declared names. */
1774 /* C++: A derived class may be able to directly use the virtual
1775 function table of a base class. When it does so, it may
1776 still have a decl node used to access the virtual function
1777 table (so that variables of this type can initialize their
1778 virtual function table pointers by name). When such thievery
1779 is committed, know exactly which base class's virtual function
1780 table is the one being stolen. This effectively computes the
1781 transitive closure. */
1782 #define DECL_VPARENT(NODE) ((NODE)->decl.arguments)
1785 #define TYPE_WAS_ANONYMOUS(NODE) (TYPE_LANG_SPECIFIC (NODE)->type_flags.was_anonymous)
1787 /* C++: all of these are overloaded! These apply only to TYPE_DECLs. */
1789 /* The format of each node in the DECL_FRIENDLIST is as follows:
1791 The TREE_PURPOSE will be the name of a function, i.e., an
1792 IDENTIFIER_NODE. The TREE_VALUE will be itself a TREE_LIST, the
1793 list of functions with that name which are friends. The
1794 TREE_PURPOSE of each node in this sublist will be error_mark_node,
1795 if the function was declared a friend individually, in which case
1796 the TREE_VALUE will be the function_decl. If, however, all
1797 functions with a given name in a class were declared to be friends,
1798 the TREE_PUROSE will be the class type, and the TREE_VALUE will be
1800 #define DECL_FRIENDLIST(NODE) (DECL_INITIAL (NODE))
1801 #define FRIEND_NAME(LIST) (TREE_PURPOSE (LIST))
1802 #define FRIEND_DECLS(LIST) (TREE_VALUE (LIST))
1804 /* The DECL_ACCESS, if non-NULL, is a TREE_LIST. The TREE_PURPOSE of
1805 each node is a type; the TREE_VALUE is the access granted for this
1806 DECL in that type. The DECL_ACCESS is set by access declarations.
1807 For example, if a member that would normally be public in a
1808 derived class is made protected, then the derived class and the
1809 protected_access_node will appear in the DECL_ACCESS for the node. */
1810 #define DECL_ACCESS(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.access)
1812 /* C++: all of these are overloaded!
1813 These apply to PARM_DECLs and VAR_DECLs. */
1814 #define DECL_REFERENCE_SLOT(NODE) ((tree)(NODE)->decl.arguments)
1815 #define SET_DECL_REFERENCE_SLOT(NODE,VAL) ((NODE)->decl.arguments=VAL)
1817 /* Accessor macros for C++ template decl nodes. */
1819 /* The DECL_TEMPLATE_PARMS are a list. The TREE_PURPOSE of each node
1820 is a INT_CST whose TREE_INT_CST_HIGH indicates the level of the
1821 template parameters, with 1 being the outermost set of template
1822 parameters. The TREE_VALUE is a vector, whose elements are the
1823 template parameters at each level. Each element in the vector is a
1824 TREE_LIST, whose TREE_VALUE is a PARM_DECL (if the parameter is a
1825 non-type parameter), or a TYPE_DECL (if the parameter is a type
1826 parameter). The TREE_PURPOSE is the default value, if any. The
1827 TEMPLATE_PARM_INDEX for the parameter is avilable as the
1828 DECL_INITIAL (for a PARM_DECL) or as the TREE_TYPE (for a
1830 #define DECL_TEMPLATE_PARMS(NODE) DECL_ARGUMENTS(NODE)
1831 #define DECL_INNERMOST_TEMPLATE_PARMS(NODE) \
1832 INNERMOST_TEMPLATE_PARMS (DECL_TEMPLATE_PARMS (NODE))
1833 #define DECL_NTPARMS(NODE) \
1834 TREE_VEC_LENGTH (DECL_INNERMOST_TEMPLATE_PARMS (NODE))
1835 /* For function, method, class-data templates. */
1836 #define DECL_TEMPLATE_RESULT(NODE) DECL_RESULT(NODE)
1837 /* For a static member variable template, the
1838 DECL_TEMPLATE_INSTANTIATIONS list contains the explicitly and
1839 implicitly generated instantiations of the variable. There are no
1840 partial instantiations of static member variables, so all of these
1841 will be full instantiations.
1843 For a class template the DECL_TEMPLATE_INSTANTIATIONS lists holds
1844 all instantiations and specializations of the class type, including
1845 partial instantiations and partial specializations.
1847 In both cases, the TREE_PURPOSE of each node contains the arguments
1848 used; the TREE_VALUE contains the generated variable. The template
1849 arguments are always complete. For example, given:
1851 template <class T> struct S1 {
1852 template <class U> struct S2 {};
1853 template <class U> struct S2<U*> {};
1856 the record for the partial specialization will contain, as its
1857 argument list, { {T}, {U*} }, and will be on the
1858 DECL_TEMPLATE_INSTANTIATIONS list for `template <class T> template
1859 <class U> struct S1<T>::S2'.
1861 This list is not used for function templates. */
1862 #define DECL_TEMPLATE_INSTANTIATIONS(NODE) DECL_VINDEX(NODE)
1863 /* For a function template, the DECL_TEMPLATE_SPECIALIZATIONS lists
1864 contains all instantiations and specializations of the function,
1865 including partial instantiations. For a partial instantiation
1866 which is a specialization, this list holds only full
1867 specializations of the template that are instantiations of the
1868 partial instantiation. For example, given:
1870 template <class T> struct S {
1871 template <class U> void f(U);
1872 template <> void f(T);
1875 the `S<int>::f<int>(int)' function will appear on the
1876 DECL_TEMPLATE_SPECIALIZATIONS list for both `template <class T>
1877 template <class U> void S<T>::f(U)' and `template <class T> void
1878 S<int>::f(T)'. In the latter case, however, it will have only the
1879 innermost set of arguments (T, in this case). The DECL_TI_TEMPLATE
1880 for the function declaration will point at the specialization, not
1881 the fully general template.
1883 For a class template, this list contains the partial
1884 specializations of this template. (Full specializations are not
1885 recorded on this list.) The TREE_PURPOSE holds the innermost
1886 arguments used in the partial specialization (e.g., for `template
1887 <class T> struct S<T*, int>' this will be `T*'.) The TREE_VALUE
1888 holds the innermost template parameters for the specialization
1889 (e.g., `T' in the example above.) The TREE_TYPE is the _TYPE node
1890 for the partial specialization.
1892 This list is not used for static variable templates. */
1893 #define DECL_TEMPLATE_SPECIALIZATIONS(NODE) DECL_SIZE(NODE)
1894 #define DECL_TEMPLATE_INJECT(NODE) DECL_INITIAL(NODE)
1896 /* Nonzero for a DECL which is actually a template parameter. */
1897 #define DECL_TEMPLATE_PARM_P(NODE) \
1898 DECL_LANG_FLAG_0 (NODE)
1900 #define DECL_TEMPLATE_TEMPLATE_PARM_P(NODE) \
1901 (TREE_CODE (NODE) == TEMPLATE_DECL && DECL_TEMPLATE_PARM_P (NODE))
1903 #define DECL_FUNCTION_TEMPLATE_P(NODE) \
1904 (TREE_CODE (NODE) == TEMPLATE_DECL \
1905 && TREE_CODE (DECL_TEMPLATE_RESULT (NODE)) == FUNCTION_DECL)
1907 /* Nonzero for a DECL that represents a template class. */
1908 #define DECL_CLASS_TEMPLATE_P(NODE) \
1909 (TREE_CODE (NODE) == TEMPLATE_DECL \
1910 && TREE_CODE (DECL_TEMPLATE_RESULT (NODE)) == TYPE_DECL \
1911 && !DECL_TEMPLATE_TEMPLATE_PARM_P (NODE))
1913 /* Nonzero if NODE which declares a type. */
1914 #define DECL_DECLARES_TYPE_P(NODE) \
1915 (TREE_CODE (NODE) == TYPE_DECL || DECL_CLASS_TEMPLATE_P (NODE))
1917 /* A `primary' template is one that has its own template header. A
1918 member function of a class template is a template, but not primary.
1919 A member template is primary. Friend templates are primary, too. */
1921 /* Returns the primary template corresponding to these parameters. */
1922 #define DECL_PRIMARY_TEMPLATE(NODE) \
1923 (TREE_TYPE (DECL_INNERMOST_TEMPLATE_PARMS (NODE)))
1925 /* Returns non-zero if NODE is a primary template. */
1926 #define PRIMARY_TEMPLATE_P(NODE) (DECL_PRIMARY_TEMPLATE (NODE) == NODE)
1928 #define CLASSTYPE_TEMPLATE_LEVEL(NODE) \
1929 (TREE_INT_CST_HIGH (TREE_PURPOSE (CLASSTYPE_TI_TEMPLATE (NODE))))
1931 /* Indicates whether or not (and how) a template was expanded for this
1932 FUNCTION_DECL or VAR_DECL.
1933 0=normal declaration, e.g. int min (int, int);
1934 1=implicit template instantiation
1935 2=explicit template specialization, e.g. int min<int> (int, int);
1936 3=explicit template instantiation, e.g. template int min<int> (int, int); */
1937 #define DECL_USE_TEMPLATE(NODE) (DECL_LANG_SPECIFIC(NODE)->decl_flags.use_template)
1939 #define DECL_TEMPLATE_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) & 1)
1940 #define CLASSTYPE_TEMPLATE_INSTANTIATION(NODE) \
1941 (CLASSTYPE_USE_TEMPLATE (NODE) & 1)
1943 #define DECL_TEMPLATE_SPECIALIZATION(NODE) (DECL_USE_TEMPLATE (NODE) == 2)
1944 #define SET_DECL_TEMPLATE_SPECIALIZATION(NODE) (DECL_USE_TEMPLATE (NODE) = 2)
1945 #define CLASSTYPE_TEMPLATE_SPECIALIZATION(NODE) \
1946 (CLASSTYPE_USE_TEMPLATE (NODE) == 2)
1947 #define SET_CLASSTYPE_TEMPLATE_SPECIALIZATION(NODE) \
1948 (CLASSTYPE_USE_TEMPLATE (NODE) = 2)
1950 #define DECL_IMPLICIT_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) == 1)
1951 #define SET_DECL_IMPLICIT_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) = 1)
1952 #define CLASSTYPE_IMPLICIT_INSTANTIATION(NODE) \
1953 (CLASSTYPE_USE_TEMPLATE(NODE) == 1)
1954 #define SET_CLASSTYPE_IMPLICIT_INSTANTIATION(NODE) \
1955 (CLASSTYPE_USE_TEMPLATE(NODE) = 1)
1957 #define DECL_EXPLICIT_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) == 3)
1958 #define SET_DECL_EXPLICIT_INSTANTIATION(NODE) (DECL_USE_TEMPLATE (NODE) = 3)
1959 #define CLASSTYPE_EXPLICIT_INSTANTIATION(NODE) \
1960 (CLASSTYPE_USE_TEMPLATE(NODE) == 3)
1961 #define SET_CLASSTYPE_EXPLICIT_INSTANTIATION(NODE) \
1962 (CLASSTYPE_USE_TEMPLATE(NODE) = 3)
1964 /* Non-zero if DECL is a friend function which is an instantiation
1965 from the point of view of the compiler, but not from the point of
1966 view of the language. For example given:
1967 template <class T> struct S { friend void f(T) {}; };
1968 the declaration of `void f(int)' generated when S<int> is
1969 instantiated will not be a DECL_TEMPLATE_INSTANTIATION, but will be
1970 a DECL_FRIEND_PSUEDO_TEMPLATE_INSTANTIATION. */
1971 #define DECL_FRIEND_PSEUDO_TEMPLATE_INSTANTIATION(DECL) \
1972 (DECL_TEMPLATE_INFO (DECL) && !DECL_USE_TEMPLATE (DECL))
1974 /* Non-zero if TYPE is a partial instantiation of a template class,
1975 i.e., an instantiation whose instantiation arguments involve
1977 #define PARTIAL_INSTANTIATION_P(TYPE) \
1978 (TYPE_LANG_SPECIFIC (TYPE)->type_flags.is_partial_instantiation)
1980 /* Non-zero iff we are currently processing a declaration for an
1981 entity with its own template parameter list, and which is not a
1982 full specialization. */
1983 #define PROCESSING_REAL_TEMPLATE_DECL_P() \
1984 (processing_template_decl > template_class_depth (current_class_type))
1986 /* This function may be a guiding decl for a template. */
1987 #define DECL_MAYBE_TEMPLATE(NODE) DECL_LANG_FLAG_4 (NODE)
1989 /* Nonzero if this VAR_DECL or FUNCTION_DECL has already been
1990 instantiated, i.e. its definition has been generated from the
1991 pattern given in the the template. */
1992 #define DECL_TEMPLATE_INSTANTIATED(NODE) DECL_LANG_FLAG_1(NODE)
1994 /* We know what we're doing with this decl now. */
1995 #define DECL_INTERFACE_KNOWN(NODE) DECL_LANG_FLAG_5 (NODE)
1997 /* This function was declared inline. This flag controls the linkage
1998 semantics of 'inline'; whether or not the function is inlined is
1999 controlled by DECL_INLINE. */
2000 #define DECL_THIS_INLINE(NODE) \
2001 (DECL_LANG_SPECIFIC (NODE)->decl_flags.declared_inline)
2003 /* DECL_EXTERNAL must be set on a decl until the decl is actually emitted,
2004 so that assemble_external will work properly. So we have this flag to
2005 tell us whether the decl is really not external. */
2006 #define DECL_NOT_REALLY_EXTERN(NODE) \
2007 (DECL_LANG_SPECIFIC (NODE)->decl_flags.not_really_extern)
2009 #define DECL_REALLY_EXTERN(NODE) \
2010 (DECL_EXTERNAL (NODE) && ! DECL_NOT_REALLY_EXTERN (NODE))
2012 /* Used to tell cp_finish_decl that it should approximate comdat linkage
2013 as best it can for this decl. */
2014 #define DECL_COMDAT(NODE) (DECL_LANG_SPECIFIC (NODE)->decl_flags.comdat)
2016 #define THUNK_DELTA(DECL) ((DECL)->decl.frame_size.i)
2018 /* ...and for unexpanded-parameterized-type nodes. */
2019 #define UPT_TEMPLATE(NODE) TREE_PURPOSE(TYPE_VALUES(NODE))
2020 #define UPT_PARMS(NODE) TREE_VALUE(TYPE_VALUES(NODE))
2022 /* An un-parsed default argument looks like an identifier. */
2023 #define DEFARG_NODE_CHECK(t) TREE_CHECK(t, DEFAULT_ARG)
2024 #define DEFARG_LENGTH(NODE) (DEFARG_NODE_CHECK(NODE)->identifier.length)
2025 #define DEFARG_POINTER(NODE) (DEFARG_NODE_CHECK(NODE)->identifier.pointer)
2027 #define builtin_function(NAME, TYPE, CODE, LIBNAME) \
2028 define_function (NAME, TYPE, CODE, (void (*) PROTO((tree)))pushdecl, LIBNAME)
2030 /* These macros provide convenient access to the various _STMT nodes
2031 created when parsing template declarations. */
2032 #define IF_COND(NODE) TREE_OPERAND (NODE, 0)
2033 #define THEN_CLAUSE(NODE) TREE_OPERAND (NODE, 1)
2034 #define ELSE_CLAUSE(NODE) TREE_OPERAND (NODE, 2)
2035 #define WHILE_COND(NODE) TREE_OPERAND (NODE, 0)
2036 #define WHILE_BODY(NODE) TREE_OPERAND (NODE, 1)
2037 #define DO_COND(NODE) TREE_OPERAND (NODE, 0)
2038 #define DO_BODY(NODE) TREE_OPERAND (NODE, 1)
2039 #define RETURN_EXPR(NODE) TREE_OPERAND (NODE, 0)
2040 #define EXPR_STMT_EXPR(NODE) TREE_OPERAND (NODE, 0)
2041 #define FOR_INIT_STMT(NODE) TREE_OPERAND (NODE, 0)
2042 #define FOR_COND(NODE) TREE_OPERAND (NODE, 1)
2043 #define FOR_EXPR(NODE) TREE_OPERAND (NODE, 2)
2044 #define FOR_BODY(NODE) TREE_OPERAND (NODE, 3)
2045 #define SWITCH_COND(NODE) TREE_OPERAND (NODE, 0)
2046 #define SWITCH_BODY(NODE) TREE_OPERAND (NODE, 1)
2047 #define CASE_LOW(NODE) TREE_OPERAND (NODE, 0)
2048 #define CASE_HIGH(NODE) TREE_OPERAND (NODE, 1)
2049 #define GOTO_DESTINATION(NODE) TREE_OPERAND (NODE, 0)
2050 #define TRY_STMTS(NODE) TREE_OPERAND (NODE, 0)
2051 #define TRY_HANDLERS(NODE) TREE_OPERAND (NODE, 1)
2052 #define HANDLER_PARMS(NODE) TREE_OPERAND (NODE, 0)
2053 #define HANDLER_BODY(NODE) TREE_OPERAND (NODE, 1)
2054 #define COMPOUND_BODY(NODE) TREE_OPERAND (NODE, 0)
2055 #define ASM_CV_QUAL(NODE) TREE_OPERAND (NODE, 0)
2056 #define ASM_STRING(NODE) TREE_OPERAND (NODE, 1)
2057 #define ASM_OUTPUTS(NODE) TREE_OPERAND (NODE, 2)
2058 #define ASM_INPUTS(NODE) TREE_OPERAND (NODE, 3)
2059 #define ASM_CLOBBERS(NODE) TREE_OPERAND (NODE, 4)
2061 /* An enumeration of the kind of tags that C++ accepts. */
2062 enum tag_types
{ record_type
, class_type
, union_type
, enum_type
,
2065 /* Zero means prototype weakly, as in ANSI C (no args means nothing).
2066 Each language context defines how this variable should be set. */
2067 extern int strict_prototype
;
2068 extern int strict_prototypes_lang_c
, strict_prototypes_lang_cplusplus
;
2070 /* Non-zero means that if a label exists, and no other identifier
2071 applies, use the value of the label. */
2072 extern int flag_labels_ok
;
2074 /* Non-zero means to collect statistics which might be expensive
2075 and to print them when we are done. */
2076 extern int flag_detailed_statistics
;
2078 /* Non-zero means warn in function declared in derived class has the
2079 same name as a virtual in the base class, but fails to match the
2080 type signature of any virtual function in the base class. */
2081 extern int warn_overloaded_virtual
;
2083 /* Nonzero means warn about use of multicharacter literals. */
2084 extern int warn_multichar
;
2086 /* Non-zero means warn if a non-templatized friend function is
2087 declared in a templatized class. This behavior is warned about with
2088 flag_guiding_decls in do_friend. */
2089 extern int warn_nontemplate_friend
;
2092 extern void declare_function_name
PROTO((void));
2093 extern void decl_attributes
PROTO((tree
, tree
, tree
));
2094 extern void init_function_format_info
PROTO((void));
2095 extern void record_function_format
PROTO((tree
, tree
, int, int, int));
2096 extern void check_function_format
PROTO((tree
, tree
, tree
));
2097 /* Print an error message for invalid operands to arith operation CODE.
2098 NOP_EXPR is used as a special case (see truthvalue_conversion). */
2099 extern void binary_op_error
PROTO((enum tree_code
));
2100 extern tree cp_build_qualified_type
PROTO((tree
, int));
2101 extern tree canonical_type_variant
PROTO((tree
));
2102 extern void c_expand_expr_stmt
PROTO((tree
));
2103 /* Validate the expression after `case' and apply default promotions. */
2104 extern tree check_case_value
PROTO((tree
));
2105 /* Concatenate a list of STRING_CST nodes into one STRING_CST. */
2106 extern tree combine_strings
PROTO((tree
));
2107 extern void constant_expression_warning
PROTO((tree
));
2108 extern tree convert_and_check
PROTO((tree
, tree
));
2109 extern void overflow_warning
PROTO((tree
));
2110 extern void unsigned_conversion_warning
PROTO((tree
, tree
));
2111 extern void c_apply_type_quals_to_decl
PROTO((int, tree
));
2113 /* Read the rest of the current #-directive line. */
2115 extern char *get_directive_line
PROTO((void));
2116 #define GET_DIRECTIVE_LINE() get_directive_line ()
2118 extern char *get_directive_line
PROTO((FILE *));
2119 #define GET_DIRECTIVE_LINE() get_directive_line (finput)
2121 /* Subroutine of build_binary_op, used for comparison operations.
2122 See if the operands have both been converted from subword integer types
2123 and, if so, perhaps change them both back to their original type. */
2124 extern tree shorten_compare
PROTO((tree
*, tree
*, tree
*, enum tree_code
*));
2125 /* Prepare expr to be an argument of a TRUTH_NOT_EXPR,
2126 or validate its data type for an `if' or `while' statement or ?..: exp. */
2127 extern tree truthvalue_conversion
PROTO((tree
));
2128 extern tree type_for_mode
PROTO((enum machine_mode
, int));
2129 extern tree type_for_size
PROTO((unsigned, int));
2130 extern int c_get_alias_set
PROTO((tree
));
2133 extern tree void_list_node
;
2134 extern tree void_zero_node
;
2135 extern tree default_function_type
;
2136 extern tree vtable_entry_type
;
2137 extern tree sigtable_entry_type
;
2138 extern tree __t_desc_type_node
;
2140 extern tree __tp_desc_type_node
;
2142 extern tree __access_mode_type_node
;
2143 extern tree __bltn_desc_type_node
, __user_desc_type_node
;
2144 extern tree __class_desc_type_node
, __attr_desc_type_node
;
2145 extern tree __ptr_desc_type_node
, __func_desc_type_node
;
2146 extern tree __ptmf_desc_type_node
, __ptmd_desc_type_node
;
2147 extern tree type_info_type_node
;
2148 extern tree class_star_type_node
;
2149 extern tree this_identifier
;
2150 extern tree ctor_identifier
, dtor_identifier
;
2151 extern tree pfn_identifier
;
2152 extern tree index_identifier
;
2153 extern tree delta_identifier
;
2154 extern tree delta2_identifier
;
2155 extern tree pfn_or_delta2_identifier
;
2156 extern tree tag_identifier
;
2157 extern tree vt_off_identifier
;
2159 /* A node that is a list (length 1) of error_mark_nodes. */
2160 extern tree error_mark_list
;
2162 extern tree ptr_type_node
;
2163 extern tree class_type_node
, record_type_node
, union_type_node
, enum_type_node
;
2164 extern tree unknown_type_node
;
2165 extern tree opaque_type_node
, signature_type_node
;
2167 /* Node for "pointer to (virtual) function".
2168 This may be distinct from ptr_type_node so gdb can distinguish them. */
2169 #define vfunc_ptr_type_node \
2170 (flag_vtable_thunks ? vtable_entry_type : ptr_type_node)
2172 /* The type of a vtbl, i.e., an array of vtable entries. */
2173 extern tree vtbl_type_node
;
2174 /* The type of a class vtbl pointer, i.e., a pointer to a vtable entry. */
2175 extern tree vtbl_ptr_type_node
;
2176 extern tree delta_type_node
;
2177 extern tree std_node
;
2179 extern tree long_long_integer_type_node
, long_long_unsigned_type_node
;
2180 /* For building calls to `delete'. */
2181 extern tree integer_two_node
, integer_three_node
;
2182 extern tree boolean_type_node
, boolean_true_node
, boolean_false_node
;
2184 extern tree null_node
;
2186 extern tree anonymous_namespace_name
;
2188 /* The FUNCTION_DECL for the default `::operator delete'. */
2190 extern tree global_delete_fndecl
;
2194 /* These values are used for the `STRICT' parameter to type_unfication and
2195 fn_type_unification. Their meanings are described with the
2196 documentation for fn_type_unification. */
2198 typedef enum unification_kind_t
{
2202 } unification_kind_t
;
2204 extern tree current_template_parms
;
2205 extern HOST_WIDE_INT processing_template_decl
;
2206 extern tree last_tree
;
2208 /* The template currently being instantiated, and where the instantiation
2215 struct tinst_level
*next
;
2218 extern int minimal_parse_mode
;
2220 extern void maybe_print_template_context
PROTO ((void));
2224 /* When parsing a class definition, the access specifier most recently
2225 given by the user, or, if no access specifier was given, the
2226 default value appropriate for the kind of class (i.e., struct,
2227 class, or union). */
2228 extern tree current_access_specifier
;
2230 extern tree current_class_name
;
2231 extern tree current_class_type
;
2232 extern tree current_class_ptr
;
2233 extern tree previous_class_type
;
2234 extern tree current_class_ref
;
2235 extern int current_class_depth
;
2237 extern tree current_lang_name
;
2238 extern tree lang_name_cplusplus
, lang_name_c
, lang_name_java
;
2240 /* Points to the name of that function. May not be the DECL_NAME
2241 of CURRENT_FUNCTION_DECL due to overloading */
2242 extern tree original_function_name
;
2245 extern tree global_base_init_list
;
2246 extern tree current_base_init_list
, current_member_init_list
;
2248 extern int current_function_just_assigned_this
;
2249 extern int current_function_parms_stored
;
2251 /* Here's where we control how name mangling takes place. */
2253 #define OPERATOR_ASSIGN_FORMAT "__a%s"
2254 #define OPERATOR_FORMAT "__%s"
2255 #define OPERATOR_TYPENAME_FORMAT "__op"
2257 /* Cannot use '$' up front, because this confuses gdb
2258 (names beginning with '$' are gdb-local identifiers).
2260 Note that all forms in which the '$' is significant are long enough
2261 for direct indexing (meaning that if we know there is a '$'
2262 at a particular location, we can index into the string at
2263 any other location that provides distinguishing characters). */
2265 /* Define NO_DOLLAR_IN_LABEL in your favorite tm file if your assembler
2266 doesn't allow '$' in symbol names. */
2267 #ifndef NO_DOLLAR_IN_LABEL
2271 #define VPTR_NAME "$v"
2272 #define THROW_NAME "$eh_throw"
2273 #define DESTRUCTOR_DECL_PREFIX "_$_"
2274 #define AUTO_VTABLE_NAME "__vtbl$me__"
2275 #define AUTO_TEMP_NAME "_$tmp_"
2276 #define AUTO_TEMP_FORMAT "_$tmp_%d"
2277 #define VTABLE_BASE "$vb"
2278 #define VTABLE_NAME_FORMAT (flag_vtable_thunks ? "__vt_%s" : "_vt$%s")
2279 #define VFIELD_BASE "$vf"
2280 #define VFIELD_NAME "_vptr$"
2281 #define VFIELD_NAME_FORMAT "_vptr$%s"
2282 #define VBASE_NAME "_vb$"
2283 #define VBASE_NAME_FORMAT "_vb$%s"
2284 #define STATIC_NAME_FORMAT "_%s$%s"
2285 #define ANON_AGGRNAME_FORMAT "$_%d"
2287 #else /* NO_DOLLAR_IN_LABEL */
2289 #ifndef NO_DOT_IN_LABEL
2293 #define VPTR_NAME ".v"
2294 #define THROW_NAME ".eh_throw"
2295 #define DESTRUCTOR_DECL_PREFIX "_._"
2296 #define AUTO_VTABLE_NAME "__vtbl.me__"
2297 #define AUTO_TEMP_NAME "_.tmp_"
2298 #define AUTO_TEMP_FORMAT "_.tmp_%d"
2299 #define VTABLE_BASE ".vb"
2300 #define VTABLE_NAME_FORMAT (flag_vtable_thunks ? "__vt_%s" : "_vt.%s")
2301 #define VFIELD_BASE ".vf"
2302 #define VFIELD_NAME "_vptr."
2303 #define VFIELD_NAME_FORMAT "_vptr.%s"
2304 #define VBASE_NAME "_vb."
2305 #define VBASE_NAME_FORMAT "_vb.%s"
2306 #define STATIC_NAME_FORMAT "_%s.%s"
2308 #define ANON_AGGRNAME_FORMAT "._%d"
2310 #else /* NO_DOT_IN_LABEL */
2312 #define VPTR_NAME "__vptr"
2313 #define VPTR_NAME_P(ID_NODE) \
2314 (!strncmp (IDENTIFIER_POINTER (ID_NODE), VPTR_NAME, sizeof (VPTR_NAME) - 1))
2315 #define THROW_NAME "__eh_throw"
2316 #define DESTRUCTOR_DECL_PREFIX "__destr_"
2317 #define DESTRUCTOR_NAME_P(ID_NODE) \
2318 (!strncmp (IDENTIFIER_POINTER (ID_NODE), DESTRUCTOR_DECL_PREFIX, \
2319 sizeof (DESTRUCTOR_DECL_PREFIX) - 1))
2320 #define IN_CHARGE_NAME "__in_chrg"
2321 #define AUTO_VTABLE_NAME "__vtbl_me__"
2322 #define AUTO_TEMP_NAME "__tmp_"
2323 #define TEMP_NAME_P(ID_NODE) \
2324 (!strncmp (IDENTIFIER_POINTER (ID_NODE), AUTO_TEMP_NAME, \
2325 sizeof (AUTO_TEMP_NAME) - 1))
2326 #define AUTO_TEMP_FORMAT "__tmp_%d"
2327 #define VTABLE_BASE "__vtb"
2328 #define VTABLE_NAME "__vt_"
2329 #define VTABLE_NAME_FORMAT (flag_vtable_thunks ? "__vt_%s" : "_vt_%s")
2330 #define VTABLE_NAME_P(ID_NODE) \
2331 (!strncmp (IDENTIFIER_POINTER (ID_NODE), VTABLE_NAME, \
2332 sizeof (VTABLE_NAME) - 1))
2333 #define VFIELD_BASE "__vfb"
2334 #define VFIELD_NAME "__vptr_"
2335 #define VFIELD_NAME_P(ID_NODE) \
2336 (!strncmp (IDENTIFIER_POINTER (ID_NODE), VFIELD_NAME, \
2337 sizeof (VFIELD_NAME) - 1))
2338 #define VFIELD_NAME_FORMAT "_vptr_%s"
2339 #define VBASE_NAME "__vb_"
2340 #define VBASE_NAME_P(ID_NODE) \
2341 (!strncmp (IDENTIFIER_POINTER (ID_NODE), VBASE_NAME, \
2342 sizeof (VBASE_NAME) - 1))
2343 #define VBASE_NAME_FORMAT "__vb_%s"
2344 #define STATIC_NAME_FORMAT "__static_%s_%s"
2346 #define ANON_AGGRNAME_PREFIX "__anon_"
2347 #define ANON_AGGRNAME_P(ID_NODE) \
2348 (!strncmp (IDENTIFIER_POINTER (ID_NODE), ANON_AGGRNAME_PREFIX, \
2349 sizeof (ANON_AGGRNAME_PREFIX) - 1))
2350 #define ANON_AGGRNAME_FORMAT "__anon_%d"
2351 #define ANON_PARMNAME_FORMAT "__%d"
2352 #define ANON_PARMNAME_P(ID_NODE) (IDENTIFIER_POINTER (ID_NODE)[0] == '_' \
2353 && IDENTIFIER_POINTER (ID_NODE)[1] == '_' \
2354 && IDENTIFIER_POINTER (ID_NODE)[2] <= '9')
2356 #endif /* NO_DOT_IN_LABEL */
2357 #endif /* NO_DOLLAR_IN_LABEL */
2359 #define THIS_NAME "this"
2360 #define DESTRUCTOR_NAME_FORMAT "~%s"
2361 #define FILE_FUNCTION_PREFIX_LEN 9
2362 #define CTOR_NAME "__ct"
2363 #define DTOR_NAME "__dt"
2365 #define IN_CHARGE_NAME "__in_chrg"
2367 #define VTBL_PTR_TYPE "__vtbl_ptr_type"
2368 #define VTABLE_DELTA_NAME "__delta"
2369 #define VTABLE_INDEX_NAME "__index"
2370 #define VTABLE_PFN_NAME "__pfn"
2371 #define VTABLE_DELTA2_NAME "__delta2"
2373 #define SIGNATURE_FIELD_NAME "__s_"
2374 #define SIGNATURE_FIELD_NAME_FORMAT "__s_%s"
2375 #define SIGNATURE_OPTR_NAME "__optr"
2376 #define SIGNATURE_SPTR_NAME "__sptr"
2377 #define SIGNATURE_POINTER_NAME "__sp_"
2378 #define SIGNATURE_POINTER_NAME_FORMAT "__%s%s%ssp_%s"
2379 #define SIGNATURE_REFERENCE_NAME "__sr_"
2380 #define SIGNATURE_REFERENCE_NAME_FORMAT "__%s%s%ssr_%s"
2382 #define SIGTABLE_PTR_TYPE "__sigtbl_ptr_type"
2383 #define SIGTABLE_NAME_FORMAT "__st_%s_%s"
2384 #define SIGTABLE_NAME_FORMAT_LONG "__st_%s_%s_%d"
2385 #define SIGTABLE_TAG_NAME "__tag"
2386 #define SIGTABLE_VB_OFF_NAME "__vb_off"
2387 #define SIGTABLE_VT_OFF_NAME "__vt_off"
2388 #define EXCEPTION_CLEANUP_NAME "exception cleanup"
2390 #define THIS_NAME_P(ID_NODE) (strcmp(IDENTIFIER_POINTER (ID_NODE), "this") == 0)
2392 #if !defined(NO_DOLLAR_IN_LABEL) || !defined(NO_DOT_IN_LABEL)
2394 #define VPTR_NAME_P(ID_NODE) (IDENTIFIER_POINTER (ID_NODE)[0] == JOINER \
2395 && IDENTIFIER_POINTER (ID_NODE)[1] == 'v')
2396 #define DESTRUCTOR_NAME_P(ID_NODE) (IDENTIFIER_POINTER (ID_NODE)[1] == JOINER \
2397 && IDENTIFIER_POINTER (ID_NODE)[2] == '_')
2399 #define VTABLE_NAME_P(ID_NODE) (IDENTIFIER_POINTER (ID_NODE)[1] == 'v' \
2400 && IDENTIFIER_POINTER (ID_NODE)[2] == 't' \
2401 && IDENTIFIER_POINTER (ID_NODE)[3] == JOINER)
2403 #define VBASE_NAME_P(ID_NODE) (IDENTIFIER_POINTER (ID_NODE)[1] == 'v' \
2404 && IDENTIFIER_POINTER (ID_NODE)[2] == 'b' \
2405 && IDENTIFIER_POINTER (ID_NODE)[3] == JOINER)
2407 #define TEMP_NAME_P(ID_NODE) (!strncmp (IDENTIFIER_POINTER (ID_NODE), AUTO_TEMP_NAME, sizeof (AUTO_TEMP_NAME)-1))
2408 #define VFIELD_NAME_P(ID_NODE) (!strncmp (IDENTIFIER_POINTER (ID_NODE), VFIELD_NAME, sizeof(VFIELD_NAME)-1))
2410 /* For anonymous aggregate types, we need some sort of name to
2411 hold on to. In practice, this should not appear, but it should
2412 not be harmful if it does. */
2413 #define ANON_AGGRNAME_P(ID_NODE) (IDENTIFIER_POINTER (ID_NODE)[0] == JOINER \
2414 && IDENTIFIER_POINTER (ID_NODE)[1] == '_')
2415 #define ANON_PARMNAME_FORMAT "_%d"
2416 #define ANON_PARMNAME_P(ID_NODE) (IDENTIFIER_POINTER (ID_NODE)[0] == '_' \
2417 && IDENTIFIER_POINTER (ID_NODE)[1] <= '9')
2418 #endif /* !defined(NO_DOLLAR_IN_LABEL) || !defined(NO_DOT_IN_LABEL) */
2420 /* Store the vbase pointer field name for type TYPE into pointer BUF. */
2421 #define FORMAT_VBASE_NAME(BUF,TYPE) do { \
2422 char *wbuf = (char *) alloca (TYPE_ASSEMBLER_NAME_LENGTH (TYPE) \
2423 + sizeof (VBASE_NAME) + 1); \
2424 sprintf (wbuf, VBASE_NAME_FORMAT, TYPE_ASSEMBLER_NAME_STRING (TYPE)); \
2428 /* Returns non-zero iff ID_NODE is an IDENTIFIER_NODE whose name is
2430 #define MAIN_NAME_P(ID_NODE) \
2431 (strcmp (IDENTIFIER_POINTER (ID_NODE), "main") == 0)
2433 /* Returns non-zero iff NODE is a declaration for the global function
2435 #define DECL_MAIN_P(NODE) \
2436 (TREE_CODE (NODE) == FUNCTION_DECL \
2437 && DECL_LANGUAGE (NODE) == lang_c \
2438 && DECL_NAME (NODE) != NULL_TREE \
2439 && MAIN_NAME_P (DECL_NAME (NODE)))
2442 /* Define the sets of attributes that member functions and baseclasses
2443 can have. These are sensible combinations of {public,private,protected}
2444 cross {virtual,non-virtual}. */
2447 extern tree access_default_node
; /* 0 */
2448 extern tree access_public_node
; /* 1 */
2449 extern tree access_protected_node
; /* 2 */
2450 extern tree access_private_node
; /* 3 */
2451 extern tree access_default_virtual_node
; /* 4 */
2452 extern tree access_public_virtual_node
; /* 5 */
2453 extern tree access_protected_virtual_node
; /* 6 */
2454 extern tree access_private_virtual_node
; /* 7 */
2456 /* Things for handling inline functions. */
2458 struct pending_inline
2460 struct pending_inline
*next
; /* pointer to next in chain */
2461 int lineno
; /* line number we got the text from */
2462 char *filename
; /* name of file we were processing */
2463 tree fndecl
; /* FUNCTION_DECL that brought us here */
2464 int token
; /* token we were scanning */
2465 int token_value
; /* value of token we were scanning (YYSTYPE) */
2467 char *buf
; /* pointer to character stream */
2468 int len
; /* length of stream */
2469 unsigned int can_free
: 1; /* free this after we're done with it? */
2470 unsigned int deja_vu
: 1; /* set iff we don't want to see it again. */
2471 unsigned int interface
: 2; /* 0=interface 1=unknown 2=implementation */
2475 extern struct pending_inline
*pending_inlines
;
2477 /* Positive values means that we cannot make optimizing assumptions about
2478 `this'. Negative values means we know `this' to be of static type. */
2480 extern int flag_this_is_variable
;
2482 /* Nonzero means generate 'rtti' that give run-time type information. */
2484 extern int flag_rtti
;
2486 /* Nonzero means do emit exported implementations of functions even if
2487 they can be inlined. */
2489 extern int flag_implement_inlines
;
2491 /* Nonzero means templates obey #pragma interface and implementation. */
2493 extern int flag_external_templates
;
2495 /* Nonzero means templates are emitted where they are instantiated. */
2497 extern int flag_alt_external_templates
;
2499 /* Nonzero means implicit template instantiations are emitted. */
2501 extern int flag_implicit_templates
;
2503 /* Nonzero if we want to emit defined symbols with common-like linkage as
2504 weak symbols where possible, in order to conform to C++ semantics.
2505 Otherwise, emit them as local symbols. */
2507 extern int flag_weak
;
2509 /* Nonzero to enable experimental ABI changes. */
2511 extern int flag_new_abi
;
2513 /* Nonzero to not ignore namespace std. */
2515 extern int flag_honor_std
;
2517 /* Nonzero if we're done parsing and into end-of-file activities. */
2521 enum overload_flags
{ NO_SPECIAL
= 0, DTOR_FLAG
, OP_FLAG
, TYPENAME_FLAG
};
2523 /* The following two can be derived from the previous one */
2524 extern tree current_class_name
; /* IDENTIFIER_NODE: name of current class */
2526 /* Some macros for char-based bitfields. */
2527 #define B_SET(a,x) (a[x>>3] |= (1 << (x&7)))
2528 #define B_CLR(a,x) (a[x>>3] &= ~(1 << (x&7)))
2529 #define B_TST(a,x) (a[x>>3] & (1 << (x&7)))
2531 /* These are uses as bits in flags passed to build_method_call
2532 to control its error reporting behavior.
2534 LOOKUP_PROTECT means flag access violations.
2535 LOOKUP_COMPLAIN mean complain if no suitable member function
2536 matching the arguments is found.
2537 LOOKUP_NORMAL is just a combination of these two.
2538 LOOKUP_NONVIRTUAL means make a direct call to the member function found
2539 LOOKUP_GLOBAL means search through the space of overloaded functions,
2540 as well as the space of member functions.
2541 LOOKUP_HAS_IN_CHARGE means that the "in charge" variable is already
2542 in the parameter list.
2543 LOOKUP_ONLYCONVERTING means that non-conversion constructors are not tried.
2544 DIRECT_BIND means that if a temporary is created, it should be created so
2545 that it lives as long as the current variable bindings; otherwise it
2546 only lives until the end of the complete-expression.
2547 LOOKUP_SPECULATIVELY means return NULL_TREE if we cannot find what we are
2548 after. Note, LOOKUP_COMPLAIN is checked and error messages printed
2549 before LOOKUP_SPECULATIVELY is checked.
2550 LOOKUP_NO_CONVERSION means that user-defined conversions are not
2551 permitted. Built-in conversions are permitted.
2552 LOOKUP_DESTRUCTOR means explicit call to destructor.
2553 LOOKUP_NO_TEMP_BIND means temporaries will not be bound to references.
2555 These are used in global lookup to support elaborated types and
2558 LOOKUP_PREFER_TYPES means not to accept objects, and possibly namespaces.
2559 LOOKUP_PREFER_NAMESPACES means not to accept objects, and possibly types.
2560 LOOKUP_PREFER_BOTH means class-or-namespace-name.
2561 LOOKUP_TEMPLATES_EXPECTED means that class templates also count
2564 #define LOOKUP_PROTECT (1)
2565 #define LOOKUP_COMPLAIN (2)
2566 #define LOOKUP_NORMAL (3)
2567 /* #define LOOKUP_UNUSED (4) */
2568 #define LOOKUP_NONVIRTUAL (8)
2569 #define LOOKUP_GLOBAL (16)
2570 #define LOOKUP_HAS_IN_CHARGE (32)
2571 #define LOOKUP_SPECULATIVELY (64)
2572 #define LOOKUP_ONLYCONVERTING (128)
2573 #define DIRECT_BIND (256)
2574 #define LOOKUP_NO_CONVERSION (512)
2575 #define LOOKUP_DESTRUCTOR (512)
2576 #define LOOKUP_NO_TEMP_BIND (1024)
2577 #define LOOKUP_PREFER_TYPES (2048)
2578 #define LOOKUP_PREFER_NAMESPACES (4096)
2579 #define LOOKUP_PREFER_BOTH (6144)
2580 #define LOOKUP_TEMPLATES_EXPECTED (8192)
2582 #define LOOKUP_NAMESPACES_ONLY(f) \
2583 (((f) & LOOKUP_PREFER_NAMESPACES) && !((f) & LOOKUP_PREFER_TYPES))
2584 #define LOOKUP_TYPES_ONLY(f) \
2585 (!((f) & LOOKUP_PREFER_NAMESPACES) && ((f) & LOOKUP_PREFER_TYPES))
2586 #define LOOKUP_QUALIFIERS_ONLY(f) ((f) & LOOKUP_PREFER_BOTH)
2589 /* These flags are used by the conversion code.
2590 CONV_IMPLICIT : Perform implicit conversions (standard and user-defined).
2591 CONV_STATIC : Perform the explicit conversions for static_cast.
2592 CONV_CONST : Perform the explicit conversions for const_cast.
2593 CONV_REINTERPRET: Perform the explicit conversions for reinterpret_cast.
2594 CONV_PRIVATE : Perform upcasts to private bases.
2595 CONV_FORCE_TEMP : Require a new temporary when converting to the same
2598 #define CONV_IMPLICIT 1
2599 #define CONV_STATIC 2
2600 #define CONV_CONST 4
2601 #define CONV_REINTERPRET 8
2602 #define CONV_PRIVATE 16
2603 /* #define CONV_NONCONVERTING 32 */
2604 #define CONV_FORCE_TEMP 64
2605 #define CONV_STATIC_CAST (CONV_IMPLICIT | CONV_STATIC | CONV_FORCE_TEMP)
2606 #define CONV_OLD_CONVERT (CONV_IMPLICIT | CONV_STATIC | CONV_CONST \
2608 #define CONV_C_CAST (CONV_IMPLICIT | CONV_STATIC | CONV_CONST \
2609 | CONV_REINTERPRET | CONV_PRIVATE | CONV_FORCE_TEMP)
2611 /* Used by build_expr_type_conversion to indicate which types are
2612 acceptable as arguments to the expression under consideration. */
2614 #define WANT_INT 1 /* integer types, including bool */
2615 #define WANT_FLOAT 2 /* floating point types */
2616 #define WANT_ENUM 4 /* enumerated types */
2617 #define WANT_POINTER 8 /* pointer types */
2618 #define WANT_NULL 16 /* null pointer constant */
2619 #define WANT_ARITH (WANT_INT | WANT_FLOAT)
2621 /* Used with comptypes, and related functions, to guide type
2624 #define COMPARE_STRICT 0 /* Just check if the types are the
2626 #define COMPARE_BASE 1 /* Check to see if the second type is
2627 derived from the first, or if both
2628 are pointers (or references) and
2629 the types pointed to by the second
2630 type is derived from the pointed to
2632 #define COMPARE_RELAXED 2 /* Like COMPARE_DERIVED, but in
2633 reverse. Also treat enmeration
2634 types as the same as integer types
2635 of the same width. */
2636 #define COMPARE_REDECLARATION 4 /* The comparsion is being done when
2637 another declaration of an existing
2639 #define COMPARE_NO_ATTRIBUTES 8 /* The comparison should ignore
2640 extra-linguistic type attributes. */
2642 /* Used with push_overloaded_decl. */
2643 #define PUSH_GLOBAL 0 /* Push the DECL into namespace scope,
2644 regardless of the current scope. */
2645 #define PUSH_LOCAL 1 /* Push the DECL into the current
2647 #define PUSH_USING 2 /* We are pushing this DECL as the
2648 result of a using declaration. */
2650 /* Returns nonzero iff TYPE1 and TYPE2 are the same type, in the usual
2652 #define same_type_p(type1, type2) \
2653 comptypes ((type1), (type2), COMPARE_STRICT)
2655 /* Returns nonzero iff TYPE1 and TYPE2 are the same type, or if TYPE2
2656 is derived from TYPE1, or if TYPE2 is a pointer (reference) to a
2657 class derived from the type pointed to (referred to) by TYPE1. */
2658 #define same_or_base_type_p(type1, type2) \
2659 comptypes ((type1), (type2), COMPARE_BASE)
2661 /* These macros are used to access a TEMPLATE_PARM_INDEX. */
2662 #define TEMPLATE_PARM_IDX(NODE) (((template_parm_index*) NODE)->index)
2663 #define TEMPLATE_PARM_LEVEL(NODE) (((template_parm_index*) NODE)->level)
2664 #define TEMPLATE_PARM_DESCENDANTS(NODE) (TREE_CHAIN (NODE))
2665 #define TEMPLATE_PARM_ORIG_LEVEL(NODE) (((template_parm_index*) NODE)->orig_level)
2666 #define TEMPLATE_PARM_DECL(NODE) (((template_parm_index*) NODE)->decl)
2668 /* These macros are for accessing the fields of TEMPLATE_TYPE_PARM
2669 and TEMPLATE_TEMPLATE_PARM nodes. */
2670 #define TEMPLATE_TYPE_PARM_INDEX(NODE) (TYPE_FIELDS (NODE))
2671 #define TEMPLATE_TYPE_IDX(NODE) \
2672 (TEMPLATE_PARM_IDX (TEMPLATE_TYPE_PARM_INDEX (NODE)))
2673 #define TEMPLATE_TYPE_LEVEL(NODE) \
2674 (TEMPLATE_PARM_LEVEL (TEMPLATE_TYPE_PARM_INDEX (NODE)))
2675 #define TEMPLATE_TYPE_ORIG_LEVEL(NODE) \
2676 (TEMPLATE_PARM_ORIG_LEVEL (TEMPLATE_TYPE_PARM_INDEX (NODE)))
2677 #define TEMPLATE_TYPE_DECL(NODE) \
2678 (TEMPLATE_PARM_DECL (TEMPLATE_TYPE_PARM_INDEX (NODE)))
2681 /* Indexed by TREE_CODE, these tables give C-looking names to
2682 operators represented by TREE_CODES. For example,
2683 opname_tab[(int) MINUS_EXPR] == "-". */
2684 extern char **opname_tab
, **assignop_tab
;
2687 extern int check_dtor_name
PROTO((tree
, tree
));
2688 extern int get_arglist_len_in_bytes
PROTO((tree
));
2690 extern tree build_vfield_ref
PROTO((tree
, tree
));
2691 extern tree resolve_scope_to_name
PROTO((tree
, tree
));
2692 extern tree build_scoped_method_call
PROTO((tree
, tree
, tree
, tree
));
2693 extern tree build_addr_func
PROTO((tree
));
2694 extern tree build_call
PROTO((tree
, tree
, tree
));
2695 extern tree build_method_call
PROTO((tree
, tree
, tree
, tree
, int));
2696 extern int null_ptr_cst_p
PROTO((tree
));
2697 extern tree type_decays_to
PROTO((tree
));
2698 extern tree build_user_type_conversion
PROTO((tree
, tree
, int));
2699 extern tree build_new_function_call
PROTO((tree
, tree
));
2700 extern tree build_new_op
PROTO((enum tree_code
, int, tree
, tree
, tree
));
2701 extern tree build_op_new_call
PROTO((enum tree_code
, tree
, tree
, int));
2702 extern tree build_op_delete_call
PROTO((enum tree_code
, tree
, tree
, int, tree
));
2703 extern int can_convert
PROTO((tree
, tree
));
2704 extern int can_convert_arg
PROTO((tree
, tree
, tree
));
2705 extern int enforce_access
PROTO((tree
, tree
));
2706 extern tree convert_default_arg
PROTO((tree
, tree
, tree
));
2707 extern tree convert_arg_to_ellipsis
PROTO((tree
));
2708 extern int is_properly_derived_from
PROTO((tree
, tree
));
2711 extern tree build_vbase_path
PROTO((enum tree_code
, tree
, tree
, tree
, int));
2712 extern tree build_vtbl_ref
PROTO((tree
, tree
));
2713 extern tree build_vfn_ref
PROTO((tree
*, tree
, tree
));
2714 extern void add_method
PROTO((tree
, tree
*, tree
));
2715 extern int currently_open_class
PROTO((tree
));
2716 extern tree get_vfield_offset
PROTO((tree
));
2717 extern void duplicate_tag_error
PROTO((tree
));
2718 extern tree finish_struct
PROTO((tree
, tree
, int));
2719 extern tree finish_struct_1
PROTO((tree
, int));
2720 extern int resolves_to_fixed_type_p
PROTO((tree
, int *));
2721 extern void init_class_processing
PROTO((void));
2722 extern int is_empty_class
PROTO((tree
));
2723 extern void pushclass
PROTO((tree
, int));
2724 extern void popclass
PROTO((int));
2725 extern void push_nested_class
PROTO((tree
, int));
2726 extern void pop_nested_class
PROTO((int));
2727 extern void push_lang_context
PROTO((tree
));
2728 extern void pop_lang_context
PROTO((void));
2729 extern tree instantiate_type
PROTO((tree
, tree
, int));
2730 extern void print_class_statistics
PROTO((void));
2731 extern void maybe_push_cache_obstack
PROTO((void));
2732 extern unsigned HOST_WIDE_INT skip_rtti_stuff
PROTO((tree
*, tree
));
2733 extern void build_self_reference
PROTO((void));
2734 extern void warn_hidden
PROTO((tree
));
2735 extern tree get_enclosing_class
PROTO((tree
));
2736 int is_base_of_enclosing_class
PROTO((tree
, tree
));
2737 extern void unreverse_member_declarations
PROTO((tree
));
2738 extern void invalidate_class_lookup_cache
PROTO((void));
2739 extern void maybe_note_name_used_in_class
PROTO((tree
, tree
));
2740 extern void note_name_declared_in_class
PROTO((tree
, tree
));
2743 extern tree convert_to_reference
PROTO((tree
, tree
, int, int, tree
));
2744 extern tree convert_from_reference
PROTO((tree
));
2745 extern tree convert_pointer_to_real
PROTO((tree
, tree
));
2746 extern tree convert_pointer_to
PROTO((tree
, tree
));
2747 extern tree ocp_convert
PROTO((tree
, tree
, int, int));
2748 extern tree cp_convert
PROTO((tree
, tree
));
2749 extern tree convert
PROTO((tree
, tree
));
2750 extern tree convert_force
PROTO((tree
, tree
, int));
2751 extern tree build_type_conversion
PROTO((tree
, tree
, int));
2752 extern tree build_expr_type_conversion
PROTO((int, tree
, int));
2753 extern tree type_promotes_to
PROTO((tree
));
2754 extern tree perform_qualification_conversions
PROTO((tree
, tree
));
2757 /* resume_binding_level */
2758 extern void set_identifier_local_value
PROTO((tree
, tree
));
2759 extern int global_bindings_p
PROTO((void));
2760 extern int toplevel_bindings_p
PROTO((void));
2761 extern int namespace_bindings_p
PROTO((void));
2762 extern void keep_next_level
PROTO((void));
2763 extern int kept_level_p
PROTO((void));
2764 extern void declare_parm_level
PROTO((void));
2765 extern void declare_pseudo_global_level
PROTO((void));
2766 extern int pseudo_global_level_p
PROTO((void));
2767 extern void set_class_shadows
PROTO((tree
));
2768 extern void pushlevel
PROTO((int));
2769 extern void note_level_for_for
PROTO((void));
2770 extern void pushlevel_temporary
PROTO((int));
2771 extern tree poplevel
PROTO((int, int, int));
2772 extern void resume_level
PROTO((struct binding_level
*));
2773 extern void delete_block
PROTO((tree
));
2774 extern void insert_block
PROTO((tree
));
2775 extern void add_block_current_level
PROTO((tree
));
2776 extern void set_block
PROTO((tree
));
2777 extern void pushlevel_class
PROTO((void));
2778 extern tree poplevel_class
PROTO((int));
2779 extern void print_binding_stack
PROTO((void));
2780 extern void print_binding_level
PROTO((struct binding_level
*));
2781 extern void push_namespace
PROTO((tree
));
2782 extern void pop_namespace
PROTO((void));
2783 extern void maybe_push_to_top_level
PROTO((int));
2784 extern void push_to_top_level
PROTO((void));
2785 extern void pop_from_top_level
PROTO((void));
2786 extern tree identifier_type_value
PROTO((tree
));
2787 extern void set_identifier_type_value
PROTO((tree
, tree
));
2788 extern void pop_everything
PROTO((void));
2789 extern void pushtag
PROTO((tree
, tree
, int));
2790 extern tree make_anon_name
PROTO((void));
2791 extern void clear_anon_tags
PROTO((void));
2792 extern int decls_match
PROTO((tree
, tree
));
2793 extern int duplicate_decls
PROTO((tree
, tree
));
2794 extern tree pushdecl
PROTO((tree
));
2795 extern tree pushdecl_top_level
PROTO((tree
));
2796 extern void pushdecl_class_level
PROTO((tree
));
2798 extern void pushdecl_nonclass_level
PROTO((tree
));
2800 extern tree pushdecl_namespace_level
PROTO((tree
));
2801 extern tree push_using_decl
PROTO((tree
, tree
));
2802 extern tree push_using_directive
PROTO((tree
));
2803 extern void push_class_level_binding
PROTO((tree
, tree
));
2804 extern tree implicitly_declare
PROTO((tree
));
2805 extern tree lookup_label
PROTO((tree
));
2806 extern tree shadow_label
PROTO((tree
));
2807 extern tree define_label
PROTO((char *, int, tree
));
2808 extern void push_switch
PROTO((void));
2809 extern void pop_switch
PROTO((void));
2810 extern void define_case_label
PROTO((void));
2811 extern tree getdecls
PROTO((void));
2812 extern tree gettags
PROTO((void));
2814 extern void set_current_level_tags_transparency
PROTO((int));
2816 extern tree binding_for_name
PROTO((tree
, tree
));
2817 extern tree namespace_binding
PROTO((tree
, tree
));
2818 extern void set_namespace_binding
PROTO((tree
, tree
, tree
));
2819 extern tree lookup_namespace_name
PROTO((tree
, tree
));
2820 extern tree build_typename_type
PROTO((tree
, tree
, tree
, tree
));
2821 extern tree make_typename_type
PROTO((tree
, tree
));
2822 extern tree lookup_name_nonclass
PROTO((tree
));
2823 extern tree lookup_function_nonclass
PROTO((tree
, tree
));
2824 extern tree lookup_name
PROTO((tree
, int));
2825 extern tree lookup_name_current_level
PROTO((tree
));
2826 extern tree lookup_type_current_level
PROTO((tree
));
2827 extern tree lookup_name_namespace_only
PROTO((tree
));
2828 extern void begin_only_namespace_names
PROTO((void));
2829 extern void end_only_namespace_names
PROTO((void));
2830 extern tree namespace_ancestor
PROTO((tree
, tree
));
2831 extern int lookup_using_namespace
PROTO((tree
,tree
,tree
,tree
,int));
2832 extern int qualified_lookup_using_namespace
PROTO((tree
,tree
,tree
,int));
2833 extern tree auto_function
PROTO((tree
, tree
, enum built_in_function
));
2834 extern void init_decl_processing
PROTO((void));
2835 extern int init_type_desc
PROTO((void));
2836 extern tree define_function
2837 PROTO((const char *, tree
, enum built_in_function
,
2838 void (*) (tree
), const char *));
2839 extern tree check_tag_decl
PROTO((tree
));
2840 extern void shadow_tag
PROTO((tree
));
2841 extern tree groktypename
PROTO((tree
));
2842 extern tree start_decl
PROTO((tree
, tree
, int, tree
, tree
));
2843 extern void start_decl_1
PROTO((tree
));
2844 extern void cp_finish_decl
PROTO((tree
, tree
, tree
, int, int));
2845 extern void finish_decl
PROTO((tree
, tree
, tree
));
2846 extern void expand_static_init
PROTO((tree
, tree
));
2847 extern int complete_array_type
PROTO((tree
, tree
, int));
2848 extern tree build_ptrmemfunc_type
PROTO((tree
));
2849 /* the grokdeclarator prototype is in decl.h */
2850 extern int parmlist_is_exprlist
PROTO((tree
));
2851 extern int copy_args_p
PROTO((tree
));
2852 extern int grok_ctor_properties
PROTO((tree
, tree
));
2853 extern void grok_op_properties
PROTO((tree
, int, int));
2854 extern tree xref_tag
PROTO((tree
, tree
, int));
2855 extern tree xref_tag_from_type
PROTO((tree
, tree
, int));
2856 extern void xref_basetypes
PROTO((tree
, tree
, tree
, tree
));
2857 extern tree start_enum
PROTO((tree
));
2858 extern tree finish_enum
PROTO((tree
));
2859 extern tree build_enumerator
PROTO((tree
, tree
, tree
));
2860 extern int start_function
PROTO((tree
, tree
, tree
, int));
2861 extern void expand_start_early_try_stmts
PROTO((void));
2862 extern void store_parm_decls
PROTO((void));
2863 extern void store_return_init
PROTO((tree
, tree
));
2864 extern void finish_function
PROTO((int, int, int));
2865 extern tree start_method
PROTO((tree
, tree
, tree
));
2866 extern tree finish_method
PROTO((tree
));
2867 extern void hack_incomplete_structures
PROTO((tree
));
2868 extern tree maybe_build_cleanup_and_delete
PROTO((tree
));
2869 extern tree maybe_build_cleanup
PROTO((tree
));
2870 extern void cplus_expand_expr_stmt
PROTO((tree
));
2871 extern void finish_stmt
PROTO((void));
2872 extern void push_cp_function_context
PROTO((tree
));
2873 extern void pop_cp_function_context
PROTO((tree
));
2874 extern int in_function_p
PROTO((void));
2875 extern void replace_defarg
PROTO((tree
, tree
));
2876 extern void print_other_binding_stack
PROTO((struct binding_level
*));
2877 extern void revert_static_member_fn
PROTO((tree
*, tree
*, tree
*));
2878 extern void cat_namespace_levels
PROTO((void));
2879 extern void fixup_anonymous_union
PROTO((tree
));
2880 extern int check_static_variable_definition
PROTO((tree
, tree
));
2881 extern void push_local_binding
PROTO((tree
, tree
, int));
2882 extern int push_class_binding
PROTO((tree
, tree
));
2883 extern tree check_default_argument
PROTO((tree
, tree
));
2884 extern tree push_overloaded_decl
PROTO((tree
, int));
2885 extern void clear_identifier_class_values
PROTO((void));
2888 extern int check_java_method
PROTO((tree
));
2889 extern int lang_decode_option
PROTO((int, char **));
2890 extern tree grok_method_quals
PROTO((tree
, tree
, tree
));
2891 extern void warn_if_unknown_interface
PROTO((tree
));
2892 extern void grok_x_components
PROTO((tree
));
2893 extern void maybe_retrofit_in_chrg
PROTO((tree
));
2894 extern void maybe_make_one_only
PROTO((tree
));
2895 extern void grokclassfn
PROTO((tree
, tree
, enum overload_flags
, tree
));
2896 extern tree grok_alignof
PROTO((tree
));
2897 extern tree grok_array_decl
PROTO((tree
, tree
));
2898 extern tree delete_sanity
PROTO((tree
, tree
, int, int));
2899 extern tree check_classfn
PROTO((tree
, tree
));
2900 extern void check_member_template
PROTO((tree
));
2901 extern tree grokfield
PROTO((tree
, tree
, tree
, tree
, tree
));
2902 extern tree grokbitfield
PROTO((tree
, tree
, tree
));
2903 extern tree groktypefield
PROTO((tree
, tree
));
2904 extern tree grokoptypename
PROTO((tree
, tree
));
2905 extern int copy_assignment_arg_p
PROTO((tree
, int));
2906 extern void cplus_decl_attributes
PROTO((tree
, tree
, tree
));
2907 extern tree constructor_name_full
PROTO((tree
));
2908 extern tree constructor_name
PROTO((tree
));
2909 extern void setup_vtbl_ptr
PROTO((void));
2910 extern void mark_inline_for_output
PROTO((tree
));
2911 extern void clear_temp_name
PROTO((void));
2912 extern tree get_temp_name
PROTO((tree
, int));
2913 extern tree get_temp_regvar
PROTO((tree
, tree
));
2914 extern void finish_anon_union
PROTO((tree
));
2915 extern tree finish_table
PROTO((tree
, tree
, tree
, int));
2916 extern void finish_builtin_type
PROTO((tree
, const char *,
2917 tree
*, int, tree
));
2918 extern tree coerce_new_type
PROTO((tree
));
2919 extern tree coerce_delete_type
PROTO((tree
));
2920 extern void comdat_linkage
PROTO((tree
));
2921 extern void import_export_class
PROTO((tree
));
2922 extern void import_export_vtable
PROTO((tree
, tree
, int));
2923 extern int walk_vtables
PROTO((void (*)(tree
, tree
),
2924 int (*)(tree
, tree
)));
2925 extern void walk_sigtables
PROTO((void (*)(tree
, tree
),
2926 void (*)(tree
, tree
)));
2927 extern void import_export_decl
PROTO((tree
));
2928 extern tree build_cleanup
PROTO((tree
));
2929 extern void finish_file
PROTO((void));
2930 extern tree reparse_absdcl_as_expr
PROTO((tree
, tree
));
2931 extern tree reparse_absdcl_as_casts
PROTO((tree
, tree
));
2932 extern tree build_expr_from_tree
PROTO((tree
));
2933 extern tree reparse_decl_as_expr
PROTO((tree
, tree
));
2934 extern tree finish_decl_parsing
PROTO((tree
));
2935 extern tree check_cp_case_value
PROTO((tree
));
2936 extern void set_decl_namespace
PROTO((tree
, tree
, int));
2937 extern tree current_decl_namespace
PROTO((void));
2938 extern void push_decl_namespace
PROTO((tree
));
2939 extern void pop_decl_namespace
PROTO((void));
2940 extern void push_scope
PROTO((tree
));
2941 extern void pop_scope
PROTO((tree
));
2942 extern void do_namespace_alias
PROTO((tree
, tree
));
2943 extern void do_toplevel_using_decl
PROTO((tree
));
2944 extern void do_local_using_decl
PROTO((tree
));
2945 extern tree do_class_using_decl
PROTO((tree
));
2946 extern void do_using_directive
PROTO((tree
));
2947 extern void check_default_args
PROTO((tree
));
2948 extern void mark_used
PROTO((tree
));
2949 extern tree handle_class_head
PROTO((tree
, tree
, tree
));
2950 extern tree lookup_arg_dependent
PROTO((tree
, tree
, tree
));
2953 /* The cp_* functions aren't suitable for ATTRIBUTE_PRINTF. */
2954 extern void cp_error
PVPROTO((const char *, ...));
2955 extern void cp_error_at
PVPROTO((const char *, ...));
2956 extern void cp_warning
PVPROTO((const char *, ...));
2957 extern void cp_warning_at
PVPROTO((const char *, ...));
2958 extern void cp_pedwarn
PVPROTO((const char *, ...));
2959 extern void cp_pedwarn_at
PVPROTO((const char *, ...));
2960 extern void cp_compiler_error
PVPROTO((const char *, ...));
2961 extern void cp_sprintf
PVPROTO((const char *, ...));
2964 extern void init_error
PROTO((void));
2965 extern char *fndecl_as_string
PROTO((tree
, int));
2966 extern char *type_as_string
PROTO((tree
, int));
2967 extern char *type_as_string_real
PROTO((tree
, int, int));
2968 extern char *args_as_string
PROTO((tree
, int));
2969 extern char *decl_as_string
PROTO((tree
, int));
2970 extern char *expr_as_string
PROTO((tree
, int));
2971 extern char *code_as_string
PROTO((enum tree_code
, int));
2972 extern char *language_as_string
PROTO((enum languages
, int));
2973 extern char *parm_as_string
PROTO((int, int));
2974 extern char *op_as_string
PROTO((enum tree_code
, int));
2975 extern char *assop_as_string
PROTO((enum tree_code
, int));
2976 extern char *cv_as_string
PROTO((tree
, int));
2977 extern char *lang_decl_name
PROTO((tree
, int));
2978 extern char *cp_file_of
PROTO((tree
));
2979 extern int cp_line_of
PROTO((tree
));
2982 extern void init_exception_processing
PROTO((void));
2983 extern void expand_start_catch_block
PROTO((tree
, tree
));
2984 extern void expand_end_catch_block
PROTO((void));
2985 extern void expand_builtin_throw
PROTO((void));
2986 extern void expand_start_eh_spec
PROTO((void));
2987 extern void expand_exception_blocks
PROTO((void));
2988 extern tree start_anon_func
PROTO((void));
2989 extern void end_anon_func
PROTO((void));
2990 extern void expand_throw
PROTO((tree
));
2991 extern tree build_throw
PROTO((tree
));
2992 extern void mark_all_runtime_matches
PROTO((void));
2995 extern void init_cplus_expand
PROTO((void));
2996 extern void fixup_result_decl
PROTO((tree
, struct rtx_def
*));
2997 extern int extract_init
PROTO((tree
, tree
));
2998 extern void do_case
PROTO((tree
, tree
));
3001 extern int is_friend
PROTO((tree
, tree
));
3002 extern void make_friend_class
PROTO((tree
, tree
));
3003 extern void add_friend
PROTO((tree
, tree
));
3004 extern void add_friends
PROTO((tree
, tree
, tree
));
3005 extern tree do_friend
PROTO((tree
, tree
, tree
, tree
, enum overload_flags
, tree
, int));
3008 extern void init_init_processing
PROTO((void));
3009 extern void expand_direct_vtbls_init
PROTO((tree
, tree
, int, int, tree
));
3010 extern void emit_base_init
PROTO((tree
, int));
3011 extern void check_base_init
PROTO((tree
));
3012 extern void expand_member_init
PROTO((tree
, tree
, tree
));
3013 extern void expand_aggr_init
PROTO((tree
, tree
, int));
3014 extern int is_aggr_typedef
PROTO((tree
, int));
3015 extern int is_aggr_type
PROTO((tree
, int));
3016 extern tree get_aggr_from_typedef
PROTO((tree
, int));
3017 extern tree get_type_value
PROTO((tree
));
3018 extern tree build_member_call
PROTO((tree
, tree
, tree
));
3019 extern tree build_offset_ref
PROTO((tree
, tree
));
3020 extern tree resolve_offset_ref
PROTO((tree
));
3021 extern tree decl_constant_value
PROTO((tree
));
3022 extern tree build_new
PROTO((tree
, tree
, tree
, int));
3023 extern tree build_new_1
PROTO((tree
));
3024 extern tree expand_vec_init
PROTO((tree
, tree
, tree
, tree
, int));
3025 extern tree build_x_delete
PROTO((tree
, int, tree
));
3026 extern tree build_delete
PROTO((tree
, tree
, tree
, int, int));
3027 extern tree build_vbase_delete
PROTO((tree
, tree
));
3028 extern tree build_vec_delete
PROTO((tree
, tree
, tree
, tree
, int));
3033 extern char *file_name_nondirectory
PROTO((const char *));
3034 extern tree make_pointer_declarator
PROTO((tree
, tree
));
3035 extern tree make_reference_declarator
PROTO((tree
, tree
));
3036 extern tree make_call_declarator
PROTO((tree
, tree
, tree
, tree
));
3037 extern void set_quals_and_spec
PROTO((tree
, tree
, tree
));
3038 extern char *operator_name_string
PROTO((tree
));
3039 extern void lang_init
PROTO((void));
3040 extern void lang_finish
PROTO((void));
3042 extern void reinit_lang_specific
PROTO((void));
3044 extern void reinit_parse_for_function
PROTO((void));
3045 extern void print_parse_statistics
PROTO((void));
3046 extern void extract_interface_info
PROTO((void));
3047 extern void do_pending_inlines
PROTO((void));
3048 extern void process_next_inline
PROTO((tree
));
3049 extern struct pending_input
*save_pending_input
PROTO((void));
3050 extern void restore_pending_input
PROTO((struct pending_input
*));
3051 extern void yyungetc
PROTO((int, int));
3052 extern void reinit_parse_for_method
PROTO((int, tree
));
3053 extern void reinit_parse_for_block
PROTO((int, struct obstack
*));
3054 extern tree cons_up_default_function
PROTO((tree
, tree
, int));
3055 extern void check_for_missing_semicolon
PROTO((tree
));
3056 extern void note_got_semicolon
PROTO((tree
));
3057 extern void note_list_got_semicolon
PROTO((tree
));
3058 extern void do_pending_lang_change
PROTO((void));
3059 extern int identifier_type
PROTO((tree
));
3060 extern void see_typename
PROTO((void));
3061 extern tree do_identifier
PROTO((tree
, int, tree
));
3062 extern tree do_scoped_id
PROTO((tree
, int));
3063 extern tree identifier_typedecl_value
PROTO((tree
));
3064 extern int real_yylex
PROTO((void));
3065 extern int is_rid
PROTO((tree
));
3066 extern tree build_lang_decl
PROTO((enum tree_code
, tree
, tree
));
3067 extern void retrofit_lang_decl
PROTO((tree
));
3068 extern tree build_lang_field_decl
PROTO((enum tree_code
, tree
, tree
));
3069 extern void copy_lang_decl
PROTO((tree
));
3070 extern tree make_lang_type
PROTO((enum tree_code
));
3071 extern void dump_time_statistics
PROTO((void));
3072 extern void compiler_error
PVPROTO((const char *, ...))
3074 extern void yyerror
PROTO((const char *));
3075 extern void clear_inline_text_obstack
PROTO((void));
3076 extern void maybe_snarf_defarg
PROTO((void));
3077 extern tree snarf_defarg
PROTO((void));
3078 extern void add_defarg_fn
PROTO((tree
));
3079 extern void do_pending_defargs
PROTO((void));
3080 extern int identifier_type
PROTO((tree
));
3081 extern void yyhook
PROTO((int));
3082 extern int cp_type_qual_from_rid
PROTO((tree
));
3085 extern void init_method
PROTO((void));
3086 extern void do_inline_function_hair
PROTO((tree
, tree
));
3087 extern char *build_overload_name
PROTO((tree
, int, int));
3088 extern tree build_static_name
PROTO((tree
, tree
));
3089 extern tree build_decl_overload
PROTO((tree
, tree
, int));
3090 extern tree build_decl_overload_real
PROTO((tree
, tree
, tree
, tree
,
3092 extern void set_mangled_name_for_decl
PROTO((tree
));
3093 extern tree build_typename_overload
PROTO((tree
));
3094 extern tree build_overload_with_type
PROTO((tree
, tree
));
3095 extern tree build_destructor_name
PROTO((tree
));
3096 extern tree build_opfncall
PROTO((enum tree_code
, int, tree
, tree
, tree
));
3097 extern tree hack_identifier
PROTO((tree
, tree
));
3098 extern tree make_thunk
PROTO((tree
, int));
3099 extern void emit_thunk
PROTO((tree
));
3100 extern void synthesize_method
PROTO((tree
));
3101 extern tree get_id_2
PROTO((char *, tree
));
3104 extern void check_template_shadow
PROTO ((tree
));
3105 extern tree innermost_args
PROTO ((tree
));
3106 extern tree tsubst
PROTO ((tree
, tree
, int, tree
));
3107 extern tree tsubst_expr
PROTO ((tree
, tree
, int, tree
));
3108 extern tree tsubst_copy
PROTO ((tree
, tree
, int, tree
));
3109 extern void maybe_begin_member_template_processing
PROTO((tree
));
3110 extern void maybe_end_member_template_processing
PROTO((void));
3111 extern tree finish_member_template_decl
PROTO((tree
));
3112 extern void begin_template_parm_list
PROTO((void));
3113 extern void begin_specialization
PROTO((void));
3114 extern void reset_specialization
PROTO((void));
3115 extern void end_specialization
PROTO((void));
3116 extern void begin_explicit_instantiation
PROTO((void));
3117 extern void end_explicit_instantiation
PROTO((void));
3118 extern tree check_explicit_specialization
PROTO((tree
, tree
, int, int));
3119 extern tree process_template_parm
PROTO((tree
, tree
));
3120 extern tree end_template_parm_list
PROTO((tree
));
3121 extern void end_template_decl
PROTO((void));
3122 extern tree current_template_args
PROTO((void));
3123 extern tree push_template_decl
PROTO((tree
));
3124 extern tree push_template_decl_real
PROTO((tree
, int));
3125 extern void redeclare_class_template
PROTO((tree
, tree
));
3126 extern tree lookup_template_class
PROTO((tree
, tree
, tree
, tree
, int));
3127 extern tree lookup_template_function
PROTO((tree
, tree
));
3128 extern int uses_template_parms
PROTO((tree
));
3129 extern tree instantiate_class_template
PROTO((tree
));
3130 extern tree instantiate_template
PROTO((tree
, tree
));
3131 extern void overload_template_name
PROTO((tree
));
3132 extern int fn_type_unification
PROTO((tree
, tree
, tree
, tree
, tree
, unification_kind_t
));
3133 struct tinst_level
*tinst_for_decl
PROTO((void));
3134 extern void mark_decl_instantiated
PROTO((tree
, int));
3135 extern int more_specialized
PROTO((tree
, tree
, tree
));
3136 extern void mark_class_instantiated
PROTO((tree
, int));
3137 extern void do_decl_instantiation
PROTO((tree
, tree
, tree
));
3138 extern void do_type_instantiation
PROTO((tree
, tree
));
3139 extern tree instantiate_decl
PROTO((tree
));
3140 extern tree do_poplevel
PROTO((void));
3141 extern tree get_bindings
PROTO((tree
, tree
, tree
));
3143 extern void add_tree
PROTO((tree
));
3144 extern void begin_tree
PROTO((void));
3145 extern void end_tree
PROTO((void));
3146 extern void add_maybe_template
PROTO((tree
, tree
));
3147 extern void pop_tinst_level
PROTO((void));
3148 extern int more_specialized_class
PROTO((tree
, tree
));
3149 extern void do_pushlevel
PROTO((void));
3150 extern int is_member_template
PROTO((tree
));
3151 extern int template_parms_equal
PROTO((tree
, tree
));
3152 extern int comp_template_parms
PROTO((tree
, tree
));
3153 extern int template_class_depth
PROTO((tree
));
3154 extern int is_specialization_of
PROTO((tree
, tree
));
3155 extern int comp_template_args
PROTO((tree
, tree
));
3156 extern void maybe_process_partial_specialization
PROTO((tree
));
3157 extern void maybe_check_template_type
PROTO((tree
));
3158 extern tree most_specialized_instantiation
PROTO((tree
, tree
));
3159 extern void print_candidates
PROTO((tree
));
3161 extern int processing_specialization
;
3162 extern int processing_explicit_instantiation
;
3163 extern int processing_template_parmlist
;
3166 extern void repo_template_used
PROTO((tree
));
3167 extern void repo_template_instantiated
PROTO((tree
, int));
3168 extern void init_repo
PROTO((const char *));
3169 extern void finish_repo
PROTO((void));
3172 extern void init_rtti_processing
PROTO((void));
3173 extern tree get_tinfo_fn_dynamic
PROTO((tree
));
3174 extern tree build_typeid
PROTO((tree
));
3175 extern tree build_x_typeid
PROTO((tree
));
3176 extern tree get_tinfo_fn
PROTO((tree
));
3177 extern tree get_typeid
PROTO((tree
));
3178 extern tree get_typeid_1
PROTO((tree
));
3179 extern tree build_dynamic_cast
PROTO((tree
, tree
));
3180 extern void synthesize_tinfo_fn
PROTO((tree
));
3183 extern int types_overlap_p
PROTO((tree
, tree
));
3184 extern tree get_vbase
PROTO((tree
, tree
));
3185 extern tree get_binfo
PROTO((tree
, tree
, int));
3186 extern int get_base_distance
PROTO((tree
, tree
, int, tree
*));
3187 extern int accessible_p
PROTO((tree
, tree
));
3188 extern tree lookup_field
PROTO((tree
, tree
, int, int));
3189 extern tree lookup_nested_field
PROTO((tree
, int));
3190 extern int lookup_fnfields_1
PROTO((tree
, tree
));
3191 extern tree lookup_fnfields
PROTO((tree
, tree
, int));
3192 extern tree lookup_member
PROTO((tree
, tree
, int, int));
3193 extern tree lookup_nested_tag
PROTO((tree
, tree
));
3194 extern tree get_matching_virtual
PROTO((tree
, tree
, int));
3195 extern tree get_abstract_virtuals
PROTO((tree
));
3196 extern tree init_vbase_pointers
PROTO((tree
, tree
));
3197 extern void expand_indirect_vtbls_init
PROTO((tree
, tree
, tree
));
3198 extern void clear_search_slots
PROTO((tree
));
3199 extern tree get_vbase_types
PROTO((tree
));
3200 extern void note_debug_info_needed
PROTO((tree
));
3201 extern void push_class_decls
PROTO((tree
));
3202 extern void pop_class_decls
PROTO((void));
3203 extern void unuse_fields
PROTO((tree
));
3204 extern void print_search_statistics
PROTO((void));
3205 extern void init_search_processing
PROTO((void));
3206 extern void reinit_search_statistics
PROTO((void));
3207 extern tree current_scope
PROTO((void));
3208 extern tree lookup_conversions
PROTO((tree
));
3209 extern tree binfo_for_vtable
PROTO((tree
));
3210 extern tree dfs_walk
PROTO((tree
,
3211 tree (*)(tree
, void *),
3212 tree (*) (tree
, void *),
3214 extern tree dfs_unmark
PROTO((tree
, void *));
3215 extern tree markedp
PROTO((tree
, void *));
3217 /* in semantics.c */
3218 extern void finish_expr_stmt
PROTO((tree
));
3219 extern tree begin_if_stmt
PROTO((void));
3220 extern void finish_if_stmt_cond
PROTO((tree
, tree
));
3221 extern tree finish_then_clause
PROTO((tree
));
3222 extern void begin_else_clause
PROTO((void));
3223 extern void finish_else_clause
PROTO((tree
));
3224 extern void finish_if_stmt
PROTO((void));
3225 extern tree begin_while_stmt
PROTO((void));
3226 extern void finish_while_stmt_cond
PROTO((tree
, tree
));
3227 extern void finish_while_stmt
PROTO((tree
));
3228 extern tree begin_do_stmt
PROTO((void));
3229 extern void finish_do_body
PROTO((tree
));
3230 extern void finish_do_stmt
PROTO((tree
, tree
));
3231 extern void finish_return_stmt
PROTO((tree
));
3232 extern tree begin_for_stmt
PROTO((void));
3233 extern void finish_for_init_stmt
PROTO((tree
));
3234 extern void finish_for_cond
PROTO((tree
, tree
));
3235 extern void finish_for_expr
PROTO((tree
, tree
));
3236 extern void finish_for_stmt
PROTO((tree
, tree
));
3237 extern void finish_break_stmt
PROTO((void));
3238 extern void finish_continue_stmt
PROTO((void));
3239 extern void begin_switch_stmt
PROTO((void));
3240 extern tree finish_switch_cond
PROTO((tree
));
3241 extern void finish_switch_stmt
PROTO((tree
, tree
));
3242 extern void finish_case_label
PROTO((tree
, tree
));
3243 extern void finish_goto_stmt
PROTO((tree
));
3244 extern tree begin_try_block
PROTO((void));
3245 extern void finish_try_block
PROTO((tree
));
3246 extern void finish_handler_sequence
PROTO((tree
));
3247 extern tree begin_handler
PROTO((void));
3248 extern void finish_handler_parms
PROTO((tree
));
3249 extern void finish_handler
PROTO((tree
));
3250 extern tree begin_compound_stmt
PROTO((int));
3251 extern tree finish_compound_stmt
PROTO((int, tree
));
3252 extern void finish_asm_stmt
PROTO((tree
, tree
, tree
, tree
, tree
));
3253 extern tree finish_parenthesized_expr
PROTO((tree
));
3254 extern tree begin_stmt_expr
PROTO((void));
3255 extern tree finish_stmt_expr
PROTO((tree
, tree
));
3256 extern tree finish_call_expr
PROTO((tree
, tree
, int));
3257 extern tree finish_increment_expr
PROTO((tree
, enum tree_code
));
3258 extern tree finish_this_expr
PROTO((void));
3259 extern tree finish_object_call_expr
PROTO((tree
, tree
, tree
));
3260 extern tree finish_qualified_object_call_expr
PROTO((tree
, tree
, tree
));
3261 extern tree finish_pseudo_destructor_call_expr
PROTO((tree
, tree
, tree
));
3262 extern tree finish_qualified_call_expr
PROTO ((tree
, tree
));
3263 extern tree finish_label_address_expr
PROTO((tree
));
3264 extern tree finish_unary_op_expr
PROTO((enum tree_code
, tree
));
3265 extern tree finish_id_expr
PROTO((tree
));
3266 extern int begin_new_placement
PROTO((void));
3267 extern tree finish_new_placement
PROTO((tree
, int));
3268 extern int begin_function_definition
PROTO((tree
, tree
));
3269 extern tree begin_constructor_declarator
PROTO((tree
, tree
));
3270 extern tree finish_declarator
PROTO((tree
, tree
, tree
, tree
, int));
3271 extern void finish_translation_unit
PROTO((void));
3272 extern tree finish_template_type_parm
PROTO((tree
, tree
));
3273 extern tree finish_template_template_parm
PROTO((tree
, tree
));
3274 extern tree finish_parmlist
PROTO((tree
, int));
3275 extern tree begin_class_definition
PROTO((tree
));
3276 extern tree finish_class_definition
PROTO((tree
, tree
, int));
3277 extern void finish_default_args
PROTO((void));
3278 extern void begin_inline_definitions
PROTO((void));
3279 extern void finish_inline_definitions
PROTO((void));
3280 extern tree finish_member_class_template
PROTO((tree
));
3281 extern void finish_template_decl
PROTO((tree
));
3282 extern tree finish_template_type
PROTO((tree
, tree
, int));
3283 extern void enter_scope_of
PROTO((tree
));
3284 extern tree finish_base_specifier
PROTO((tree
, tree
, int));
3285 extern void finish_member_declaration
PROTO((tree
));
3286 extern void check_multiple_declarators
PROTO((void));
3287 extern tree finish_typeof
PROTO((tree
));
3290 extern tree build_signature_pointer_type
PROTO((tree
));
3291 extern tree build_signature_reference_type
PROTO((tree
));
3292 extern tree build_signature_pointer_constructor
PROTO((tree
, tree
));
3293 extern tree build_signature_method_call
PROTO((tree
, tree
));
3294 extern tree build_optr_ref
PROTO((tree
));
3295 extern void append_signature_fields
PROTO((tree
));
3298 extern void init_spew
PROTO((void));
3299 extern int peekyylex
PROTO((void));
3300 extern int yylex
PROTO((void));
3301 extern tree arbitrate_lookup
PROTO((tree
, tree
, tree
));
3304 extern int pod_type_p
PROTO((tree
));
3305 extern void unshare_base_binfos
PROTO((tree
));
3306 extern int member_p
PROTO((tree
));
3307 extern int real_lvalue_p
PROTO((tree
));
3308 extern tree build_min
PVPROTO((enum tree_code
, tree
, ...));
3309 extern tree build_min_nt
PVPROTO((enum tree_code
, ...));
3310 extern tree min_tree_cons
PROTO((tree
, tree
, tree
));
3311 extern int lvalue_p
PROTO((tree
));
3312 extern int lvalue_or_else
PROTO((tree
, const char *));
3313 extern tree build_cplus_new
PROTO((tree
, tree
));
3314 extern tree get_target_expr
PROTO((tree
));
3315 extern tree break_out_cleanups
PROTO((tree
));
3316 extern tree break_out_calls
PROTO((tree
));
3317 extern tree build_cplus_method_type
PROTO((tree
, tree
, tree
));
3318 extern tree build_cplus_staticfn_type
PROTO((tree
, tree
, tree
));
3319 extern tree build_cplus_array_type
PROTO((tree
, tree
));
3320 extern int layout_basetypes
PROTO((tree
, int));
3321 extern tree build_vbase_pointer_fields
PROTO((tree
));
3322 extern tree build_base_fields
PROTO((tree
));
3323 extern tree hash_tree_cons
PROTO((tree
, tree
, tree
));
3324 extern tree hash_tree_chain
PROTO((tree
, tree
));
3325 extern tree hash_chainon
PROTO((tree
, tree
));
3326 extern tree make_binfo
PROTO((tree
, tree
, tree
, tree
));
3327 extern tree binfo_value
PROTO((tree
, tree
));
3328 extern tree reverse_path
PROTO((tree
));
3329 extern int count_functions
PROTO((tree
));
3330 extern int is_overloaded_fn
PROTO((tree
));
3331 extern tree get_first_fn
PROTO((tree
));
3332 extern tree binding_init
PROTO((struct tree_binding
*));
3333 extern int bound_pmf_p
PROTO((tree
));
3334 extern tree ovl_cons
PROTO((tree
, tree
));
3335 extern tree scratch_ovl_cons
PROTO((tree
, tree
));
3336 extern int ovl_member
PROTO((tree
, tree
));
3337 extern tree build_overload
PROTO((tree
, tree
));
3338 extern tree fnaddr_from_vtable_entry
PROTO((tree
));
3339 extern tree function_arg_chain
PROTO((tree
));
3340 extern int promotes_to_aggr_type
PROTO((tree
, enum tree_code
));
3341 extern int is_aggr_type_2
PROTO((tree
, tree
));
3342 extern char *lang_printable_name
PROTO((tree
, int));
3343 extern tree build_exception_variant
PROTO((tree
, tree
));
3344 extern tree copy_template_template_parm
PROTO((tree
));
3345 extern tree copy_to_permanent
PROTO((tree
));
3346 extern void print_lang_statistics
PROTO((void));
3347 extern void __eprintf
3348 PROTO((const char *, const char *, unsigned, const char *));
3349 extern tree array_type_nelts_total
PROTO((tree
));
3350 extern tree array_type_nelts_top
PROTO((tree
));
3351 extern tree break_out_target_exprs
PROTO((tree
));
3352 extern tree get_type_decl
PROTO((tree
));
3353 extern tree vec_binfo_member
PROTO((tree
, tree
));
3354 extern tree hack_decl_function_context
PROTO((tree
));
3355 extern tree decl_namespace_context
PROTO((tree
));
3356 extern tree lvalue_type
PROTO((tree
));
3357 extern tree error_type
PROTO((tree
));
3358 extern tree make_temp_vec
PROTO((int));
3359 extern tree build_ptr_wrapper
PROTO((void *));
3360 extern tree build_expr_ptr_wrapper
PROTO((void *));
3361 extern tree build_int_wrapper
PROTO((int));
3362 extern tree build_srcloc_here
PROTO((void));
3363 extern int varargs_function_p
PROTO((tree
));
3364 extern int really_overloaded_fn
PROTO((tree
));
3365 extern int cp_tree_equal
PROTO((tree
, tree
));
3366 extern int can_free
PROTO((struct obstack
*, tree
));
3367 extern tree mapcar
PROTO((tree
, tree (*) (tree
)));
3368 extern tree no_linkage_check
PROTO((tree
));
3369 extern void debug_binfo
PROTO((tree
));
3370 extern void push_expression_obstack
PROTO((void));
3371 extern tree build_dummy_object
PROTO((tree
));
3372 extern tree maybe_dummy_object
PROTO((tree
, tree
*));
3373 extern int is_dummy_object
PROTO((tree
));
3374 extern tree search_tree
PROTO((tree
, tree (*)(tree
)));
3375 extern int cp_valid_lang_attribute
PROTO((tree
, tree
, tree
, tree
));
3377 #define scratchalloc expralloc
3378 #define scratch_tree_cons expr_tree_cons
3379 #define build_scratch_list build_expr_list
3380 #define make_scratch_vec make_temp_vec
3381 #define push_scratch_obstack push_expression_obstack
3384 extern int string_conv_p
PROTO((tree
, tree
, int));
3385 extern tree condition_conversion
PROTO((tree
));
3386 extern tree target_type
PROTO((tree
));
3387 extern tree require_complete_type
PROTO((tree
));
3388 extern tree require_complete_type_in_void
PROTO((tree
));
3389 extern tree complete_type
PROTO((tree
));
3390 extern tree complete_type_or_else
PROTO((tree
, tree
));
3391 extern int type_unknown_p
PROTO((tree
));
3392 extern int fntype_p
PROTO((tree
));
3393 extern tree commonparms
PROTO((tree
, tree
));
3394 extern tree original_type
PROTO((tree
));
3395 extern tree common_type
PROTO((tree
, tree
));
3396 extern int compexcepttypes
PROTO((tree
, tree
));
3397 extern int comptypes
PROTO((tree
, tree
, int));
3398 extern int comp_target_types
PROTO((tree
, tree
, int));
3399 extern int compparms
PROTO((tree
, tree
));
3400 extern int comp_target_types
PROTO((tree
, tree
, int));
3401 extern int comp_cv_qualification
PROTO((tree
, tree
));
3402 extern int comp_cv_qual_signature
PROTO((tree
, tree
));
3403 extern int self_promoting_args_p
PROTO((tree
));
3404 extern tree unsigned_type
PROTO((tree
));
3405 extern tree signed_type
PROTO((tree
));
3406 extern tree signed_or_unsigned_type
PROTO((int, tree
));
3407 extern tree expr_sizeof
PROTO((tree
));
3408 extern tree c_sizeof
PROTO((tree
));
3409 extern tree c_sizeof_nowarn
PROTO((tree
));
3410 extern tree c_alignof
PROTO((tree
));
3411 extern tree inline_conversion
PROTO((tree
));
3412 extern tree decay_conversion
PROTO((tree
));
3413 extern tree default_conversion
PROTO((tree
));
3414 extern tree build_object_ref
PROTO((tree
, tree
, tree
));
3415 extern tree build_component_ref_1
PROTO((tree
, tree
, int));
3416 extern tree build_component_ref
PROTO((tree
, tree
, tree
, int));
3417 extern tree build_x_component_ref
PROTO((tree
, tree
, tree
, int));
3418 extern tree build_x_indirect_ref
PROTO((tree
, const char *));
3419 extern tree build_indirect_ref
PROTO((tree
, const char *));
3420 extern tree build_array_ref
PROTO((tree
, tree
));
3421 extern tree build_x_function_call
PROTO((tree
, tree
, tree
));
3422 extern tree get_member_function_from_ptrfunc
PROTO((tree
*, tree
));
3423 extern tree build_function_call_real
PROTO((tree
, tree
, int, int));
3424 extern tree build_function_call
PROTO((tree
, tree
));
3425 extern tree build_function_call_maybe
PROTO((tree
, tree
));
3426 extern tree convert_arguments
PROTO((tree
, tree
, tree
, int));
3427 extern tree build_x_binary_op
PROTO((enum tree_code
, tree
, tree
));
3428 extern tree build_binary_op
PROTO((enum tree_code
, tree
, tree
, int));
3429 extern tree build_binary_op_nodefault
PROTO((enum tree_code
, tree
, tree
, enum tree_code
));
3430 extern tree build_component_addr
PROTO((tree
, tree
, const char *));
3431 extern tree build_x_unary_op
PROTO((enum tree_code
, tree
));
3432 extern tree build_unary_op
PROTO((enum tree_code
, tree
, int));
3433 extern tree unary_complex_lvalue
PROTO((enum tree_code
, tree
));
3434 extern int mark_addressable
PROTO((tree
));
3435 extern tree build_x_conditional_expr
PROTO((tree
, tree
, tree
));
3436 extern tree build_conditional_expr
PROTO((tree
, tree
, tree
));
3437 extern tree build_x_compound_expr
PROTO((tree
));
3438 extern tree build_compound_expr
PROTO((tree
));
3439 extern tree build_static_cast
PROTO((tree
, tree
));
3440 extern tree build_reinterpret_cast
PROTO((tree
, tree
));
3441 extern tree build_const_cast
PROTO((tree
, tree
));
3442 extern tree build_c_cast
PROTO((tree
, tree
));
3443 extern tree build_x_modify_expr
PROTO((tree
, enum tree_code
, tree
));
3444 extern tree build_modify_expr
PROTO((tree
, enum tree_code
, tree
));
3445 extern tree convert_for_initialization
PROTO((tree
, tree
, tree
, int, const char *, tree
, int));
3446 extern void c_expand_asm_operands
PROTO((tree
, tree
, tree
, tree
, int, char *, int));
3447 extern void c_expand_return
PROTO((tree
));
3448 extern tree c_expand_start_case
PROTO((tree
));
3449 extern int comp_ptr_ttypes
PROTO((tree
, tree
));
3450 extern int ptr_reasonably_similar
PROTO((tree
, tree
));
3451 extern tree build_ptrmemfunc
PROTO((tree
, tree
, int));
3452 extern int cp_type_quals
PROTO((tree
));
3453 extern int cp_has_mutable_p
PROTO((tree
));
3454 extern int at_least_as_qualified_p
PROTO((tree
, tree
));
3455 extern int more_qualified_p
PROTO((tree
, tree
));
3456 extern tree build_ptrmemfunc1
PROTO((tree
, tree
, tree
, tree
, tree
));
3457 extern void expand_ptrmemfunc_cst
PROTO((tree
, tree
*, tree
*, tree
*, tree
*));
3458 extern tree delta2_from_ptrmemfunc
PROTO((tree
));
3459 extern tree pfn_from_ptrmemfunc
PROTO((tree
));
3462 extern tree error_not_base_type
PROTO((tree
, tree
));
3463 extern tree binfo_or_else
PROTO((tree
, tree
));
3464 extern void readonly_error
PROTO((tree
, const char *, int));
3465 extern void abstract_virtuals_error
PROTO((tree
, tree
));
3466 extern void signature_error
PROTO((tree
, tree
));
3467 extern void incomplete_type_error
PROTO((tree
, tree
));
3468 extern void my_friendly_abort
PROTO((int))
3470 extern void my_friendly_assert
PROTO((int, int));
3471 extern tree store_init_value
PROTO((tree
, tree
));
3472 extern tree digest_init
PROTO((tree
, tree
, tree
*));
3473 extern tree build_scoped_ref
PROTO((tree
, tree
));
3474 extern tree build_x_arrow
PROTO((tree
));
3475 extern tree build_m_component_ref
PROTO((tree
, tree
));
3476 extern tree build_functional_cast
PROTO((tree
, tree
));
3477 extern char *enum_name_string
PROTO((tree
, tree
));
3478 extern void report_case_error
PROTO((int, tree
, tree
, tree
));
3479 extern void check_for_new_type
PROTO((const char *, flagged_type_tree
));
3480 extern tree initializer_constant_valid_p
PROTO((tree
, tree
));
3483 extern void GNU_xref_begin
PROTO((const char *));
3484 extern void GNU_xref_end
PROTO((int));
3485 extern void GNU_xref_file
PROTO((const char *));
3486 extern void GNU_xref_start_scope
PROTO((HOST_WIDE_INT
));
3487 extern void GNU_xref_end_scope
PROTO((HOST_WIDE_INT
, HOST_WIDE_INT
, int, int));
3488 extern void GNU_xref_ref
PROTO((tree
, const char *));
3489 extern void GNU_xref_decl
PROTO((tree
, tree
));
3490 extern void GNU_xref_call
PROTO((tree
, const char *));
3491 extern void GNU_xref_function
PROTO((tree
, tree
));
3492 extern void GNU_xref_assign
PROTO((tree
));
3493 extern void GNU_xref_hier
PROTO((tree
, tree
, int, int, int));
3494 extern void GNU_xref_member
PROTO((tree
, tree
));
3498 #endif /* not _CP_TREE_H */