1 /* Call-backs for C++ error reporting.
2 This code is non-reentrant.
3 Copyright (C) 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002,
4 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC 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 3, or (at your option)
12 GCC 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 GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
23 #include "coretypes.h"
30 #include "diagnostic.h"
31 #include "langhooks-def.h"
33 #include "cxx-pretty-print.h"
34 #include "pointer-set.h"
36 #define pp_separate_with_comma(PP) pp_cxx_separate_with (PP, ',')
38 /* The global buffer where we dump everything. It is there only for
39 transitional purpose. It is expected, in the near future, to be
40 completely removed. */
41 static cxx_pretty_printer scratch_pretty_printer
;
42 #define cxx_pp (&scratch_pretty_printer)
44 /* Translate if being used for diagnostics, but not for dump files or
46 #define M_(msgid) (pp_translate_identifiers (cxx_pp) ? _(msgid) : (msgid))
48 # define NEXT_CODE(T) (TREE_CODE (TREE_TYPE (T)))
50 static const char *args_to_string (tree
, int);
51 static const char *assop_to_string (enum tree_code
);
52 static const char *code_to_string (enum tree_code
);
53 static const char *cv_to_string (tree
, int);
54 static const char *decl_to_string (tree
, int);
55 static const char *expr_to_string (tree
);
56 static const char *fndecl_to_string (tree
, int);
57 static const char *op_to_string (enum tree_code
);
58 static const char *parm_to_string (int);
59 static const char *type_to_string (tree
, int);
61 static void dump_type (tree
, int);
62 static void dump_typename (tree
, int);
63 static void dump_simple_decl (tree
, tree
, int);
64 static void dump_decl (tree
, int);
65 static void dump_template_decl (tree
, int);
66 static void dump_function_decl (tree
, int);
67 static void dump_expr (tree
, int);
68 static void dump_unary_op (const char *, tree
, int);
69 static void dump_binary_op (const char *, tree
, int);
70 static void dump_aggr_type (tree
, int);
71 static void dump_type_prefix (tree
, int);
72 static void dump_type_suffix (tree
, int);
73 static void dump_function_name (tree
, int);
74 static void dump_call_expr_args (tree
, int, bool);
75 static void dump_aggr_init_expr_args (tree
, int, bool);
76 static void dump_expr_list (tree
, int);
77 static void dump_global_iord (tree
);
78 static void dump_parameters (tree
, int);
79 static void dump_exception_spec (tree
, int);
80 static void dump_template_argument (tree
, int);
81 static void dump_template_argument_list (tree
, tree
, int);
82 static void dump_template_parameter (tree
, int);
83 static void dump_template_bindings (tree
, tree
, VEC(tree
,gc
) *);
84 static void dump_scope (tree
, int);
85 static void dump_template_parms (tree
, int, int);
87 static int count_non_default_template_args (tree
, tree
, int);
89 static const char *function_category (tree
);
90 static void maybe_print_instantiation_context (diagnostic_context
*);
91 static void print_instantiation_full_context (diagnostic_context
*);
92 static void print_instantiation_partial_context (diagnostic_context
*,
95 static void cp_diagnostic_starter (diagnostic_context
*, diagnostic_info
*);
96 static void cp_diagnostic_finalizer (diagnostic_context
*, diagnostic_info
*);
97 static void cp_print_error_function (diagnostic_context
*, diagnostic_info
*);
99 static bool cp_printer (pretty_printer
*, text_info
*, const char *,
100 int, bool, bool, bool);
101 static location_t
location_of (tree
);
106 diagnostic_starter (global_dc
) = cp_diagnostic_starter
;
107 diagnostic_finalizer (global_dc
) = cp_diagnostic_finalizer
;
108 diagnostic_format_decoder (global_dc
) = cp_printer
;
110 pp_construct (pp_base (cxx_pp
), NULL
, 0);
111 pp_cxx_pretty_printer_init (cxx_pp
);
114 /* Dump a scope, if deemed necessary. */
117 dump_scope (tree scope
, int flags
)
119 int f
= ~TFF_RETURN_TYPE
& (flags
& (TFF_SCOPE
| TFF_CHASE_TYPEDEF
));
121 if (scope
== NULL_TREE
)
124 if (TREE_CODE (scope
) == NAMESPACE_DECL
)
126 if (scope
!= global_namespace
)
128 dump_decl (scope
, f
);
129 pp_cxx_colon_colon (cxx_pp
);
132 else if (AGGREGATE_TYPE_P (scope
))
134 dump_type (scope
, f
);
135 pp_cxx_colon_colon (cxx_pp
);
137 else if ((flags
& TFF_SCOPE
) && TREE_CODE (scope
) == FUNCTION_DECL
)
139 dump_function_decl (scope
, f
);
140 pp_cxx_colon_colon (cxx_pp
);
144 /* Dump the template ARGument under control of FLAGS. */
147 dump_template_argument (tree arg
, int flags
)
149 if (ARGUMENT_PACK_P (arg
))
150 dump_template_argument_list (ARGUMENT_PACK_ARGS (arg
), NULL_TREE
, flags
);
151 else if (TYPE_P (arg
) || TREE_CODE (arg
) == TEMPLATE_DECL
)
152 dump_type (arg
, flags
& ~TFF_CLASS_KEY_OR_ENUM
);
155 if (TREE_CODE (arg
) == TREE_LIST
)
156 arg
= TREE_VALUE (arg
);
158 dump_expr (arg
, (flags
| TFF_EXPR_IN_PARENS
) & ~TFF_CLASS_KEY_OR_ENUM
);
162 /* Count the number of template arguments ARGS whose value does not
163 match the (optional) default template parameter in PARAMS */
166 count_non_default_template_args (tree args
, tree params
, int flags
)
168 tree inner_args
= INNERMOST_TEMPLATE_ARGS (args
);
169 int n
= TREE_VEC_LENGTH (inner_args
);
172 if (params
== NULL_TREE
173 /* We use this flag when generating debug information. We don't
174 want to expand templates at this point, for this may generate
175 new decls, which gets decl counts out of sync, which may in
176 turn cause codegen differences between compilations with and
178 || (flags
& TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS
) != 0
179 || !flag_pretty_templates
)
182 for (last
= n
- 1; last
>= 0; --last
)
184 tree param
= TREE_VEC_ELT (params
, last
);
185 tree def
= TREE_PURPOSE (param
);
189 if (uses_template_parms (def
))
191 ++processing_template_decl
;
192 /* This speculative substitution must not cause any classes to be
193 instantiated that otherwise wouldn't be. */
194 def
= tsubst_copy_and_build (def
, args
, tf_no_class_instantiations
,
195 NULL_TREE
, false, true);
196 --processing_template_decl
;
198 if (!cp_tree_equal (TREE_VEC_ELT (inner_args
, last
), def
))
205 /* Dump a template-argument-list ARGS (always a TREE_VEC) under control
209 dump_template_argument_list (tree args
, tree parms
, int flags
)
211 int n
= count_non_default_template_args (args
, parms
, flags
);
215 for (i
= 0; i
< n
; ++i
)
217 tree arg
= TREE_VEC_ELT (args
, i
);
219 /* Only print a comma if we know there is an argument coming. In
220 the case of an empty template argument pack, no actual
221 argument will be printed. */
223 && (!ARGUMENT_PACK_P (arg
)
224 || TREE_VEC_LENGTH (ARGUMENT_PACK_ARGS (arg
)) > 0))
225 pp_separate_with_comma (cxx_pp
);
227 dump_template_argument (arg
, flags
);
232 /* Dump a template parameter PARM (a TREE_LIST) under control of FLAGS. */
235 dump_template_parameter (tree parm
, int flags
)
240 if (parm
== error_mark_node
)
243 p
= TREE_VALUE (parm
);
244 a
= TREE_PURPOSE (parm
);
246 if (TREE_CODE (p
) == TYPE_DECL
)
248 if (flags
& TFF_DECL_SPECIFIERS
)
250 pp_cxx_ws_string (cxx_pp
, "class");
251 if (TEMPLATE_TYPE_PARAMETER_PACK (TREE_TYPE (p
)))
252 pp_cxx_ws_string (cxx_pp
, "...");
254 pp_cxx_tree_identifier (cxx_pp
, DECL_NAME (p
));
256 else if (DECL_NAME (p
))
257 pp_cxx_tree_identifier (cxx_pp
, DECL_NAME (p
));
259 pp_cxx_canonical_template_parameter (cxx_pp
, TREE_TYPE (p
));
262 dump_decl (p
, flags
| TFF_DECL_SPECIFIERS
);
264 if ((flags
& TFF_FUNCTION_DEFAULT_ARGUMENTS
) && a
!= NULL_TREE
)
266 pp_cxx_whitespace (cxx_pp
);
268 pp_cxx_whitespace (cxx_pp
);
269 if (TREE_CODE (p
) == TYPE_DECL
|| TREE_CODE (p
) == TEMPLATE_DECL
)
270 dump_type (a
, flags
& ~TFF_CHASE_TYPEDEF
);
272 dump_expr (a
, flags
| TFF_EXPR_IN_PARENS
);
276 /* Dump, under control of FLAGS, a template-parameter-list binding.
277 PARMS is a TREE_LIST of TREE_VEC of TREE_LIST and ARGS is a
281 dump_template_bindings (tree parms
, tree args
, VEC(tree
,gc
)* typenames
)
289 tree p
= TREE_VALUE (parms
);
290 int lvl
= TMPL_PARMS_DEPTH (parms
);
293 tree lvl_args
= NULL_TREE
;
295 /* Don't crash if we had an invalid argument list. */
296 if (TMPL_ARGS_DEPTH (args
) >= lvl
)
297 lvl_args
= TMPL_ARGS_LEVEL (args
, lvl
);
299 for (i
= 0; i
< TREE_VEC_LENGTH (p
); ++i
)
301 tree arg
= NULL_TREE
;
303 /* Don't crash if we had an invalid argument list. */
304 if (lvl_args
&& NUM_TMPL_ARGS (lvl_args
) > arg_idx
)
305 arg
= TREE_VEC_ELT (lvl_args
, arg_idx
);
308 pp_separate_with_comma (cxx_pp
);
309 dump_template_parameter (TREE_VEC_ELT (p
, i
), TFF_PLAIN_IDENTIFIER
);
310 pp_cxx_whitespace (cxx_pp
);
312 pp_cxx_whitespace (cxx_pp
);
314 dump_template_argument (arg
, TFF_PLAIN_IDENTIFIER
);
316 pp_string (cxx_pp
, M_("<missing>"));
322 parms
= TREE_CHAIN (parms
);
325 for (i
= 0; VEC_iterate (tree
, typenames
, i
, t
); ++i
)
328 pp_separate_with_comma (cxx_pp
);
329 dump_type (t
, TFF_PLAIN_IDENTIFIER
);
330 pp_cxx_whitespace (cxx_pp
);
332 pp_cxx_whitespace (cxx_pp
);
333 t
= tsubst (t
, args
, tf_none
, NULL_TREE
);
334 /* Strip typedefs. We can't just use TFF_CHASE_TYPEDEF because
335 pp_simple_type_specifier doesn't know about it. */
336 t
= strip_typedefs (t
);
337 dump_type (t
, TFF_PLAIN_IDENTIFIER
);
341 /* Dump a human-readable equivalent of TYPE. FLAGS controls the
345 dump_type (tree t
, int flags
)
350 if (TYPE_PTRMEMFUNC_P (t
))
353 switch (TREE_CODE (t
))
356 if (t
== init_list_type_node
)
357 pp_string (cxx_pp
, M_("<brace-enclosed initializer list>"));
359 pp_string (cxx_pp
, M_("<unresolved overloaded function type>"));
363 /* A list of function parms. */
364 dump_parameters (t
, flags
);
367 case IDENTIFIER_NODE
:
368 pp_cxx_tree_identifier (cxx_pp
, t
);
372 dump_type (BINFO_TYPE (t
), flags
);
378 dump_aggr_type (t
, flags
);
382 if (flags
& TFF_CHASE_TYPEDEF
)
384 dump_type (DECL_ORIGINAL_TYPE (t
)
385 ? DECL_ORIGINAL_TYPE (t
) : TREE_TYPE (t
), flags
);
388 /* Else fall through. */
392 dump_decl (t
, flags
& ~TFF_DECL_SPECIFIERS
);
401 case FIXED_POINT_TYPE
:
402 pp_type_specifier_seq (cxx_pp
, t
);
405 case TEMPLATE_TEMPLATE_PARM
:
406 /* For parameters inside template signature. */
407 if (TYPE_IDENTIFIER (t
))
408 pp_cxx_tree_identifier (cxx_pp
, TYPE_IDENTIFIER (t
));
410 pp_cxx_canonical_template_parameter (cxx_pp
, t
);
413 case BOUND_TEMPLATE_TEMPLATE_PARM
:
415 tree args
= TYPE_TI_ARGS (t
);
416 pp_cxx_cv_qualifier_seq (cxx_pp
, t
);
417 pp_cxx_tree_identifier (cxx_pp
, TYPE_IDENTIFIER (t
));
418 pp_cxx_begin_template_argument_list (cxx_pp
);
419 dump_template_argument_list (args
, NULL_TREE
, flags
);
420 pp_cxx_end_template_argument_list (cxx_pp
);
424 case TEMPLATE_TYPE_PARM
:
425 pp_cxx_cv_qualifier_seq (cxx_pp
, t
);
426 if (TYPE_IDENTIFIER (t
))
427 pp_cxx_tree_identifier (cxx_pp
, TYPE_IDENTIFIER (t
));
429 pp_cxx_canonical_template_parameter
430 (cxx_pp
, TEMPLATE_TYPE_PARM_INDEX (t
));
433 /* This is not always necessary for pointers and such, but doing this
434 reduces code size. */
443 dump_type_prefix (t
, flags
);
444 dump_type_suffix (t
, flags
);
448 if (! (flags
& TFF_CHASE_TYPEDEF
)
449 && DECL_ORIGINAL_TYPE (TYPE_NAME (t
)))
451 dump_decl (TYPE_NAME (t
), TFF_PLAIN_IDENTIFIER
);
454 pp_cxx_cv_qualifier_seq (cxx_pp
, t
);
455 pp_cxx_ws_string (cxx_pp
,
456 TYPENAME_IS_ENUM_P (t
) ? "enum"
457 : TYPENAME_IS_CLASS_P (t
) ? "class"
459 dump_typename (t
, flags
);
462 case UNBOUND_CLASS_TEMPLATE
:
463 dump_type (TYPE_CONTEXT (t
), flags
);
464 pp_cxx_colon_colon (cxx_pp
);
465 pp_cxx_ws_string (cxx_pp
, "template");
466 dump_type (DECL_NAME (TYPE_NAME (t
)), flags
);
470 pp_cxx_ws_string (cxx_pp
, "__typeof__");
471 pp_cxx_whitespace (cxx_pp
);
472 pp_cxx_left_paren (cxx_pp
);
473 dump_expr (TYPEOF_TYPE_EXPR (t
), flags
& ~TFF_EXPR_IN_PARENS
);
474 pp_cxx_right_paren (cxx_pp
);
477 case TYPE_PACK_EXPANSION
:
478 dump_type (PACK_EXPANSION_PATTERN (t
), flags
);
479 pp_cxx_ws_string (cxx_pp
, "...");
482 case TYPE_ARGUMENT_PACK
:
483 dump_template_argument (t
, flags
);
487 pp_cxx_ws_string (cxx_pp
, "decltype");
488 pp_cxx_whitespace (cxx_pp
);
489 pp_cxx_left_paren (cxx_pp
);
490 dump_expr (DECLTYPE_TYPE_EXPR (t
), flags
& ~TFF_EXPR_IN_PARENS
);
491 pp_cxx_right_paren (cxx_pp
);
495 pp_unsupported_tree (cxx_pp
, t
);
496 /* Fall through to error. */
499 pp_string (cxx_pp
, M_("<type error>"));
504 /* Dump a TYPENAME_TYPE. We need to notice when the context is itself
508 dump_typename (tree t
, int flags
)
510 tree ctx
= TYPE_CONTEXT (t
);
512 if (TREE_CODE (ctx
) == TYPENAME_TYPE
)
513 dump_typename (ctx
, flags
);
515 dump_type (ctx
, flags
& ~TFF_CLASS_KEY_OR_ENUM
);
516 pp_cxx_colon_colon (cxx_pp
);
517 dump_decl (TYPENAME_TYPE_FULLNAME (t
), flags
);
520 /* Return the name of the supplied aggregate, or enumeral type. */
523 class_key_or_enum_as_string (tree t
)
525 if (TREE_CODE (t
) == ENUMERAL_TYPE
)
527 if (SCOPED_ENUM_P (t
))
532 else if (TREE_CODE (t
) == UNION_TYPE
)
534 else if (TYPE_LANG_SPECIFIC (t
) && CLASSTYPE_DECLARED_CLASS (t
))
540 /* Print out a class declaration T under the control of FLAGS,
541 in the form `class foo'. */
544 dump_aggr_type (tree t
, int flags
)
547 const char *variety
= class_key_or_enum_as_string (t
);
551 pp_cxx_cv_qualifier_seq (cxx_pp
, t
);
553 if (flags
& TFF_CLASS_KEY_OR_ENUM
)
554 pp_cxx_ws_string (cxx_pp
, variety
);
556 name
= TYPE_NAME (t
);
560 typdef
= !DECL_ARTIFICIAL (name
);
563 && ((flags
& TFF_CHASE_TYPEDEF
)
564 || (!flag_pretty_templates
&& DECL_LANG_SPECIFIC (name
)
565 && DECL_TEMPLATE_INFO (name
))))
567 t
= TYPE_MAIN_VARIANT (t
);
568 name
= TYPE_NAME (t
);
572 tmplate
= !typdef
&& TREE_CODE (t
) != ENUMERAL_TYPE
573 && TYPE_LANG_SPECIFIC (t
) && CLASSTYPE_TEMPLATE_INFO (t
)
574 && (TREE_CODE (CLASSTYPE_TI_TEMPLATE (t
)) != TEMPLATE_DECL
575 || PRIMARY_TEMPLATE_P (CLASSTYPE_TI_TEMPLATE (t
)));
577 if (! (flags
& TFF_UNQUALIFIED_NAME
))
578 dump_scope (CP_DECL_CONTEXT (name
), flags
| TFF_SCOPE
);
579 flags
&= ~TFF_UNQUALIFIED_NAME
;
582 /* Because the template names are mangled, we have to locate
583 the most general template, and use that name. */
584 tree tpl
= CLASSTYPE_TI_TEMPLATE (t
);
586 while (DECL_TEMPLATE_INFO (tpl
))
587 tpl
= DECL_TI_TEMPLATE (tpl
);
590 name
= DECL_NAME (name
);
593 if (name
== 0 || ANON_AGGRNAME_P (name
))
595 if (flags
& TFF_CLASS_KEY_OR_ENUM
)
596 pp_string (cxx_pp
, M_("<anonymous>"));
598 pp_printf (pp_base (cxx_pp
), M_("<anonymous %s>"), variety
);
600 else if (LAMBDANAME_P (name
))
602 /* A lambda's "type" is essentially its signature. */
603 pp_string (cxx_pp
, M_("<lambda"));
604 if (lambda_function (t
))
605 dump_parameters (FUNCTION_FIRST_USER_PARMTYPE (lambda_function (t
)),
607 pp_character(cxx_pp
, '>');
610 pp_cxx_tree_identifier (cxx_pp
, name
);
612 dump_template_parms (TYPE_TEMPLATE_INFO (t
),
613 !CLASSTYPE_USE_TEMPLATE (t
),
614 flags
& ~TFF_TEMPLATE_HEADER
);
617 /* Dump into the obstack the initial part of the output for a given type.
618 This is necessary when dealing with things like functions returning
621 return type of `int (* fee ())()': pointer -> function -> int. Both
622 pointer (and reference and offset) and function (and member) types must
623 deal with prefix and suffix.
625 Arrays must also do this for DECL nodes, like int a[], and for things like
629 dump_type_prefix (tree t
, int flags
)
631 if (TYPE_PTRMEMFUNC_P (t
))
633 t
= TYPE_PTRMEMFUNC_FN_TYPE (t
);
637 switch (TREE_CODE (t
))
642 tree sub
= TREE_TYPE (t
);
644 dump_type_prefix (sub
, flags
);
645 if (TREE_CODE (sub
) == ARRAY_TYPE
646 || TREE_CODE (sub
) == FUNCTION_TYPE
)
648 pp_cxx_whitespace (cxx_pp
);
649 pp_cxx_left_paren (cxx_pp
);
651 if (TREE_CODE (t
) == POINTER_TYPE
)
652 pp_character(cxx_pp
, '*');
653 else if (TREE_CODE (t
) == REFERENCE_TYPE
)
655 if (TYPE_REF_IS_RVALUE (t
))
656 pp_string (cxx_pp
, "&&");
658 pp_character (cxx_pp
, '&');
660 pp_base (cxx_pp
)->padding
= pp_before
;
661 pp_cxx_cv_qualifier_seq (cxx_pp
, t
);
667 dump_type_prefix (TREE_TYPE (t
), flags
);
668 if (TREE_CODE (t
) == OFFSET_TYPE
) /* pmfs deal with this in d_t_p */
670 pp_maybe_space (cxx_pp
);
671 if (TREE_CODE (TREE_TYPE (t
)) == ARRAY_TYPE
)
672 pp_cxx_left_paren (cxx_pp
);
673 dump_type (TYPE_OFFSET_BASETYPE (t
), flags
);
674 pp_cxx_colon_colon (cxx_pp
);
676 pp_cxx_star (cxx_pp
);
677 pp_cxx_cv_qualifier_seq (cxx_pp
, t
);
678 pp_base (cxx_pp
)->padding
= pp_before
;
681 /* This can be reached without a pointer when dealing with
682 templates, e.g. std::is_function. */
684 dump_type_prefix (TREE_TYPE (t
), flags
);
688 dump_type_prefix (TREE_TYPE (t
), flags
);
689 pp_maybe_space (cxx_pp
);
690 pp_cxx_left_paren (cxx_pp
);
691 dump_aggr_type (TYPE_METHOD_BASETYPE (t
), flags
);
692 pp_cxx_colon_colon (cxx_pp
);
696 dump_type_prefix (TREE_TYPE (t
), flags
);
700 case IDENTIFIER_NODE
:
705 case TEMPLATE_TYPE_PARM
:
706 case TEMPLATE_TEMPLATE_PARM
:
707 case BOUND_TEMPLATE_TEMPLATE_PARM
:
719 case TYPE_PACK_EXPANSION
:
720 case FIXED_POINT_TYPE
:
721 dump_type (t
, flags
);
722 pp_base (cxx_pp
)->padding
= pp_before
;
726 pp_unsupported_tree (cxx_pp
, t
);
729 pp_string (cxx_pp
, M_("<typeprefixerror>"));
734 /* Dump the suffix of type T, under control of FLAGS. This is the part
735 which appears after the identifier (or function parms). */
738 dump_type_suffix (tree t
, int flags
)
740 if (TYPE_PTRMEMFUNC_P (t
))
741 t
= TYPE_PTRMEMFUNC_FN_TYPE (t
);
743 switch (TREE_CODE (t
))
748 if (TREE_CODE (TREE_TYPE (t
)) == ARRAY_TYPE
749 || TREE_CODE (TREE_TYPE (t
)) == FUNCTION_TYPE
)
750 pp_cxx_right_paren (cxx_pp
);
751 dump_type_suffix (TREE_TYPE (t
), flags
);
758 if (TREE_CODE (t
) == METHOD_TYPE
)
759 /* Can only be reached through a pointer. */
760 pp_cxx_right_paren (cxx_pp
);
761 arg
= TYPE_ARG_TYPES (t
);
762 if (TREE_CODE (t
) == METHOD_TYPE
)
763 arg
= TREE_CHAIN (arg
);
765 /* Function pointers don't have default args. Not in standard C++,
766 anyway; they may in g++, but we'll just pretend otherwise. */
767 dump_parameters (arg
, flags
& ~TFF_FUNCTION_DEFAULT_ARGUMENTS
);
769 if (TREE_CODE (t
) == METHOD_TYPE
)
770 pp_cxx_cv_qualifier_seq
771 (cxx_pp
, TREE_TYPE (TREE_VALUE (TYPE_ARG_TYPES (t
))));
773 pp_cxx_cv_qualifier_seq (cxx_pp
, t
);
774 dump_exception_spec (TYPE_RAISES_EXCEPTIONS (t
), flags
);
775 dump_type_suffix (TREE_TYPE (t
), flags
);
780 pp_maybe_space (cxx_pp
);
781 pp_cxx_left_bracket (cxx_pp
);
784 tree dtype
= TYPE_DOMAIN (t
);
785 tree max
= TYPE_MAX_VALUE (dtype
);
786 if (host_integerp (max
, 0))
787 pp_wide_integer (cxx_pp
, tree_low_cst (max
, 0) + 1);
788 else if (TREE_CODE (max
) == MINUS_EXPR
)
789 dump_expr (TREE_OPERAND (max
, 0),
790 flags
& ~TFF_EXPR_IN_PARENS
);
792 dump_expr (fold_build2_loc (input_location
,
793 PLUS_EXPR
, dtype
, max
,
794 build_int_cst (dtype
, 1)),
795 flags
& ~TFF_EXPR_IN_PARENS
);
797 pp_cxx_right_bracket (cxx_pp
);
798 dump_type_suffix (TREE_TYPE (t
), flags
);
802 case IDENTIFIER_NODE
:
807 case TEMPLATE_TYPE_PARM
:
808 case TEMPLATE_TEMPLATE_PARM
:
809 case BOUND_TEMPLATE_TEMPLATE_PARM
:
821 case TYPE_PACK_EXPANSION
:
822 case FIXED_POINT_TYPE
:
826 pp_unsupported_tree (cxx_pp
, t
);
828 /* Don't mark it here, we should have already done in
835 dump_global_iord (tree t
)
837 const char *p
= NULL
;
839 if (DECL_GLOBAL_CTOR_P (t
))
840 p
= M_("(static initializers for %s)");
841 else if (DECL_GLOBAL_DTOR_P (t
))
842 p
= M_("(static destructors for %s)");
846 pp_printf (pp_base (cxx_pp
), p
, input_filename
);
850 dump_simple_decl (tree t
, tree type
, int flags
)
852 if (flags
& TFF_DECL_SPECIFIERS
)
854 dump_type_prefix (type
, flags
& ~TFF_UNQUALIFIED_NAME
);
855 pp_maybe_space (cxx_pp
);
857 if (! (flags
& TFF_UNQUALIFIED_NAME
)
858 && (!DECL_INITIAL (t
)
859 || TREE_CODE (DECL_INITIAL (t
)) != TEMPLATE_PARM_INDEX
))
860 dump_scope (CP_DECL_CONTEXT (t
), flags
);
861 flags
&= ~TFF_UNQUALIFIED_NAME
;
862 if ((flags
& TFF_DECL_SPECIFIERS
)
863 && DECL_TEMPLATE_PARM_P (t
)
864 && TEMPLATE_PARM_PARAMETER_PACK (DECL_INITIAL (t
)))
865 pp_string (cxx_pp
, "...");
867 dump_decl (DECL_NAME (t
), flags
);
869 pp_string (cxx_pp
, M_("<anonymous>"));
870 if (flags
& TFF_DECL_SPECIFIERS
)
871 dump_type_suffix (type
, flags
);
874 /* Dump a human readable string for the decl T under control of FLAGS. */
877 dump_decl (tree t
, int flags
)
882 switch (TREE_CODE (t
))
885 /* Don't say 'typedef class A' */
886 if (DECL_ARTIFICIAL (t
) && !DECL_SELF_REFERENCE_P (t
))
888 if ((flags
& TFF_DECL_SPECIFIERS
)
889 && TREE_CODE (TREE_TYPE (t
)) == TEMPLATE_TYPE_PARM
)
891 /* Say `class T' not just `T'. */
892 pp_cxx_ws_string (cxx_pp
, "class");
894 /* Emit the `...' for a parameter pack. */
895 if (TEMPLATE_TYPE_PARAMETER_PACK (TREE_TYPE (t
)))
896 pp_cxx_ws_string (cxx_pp
, "...");
899 dump_type (TREE_TYPE (t
), flags
);
902 if (flags
& TFF_DECL_SPECIFIERS
)
903 pp_cxx_ws_string (cxx_pp
, "typedef");
904 dump_simple_decl (t
, DECL_ORIGINAL_TYPE (t
)
905 ? DECL_ORIGINAL_TYPE (t
) : TREE_TYPE (t
),
910 if (DECL_NAME (t
) && VTABLE_NAME_P (DECL_NAME (t
)))
912 pp_string (cxx_pp
, M_("vtable for "));
913 gcc_assert (TYPE_P (DECL_CONTEXT (t
)));
914 dump_type (DECL_CONTEXT (t
), flags
);
917 /* Else fall through. */
920 dump_simple_decl (t
, TREE_TYPE (t
), flags
);
924 pp_string (cxx_pp
, M_("<return value> "));
925 dump_simple_decl (t
, TREE_TYPE (t
), flags
);
929 if (flags
& TFF_DECL_SPECIFIERS
)
930 pp_cxx_declaration (cxx_pp
, t
);
933 if (! (flags
& TFF_UNQUALIFIED_NAME
))
934 dump_scope (CP_DECL_CONTEXT (t
), flags
);
935 flags
&= ~TFF_UNQUALIFIED_NAME
;
936 if (DECL_NAME (t
) == NULL_TREE
)
937 pp_string (cxx_pp
, M_("<unnamed>"));
939 pp_cxx_tree_identifier (cxx_pp
, DECL_NAME (t
));
944 pp_expression (cxx_pp
, t
);
948 dump_decl (TREE_OPERAND (t
, 0), flags
);
949 pp_cxx_left_bracket (cxx_pp
);
950 dump_decl (TREE_OPERAND (t
, 1), flags
);
951 pp_cxx_right_bracket (cxx_pp
);
954 /* So that we can do dump_decl on an aggr type. */
958 dump_type (t
, flags
);
962 /* This is a pseudo destructor call which has not been folded into
963 a PSEUDO_DTOR_EXPR yet. */
964 pp_cxx_complement (cxx_pp
);
965 dump_type (TREE_OPERAND (t
, 0), flags
);
972 /* These special cases are duplicated here so that other functions
973 can feed identifiers to error and get them demangled properly. */
974 case IDENTIFIER_NODE
:
975 if (IDENTIFIER_TYPENAME_P (t
))
977 pp_cxx_ws_string (cxx_pp
, "operator");
978 /* Not exactly IDENTIFIER_TYPE_VALUE. */
979 dump_type (TREE_TYPE (t
), flags
);
983 pp_cxx_tree_identifier (cxx_pp
, t
);
990 if (DECL_CLASS_SCOPE_P (t
))
992 dump_type (DECL_CONTEXT (t
), flags
);
993 pp_cxx_colon_colon (cxx_pp
);
995 else if (DECL_CONTEXT (t
))
997 dump_decl (DECL_CONTEXT (t
), flags
);
998 pp_cxx_colon_colon (cxx_pp
);
1000 dump_decl (DECL_NAME (t
), flags
);
1004 /* If there's only one function, just treat it like an ordinary
1006 t
= OVL_CURRENT (t
);
1010 if (! DECL_LANG_SPECIFIC (t
))
1011 pp_string (cxx_pp
, M_("<built-in>"));
1012 else if (DECL_GLOBAL_CTOR_P (t
) || DECL_GLOBAL_DTOR_P (t
))
1013 dump_global_iord (t
);
1015 dump_function_decl (t
, flags
);
1019 dump_template_decl (t
, flags
);
1022 case TEMPLATE_ID_EXPR
:
1024 tree name
= TREE_OPERAND (t
, 0);
1026 if (is_overloaded_fn (name
))
1027 name
= DECL_NAME (get_first_fn (name
));
1028 dump_decl (name
, flags
);
1029 pp_cxx_begin_template_argument_list (cxx_pp
);
1030 if (TREE_OPERAND (t
, 1))
1031 dump_template_argument_list (TREE_OPERAND (t
, 1), NULL_TREE
, flags
);
1032 pp_cxx_end_template_argument_list (cxx_pp
);
1037 pp_cxx_tree_identifier (cxx_pp
, DECL_NAME (t
));
1041 if ((TREE_TYPE (t
) != NULL_TREE
&& NEXT_CODE (t
) == ENUMERAL_TYPE
)
1042 || (DECL_INITIAL (t
) &&
1043 TREE_CODE (DECL_INITIAL (t
)) == TEMPLATE_PARM_INDEX
))
1044 dump_simple_decl (t
, TREE_TYPE (t
), flags
);
1045 else if (DECL_NAME (t
))
1046 dump_decl (DECL_NAME (t
), flags
);
1047 else if (DECL_INITIAL (t
))
1048 dump_expr (DECL_INITIAL (t
), flags
| TFF_EXPR_IN_PARENS
);
1050 pp_string (cxx_pp
, M_("<enumerator>"));
1054 pp_cxx_ws_string (cxx_pp
, "using");
1055 dump_type (USING_DECL_SCOPE (t
), flags
);
1056 pp_cxx_colon_colon (cxx_pp
);
1057 dump_decl (DECL_NAME (t
), flags
);
1061 pp_cxx_declaration (cxx_pp
, t
);
1065 dump_decl (BASELINK_FUNCTIONS (t
), flags
);
1068 case NON_DEPENDENT_EXPR
:
1069 dump_expr (t
, flags
);
1072 case TEMPLATE_TYPE_PARM
:
1073 if (flags
& TFF_DECL_SPECIFIERS
)
1074 pp_cxx_declaration (cxx_pp
, t
);
1076 pp_type_id (cxx_pp
, t
);
1079 case UNBOUND_CLASS_TEMPLATE
:
1080 case TYPE_PACK_EXPANSION
:
1082 dump_type (t
, flags
);
1086 pp_unsupported_tree (cxx_pp
, t
);
1087 /* Fall through to error. */
1090 pp_string (cxx_pp
, M_("<declaration error>"));
1095 /* Dump a template declaration T under control of FLAGS. This means the
1096 'template <...> leaders plus the 'class X' or 'void fn(...)' part. */
1099 dump_template_decl (tree t
, int flags
)
1101 tree orig_parms
= DECL_TEMPLATE_PARMS (t
);
1105 if (flags
& TFF_TEMPLATE_HEADER
)
1107 for (parms
= orig_parms
= nreverse (orig_parms
);
1109 parms
= TREE_CHAIN (parms
))
1111 tree inner_parms
= INNERMOST_TEMPLATE_PARMS (parms
);
1112 int len
= TREE_VEC_LENGTH (inner_parms
);
1114 pp_cxx_ws_string (cxx_pp
, "template");
1115 pp_cxx_begin_template_argument_list (cxx_pp
);
1117 /* If we've shown the template prefix, we'd better show the
1118 parameters' and decl's type too. */
1119 flags
|= TFF_DECL_SPECIFIERS
;
1121 for (i
= 0; i
< len
; i
++)
1124 pp_separate_with_comma (cxx_pp
);
1125 dump_template_parameter (TREE_VEC_ELT (inner_parms
, i
), flags
);
1127 pp_cxx_end_template_argument_list (cxx_pp
);
1128 pp_cxx_whitespace (cxx_pp
);
1130 nreverse(orig_parms
);
1132 if (DECL_TEMPLATE_TEMPLATE_PARM_P (t
))
1134 /* Say `template<arg> class TT' not just `template<arg> TT'. */
1135 pp_cxx_ws_string (cxx_pp
, "class");
1137 /* If this is a parameter pack, print the ellipsis. */
1138 if (TEMPLATE_TYPE_PARAMETER_PACK (TREE_TYPE (t
)))
1139 pp_cxx_ws_string (cxx_pp
, "...");
1143 if (DECL_TEMPLATE_RESULT (t
)
1144 && TREE_CODE (DECL_TEMPLATE_RESULT (t
)) == TYPE_DECL
)
1145 dump_type (TREE_TYPE (t
),
1146 ((flags
& ~TFF_CLASS_KEY_OR_ENUM
) | TFF_TEMPLATE_NAME
1147 | (flags
& TFF_DECL_SPECIFIERS
? TFF_CLASS_KEY_OR_ENUM
: 0)));
1148 else if (DECL_TEMPLATE_RESULT (t
)
1149 && TREE_CODE (DECL_TEMPLATE_RESULT (t
)) == VAR_DECL
)
1150 dump_decl (DECL_TEMPLATE_RESULT (t
), flags
| TFF_TEMPLATE_NAME
);
1153 gcc_assert (TREE_TYPE (t
));
1154 switch (NEXT_CODE (t
))
1158 dump_function_decl (t
, flags
| TFF_TEMPLATE_NAME
);
1161 /* This case can occur with some invalid code. */
1162 dump_type (TREE_TYPE (t
),
1163 (flags
& ~TFF_CLASS_KEY_OR_ENUM
) | TFF_TEMPLATE_NAME
1164 | (flags
& TFF_DECL_SPECIFIERS
1165 ? TFF_CLASS_KEY_OR_ENUM
: 0));
1170 /* find_typenames looks through the type of the function template T
1171 and returns a VEC containing any typedefs, decltypes or TYPENAME_TYPEs
1174 struct find_typenames_t
1176 struct pointer_set_t
*p_set
;
1177 VEC (tree
,gc
) *typenames
;
1181 find_typenames_r (tree
*tp
, int *walk_subtrees ATTRIBUTE_UNUSED
, void *data
)
1183 struct find_typenames_t
*d
= (struct find_typenames_t
*)data
;
1184 tree mv
= NULL_TREE
;
1186 if (TYPE_P (*tp
) && is_typedef_decl (TYPE_NAME (*tp
)))
1187 /* Add the type of the typedef without any additional cv-quals. */
1188 mv
= TREE_TYPE (TYPE_NAME (*tp
));
1189 else if (TREE_CODE (*tp
) == TYPENAME_TYPE
1190 || TREE_CODE (*tp
) == DECLTYPE_TYPE
)
1191 /* Add the typename without any cv-qualifiers. */
1192 mv
= TYPE_MAIN_VARIANT (*tp
);
1194 if (mv
&& (mv
== *tp
|| !pointer_set_insert (d
->p_set
, mv
)))
1195 VEC_safe_push (tree
, gc
, d
->typenames
, mv
);
1197 /* Search into class template arguments, which cp_walk_subtrees
1199 if (CLASS_TYPE_P (*tp
) && CLASSTYPE_TEMPLATE_INFO (*tp
))
1200 cp_walk_tree (&CLASSTYPE_TI_ARGS (*tp
), find_typenames_r
,
1206 static VEC(tree
,gc
) *
1207 find_typenames (tree t
)
1209 struct find_typenames_t ft
;
1210 ft
.p_set
= pointer_set_create ();
1211 ft
.typenames
= NULL
;
1212 cp_walk_tree (&TREE_TYPE (DECL_TEMPLATE_RESULT (t
)),
1213 find_typenames_r
, &ft
, ft
.p_set
);
1214 pointer_set_destroy (ft
.p_set
);
1215 return ft
.typenames
;
1218 /* Pretty print a function decl. There are several ways we want to print a
1219 function declaration. The TFF_ bits in FLAGS tells us how to behave.
1220 As error can only apply the '#' flag once to give 0 and 1 for V, there
1221 is %D which doesn't print the throw specs, and %F which does. */
1224 dump_function_decl (tree t
, int flags
)
1228 tree cname
= NULL_TREE
;
1229 tree template_args
= NULL_TREE
;
1230 tree template_parms
= NULL_TREE
;
1231 int show_return
= flags
& TFF_RETURN_TYPE
|| flags
& TFF_DECL_SPECIFIERS
;
1232 int do_outer_scope
= ! (flags
& TFF_UNQUALIFIED_NAME
);
1234 VEC(tree
,gc
) *typenames
= NULL
;
1236 if (LAMBDA_FUNCTION_P (t
))
1238 /* A lambda's signature is essentially its "type", so defer. */
1239 gcc_assert (LAMBDA_TYPE_P (DECL_CONTEXT (t
)));
1240 dump_type (DECL_CONTEXT (t
), flags
);
1244 flags
&= ~TFF_UNQUALIFIED_NAME
;
1245 if (TREE_CODE (t
) == TEMPLATE_DECL
)
1246 t
= DECL_TEMPLATE_RESULT (t
);
1248 /* Save the exceptions, in case t is a specialization and we are
1249 emitting an error about incompatible specifications. */
1250 exceptions
= TYPE_RAISES_EXCEPTIONS (TREE_TYPE (t
));
1252 /* Pretty print template instantiations only. */
1253 if (DECL_USE_TEMPLATE (t
) && DECL_TEMPLATE_INFO (t
)
1254 && flag_pretty_templates
)
1258 template_args
= DECL_TI_ARGS (t
);
1259 tmpl
= most_general_template (t
);
1260 if (tmpl
&& TREE_CODE (tmpl
) == TEMPLATE_DECL
)
1262 template_parms
= DECL_TEMPLATE_PARMS (tmpl
);
1264 typenames
= find_typenames (t
);
1268 fntype
= TREE_TYPE (t
);
1269 parmtypes
= FUNCTION_FIRST_USER_PARMTYPE (t
);
1271 if (DECL_CLASS_SCOPE_P (t
))
1272 cname
= DECL_CONTEXT (t
);
1273 /* This is for partially instantiated template methods. */
1274 else if (TREE_CODE (fntype
) == METHOD_TYPE
)
1275 cname
= TREE_TYPE (TREE_VALUE (parmtypes
));
1277 if (!(flags
& TFF_DECL_SPECIFIERS
))
1279 else if (DECL_STATIC_FUNCTION_P (t
))
1280 pp_cxx_ws_string (cxx_pp
, "static");
1281 else if (DECL_VIRTUAL_P (t
))
1282 pp_cxx_ws_string (cxx_pp
, "virtual");
1284 /* Print the return type? */
1286 show_return
= !DECL_CONV_FN_P (t
) && !DECL_CONSTRUCTOR_P (t
)
1287 && !DECL_DESTRUCTOR_P (t
);
1289 dump_type_prefix (TREE_TYPE (fntype
), flags
);
1291 /* Print the function name. */
1292 if (!do_outer_scope
)
1296 dump_type (cname
, flags
);
1297 pp_cxx_colon_colon (cxx_pp
);
1300 dump_scope (CP_DECL_CONTEXT (t
), flags
);
1302 dump_function_name (t
, flags
);
1304 if (!(flags
& TFF_NO_FUNCTION_ARGUMENTS
))
1306 dump_parameters (parmtypes
, flags
);
1308 if (TREE_CODE (fntype
) == METHOD_TYPE
)
1310 pp_base (cxx_pp
)->padding
= pp_before
;
1311 pp_cxx_cv_qualifier_seq
1312 (cxx_pp
, TREE_TYPE (TREE_VALUE (TYPE_ARG_TYPES (fntype
))));
1315 if (flags
& TFF_EXCEPTION_SPECIFICATION
)
1317 pp_base (cxx_pp
)->padding
= pp_before
;
1318 dump_exception_spec (exceptions
, flags
);
1322 dump_type_suffix (TREE_TYPE (fntype
), flags
);
1325 /* If T is a template instantiation, dump the parameter binding. */
1326 if (template_parms
!= NULL_TREE
&& template_args
!= NULL_TREE
)
1328 pp_cxx_whitespace (cxx_pp
);
1329 pp_cxx_left_bracket (cxx_pp
);
1330 pp_cxx_ws_string (cxx_pp
, M_("with"));
1331 pp_cxx_whitespace (cxx_pp
);
1332 dump_template_bindings (template_parms
, template_args
, typenames
);
1333 pp_cxx_right_bracket (cxx_pp
);
1337 /* Print a parameter list. If this is for a member function, the
1338 member object ptr (and any other hidden args) should have
1339 already been removed. */
1342 dump_parameters (tree parmtypes
, int flags
)
1345 pp_cxx_left_paren (cxx_pp
);
1347 for (first
= 1; parmtypes
!= void_list_node
;
1348 parmtypes
= TREE_CHAIN (parmtypes
))
1351 pp_separate_with_comma (cxx_pp
);
1355 pp_cxx_ws_string (cxx_pp
, "...");
1359 dump_type (TREE_VALUE (parmtypes
), flags
);
1361 if ((flags
& TFF_FUNCTION_DEFAULT_ARGUMENTS
) && TREE_PURPOSE (parmtypes
))
1363 pp_cxx_whitespace (cxx_pp
);
1365 pp_cxx_whitespace (cxx_pp
);
1366 dump_expr (TREE_PURPOSE (parmtypes
), flags
| TFF_EXPR_IN_PARENS
);
1370 pp_cxx_right_paren (cxx_pp
);
1373 /* Print an exception specification. T is the exception specification. */
1376 dump_exception_spec (tree t
, int flags
)
1380 pp_cxx_ws_string (cxx_pp
, "throw");
1381 pp_cxx_whitespace (cxx_pp
);
1382 pp_cxx_left_paren (cxx_pp
);
1383 if (TREE_VALUE (t
) != NULL_TREE
)
1386 dump_type (TREE_VALUE (t
), flags
);
1390 pp_separate_with_comma (cxx_pp
);
1392 pp_cxx_right_paren (cxx_pp
);
1396 /* Handle the function name for a FUNCTION_DECL node, grokking operators
1397 and destructors properly. */
1400 dump_function_name (tree t
, int flags
)
1402 tree name
= DECL_NAME (t
);
1404 /* We can get here with a decl that was synthesized by language-
1405 independent machinery (e.g. coverage.c) in which case it won't
1406 have a lang_specific structure attached and DECL_CONSTRUCTOR_P
1407 will crash. In this case it is safe just to print out the
1409 if (!DECL_LANG_SPECIFIC (t
))
1411 pp_cxx_tree_identifier (cxx_pp
, name
);
1415 if (TREE_CODE (t
) == TEMPLATE_DECL
)
1416 t
= DECL_TEMPLATE_RESULT (t
);
1418 /* Don't let the user see __comp_ctor et al. */
1419 if (DECL_CONSTRUCTOR_P (t
)
1420 || DECL_DESTRUCTOR_P (t
))
1422 if (LAMBDA_TYPE_P (DECL_CONTEXT (t
)))
1423 name
= get_identifier ("<lambda>");
1425 name
= constructor_name (DECL_CONTEXT (t
));
1428 if (DECL_DESTRUCTOR_P (t
))
1430 pp_cxx_complement (cxx_pp
);
1431 dump_decl (name
, TFF_PLAIN_IDENTIFIER
);
1433 else if (DECL_CONV_FN_P (t
))
1435 /* This cannot use the hack that the operator's return
1436 type is stashed off of its name because it may be
1437 used for error reporting. In the case of conflicting
1438 declarations, both will have the same name, yet
1439 the types will be different, hence the TREE_TYPE field
1440 of the first name will be clobbered by the second. */
1441 pp_cxx_ws_string (cxx_pp
, "operator");
1442 dump_type (TREE_TYPE (TREE_TYPE (t
)), flags
);
1444 else if (name
&& IDENTIFIER_OPNAME_P (name
))
1445 pp_cxx_tree_identifier (cxx_pp
, name
);
1447 dump_decl (name
, flags
);
1449 if (DECL_TEMPLATE_INFO (t
)
1450 && !DECL_FRIEND_PSEUDO_TEMPLATE_INSTANTIATION (t
)
1451 && (TREE_CODE (DECL_TI_TEMPLATE (t
)) != TEMPLATE_DECL
1452 || PRIMARY_TEMPLATE_P (DECL_TI_TEMPLATE (t
))))
1453 dump_template_parms (DECL_TEMPLATE_INFO (t
), !DECL_USE_TEMPLATE (t
), flags
);
1456 /* Dump the template parameters from the template info INFO under control of
1457 FLAGS. PRIMARY indicates whether this is a primary template decl, or
1458 specialization (partial or complete). For partial specializations we show
1459 the specialized parameter values. For a primary template we show no
1463 dump_template_parms (tree info
, int primary
, int flags
)
1465 tree args
= info
? TI_ARGS (info
) : NULL_TREE
;
1467 if (primary
&& flags
& TFF_TEMPLATE_NAME
)
1469 flags
&= ~(TFF_CLASS_KEY_OR_ENUM
| TFF_TEMPLATE_NAME
);
1470 pp_cxx_begin_template_argument_list (cxx_pp
);
1472 /* Be careful only to print things when we have them, so as not
1473 to crash producing error messages. */
1474 if (args
&& !primary
)
1477 /* We don't know the parms for a friend template specialization. */
1478 tree params
= (TREE_CODE (TI_TEMPLATE (info
)) == TEMPLATE_DECL
1479 ? DECL_INNERMOST_TEMPLATE_PARMS (TI_TEMPLATE (info
))
1482 len
= count_non_default_template_args (args
, params
, flags
);
1484 args
= INNERMOST_TEMPLATE_ARGS (args
);
1485 for (ix
= 0; ix
!= len
; ix
++)
1487 tree arg
= TREE_VEC_ELT (args
, ix
);
1489 /* Only print a comma if we know there is an argument coming. In
1490 the case of an empty template argument pack, no actual
1491 argument will be printed. */
1493 && (!ARGUMENT_PACK_P (arg
)
1494 || TREE_VEC_LENGTH (ARGUMENT_PACK_ARGS (arg
)) > 0))
1495 pp_separate_with_comma (cxx_pp
);
1498 pp_string (cxx_pp
, M_("<template parameter error>"));
1500 dump_template_argument (arg
, flags
);
1505 tree tpl
= TI_TEMPLATE (info
);
1506 tree parms
= DECL_TEMPLATE_PARMS (tpl
);
1509 parms
= TREE_CODE (parms
) == TREE_LIST
? TREE_VALUE (parms
) : NULL_TREE
;
1510 len
= parms
? TREE_VEC_LENGTH (parms
) : 0;
1512 for (ix
= 0; ix
!= len
; ix
++)
1516 if (TREE_VEC_ELT (parms
, ix
) == error_mark_node
)
1518 pp_string (cxx_pp
, M_("<template parameter error>"));
1522 parm
= TREE_VALUE (TREE_VEC_ELT (parms
, ix
));
1525 pp_separate_with_comma (cxx_pp
);
1527 dump_decl (parm
, flags
& ~TFF_DECL_SPECIFIERS
);
1530 pp_cxx_end_template_argument_list (cxx_pp
);
1533 /* Print out the arguments of CALL_EXPR T as a parenthesized list using
1534 flags FLAGS. Skip over the first argument if SKIPFIRST is true. */
1537 dump_call_expr_args (tree t
, int flags
, bool skipfirst
)
1540 call_expr_arg_iterator iter
;
1542 pp_cxx_left_paren (cxx_pp
);
1543 FOR_EACH_CALL_EXPR_ARG (arg
, iter
, t
)
1549 dump_expr (arg
, flags
| TFF_EXPR_IN_PARENS
);
1550 if (more_call_expr_args_p (&iter
))
1551 pp_separate_with_comma (cxx_pp
);
1554 pp_cxx_right_paren (cxx_pp
);
1557 /* Print out the arguments of AGGR_INIT_EXPR T as a parenthesized list
1558 using flags FLAGS. Skip over the first argument if SKIPFIRST is
1562 dump_aggr_init_expr_args (tree t
, int flags
, bool skipfirst
)
1565 aggr_init_expr_arg_iterator iter
;
1567 pp_cxx_left_paren (cxx_pp
);
1568 FOR_EACH_AGGR_INIT_EXPR_ARG (arg
, iter
, t
)
1574 dump_expr (arg
, flags
| TFF_EXPR_IN_PARENS
);
1575 if (more_aggr_init_expr_args_p (&iter
))
1576 pp_separate_with_comma (cxx_pp
);
1579 pp_cxx_right_paren (cxx_pp
);
1582 /* Print out a list of initializers (subr of dump_expr). */
1585 dump_expr_list (tree l
, int flags
)
1589 dump_expr (TREE_VALUE (l
), flags
| TFF_EXPR_IN_PARENS
);
1592 pp_separate_with_comma (cxx_pp
);
1596 /* Print out a vector of initializers (subr of dump_expr). */
1599 dump_expr_init_vec (VEC(constructor_elt
,gc
) *v
, int flags
)
1601 unsigned HOST_WIDE_INT idx
;
1604 FOR_EACH_CONSTRUCTOR_VALUE (v
, idx
, value
)
1606 dump_expr (value
, flags
| TFF_EXPR_IN_PARENS
);
1607 if (idx
!= VEC_length (constructor_elt
, v
) - 1)
1608 pp_separate_with_comma (cxx_pp
);
1613 /* We've gotten an indirect REFERENCE (an OBJ_TYPE_REF) to a virtual
1614 function. Resolve it to a close relative -- in the sense of static
1615 type -- variant being overridden. That is close to what was written in
1616 the source code. Subroutine of dump_expr. */
1619 resolve_virtual_fun_from_obj_type_ref (tree ref
)
1621 tree obj_type
= TREE_TYPE (OBJ_TYPE_REF_OBJECT (ref
));
1622 HOST_WIDE_INT index
= tree_low_cst (OBJ_TYPE_REF_TOKEN (ref
), 1);
1623 tree fun
= BINFO_VIRTUALS (TYPE_BINFO (TREE_TYPE (obj_type
)));
1626 fun
= TREE_CHAIN (fun
);
1627 index
-= (TARGET_VTABLE_USES_DESCRIPTORS
1628 ? TARGET_VTABLE_USES_DESCRIPTORS
: 1);
1634 /* Print out an expression E under control of FLAGS. */
1637 dump_expr (tree t
, int flags
)
1642 if (STATEMENT_CLASS_P (t
))
1644 pp_cxx_ws_string (cxx_pp
, M_("<statement>"));
1648 switch (TREE_CODE (t
))
1656 case NAMESPACE_DECL
:
1659 case IDENTIFIER_NODE
:
1660 dump_decl (t
, (flags
& ~TFF_DECL_SPECIFIERS
) | TFF_NO_FUNCTION_ARGUMENTS
);
1667 pp_constant (cxx_pp
, t
);
1671 /* While waiting for caret diagnostics, avoid printing
1672 __cxa_allocate_exception, __cxa_throw, and the like. */
1673 pp_cxx_ws_string (cxx_pp
, M_("<throw-expression>"));
1677 pp_ampersand (cxx_pp
);
1678 dump_type (PTRMEM_CST_CLASS (t
), flags
);
1679 pp_cxx_colon_colon (cxx_pp
);
1680 pp_cxx_tree_identifier (cxx_pp
, DECL_NAME (PTRMEM_CST_MEMBER (t
)));
1684 pp_cxx_left_paren (cxx_pp
);
1685 dump_expr (TREE_OPERAND (t
, 0), flags
| TFF_EXPR_IN_PARENS
);
1686 pp_separate_with_comma (cxx_pp
);
1687 dump_expr (TREE_OPERAND (t
, 1), flags
| TFF_EXPR_IN_PARENS
);
1688 pp_cxx_right_paren (cxx_pp
);
1692 pp_cxx_left_paren (cxx_pp
);
1693 dump_expr (TREE_OPERAND (t
, 0), flags
| TFF_EXPR_IN_PARENS
);
1694 pp_string (cxx_pp
, " ? ");
1695 dump_expr (TREE_OPERAND (t
, 1), flags
| TFF_EXPR_IN_PARENS
);
1696 pp_string (cxx_pp
, " : ");
1697 dump_expr (TREE_OPERAND (t
, 2), flags
| TFF_EXPR_IN_PARENS
);
1698 pp_cxx_right_paren (cxx_pp
);
1702 if (TREE_HAS_CONSTRUCTOR (t
))
1704 pp_cxx_ws_string (cxx_pp
, "new");
1705 pp_cxx_whitespace (cxx_pp
);
1706 dump_type (TREE_TYPE (TREE_TYPE (t
)), flags
);
1709 dump_expr (TREE_OPERAND (t
, 0), flags
| TFF_EXPR_IN_PARENS
);
1712 case AGGR_INIT_EXPR
:
1714 tree fn
= NULL_TREE
;
1716 if (TREE_CODE (AGGR_INIT_EXPR_FN (t
)) == ADDR_EXPR
)
1717 fn
= TREE_OPERAND (AGGR_INIT_EXPR_FN (t
), 0);
1719 if (fn
&& TREE_CODE (fn
) == FUNCTION_DECL
)
1721 if (DECL_CONSTRUCTOR_P (fn
))
1722 dump_type (DECL_CONTEXT (fn
), flags
);
1727 dump_expr (AGGR_INIT_EXPR_FN (t
), 0);
1729 dump_aggr_init_expr_args (t
, flags
, true);
1734 tree fn
= CALL_EXPR_FN (t
);
1735 bool skipfirst
= false;
1737 if (TREE_CODE (fn
) == ADDR_EXPR
)
1738 fn
= TREE_OPERAND (fn
, 0);
1740 /* Nobody is interested in seeing the guts of vcalls. */
1741 if (TREE_CODE (fn
) == OBJ_TYPE_REF
)
1742 fn
= resolve_virtual_fun_from_obj_type_ref (fn
);
1744 if (TREE_TYPE (fn
) != NULL_TREE
&& NEXT_CODE (fn
) == METHOD_TYPE
)
1746 tree ob
= CALL_EXPR_ARG (t
, 0);
1747 if (TREE_CODE (ob
) == ADDR_EXPR
)
1749 dump_expr (TREE_OPERAND (ob
, 0), flags
| TFF_EXPR_IN_PARENS
);
1750 pp_cxx_dot (cxx_pp
);
1752 else if (TREE_CODE (ob
) != PARM_DECL
1753 || strcmp (IDENTIFIER_POINTER (DECL_NAME (ob
)), "this"))
1755 dump_expr (ob
, flags
| TFF_EXPR_IN_PARENS
);
1756 pp_cxx_arrow (cxx_pp
);
1760 dump_expr (fn
, flags
| TFF_EXPR_IN_PARENS
);
1761 dump_call_expr_args (t
, flags
, skipfirst
);
1766 /* Note that this only works for G++ target exprs. If somebody
1767 builds a general TARGET_EXPR, there's no way to represent that
1768 it initializes anything other that the parameter slot for the
1769 default argument. Note we may have cleared out the first
1770 operand in expand_expr, so don't go killing ourselves. */
1771 if (TREE_OPERAND (t
, 1))
1772 dump_expr (TREE_OPERAND (t
, 1), flags
| TFF_EXPR_IN_PARENS
);
1775 case POINTER_PLUS_EXPR
:
1776 dump_binary_op ("+", t
, flags
);
1784 case TRUNC_DIV_EXPR
:
1785 case TRUNC_MOD_EXPR
:
1793 case TRUTH_ANDIF_EXPR
:
1794 case TRUTH_ORIF_EXPR
:
1801 case EXACT_DIV_EXPR
:
1802 dump_binary_op (operator_name_info
[(int) TREE_CODE (t
)].name
, t
, flags
);
1806 case FLOOR_DIV_EXPR
:
1807 case ROUND_DIV_EXPR
:
1809 dump_binary_op ("/", t
, flags
);
1813 case FLOOR_MOD_EXPR
:
1814 case ROUND_MOD_EXPR
:
1815 dump_binary_op ("%", t
, flags
);
1820 tree ob
= TREE_OPERAND (t
, 0);
1821 if (TREE_CODE (ob
) == INDIRECT_REF
)
1823 ob
= TREE_OPERAND (ob
, 0);
1824 if (TREE_CODE (ob
) != PARM_DECL
1826 && strcmp (IDENTIFIER_POINTER (DECL_NAME (ob
)), "this")))
1828 dump_expr (ob
, flags
| TFF_EXPR_IN_PARENS
);
1829 pp_cxx_arrow (cxx_pp
);
1834 dump_expr (ob
, flags
| TFF_EXPR_IN_PARENS
);
1835 pp_cxx_dot (cxx_pp
);
1837 dump_expr (TREE_OPERAND (t
, 1), flags
& ~TFF_EXPR_IN_PARENS
);
1842 dump_expr (TREE_OPERAND (t
, 0), flags
| TFF_EXPR_IN_PARENS
);
1843 pp_cxx_left_bracket (cxx_pp
);
1844 dump_expr (TREE_OPERAND (t
, 1), flags
| TFF_EXPR_IN_PARENS
);
1845 pp_cxx_right_bracket (cxx_pp
);
1848 case UNARY_PLUS_EXPR
:
1849 dump_unary_op ("+", t
, flags
);
1853 if (TREE_CODE (TREE_OPERAND (t
, 0)) == FUNCTION_DECL
1854 || TREE_CODE (TREE_OPERAND (t
, 0)) == STRING_CST
1855 /* An ADDR_EXPR can have reference type. In that case, we
1856 shouldn't print the `&' doing so indicates to the user
1857 that the expression has pointer type. */
1859 && TREE_CODE (TREE_TYPE (t
)) == REFERENCE_TYPE
))
1860 dump_expr (TREE_OPERAND (t
, 0), flags
| TFF_EXPR_IN_PARENS
);
1861 else if (TREE_CODE (TREE_OPERAND (t
, 0)) == LABEL_DECL
)
1862 dump_unary_op ("&&", t
, flags
);
1864 dump_unary_op ("&", t
, flags
);
1868 if (TREE_HAS_CONSTRUCTOR (t
))
1870 t
= TREE_OPERAND (t
, 0);
1871 gcc_assert (TREE_CODE (t
) == CALL_EXPR
);
1872 dump_expr (CALL_EXPR_FN (t
), flags
| TFF_EXPR_IN_PARENS
);
1873 dump_call_expr_args (t
, flags
, true);
1877 if (TREE_OPERAND (t
,0) != NULL_TREE
1878 && TREE_TYPE (TREE_OPERAND (t
, 0))
1879 && NEXT_CODE (TREE_OPERAND (t
, 0)) == REFERENCE_TYPE
)
1880 dump_expr (TREE_OPERAND (t
, 0), flags
);
1882 dump_unary_op ("*", t
, flags
);
1888 case TRUTH_NOT_EXPR
:
1889 case PREDECREMENT_EXPR
:
1890 case PREINCREMENT_EXPR
:
1891 dump_unary_op (operator_name_info
[(int)TREE_CODE (t
)].name
, t
, flags
);
1894 case POSTDECREMENT_EXPR
:
1895 case POSTINCREMENT_EXPR
:
1896 pp_cxx_left_paren (cxx_pp
);
1897 dump_expr (TREE_OPERAND (t
, 0), flags
| TFF_EXPR_IN_PARENS
);
1898 pp_cxx_ws_string (cxx_pp
, operator_name_info
[(int)TREE_CODE (t
)].name
);
1899 pp_cxx_right_paren (cxx_pp
);
1902 case NON_LVALUE_EXPR
:
1903 /* FIXME: This is a KLUDGE workaround for a parsing problem. There
1904 should be another level of INDIRECT_REF so that I don't have to do
1906 if (TREE_TYPE (t
) != NULL_TREE
&& NEXT_CODE (t
) == POINTER_TYPE
)
1908 tree next
= TREE_TYPE (TREE_TYPE (t
));
1910 while (TREE_CODE (next
) == POINTER_TYPE
)
1911 next
= TREE_TYPE (next
);
1913 if (TREE_CODE (next
) == FUNCTION_TYPE
)
1915 if (flags
& TFF_EXPR_IN_PARENS
)
1916 pp_cxx_left_paren (cxx_pp
);
1917 pp_cxx_star (cxx_pp
);
1918 dump_expr (TREE_OPERAND (t
, 0), flags
& ~TFF_EXPR_IN_PARENS
);
1919 if (flags
& TFF_EXPR_IN_PARENS
)
1920 pp_cxx_right_paren (cxx_pp
);
1923 /* Else fall through. */
1925 dump_expr (TREE_OPERAND (t
, 0), flags
| TFF_EXPR_IN_PARENS
);
1929 case VIEW_CONVERT_EXPR
:
1931 tree op
= TREE_OPERAND (t
, 0);
1933 if (!same_type_p (TREE_TYPE (op
), TREE_TYPE (t
)))
1935 /* It is a cast, but we cannot tell whether it is a
1936 reinterpret or static cast. Use the C style notation. */
1937 if (flags
& TFF_EXPR_IN_PARENS
)
1938 pp_cxx_left_paren (cxx_pp
);
1939 pp_cxx_left_paren (cxx_pp
);
1940 dump_type (TREE_TYPE (t
), flags
);
1941 pp_cxx_right_paren (cxx_pp
);
1942 dump_expr (op
, flags
| TFF_EXPR_IN_PARENS
);
1943 if (flags
& TFF_EXPR_IN_PARENS
)
1944 pp_cxx_right_paren (cxx_pp
);
1947 dump_expr (op
, flags
);
1952 if (TREE_TYPE (t
) && TYPE_PTRMEMFUNC_P (TREE_TYPE (t
)))
1954 tree idx
= build_ptrmemfunc_access_expr (t
, pfn_identifier
);
1956 if (integer_zerop (idx
))
1958 /* A NULL pointer-to-member constant. */
1959 pp_cxx_left_paren (cxx_pp
);
1960 pp_cxx_left_paren (cxx_pp
);
1961 dump_type (TREE_TYPE (t
), flags
);
1962 pp_cxx_right_paren (cxx_pp
);
1963 pp_character (cxx_pp
, '0');
1964 pp_cxx_right_paren (cxx_pp
);
1967 else if (host_integerp (idx
, 0))
1970 unsigned HOST_WIDE_INT n
;
1972 t
= TREE_TYPE (TYPE_PTRMEMFUNC_FN_TYPE (TREE_TYPE (t
)));
1973 t
= TYPE_METHOD_BASETYPE (t
);
1974 virtuals
= BINFO_VIRTUALS (TYPE_BINFO (TYPE_MAIN_VARIANT (t
)));
1976 n
= tree_low_cst (idx
, 0);
1978 /* Map vtable index back one, to allow for the null pointer to
1982 while (n
> 0 && virtuals
)
1985 virtuals
= TREE_CHAIN (virtuals
);
1989 dump_expr (BV_FN (virtuals
),
1990 flags
| TFF_EXPR_IN_PARENS
);
1995 if (TREE_TYPE (t
) && EMPTY_CONSTRUCTOR_P (t
))
1997 dump_type (TREE_TYPE (t
), 0);
1998 pp_cxx_left_paren (cxx_pp
);
1999 pp_cxx_right_paren (cxx_pp
);
2003 pp_cxx_left_brace (cxx_pp
);
2004 dump_expr_init_vec (CONSTRUCTOR_ELTS (t
), flags
);
2005 pp_cxx_right_brace (cxx_pp
);
2012 tree ob
= TREE_OPERAND (t
, 0);
2013 if (is_dummy_object (ob
))
2015 t
= TREE_OPERAND (t
, 1);
2016 if (TREE_CODE (t
) == FUNCTION_DECL
)
2018 dump_expr (t
, flags
| TFF_EXPR_IN_PARENS
);
2019 else if (BASELINK_P (t
))
2020 dump_expr (OVL_CURRENT (BASELINK_FUNCTIONS (t
)),
2021 flags
| TFF_EXPR_IN_PARENS
);
2023 dump_decl (t
, flags
);
2027 if (TREE_CODE (ob
) == INDIRECT_REF
)
2029 dump_expr (TREE_OPERAND (ob
, 0), flags
| TFF_EXPR_IN_PARENS
);
2030 pp_cxx_arrow (cxx_pp
);
2031 pp_cxx_star (cxx_pp
);
2035 dump_expr (ob
, flags
| TFF_EXPR_IN_PARENS
);
2036 pp_cxx_dot (cxx_pp
);
2037 pp_cxx_star (cxx_pp
);
2039 dump_expr (TREE_OPERAND (t
, 1), flags
| TFF_EXPR_IN_PARENS
);
2044 case TEMPLATE_PARM_INDEX
:
2045 dump_decl (TEMPLATE_PARM_DECL (t
), flags
& ~TFF_DECL_SPECIFIERS
);
2049 if (TREE_OPERAND (t
, 0) == NULL_TREE
2050 || TREE_CHAIN (TREE_OPERAND (t
, 0)))
2052 dump_type (TREE_TYPE (t
), flags
);
2053 pp_cxx_left_paren (cxx_pp
);
2054 dump_expr_list (TREE_OPERAND (t
, 0), flags
);
2055 pp_cxx_right_paren (cxx_pp
);
2059 pp_cxx_left_paren (cxx_pp
);
2060 dump_type (TREE_TYPE (t
), flags
);
2061 pp_cxx_right_paren (cxx_pp
);
2062 pp_cxx_left_paren (cxx_pp
);
2063 dump_expr_list (TREE_OPERAND (t
, 0), flags
);
2064 pp_cxx_right_paren (cxx_pp
);
2068 case STATIC_CAST_EXPR
:
2069 pp_cxx_ws_string (cxx_pp
, "static_cast");
2071 case REINTERPRET_CAST_EXPR
:
2072 pp_cxx_ws_string (cxx_pp
, "reinterpret_cast");
2074 case CONST_CAST_EXPR
:
2075 pp_cxx_ws_string (cxx_pp
, "const_cast");
2077 case DYNAMIC_CAST_EXPR
:
2078 pp_cxx_ws_string (cxx_pp
, "dynamic_cast");
2080 pp_cxx_begin_template_argument_list (cxx_pp
);
2081 dump_type (TREE_TYPE (t
), flags
);
2082 pp_cxx_end_template_argument_list (cxx_pp
);
2083 pp_cxx_left_paren (cxx_pp
);
2084 dump_expr (TREE_OPERAND (t
, 0), flags
);
2085 pp_cxx_right_paren (cxx_pp
);
2089 dump_expr (TREE_OPERAND (t
, 0), flags
);
2090 pp_cxx_arrow (cxx_pp
);
2095 if (TREE_CODE (t
) == SIZEOF_EXPR
)
2096 pp_cxx_ws_string (cxx_pp
, "sizeof");
2099 gcc_assert (TREE_CODE (t
) == ALIGNOF_EXPR
);
2100 pp_cxx_ws_string (cxx_pp
, "__alignof__");
2102 pp_cxx_whitespace (cxx_pp
);
2103 pp_cxx_left_paren (cxx_pp
);
2104 if (TYPE_P (TREE_OPERAND (t
, 0)))
2105 dump_type (TREE_OPERAND (t
, 0), flags
);
2107 dump_expr (TREE_OPERAND (t
, 0), flags
);
2108 pp_cxx_right_paren (cxx_pp
);
2113 pp_cxx_ws_string (cxx_pp
, operator_name_info
[TREE_CODE (t
)].name
);
2114 pp_cxx_whitespace (cxx_pp
);
2115 dump_expr (TREE_OPERAND (t
, 0), flags
);
2119 pp_string (cxx_pp
, M_("<unparsed>"));
2122 case TRY_CATCH_EXPR
:
2123 case WITH_CLEANUP_EXPR
:
2124 case CLEANUP_POINT_EXPR
:
2125 dump_expr (TREE_OPERAND (t
, 0), flags
);
2128 case PSEUDO_DTOR_EXPR
:
2129 dump_expr (TREE_OPERAND (t
, 2), flags
);
2130 pp_cxx_dot (cxx_pp
);
2131 dump_type (TREE_OPERAND (t
, 0), flags
);
2132 pp_cxx_colon_colon (cxx_pp
);
2133 pp_cxx_complement (cxx_pp
);
2134 dump_type (TREE_OPERAND (t
, 1), flags
);
2137 case TEMPLATE_ID_EXPR
:
2138 dump_decl (t
, flags
);
2144 case STATEMENT_LIST
:
2145 /* We don't yet have a way of dumping statements in a
2146 human-readable format. */
2147 pp_string (cxx_pp
, "({...})");
2151 pp_string (cxx_pp
, "while (1) { ");
2152 dump_expr (TREE_OPERAND (t
, 0), flags
& ~TFF_EXPR_IN_PARENS
);
2153 pp_cxx_right_brace (cxx_pp
);
2157 pp_string (cxx_pp
, "if (");
2158 dump_expr (TREE_OPERAND (t
, 0), flags
& ~TFF_EXPR_IN_PARENS
);
2159 pp_string (cxx_pp
, ") break; ");
2163 dump_expr (get_first_fn (t
), flags
& ~TFF_EXPR_IN_PARENS
);
2166 case EMPTY_CLASS_EXPR
:
2167 dump_type (TREE_TYPE (t
), flags
);
2168 pp_cxx_left_paren (cxx_pp
);
2169 pp_cxx_right_paren (cxx_pp
);
2172 case NON_DEPENDENT_EXPR
:
2173 dump_expr (TREE_OPERAND (t
, 0), flags
);
2176 case ARGUMENT_PACK_SELECT
:
2177 dump_template_argument (ARGUMENT_PACK_SELECT_FROM_PACK (t
), flags
);
2189 pp_type_specifier_seq (cxx_pp
, t
);
2193 /* We get here when we want to print a dependent type as an
2194 id-expression, without any disambiguator decoration. */
2195 pp_id_expression (cxx_pp
, t
);
2198 case TEMPLATE_TYPE_PARM
:
2199 case BOUND_TEMPLATE_TEMPLATE_PARM
:
2200 dump_type (t
, flags
);
2204 pp_cxx_trait_expression (cxx_pp
, t
);
2208 pp_cxx_va_arg_expression (cxx_pp
, t
);
2212 pp_cxx_offsetof_expression (cxx_pp
, t
);
2216 case EXPR_PACK_EXPANSION
:
2223 case VEC_DELETE_EXPR
:
2229 case UNORDERED_EXPR
:
2239 case FIX_TRUNC_EXPR
:
2241 pp_expression (cxx_pp
, t
);
2244 case TRUTH_AND_EXPR
:
2246 case TRUTH_XOR_EXPR
:
2247 if (flags
& TFF_EXPR_IN_PARENS
)
2248 pp_cxx_left_paren (cxx_pp
);
2249 pp_expression (cxx_pp
, t
);
2250 if (flags
& TFF_EXPR_IN_PARENS
)
2251 pp_cxx_right_paren (cxx_pp
);
2255 dump_expr (resolve_virtual_fun_from_obj_type_ref (t
), flags
);
2258 /* This list is incomplete, but should suffice for now.
2259 It is very important that `sorry' does not call
2260 `report_error_function'. That could cause an infinite loop. */
2262 pp_unsupported_tree (cxx_pp
, t
);
2263 /* fall through to ERROR_MARK... */
2265 pp_string (cxx_pp
, M_("<expression error>"));
2271 dump_binary_op (const char *opstring
, tree t
, int flags
)
2273 pp_cxx_left_paren (cxx_pp
);
2274 dump_expr (TREE_OPERAND (t
, 0), flags
| TFF_EXPR_IN_PARENS
);
2275 pp_cxx_whitespace (cxx_pp
);
2277 pp_cxx_ws_string (cxx_pp
, opstring
);
2279 pp_string (cxx_pp
, M_("<unknown operator>"));
2280 pp_cxx_whitespace (cxx_pp
);
2281 dump_expr (TREE_OPERAND (t
, 1), flags
| TFF_EXPR_IN_PARENS
);
2282 pp_cxx_right_paren (cxx_pp
);
2286 dump_unary_op (const char *opstring
, tree t
, int flags
)
2288 if (flags
& TFF_EXPR_IN_PARENS
)
2289 pp_cxx_left_paren (cxx_pp
);
2290 pp_cxx_ws_string (cxx_pp
, opstring
);
2291 dump_expr (TREE_OPERAND (t
, 0), flags
& ~TFF_EXPR_IN_PARENS
);
2292 if (flags
& TFF_EXPR_IN_PARENS
)
2293 pp_cxx_right_paren (cxx_pp
);
2297 reinit_cxx_pp (void)
2299 pp_clear_output_area (cxx_pp
);
2300 pp_base (cxx_pp
)->padding
= pp_none
;
2301 pp_indentation (cxx_pp
) = 0;
2302 pp_needs_newline (cxx_pp
) = false;
2303 cxx_pp
->enclosing_scope
= current_function_decl
;
2307 /* Exported interface to stringifying types, exprs and decls under TFF_*
2311 type_as_string (tree typ
, int flags
)
2314 pp_translate_identifiers (cxx_pp
) = false;
2315 dump_type (typ
, flags
);
2316 return pp_formatted_text (cxx_pp
);
2320 type_as_string_translate (tree typ
, int flags
)
2323 dump_type (typ
, flags
);
2324 return pp_formatted_text (cxx_pp
);
2328 expr_as_string (tree decl
, int flags
)
2331 pp_translate_identifiers (cxx_pp
) = false;
2332 dump_expr (decl
, flags
);
2333 return pp_formatted_text (cxx_pp
);
2337 decl_as_string (tree decl
, int flags
)
2340 pp_translate_identifiers (cxx_pp
) = false;
2341 dump_decl (decl
, flags
);
2342 return pp_formatted_text (cxx_pp
);
2346 decl_as_string_translate (tree decl
, int flags
)
2349 dump_decl (decl
, flags
);
2350 return pp_formatted_text (cxx_pp
);
2353 /* Generate the three forms of printable names for cxx_printable_name. */
2356 lang_decl_name (tree decl
, int v
, bool translate
)
2360 ? decl_as_string_translate (decl
, TFF_DECL_SPECIFIERS
)
2361 : decl_as_string (decl
, TFF_DECL_SPECIFIERS
));
2364 pp_translate_identifiers (cxx_pp
) = translate
;
2366 && (DECL_CLASS_SCOPE_P (decl
)
2367 || (DECL_NAMESPACE_SCOPE_P (decl
)
2368 && CP_DECL_CONTEXT (decl
) != global_namespace
)))
2370 dump_type (CP_DECL_CONTEXT (decl
), TFF_PLAIN_IDENTIFIER
);
2371 pp_cxx_colon_colon (cxx_pp
);
2374 if (TREE_CODE (decl
) == FUNCTION_DECL
)
2375 dump_function_name (decl
, TFF_PLAIN_IDENTIFIER
);
2377 dump_decl (DECL_NAME (decl
), TFF_PLAIN_IDENTIFIER
);
2379 return pp_formatted_text (cxx_pp
);
2382 /* Return the location of a tree passed to %+ formats. */
2385 location_of (tree t
)
2387 if (TREE_CODE (t
) == PARM_DECL
&& DECL_CONTEXT (t
))
2388 t
= DECL_CONTEXT (t
);
2389 else if (TYPE_P (t
))
2390 t
= TYPE_MAIN_DECL (t
);
2391 else if (TREE_CODE (t
) == OVERLOAD
)
2392 t
= OVL_FUNCTION (t
);
2394 return DECL_SOURCE_LOCATION (t
);
2397 /* Now the interfaces from error et al to dump_type et al. Each takes an
2398 on/off VERBOSE flag and supply the appropriate TFF_ flags to a dump_
2402 decl_to_string (tree decl
, int verbose
)
2406 if (TREE_CODE (decl
) == TYPE_DECL
|| TREE_CODE (decl
) == RECORD_TYPE
2407 || TREE_CODE (decl
) == UNION_TYPE
|| TREE_CODE (decl
) == ENUMERAL_TYPE
)
2408 flags
= TFF_CLASS_KEY_OR_ENUM
;
2410 flags
|= TFF_DECL_SPECIFIERS
;
2411 else if (TREE_CODE (decl
) == FUNCTION_DECL
)
2412 flags
|= TFF_DECL_SPECIFIERS
| TFF_RETURN_TYPE
;
2413 flags
|= TFF_TEMPLATE_HEADER
;
2416 dump_decl (decl
, flags
);
2417 return pp_formatted_text (cxx_pp
);
2421 expr_to_string (tree decl
)
2424 dump_expr (decl
, 0);
2425 return pp_formatted_text (cxx_pp
);
2429 fndecl_to_string (tree fndecl
, int verbose
)
2433 flags
= TFF_EXCEPTION_SPECIFICATION
| TFF_DECL_SPECIFIERS
2434 | TFF_TEMPLATE_HEADER
;
2436 flags
|= TFF_FUNCTION_DEFAULT_ARGUMENTS
;
2438 dump_decl (fndecl
, flags
);
2439 return pp_formatted_text (cxx_pp
);
2444 code_to_string (enum tree_code c
)
2446 return tree_code_name
[c
];
2450 language_to_string (enum languages c
)
2457 case lang_cplusplus
:
2469 /* Return the proper printed version of a parameter to a C++ function. */
2472 parm_to_string (int p
)
2476 pp_string (cxx_pp
, "'this'");
2478 pp_decimal_int (cxx_pp
, p
+ 1);
2479 return pp_formatted_text (cxx_pp
);
2483 op_to_string (enum tree_code p
)
2485 tree id
= operator_name_info
[(int) p
].identifier
;
2486 return id
? IDENTIFIER_POINTER (id
) : M_("<unknown>");
2490 type_to_string (tree typ
, int verbose
)
2494 flags
|= TFF_CLASS_KEY_OR_ENUM
;
2495 flags
|= TFF_TEMPLATE_HEADER
;
2498 dump_type (typ
, flags
);
2499 return pp_formatted_text (cxx_pp
);
2503 assop_to_string (enum tree_code p
)
2505 tree id
= assignment_operator_name_info
[(int) p
].identifier
;
2506 return id
? IDENTIFIER_POINTER (id
) : M_("{unknown}");
2510 args_to_string (tree p
, int verbose
)
2514 flags
|= TFF_CLASS_KEY_OR_ENUM
;
2519 if (TYPE_P (TREE_VALUE (p
)))
2520 return type_as_string_translate (p
, flags
);
2523 for (; p
; p
= TREE_CHAIN (p
))
2525 if (TREE_VALUE (p
) == null_node
)
2526 pp_cxx_ws_string (cxx_pp
, "NULL");
2528 dump_type (error_type (TREE_VALUE (p
)), flags
);
2530 pp_separate_with_comma (cxx_pp
);
2532 return pp_formatted_text (cxx_pp
);
2536 cv_to_string (tree p
, int v
)
2539 pp_base (cxx_pp
)->padding
= v
? pp_before
: pp_none
;
2540 pp_cxx_cv_qualifier_seq (cxx_pp
, p
);
2541 return pp_formatted_text (cxx_pp
);
2544 /* Langhook for print_error_function. */
2546 cxx_print_error_function (diagnostic_context
*context
, const char *file
,
2547 diagnostic_info
*diagnostic
)
2549 lhd_print_error_function (context
, file
, diagnostic
);
2550 pp_base_set_prefix (context
->printer
, file
);
2551 maybe_print_instantiation_context (context
);
2555 cp_diagnostic_starter (diagnostic_context
*context
,
2556 diagnostic_info
*diagnostic
)
2558 diagnostic_report_current_module (context
);
2559 cp_print_error_function (context
, diagnostic
);
2560 maybe_print_instantiation_context (context
);
2561 pp_base_set_prefix (context
->printer
, diagnostic_build_prefix (diagnostic
));
2565 cp_diagnostic_finalizer (diagnostic_context
*context
,
2566 diagnostic_info
*diagnostic ATTRIBUTE_UNUSED
)
2568 pp_base_destroy_prefix (context
->printer
);
2571 /* Print current function onto BUFFER, in the process of reporting
2572 a diagnostic message. Called from cp_diagnostic_starter. */
2574 cp_print_error_function (diagnostic_context
*context
,
2575 diagnostic_info
*diagnostic
)
2577 if (diagnostic_last_function_changed (context
, diagnostic
))
2579 const char *old_prefix
= context
->printer
->prefix
;
2580 const char *file
= LOCATION_FILE (diagnostic
->location
);
2581 tree abstract_origin
= diagnostic
->abstract_origin
;
2582 char *new_prefix
= (file
&& abstract_origin
== NULL
)
2583 ? file_name_as_prefix (file
) : NULL
;
2585 pp_base_set_prefix (context
->printer
, new_prefix
);
2587 if (current_function_decl
== NULL
)
2588 pp_base_string (context
->printer
, _("At global scope:"));
2593 if (abstract_origin
)
2595 ao
= BLOCK_ABSTRACT_ORIGIN (abstract_origin
);
2596 while (TREE_CODE (ao
) == BLOCK
2597 && BLOCK_ABSTRACT_ORIGIN (ao
)
2598 && BLOCK_ABSTRACT_ORIGIN (ao
) != ao
)
2599 ao
= BLOCK_ABSTRACT_ORIGIN (ao
);
2600 gcc_assert (TREE_CODE (ao
) == FUNCTION_DECL
);
2604 fndecl
= current_function_decl
;
2606 pp_printf (context
->printer
, function_category (fndecl
),
2607 cxx_printable_name_translate (fndecl
, 2));
2609 while (abstract_origin
)
2612 tree block
= abstract_origin
;
2614 locus
= &BLOCK_SOURCE_LOCATION (block
);
2616 block
= BLOCK_SUPERCONTEXT (block
);
2617 while (block
&& TREE_CODE (block
) == BLOCK
2618 && BLOCK_ABSTRACT_ORIGIN (block
))
2620 ao
= BLOCK_ABSTRACT_ORIGIN (block
);
2622 while (TREE_CODE (ao
) == BLOCK
2623 && BLOCK_ABSTRACT_ORIGIN (ao
)
2624 && BLOCK_ABSTRACT_ORIGIN (ao
) != ao
)
2625 ao
= BLOCK_ABSTRACT_ORIGIN (ao
);
2627 if (TREE_CODE (ao
) == FUNCTION_DECL
)
2632 else if (TREE_CODE (ao
) != BLOCK
)
2635 block
= BLOCK_SUPERCONTEXT (block
);
2638 abstract_origin
= block
;
2641 while (block
&& TREE_CODE (block
) == BLOCK
)
2642 block
= BLOCK_SUPERCONTEXT (block
);
2644 if (block
&& TREE_CODE (block
) == FUNCTION_DECL
)
2646 abstract_origin
= NULL
;
2650 expanded_location s
= expand_location (*locus
);
2651 pp_base_character (context
->printer
, ',');
2652 pp_base_newline (context
->printer
);
2655 if (flag_show_column
&& s
.column
!= 0)
2656 pp_printf (context
->printer
,
2657 _(" inlined from %qs at %s:%d:%d"),
2658 cxx_printable_name_translate (fndecl
, 2),
2659 s
.file
, s
.line
, s
.column
);
2661 pp_printf (context
->printer
,
2662 _(" inlined from %qs at %s:%d"),
2663 cxx_printable_name_translate (fndecl
, 2),
2668 pp_printf (context
->printer
, _(" inlined from %qs"),
2669 cxx_printable_name_translate (fndecl
, 2));
2672 pp_base_character (context
->printer
, ':');
2674 pp_base_newline (context
->printer
);
2676 diagnostic_set_last_function (context
, diagnostic
);
2677 pp_base_destroy_prefix (context
->printer
);
2678 context
->printer
->prefix
= old_prefix
;
2682 /* Returns a description of FUNCTION using standard terminology. The
2683 result is a format string of the form "In CATEGORY %qs". */
2685 function_category (tree fn
)
2687 /* We can get called from the middle-end for diagnostics of function
2688 clones. Make sure we have language specific information before
2689 dereferencing it. */
2690 if (DECL_LANG_SPECIFIC (STRIP_TEMPLATE (fn
))
2691 && DECL_FUNCTION_MEMBER_P (fn
))
2693 if (DECL_STATIC_FUNCTION_P (fn
))
2694 return _("In static member function %qs");
2695 else if (DECL_COPY_CONSTRUCTOR_P (fn
))
2696 return _("In copy constructor %qs");
2697 else if (DECL_CONSTRUCTOR_P (fn
))
2698 return _("In constructor %qs");
2699 else if (DECL_DESTRUCTOR_P (fn
))
2700 return _("In destructor %qs");
2701 else if (LAMBDA_FUNCTION_P (fn
))
2702 return _("In lambda function");
2704 return _("In member function %qs");
2707 return _("In function %qs");
2710 /* Report the full context of a current template instantiation,
2713 print_instantiation_full_context (diagnostic_context
*context
)
2715 struct tinst_level
*p
= current_instantiation ();
2716 location_t location
= input_location
;
2720 if (current_function_decl
!= p
->decl
2721 && current_function_decl
!= NULL_TREE
)
2722 /* We can get here during the processing of some synthesized
2723 method. Then, P->DECL will be the function that's causing
2728 if (current_function_decl
== p
->decl
)
2729 /* Avoid redundancy with the "In function" line. */;
2731 pp_verbatim (context
->printer
,
2732 _("%s: In instantiation of %qs:\n"),
2733 LOCATION_FILE (location
),
2734 decl_as_string_translate (p
->decl
,
2735 TFF_DECL_SPECIFIERS
| TFF_RETURN_TYPE
));
2737 location
= p
->locus
;
2742 print_instantiation_partial_context (context
, p
, location
);
2745 /* Same as above but less verbose. */
2747 print_instantiation_partial_context (diagnostic_context
*context
,
2748 struct tinst_level
*t
, location_t loc
)
2750 expanded_location xloc
;
2752 for (; ; t
= t
->next
)
2754 xloc
= expand_location (loc
);
2757 str
= decl_as_string_translate (t
->decl
,
2758 TFF_DECL_SPECIFIERS
| TFF_RETURN_TYPE
);
2759 if (flag_show_column
)
2760 pp_verbatim (context
->printer
,
2761 _("%s:%d:%d: instantiated from %qs\n"),
2762 xloc
.file
, xloc
.line
, xloc
.column
, str
);
2764 pp_verbatim (context
->printer
,
2765 _("%s:%d: instantiated from %qs\n"),
2766 xloc
.file
, xloc
.line
, str
);
2769 if (flag_show_column
)
2770 pp_verbatim (context
->printer
, _("%s:%d:%d: instantiated from here"),
2771 xloc
.file
, xloc
.line
, xloc
.column
);
2773 pp_verbatim (context
->printer
, _("%s:%d: instantiated from here"),
2774 xloc
.file
, xloc
.line
);
2775 pp_base_newline (context
->printer
);
2778 /* Called from cp_thing to print the template context for an error. */
2780 maybe_print_instantiation_context (diagnostic_context
*context
)
2782 if (!problematic_instantiation_changed () || current_instantiation () == 0)
2785 record_last_problematic_instantiation ();
2786 print_instantiation_full_context (context
);
2789 /* Report the bare minimum context of a template instantiation. */
2791 print_instantiation_context (void)
2793 print_instantiation_partial_context
2794 (global_dc
, current_instantiation (), input_location
);
2795 diagnostic_flush_buffer (global_dc
);
2798 /* Called from output_format -- during diagnostic message processing --
2799 to handle C++ specific format specifier with the following meanings:
2800 %A function argument-list.
2804 %F function declaration.
2805 %L language as used in extern "lang".
2807 %P function parameter whose position is indicated by an integer.
2808 %Q assignment operator.
2812 cp_printer (pretty_printer
*pp
, text_info
*text
, const char *spec
,
2813 int precision
, bool wide
, bool set_locus
, bool verbose
)
2817 #define next_tree (t = va_arg (*text->args_ptr, tree))
2818 #define next_tcode ((enum tree_code) va_arg (*text->args_ptr, int))
2819 #define next_lang ((enum languages) va_arg (*text->args_ptr, int))
2820 #define next_int va_arg (*text->args_ptr, int)
2822 if (precision
!= 0 || wide
)
2825 if (text
->locus
== NULL
)
2830 case 'A': result
= args_to_string (next_tree
, verbose
); break;
2831 case 'C': result
= code_to_string (next_tcode
); break;
2834 tree temp
= next_tree
;
2836 && DECL_DEBUG_EXPR_IS_FROM (temp
) && DECL_DEBUG_EXPR (temp
))
2838 temp
= DECL_DEBUG_EXPR (temp
);
2841 result
= expr_to_string (temp
);
2845 result
= decl_to_string (temp
, verbose
);
2848 case 'E': result
= expr_to_string (next_tree
); break;
2849 case 'F': result
= fndecl_to_string (next_tree
, verbose
); break;
2850 case 'L': result
= language_to_string (next_lang
); break;
2851 case 'O': result
= op_to_string (next_tcode
); break;
2852 case 'P': result
= parm_to_string (next_int
); break;
2853 case 'Q': result
= assop_to_string (next_tcode
); break;
2854 case 'T': result
= type_to_string (next_tree
, verbose
); break;
2855 case 'V': result
= cv_to_string (next_tree
, verbose
); break;
2861 pp_base_string (pp
, result
);
2862 if (set_locus
&& t
!= NULL
)
2863 *text
->locus
= location_of (t
);
2871 /* Warn about the use of C++0x features when appropriate. */
2873 maybe_warn_cpp0x (const char* str
)
2875 if ((cxx_dialect
== cxx98
) && !in_system_header
)
2876 /* We really want to suppress this warning in system headers,
2877 because libstdc++ uses variadic templates even when we aren't
2879 pedwarn (input_location
, 0, "%s only available with -std=c++0x or -std=gnu++0x", str
);
2882 /* Warn about the use of variadic templates when appropriate. */
2884 maybe_warn_variadic_templates (void)
2886 maybe_warn_cpp0x ("variadic templates");
2890 /* Issue an ISO C++98 pedantic warning at LOCATION, conditional on
2891 option OPT with text GMSGID. Use this function to report
2892 diagnostics for constructs that are invalid C++98, but valid
2895 pedwarn_cxx98 (location_t location
, int opt
, const char *gmsgid
, ...)
2897 diagnostic_info diagnostic
;
2900 va_start (ap
, gmsgid
);
2901 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
,
2902 (cxx_dialect
== cxx98
) ? DK_PEDWARN
: DK_WARNING
);
2903 diagnostic
.option_index
= opt
;
2905 return report_diagnostic (&diagnostic
);