Branch data Line data Source code
1 : : /* Call-backs for C++ error reporting.
2 : : This code is non-reentrant.
3 : : Copyright (C) 1993-2024 Free Software Foundation, Inc.
4 : : This file is part of GCC.
5 : :
6 : : GCC is free software; you can redistribute it and/or modify
7 : : it under the terms of the GNU General Public License as published by
8 : : the Free Software Foundation; either version 3, or (at your option)
9 : : any later version.
10 : :
11 : : GCC is distributed in the hope that it will be useful,
12 : : but WITHOUT ANY WARRANTY; without even the implied warranty of
13 : : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 : : GNU General Public License for more details.
15 : :
16 : : You should have received a copy of the GNU General Public License
17 : : along with GCC; see the file COPYING3. If not see
18 : : <http://www.gnu.org/licenses/>. */
19 : :
20 : : #include "config.h"
21 : : /* For use with name_hint. */
22 : : #define INCLUDE_MEMORY
23 : : #include "system.h"
24 : : #include "coretypes.h"
25 : : #include "cp-tree.h"
26 : : #include "stringpool.h"
27 : : #include "tree-diagnostic.h"
28 : : #include "diagnostic-color.h"
29 : : #include "langhooks-def.h"
30 : : #include "intl.h"
31 : : #include "cxx-pretty-print.h"
32 : : #include "tree-pretty-print.h"
33 : : #include "tree-pretty-print-markup.h"
34 : : #include "gimple-pretty-print.h"
35 : : #include "c-family/c-objc.h"
36 : : #include "ubsan.h"
37 : : #include "internal-fn.h"
38 : : #include "c-family/c-type-mismatch.h"
39 : : #include "cp-name-hint.h"
40 : : #include "attribs.h"
41 : : #include "pretty-print-format-impl.h"
42 : : #include "make-unique.h"
43 : :
44 : : #define pp_separate_with_comma(PP) pp_cxx_separate_with (PP, ',')
45 : : #define pp_separate_with_semicolon(PP) pp_cxx_separate_with (PP, ';')
46 : :
47 : : /* cxx_pp is a C++ front-end-specific pretty printer: this is where we
48 : : dump C++ ASTs as strings. It is mostly used only by the various
49 : : tree -> string functions that are occasionally called from the
50 : : debugger or by the front-end for things like
51 : : __PRETTY_FUNCTION__. */
52 : : static cxx_pretty_printer actual_pretty_printer;
53 : : static cxx_pretty_printer * const cxx_pp = &actual_pretty_printer;
54 : :
55 : : /* Translate if being used for diagnostics, but not for dump files or
56 : : __PRETTY_FUNCTION. */
57 : : #define M_(msgid) (pp_translate_identifiers (cxx_pp) ? _(msgid) : (msgid))
58 : :
59 : : # define NEXT_CODE(T) (TREE_CODE (TREE_TYPE (T)))
60 : :
61 : : static const char *args_to_string (tree, int);
62 : : static const char *code_to_string (enum tree_code);
63 : : static const char *cv_to_string (tree, int);
64 : : static const char *decl_to_string (tree, int, bool);
65 : : static const char *fndecl_to_string (tree, int);
66 : : static const char *op_to_string (bool, enum tree_code);
67 : : static const char *parm_to_string (int);
68 : : static const char *type_to_string (tree, int, bool, bool *, bool,
69 : : const char * = nullptr);
70 : :
71 : : static void dump_alias_template_specialization (cxx_pretty_printer *, tree, int);
72 : : static void dump_type (cxx_pretty_printer *, tree, int);
73 : : static void dump_typename (cxx_pretty_printer *, tree, int);
74 : : static void dump_simple_decl (cxx_pretty_printer *, tree, tree, int);
75 : : static void dump_decl (cxx_pretty_printer *, tree, int);
76 : : static void dump_template_decl (cxx_pretty_printer *, tree, int);
77 : : static void dump_function_decl (cxx_pretty_printer *, tree, int);
78 : : static void dump_expr (cxx_pretty_printer *, tree, int);
79 : : static void dump_unary_op (cxx_pretty_printer *, const char *, tree, int);
80 : : static void dump_binary_op (cxx_pretty_printer *, const char *, tree, int);
81 : : static void dump_aggr_type (cxx_pretty_printer *, tree, int);
82 : : static void dump_type_prefix (cxx_pretty_printer *, tree, int);
83 : : static void dump_type_suffix (cxx_pretty_printer *, tree, int);
84 : : static void dump_function_name (cxx_pretty_printer *, tree, int);
85 : : static void dump_call_expr_args (cxx_pretty_printer *, tree, int, bool);
86 : : static void dump_aggr_init_expr_args (cxx_pretty_printer *, tree, int, bool);
87 : : static void dump_expr_list (cxx_pretty_printer *, tree, int);
88 : : static void dump_global_iord (cxx_pretty_printer *, tree);
89 : : static void dump_parameters (cxx_pretty_printer *, tree, int);
90 : : static void dump_ref_qualifier (cxx_pretty_printer *, tree, int);
91 : : static void dump_exception_spec (cxx_pretty_printer *, tree, int);
92 : : static void dump_template_argument (cxx_pretty_printer *, tree, int);
93 : : static void dump_template_argument_list (cxx_pretty_printer *, tree, int);
94 : : static void dump_template_parameter (cxx_pretty_printer *, tree, int);
95 : : static void dump_template_bindings (cxx_pretty_printer *, tree, tree,
96 : : vec<tree, va_gc> *);
97 : : static void dump_scope (cxx_pretty_printer *, tree, int);
98 : : static void dump_template_parms (cxx_pretty_printer *, tree, int, int);
99 : : static int get_non_default_template_args_count (tree, int);
100 : : static const char *function_category (tree);
101 : : static void maybe_print_constexpr_context (diagnostic_context *);
102 : : static void maybe_print_instantiation_context (diagnostic_context *);
103 : : static void print_instantiation_full_context (diagnostic_context *);
104 : : static void print_instantiation_partial_context (diagnostic_context *,
105 : : struct tinst_level *,
106 : : location_t);
107 : : static void maybe_print_constraint_context (diagnostic_context *);
108 : : static void cp_diagnostic_starter (diagnostic_context *,
109 : : const diagnostic_info *);
110 : : static void cp_print_error_function (diagnostic_context *,
111 : : const diagnostic_info *);
112 : :
113 : : static bool cp_printer (pretty_printer *, text_info *, const char *,
114 : : int, bool, bool, bool, bool *, pp_token_list &);
115 : :
116 : : /* Color names for highlighting "%qH" vs "%qI" values,
117 : : and ranges corresponding to them. */
118 : : const char *const highlight_colors::percent_h = "highlight-a";
119 : : const char *const highlight_colors::percent_i = "highlight-b";
120 : :
121 : : /* Struct for handling %H or %I, which require delaying printing the
122 : : type until a postprocessing stage. */
123 : :
124 : 124188 : class deferred_printed_type
125 : : {
126 : : public:
127 : 131664 : deferred_printed_type ()
128 : 131664 : : m_tree (NULL_TREE),
129 : 131664 : m_printed_text (),
130 : 131664 : m_token_list (nullptr),
131 : 20698 : m_verbose (false), m_quote (false)
132 : : {}
133 : :
134 : 20698 : deferred_printed_type (tree type,
135 : : pp_token_list &token_list,
136 : : bool verbose,
137 : : bool quote)
138 : 20698 : : m_tree (type),
139 : 20698 : m_printed_text (),
140 : 20698 : m_token_list (&token_list),
141 : 20698 : m_verbose (verbose),
142 : 20698 : m_quote (quote)
143 : : {
144 : 20698 : gcc_assert (type);
145 : : }
146 : :
147 : 20698 : void set_text_for_token_list (const char *text, bool quote)
148 : : {
149 : : /* Replace the contents of m_token_list with a text token for TEXT,
150 : : possibly wrapped by BEGIN_QUOTE/END_QUOTE (if QUOTE is true).
151 : : This allows us to ignore any {BEGIN,END}_QUOTE tokens added
152 : : by %qH and %qI, and instead use the quoting from type_to_string,
153 : : and its logic for "aka". */
154 : 62094 : while (m_token_list->m_first)
155 : 41396 : m_token_list->pop_front ();
156 : :
157 : 20698 : if (quote)
158 : 334 : m_token_list->push_back<pp_token_begin_quote> ();
159 : :
160 : : // TEXT is gc-allocated, so we can borrow it
161 : 20698 : m_token_list->push_back_text (label_text::borrow (text));
162 : :
163 : 20698 : if (quote)
164 : 334 : m_token_list->push_back<pp_token_end_quote> ();
165 : 20698 : }
166 : :
167 : : /* The tree is not GTY-marked: they are only non-NULL within a
168 : : call to pp_format. */
169 : : tree m_tree;
170 : : label_text m_printed_text;
171 : : pp_token_list *m_token_list;
172 : : bool m_verbose;
173 : : bool m_quote;
174 : : };
175 : :
176 : : /* Subclass of format_postprocessor for the C++ frontend.
177 : : This handles the %H and %I formatting codes, printing them
178 : : in a postprocessing phase (since they affect each other). */
179 : :
180 : : class cxx_format_postprocessor : public format_postprocessor
181 : : {
182 : : public:
183 : 110966 : cxx_format_postprocessor ()
184 : 110966 : : m_type_a (), m_type_b ()
185 : : {}
186 : :
187 : 18814 : format_postprocessor *clone() const final override
188 : : {
189 : 18814 : return new cxx_format_postprocessor ();
190 : : }
191 : :
192 : : void handle (pretty_printer *pp) final override;
193 : :
194 : : deferred_printed_type m_type_a;
195 : : deferred_printed_type m_type_b;
196 : : };
197 : :
198 : : /* Return the in-scope template that's currently being parsed, or
199 : : NULL_TREE otherwise. */
200 : :
201 : : static tree
202 : 74379 : get_current_template ()
203 : : {
204 : 74379 : if (scope_chain && in_template_context && !current_instantiation ())
205 : 7168 : if (tree ti = get_template_info (current_scope ()))
206 : : {
207 : 4316 : if (PRIMARY_TEMPLATE_P (TI_TEMPLATE (ti)) && TI_PARTIAL_INFO (ti))
208 : 21 : ti = TI_PARTIAL_INFO (ti);
209 : 4316 : return TI_TEMPLATE (ti);
210 : : }
211 : :
212 : : return NULL_TREE;
213 : : }
214 : :
215 : : /* A map from TEMPLATE_DECLs that we've determined to be erroneous
216 : : at parse time to the location of the first error within. */
217 : :
218 : : erroneous_templates_t *erroneous_templates;
219 : :
220 : : /* Callback function diagnostic_context::m_adjust_diagnostic_info.
221 : :
222 : : Errors issued when parsing a template are automatically treated like
223 : : permerrors associated with the -Wtemplate-body flag and can be
224 : : downgraded into warnings accordingly, in which case we'll still
225 : : issue an error if we later need to instantiate the template. */
226 : :
227 : : static void
228 : 82178864 : cp_adjust_diagnostic_info (diagnostic_context *context,
229 : : diagnostic_info *diagnostic)
230 : : {
231 : 82178864 : if (diagnostic->kind == DK_ERROR)
232 : 74367 : if (tree tmpl = get_current_template ())
233 : : {
234 : 4304 : diagnostic->option_index = OPT_Wtemplate_body;
235 : :
236 : 4304 : if (context->m_permissive)
237 : 45 : diagnostic->kind = DK_WARNING;
238 : :
239 : 4304 : bool existed;
240 : 4304 : location_t &error_loc
241 : 4304 : = hash_map_safe_get_or_insert<false> (erroneous_templates,
242 : : tmpl, &existed);
243 : 4304 : if (!existed)
244 : : /* Remember that this template had a parse-time error so
245 : : that we'll ensure a hard error has been issued upon
246 : : its instantiation. */
247 : 2136 : error_loc = diagnostic->richloc->get_loc ();
248 : : }
249 : 82178864 : }
250 : :
251 : : /* A generalization of seen_error which also returns true if we've
252 : : permissively downgraded an error to a warning inside a template. */
253 : :
254 : : bool
255 : 7712525 : cp_seen_error ()
256 : : {
257 : 7712525 : if ((seen_error) ())
258 : : return true;
259 : :
260 : 7694428 : if (erroneous_templates)
261 : 12 : if (tree tmpl = get_current_template ())
262 : 12 : if (erroneous_templates->get (tmpl))
263 : 12 : return true;
264 : :
265 : : return false;
266 : : }
267 : :
268 : : /* CONTEXT->printer is a basic pretty printer that was constructed
269 : : presumably by diagnostic_initialize(), called early in the
270 : : compiler's initialization process (in general_init) Before the FE
271 : : is initialized. This (C++) FE-specific diagnostic initializer is
272 : : thus replacing the basic pretty printer with one that has C++-aware
273 : : capacities. */
274 : :
275 : : void
276 : 92152 : cxx_initialize_diagnostics (diagnostic_context *context)
277 : : {
278 : 92152 : pretty_printer *base = context->printer;
279 : 92152 : cxx_pretty_printer *pp = XNEW (cxx_pretty_printer);
280 : 92152 : context->printer = new (pp) cxx_pretty_printer ();
281 : :
282 : : /* It is safe to free this object because it was previously XNEW()'d. */
283 : 92152 : base->~pretty_printer ();
284 : 92152 : XDELETE (base);
285 : :
286 : 92152 : c_common_diagnostics_set_defaults (context);
287 : 92152 : diagnostic_starter (context) = cp_diagnostic_starter;
288 : : /* diagnostic_finalizer is already c_diagnostic_finalizer. */
289 : 92152 : diagnostic_format_decoder (context) = cp_printer;
290 : 92152 : context->m_adjust_diagnostic_info = cp_adjust_diagnostic_info;
291 : 92152 : pp_format_postprocessor (pp) = new cxx_format_postprocessor ();
292 : 92152 : }
293 : :
294 : : /* Dump an '@module' name suffix for DECL, if any. */
295 : :
296 : : static void
297 : 182915158 : dump_module_suffix (cxx_pretty_printer *pp, tree decl)
298 : : {
299 : 182915158 : if (!modules_p ())
300 : : return;
301 : :
302 : 1137 : if (!DECL_CONTEXT (decl))
303 : : return;
304 : :
305 : 1134 : if (TREE_CODE (decl) != CONST_DECL
306 : 1134 : || !UNSCOPED_ENUM_P (DECL_CONTEXT (decl)))
307 : : {
308 : 1106 : if (!DECL_NAMESPACE_SCOPE_P (decl))
309 : : return;
310 : :
311 : 962 : if (TREE_CODE (decl) == NAMESPACE_DECL
312 : 0 : && !DECL_NAMESPACE_ALIAS (decl)
313 : 962 : && (TREE_PUBLIC (decl) || !TREE_PUBLIC (CP_DECL_CONTEXT (decl))))
314 : : return;
315 : : }
316 : :
317 : 990 : if (unsigned m = get_originating_module (decl))
318 : 300 : if (const char *n = module_name (m, false))
319 : : {
320 : 240 : pp_character (pp, '@');
321 : 240 : pp->set_padding (pp_none);
322 : 240 : pp_string (pp, n);
323 : : }
324 : : }
325 : :
326 : : /* The scope of the declaration we're currently printing, to avoid redundantly
327 : : dumping the same scope on parameter types. */
328 : : static tree current_dump_scope;
329 : :
330 : : /* Dump a scope, if deemed necessary. */
331 : :
332 : : static void
333 : 139100792 : dump_scope (cxx_pretty_printer *pp, tree scope, int flags)
334 : : {
335 : 139100792 : int f = flags & (TFF_SCOPE | TFF_CHASE_TYPEDEF);
336 : :
337 : 139100792 : if (scope == NULL_TREE || scope == current_dump_scope)
338 : : return;
339 : :
340 : : /* Enum values within an unscoped enum will be CONST_DECL with an
341 : : ENUMERAL_TYPE as their "scope". Use CP_TYPE_CONTEXT of the
342 : : ENUMERAL_TYPE, so as to print any enclosing namespace. */
343 : 138963154 : if (UNSCOPED_ENUM_P (scope))
344 : 215 : scope = CP_TYPE_CONTEXT (scope);
345 : :
346 : 138963154 : if (TREE_CODE (scope) == NAMESPACE_DECL)
347 : : {
348 : 120832438 : if (scope != global_namespace)
349 : : {
350 : 66466411 : dump_decl (pp, scope, f);
351 : 66466411 : pp_cxx_colon_colon (pp);
352 : : }
353 : : }
354 : 18130716 : else if (AGGREGATE_TYPE_P (scope)
355 : 18130716 : || SCOPED_ENUM_P (scope))
356 : : {
357 : 17782221 : dump_type (pp, scope, f);
358 : 17782221 : pp_cxx_colon_colon (pp);
359 : : }
360 : 348495 : else if ((flags & TFF_SCOPE) && TREE_CODE (scope) == FUNCTION_DECL)
361 : : {
362 : 336726 : dump_function_decl (pp, scope, f | TFF_NO_TEMPLATE_BINDINGS);
363 : 336726 : pp_cxx_colon_colon (pp);
364 : : }
365 : : }
366 : :
367 : : /* Dump the template ARGument under control of FLAGS. */
368 : :
369 : : static void
370 : 114813634 : dump_template_argument (cxx_pretty_printer *pp, tree arg, int flags)
371 : : {
372 : 114813634 : if (ARGUMENT_PACK_P (arg))
373 : 6221271 : dump_template_argument_list (pp, ARGUMENT_PACK_ARGS (arg),
374 : : /* No default args in argument packs. */
375 : : flags|TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS);
376 : 108592363 : else if (TYPE_P (arg) || TREE_CODE (arg) == TEMPLATE_DECL)
377 : 95894725 : dump_type (pp, arg, flags & ~TFF_CLASS_KEY_OR_ENUM);
378 : : else
379 : : {
380 : 12697638 : if (TREE_CODE (arg) == TREE_LIST)
381 : 0 : arg = TREE_VALUE (arg);
382 : :
383 : : /* Strip implicit conversions. */
384 : 12697701 : while (CONVERT_EXPR_P (arg))
385 : 63 : arg = TREE_OPERAND (arg, 0);
386 : :
387 : 12697638 : dump_expr (pp, arg, (flags | TFF_EXPR_IN_PARENS) & ~TFF_CLASS_KEY_OR_ENUM);
388 : : }
389 : 114813634 : }
390 : :
391 : : /* Count the number of template arguments ARGS whose value does not
392 : : match the (optional) default template parameter in PARAMS */
393 : :
394 : : static int
395 : 72743713 : get_non_default_template_args_count (tree args, int flags)
396 : : {
397 : 72743713 : int n = TREE_VEC_LENGTH (INNERMOST_TEMPLATE_ARGS (args));
398 : :
399 : 72743713 : if (/* We use this flag when generating debug information. We don't
400 : : want to expand templates at this point, for this may generate
401 : : new decls, which gets decl counts out of sync, which may in
402 : : turn cause codegen differences between compilations with and
403 : : without -g. */
404 : 72743713 : (flags & TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS) != 0
405 : 2249684 : || !flag_pretty_templates)
406 : : return n;
407 : :
408 : 2249627 : return GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT (INNERMOST_TEMPLATE_ARGS (args));
409 : : }
410 : :
411 : : /* Dump a template-argument-list ARGS (always a TREE_VEC) under control
412 : : of FLAGS. */
413 : :
414 : : static void
415 : 6224260 : dump_template_argument_list (cxx_pretty_printer *pp, tree args, int flags)
416 : : {
417 : 6224260 : int n = get_non_default_template_args_count (args, flags);
418 : 6224260 : int need_comma = 0;
419 : 6224260 : int i;
420 : :
421 : 19402827 : for (i = 0; i < n; ++i)
422 : : {
423 : 13178567 : tree arg = TREE_VEC_ELT (args, i);
424 : :
425 : : /* Only print a comma if we know there is an argument coming. In
426 : : the case of an empty template argument pack, no actual
427 : : argument will be printed. */
428 : 13178567 : if (need_comma
429 : 13178567 : && (!ARGUMENT_PACK_P (arg)
430 : 118 : || TREE_VEC_LENGTH (ARGUMENT_PACK_ARGS (arg)) > 0))
431 : 7470605 : pp_separate_with_comma (pp);
432 : :
433 : 13178567 : dump_template_argument (pp, arg, flags);
434 : 13178567 : need_comma = 1;
435 : : }
436 : 6224260 : }
437 : :
438 : : /* Dump a template parameter PARM (a TREE_LIST) under control of FLAGS. */
439 : :
440 : : static void
441 : 39262 : dump_template_parameter (cxx_pretty_printer *pp, tree parm, int flags)
442 : : {
443 : 39262 : tree p;
444 : 39262 : tree a;
445 : :
446 : 39262 : if (parm == error_mark_node)
447 : : return;
448 : :
449 : 39262 : p = TREE_VALUE (parm);
450 : 39262 : a = TREE_PURPOSE (parm);
451 : :
452 : 39262 : if (TREE_CODE (p) == TYPE_DECL)
453 : : {
454 : 34565 : if (flags & TFF_DECL_SPECIFIERS)
455 : : {
456 : 10878 : pp_cxx_ws_string (pp, "class");
457 : 10878 : if (TEMPLATE_TYPE_PARAMETER_PACK (TREE_TYPE (p)))
458 : 776 : pp_cxx_ws_string (pp, "...");
459 : 10878 : if (DECL_NAME (p))
460 : 10151 : pp_cxx_tree_identifier (pp, DECL_NAME (p));
461 : : }
462 : 23687 : else if (DECL_NAME (p))
463 : 22714 : pp_cxx_tree_identifier (pp, DECL_NAME (p));
464 : : else
465 : 973 : pp_cxx_canonical_template_parameter (pp, TREE_TYPE (p));
466 : : }
467 : : else
468 : 4697 : dump_decl (pp, p, flags | TFF_DECL_SPECIFIERS);
469 : :
470 : 39262 : if ((flags & TFF_FUNCTION_DEFAULT_ARGUMENTS) && a != NULL_TREE)
471 : : {
472 : 0 : pp_cxx_whitespace (pp);
473 : 0 : pp_equal (pp);
474 : 0 : pp_cxx_whitespace (pp);
475 : 0 : if (TREE_CODE (p) == TYPE_DECL || TREE_CODE (p) == TEMPLATE_DECL)
476 : 0 : dump_type (pp, a, flags & ~TFF_CHASE_TYPEDEF);
477 : : else
478 : 0 : dump_expr (pp, a, flags | TFF_EXPR_IN_PARENS);
479 : : }
480 : : }
481 : :
482 : : /* Dump, under control of FLAGS, a template-parameter-list binding.
483 : : PARMS is a TREE_LIST of TREE_VEC of TREE_LIST and ARGS is a
484 : : TREE_VEC. */
485 : :
486 : : static void
487 : 16924 : dump_template_bindings (cxx_pretty_printer *pp, tree parms, tree args,
488 : : vec<tree, va_gc> *typenames)
489 : : {
490 : : /* Print "[with" and ']', conditional on whether anything is printed at all.
491 : : This is tied to whether a semicolon is needed to separate multiple template
492 : : parameters. */
493 : 16924 : struct prepost_semicolon
494 : : {
495 : : cxx_pretty_printer *pp;
496 : : bool need_semicolon;
497 : :
498 : 30741 : void operator() ()
499 : : {
500 : 30741 : if (need_semicolon)
501 : 13817 : pp_separate_with_semicolon (pp);
502 : : else
503 : : {
504 : 16924 : pp_cxx_whitespace (pp);
505 : 16924 : pp_string (pp, colorize_start (pp_show_color (pp), "targs"));
506 : 16924 : pp_cxx_left_bracket (pp);
507 : 16924 : pp->translate_string ("with");
508 : 16924 : pp_cxx_whitespace (pp);
509 : 16924 : need_semicolon = true;
510 : : }
511 : 30741 : }
512 : :
513 : 16924 : ~prepost_semicolon ()
514 : : {
515 : 16924 : if (need_semicolon)
516 : : {
517 : 16924 : pp_cxx_right_bracket (pp);
518 : 16924 : pp_string (pp, colorize_stop (pp_show_color (pp)));
519 : : }
520 : 16924 : }
521 : 16924 : } semicolon_or_introducer = {pp, false};
522 : :
523 : 16924 : int i;
524 : 16924 : tree t;
525 : :
526 : 35371 : while (parms)
527 : : {
528 : 18447 : tree p = TREE_VALUE (parms);
529 : 18447 : int lvl = TMPL_PARMS_DEPTH (parms);
530 : 18447 : int arg_idx = 0;
531 : 18447 : int i;
532 : 18447 : tree lvl_args = NULL_TREE;
533 : :
534 : : /* Don't crash if we had an invalid argument list. */
535 : 52120 : if (TMPL_ARGS_DEPTH (args) >= lvl)
536 : 36894 : lvl_args = TMPL_ARGS_LEVEL (args, lvl);
537 : :
538 : 45646 : for (i = 0; i < TREE_VEC_LENGTH (p); ++i)
539 : : {
540 : 27199 : tree arg = NULL_TREE;
541 : :
542 : : /* Don't crash if we had an invalid argument list. */
543 : 54398 : if (lvl_args && NUM_TMPL_ARGS (lvl_args) > arg_idx)
544 : 27193 : arg = TREE_VEC_ELT (lvl_args, arg_idx);
545 : :
546 : 27199 : tree parm_i = TREE_VEC_ELT (p, i);
547 : : /* If the template argument repeats the template parameter (T = T),
548 : : skip the parameter.*/
549 : 27162 : if (arg && TREE_CODE (arg) == TEMPLATE_TYPE_PARM
550 : 1030 : && TREE_CODE (parm_i) == TREE_LIST
551 : 1030 : && TREE_CODE (TREE_VALUE (parm_i)) == TYPE_DECL
552 : 1010 : && TREE_CODE (TREE_TYPE (TREE_VALUE (parm_i)))
553 : : == TEMPLATE_TYPE_PARM
554 : 28209 : && DECL_NAME (TREE_VALUE (parm_i))
555 : 1010 : == DECL_NAME (TREE_CHAIN (arg)))
556 : 577 : continue;
557 : :
558 : 26622 : semicolon_or_introducer ();
559 : 26622 : dump_template_parameter (pp, parm_i, TFF_PLAIN_IDENTIFIER);
560 : 26622 : pp_cxx_whitespace (pp);
561 : 26622 : pp_equal (pp);
562 : 26622 : pp_cxx_whitespace (pp);
563 : 26622 : if (arg)
564 : : {
565 : 26585 : if (ARGUMENT_PACK_P (arg))
566 : 1230 : pp_cxx_left_brace (pp);
567 : 26585 : dump_template_argument (pp, arg, TFF_PLAIN_IDENTIFIER);
568 : 26585 : if (ARGUMENT_PACK_P (arg))
569 : 1230 : pp_cxx_right_brace (pp);
570 : : }
571 : : else
572 : 37 : pp_string (pp, M_("<missing>"));
573 : :
574 : 26622 : ++arg_idx;
575 : : }
576 : :
577 : 18447 : parms = TREE_CHAIN (parms);
578 : : }
579 : :
580 : : /* Don't bother with typenames for a partial instantiation. */
581 : 20457 : if (vec_safe_is_empty (typenames) || uses_template_parms (args))
582 : 13583 : return;
583 : :
584 : : /* Don't try to print typenames when we're processing a clone. */
585 : 3341 : if (current_function_decl
586 : 3341 : && !DECL_LANG_SPECIFIC (current_function_decl))
587 : : return;
588 : :
589 : : /* Don't try to do this once cgraph starts throwing away front-end
590 : : information. */
591 : 3341 : if (at_eof >= 3)
592 : : return;
593 : :
594 : 7246 : FOR_EACH_VEC_SAFE_ELT (typenames, i, t)
595 : : {
596 : 4119 : semicolon_or_introducer ();
597 : 4119 : dump_type (pp, t, TFF_PLAIN_IDENTIFIER);
598 : 4119 : pp_cxx_whitespace (pp);
599 : 4119 : pp_equal (pp);
600 : 4119 : pp_cxx_whitespace (pp);
601 : 4119 : push_deferring_access_checks (dk_no_check);
602 : 4119 : t = tsubst (t, args, tf_none, NULL_TREE);
603 : 4119 : pop_deferring_access_checks ();
604 : : /* Strip typedefs. We can't just use TFF_CHASE_TYPEDEF because
605 : : pp_simple_type_specifier doesn't know about it. */
606 : 4119 : t = strip_typedefs (t, NULL, STF_USER_VISIBLE);
607 : 4119 : dump_type (pp, t, TFF_PLAIN_IDENTIFIER);
608 : : }
609 : 16924 : }
610 : :
611 : : /* Dump a human-readable equivalent of the alias template
612 : : specialization of T. */
613 : :
614 : : static void
615 : 3367 : dump_alias_template_specialization (cxx_pretty_printer *pp, tree t, int flags)
616 : : {
617 : 3367 : gcc_assert (alias_template_specialization_p (t, nt_opaque));
618 : :
619 : 3367 : tree decl = TYPE_NAME (t);
620 : 3367 : if (!(flags & TFF_UNQUALIFIED_NAME))
621 : 3367 : dump_scope (pp, CP_DECL_CONTEXT (decl), flags);
622 : 3367 : pp_cxx_tree_identifier (pp, DECL_NAME (decl));
623 : 3367 : dump_template_parms (pp, DECL_TEMPLATE_INFO (decl),
624 : : /*primary=*/false,
625 : : flags & ~TFF_TEMPLATE_HEADER);
626 : 3367 : }
627 : :
628 : : /* Dump a human-readable equivalent of TYPE. FLAGS controls the
629 : : format. */
630 : :
631 : : static void
632 : 169975742 : dump_type (cxx_pretty_printer *pp, tree t, int flags)
633 : : {
634 : 169975772 : if (t == NULL_TREE)
635 : : return;
636 : :
637 : : /* Don't print e.g. "struct mytypedef". */
638 : 169975759 : if (TYPE_P (t) && typedef_variant_p (t))
639 : : {
640 : 714360 : tree decl = TYPE_NAME (t);
641 : 714360 : if ((flags & TFF_CHASE_TYPEDEF)
642 : 714360 : || DECL_SELF_REFERENCE_P (decl)
643 : 1428164 : || (!flag_pretty_templates
644 : 6 : && DECL_LANG_SPECIFIC (decl) && DECL_TEMPLATE_INFO (decl)))
645 : : {
646 : 1124 : unsigned int stf_flags = (!(pp->flags & pp_c_flag_gnu_v3)
647 : 562 : ? STF_USER_VISIBLE : 0);
648 : 562 : t = strip_typedefs (t, NULL, stf_flags);
649 : : }
650 : 713798 : else if (alias_template_specialization_p (t, nt_opaque))
651 : : {
652 : 3367 : dump_alias_template_specialization (pp, t, flags);
653 : 3367 : return;
654 : : }
655 : 710431 : else if (same_type_p (t, TREE_TYPE (decl)))
656 : : t = decl;
657 : : else
658 : : {
659 : 1935 : pp_cxx_cv_qualifier_seq (pp, t);
660 : 1935 : if (! (flags & TFF_UNQUALIFIED_NAME))
661 : 1935 : dump_scope (pp, CP_DECL_CONTEXT (decl), flags);
662 : 1935 : pp_cxx_tree_identifier (pp, TYPE_IDENTIFIER (t));
663 : 1935 : return;
664 : : }
665 : : }
666 : :
667 : 169970457 : if (TYPE_PTRMEMFUNC_P (t))
668 : 300522 : goto offset_type;
669 : :
670 : 169669935 : switch (TREE_CODE (t))
671 : : {
672 : 438 : case LANG_TYPE:
673 : 438 : if (t == init_list_type_node)
674 : 276 : pp_string (pp, M_("<brace-enclosed initializer list>"));
675 : 162 : else if (t == unknown_type_node)
676 : 162 : pp_string (pp, M_("<unresolved overloaded function type>"));
677 : : else
678 : : {
679 : 0 : pp_cxx_cv_qualifier_seq (pp, t);
680 : 0 : if (tree id = TYPE_IDENTIFIER (t))
681 : 0 : pp_cxx_tree_identifier (pp, id);
682 : : }
683 : : break;
684 : :
685 : 0 : case TREE_LIST:
686 : : /* A list of function parms. */
687 : 0 : dump_parameters (pp, t, flags);
688 : 0 : break;
689 : :
690 : 302 : case IDENTIFIER_NODE:
691 : 302 : pp_cxx_tree_identifier (pp, t);
692 : 302 : break;
693 : :
694 : 24 : case TREE_BINFO:
695 : 24 : dump_type (pp, BINFO_TYPE (t), flags);
696 : 24 : break;
697 : :
698 : 106126043 : case RECORD_TYPE:
699 : 106126043 : case UNION_TYPE:
700 : 106126043 : case ENUMERAL_TYPE:
701 : 106126043 : dump_aggr_type (pp, t, flags);
702 : 106126043 : break;
703 : :
704 : 709054 : case TYPE_DECL:
705 : 709054 : if (flags & TFF_CHASE_TYPEDEF)
706 : : {
707 : 0 : dump_type (pp, DECL_ORIGINAL_TYPE (t)
708 : 0 : ? DECL_ORIGINAL_TYPE (t) : TREE_TYPE (t), flags);
709 : 0 : break;
710 : : }
711 : : /* Fall through. */
712 : :
713 : 1070774 : case TEMPLATE_DECL:
714 : 1070774 : case NAMESPACE_DECL:
715 : 1070774 : dump_decl (pp, t, flags & ~TFF_DECL_SPECIFIERS);
716 : 1070774 : break;
717 : :
718 : 44501146 : case INTEGER_TYPE:
719 : 44501146 : case REAL_TYPE:
720 : 44501146 : case VOID_TYPE:
721 : 44501146 : case OPAQUE_TYPE:
722 : 44501146 : case BOOLEAN_TYPE:
723 : 44501146 : case COMPLEX_TYPE:
724 : 44501146 : case VECTOR_TYPE:
725 : 44501146 : case FIXED_POINT_TYPE:
726 : 44501146 : pp_type_specifier_seq (pp, t);
727 : 44501146 : break;
728 : :
729 : 1619 : case TEMPLATE_TEMPLATE_PARM:
730 : : /* For parameters inside template signature. */
731 : 1619 : if (TYPE_IDENTIFIER (t))
732 : 3148 : pp_cxx_tree_identifier (pp, TYPE_IDENTIFIER (t));
733 : : else
734 : 45 : pp_cxx_canonical_template_parameter (pp, t);
735 : : break;
736 : :
737 : 507 : case BOUND_TEMPLATE_TEMPLATE_PARM:
738 : 507 : {
739 : 507 : tree args = TYPE_TI_ARGS (t);
740 : 507 : pp_cxx_cv_qualifier_seq (pp, t);
741 : 1014 : pp_cxx_tree_identifier (pp, TYPE_IDENTIFIER (t));
742 : 507 : pp_cxx_begin_template_argument_list (pp);
743 : 507 : dump_template_argument_list (pp, args, flags);
744 : 507 : pp_cxx_end_template_argument_list (pp);
745 : : }
746 : 507 : break;
747 : :
748 : 143293 : case TEMPLATE_TYPE_PARM:
749 : 143293 : pp_cxx_cv_qualifier_seq (pp, t);
750 : 143293 : if (template_placeholder_p (t))
751 : : {
752 : 59 : tree tmpl = TREE_TYPE (CLASS_PLACEHOLDER_TEMPLATE (t));
753 : 118 : pp_cxx_tree_identifier (pp, TYPE_IDENTIFIER (tmpl));
754 : 59 : pp_string (pp, "<...auto...>");
755 : : }
756 : 143234 : else if (TYPE_IDENTIFIER (t))
757 : 285046 : pp_cxx_tree_identifier (pp, TYPE_IDENTIFIER (t));
758 : : else
759 : 711 : pp_cxx_canonical_template_parameter
760 : 711 : (pp, TEMPLATE_TYPE_PARM_INDEX (t));
761 : : /* If this is a constrained placeholder, add the requirements. */
762 : 143293 : if (tree c = PLACEHOLDER_TYPE_CONSTRAINTS (t))
763 : 222 : pp_cxx_constrained_type_spec (pp, c);
764 : : break;
765 : :
766 : : /* This is not always necessary for pointers and such, but doing this
767 : : reduces code size. */
768 : 18028670 : case ARRAY_TYPE:
769 : 18028670 : case POINTER_TYPE:
770 : 18028670 : case REFERENCE_TYPE:
771 : 18028670 : case OFFSET_TYPE:
772 : 18028670 : offset_type:
773 : 18028670 : case FUNCTION_TYPE:
774 : 18028670 : case METHOD_TYPE:
775 : 18028670 : {
776 : 18028670 : dump_type_prefix (pp, t, flags);
777 : 18028670 : dump_type_suffix (pp, t, flags);
778 : 18028670 : break;
779 : : }
780 : 3322 : case TYPENAME_TYPE:
781 : 3322 : if (! (flags & TFF_CHASE_TYPEDEF)
782 : 3322 : && DECL_ORIGINAL_TYPE (TYPE_NAME (t)))
783 : : {
784 : 0 : dump_decl (pp, TYPE_NAME (t), TFF_PLAIN_IDENTIFIER);
785 : 0 : break;
786 : : }
787 : 3322 : pp_cxx_cv_qualifier_seq (pp, t);
788 : 6617 : pp_cxx_ws_string (pp,
789 : : TYPENAME_IS_ENUM_P (t) ? "enum"
790 : : : TYPENAME_IS_CLASS_P (t) ? "class"
791 : : : "typename");
792 : 3322 : dump_typename (pp, t, flags);
793 : 3322 : break;
794 : :
795 : 6 : case UNBOUND_CLASS_TEMPLATE:
796 : 6 : if (! (flags & TFF_UNQUALIFIED_NAME))
797 : : {
798 : 6 : dump_type (pp, TYPE_CONTEXT (t), flags);
799 : 6 : pp_cxx_colon_colon (pp);
800 : : }
801 : 6 : pp_cxx_ws_string (pp, "template");
802 : 6 : dump_type (pp, TYPE_IDENTIFIER (t), flags);
803 : 6 : break;
804 : :
805 : 6 : case TYPEOF_TYPE:
806 : 6 : pp_cxx_ws_string (pp, "__typeof__");
807 : 6 : pp_cxx_whitespace (pp);
808 : 6 : pp_cxx_left_paren (pp);
809 : 6 : dump_expr (pp, TYPEOF_TYPE_EXPR (t), flags & ~TFF_EXPR_IN_PARENS);
810 : 6 : pp_cxx_right_paren (pp);
811 : 6 : break;
812 : :
813 : 60 : case TRAIT_TYPE:
814 : 60 : pp_cxx_trait (pp, t);
815 : 60 : break;
816 : :
817 : 14574 : case TYPE_PACK_EXPANSION:
818 : 14574 : dump_type (pp, PACK_EXPANSION_PATTERN (t), flags);
819 : 14574 : pp_cxx_ws_string (pp, "...");
820 : 14574 : break;
821 : :
822 : 74 : case TYPE_ARGUMENT_PACK:
823 : 74 : dump_template_argument (pp, t, flags);
824 : 74 : break;
825 : :
826 : 553 : case DECLTYPE_TYPE:
827 : 553 : pp_cxx_ws_string (pp, "decltype");
828 : 553 : pp_cxx_whitespace (pp);
829 : 553 : pp_cxx_left_paren (pp);
830 : 553 : dump_expr (pp, DECLTYPE_TYPE_EXPR (t), flags & ~TFF_EXPR_IN_PARENS);
831 : 553 : pp_cxx_right_paren (pp);
832 : 553 : break;
833 : :
834 : 79017 : case NULLPTR_TYPE:
835 : 79017 : pp_string (pp, "std::nullptr_t");
836 : 79017 : break;
837 : :
838 : 0 : default:
839 : 0 : pp_unsupported_tree (pp, t);
840 : : /* Fall through. */
841 : :
842 : 29 : case ERROR_MARK:
843 : 29 : pp_string (pp, M_("<type error>"));
844 : 29 : break;
845 : : }
846 : : }
847 : :
848 : : /* Dump a TYPENAME_TYPE. We need to notice when the context is itself
849 : : a TYPENAME_TYPE. */
850 : :
851 : : static void
852 : 3691 : dump_typename (cxx_pretty_printer *pp, tree t, int flags)
853 : : {
854 : 3691 : tree ctx = TYPE_CONTEXT (t);
855 : :
856 : 3691 : if (TREE_CODE (ctx) == TYPENAME_TYPE)
857 : 369 : dump_typename (pp, ctx, flags);
858 : : else
859 : 3322 : dump_type (pp, ctx, flags & ~TFF_CLASS_KEY_OR_ENUM);
860 : 3691 : pp_cxx_colon_colon (pp);
861 : 3691 : dump_decl (pp, TYPENAME_TYPE_FULLNAME (t), flags);
862 : 3691 : }
863 : :
864 : : /* Return the name of the supplied aggregate, or enumeral type. */
865 : :
866 : : const char *
867 : 106431450 : class_key_or_enum_as_string (tree t)
868 : : {
869 : 106431450 : if (TREE_CODE (t) == ENUMERAL_TYPE)
870 : : {
871 : 2200741 : if (SCOPED_ENUM_P (t))
872 : : return "enum class";
873 : : else
874 : 1620539 : return "enum";
875 : : }
876 : 104230709 : else if (TREE_CODE (t) == UNION_TYPE)
877 : : return "union";
878 : 103500356 : else if (TYPE_LANG_SPECIFIC (t) && CLASSTYPE_DECLARED_CLASS (t))
879 : 26682145 : return "class";
880 : : else
881 : : return "struct";
882 : : }
883 : :
884 : : /* Disable warnings about missing quoting in GCC diagnostics for
885 : : the pp_verbatim call. Their format strings deliberately don't
886 : : follow GCC diagnostic conventions. */
887 : : #if __GNUC__ >= 10
888 : : #pragma GCC diagnostic push
889 : : #pragma GCC diagnostic ignored "-Wformat-diag"
890 : : #endif
891 : :
892 : : /* Print out a class declaration T under the control of FLAGS,
893 : : in the form `class foo'. */
894 : :
895 : : static void
896 : 106431419 : dump_aggr_type (cxx_pretty_printer *pp, tree t, int flags)
897 : : {
898 : 106431419 : const char *variety = class_key_or_enum_as_string (t);
899 : 106431419 : int typdef = 0;
900 : 106431419 : int tmplate = 0;
901 : :
902 : 106431419 : pp_cxx_cv_qualifier_seq (pp, t);
903 : :
904 : 106431419 : if (flags & TFF_CLASS_KEY_OR_ENUM)
905 : 11065 : pp_cxx_ws_string (pp, variety);
906 : :
907 : 106431419 : tree decl = TYPE_NAME (t);
908 : :
909 : 106431419 : if (decl)
910 : : {
911 : 106431419 : typdef = (!DECL_ARTIFICIAL (decl)
912 : : /* An alias specialization is not considered to be a
913 : : typedef. */
914 : 106431419 : && !alias_template_specialization_p (t, nt_opaque));
915 : :
916 : 292902 : if ((typdef
917 : 292902 : && ((flags & TFF_CHASE_TYPEDEF)
918 : 292902 : || (!flag_pretty_templates && DECL_LANG_SPECIFIC (decl)
919 : 0 : && DECL_TEMPLATE_INFO (decl))))
920 : 106431419 : || DECL_SELF_REFERENCE_P (decl))
921 : : {
922 : 0 : t = TYPE_MAIN_VARIANT (t);
923 : 0 : decl = TYPE_NAME (t);
924 : 0 : typdef = 0;
925 : : }
926 : :
927 : 106138517 : tmplate = !typdef && TREE_CODE (t) != ENUMERAL_TYPE
928 : 103937816 : && TYPE_LANG_SPECIFIC (t) && CLASSTYPE_TEMPLATE_INFO (t)
929 : 173597365 : && (TREE_CODE (CLASSTYPE_TI_TEMPLATE (t)) != TEMPLATE_DECL
930 : 67165946 : || PRIMARY_TEMPLATE_P (CLASSTYPE_TI_TEMPLATE (t)));
931 : :
932 : 106431419 : if (! (flags & TFF_UNQUALIFIED_NAME))
933 : 71463058 : dump_scope (pp, CP_DECL_CONTEXT (decl), flags | TFF_SCOPE);
934 : 106431419 : flags &= ~TFF_UNQUALIFIED_NAME;
935 : 106431419 : if (tmplate)
936 : : {
937 : : /* Because the template names are mangled, we have to locate
938 : : the most general template, and use that name. */
939 : 66389966 : tree tpl = TYPE_TI_TEMPLATE (t);
940 : :
941 : 66941754 : while (DECL_TEMPLATE_INFO (tpl))
942 : 551788 : tpl = DECL_TI_TEMPLATE (tpl);
943 : : decl = tpl;
944 : : }
945 : : }
946 : :
947 : 209931629 : if (LAMBDA_TYPE_P (t))
948 : : {
949 : : /* A lambda's "type" is essentially its signature. */
950 : 252479 : pp_string (pp, M_("<lambda"));
951 : 252479 : tree const fn = lambda_function (t);
952 : 252479 : if (fn)
953 : : {
954 : 252479 : int const parm_flags
955 : 252479 : = DECL_XOBJ_MEMBER_FUNCTION_P (fn) ? TFF_XOBJ_FUNC | flags
956 : 252479 : : flags;
957 : 252479 : dump_parameters (pp, FUNCTION_FIRST_USER_PARMTYPE (fn), parm_flags);
958 : : }
959 : 252479 : pp_greater (pp);
960 : : }
961 : 106178940 : else if (!decl || IDENTIFIER_ANON_P (DECL_NAME (decl)))
962 : : {
963 : 2041 : if (flags & TFF_CLASS_KEY_OR_ENUM)
964 : 146 : pp_string (pp, M_("<unnamed>"));
965 : : else
966 : 1895 : pp_printf (pp, M_("<unnamed %s>"), variety);
967 : : }
968 : : else
969 : 106176899 : pp_cxx_tree_identifier (pp, DECL_NAME (decl));
970 : :
971 : 106431419 : dump_module_suffix (pp, decl);
972 : :
973 : 106431419 : if (tmplate)
974 : 66389966 : dump_template_parms (pp, TYPE_TEMPLATE_INFO (t),
975 : 66389966 : !CLASSTYPE_USE_TEMPLATE (t),
976 : : flags & ~TFF_TEMPLATE_HEADER);
977 : 106431419 : }
978 : :
979 : : #if __GNUC__ >= 10
980 : : #pragma GCC diagnostic pop
981 : : #endif
982 : :
983 : : /* Dump into the obstack the initial part of the output for a given type.
984 : : This is necessary when dealing with things like functions returning
985 : : functions. Examples:
986 : :
987 : : return type of `int (* fee ())()': pointer -> function -> int. Both
988 : : pointer (and reference and offset) and function (and member) types must
989 : : deal with prefix and suffix.
990 : :
991 : : Arrays must also do this for DECL nodes, like int a[], and for things like
992 : : int *[]&. */
993 : :
994 : : static void
995 : 37698837 : dump_type_prefix (cxx_pretty_printer *pp, tree t, int flags)
996 : : {
997 : 38518506 : if (TYPE_PTRMEMFUNC_P (t))
998 : : {
999 : 305214 : t = TYPE_PTRMEMFUNC_FN_TYPE (t);
1000 : 305214 : goto offset_type;
1001 : : }
1002 : :
1003 : 38213292 : switch (TREE_CODE (t))
1004 : : {
1005 : 18940389 : case POINTER_TYPE:
1006 : 18940389 : case REFERENCE_TYPE:
1007 : 18940389 : {
1008 : 18940389 : tree sub = TREE_TYPE (t);
1009 : :
1010 : 18940389 : dump_type_prefix (pp, sub, flags);
1011 : 18940389 : if (TREE_CODE (sub) == ARRAY_TYPE
1012 : 18871109 : || TREE_CODE (sub) == FUNCTION_TYPE)
1013 : : {
1014 : 362629 : pp_cxx_whitespace (pp);
1015 : 362629 : pp_cxx_left_paren (pp);
1016 : : /* If we're dealing with the GNU form of attributes, print this:
1017 : : void (__attribute__((noreturn)) *f) ();
1018 : : If it is the standard [[]] attribute, we'll print the attribute
1019 : : in dump_type_suffix. */
1020 : 362629 : if (!cxx11_attribute_p (TYPE_ATTRIBUTES (sub)))
1021 : 362627 : pp_c_attributes_display (pp, TYPE_ATTRIBUTES (sub));
1022 : : }
1023 : 18940389 : if (TYPE_PTR_P (t))
1024 : 10795355 : pp_star (pp);
1025 : 8145034 : else if (TYPE_REF_P (t))
1026 : : {
1027 : 8145034 : if (TYPE_REF_IS_RVALUE (t))
1028 : 1598369 : pp_ampersand_ampersand (pp);
1029 : : else
1030 : 6546665 : pp_ampersand (pp);
1031 : : }
1032 : 18940389 : pp->set_padding (pp_before);
1033 : 18940389 : pp_cxx_cv_qualifier_seq (pp, t);
1034 : : }
1035 : 18940389 : break;
1036 : :
1037 : 319117 : case OFFSET_TYPE:
1038 : 319117 : offset_type:
1039 : 319117 : dump_type_prefix (pp, TREE_TYPE (t), flags);
1040 : 319117 : if (TREE_CODE (t) == OFFSET_TYPE) /* pmfs deal with this in d_t_p */
1041 : : {
1042 : 13903 : pp_maybe_space (pp);
1043 : 13903 : if (TREE_CODE (TREE_TYPE (t)) == ARRAY_TYPE)
1044 : 9 : pp_cxx_left_paren (pp);
1045 : 13903 : dump_type (pp, TYPE_OFFSET_BASETYPE (t), flags);
1046 : 13903 : pp_cxx_colon_colon (pp);
1047 : : }
1048 : 319117 : pp_cxx_star (pp);
1049 : 319117 : pp_cxx_cv_qualifier_seq (pp, t);
1050 : 319117 : pp->set_padding (pp_before);
1051 : 319117 : break;
1052 : :
1053 : : /* This can be reached without a pointer when dealing with
1054 : : templates, e.g. std::is_function. */
1055 : 656245 : case FUNCTION_TYPE:
1056 : 656245 : dump_type_prefix (pp, TREE_TYPE (t), flags);
1057 : 656245 : break;
1058 : :
1059 : 305376 : case METHOD_TYPE:
1060 : 305376 : dump_type_prefix (pp, TREE_TYPE (t), flags);
1061 : 305376 : pp_maybe_space (pp);
1062 : 305376 : pp_cxx_left_paren (pp);
1063 : 305376 : dump_aggr_type (pp, TYPE_METHOD_BASETYPE (t), flags);
1064 : 305376 : pp_cxx_colon_colon (pp);
1065 : 305376 : break;
1066 : :
1067 : 163424 : case ARRAY_TYPE:
1068 : 163424 : dump_type_prefix (pp, TREE_TYPE (t), flags);
1069 : 163424 : break;
1070 : :
1071 : 18133920 : case ENUMERAL_TYPE:
1072 : 18133920 : case IDENTIFIER_NODE:
1073 : 18133920 : case INTEGER_TYPE:
1074 : 18133920 : case BOOLEAN_TYPE:
1075 : 18133920 : case REAL_TYPE:
1076 : 18133920 : case RECORD_TYPE:
1077 : 18133920 : case TEMPLATE_TYPE_PARM:
1078 : 18133920 : case TEMPLATE_TEMPLATE_PARM:
1079 : 18133920 : case BOUND_TEMPLATE_TEMPLATE_PARM:
1080 : 18133920 : case TREE_LIST:
1081 : 18133920 : case TYPE_DECL:
1082 : 18133920 : case TREE_VEC:
1083 : 18133920 : case UNION_TYPE:
1084 : 18133920 : case LANG_TYPE:
1085 : 18133920 : case VOID_TYPE:
1086 : 18133920 : case OPAQUE_TYPE:
1087 : 18133920 : case TYPENAME_TYPE:
1088 : 18133920 : case COMPLEX_TYPE:
1089 : 18133920 : case VECTOR_TYPE:
1090 : 18133920 : case TYPEOF_TYPE:
1091 : 18133920 : case TRAIT_TYPE:
1092 : 18133920 : case DECLTYPE_TYPE:
1093 : 18133920 : case TYPE_PACK_EXPANSION:
1094 : 18133920 : case FIXED_POINT_TYPE:
1095 : 18133920 : case NULLPTR_TYPE:
1096 : 18133920 : dump_type (pp, t, flags);
1097 : 18133920 : pp->set_padding (pp_before);
1098 : 18133920 : break;
1099 : :
1100 : 0 : default:
1101 : 0 : pp_unsupported_tree (pp, t);
1102 : : /* fall through. */
1103 : 35 : case ERROR_MARK:
1104 : 35 : pp_string (pp, M_("<typeprefixerror>"));
1105 : 35 : break;
1106 : : }
1107 : 37698837 : }
1108 : :
1109 : : /* Dump the suffix of type T, under control of FLAGS. This is the part
1110 : : which appears after the identifier (or function parms). */
1111 : :
1112 : : static void
1113 : 18134196 : dump_type_suffix (cxx_pretty_printer *pp, tree t, int flags)
1114 : : {
1115 : 38518747 : if (TYPE_PTRMEMFUNC_P (t))
1116 : 305214 : t = TYPE_PTRMEMFUNC_FN_TYPE (t);
1117 : :
1118 : 38518747 : switch (TREE_CODE (t))
1119 : : {
1120 : 19259506 : case POINTER_TYPE:
1121 : 19259506 : case REFERENCE_TYPE:
1122 : 19259506 : case OFFSET_TYPE:
1123 : 19259506 : if (TREE_CODE (TREE_TYPE (t)) == ARRAY_TYPE
1124 : 19259506 : || TREE_CODE (TREE_TYPE (t)) == FUNCTION_TYPE)
1125 : 362638 : pp_cxx_right_paren (pp);
1126 : 19259506 : if (TREE_CODE (t) == POINTER_TYPE)
1127 : 11100569 : flags |= TFF_POINTER;
1128 : 19259506 : dump_type_suffix (pp, TREE_TYPE (t), flags);
1129 : 19259506 : break;
1130 : :
1131 : 961621 : case FUNCTION_TYPE:
1132 : 961621 : case METHOD_TYPE:
1133 : 961621 : {
1134 : 961621 : tree arg;
1135 : 961621 : if (TREE_CODE (t) == METHOD_TYPE)
1136 : : /* Can only be reached through a pointer. */
1137 : 305376 : pp_cxx_right_paren (pp);
1138 : 961621 : arg = TYPE_ARG_TYPES (t);
1139 : 961621 : if (TREE_CODE (t) == METHOD_TYPE)
1140 : 305376 : arg = TREE_CHAIN (arg);
1141 : :
1142 : : /* Function pointers don't have default args. Not in standard C++,
1143 : : anyway; they may in g++, but we'll just pretend otherwise. */
1144 : 961621 : dump_parameters (pp, arg, flags & ~TFF_FUNCTION_DEFAULT_ARGUMENTS);
1145 : :
1146 : 961621 : pp->set_padding (pp_before);
1147 : 1490441 : pp_cxx_cv_qualifiers (pp, type_memfn_quals (t),
1148 : : TREE_CODE (t) == FUNCTION_TYPE
1149 : : && (flags & TFF_POINTER));
1150 : 961621 : dump_ref_qualifier (pp, t, flags);
1151 : 961621 : if (tx_safe_fn_type_p (t))
1152 : 19 : pp_cxx_ws_string (pp, "transaction_safe");
1153 : 961621 : dump_exception_spec (pp, TYPE_RAISES_EXCEPTIONS (t), flags);
1154 : : /* If this is the standard [[]] attribute, print
1155 : : void (*)() [[noreturn]]; */
1156 : 961621 : if (cxx11_attribute_p (TYPE_ATTRIBUTES (t)))
1157 : : {
1158 : 2 : pp_space (pp);
1159 : 2 : pp_c_attributes_display (pp, TYPE_ATTRIBUTES (t));
1160 : 2 : pp->set_padding (pp_before);
1161 : : }
1162 : 961621 : dump_type_suffix (pp, TREE_TYPE (t), flags);
1163 : 961621 : break;
1164 : : }
1165 : :
1166 : 163424 : case ARRAY_TYPE:
1167 : 163424 : pp_maybe_space (pp);
1168 : 163424 : pp_cxx_left_bracket (pp);
1169 : 163424 : if (tree dtype = TYPE_DOMAIN (t))
1170 : : {
1171 : 140579 : tree max = TYPE_MAX_VALUE (dtype);
1172 : : /* Zero-length arrays have a null upper bound in C and SIZE_MAX
1173 : : in C++. Handle both since the type might be constructed by
1174 : : the middle end and end up here as a result of a warning (see
1175 : : PR c++/97201). */
1176 : 140579 : if (!max || integer_all_onesp (max))
1177 : 687 : pp_character (pp, '0');
1178 : 139892 : else if (tree_fits_shwi_p (max))
1179 : 139309 : pp_wide_integer (pp, tree_to_shwi (max) + 1);
1180 : : else
1181 : : {
1182 : 583 : STRIP_NOPS (max);
1183 : 583 : if (TREE_CODE (max) == SAVE_EXPR)
1184 : 0 : max = TREE_OPERAND (max, 0);
1185 : 583 : if (TREE_CODE (max) == MINUS_EXPR
1186 : 583 : || TREE_CODE (max) == PLUS_EXPR)
1187 : : {
1188 : 511 : max = TREE_OPERAND (max, 0);
1189 : 884 : while (CONVERT_EXPR_P (max))
1190 : 373 : max = TREE_OPERAND (max, 0);
1191 : : }
1192 : : else
1193 : 72 : max = fold_build2_loc (input_location,
1194 : : PLUS_EXPR, dtype, max,
1195 : 72 : build_int_cst (dtype, 1));
1196 : 583 : dump_expr (pp, max, flags & ~TFF_EXPR_IN_PARENS);
1197 : : }
1198 : : }
1199 : 163424 : pp_cxx_right_bracket (pp);
1200 : 163424 : dump_type_suffix (pp, TREE_TYPE (t), flags);
1201 : 163424 : break;
1202 : :
1203 : : case ENUMERAL_TYPE:
1204 : : case IDENTIFIER_NODE:
1205 : : case INTEGER_TYPE:
1206 : : case BOOLEAN_TYPE:
1207 : : case REAL_TYPE:
1208 : : case RECORD_TYPE:
1209 : : case TEMPLATE_TYPE_PARM:
1210 : : case TEMPLATE_TEMPLATE_PARM:
1211 : : case BOUND_TEMPLATE_TEMPLATE_PARM:
1212 : : case TREE_LIST:
1213 : : case TYPE_DECL:
1214 : : case TREE_VEC:
1215 : : case UNION_TYPE:
1216 : : case LANG_TYPE:
1217 : : case VOID_TYPE:
1218 : : case OPAQUE_TYPE:
1219 : : case TYPENAME_TYPE:
1220 : : case COMPLEX_TYPE:
1221 : : case VECTOR_TYPE:
1222 : : case TYPEOF_TYPE:
1223 : : case TRAIT_TYPE:
1224 : : case DECLTYPE_TYPE:
1225 : : case TYPE_PACK_EXPANSION:
1226 : : case FIXED_POINT_TYPE:
1227 : : case NULLPTR_TYPE:
1228 : : break;
1229 : :
1230 : 0 : default:
1231 : 0 : pp_unsupported_tree (pp, t);
1232 : : case ERROR_MARK:
1233 : : /* Don't mark it here, we should have already done in
1234 : : dump_type_prefix. */
1235 : : break;
1236 : : }
1237 : 18134196 : }
1238 : :
1239 : : static void
1240 : 69 : dump_global_iord (cxx_pretty_printer *pp, tree t)
1241 : : {
1242 : 69 : const char *p = NULL;
1243 : :
1244 : 69 : if (DECL_GLOBAL_CTOR_P (t))
1245 : 69 : p = M_("(static initializers for %s)");
1246 : 0 : else if (DECL_GLOBAL_DTOR_P (t))
1247 : 0 : p = M_("(static destructors for %s)");
1248 : : else
1249 : 0 : gcc_unreachable ();
1250 : :
1251 : 69 : pp_printf (pp, p, DECL_SOURCE_FILE (t));
1252 : 69 : }
1253 : :
1254 : : static void
1255 : 814064 : dump_simple_decl (cxx_pretty_printer *pp, tree t, tree type, int flags)
1256 : : {
1257 : 814064 : if (VAR_P (t) && DECL_NTTP_OBJECT_P (t))
1258 : 47 : return dump_expr (pp, DECL_INITIAL (t), flags);
1259 : :
1260 : 814017 : if (flags & TFF_DECL_SPECIFIERS)
1261 : : {
1262 : 23589 : if (concept_definition_p (t))
1263 : 241 : pp_cxx_ws_string (pp, "concept");
1264 : 23348 : else if (VAR_P (t) && DECL_DECLARED_CONSTEXPR_P (t))
1265 : 465 : pp_cxx_ws_string (pp, "constexpr");
1266 : :
1267 : 23589 : if (!concept_definition_p (t))
1268 : 23348 : dump_type_prefix (pp, type, flags & ~TFF_UNQUALIFIED_NAME);
1269 : 23589 : pp_maybe_space (pp);
1270 : : }
1271 : 814017 : if (! (flags & TFF_UNQUALIFIED_NAME)
1272 : 802337 : && TREE_CODE (t) != PARM_DECL
1273 : 1603633 : && (!DECL_INITIAL (t)
1274 : 7694 : || TREE_CODE (DECL_INITIAL (t)) != TEMPLATE_PARM_INDEX))
1275 : 787536 : dump_scope (pp, CP_DECL_CONTEXT (t), flags);
1276 : 814017 : flags &= ~TFF_UNQUALIFIED_NAME;
1277 : 814017 : if ((flags & TFF_DECL_SPECIFIERS)
1278 : 23589 : && DECL_TEMPLATE_PARM_P (t)
1279 : 817792 : && TEMPLATE_PARM_PARAMETER_PACK (DECL_INITIAL (t)))
1280 : 125 : pp_string (pp, "...");
1281 : 814017 : if (DECL_NAME (t))
1282 : : {
1283 : 812577 : if (TREE_CODE (t) == FIELD_DECL && DECL_NORMAL_CAPTURE_P (t))
1284 : : {
1285 : 12 : pp_less (pp);
1286 : 12 : pp_string (pp, IDENTIFIER_POINTER (DECL_NAME (t)) + 2);
1287 : 12 : pp_string (pp, " capture>");
1288 : : }
1289 : : else
1290 : 812565 : dump_decl (pp, DECL_NAME (t), flags);
1291 : : }
1292 : 1440 : else if (DECL_DECOMPOSITION_P (t))
1293 : 36 : pp_string (pp, M_("<structured bindings>"));
1294 : 1404 : else if (TREE_CODE (t) == FIELD_DECL && DECL_FIELD_IS_BASE (t))
1295 : 79 : dump_type (pp, TREE_TYPE (t), flags);
1296 : : else
1297 : 1325 : pp_string (pp, M_("<anonymous>"));
1298 : :
1299 : 814017 : dump_module_suffix (pp, t);
1300 : :
1301 : 814017 : if (flags & TFF_DECL_SPECIFIERS)
1302 : 23589 : dump_type_suffix (pp, type, flags);
1303 : : }
1304 : :
1305 : : class colorize_guard
1306 : : {
1307 : : bool colorize;
1308 : : cxx_pretty_printer *pp;
1309 : : public:
1310 : 75675287 : colorize_guard (bool _colorize, cxx_pretty_printer *pp, const char *name)
1311 : 75675287 : : colorize (_colorize && pp_show_color (pp)), pp (pp)
1312 : : {
1313 : 75675287 : pp_string (pp, colorize_start (colorize, name));
1314 : 75675287 : }
1315 : 75675287 : ~colorize_guard ()
1316 : : {
1317 : 75675287 : pp_string (pp, colorize_stop (colorize));
1318 : 75675287 : }
1319 : : };
1320 : :
1321 : : /* Print an IDENTIFIER_NODE that is the name of a declaration. */
1322 : :
1323 : : static void
1324 : 143603769 : dump_decl_name (cxx_pretty_printer *pp, tree t, int flags)
1325 : : {
1326 : : /* These special cases are duplicated here so that other functions
1327 : : can feed identifiers to error and get them demangled properly. */
1328 : 143603769 : if (IDENTIFIER_CONV_OP_P (t))
1329 : : {
1330 : 27 : pp_cxx_ws_string (pp, "operator");
1331 : : /* Not exactly IDENTIFIER_TYPE_VALUE. */
1332 : 27 : dump_type (pp, TREE_TYPE (t), flags);
1333 : 27 : return;
1334 : : }
1335 : 143603742 : if (dguide_name_p (t))
1336 : : {
1337 : 873 : dump_decl (pp, CLASSTYPE_TI_TEMPLATE (TREE_TYPE (t)),
1338 : : TFF_UNQUALIFIED_NAME);
1339 : 873 : return;
1340 : : }
1341 : :
1342 : 143602869 : const char *str = IDENTIFIER_POINTER (t);
1343 : 143602869 : if (startswith (str, "_ZGR"))
1344 : : {
1345 : 9 : pp_cxx_ws_string (pp, "<temporary>");
1346 : 9 : return;
1347 : : }
1348 : :
1349 : 143602860 : pp_cxx_tree_identifier (pp, t);
1350 : : }
1351 : :
1352 : : /* Dump a human readable string for the decl T under control of FLAGS. */
1353 : :
1354 : : static void
1355 : 246348013 : dump_decl (cxx_pretty_printer *pp, tree t, int flags)
1356 : : {
1357 : 246349655 : if (t == NULL_TREE)
1358 : : return;
1359 : :
1360 : : /* If doing Objective-C++, give Objective-C a chance to demangle
1361 : : Objective-C method names. */
1362 : 246349655 : if (c_dialect_objc ())
1363 : : {
1364 : 0 : const char *demangled = objc_maybe_printable_name (t, flags);
1365 : 0 : if (demangled)
1366 : : {
1367 : 0 : pp_string (pp, demangled);
1368 : 0 : return;
1369 : : }
1370 : : }
1371 : :
1372 : 246349655 : switch (TREE_CODE (t))
1373 : : {
1374 : 35760526 : case TYPE_DECL:
1375 : : /* Don't say 'typedef class A' */
1376 : 35760526 : if (DECL_ARTIFICIAL (t) && !DECL_SELF_REFERENCE_P (t))
1377 : : {
1378 : 34990108 : if ((flags & TFF_DECL_SPECIFIERS)
1379 : 34990108 : && TREE_CODE (TREE_TYPE (t)) == TEMPLATE_TYPE_PARM)
1380 : : {
1381 : : /* Say `class T' not just `T'. */
1382 : 45 : pp_cxx_ws_string (pp, "class");
1383 : :
1384 : : /* Emit the `...' for a parameter pack. */
1385 : 45 : if (TEMPLATE_TYPE_PARAMETER_PACK (TREE_TYPE (t)))
1386 : 3 : pp_cxx_ws_string (pp, "...");
1387 : : }
1388 : :
1389 : 34990108 : dump_type (pp, TREE_TYPE (t), flags);
1390 : 34990108 : break;
1391 : : }
1392 : 770418 : if (TYPE_DECL_ALIAS_P (t)
1393 : 770418 : && (flags & TFF_DECL_SPECIFIERS
1394 : : || flags & TFF_CLASS_KEY_OR_ENUM))
1395 : : {
1396 : 441 : pp_cxx_ws_string (pp, "using");
1397 : 441 : if (! (flags & TFF_UNQUALIFIED_NAME))
1398 : 441 : dump_scope (pp, CP_DECL_CONTEXT (t), flags);
1399 : 441 : dump_decl (pp, DECL_NAME (t), flags);
1400 : 441 : pp_cxx_whitespace (pp);
1401 : 441 : pp_cxx_ws_string (pp, "=");
1402 : 441 : pp_cxx_whitespace (pp);
1403 : 464 : dump_type (pp, (DECL_ORIGINAL_TYPE (t)
1404 : 23 : ? DECL_ORIGINAL_TYPE (t) : TREE_TYPE (t)),
1405 : : flags);
1406 : 441 : break;
1407 : : }
1408 : 769977 : if ((flags & TFF_DECL_SPECIFIERS)
1409 : 769977 : && !DECL_SELF_REFERENCE_P (t))
1410 : 11902 : pp_cxx_ws_string (pp, "typedef");
1411 : 781738 : dump_simple_decl (pp, t, DECL_ORIGINAL_TYPE (t)
1412 : 11761 : ? DECL_ORIGINAL_TYPE (t) : TREE_TYPE (t),
1413 : : flags);
1414 : 769977 : break;
1415 : :
1416 : 21347 : case VAR_DECL:
1417 : 21347 : if (DECL_NAME (t) && VTABLE_NAME_P (DECL_NAME (t)))
1418 : : {
1419 : 0 : pp_string (pp, M_("vtable for "));
1420 : 0 : gcc_assert (TYPE_P (DECL_CONTEXT (t)));
1421 : 0 : dump_type (pp, DECL_CONTEXT (t), flags);
1422 : 0 : break;
1423 : : }
1424 : : /* Fall through. */
1425 : 41449 : case FIELD_DECL:
1426 : 41449 : case PARM_DECL:
1427 : 41449 : dump_simple_decl (pp, t, TREE_TYPE (t), flags);
1428 : :
1429 : : /* Handle variable template specializations. */
1430 : 41449 : if (VAR_P (t)
1431 : 21347 : && DECL_LANG_SPECIFIC (t)
1432 : 3861 : && DECL_TEMPLATE_INFO (t)
1433 : 42502 : && PRIMARY_TEMPLATE_P (DECL_TI_TEMPLATE (t)))
1434 : : {
1435 : 399 : pp_cxx_begin_template_argument_list (pp);
1436 : 399 : tree args = INNERMOST_TEMPLATE_ARGS (DECL_TI_ARGS (t));
1437 : 399 : dump_template_argument_list (pp, args, flags);
1438 : 399 : pp_cxx_end_template_argument_list (pp);
1439 : : }
1440 : : break;
1441 : :
1442 : 0 : case RESULT_DECL:
1443 : 0 : pp_string (pp, M_("<return value> "));
1444 : 0 : dump_simple_decl (pp, t, TREE_TYPE (t), flags);
1445 : 0 : break;
1446 : :
1447 : 66491894 : case NAMESPACE_DECL:
1448 : 66491894 : if (flags & TFF_DECL_SPECIFIERS)
1449 : 63 : pp->declaration (t);
1450 : : else
1451 : : {
1452 : 66491831 : if (! (flags & TFF_UNQUALIFIED_NAME))
1453 : 66491810 : dump_scope (pp, CP_DECL_CONTEXT (t), flags);
1454 : 66491831 : flags &= ~TFF_UNQUALIFIED_NAME;
1455 : 66491831 : if (DECL_NAME (t) == NULL_TREE)
1456 : : {
1457 : 6592 : if (!(pp->flags & pp_c_flag_gnu_v3))
1458 : 974 : pp_cxx_ws_string (pp, M_("{anonymous}"));
1459 : : else
1460 : 5618 : pp_cxx_ws_string (pp, M_("(anonymous namespace)"));
1461 : : }
1462 : : else
1463 : 66485239 : pp_cxx_tree_identifier (pp, DECL_NAME (t));
1464 : : }
1465 : : break;
1466 : :
1467 : 1036 : case SCOPE_REF:
1468 : 1036 : dump_type (pp, TREE_OPERAND (t, 0), flags);
1469 : 1036 : pp_cxx_colon_colon (pp);
1470 : 1036 : dump_decl (pp, TREE_OPERAND (t, 1), TFF_UNQUALIFIED_NAME);
1471 : 1036 : break;
1472 : :
1473 : 0 : case ARRAY_REF:
1474 : 0 : dump_decl (pp, TREE_OPERAND (t, 0), flags);
1475 : 0 : pp_cxx_left_bracket (pp);
1476 : 0 : dump_decl (pp, TREE_OPERAND (t, 1), flags);
1477 : 0 : pp_cxx_right_bracket (pp);
1478 : 0 : break;
1479 : :
1480 : : /* So that we can do dump_decl on an aggr type. */
1481 : 1463 : case RECORD_TYPE:
1482 : 1463 : case UNION_TYPE:
1483 : 1463 : case ENUMERAL_TYPE:
1484 : 1463 : dump_type (pp, t, flags);
1485 : 1463 : break;
1486 : :
1487 : 49 : case BIT_NOT_EXPR:
1488 : : /* This is a pseudo destructor call which has not been folded into
1489 : : a PSEUDO_DTOR_EXPR yet. */
1490 : 49 : pp_cxx_complement (pp);
1491 : 49 : dump_type (pp, TREE_OPERAND (t, 0), flags);
1492 : 49 : break;
1493 : :
1494 : 0 : case TYPE_EXPR:
1495 : 0 : gcc_unreachable ();
1496 : 143603769 : break;
1497 : :
1498 : 143603769 : case IDENTIFIER_NODE:
1499 : 143603769 : dump_decl_name (pp, t, flags);
1500 : 143603769 : break;
1501 : :
1502 : 288 : case OVERLOAD:
1503 : 288 : if (!OVL_SINGLE_P (t))
1504 : : {
1505 : 128 : tree ctx = ovl_scope (t);
1506 : 128 : if (ctx != global_namespace)
1507 : : {
1508 : 75 : if (TYPE_P (ctx))
1509 : 59 : dump_type (pp, ctx, flags);
1510 : : else
1511 : 16 : dump_decl (pp, ctx, flags);
1512 : 75 : pp_cxx_colon_colon (pp);
1513 : : }
1514 : 256 : dump_decl (pp, OVL_NAME (t), flags);
1515 : 128 : break;
1516 : : }
1517 : :
1518 : : /* If there's only one function, dump that. */
1519 : 160 : return dump_decl (pp, OVL_FIRST (t), flags);
1520 : :
1521 : 98170 : case FUNCTION_DECL:
1522 : 98170 : if (! DECL_LANG_SPECIFIC (t))
1523 : : {
1524 : 1406 : if (DECL_ABSTRACT_ORIGIN (t)
1525 : 1406 : && DECL_ABSTRACT_ORIGIN (t) != t)
1526 : 244 : dump_decl (pp, DECL_ABSTRACT_ORIGIN (t), flags);
1527 : : else
1528 : 1162 : dump_function_name (pp, t, flags);
1529 : : }
1530 : 96764 : else if (DECL_GLOBAL_CTOR_P (t) || DECL_GLOBAL_DTOR_P (t))
1531 : 69 : dump_global_iord (pp, t);
1532 : : else
1533 : 96695 : dump_function_decl (pp, t, flags);
1534 : : break;
1535 : :
1536 : 345638 : case TEMPLATE_DECL:
1537 : 345638 : dump_template_decl (pp, t, flags);
1538 : 345638 : break;
1539 : :
1540 : 256 : case CONCEPT_DECL:
1541 : 256 : dump_simple_decl (pp, t, TREE_TYPE (t), flags);
1542 : 256 : break;
1543 : :
1544 : 0 : case WILDCARD_DECL:
1545 : 0 : pp_string (pp, "<wildcard>");
1546 : 0 : break;
1547 : :
1548 : 2182 : case TEMPLATE_ID_EXPR:
1549 : 2182 : {
1550 : 2182 : tree name = TREE_OPERAND (t, 0);
1551 : 2182 : tree args = TREE_OPERAND (t, 1);
1552 : :
1553 : 2749 : if (!identifier_p (name))
1554 : 1544 : name = OVL_NAME (name);
1555 : 2182 : dump_decl (pp, name, flags);
1556 : 2182 : pp_cxx_begin_template_argument_list (pp);
1557 : 2182 : if (args == error_mark_node)
1558 : 3 : pp_string (pp, M_("<template arguments error>"));
1559 : 2179 : else if (args)
1560 : 2083 : dump_template_argument_list
1561 : 2083 : (pp, args, flags|TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS);
1562 : 2182 : pp_cxx_end_template_argument_list (pp);
1563 : : }
1564 : 2182 : break;
1565 : :
1566 : 283 : case LABEL_DECL:
1567 : 283 : if (DECL_NAME (t))
1568 : 283 : pp_cxx_tree_identifier (pp, DECL_NAME (t));
1569 : : else
1570 : 0 : dump_generic_node (pp, t, 0, TDF_SLIM, false);
1571 : : break;
1572 : :
1573 : 2418 : case CONST_DECL:
1574 : 4830 : if ((TREE_TYPE (t) != NULL_TREE && NEXT_CODE (t) == ENUMERAL_TYPE)
1575 : 4470 : || (DECL_INITIAL (t) &&
1576 : 2052 : TREE_CODE (DECL_INITIAL (t)) == TEMPLATE_PARM_INDEX))
1577 : 2382 : dump_simple_decl (pp, t, TREE_TYPE (t), flags);
1578 : 36 : else if (DECL_NAME (t))
1579 : 36 : dump_decl (pp, DECL_NAME (t), flags);
1580 : 0 : else if (DECL_INITIAL (t))
1581 : 0 : dump_expr (pp, DECL_INITIAL (t), flags | TFF_EXPR_IN_PARENS);
1582 : : else
1583 : 0 : pp_string (pp, M_("<enumerator>"));
1584 : : break;
1585 : :
1586 : 136 : case USING_DECL:
1587 : 136 : {
1588 : 136 : if (flags & TFF_DECL_SPECIFIERS)
1589 : 130 : pp_cxx_ws_string (pp, "using");
1590 : 136 : bool variadic = false;
1591 : 136 : if (!(flags & TFF_UNQUALIFIED_NAME))
1592 : : {
1593 : 136 : tree scope = USING_DECL_SCOPE (t);
1594 : 136 : tree name = DECL_NAME (t);
1595 : 136 : if (PACK_EXPANSION_P (scope))
1596 : : {
1597 : 0 : scope = PACK_EXPANSION_PATTERN (scope);
1598 : : variadic = true;
1599 : : }
1600 : 136 : if (identifier_p (name)
1601 : 136 : && IDENTIFIER_CONV_OP_P (name)
1602 : 0 : && PACK_EXPANSION_P (TREE_TYPE (name)))
1603 : : {
1604 : 0 : name = make_conv_op_name (PACK_EXPANSION_PATTERN
1605 : : (TREE_TYPE (name)));
1606 : 0 : variadic = true;
1607 : : }
1608 : 136 : dump_type (pp, scope, flags);
1609 : 136 : pp_cxx_colon_colon (pp);
1610 : : }
1611 : 136 : dump_decl (pp, DECL_NAME (t), flags);
1612 : 136 : if (variadic)
1613 : 0 : pp_cxx_ws_string (pp, "...");
1614 : : }
1615 : : break;
1616 : :
1617 : 0 : case STATIC_ASSERT:
1618 : 0 : pp->declaration (t);
1619 : 0 : break;
1620 : :
1621 : 38 : case BASELINK:
1622 : 38 : dump_decl (pp, BASELINK_FUNCTIONS (t), flags);
1623 : 38 : break;
1624 : :
1625 : 0 : case TEMPLATE_TYPE_PARM:
1626 : 0 : if (flags & TFF_DECL_SPECIFIERS)
1627 : 0 : pp->declaration (t);
1628 : : else
1629 : 0 : pp->type_id (t);
1630 : : break;
1631 : :
1632 : 9 : case UNBOUND_CLASS_TEMPLATE:
1633 : 9 : case TYPE_PACK_EXPANSION:
1634 : 9 : case TREE_BINFO:
1635 : 9 : dump_type (pp, t, flags);
1636 : 9 : break;
1637 : :
1638 : 30 : default:
1639 : 30 : pp_unsupported_tree (pp, t);
1640 : : /* Fall through. */
1641 : :
1642 : 51 : case ERROR_MARK:
1643 : 51 : pp_string (pp, M_("<declaration error>"));
1644 : 51 : break;
1645 : : }
1646 : : }
1647 : :
1648 : : /* Dump a template declaration T under control of FLAGS. This means the
1649 : : 'template <...> leaders plus the 'class X' or 'void fn(...)' part. */
1650 : :
1651 : : static void
1652 : 347086 : dump_template_decl (cxx_pretty_printer *pp, tree t, int flags)
1653 : : {
1654 : 347086 : tree orig_parms = DECL_TEMPLATE_PARMS (t);
1655 : 347086 : tree parms;
1656 : 347086 : int i;
1657 : :
1658 : 347086 : if (flags & TFF_TEMPLATE_HEADER)
1659 : : {
1660 : 7882 : for (parms = orig_parms = nreverse (orig_parms);
1661 : 16298 : parms;
1662 : 8416 : parms = TREE_CHAIN (parms))
1663 : : {
1664 : 8416 : tree inner_parms = INNERMOST_TEMPLATE_PARMS (parms);
1665 : 8416 : int len = TREE_VEC_LENGTH (inner_parms);
1666 : :
1667 : 8416 : if (len == 0)
1668 : : {
1669 : : /* Skip over the dummy template levels of a template template
1670 : : parm. */
1671 : 292 : gcc_assert (TREE_CODE (TREE_TYPE (t)) == TEMPLATE_TEMPLATE_PARM);
1672 : 292 : continue;
1673 : : }
1674 : :
1675 : 8124 : pp_cxx_ws_string (pp, "template");
1676 : 8124 : pp_cxx_begin_template_argument_list (pp);
1677 : :
1678 : : /* If we've shown the template prefix, we'd better show the
1679 : : parameters' and decl's type too. */
1680 : 8124 : flags |= TFF_DECL_SPECIFIERS;
1681 : :
1682 : 20764 : for (i = 0; i < len; i++)
1683 : : {
1684 : 12640 : if (i)
1685 : 4516 : pp_separate_with_comma (pp);
1686 : 12640 : dump_template_parameter (pp, TREE_VEC_ELT (inner_parms, i),
1687 : : flags);
1688 : : }
1689 : 8124 : pp_cxx_end_template_argument_list (pp);
1690 : 8124 : pp_cxx_whitespace (pp);
1691 : : }
1692 : 7882 : nreverse(orig_parms);
1693 : :
1694 : 7882 : if (DECL_TEMPLATE_TEMPLATE_PARM_P (t))
1695 : : {
1696 : : /* Say `template<arg> class TT' not just `template<arg> TT'. */
1697 : 310 : pp_cxx_ws_string (pp, "class");
1698 : :
1699 : : /* If this is a parameter pack, print the ellipsis. */
1700 : 310 : if (TEMPLATE_TYPE_PARAMETER_PACK (TREE_TYPE (t)))
1701 : 54 : pp_cxx_ws_string (pp, "...");
1702 : : }
1703 : :
1704 : : /* Only print the requirements if we're also printing
1705 : : the template header. */
1706 : 7882 : if (flag_concepts)
1707 : 4799 : if (tree ci = get_constraints (t))
1708 : 2194 : if (check_constraint_info (ci))
1709 : 2194 : if (tree reqs = CI_TEMPLATE_REQS (ci))
1710 : : {
1711 : 1826 : pp_cxx_requires_clause (pp, reqs);
1712 : 1826 : pp_cxx_whitespace (pp);
1713 : : }
1714 : : }
1715 : :
1716 : :
1717 : 347086 : if (DECL_CLASS_TEMPLATE_P (t))
1718 : 289481 : dump_type (pp, TREE_TYPE (t),
1719 : 289481 : ((flags & ~TFF_CLASS_KEY_OR_ENUM) | TFF_TEMPLATE_NAME
1720 : 289481 : | (flags & TFF_DECL_SPECIFIERS ? TFF_CLASS_KEY_OR_ENUM : 0)));
1721 : 57605 : else if (DECL_TEMPLATE_RESULT (t)
1722 : 57605 : && (VAR_P (DECL_TEMPLATE_RESULT (t))
1723 : : /* Alias template. */
1724 : 57485 : || DECL_TYPE_TEMPLATE_P (t)
1725 : : /* Concept definition. &*/
1726 : 6383 : || TREE_CODE (DECL_TEMPLATE_RESULT (t)) == CONCEPT_DECL))
1727 : 51469 : dump_decl (pp, DECL_TEMPLATE_RESULT (t), flags | TFF_TEMPLATE_NAME);
1728 : : else
1729 : : {
1730 : 6136 : gcc_assert (TREE_TYPE (t));
1731 : 6136 : switch (NEXT_CODE (t))
1732 : : {
1733 : 6136 : case METHOD_TYPE:
1734 : 6136 : case FUNCTION_TYPE:
1735 : 6136 : dump_function_decl (pp, t, flags | TFF_TEMPLATE_NAME);
1736 : 6136 : break;
1737 : 0 : default:
1738 : : /* This case can occur with some invalid code. */
1739 : 0 : dump_type (pp, TREE_TYPE (t),
1740 : 0 : (flags & ~TFF_CLASS_KEY_OR_ENUM) | TFF_TEMPLATE_NAME
1741 : : | (flags & TFF_DECL_SPECIFIERS
1742 : 0 : ? TFF_CLASS_KEY_OR_ENUM : 0));
1743 : : }
1744 : : }
1745 : 347086 : }
1746 : :
1747 : : /* find_typenames looks through the type of the function template T
1748 : : and returns a vec containing any typedefs, decltypes or TYPENAME_TYPEs
1749 : : it finds. */
1750 : :
1751 : : struct find_typenames_t
1752 : : {
1753 : : hash_set<tree> *p_set;
1754 : : vec<tree, va_gc> *typenames;
1755 : : };
1756 : :
1757 : : static tree
1758 : 114056 : find_typenames_r (tree *tp, int *walk_subtrees, void *data)
1759 : : {
1760 : 114056 : struct find_typenames_t *d = (struct find_typenames_t *)data;
1761 : 114056 : tree mv = NULL_TREE;
1762 : :
1763 : 114056 : if (TYPE_P (*tp) && is_typedef_decl (TYPE_NAME (*tp)))
1764 : : /* Add the type of the typedef without any additional cv-quals. */
1765 : 4024 : mv = TREE_TYPE (TYPE_NAME (*tp));
1766 : 110032 : else if (TREE_CODE (*tp) == TYPENAME_TYPE
1767 : 109571 : || TREE_CODE (*tp) == DECLTYPE_TYPE)
1768 : : /* Add the typename without any cv-qualifiers. */
1769 : 598 : mv = TYPE_MAIN_VARIANT (*tp);
1770 : :
1771 : 114056 : if (PACK_EXPANSION_P (*tp))
1772 : : {
1773 : : /* Don't mess with parameter packs since we don't remember
1774 : : the pack expansion context for a particular typename. */
1775 : 1023 : *walk_subtrees = false;
1776 : 1023 : return NULL_TREE;
1777 : : }
1778 : :
1779 : 113033 : if (mv && (mv == *tp || !d->p_set->add (mv)))
1780 : 4622 : vec_safe_push (d->typenames, mv);
1781 : :
1782 : : return NULL_TREE;
1783 : : }
1784 : :
1785 : : static vec<tree, va_gc> *
1786 : 15476 : find_typenames (tree t)
1787 : : {
1788 : 15476 : struct find_typenames_t ft;
1789 : 15476 : ft.p_set = new hash_set<tree>;
1790 : 15476 : ft.typenames = NULL;
1791 : 15476 : cp_walk_tree (&TREE_TYPE (DECL_TEMPLATE_RESULT (t)),
1792 : : find_typenames_r, &ft, ft.p_set);
1793 : 30952 : delete ft.p_set;
1794 : 15476 : return ft.typenames;
1795 : : }
1796 : :
1797 : : /* Output the "[with ...]" clause for a template instantiation T iff
1798 : : TEMPLATE_PARMS, TEMPLATE_ARGS and FLAGS are suitable. T may be NULL if
1799 : : formatting a deduction/substitution diagnostic rather than an
1800 : : instantiation. */
1801 : :
1802 : : static void
1803 : 431769 : dump_substitution (cxx_pretty_printer *pp,
1804 : : tree t, tree template_parms, tree template_args,
1805 : : int flags)
1806 : : {
1807 : 431769 : if (template_parms != NULL_TREE && template_args != NULL_TREE
1808 : 16924 : && !(flags & TFF_NO_TEMPLATE_BINDINGS))
1809 : : {
1810 : 16924 : vec<tree, va_gc> *typenames = t ? find_typenames (t) : NULL;
1811 : 16924 : dump_template_bindings (pp, template_parms, template_args, typenames);
1812 : : }
1813 : 431769 : }
1814 : :
1815 : : /* Dump the lambda function FN including its 'mutable' qualifier and any
1816 : : template bindings. */
1817 : :
1818 : : static void
1819 : 3315 : dump_lambda_function (cxx_pretty_printer *pp,
1820 : : tree fn, tree template_parms, tree template_args,
1821 : : int flags)
1822 : : {
1823 : : /* A lambda's signature is essentially its "type". */
1824 : 3315 : dump_type (pp, DECL_CONTEXT (fn), flags);
1825 : 3315 : if (DECL_XOBJ_MEMBER_FUNCTION_P (fn))
1826 : : /* Early escape. */;
1827 : 3289 : else if (TREE_CODE (TREE_TYPE (fn)) == FUNCTION_TYPE)
1828 : : {
1829 : 0 : pp->set_padding (pp_before);
1830 : 0 : pp_c_ws_string (pp, "static");
1831 : : }
1832 : 3289 : else if (!(TYPE_QUALS (class_of_this_parm (TREE_TYPE (fn)))
1833 : 3289 : & TYPE_QUAL_CONST))
1834 : : {
1835 : 248 : pp->set_padding (pp_before);
1836 : 248 : pp_c_ws_string (pp, "mutable");
1837 : : }
1838 : 3315 : dump_substitution (pp, fn, template_parms, template_args, flags);
1839 : 3315 : }
1840 : :
1841 : : /* Pretty print a function decl. There are several ways we want to print a
1842 : : function declaration. The TFF_ bits in FLAGS tells us how to behave.
1843 : : As error can only apply the '#' flag once to give 0 and 1 for V, there
1844 : : is %D which doesn't print the throw specs, and %F which does. */
1845 : :
1846 : : static void
1847 : 439557 : dump_function_decl (cxx_pretty_printer *pp, tree t, int flags)
1848 : : {
1849 : 439557 : tree fntype;
1850 : 439557 : tree parmtypes;
1851 : 439557 : tree cname = NULL_TREE;
1852 : 439557 : tree template_args = NULL_TREE;
1853 : 439557 : tree template_parms = NULL_TREE;
1854 : 439557 : int show_return = flags & TFF_RETURN_TYPE || flags & TFF_DECL_SPECIFIERS;
1855 : 439557 : int do_outer_scope = ! (flags & TFF_UNQUALIFIED_NAME);
1856 : 439557 : tree exceptions;
1857 : 439557 : bool constexpr_p;
1858 : 439557 : tree ret = NULL_TREE;
1859 : :
1860 : 439557 : int dump_function_name_flags = flags & ~TFF_UNQUALIFIED_NAME;
1861 : 439557 : flags = dump_function_name_flags & ~TFF_TEMPLATE_NAME;
1862 : 439557 : if (TREE_CODE (t) == TEMPLATE_DECL)
1863 : 6136 : t = DECL_TEMPLATE_RESULT (t);
1864 : :
1865 : : /* Save the exceptions, in case t is a specialization and we are
1866 : : emitting an error about incompatible specifications. */
1867 : 439557 : exceptions = TYPE_RAISES_EXCEPTIONS (TREE_TYPE (t));
1868 : :
1869 : : /* Likewise for the constexpr specifier, in case t is a specialization. */
1870 : 439557 : constexpr_p = (DECL_DECLARED_CONSTEXPR_P (t)
1871 : 439557 : && !decl_implicit_constexpr_p (t));
1872 : :
1873 : : /* Pretty print template instantiations only. */
1874 : 553358 : if (DECL_USE_TEMPLATE (t) && DECL_TEMPLATE_INFO (t)
1875 : 113747 : && !(flags & TFF_NO_TEMPLATE_BINDINGS)
1876 : 455074 : && flag_pretty_templates)
1877 : : {
1878 : 15490 : tree tmpl;
1879 : :
1880 : 15490 : template_args = DECL_TI_ARGS (t);
1881 : 15490 : tmpl = most_general_template (t);
1882 : 15490 : if (tmpl && TREE_CODE (tmpl) == TEMPLATE_DECL)
1883 : : {
1884 : 15476 : template_parms = DECL_TEMPLATE_PARMS (tmpl);
1885 : 15476 : t = tmpl;
1886 : : }
1887 : : }
1888 : :
1889 : 445208 : if (DECL_NAME (t) && LAMBDA_FUNCTION_P (t))
1890 : 3315 : return dump_lambda_function (pp, t, template_parms, template_args, flags);
1891 : :
1892 : 436242 : fntype = TREE_TYPE (t);
1893 : 436242 : parmtypes = FUNCTION_FIRST_USER_PARMTYPE (t);
1894 : :
1895 : 436242 : if (DECL_CLASS_SCOPE_P (t))
1896 : 83597 : cname = DECL_CONTEXT (t);
1897 : : /* This is for partially instantiated template methods. */
1898 : 352645 : else if (TREE_CODE (fntype) == METHOD_TYPE)
1899 : 0 : cname = TREE_TYPE (TREE_VALUE (parmtypes));
1900 : :
1901 : 436242 : if (flags & TFF_DECL_SPECIFIERS)
1902 : : {
1903 : 92804 : if (DECL_STATIC_FUNCTION_P (t))
1904 : 2558 : pp_cxx_ws_string (pp, "static");
1905 : 90246 : else if (DECL_VIRTUAL_P (t))
1906 : 2386 : pp_cxx_ws_string (pp, "virtual");
1907 : :
1908 : 92804 : if (constexpr_p)
1909 : : {
1910 : 17540 : if (DECL_IMMEDIATE_FUNCTION_P (t))
1911 : 212 : pp_cxx_ws_string (pp, "consteval");
1912 : : else
1913 : 8558 : pp_cxx_ws_string (pp, "constexpr");
1914 : : }
1915 : : }
1916 : :
1917 : : /* Print the return type? */
1918 : 436242 : if (show_return)
1919 : 277692 : show_return = (!DECL_CONV_FN_P (t) && !DECL_CONSTRUCTOR_P (t)
1920 : 176354 : && !DECL_DESTRUCTOR_P (t) && !deduction_guide_p (t));
1921 : 81937 : if (show_return)
1922 : : {
1923 : 81937 : ret = fndecl_declared_return_type (t);
1924 : 81937 : dump_type_prefix (pp, ret, flags);
1925 : : }
1926 : :
1927 : : /* Print the function name. */
1928 : 436242 : if (!do_outer_scope)
1929 : : /* Nothing. */;
1930 : 436242 : else if (cname)
1931 : : {
1932 : 83597 : dump_type (pp, cname, flags);
1933 : 83597 : pp_cxx_colon_colon (pp);
1934 : : }
1935 : : else
1936 : 352645 : dump_scope (pp, CP_DECL_CONTEXT (t), flags);
1937 : :
1938 : : /* Name lookup for the rest of the function declarator is implicitly in the
1939 : : scope of the function, so avoid printing redundant scope qualifiers. */
1940 : 436242 : auto cds = make_temp_override (current_dump_scope, CP_DECL_CONTEXT (t));
1941 : :
1942 : 436242 : dump_function_name (pp, t, dump_function_name_flags);
1943 : :
1944 : 436242 : if (!(flags & TFF_NO_FUNCTION_ARGUMENTS))
1945 : : {
1946 : 427006 : int const parm_flags
1947 : 427006 : = DECL_XOBJ_MEMBER_FUNCTION_P (t) ? TFF_XOBJ_FUNC | flags : flags;
1948 : 427006 : dump_parameters (pp, parmtypes, parm_flags);
1949 : :
1950 : 427006 : if (TREE_CODE (fntype) == METHOD_TYPE)
1951 : : {
1952 : 78440 : pp->set_padding (pp_before);
1953 : 78440 : pp_cxx_cv_qualifier_seq (pp, class_of_this_parm (fntype));
1954 : 78440 : dump_ref_qualifier (pp, fntype, flags);
1955 : : }
1956 : :
1957 : 427006 : if (tx_safe_fn_type_p (fntype))
1958 : : {
1959 : 18 : pp->set_padding (pp_before);
1960 : 18 : pp_cxx_ws_string (pp, "transaction_safe");
1961 : : }
1962 : :
1963 : 427006 : if (flags & TFF_EXCEPTION_SPECIFICATION)
1964 : : {
1965 : 341 : pp->set_padding (pp_before);
1966 : 341 : dump_exception_spec (pp, exceptions, flags);
1967 : : }
1968 : :
1969 : 427006 : if (show_return)
1970 : 81937 : dump_type_suffix (pp, ret, flags);
1971 : 345069 : else if (deduction_guide_p (t))
1972 : : {
1973 : 686 : pp->set_padding (pp_before);
1974 : 686 : pp_cxx_ws_string (pp, "->");
1975 : 686 : dump_type (pp, TREE_TYPE (TREE_TYPE (t)), flags);
1976 : : }
1977 : :
1978 : 427006 : if (flag_concepts)
1979 : 267455 : if (tree ci = get_constraints (t))
1980 : 28238 : if (tree reqs = CI_DECLARATOR_REQS (ci))
1981 : 6158 : pp_cxx_requires_clause (pp, reqs);
1982 : :
1983 : 427006 : dump_substitution (pp, t, template_parms, template_args, flags);
1984 : :
1985 : 863319 : if (tree base = DECL_INHERITED_CTOR_BASE (t))
1986 : : {
1987 : 71 : pp_cxx_ws_string (pp, "[inherited from");
1988 : 71 : dump_type (pp, base, TFF_PLAIN_IDENTIFIER);
1989 : 71 : pp_character (pp, ']');
1990 : : }
1991 : : }
1992 : 9236 : else if (template_args)
1993 : : {
1994 : 0 : bool need_comma = false;
1995 : 0 : int i;
1996 : 0 : pp_cxx_begin_template_argument_list (pp);
1997 : 0 : template_args = INNERMOST_TEMPLATE_ARGS (template_args);
1998 : 0 : for (i = 0; i < TREE_VEC_LENGTH (template_args); ++i)
1999 : : {
2000 : 0 : tree arg = TREE_VEC_ELT (template_args, i);
2001 : 0 : if (need_comma)
2002 : 0 : pp_separate_with_comma (pp);
2003 : 0 : if (ARGUMENT_PACK_P (arg))
2004 : 0 : pp_cxx_left_brace (pp);
2005 : 0 : dump_template_argument (pp, arg, TFF_PLAIN_IDENTIFIER);
2006 : 0 : if (ARGUMENT_PACK_P (arg))
2007 : 0 : pp_cxx_right_brace (pp);
2008 : 0 : need_comma = true;
2009 : : }
2010 : 0 : pp_cxx_end_template_argument_list (pp);
2011 : : }
2012 : 436242 : }
2013 : :
2014 : : /* Print a parameter list. If this is for a member function, the
2015 : : member object ptr (and any other hidden args) should have
2016 : : already been removed. */
2017 : :
2018 : : static void
2019 : 1641106 : dump_parameters (cxx_pretty_printer *pp, tree parmtypes, int flags)
2020 : : {
2021 : 1641106 : int first = 1;
2022 : 1641106 : flags &= ~TFF_SCOPE;
2023 : 1641106 : pp_cxx_left_paren (pp);
2024 : :
2025 : 4976420 : for (first = 1; parmtypes != void_list_node;
2026 : 1694208 : parmtypes = TREE_CHAIN (parmtypes))
2027 : : {
2028 : 1696546 : if (first && flags & TFF_XOBJ_FUNC)
2029 : 1236 : pp_string (pp, "this ");
2030 : 831516 : if (!first)
2031 : 831516 : pp_separate_with_comma (pp);
2032 : 1696546 : first = 0;
2033 : 1696546 : if (!parmtypes)
2034 : : {
2035 : 2338 : pp_cxx_ws_string (pp, "...");
2036 : 2338 : break;
2037 : : }
2038 : :
2039 : 1694208 : dump_type (pp, TREE_VALUE (parmtypes), flags);
2040 : :
2041 : 1694220 : if ((flags & TFF_FUNCTION_DEFAULT_ARGUMENTS) && TREE_PURPOSE (parmtypes))
2042 : : {
2043 : 6 : pp_cxx_whitespace (pp);
2044 : 6 : pp_equal (pp);
2045 : 6 : pp_cxx_whitespace (pp);
2046 : 6 : dump_expr (pp, TREE_PURPOSE (parmtypes), flags | TFF_EXPR_IN_PARENS);
2047 : : }
2048 : : }
2049 : :
2050 : 1641106 : pp_cxx_right_paren (pp);
2051 : 1641106 : }
2052 : :
2053 : : /* Print ref-qualifier of a FUNCTION_TYPE or METHOD_TYPE. FLAGS are ignored. */
2054 : :
2055 : : static void
2056 : 1040061 : dump_ref_qualifier (cxx_pretty_printer *pp, tree t, int flags ATTRIBUTE_UNUSED)
2057 : : {
2058 : 1040061 : if (FUNCTION_REF_QUALIFIED (t))
2059 : : {
2060 : 1314 : pp->set_padding (pp_before);
2061 : 1314 : if (FUNCTION_RVALUE_QUALIFIED (t))
2062 : 452 : pp_cxx_ws_string (pp, "&&");
2063 : : else
2064 : 862 : pp_cxx_ws_string (pp, "&");
2065 : : }
2066 : 1040061 : }
2067 : :
2068 : : /* Print an exception specification. T is the exception specification. */
2069 : :
2070 : : static void
2071 : 961962 : dump_exception_spec (cxx_pretty_printer *pp, tree t, int flags)
2072 : : {
2073 : 992184 : if (t && TREE_PURPOSE (t))
2074 : : {
2075 : 30123 : pp_cxx_ws_string (pp, "noexcept");
2076 : 30123 : if (!integer_onep (TREE_PURPOSE (t)))
2077 : : {
2078 : 88 : pp_cxx_whitespace (pp);
2079 : 88 : pp_cxx_left_paren (pp);
2080 : 88 : if (DEFERRED_NOEXCEPT_SPEC_P (t))
2081 : 0 : pp_cxx_ws_string (pp, "<uninstantiated>");
2082 : : else
2083 : 88 : dump_expr (pp, TREE_PURPOSE (t), flags);
2084 : 88 : pp_cxx_right_paren (pp);
2085 : : }
2086 : : }
2087 : 931839 : else if (t)
2088 : : {
2089 : 99 : pp_cxx_ws_string (pp, "throw");
2090 : 99 : pp_cxx_whitespace (pp);
2091 : 99 : pp_cxx_left_paren (pp);
2092 : 99 : if (TREE_VALUE (t) != NULL_TREE)
2093 : 74 : while (1)
2094 : : {
2095 : 62 : dump_type (pp, TREE_VALUE (t), flags);
2096 : 62 : t = TREE_CHAIN (t);
2097 : 62 : if (!t)
2098 : : break;
2099 : 12 : pp_separate_with_comma (pp);
2100 : : }
2101 : 99 : pp_cxx_right_paren (pp);
2102 : : }
2103 : 961962 : }
2104 : :
2105 : : /* Handle the function name for a FUNCTION_DECL node, grokking operators
2106 : : and destructors properly. */
2107 : :
2108 : : static void
2109 : 75675287 : dump_function_name (cxx_pretty_printer *pp, tree t, int flags)
2110 : : {
2111 : : /* Only colorize when we're printing something before the name; in
2112 : : particular, not when printing a CALL_EXPR. */
2113 : 75675287 : bool colorize = flags & (TFF_DECL_SPECIFIERS | TFF_RETURN_TYPE
2114 : : | TFF_TEMPLATE_HEADER);
2115 : :
2116 : 75675287 : colorize_guard g (colorize, pp, "fnname");
2117 : :
2118 : 75675287 : tree name = DECL_NAME (t);
2119 : :
2120 : : /* We can get here with a decl that was synthesized by language-
2121 : : independent machinery (e.g. coverage.cc) in which case it won't
2122 : : have a lang_specific structure attached and DECL_CONSTRUCTOR_P
2123 : : will crash. In this case it is safe just to print out the
2124 : : literal name. */
2125 : 75675287 : if (!DECL_LANG_SPECIFIC (t))
2126 : : {
2127 : 5565 : pp_cxx_tree_identifier (pp, name);
2128 : 5565 : return;
2129 : : }
2130 : :
2131 : 75669722 : if (TREE_CODE (t) == TEMPLATE_DECL)
2132 : 15221 : t = DECL_TEMPLATE_RESULT (t);
2133 : :
2134 : : /* Don't let the user see __comp_ctor et al. */
2135 : 75669722 : if (DECL_CONSTRUCTOR_P (t)
2136 : 75669722 : || DECL_DESTRUCTOR_P (t))
2137 : : {
2138 : 29956995 : if (LAMBDA_TYPE_P (DECL_CONTEXT (t)))
2139 : 234189 : name = get_identifier ("<lambda>");
2140 : 29515257 : else if (TYPE_UNNAMED_P (DECL_CONTEXT (t)))
2141 : 101 : name = get_identifier ("<constructor>");
2142 : : else
2143 : 14757477 : name = constructor_name (DECL_CONTEXT (t));
2144 : : }
2145 : :
2146 : 151339444 : if (DECL_DESTRUCTOR_P (t))
2147 : : {
2148 : 2106166 : pp_cxx_complement (pp);
2149 : 2106166 : dump_decl (pp, name, TFF_PLAIN_IDENTIFIER);
2150 : : }
2151 : 73563556 : else if (DECL_CONV_FN_P (t))
2152 : : {
2153 : : /* This cannot use the hack that the operator's return
2154 : : type is stashed off of its name because it may be
2155 : : used for error reporting. In the case of conflicting
2156 : : declarations, both will have the same name, yet
2157 : : the types will be different, hence the TREE_TYPE field
2158 : : of the first name will be clobbered by the second. */
2159 : 914182 : pp_cxx_ws_string (pp, "operator");
2160 : 914182 : dump_type (pp, TREE_TYPE (TREE_TYPE (t)), flags);
2161 : : }
2162 : : else
2163 : 72649374 : dump_decl (pp, name, flags);
2164 : :
2165 : 75669722 : dump_module_suffix (pp, t);
2166 : :
2167 : 75669722 : if (DECL_TEMPLATE_INFO (t)
2168 : 58188354 : && !(flags & TFF_TEMPLATE_NAME)
2169 : 58182529 : && !DECL_FRIEND_PSEUDO_TEMPLATE_INSTANTIATION (t)
2170 : 133827722 : && (TREE_CODE (DECL_TI_TEMPLATE (t)) != TEMPLATE_DECL
2171 : 58157986 : || PRIMARY_TEMPLATE_P (DECL_TI_TEMPLATE (t))))
2172 : 428999 : dump_template_parms (pp, DECL_TEMPLATE_INFO (t), !DECL_USE_TEMPLATE (t),
2173 : : flags);
2174 : 75675287 : }
2175 : :
2176 : : /* Dump the template parameters from the template info INFO under control of
2177 : : FLAGS. PRIMARY indicates whether this is a primary template decl, or
2178 : : specialization (partial or complete). For partial specializations we show
2179 : : the specialized parameter values. For a primary template we show no
2180 : : decoration. */
2181 : :
2182 : : static void
2183 : 66822332 : dump_template_parms (cxx_pretty_printer *pp, tree info,
2184 : : int primary, int flags)
2185 : : {
2186 : 133644664 : tree args = info ? TI_ARGS (info) : NULL_TREE;
2187 : :
2188 : 66822332 : if (primary && flags & TFF_TEMPLATE_NAME)
2189 : : return;
2190 : 66532816 : flags &= ~(TFF_CLASS_KEY_OR_ENUM | TFF_TEMPLATE_NAME);
2191 : 66532816 : pp_cxx_begin_template_argument_list (pp);
2192 : :
2193 : : /* Be careful only to print things when we have them, so as not
2194 : : to crash producing error messages. */
2195 : 66532816 : if (args && !primary)
2196 : : {
2197 : 66518567 : int len, ix;
2198 : 66518567 : len = get_non_default_template_args_count (args, flags);
2199 : :
2200 : 66518567 : args = INNERMOST_TEMPLATE_ARGS (args);
2201 : 168126975 : for (ix = 0; ix != len; ix++)
2202 : : {
2203 : 101608408 : tree arg = TREE_VEC_ELT (args, ix);
2204 : :
2205 : : /* Only print a comma if we know there is an argument coming. In
2206 : : the case of an empty template argument pack, no actual
2207 : : argument will be printed. */
2208 : 101608408 : if (ix
2209 : 101608408 : && (!ARGUMENT_PACK_P (arg)
2210 : 4435332 : || TREE_VEC_LENGTH (ARGUMENT_PACK_ARGS (arg)) > 0))
2211 : 34756998 : pp_separate_with_comma (pp);
2212 : :
2213 : 101608408 : if (!arg)
2214 : 0 : pp_string (pp, M_("<template parameter error>"));
2215 : : else
2216 : 101608408 : dump_template_argument (pp, arg, flags);
2217 : : }
2218 : : }
2219 : 14249 : else if (primary)
2220 : : {
2221 : 14243 : tree tpl = TI_TEMPLATE (info);
2222 : 14243 : tree parms = DECL_TEMPLATE_PARMS (tpl);
2223 : 14243 : int len, ix;
2224 : :
2225 : 14243 : parms = TREE_CODE (parms) == TREE_LIST ? TREE_VALUE (parms) : NULL_TREE;
2226 : 28486 : len = parms ? TREE_VEC_LENGTH (parms) : 0;
2227 : :
2228 : 35258 : for (ix = 0; ix != len; ix++)
2229 : : {
2230 : 21015 : tree parm;
2231 : :
2232 : 21015 : if (TREE_VEC_ELT (parms, ix) == error_mark_node)
2233 : : {
2234 : 0 : pp_string (pp, M_("<template parameter error>"));
2235 : 0 : continue;
2236 : : }
2237 : :
2238 : 21015 : parm = TREE_VALUE (TREE_VEC_ELT (parms, ix));
2239 : :
2240 : 21015 : if (ix)
2241 : 6772 : pp_separate_with_comma (pp);
2242 : :
2243 : 21015 : dump_decl (pp, parm, flags & ~TFF_DECL_SPECIFIERS);
2244 : : }
2245 : : }
2246 : 66532816 : pp_cxx_end_template_argument_list (pp);
2247 : : }
2248 : :
2249 : : /* Print out the arguments of CALL_EXPR T as a parenthesized list using
2250 : : flags FLAGS. Skip over the first argument if SKIPFIRST is true. */
2251 : :
2252 : : static void
2253 : 2848 : dump_call_expr_args (cxx_pretty_printer *pp, tree t, int flags, bool skipfirst)
2254 : : {
2255 : 2848 : tree arg;
2256 : 2848 : call_expr_arg_iterator iter;
2257 : :
2258 : 2848 : pp_cxx_left_paren (pp);
2259 : 8255 : FOR_EACH_CALL_EXPR_ARG (arg, iter, t)
2260 : : {
2261 : 2559 : if (skipfirst)
2262 : : skipfirst = false;
2263 : : else
2264 : : {
2265 : 2169 : dump_expr (pp, arg, flags | TFF_EXPR_IN_PARENS);
2266 : 2169 : if (more_call_expr_args_p (&iter))
2267 : 446 : pp_separate_with_comma (pp);
2268 : : }
2269 : : }
2270 : 2848 : pp_cxx_right_paren (pp);
2271 : 2848 : }
2272 : :
2273 : : /* Print out the arguments of AGGR_INIT_EXPR T as a parenthesized list
2274 : : using flags FLAGS. Skip over the first argument if SKIPFIRST is
2275 : : true. */
2276 : :
2277 : : static void
2278 : 213 : dump_aggr_init_expr_args (cxx_pretty_printer *pp, tree t, int flags,
2279 : : bool skipfirst)
2280 : : {
2281 : 213 : tree arg;
2282 : 213 : aggr_init_expr_arg_iterator iter;
2283 : :
2284 : 213 : pp_cxx_left_paren (pp);
2285 : 734 : FOR_EACH_AGGR_INIT_EXPR_ARG (arg, iter, t)
2286 : : {
2287 : 308 : if (skipfirst)
2288 : : skipfirst = false;
2289 : : else
2290 : : {
2291 : 115 : dump_expr (pp, arg, flags | TFF_EXPR_IN_PARENS);
2292 : 115 : if (more_aggr_init_expr_args_p (&iter))
2293 : 5 : pp_separate_with_comma (pp);
2294 : : }
2295 : : }
2296 : 213 : pp_cxx_right_paren (pp);
2297 : 213 : }
2298 : :
2299 : : /* Print out a list of initializers (subr of dump_expr). */
2300 : :
2301 : : static void
2302 : 212 : dump_expr_list (cxx_pretty_printer *pp, tree l, int flags)
2303 : : {
2304 : 223 : while (l)
2305 : : {
2306 : 105 : dump_expr (pp, TREE_VALUE (l), flags | TFF_EXPR_IN_PARENS);
2307 : 105 : l = TREE_CHAIN (l);
2308 : 105 : if (l)
2309 : 11 : pp_separate_with_comma (pp);
2310 : : }
2311 : 212 : }
2312 : :
2313 : : /* Print out a vector of initializers (subr of dump_expr). */
2314 : :
2315 : : static void
2316 : 256 : dump_expr_init_vec (cxx_pretty_printer *pp, vec<constructor_elt, va_gc> *v,
2317 : : int flags)
2318 : : {
2319 : 256 : unsigned HOST_WIDE_INT idx;
2320 : 256 : tree value;
2321 : :
2322 : 582 : FOR_EACH_CONSTRUCTOR_VALUE (v, idx, value)
2323 : : {
2324 : 326 : dump_expr (pp, value, flags | TFF_EXPR_IN_PARENS);
2325 : 326 : if (idx != v->length () - 1)
2326 : 97 : pp_separate_with_comma (pp);
2327 : : }
2328 : 256 : }
2329 : :
2330 : :
2331 : : /* We've gotten an indirect REFERENCE (an OBJ_TYPE_REF) to a virtual
2332 : : function. Resolve it to a close relative -- in the sense of static
2333 : : type -- variant being overridden. That is close to what was written in
2334 : : the source code. Subroutine of dump_expr. */
2335 : :
2336 : : static tree
2337 : 22 : resolve_virtual_fun_from_obj_type_ref (tree ref)
2338 : : {
2339 : 22 : tree obj_type = TREE_TYPE (OBJ_TYPE_REF_TOKEN (ref));
2340 : 22 : HOST_WIDE_INT index = tree_to_uhwi (OBJ_TYPE_REF_TOKEN (ref));
2341 : 22 : tree fun = BINFO_VIRTUALS (TYPE_BINFO (TREE_TYPE (obj_type)));
2342 : 38 : while (index)
2343 : : {
2344 : 16 : fun = TREE_CHAIN (fun);
2345 : 16 : index -= (TARGET_VTABLE_USES_DESCRIPTORS
2346 : : ? TARGET_VTABLE_USES_DESCRIPTORS : 1);
2347 : : }
2348 : :
2349 : 22 : return BV_FN (fun);
2350 : : }
2351 : :
2352 : : /* Print out an expression E under control of FLAGS. */
2353 : :
2354 : : static void
2355 : 12759597 : dump_expr (cxx_pretty_printer *pp, tree t, int flags)
2356 : : {
2357 : 12774613 : tree op;
2358 : :
2359 : 12774613 : if (t == 0)
2360 : : return;
2361 : :
2362 : 12774601 : if (STATEMENT_CLASS_P (t))
2363 : : {
2364 : 36 : pp_cxx_ws_string (pp, M_("<statement>"));
2365 : 36 : return;
2366 : : }
2367 : :
2368 : 12774565 : switch (TREE_CODE (t))
2369 : : {
2370 : 34626 : case VAR_DECL:
2371 : 34626 : case PARM_DECL:
2372 : 34626 : case FIELD_DECL:
2373 : 34626 : case CONST_DECL:
2374 : 34626 : case FUNCTION_DECL:
2375 : 34626 : case TEMPLATE_DECL:
2376 : 34626 : case NAMESPACE_DECL:
2377 : 34626 : case LABEL_DECL:
2378 : 34626 : case WILDCARD_DECL:
2379 : 34626 : case OVERLOAD:
2380 : 34626 : case TYPE_DECL:
2381 : 34626 : case USING_DECL:
2382 : 34626 : case IDENTIFIER_NODE:
2383 : 34626 : dump_decl (pp, t, ((flags & ~(TFF_DECL_SPECIFIERS|TFF_RETURN_TYPE
2384 : : |TFF_TEMPLATE_HEADER))
2385 : : | TFF_NO_TEMPLATE_BINDINGS
2386 : 34626 : | TFF_NO_FUNCTION_ARGUMENTS));
2387 : 34626 : break;
2388 : :
2389 : 6407 : case SSA_NAME:
2390 : 6407 : if (SSA_NAME_VAR (t)
2391 : 6335 : && !DECL_ARTIFICIAL (SSA_NAME_VAR (t)))
2392 : : dump_expr (pp, SSA_NAME_VAR (t), flags);
2393 : : else
2394 : 73 : pp_cxx_ws_string (pp, M_("<unknown>"));
2395 : : break;
2396 : :
2397 : 12708187 : case VOID_CST:
2398 : 12708187 : case INTEGER_CST:
2399 : 12708187 : case REAL_CST:
2400 : 12708187 : case STRING_CST:
2401 : 12708187 : case COMPLEX_CST:
2402 : 12708187 : pp->constant (t);
2403 : 12708187 : break;
2404 : :
2405 : 0 : case USERDEF_LITERAL:
2406 : 0 : pp_cxx_userdef_literal (pp, t);
2407 : 0 : break;
2408 : :
2409 : 121 : case THROW_EXPR:
2410 : : /* While waiting for caret diagnostics, avoid printing
2411 : : __cxa_allocate_exception, __cxa_throw, and the like. */
2412 : 121 : pp_cxx_ws_string (pp, M_("<throw-expression>"));
2413 : 121 : break;
2414 : :
2415 : 327 : case PTRMEM_CST:
2416 : 327 : pp_ampersand (pp);
2417 : 327 : dump_type (pp, PTRMEM_CST_CLASS (t), flags);
2418 : 327 : pp_cxx_colon_colon (pp);
2419 : 327 : pp_cxx_tree_identifier (pp, DECL_NAME (PTRMEM_CST_MEMBER (t)));
2420 : 327 : break;
2421 : :
2422 : 124 : case COMPOUND_EXPR:
2423 : 124 : pp_cxx_left_paren (pp);
2424 : 124 : dump_expr (pp, TREE_OPERAND (t, 0), flags | TFF_EXPR_IN_PARENS);
2425 : 124 : pp_separate_with_comma (pp);
2426 : 124 : dump_expr (pp, TREE_OPERAND (t, 1), flags | TFF_EXPR_IN_PARENS);
2427 : 124 : pp_cxx_right_paren (pp);
2428 : 124 : break;
2429 : :
2430 : 70 : case COND_EXPR:
2431 : 70 : case VEC_COND_EXPR:
2432 : 70 : pp_cxx_left_paren (pp);
2433 : 70 : dump_expr (pp, TREE_OPERAND (t, 0), flags | TFF_EXPR_IN_PARENS);
2434 : 70 : pp_string (pp, " ? ");
2435 : 70 : dump_expr (pp, TREE_OPERAND (t, 1), flags | TFF_EXPR_IN_PARENS);
2436 : 70 : pp_string (pp, " : ");
2437 : 70 : dump_expr (pp, TREE_OPERAND (t, 2), flags | TFF_EXPR_IN_PARENS);
2438 : 70 : pp_cxx_right_paren (pp);
2439 : 70 : break;
2440 : :
2441 : 236 : case SAVE_EXPR:
2442 : 236 : if (TREE_HAS_CONSTRUCTOR (t))
2443 : : {
2444 : 0 : pp_cxx_ws_string (pp, "new");
2445 : 0 : pp_cxx_whitespace (pp);
2446 : 0 : dump_type (pp, TREE_TYPE (TREE_TYPE (t)), flags);
2447 : : }
2448 : : else
2449 : 236 : dump_expr (pp, TREE_OPERAND (t, 0), flags | TFF_EXPR_IN_PARENS);
2450 : : break;
2451 : :
2452 : 213 : case AGGR_INIT_EXPR:
2453 : 213 : {
2454 : 213 : tree fn = NULL_TREE;
2455 : :
2456 : 213 : if (TREE_CODE (AGGR_INIT_EXPR_FN (t)) == ADDR_EXPR)
2457 : 210 : fn = TREE_OPERAND (AGGR_INIT_EXPR_FN (t), 0);
2458 : :
2459 : 210 : if (fn && TREE_CODE (fn) == FUNCTION_DECL)
2460 : : {
2461 : 210 : if (DECL_CONSTRUCTOR_P (fn))
2462 : 187 : dump_type (pp, DECL_CONTEXT (fn), flags);
2463 : : else
2464 : 23 : dump_decl (pp, fn, 0);
2465 : : }
2466 : : else
2467 : 3 : dump_expr (pp, AGGR_INIT_EXPR_FN (t), 0);
2468 : : }
2469 : 213 : dump_aggr_init_expr_args (pp, t, flags, true);
2470 : 213 : break;
2471 : :
2472 : 2848 : case CALL_EXPR:
2473 : 2848 : {
2474 : 2848 : tree fn = CALL_EXPR_FN (t);
2475 : 2848 : bool skipfirst = false;
2476 : :
2477 : : /* Deal with internal functions. */
2478 : 2848 : if (fn == NULL_TREE)
2479 : : {
2480 : 3 : pp_string (pp, internal_fn_name (CALL_EXPR_IFN (t)));
2481 : 3 : dump_call_expr_args (pp, t, flags, skipfirst);
2482 : 3 : break;
2483 : : }
2484 : :
2485 : 2845 : if (TREE_CODE (fn) == ADDR_EXPR)
2486 : 1997 : fn = TREE_OPERAND (fn, 0);
2487 : :
2488 : : /* Nobody is interested in seeing the guts of vcalls. */
2489 : 2845 : if (TREE_CODE (fn) == OBJ_TYPE_REF)
2490 : 13 : fn = resolve_virtual_fun_from_obj_type_ref (fn);
2491 : :
2492 : 2845 : if (TREE_TYPE (fn) != NULL_TREE
2493 : 2500 : && NEXT_CODE (fn) == METHOD_TYPE
2494 : 3238 : && call_expr_nargs (t))
2495 : : {
2496 : 390 : tree ob = CALL_EXPR_ARG (t, 0);
2497 : 390 : if (TREE_CODE (ob) == ADDR_EXPR)
2498 : : {
2499 : 307 : dump_expr (pp, TREE_OPERAND (ob, 0),
2500 : : flags | TFF_EXPR_IN_PARENS);
2501 : 307 : pp_cxx_dot (pp);
2502 : : }
2503 : 83 : else if (!is_this_parameter (ob))
2504 : : {
2505 : 83 : dump_expr (pp, ob, flags | TFF_EXPR_IN_PARENS);
2506 : 83 : pp_cxx_arrow (pp);
2507 : : }
2508 : : skipfirst = true;
2509 : : }
2510 : 2845 : if (flag_sanitize & SANITIZE_UNDEFINED
2511 : 2845 : && is_ubsan_builtin_p (fn))
2512 : : {
2513 : 0 : pp_string (cxx_pp, M_("<ubsan routine call>"));
2514 : 0 : break;
2515 : : }
2516 : 2845 : dump_expr (pp, fn, flags | TFF_EXPR_IN_PARENS);
2517 : 2845 : dump_call_expr_args (pp, t, flags, skipfirst);
2518 : : }
2519 : 2845 : break;
2520 : :
2521 : 1092 : case TARGET_EXPR:
2522 : : /* Note that this only works for G++ target exprs. If somebody
2523 : : builds a general TARGET_EXPR, there's no way to represent that
2524 : : it initializes anything other that the parameter slot for the
2525 : : default argument. Note we may have cleared out the first
2526 : : operand in expand_expr, so don't go killing ourselves. */
2527 : 1092 : if (TREE_OPERAND (t, 1))
2528 : 1092 : dump_expr (pp, TREE_OPERAND (t, 1), flags | TFF_EXPR_IN_PARENS);
2529 : : break;
2530 : :
2531 : 281 : case POINTER_PLUS_EXPR:
2532 : 281 : dump_binary_op (pp, "+", t, flags);
2533 : 281 : break;
2534 : :
2535 : 2 : case POINTER_DIFF_EXPR:
2536 : 2 : dump_binary_op (pp, "-", t, flags);
2537 : 2 : break;
2538 : :
2539 : 21 : case INIT_EXPR:
2540 : 21 : case MODIFY_EXPR:
2541 : 21 : dump_binary_op (pp, OVL_OP_INFO (true, NOP_EXPR)->name, t, flags);
2542 : 21 : break;
2543 : :
2544 : 1627 : case PLUS_EXPR:
2545 : 1627 : case MINUS_EXPR:
2546 : 1627 : case MULT_EXPR:
2547 : 1627 : case TRUNC_DIV_EXPR:
2548 : 1627 : case TRUNC_MOD_EXPR:
2549 : 1627 : case MIN_EXPR:
2550 : 1627 : case MAX_EXPR:
2551 : 1627 : case LSHIFT_EXPR:
2552 : 1627 : case RSHIFT_EXPR:
2553 : 1627 : case BIT_IOR_EXPR:
2554 : 1627 : case BIT_XOR_EXPR:
2555 : 1627 : case BIT_AND_EXPR:
2556 : 1627 : case TRUTH_ANDIF_EXPR:
2557 : 1627 : case TRUTH_ORIF_EXPR:
2558 : 1627 : case LT_EXPR:
2559 : 1627 : case LE_EXPR:
2560 : 1627 : case GT_EXPR:
2561 : 1627 : case GE_EXPR:
2562 : 1627 : case EQ_EXPR:
2563 : 1627 : case NE_EXPR:
2564 : 1627 : case SPACESHIP_EXPR:
2565 : 1627 : case EXACT_DIV_EXPR:
2566 : 1627 : dump_binary_op (pp, OVL_OP_INFO (false, TREE_CODE (t))->name, t, flags);
2567 : 1627 : break;
2568 : :
2569 : 7 : case CEIL_DIV_EXPR:
2570 : 7 : case FLOOR_DIV_EXPR:
2571 : 7 : case ROUND_DIV_EXPR:
2572 : 7 : case RDIV_EXPR:
2573 : 7 : dump_binary_op (pp, "/", t, flags);
2574 : 7 : break;
2575 : :
2576 : 0 : case CEIL_MOD_EXPR:
2577 : 0 : case FLOOR_MOD_EXPR:
2578 : 0 : case ROUND_MOD_EXPR:
2579 : 0 : dump_binary_op (pp, "%", t, flags);
2580 : 0 : break;
2581 : :
2582 : 1048 : case COMPONENT_REF:
2583 : 1048 : {
2584 : 1048 : tree ob = TREE_OPERAND (t, 0);
2585 : 1048 : if (INDIRECT_REF_P (ob))
2586 : : {
2587 : 444 : ob = TREE_OPERAND (ob, 0);
2588 : 444 : if (!is_this_parameter (ob)
2589 : 444 : && !is_dummy_object (ob))
2590 : : {
2591 : 420 : dump_expr (pp, ob, flags | TFF_EXPR_IN_PARENS);
2592 : 420 : if (TYPE_REF_P (TREE_TYPE (ob)))
2593 : 170 : pp_cxx_dot (pp);
2594 : : else
2595 : 250 : pp_cxx_arrow (pp);
2596 : : }
2597 : : }
2598 : : else
2599 : : {
2600 : 604 : dump_expr (pp, ob, flags | TFF_EXPR_IN_PARENS);
2601 : 604 : if (TREE_CODE (ob) != ARROW_EXPR)
2602 : 601 : pp_cxx_dot (pp);
2603 : : }
2604 : 1048 : dump_expr (pp, TREE_OPERAND (t, 1), flags & ~TFF_EXPR_IN_PARENS);
2605 : : }
2606 : 1048 : break;
2607 : :
2608 : 256 : case ARRAY_REF:
2609 : 256 : dump_expr (pp, TREE_OPERAND (t, 0), flags | TFF_EXPR_IN_PARENS);
2610 : 256 : pp_cxx_left_bracket (pp);
2611 : 256 : dump_expr (pp, TREE_OPERAND (t, 1), flags | TFF_EXPR_IN_PARENS);
2612 : 256 : pp_cxx_right_bracket (pp);
2613 : 256 : break;
2614 : :
2615 : 30 : case OMP_ARRAY_SECTION:
2616 : 30 : dump_expr (pp, TREE_OPERAND (t, 0), flags);
2617 : 30 : pp_cxx_left_bracket (pp);
2618 : 30 : dump_expr (pp, TREE_OPERAND (t, 1), flags);
2619 : 30 : pp_colon (pp);
2620 : 30 : dump_expr (pp, TREE_OPERAND (t, 2), flags);
2621 : 30 : pp_cxx_right_bracket (pp);
2622 : 30 : break;
2623 : :
2624 : 0 : case UNARY_PLUS_EXPR:
2625 : 0 : dump_unary_op (pp, "+", t, flags);
2626 : 0 : break;
2627 : :
2628 : 1170 : case ADDR_EXPR:
2629 : 1170 : if (TREE_CODE (TREE_OPERAND (t, 0)) == FUNCTION_DECL
2630 : 860 : || TREE_CODE (TREE_OPERAND (t, 0)) == STRING_CST
2631 : : /* An ADDR_EXPR can have reference type. In that case, we
2632 : : shouldn't print the `&' doing so indicates to the user
2633 : : that the expression has pointer type. */
2634 : 1987 : || (TREE_TYPE (t)
2635 : 817 : && TYPE_REF_P (TREE_TYPE (t))))
2636 : 356 : dump_expr (pp, TREE_OPERAND (t, 0), flags | TFF_EXPR_IN_PARENS);
2637 : 814 : else if (TREE_CODE (TREE_OPERAND (t, 0)) == LABEL_DECL)
2638 : 3 : dump_unary_op (pp, "&&", t, flags);
2639 : : else
2640 : 811 : dump_unary_op (pp, "&", t, flags);
2641 : : break;
2642 : :
2643 : 625 : case INDIRECT_REF:
2644 : 625 : if (TREE_HAS_CONSTRUCTOR (t))
2645 : : {
2646 : 0 : t = TREE_OPERAND (t, 0);
2647 : 0 : gcc_assert (TREE_CODE (t) == CALL_EXPR);
2648 : 0 : dump_expr (pp, CALL_EXPR_FN (t), flags | TFF_EXPR_IN_PARENS);
2649 : 0 : dump_call_expr_args (pp, t, flags, true);
2650 : : }
2651 : : else
2652 : : {
2653 : 625 : if (TREE_OPERAND (t,0) != NULL_TREE
2654 : 625 : && TREE_TYPE (TREE_OPERAND (t, 0))
2655 : 1242 : && NEXT_CODE (TREE_OPERAND (t, 0)) == REFERENCE_TYPE)
2656 : 384 : dump_expr (pp, TREE_OPERAND (t, 0), flags);
2657 : : else
2658 : 241 : dump_unary_op (pp, "*", t, flags);
2659 : : }
2660 : : break;
2661 : :
2662 : 589 : case MEM_REF:
2663 : : /* Delegate to the base "C" pretty printer. */
2664 : 589 : pp->c_pretty_printer::unary_expression (t);
2665 : 589 : break;
2666 : :
2667 : 0 : case TARGET_MEM_REF:
2668 : : /* TARGET_MEM_REF can't appear directly from source, but can appear
2669 : : during late GIMPLE optimizations and through late diagnostic we might
2670 : : need to support it. Print it as dereferencing of a pointer after
2671 : : cast to the TARGET_MEM_REF type, with pointer arithmetics on some
2672 : : pointer to single byte types, so
2673 : : *(type *)((char *) ptr + step * index + index2) if all the operands
2674 : : are present and the casts are needed. */
2675 : 0 : pp_cxx_star (pp);
2676 : 0 : pp_cxx_left_paren (pp);
2677 : 0 : if (TYPE_SIZE_UNIT (TREE_TYPE (TREE_TYPE (TMR_BASE (t)))) == NULL_TREE
2678 : 0 : || !integer_onep (TYPE_SIZE_UNIT
2679 : : (TREE_TYPE (TREE_TYPE (TMR_BASE (t))))))
2680 : : {
2681 : 0 : if (TYPE_SIZE_UNIT (TREE_TYPE (t))
2682 : 0 : && integer_onep (TYPE_SIZE_UNIT (TREE_TYPE (t))))
2683 : : {
2684 : 0 : pp_cxx_left_paren (pp);
2685 : 0 : dump_type (pp, build_pointer_type (TREE_TYPE (t)), flags);
2686 : : }
2687 : : else
2688 : : {
2689 : 0 : dump_type (pp, build_pointer_type (TREE_TYPE (t)), flags);
2690 : 0 : pp_cxx_right_paren (pp);
2691 : 0 : pp_cxx_left_paren (pp);
2692 : 0 : pp_cxx_left_paren (pp);
2693 : 0 : dump_type (pp, build_pointer_type (char_type_node), flags);
2694 : : }
2695 : 0 : pp_cxx_right_paren (pp);
2696 : : }
2697 : 0 : else if (!same_type_p (TREE_TYPE (t),
2698 : : TREE_TYPE (TREE_TYPE (TMR_BASE (t)))))
2699 : : {
2700 : 0 : dump_type (pp, build_pointer_type (TREE_TYPE (t)), flags);
2701 : 0 : pp_cxx_right_paren (pp);
2702 : 0 : pp_cxx_left_paren (pp);
2703 : : }
2704 : 0 : dump_expr (pp, TMR_BASE (t), flags);
2705 : 0 : if (TMR_STEP (t) && TMR_INDEX (t))
2706 : : {
2707 : 0 : pp_cxx_ws_string (pp, "+");
2708 : 0 : dump_expr (pp, TMR_INDEX (t), flags);
2709 : 0 : pp_cxx_ws_string (pp, "*");
2710 : 0 : dump_expr (pp, TMR_STEP (t), flags);
2711 : : }
2712 : 0 : if (TMR_INDEX2 (t))
2713 : : {
2714 : 0 : pp_cxx_ws_string (pp, "+");
2715 : 0 : dump_expr (pp, TMR_INDEX2 (t), flags);
2716 : : }
2717 : 0 : if (!integer_zerop (TMR_OFFSET (t)))
2718 : : {
2719 : 0 : pp_cxx_ws_string (pp, "+");
2720 : 0 : dump_expr (pp, fold_convert (ssizetype, TMR_OFFSET (t)), flags);
2721 : : }
2722 : 0 : pp_cxx_right_paren (pp);
2723 : 0 : break;
2724 : :
2725 : 216 : case NEGATE_EXPR:
2726 : 216 : case BIT_NOT_EXPR:
2727 : 216 : case TRUTH_NOT_EXPR:
2728 : 216 : case PREDECREMENT_EXPR:
2729 : 216 : case PREINCREMENT_EXPR:
2730 : 216 : dump_unary_op (pp, OVL_OP_INFO (false, TREE_CODE (t))->name, t, flags);
2731 : 216 : break;
2732 : :
2733 : 0 : case POSTDECREMENT_EXPR:
2734 : 0 : case POSTINCREMENT_EXPR:
2735 : 0 : pp_cxx_left_paren (pp);
2736 : 0 : dump_expr (pp, TREE_OPERAND (t, 0), flags | TFF_EXPR_IN_PARENS);
2737 : 0 : pp_cxx_ws_string (pp, OVL_OP_INFO (false, TREE_CODE (t))->name);
2738 : 0 : pp_cxx_right_paren (pp);
2739 : 0 : break;
2740 : :
2741 : 1297 : case NON_LVALUE_EXPR:
2742 : : /* FIXME: This is a KLUDGE workaround for a parsing problem. There
2743 : : should be another level of INDIRECT_REF so that I don't have to do
2744 : : this. */
2745 : 1297 : if (TREE_TYPE (t) != NULL_TREE && NEXT_CODE (t) == POINTER_TYPE)
2746 : : {
2747 : 23 : tree next = TREE_TYPE (TREE_TYPE (t));
2748 : :
2749 : 23 : while (TYPE_PTR_P (next))
2750 : 0 : next = TREE_TYPE (next);
2751 : :
2752 : 23 : if (TREE_CODE (next) == FUNCTION_TYPE)
2753 : : {
2754 : 0 : if (flags & TFF_EXPR_IN_PARENS)
2755 : 0 : pp_cxx_left_paren (pp);
2756 : 0 : pp_cxx_star (pp);
2757 : 0 : dump_expr (pp, TREE_OPERAND (t, 0), flags & ~TFF_EXPR_IN_PARENS);
2758 : 0 : if (flags & TFF_EXPR_IN_PARENS)
2759 : 0 : pp_cxx_right_paren (pp);
2760 : : break;
2761 : : }
2762 : : /* Else fall through. */
2763 : : }
2764 : 1297 : dump_expr (pp, TREE_OPERAND (t, 0), flags | TFF_EXPR_IN_PARENS);
2765 : 1297 : break;
2766 : :
2767 : 5562 : CASE_CONVERT:
2768 : 5562 : case IMPLICIT_CONV_EXPR:
2769 : 5562 : case VIEW_CONVERT_EXPR:
2770 : 5562 : case EXCESS_PRECISION_EXPR:
2771 : 5562 : {
2772 : 5562 : tree op = TREE_OPERAND (t, 0);
2773 : :
2774 : 5562 : if (location_wrapper_p (t))
2775 : : {
2776 : : dump_expr (pp, op, flags);
2777 : : break;
2778 : : }
2779 : :
2780 : 1962 : tree ttype = TREE_TYPE (t);
2781 : 1962 : tree optype = TREE_TYPE (op);
2782 : 1962 : if (!optype)
2783 : 99 : optype = unknown_type_node;
2784 : :
2785 : 1962 : if (TREE_CODE (ttype) != TREE_CODE (optype)
2786 : 905 : && INDIRECT_TYPE_P (ttype)
2787 : 597 : && INDIRECT_TYPE_P (optype)
2788 : 2478 : && same_type_p (TREE_TYPE (optype),
2789 : : TREE_TYPE (ttype)))
2790 : : {
2791 : 472 : if (TYPE_REF_P (ttype))
2792 : : {
2793 : 412 : STRIP_NOPS (op);
2794 : 412 : if (TREE_CODE (op) == ADDR_EXPR)
2795 : 391 : dump_expr (pp, TREE_OPERAND (op, 0), flags);
2796 : : else
2797 : 21 : dump_unary_op (pp, "*", t, flags);
2798 : : }
2799 : : else
2800 : 60 : dump_unary_op (pp, "&", t, flags);
2801 : : }
2802 : 1490 : else if (!same_type_p (optype, ttype))
2803 : : {
2804 : : /* It is a cast, but we cannot tell whether it is a
2805 : : reinterpret or static cast. Use the C style notation. */
2806 : 1382 : if (flags & TFF_EXPR_IN_PARENS)
2807 : 826 : pp_cxx_left_paren (pp);
2808 : 1382 : pp_cxx_left_paren (pp);
2809 : 1382 : dump_type (pp, TREE_TYPE (t), flags);
2810 : 1382 : pp_cxx_right_paren (pp);
2811 : 1382 : dump_expr (pp, op, flags | TFF_EXPR_IN_PARENS);
2812 : 1382 : if (flags & TFF_EXPR_IN_PARENS)
2813 : 826 : pp_cxx_right_paren (pp);
2814 : : }
2815 : : else
2816 : : dump_expr (pp, op, flags);
2817 : : break;
2818 : : }
2819 : :
2820 : 1055 : case CONSTRUCTOR:
2821 : 1055 : if (TREE_TYPE (t) && TYPE_PTRMEMFUNC_P (TREE_TYPE (t)))
2822 : : {
2823 : 6 : tree idx = build_ptrmemfunc_access_expr (t, pfn_identifier);
2824 : :
2825 : 6 : if (integer_zerop (idx))
2826 : : {
2827 : : /* A NULL pointer-to-member constant. */
2828 : 2 : pp_cxx_left_paren (pp);
2829 : 2 : pp_cxx_left_paren (pp);
2830 : 2 : dump_type (pp, TREE_TYPE (t), flags);
2831 : 2 : pp_cxx_right_paren (pp);
2832 : 2 : pp_character (pp, '0');
2833 : 2 : pp_cxx_right_paren (pp);
2834 : 2 : break;
2835 : : }
2836 : 4 : else if (tree_fits_shwi_p (idx))
2837 : : {
2838 : 4 : tree virtuals;
2839 : 4 : unsigned HOST_WIDE_INT n;
2840 : :
2841 : 4 : t = TREE_TYPE (TYPE_PTRMEMFUNC_FN_TYPE (TREE_TYPE (t)));
2842 : 4 : t = TYPE_METHOD_BASETYPE (t);
2843 : 4 : virtuals = BINFO_VIRTUALS (TYPE_BINFO (TYPE_MAIN_VARIANT (t)));
2844 : :
2845 : 4 : n = tree_to_shwi (idx);
2846 : :
2847 : : /* Map vtable index back one, to allow for the null pointer to
2848 : : member. */
2849 : 4 : --n;
2850 : :
2851 : 4 : while (n > 0 && virtuals)
2852 : : {
2853 : 0 : --n;
2854 : 0 : virtuals = TREE_CHAIN (virtuals);
2855 : : }
2856 : 4 : if (virtuals)
2857 : : {
2858 : 4 : dump_expr (pp, BV_FN (virtuals),
2859 : : flags | TFF_EXPR_IN_PARENS);
2860 : 4 : break;
2861 : : }
2862 : : }
2863 : : }
2864 : 1934 : if (TREE_TYPE (t) && LAMBDA_TYPE_P (TREE_TYPE (t)))
2865 : 12 : pp_string (pp, "<lambda closure object>");
2866 : 1049 : if (TREE_TYPE (t) && EMPTY_CONSTRUCTOR_P (t))
2867 : : {
2868 : 793 : dump_type (pp, TREE_TYPE (t), 0);
2869 : 793 : pp_cxx_left_paren (pp);
2870 : 793 : pp_cxx_right_paren (pp);
2871 : : }
2872 : : else
2873 : : {
2874 : 256 : if (!BRACE_ENCLOSED_INITIALIZER_P (t))
2875 : 204 : dump_type (pp, TREE_TYPE (t), 0);
2876 : 256 : pp_cxx_left_brace (pp);
2877 : 256 : dump_expr_init_vec (pp, CONSTRUCTOR_ELTS (t), flags);
2878 : 256 : pp_cxx_right_brace (pp);
2879 : : }
2880 : :
2881 : : break;
2882 : :
2883 : 28 : case OFFSET_REF:
2884 : 28 : {
2885 : 28 : tree ob = TREE_OPERAND (t, 0);
2886 : 28 : if (is_dummy_object (ob))
2887 : : {
2888 : 25 : t = TREE_OPERAND (t, 1);
2889 : 25 : if (TREE_CODE (t) == FUNCTION_DECL)
2890 : : /* A::f */
2891 : 0 : dump_expr (pp, t, flags | TFF_EXPR_IN_PARENS);
2892 : 25 : else if (BASELINK_P (t))
2893 : 44 : dump_expr (pp, OVL_FIRST (BASELINK_FUNCTIONS (t)),
2894 : : flags | TFF_EXPR_IN_PARENS);
2895 : : else
2896 : 3 : dump_decl (pp, t, flags);
2897 : : }
2898 : : else
2899 : : {
2900 : 3 : if (INDIRECT_REF_P (ob))
2901 : : {
2902 : 3 : dump_expr (pp, TREE_OPERAND (ob, 0), flags | TFF_EXPR_IN_PARENS);
2903 : 3 : pp_cxx_arrow (pp);
2904 : 3 : pp_cxx_star (pp);
2905 : : }
2906 : : else
2907 : : {
2908 : 0 : dump_expr (pp, ob, flags | TFF_EXPR_IN_PARENS);
2909 : 0 : pp_cxx_dot (pp);
2910 : 0 : pp_cxx_star (pp);
2911 : : }
2912 : 3 : dump_expr (pp, TREE_OPERAND (t, 1), flags | TFF_EXPR_IN_PARENS);
2913 : : }
2914 : : break;
2915 : : }
2916 : :
2917 : 2017 : case TEMPLATE_PARM_INDEX:
2918 : 2017 : dump_decl (pp, TEMPLATE_PARM_DECL (t), flags & ~TFF_DECL_SPECIFIERS);
2919 : 2017 : break;
2920 : :
2921 : 179 : case CAST_EXPR:
2922 : 179 : if (TREE_OPERAND (t, 0) == NULL_TREE
2923 : 179 : || TREE_CHAIN (TREE_OPERAND (t, 0)))
2924 : : {
2925 : 120 : dump_type (pp, TREE_TYPE (t), flags);
2926 : 120 : pp_cxx_left_paren (pp);
2927 : 120 : dump_expr_list (pp, TREE_OPERAND (t, 0), flags);
2928 : 120 : pp_cxx_right_paren (pp);
2929 : : }
2930 : : else
2931 : : {
2932 : 59 : pp_cxx_left_paren (pp);
2933 : 59 : dump_type (pp, TREE_TYPE (t), flags);
2934 : 59 : pp_cxx_right_paren (pp);
2935 : 59 : pp_cxx_left_paren (pp);
2936 : 59 : dump_expr_list (pp, TREE_OPERAND (t, 0), flags);
2937 : 59 : pp_cxx_right_paren (pp);
2938 : : }
2939 : : break;
2940 : :
2941 : 31 : case STATIC_CAST_EXPR:
2942 : 31 : pp_cxx_ws_string (pp, "static_cast");
2943 : 31 : goto cast;
2944 : 0 : case REINTERPRET_CAST_EXPR:
2945 : 0 : pp_cxx_ws_string (pp, "reinterpret_cast");
2946 : 0 : goto cast;
2947 : 3 : case CONST_CAST_EXPR:
2948 : 3 : pp_cxx_ws_string (pp, "const_cast");
2949 : 3 : goto cast;
2950 : 0 : case DYNAMIC_CAST_EXPR:
2951 : 0 : pp_cxx_ws_string (pp, "dynamic_cast");
2952 : 34 : cast:
2953 : 34 : pp_cxx_begin_template_argument_list (pp);
2954 : 34 : dump_type (pp, TREE_TYPE (t), flags);
2955 : 34 : pp_cxx_end_template_argument_list (pp);
2956 : 34 : pp_cxx_left_paren (pp);
2957 : 34 : dump_expr (pp, TREE_OPERAND (t, 0), flags);
2958 : 34 : pp_cxx_right_paren (pp);
2959 : 34 : break;
2960 : :
2961 : 3 : case ARROW_EXPR:
2962 : 3 : dump_expr (pp, TREE_OPERAND (t, 0), flags);
2963 : 3 : pp_cxx_arrow (pp);
2964 : 3 : break;
2965 : :
2966 : 198 : case SIZEOF_EXPR:
2967 : 198 : case ALIGNOF_EXPR:
2968 : 198 : if (TREE_CODE (t) == SIZEOF_EXPR)
2969 : 180 : pp_cxx_ws_string (pp, "sizeof");
2970 : 18 : else if (ALIGNOF_EXPR_STD_P (t))
2971 : 12 : pp_cxx_ws_string (pp, "alignof");
2972 : : else
2973 : 6 : pp_cxx_ws_string (pp, "__alignof__");
2974 : 198 : op = TREE_OPERAND (t, 0);
2975 : 198 : if (PACK_EXPANSION_P (op))
2976 : : {
2977 : 84 : pp_string (pp, "...");
2978 : 84 : op = PACK_EXPANSION_PATTERN (op);
2979 : : }
2980 : 198 : pp_cxx_whitespace (pp);
2981 : 198 : pp_cxx_left_paren (pp);
2982 : 198 : if (TREE_CODE (t) == SIZEOF_EXPR && SIZEOF_EXPR_TYPE_P (t))
2983 : 29 : dump_type (pp, TREE_TYPE (op), flags);
2984 : 169 : else if (TYPE_P (TREE_OPERAND (t, 0)))
2985 : 106 : dump_type (pp, op, flags);
2986 : : else
2987 : 63 : dump_expr (pp, op, flags);
2988 : 198 : pp_cxx_right_paren (pp);
2989 : 198 : break;
2990 : :
2991 : 0 : case AT_ENCODE_EXPR:
2992 : 0 : pp_cxx_ws_string (pp, "@encode");
2993 : 0 : pp_cxx_whitespace (pp);
2994 : 0 : pp_cxx_left_paren (pp);
2995 : 0 : dump_type (pp, TREE_OPERAND (t, 0), flags);
2996 : 0 : pp_cxx_right_paren (pp);
2997 : 0 : break;
2998 : :
2999 : 12 : case NOEXCEPT_EXPR:
3000 : 12 : pp_cxx_ws_string (pp, "noexcept");
3001 : 12 : pp_cxx_whitespace (pp);
3002 : 12 : pp_cxx_left_paren (pp);
3003 : 12 : dump_expr (pp, TREE_OPERAND (t, 0), flags);
3004 : 12 : pp_cxx_right_paren (pp);
3005 : 12 : break;
3006 : :
3007 : 0 : case REALPART_EXPR:
3008 : 0 : case IMAGPART_EXPR:
3009 : 0 : pp_cxx_ws_string (pp, OVL_OP_INFO (false, TREE_CODE (t))->name);
3010 : 0 : pp_cxx_whitespace (pp);
3011 : 0 : dump_expr (pp, TREE_OPERAND (t, 0), flags);
3012 : 0 : break;
3013 : :
3014 : 0 : case DEFERRED_PARSE:
3015 : 0 : pp_string (pp, M_("<unparsed>"));
3016 : 0 : break;
3017 : :
3018 : 0 : case TRY_CATCH_EXPR:
3019 : 0 : case CLEANUP_POINT_EXPR:
3020 : 0 : dump_expr (pp, TREE_OPERAND (t, 0), flags);
3021 : 0 : break;
3022 : :
3023 : 0 : case PSEUDO_DTOR_EXPR:
3024 : 0 : dump_expr (pp, TREE_OPERAND (t, 0), flags);
3025 : 0 : pp_cxx_dot (pp);
3026 : 0 : if (TREE_OPERAND (t, 1))
3027 : : {
3028 : 0 : dump_type (pp, TREE_OPERAND (t, 1), flags);
3029 : 0 : pp_cxx_colon_colon (pp);
3030 : : }
3031 : 0 : pp_cxx_complement (pp);
3032 : 0 : dump_type (pp, TREE_OPERAND (t, 2), flags);
3033 : 0 : break;
3034 : :
3035 : 1331 : case TEMPLATE_ID_EXPR:
3036 : 1331 : dump_decl (pp, t, flags);
3037 : 1331 : break;
3038 : :
3039 : 28 : case BIND_EXPR:
3040 : 28 : case STMT_EXPR:
3041 : 28 : case EXPR_STMT:
3042 : 28 : case STATEMENT_LIST:
3043 : : /* We don't yet have a way of dumping statements in a
3044 : : human-readable format. */
3045 : 28 : pp_string (pp, "({...})");
3046 : 28 : break;
3047 : :
3048 : 0 : case LOOP_EXPR:
3049 : 0 : pp_string (pp, "while (1) { ");
3050 : 0 : dump_expr (pp, TREE_OPERAND (t, 0), flags & ~TFF_EXPR_IN_PARENS);
3051 : 0 : pp_cxx_right_brace (pp);
3052 : 0 : break;
3053 : :
3054 : 0 : case EXIT_EXPR:
3055 : 0 : pp_string (pp, "if (");
3056 : 0 : dump_expr (pp, TREE_OPERAND (t, 0), flags & ~TFF_EXPR_IN_PARENS);
3057 : 0 : pp_string (pp, ") break; ");
3058 : 0 : break;
3059 : :
3060 : 132 : case BASELINK:
3061 : 132 : dump_expr (pp, BASELINK_FUNCTIONS (t), flags & ~TFF_EXPR_IN_PARENS);
3062 : 132 : break;
3063 : :
3064 : 54 : case EMPTY_CLASS_EXPR:
3065 : 54 : dump_type (pp, TREE_TYPE (t), flags);
3066 : 54 : pp_cxx_left_paren (pp);
3067 : 54 : pp_cxx_right_paren (pp);
3068 : 54 : break;
3069 : :
3070 : 0 : case ARGUMENT_PACK_SELECT:
3071 : 0 : dump_template_argument (pp, ARGUMENT_PACK_SELECT_FROM_PACK (t), flags);
3072 : 0 : break;
3073 : :
3074 : 68 : case RECORD_TYPE:
3075 : 68 : case UNION_TYPE:
3076 : 68 : case ENUMERAL_TYPE:
3077 : 68 : case REAL_TYPE:
3078 : 68 : case VOID_TYPE:
3079 : 68 : case OPAQUE_TYPE:
3080 : 68 : case BOOLEAN_TYPE:
3081 : 68 : case INTEGER_TYPE:
3082 : 68 : case COMPLEX_TYPE:
3083 : 68 : case VECTOR_TYPE:
3084 : 68 : case DECLTYPE_TYPE:
3085 : 68 : pp_type_specifier_seq (pp, t);
3086 : 68 : break;
3087 : :
3088 : 0 : case TYPENAME_TYPE:
3089 : : /* We get here when we want to print a dependent type as an
3090 : : id-expression, without any disambiguator decoration. */
3091 : 0 : pp->id_expression (t);
3092 : 0 : break;
3093 : :
3094 : 33 : case TEMPLATE_TYPE_PARM:
3095 : 33 : case TEMPLATE_TEMPLATE_PARM:
3096 : 33 : case BOUND_TEMPLATE_TEMPLATE_PARM:
3097 : 33 : dump_type (pp, t, flags);
3098 : 33 : break;
3099 : :
3100 : 59 : case TRAIT_EXPR:
3101 : 59 : pp_cxx_trait (pp, t);
3102 : 59 : break;
3103 : :
3104 : 3 : case VA_ARG_EXPR:
3105 : 3 : pp_cxx_va_arg_expression (pp, t);
3106 : 3 : break;
3107 : :
3108 : 15 : case OFFSETOF_EXPR:
3109 : 15 : pp_cxx_offsetof_expression (pp, t);
3110 : 15 : break;
3111 : :
3112 : 0 : case ADDRESSOF_EXPR:
3113 : 0 : pp_cxx_addressof_expression (pp, t);
3114 : 0 : break;
3115 : :
3116 : 1033 : case SCOPE_REF:
3117 : 1033 : dump_decl (pp, t, flags);
3118 : 1033 : break;
3119 : :
3120 : 708 : case EXPR_PACK_EXPANSION:
3121 : 708 : case UNARY_LEFT_FOLD_EXPR:
3122 : 708 : case UNARY_RIGHT_FOLD_EXPR:
3123 : 708 : case BINARY_LEFT_FOLD_EXPR:
3124 : 708 : case BINARY_RIGHT_FOLD_EXPR:
3125 : 708 : case TYPEID_EXPR:
3126 : 708 : case MEMBER_REF:
3127 : 708 : case DOTSTAR_EXPR:
3128 : 708 : case NEW_EXPR:
3129 : 708 : case VEC_NEW_EXPR:
3130 : 708 : case DELETE_EXPR:
3131 : 708 : case VEC_DELETE_EXPR:
3132 : 708 : case MODOP_EXPR:
3133 : 708 : case ABS_EXPR:
3134 : 708 : case ABSU_EXPR:
3135 : 708 : case CONJ_EXPR:
3136 : 708 : case VECTOR_CST:
3137 : 708 : case FIXED_CST:
3138 : 708 : case UNORDERED_EXPR:
3139 : 708 : case ORDERED_EXPR:
3140 : 708 : case UNLT_EXPR:
3141 : 708 : case UNLE_EXPR:
3142 : 708 : case UNGT_EXPR:
3143 : 708 : case UNGE_EXPR:
3144 : 708 : case UNEQ_EXPR:
3145 : 708 : case LTGT_EXPR:
3146 : 708 : case COMPLEX_EXPR:
3147 : 708 : case BIT_FIELD_REF:
3148 : 708 : case FIX_TRUNC_EXPR:
3149 : 708 : case FLOAT_EXPR:
3150 : 708 : pp->expression (t);
3151 : 708 : break;
3152 : :
3153 : 0 : case TRUTH_AND_EXPR:
3154 : 0 : case TRUTH_OR_EXPR:
3155 : 0 : case TRUTH_XOR_EXPR:
3156 : 0 : if (flags & TFF_EXPR_IN_PARENS)
3157 : 0 : pp_cxx_left_paren (pp);
3158 : 0 : pp->expression (t);
3159 : 0 : if (flags & TFF_EXPR_IN_PARENS)
3160 : 0 : pp_cxx_right_paren (pp);
3161 : : break;
3162 : :
3163 : 9 : case OBJ_TYPE_REF:
3164 : 9 : dump_expr (pp, resolve_virtual_fun_from_obj_type_ref (t), flags);
3165 : 9 : break;
3166 : :
3167 : 47 : case LAMBDA_EXPR:
3168 : 47 : pp_string (pp, M_("<lambda>"));
3169 : 47 : break;
3170 : :
3171 : 0 : case PAREN_EXPR:
3172 : 0 : pp_cxx_left_paren (pp);
3173 : 0 : dump_expr (pp, TREE_OPERAND (t, 0), flags | TFF_EXPR_IN_PARENS);
3174 : 0 : pp_cxx_right_paren (pp);
3175 : 0 : break;
3176 : :
3177 : 3 : case REQUIRES_EXPR:
3178 : 3 : pp_cxx_requires_expr (cxx_pp, t);
3179 : 3 : break;
3180 : :
3181 : 0 : case SIMPLE_REQ:
3182 : 0 : pp_cxx_simple_requirement (cxx_pp, t);
3183 : 0 : break;
3184 : :
3185 : 0 : case TYPE_REQ:
3186 : 0 : pp_cxx_type_requirement (cxx_pp, t);
3187 : 0 : break;
3188 : :
3189 : 0 : case COMPOUND_REQ:
3190 : 0 : pp_cxx_compound_requirement (cxx_pp, t);
3191 : 0 : break;
3192 : :
3193 : 0 : case NESTED_REQ:
3194 : 0 : pp_cxx_nested_requirement (cxx_pp, t);
3195 : 0 : break;
3196 : :
3197 : 424 : case ATOMIC_CONSTR:
3198 : 424 : case CONJ_CONSTR:
3199 : 424 : case DISJ_CONSTR:
3200 : 424 : {
3201 : 424 : pp_cxx_constraint (cxx_pp, t);
3202 : 424 : break;
3203 : : }
3204 : :
3205 : 14 : case PLACEHOLDER_EXPR:
3206 : 14 : pp_string (pp, M_("*this"));
3207 : 14 : break;
3208 : :
3209 : 33 : case TREE_LIST:
3210 : 33 : dump_expr_list (pp, t, flags);
3211 : 33 : break;
3212 : :
3213 : : /* This list is incomplete, but should suffice for now.
3214 : : It is very important that `sorry' does not call
3215 : : `report_error_function'. That could cause an infinite loop. */
3216 : 20 : default:
3217 : 20 : pp_unsupported_tree (pp, t);
3218 : : /* Fall through. */
3219 : 63 : case ERROR_MARK:
3220 : 63 : pp_string (pp, M_("<expression error>"));
3221 : 63 : break;
3222 : : }
3223 : : }
3224 : :
3225 : : static void
3226 : 1938 : dump_binary_op (cxx_pretty_printer *pp, const char *opstring, tree t,
3227 : : int flags)
3228 : : {
3229 : 1938 : pp_cxx_left_paren (pp);
3230 : 1938 : dump_expr (pp, TREE_OPERAND (t, 0), flags | TFF_EXPR_IN_PARENS);
3231 : 1938 : pp_cxx_whitespace (pp);
3232 : 1938 : if (opstring)
3233 : 1936 : pp_cxx_ws_string (pp, opstring);
3234 : : else
3235 : 2 : pp_string (pp, M_("<unknown operator>"));
3236 : 1938 : pp_cxx_whitespace (pp);
3237 : 1938 : tree op1 = TREE_OPERAND (t, 1);
3238 : 1938 : if (TREE_CODE (t) == POINTER_PLUS_EXPR
3239 : 281 : && TREE_CODE (op1) == INTEGER_CST
3240 : 2102 : && tree_int_cst_sign_bit (op1))
3241 : : /* A pointer minus an integer is represented internally as plus a very
3242 : : large number, don't expose that to users. */
3243 : 25 : op1 = convert (ssizetype, op1);
3244 : 1938 : dump_expr (pp, op1, flags | TFF_EXPR_IN_PARENS);
3245 : 1938 : pp_cxx_right_paren (pp);
3246 : 1938 : }
3247 : :
3248 : : static void
3249 : 1352 : dump_unary_op (cxx_pretty_printer *pp, const char *opstring, tree t, int flags)
3250 : : {
3251 : 1352 : if (flags & TFF_EXPR_IN_PARENS)
3252 : 726 : pp_cxx_left_paren (pp);
3253 : 1352 : pp_cxx_ws_string (pp, opstring);
3254 : 1352 : dump_expr (pp, TREE_OPERAND (t, 0), flags & ~TFF_EXPR_IN_PARENS);
3255 : 1352 : if (flags & TFF_EXPR_IN_PARENS)
3256 : 726 : pp_cxx_right_paren (pp);
3257 : 1352 : }
3258 : :
3259 : : static void
3260 : 178469697 : reinit_cxx_pp (void)
3261 : : {
3262 : 178469697 : pp_clear_output_area (cxx_pp);
3263 : 178469697 : cxx_pp->set_padding (pp_none);
3264 : 178469697 : pp_indentation (cxx_pp) = 0;
3265 : 178469697 : pp_needs_newline (cxx_pp) = false;
3266 : 178469697 : pp_show_color (cxx_pp) = false;
3267 : 178469697 : cxx_pp->enclosing_scope = current_function_decl;
3268 : 178469697 : }
3269 : :
3270 : : /* Same as pp_formatted_text, except the return string is a separate
3271 : : copy and has a GGC storage duration, e.g. an indefinite lifetime. */
3272 : :
3273 : : inline const char *
3274 : 178470107 : pp_ggc_formatted_text (pretty_printer *pp)
3275 : : {
3276 : 178470107 : return ggc_strdup (pp_formatted_text (pp));
3277 : : }
3278 : :
3279 : : /* Exported interface to stringifying types, exprs and decls under TFF_*
3280 : : control. */
3281 : :
3282 : : const char *
3283 : 213 : type_as_string (tree typ, int flags)
3284 : : {
3285 : 213 : reinit_cxx_pp ();
3286 : 213 : pp_translate_identifiers (cxx_pp) = false;
3287 : 213 : dump_type (cxx_pp, typ, flags);
3288 : 213 : return pp_ggc_formatted_text (cxx_pp);
3289 : : }
3290 : :
3291 : : const char *
3292 : 0 : type_as_string_translate (tree typ, int flags)
3293 : : {
3294 : 0 : reinit_cxx_pp ();
3295 : 0 : dump_type (cxx_pp, typ, flags);
3296 : 0 : return pp_ggc_formatted_text (cxx_pp);
3297 : : }
3298 : :
3299 : : const char *
3300 : 1632 : expr_as_string (tree decl, int flags)
3301 : : {
3302 : 1632 : reinit_cxx_pp ();
3303 : 1632 : pp_translate_identifiers (cxx_pp) = false;
3304 : 1632 : dump_expr (cxx_pp, decl, flags);
3305 : 1632 : return pp_ggc_formatted_text (cxx_pp);
3306 : : }
3307 : :
3308 : : /* Wrap decl_as_string with options appropriate for dwarf. */
3309 : :
3310 : : const char *
3311 : 34979183 : decl_as_dwarf_string (tree decl, int flags)
3312 : : {
3313 : 34979183 : const char *name;
3314 : : /* Curiously, reinit_cxx_pp doesn't reset the flags field, so setting the flag
3315 : : here will be adequate to get the desired behavior. */
3316 : 34979183 : cxx_pp->flags |= pp_c_flag_gnu_v3;
3317 : 34979183 : name = decl_as_string (decl, flags);
3318 : : /* Subsequent calls to the pretty printer shouldn't use this style. */
3319 : 34979183 : cxx_pp->flags &= ~pp_c_flag_gnu_v3;
3320 : 34979183 : return name;
3321 : : }
3322 : :
3323 : : const char *
3324 : 35014195 : decl_as_string (tree decl, int flags)
3325 : : {
3326 : 35014195 : reinit_cxx_pp ();
3327 : 35014195 : pp_translate_identifiers (cxx_pp) = false;
3328 : 35014195 : dump_decl (cxx_pp, decl, flags);
3329 : 35014195 : return pp_ggc_formatted_text (cxx_pp);
3330 : : }
3331 : :
3332 : : const char *
3333 : 0 : decl_as_string_translate (tree decl, int flags)
3334 : : {
3335 : 0 : reinit_cxx_pp ();
3336 : 0 : dump_decl (cxx_pp, decl, flags);
3337 : 0 : return pp_ggc_formatted_text (cxx_pp);
3338 : : }
3339 : :
3340 : : /* Wrap lang_decl_name with options appropriate for dwarf. */
3341 : :
3342 : : const char *
3343 : 143185091 : lang_decl_dwarf_name (tree decl, int v, bool translate)
3344 : : {
3345 : 143185091 : const char *name;
3346 : : /* Curiously, reinit_cxx_pp doesn't reset the flags field, so setting the flag
3347 : : here will be adequate to get the desired behavior. */
3348 : 143185091 : cxx_pp->flags |= pp_c_flag_gnu_v3;
3349 : 143185091 : name = lang_decl_name (decl, v, translate);
3350 : : /* Subsequent calls to the pretty printer shouldn't use this style. */
3351 : 143185091 : cxx_pp->flags &= ~pp_c_flag_gnu_v3;
3352 : 143185091 : return name;
3353 : : }
3354 : :
3355 : : /* Generate the three forms of printable names for cxx_printable_name. */
3356 : :
3357 : : const char *
3358 : 143287231 : lang_decl_name (tree decl, int v, bool translate)
3359 : : {
3360 : 143287231 : if (v >= 2)
3361 : 34961 : return (translate
3362 : 34961 : ? decl_as_string_translate (decl, TFF_DECL_SPECIFIERS)
3363 : 34961 : : decl_as_string (decl, TFF_DECL_SPECIFIERS));
3364 : :
3365 : 143252270 : reinit_cxx_pp ();
3366 : 143252270 : pp_translate_identifiers (cxx_pp) = translate;
3367 : 143252270 : if (v == 1
3368 : 143252270 : && (DECL_CLASS_SCOPE_P (decl)
3369 : 73473 : || (DECL_NAMESPACE_SCOPE_P (decl)
3370 : 72488 : && CP_DECL_CONTEXT (decl) != global_namespace)))
3371 : : {
3372 : 74168 : dump_type (cxx_pp, CP_DECL_CONTEXT (decl), TFF_PLAIN_IDENTIFIER);
3373 : 74168 : pp_cxx_colon_colon (cxx_pp);
3374 : : }
3375 : :
3376 : 143252270 : if (TREE_CODE (decl) == FUNCTION_DECL)
3377 : 75237883 : dump_function_name (cxx_pp, decl, TFF_PLAIN_IDENTIFIER);
3378 : 68014387 : else if ((DECL_NAME (decl) == NULL_TREE)
3379 : 68014387 : && TREE_CODE (decl) == NAMESPACE_DECL)
3380 : 21 : dump_decl (cxx_pp, decl, TFF_PLAIN_IDENTIFIER | TFF_UNQUALIFIED_NAME);
3381 : : else
3382 : 68014366 : dump_decl (cxx_pp, DECL_NAME (decl), TFF_PLAIN_IDENTIFIER);
3383 : :
3384 : 143252270 : return pp_ggc_formatted_text (cxx_pp);
3385 : : }
3386 : :
3387 : : /* Return the location of a tree passed to %+ formats. */
3388 : :
3389 : : location_t
3390 : 1778197 : location_of (tree t)
3391 : : {
3392 : 1778197 : if (TYPE_P (t))
3393 : : {
3394 : 2913 : t = TYPE_MAIN_DECL (t);
3395 : 2913 : if (t == NULL_TREE)
3396 : 34 : return input_location;
3397 : : }
3398 : 1775284 : else if (TREE_CODE (t) == OVERLOAD)
3399 : 1778163 : t = OVL_FIRST (t);
3400 : :
3401 : 1778163 : if (DECL_P (t))
3402 : 1359963 : return DECL_SOURCE_LOCATION (t);
3403 : 418200 : if (TREE_CODE (t) == DEFERRED_PARSE)
3404 : 22 : return defparse_location (t);
3405 : 418178 : return cp_expr_loc_or_input_loc (t);
3406 : : }
3407 : :
3408 : : /* Now the interfaces from error et al to dump_type et al. Each takes an
3409 : : on/off VERBOSE flag and supply the appropriate TFF_ flags to a dump_
3410 : : function. */
3411 : :
3412 : : static const char *
3413 : 90247 : decl_to_string (tree decl, int verbose, bool show_color)
3414 : : {
3415 : 90247 : int flags = 0;
3416 : :
3417 : 90247 : if (TREE_CODE (decl) == TYPE_DECL || TREE_CODE (decl) == RECORD_TYPE
3418 : : || TREE_CODE (decl) == UNION_TYPE || TREE_CODE (decl) == ENUMERAL_TYPE)
3419 : 3263 : flags = TFF_CLASS_KEY_OR_ENUM;
3420 : 90247 : if (verbose)
3421 : 28781 : flags |= TFF_DECL_SPECIFIERS;
3422 : 61466 : else if (TREE_CODE (decl) == FUNCTION_DECL)
3423 : 39773 : flags |= TFF_DECL_SPECIFIERS | TFF_RETURN_TYPE;
3424 : 90247 : flags |= TFF_TEMPLATE_HEADER;
3425 : :
3426 : 90247 : reinit_cxx_pp ();
3427 : 90247 : pp_show_color (cxx_pp) = show_color;
3428 : 90247 : dump_decl (cxx_pp, decl, flags);
3429 : 90247 : return pp_ggc_formatted_text (cxx_pp);
3430 : : }
3431 : :
3432 : : const char *
3433 : 44282 : expr_to_string (tree decl)
3434 : : {
3435 : 44282 : reinit_cxx_pp ();
3436 : 44282 : dump_expr (cxx_pp, decl, 0);
3437 : 44282 : return pp_ggc_formatted_text (cxx_pp);
3438 : : }
3439 : :
3440 : : static const char *
3441 : 341 : fndecl_to_string (tree fndecl, int verbose)
3442 : : {
3443 : 341 : int flags;
3444 : :
3445 : 341 : flags = TFF_EXCEPTION_SPECIFICATION | TFF_DECL_SPECIFIERS
3446 : : | TFF_TEMPLATE_HEADER;
3447 : 341 : if (verbose)
3448 : 90 : flags |= TFF_FUNCTION_DEFAULT_ARGUMENTS;
3449 : 341 : reinit_cxx_pp ();
3450 : 341 : dump_decl (cxx_pp, fndecl, flags);
3451 : 341 : return pp_ggc_formatted_text (cxx_pp);
3452 : : }
3453 : :
3454 : :
3455 : : static const char *
3456 : 0 : code_to_string (enum tree_code c)
3457 : : {
3458 : 0 : return get_tree_code_name (c);
3459 : : }
3460 : :
3461 : : const char *
3462 : 6912 : language_to_string (enum languages c)
3463 : : {
3464 : 6912 : switch (c)
3465 : : {
3466 : : case lang_c:
3467 : : return "C";
3468 : :
3469 : 6 : case lang_cplusplus:
3470 : 6 : return "C++";
3471 : :
3472 : 0 : default:
3473 : 0 : gcc_unreachable ();
3474 : : }
3475 : : return NULL;
3476 : : }
3477 : :
3478 : : /* Return the proper printed version of a parameter to a C++ function. */
3479 : :
3480 : : static const char *
3481 : 1431 : parm_to_string (int p)
3482 : : {
3483 : 1431 : reinit_cxx_pp ();
3484 : 1431 : if (p < 0)
3485 : 7 : pp_string (cxx_pp, "'this'");
3486 : : else
3487 : 1424 : pp_decimal_int (cxx_pp, p + 1);
3488 : 1431 : return pp_ggc_formatted_text (cxx_pp);
3489 : : }
3490 : :
3491 : : static const char *
3492 : 310 : op_to_string (bool assop, enum tree_code p)
3493 : : {
3494 : 310 : tree id = ovl_op_identifier (assop, p);
3495 : 617 : return id ? IDENTIFIER_POINTER (id) : M_("<unknown>");
3496 : : }
3497 : :
3498 : : /* Return a GC-allocated representation of type TYP, with verbosity VERBOSE.
3499 : :
3500 : : If QUOTE is non-NULL and if *QUOTE is true, then quotes are added to the
3501 : : string in appropriate places, and *QUOTE is written to with false
3502 : : to suppress pp_format's trailing close quote so that e.g.
3503 : : foo_typedef {aka underlying_foo} {enum}
3504 : : can be printed by "%qT" as:
3505 : : `foo_typedef' {aka `underlying_foo'} {enum}
3506 : : rather than:
3507 : : `foo_typedef {aka underlying_foo} {enum}'
3508 : : When adding such quotes, if POSTPROCESSED is true (for handling %H and %I)
3509 : : then a leading open quote will be added, whereas if POSTPROCESSED is false
3510 : : (for handling %T) then any leading quote has already been added by
3511 : : pp_format, or is not needed due to QUOTE being NULL (for template arguments
3512 : : within %H and %I).
3513 : :
3514 : : SHOW_COLOR and HIGHLIGHT_COLOR are used to determine the colorization of
3515 : : any quotes that are added. */
3516 : :
3517 : : static const char *
3518 : 60172 : type_to_string (tree typ, int verbose, bool postprocessed, bool *quote,
3519 : : bool show_color, const char *highlight_color)
3520 : : {
3521 : 60172 : int flags = 0;
3522 : 60172 : if (verbose)
3523 : 8943 : flags |= TFF_CLASS_KEY_OR_ENUM;
3524 : 60172 : flags |= TFF_TEMPLATE_HEADER;
3525 : :
3526 : 60172 : reinit_cxx_pp ();
3527 : 60172 : pp_show_color (cxx_pp) = show_color;
3528 : :
3529 : 60172 : if (postprocessed && quote && *quote)
3530 : : {
3531 : 20364 : pp_begin_quote (cxx_pp, show_color);
3532 : 20364 : if (show_color && highlight_color)
3533 : 0 : pp_string (cxx_pp, colorize_start (show_color, highlight_color));
3534 : : }
3535 : :
3536 : 60172 : struct obstack *ob = pp_buffer (cxx_pp)->m_obstack;
3537 : 60172 : int type_start, type_len;
3538 : 60172 : type_start = obstack_object_size (ob);
3539 : :
3540 : 60172 : dump_type (cxx_pp, typ, flags);
3541 : :
3542 : : /* Remember the end of the initial dump. */
3543 : 60172 : type_len = obstack_object_size (ob) - type_start;
3544 : :
3545 : : /* If we're printing a type that involves typedefs, also print the
3546 : : stripped version. But sometimes the stripped version looks
3547 : : exactly the same, so we don't want it after all. To avoid printing
3548 : : it in that case, we play ugly obstack games. */
3549 : 60159 : if (typ && TYPE_P (typ) && typ != TYPE_CANONICAL (typ)
3550 : 66560 : && !uses_template_parms (typ))
3551 : : {
3552 : 4453 : int aka_start, aka_len; char *p;
3553 : 4453 : tree aka = strip_typedefs (typ, NULL, STF_USER_VISIBLE);
3554 : 4453 : if (quote && *quote)
3555 : 3967 : pp_end_quote (cxx_pp, show_color);
3556 : 4453 : pp_string (cxx_pp, " {aka");
3557 : 4453 : pp_cxx_whitespace (cxx_pp);
3558 : 4453 : if (quote && *quote)
3559 : 3967 : pp_begin_quote (cxx_pp, show_color);
3560 : 4453 : if (highlight_color)
3561 : 1250 : pp_string (cxx_pp, colorize_start (show_color, highlight_color));
3562 : : /* And remember the start of the aka dump. */
3563 : 4453 : aka_start = obstack_object_size (ob);
3564 : 4453 : dump_type (cxx_pp, aka, flags);
3565 : 4453 : aka_len = obstack_object_size (ob) - aka_start;
3566 : 4453 : if (quote && *quote)
3567 : 3967 : pp_end_quote (cxx_pp, show_color);
3568 : 4453 : pp_right_brace (cxx_pp);
3569 : 4453 : p = (char*)obstack_base (ob);
3570 : : /* If they are identical, cut off the aka by unwinding the obstack. */
3571 : 4453 : if (type_len == aka_len
3572 : 1027 : && memcmp (p + type_start, p+aka_start, type_len) == 0)
3573 : : {
3574 : : /* We can't add a '\0' here, since we may be adding a closing quote
3575 : : below, and it would be hidden by the '\0'.
3576 : : Instead, manually unwind the current object within the obstack
3577 : : so that the insertion point is at the end of the type, before
3578 : : the "' {aka". */
3579 : 789 : int delta = type_start + type_len - obstack_object_size (ob);
3580 : 789 : gcc_assert (delta <= 0);
3581 : 789 : obstack_blank_fast (ob, delta);
3582 : 789 : }
3583 : : else
3584 : 3664 : if (quote)
3585 : : /* No further closing quotes are needed. */
3586 : 3602 : *quote = false;
3587 : : }
3588 : :
3589 : 60110 : if (quote && *quote)
3590 : : {
3591 : 52877 : if (show_color && highlight_color)
3592 : 0 : pp_string (cxx_pp, colorize_stop (show_color));
3593 : 52877 : pp_end_quote (cxx_pp, show_color);
3594 : 52877 : *quote = false;
3595 : : }
3596 : 60172 : return pp_ggc_formatted_text (cxx_pp);
3597 : : }
3598 : :
3599 : : static const char *
3600 : 3610 : args_to_string (tree p, int verbose)
3601 : : {
3602 : 3610 : int flags = 0;
3603 : 3610 : if (verbose)
3604 : 0 : flags |= TFF_CLASS_KEY_OR_ENUM;
3605 : :
3606 : 3610 : if (p == NULL_TREE)
3607 : : return "";
3608 : :
3609 : 2928 : if (TYPE_P (TREE_VALUE (p)))
3610 : 0 : return type_as_string_translate (p, flags);
3611 : :
3612 : 2928 : reinit_cxx_pp ();
3613 : 9347 : for (; p; p = TREE_CHAIN (p))
3614 : : {
3615 : 3491 : if (null_node_p (TREE_VALUE (p)))
3616 : 3 : pp_cxx_ws_string (cxx_pp, "NULL");
3617 : : else
3618 : 3488 : dump_type (cxx_pp, error_type (TREE_VALUE (p)), flags);
3619 : 3491 : if (TREE_CHAIN (p))
3620 : 563 : pp_separate_with_comma (cxx_pp);
3621 : : }
3622 : 2928 : return pp_ggc_formatted_text (cxx_pp);
3623 : : }
3624 : :
3625 : : /* Pretty-print a deduction substitution (from deduction_tsubst_fntype). P
3626 : : is a TREE_LIST with purpose the TEMPLATE_DECL, value the template
3627 : : arguments. */
3628 : :
3629 : : static const char *
3630 : 1448 : subst_to_string (tree p, bool show_color)
3631 : : {
3632 : 1448 : tree decl = TREE_PURPOSE (p);
3633 : 1448 : tree targs = TREE_VALUE (p);
3634 : 1448 : tree tparms = DECL_TEMPLATE_PARMS (decl);
3635 : 1448 : int flags = (TFF_DECL_SPECIFIERS|TFF_TEMPLATE_HEADER
3636 : : |TFF_NO_TEMPLATE_BINDINGS);
3637 : :
3638 : 1448 : if (p == NULL_TREE)
3639 : : return "";
3640 : :
3641 : 1448 : reinit_cxx_pp ();
3642 : 1448 : pp_show_color (cxx_pp) = show_color;
3643 : 1448 : dump_template_decl (cxx_pp, TREE_PURPOSE (p), flags);
3644 : 1448 : dump_substitution (cxx_pp, NULL, tparms, targs, /*flags=*/0);
3645 : 1448 : return pp_ggc_formatted_text (cxx_pp);
3646 : : }
3647 : :
3648 : : static const char *
3649 : 538 : cv_to_string (tree p, int v)
3650 : : {
3651 : 538 : reinit_cxx_pp ();
3652 : 538 : cxx_pp->set_padding (v ? pp_before : pp_none);
3653 : 538 : pp_cxx_cv_qualifier_seq (cxx_pp, p);
3654 : 538 : return pp_ggc_formatted_text (cxx_pp);
3655 : : }
3656 : :
3657 : : static const char *
3658 : 0 : eh_spec_to_string (tree p, int /*v*/)
3659 : : {
3660 : 0 : int flags = 0;
3661 : 0 : reinit_cxx_pp ();
3662 : 0 : dump_exception_spec (cxx_pp, p, flags);
3663 : 0 : return pp_ggc_formatted_text (cxx_pp);
3664 : : }
3665 : :
3666 : : /* Langhook for print_error_function. */
3667 : : void
3668 : 116 : cxx_print_error_function (diagnostic_context *context, const char *file,
3669 : : const diagnostic_info *diagnostic)
3670 : : {
3671 : 116 : char *prefix;
3672 : 116 : if (file)
3673 : 116 : prefix = xstrdup (file);
3674 : : else
3675 : : prefix = NULL;
3676 : 116 : lhd_print_error_function (context, file, diagnostic);
3677 : 116 : pp_set_prefix (context->printer, prefix);
3678 : 116 : maybe_print_instantiation_context (context);
3679 : 116 : }
3680 : :
3681 : : static void
3682 : 188959 : cp_diagnostic_starter (diagnostic_context *context,
3683 : : const diagnostic_info *diagnostic)
3684 : : {
3685 : 188959 : diagnostic_report_current_module (context, diagnostic_location (diagnostic));
3686 : 188959 : cp_print_error_function (context, diagnostic);
3687 : 188959 : maybe_print_instantiation_context (context);
3688 : 188959 : maybe_print_constexpr_context (context);
3689 : 188959 : maybe_print_constraint_context (context);
3690 : 188959 : pp_set_prefix (context->printer, diagnostic_build_prefix (context,
3691 : : diagnostic));
3692 : 188959 : }
3693 : :
3694 : : /* Print current function onto BUFFER, in the process of reporting
3695 : : a diagnostic message. Called from cp_diagnostic_starter. */
3696 : : static void
3697 : 188959 : cp_print_error_function (diagnostic_context *context,
3698 : : const diagnostic_info *diagnostic)
3699 : : {
3700 : : /* If we are in an instantiation context, current_function_decl is likely
3701 : : to be wrong, so just rely on print_instantiation_full_context. */
3702 : 188959 : if (current_instantiation ())
3703 : : return;
3704 : : /* The above is true for constraint satisfaction also. */
3705 : 177682 : if (current_failed_constraint)
3706 : : return;
3707 : 177445 : if (diagnostic_last_function_changed (context, diagnostic))
3708 : : {
3709 : 23274 : char *old_prefix = pp_take_prefix (context->printer);
3710 : 23274 : const char *file = LOCATION_FILE (diagnostic_location (diagnostic));
3711 : 23274 : tree abstract_origin = diagnostic_abstract_origin (diagnostic);
3712 : 23274 : char *new_prefix = (file && abstract_origin == NULL)
3713 : 23274 : ? file_name_as_prefix (context, file) : NULL;
3714 : :
3715 : 23274 : pp_set_prefix (context->printer, new_prefix);
3716 : :
3717 : 23274 : if (current_function_decl == NULL)
3718 : 830 : pp_string (context->printer, _("At global scope:"));
3719 : : else
3720 : : {
3721 : 22444 : tree fndecl, ao;
3722 : :
3723 : 22444 : if (abstract_origin)
3724 : : {
3725 : 408 : ao = BLOCK_ABSTRACT_ORIGIN (abstract_origin);
3726 : 408 : gcc_assert (TREE_CODE (ao) == FUNCTION_DECL);
3727 : : fndecl = ao;
3728 : : }
3729 : : else
3730 : : fndecl = current_function_decl;
3731 : :
3732 : 22444 : pp_printf (context->printer, function_category (fndecl),
3733 : : fndecl);
3734 : :
3735 : 45504 : while (abstract_origin)
3736 : : {
3737 : 616 : location_t *locus;
3738 : 616 : tree block = abstract_origin;
3739 : :
3740 : 616 : locus = &BLOCK_SOURCE_LOCATION (block);
3741 : 616 : fndecl = NULL;
3742 : 616 : block = BLOCK_SUPERCONTEXT (block);
3743 : 1372 : while (block && TREE_CODE (block) == BLOCK
3744 : 1501 : && BLOCK_ABSTRACT_ORIGIN (block))
3745 : : {
3746 : 348 : ao = BLOCK_ABSTRACT_ORIGIN (block);
3747 : 348 : if (TREE_CODE (ao) == FUNCTION_DECL)
3748 : : {
3749 : : fndecl = ao;
3750 : : break;
3751 : : }
3752 : 140 : else if (TREE_CODE (ao) != BLOCK)
3753 : : break;
3754 : :
3755 : 140 : block = BLOCK_SUPERCONTEXT (block);
3756 : : }
3757 : 616 : if (fndecl)
3758 : : abstract_origin = block;
3759 : : else
3760 : : {
3761 : 872 : while (block && TREE_CODE (block) == BLOCK)
3762 : 464 : block = BLOCK_SUPERCONTEXT (block);
3763 : :
3764 : 408 : if (block && TREE_CODE (block) == FUNCTION_DECL)
3765 : : fndecl = block;
3766 : : abstract_origin = NULL;
3767 : : }
3768 : : if (fndecl)
3769 : : {
3770 : 616 : expanded_location s = expand_location (*locus);
3771 : 616 : pp_character (context->printer, ',');
3772 : 616 : pp_newline (context->printer);
3773 : 616 : if (s.file != NULL)
3774 : : {
3775 : 616 : if (context->m_show_column && s.column != 0)
3776 : 567 : pp_printf (context->printer,
3777 : 567 : _(" inlined from %qD at %r%s:%d:%d%R"),
3778 : : fndecl,
3779 : : "locus", s.file, s.line, s.column);
3780 : : else
3781 : 49 : pp_printf (context->printer,
3782 : 49 : _(" inlined from %qD at %r%s:%d%R"),
3783 : : fndecl,
3784 : : "locus", s.file, s.line);
3785 : :
3786 : : }
3787 : : else
3788 : 0 : pp_printf (context->printer, _(" inlined from %qD"),
3789 : : fndecl);
3790 : : }
3791 : : }
3792 : 22444 : pp_character (context->printer, ':');
3793 : : }
3794 : 23274 : pp_newline (context->printer);
3795 : :
3796 : 23274 : diagnostic_set_last_function (context, diagnostic);
3797 : 23274 : context->printer->set_prefix (old_prefix);
3798 : : }
3799 : : }
3800 : :
3801 : : /* Returns a description of FUNCTION using standard terminology. The
3802 : : result is a format string of the form "In CATEGORY %qD". */
3803 : :
3804 : : static const char *
3805 : 22444 : function_category (tree fn)
3806 : : {
3807 : : /* We can get called from the middle-end for diagnostics of function
3808 : : clones. Make sure we have language specific information before
3809 : : dereferencing it. */
3810 : 22444 : if (DECL_LANG_SPECIFIC (STRIP_TEMPLATE (fn))
3811 : 22444 : && DECL_FUNCTION_MEMBER_P (fn))
3812 : : {
3813 : 2917 : if (DECL_STATIC_FUNCTION_P (fn))
3814 : 109 : return _("In static member function %qD");
3815 : 2808 : else if (DECL_COPY_CONSTRUCTOR_P (fn))
3816 : 41 : return _("In copy constructor %qD");
3817 : 5534 : else if (DECL_CONSTRUCTOR_P (fn))
3818 : 975 : return _("In constructor %qD");
3819 : 1792 : else if (DECL_DESTRUCTOR_P (fn))
3820 : 122 : return _("In destructor %qD");
3821 : 2095 : else if (LAMBDA_FUNCTION_P (fn))
3822 : 416 : return _("In lambda function");
3823 : 1254 : else if (DECL_XOBJ_MEMBER_FUNCTION_P (fn))
3824 : 14 : return _("In explicit object member function %qD");
3825 : : else
3826 : 1240 : return _("In member function %qD");
3827 : : }
3828 : : else
3829 : 19527 : return _("In function %qD");
3830 : : }
3831 : :
3832 : : /* Disable warnings about missing quoting in GCC diagnostics for
3833 : : the pp_verbatim calls. Their format strings deliberately don't
3834 : : follow GCC diagnostic conventions. */
3835 : : #if __GNUC__ >= 10
3836 : : #pragma GCC diagnostic push
3837 : : #pragma GCC diagnostic ignored "-Wformat-diag"
3838 : : #endif
3839 : :
3840 : : /* Report the full context of a current template instantiation,
3841 : : onto BUFFER. */
3842 : : static void
3843 : 4746 : print_instantiation_full_context (diagnostic_context *context)
3844 : : {
3845 : 4746 : struct tinst_level *p = current_instantiation ();
3846 : 4746 : location_t location = input_location;
3847 : :
3848 : 4746 : if (p)
3849 : : {
3850 : 14238 : pp_verbatim (context->printer,
3851 : 4746 : p->list_p ()
3852 : 1118 : ? _("%s: In substitution of %qS:\n")
3853 : 3628 : : _("%s: In instantiation of %q#D:\n"),
3854 : 4746 : LOCATION_FILE (location),
3855 : : p->get_node ());
3856 : :
3857 : 4746 : location = p->locus;
3858 : 4746 : p = p->next;
3859 : : }
3860 : :
3861 : 4746 : print_instantiation_partial_context (context, p, location);
3862 : 4746 : }
3863 : :
3864 : : /* Helper function of print_instantiation_partial_context() that
3865 : : prints a single line of instantiation context. */
3866 : :
3867 : : static void
3868 : 6451 : print_instantiation_partial_context_line (diagnostic_context *context,
3869 : : struct tinst_level *t,
3870 : : location_t loc, bool recursive_p)
3871 : : {
3872 : 6451 : if (loc == UNKNOWN_LOCATION)
3873 : 30 : return;
3874 : :
3875 : 6421 : expanded_location xloc = expand_location (loc);
3876 : :
3877 : 6421 : if (context->m_show_column)
3878 : 4244 : pp_verbatim (context->printer, _("%r%s:%d:%d:%R "),
3879 : : "locus", xloc.file, xloc.line, xloc.column);
3880 : : else
3881 : 2177 : pp_verbatim (context->printer, _("%r%s:%d:%R "),
3882 : : "locus", xloc.file, xloc.line);
3883 : :
3884 : 6421 : if (t != NULL)
3885 : : {
3886 : 1705 : if (t->list_p ())
3887 : 891 : pp_verbatim (context->printer,
3888 : : recursive_p
3889 : 21 : ? _("recursively required by substitution of %qS\n")
3890 : 276 : : _("required by substitution of %qS\n"),
3891 : : t->get_node ());
3892 : : else
3893 : 2816 : pp_verbatim (context->printer,
3894 : : recursive_p
3895 : 97 : ? _("recursively required from %q#D\n")
3896 : 1311 : : _("required from %q#D\n"),
3897 : : t->get_node ());
3898 : : }
3899 : : else
3900 : : {
3901 : 9432 : pp_verbatim (context->printer,
3902 : : recursive_p
3903 : 0 : ? _("recursively required from here\n")
3904 : 4716 : : _("required from here\n"));
3905 : : }
3906 : 6421 : gcc_rich_location rich_loc (loc);
3907 : 6421 : char *saved_prefix = pp_take_prefix (context->printer);
3908 : 6421 : diagnostic_show_locus (context, &rich_loc, DK_NOTE);
3909 : 6421 : pp_set_prefix (context->printer, saved_prefix);
3910 : 6421 : }
3911 : :
3912 : : /* Same as print_instantiation_full_context but less verbose. */
3913 : :
3914 : : static void
3915 : 4746 : print_instantiation_partial_context (diagnostic_context *context,
3916 : : struct tinst_level *t0, location_t loc)
3917 : : {
3918 : 4746 : struct tinst_level *t;
3919 : 4746 : int n_total = 0;
3920 : 4746 : int n;
3921 : 4746 : location_t prev_loc = loc;
3922 : :
3923 : 39320 : for (t = t0; t != NULL; t = t->next)
3924 : 34574 : if (prev_loc != t->locus)
3925 : : {
3926 : 1644 : prev_loc = t->locus;
3927 : 1644 : n_total++;
3928 : : }
3929 : :
3930 : 4746 : t = t0;
3931 : :
3932 : 4746 : if (template_backtrace_limit
3933 : 4746 : && n_total > template_backtrace_limit)
3934 : : {
3935 : 1 : int skip = n_total - template_backtrace_limit;
3936 : 1 : int head = template_backtrace_limit / 2;
3937 : :
3938 : : /* Avoid skipping just 1. If so, skip 2. */
3939 : 1 : if (skip == 1)
3940 : : {
3941 : 0 : skip = 2;
3942 : 0 : head = (template_backtrace_limit - 1) / 2;
3943 : : }
3944 : :
3945 : 6 : for (n = 0; n < head; n++)
3946 : : {
3947 : 5 : gcc_assert (t != NULL);
3948 : 5 : if (loc != t->locus)
3949 : 4 : print_instantiation_partial_context_line (context, t, loc,
3950 : : /*recursive_p=*/false);
3951 : 5 : loc = t->locus;
3952 : 5 : t = t->next;
3953 : : }
3954 : 1 : if (t != NULL && skip > 0)
3955 : : {
3956 : 1 : expanded_location xloc;
3957 : 1 : xloc = expand_location (loc);
3958 : 1 : if (context->m_show_column)
3959 : 0 : pp_verbatim (context->printer,
3960 : 0 : _("%r%s:%d:%d:%R [ skipping %d instantiation "
3961 : : "contexts, use -ftemplate-backtrace-limit=0 to "
3962 : : "disable ]\n"),
3963 : : "locus", xloc.file, xloc.line, xloc.column, skip);
3964 : : else
3965 : 1 : pp_verbatim (context->printer,
3966 : 1 : _("%r%s:%d:%R [ skipping %d instantiation "
3967 : : "contexts, use -ftemplate-backtrace-limit=0 to "
3968 : : "disable ]\n"),
3969 : : "locus", xloc.file, xloc.line, skip);
3970 : :
3971 : 2 : do {
3972 : 2 : loc = t->locus;
3973 : 2 : t = t->next;
3974 : 3 : } while (t != NULL && --skip > 0);
3975 : : }
3976 : : }
3977 : :
3978 : 6447 : while (t != NULL)
3979 : : {
3980 : 34567 : while (t->next != NULL && t->locus == t->next->locus)
3981 : : {
3982 : : loc = t->locus;
3983 : : t = t->next;
3984 : : }
3985 : 1701 : print_instantiation_partial_context_line (context, t, loc,
3986 : 1701 : t->locus == loc);
3987 : 1701 : loc = t->locus;
3988 : 1701 : t = t->next;
3989 : : }
3990 : 4746 : print_instantiation_partial_context_line (context, NULL, loc,
3991 : : /*recursive_p=*/false);
3992 : 4746 : }
3993 : :
3994 : : /* Called from cp_thing to print the template context for an error. */
3995 : : static void
3996 : 189075 : maybe_print_instantiation_context (diagnostic_context *context)
3997 : : {
3998 : 189075 : if (!problematic_instantiation_changed () || current_instantiation () == 0)
3999 : 184329 : return;
4000 : :
4001 : 4746 : record_last_problematic_instantiation ();
4002 : 4746 : print_instantiation_full_context (context);
4003 : : }
4004 : :
4005 : : /* Report what constexpr call(s) we're trying to expand, if any. */
4006 : :
4007 : : void
4008 : 188959 : maybe_print_constexpr_context (diagnostic_context *context)
4009 : : {
4010 : 188959 : vec<tree> call_stack = cx_error_context ();
4011 : 188959 : unsigned ix;
4012 : 188959 : tree t;
4013 : :
4014 : 190018 : FOR_EACH_VEC_ELT (call_stack, ix, t)
4015 : : {
4016 : 1059 : expanded_location xloc = expand_location (EXPR_LOCATION (t));
4017 : 1059 : const char *s = expr_as_string (t, 0);
4018 : 1059 : if (context->m_show_column)
4019 : 867 : pp_verbatim (context->printer,
4020 : 867 : _("%r%s:%d:%d:%R in %<constexpr%> expansion of %qs"),
4021 : : "locus", xloc.file, xloc.line, xloc.column, s);
4022 : : else
4023 : 192 : pp_verbatim (context->printer,
4024 : 192 : _("%r%s:%d:%R in %<constexpr%> expansion of %qs"),
4025 : : "locus", xloc.file, xloc.line, s);
4026 : 1059 : pp_newline (context->printer);
4027 : : }
4028 : 188959 : }
4029 : :
4030 : :
4031 : : static void
4032 : 1567 : print_location (diagnostic_context *context, location_t loc)
4033 : : {
4034 : 1567 : expanded_location xloc = expand_location (loc);
4035 : 1567 : if (context->m_show_column)
4036 : 1265 : pp_verbatim (context->printer, _("%r%s:%d:%d:%R "),
4037 : : "locus", xloc.file, xloc.line, xloc.column);
4038 : : else
4039 : 302 : pp_verbatim (context->printer, _("%r%s:%d:%R "),
4040 : : "locus", xloc.file, xloc.line);
4041 : 1567 : }
4042 : :
4043 : : static void
4044 : 445 : print_constrained_decl_info (diagnostic_context *context, tree decl)
4045 : : {
4046 : 445 : print_location (context, DECL_SOURCE_LOCATION (decl));
4047 : 445 : pp_verbatim (context->printer, "required by the constraints of %q#D\n", decl);
4048 : 445 : }
4049 : :
4050 : : static void
4051 : 799 : print_concept_check_info (diagnostic_context *context, tree expr, tree map, tree args)
4052 : : {
4053 : 799 : gcc_assert (concept_check_p (expr));
4054 : :
4055 : 799 : tree tmpl = TREE_OPERAND (expr, 0);
4056 : :
4057 : 799 : print_location (context, DECL_SOURCE_LOCATION (tmpl));
4058 : :
4059 : 799 : cxx_pretty_printer *pp = (cxx_pretty_printer *)context->printer;
4060 : 799 : pp_verbatim (pp, "required for the satisfaction of %qE", expr);
4061 : 799 : if (map && map != error_mark_node)
4062 : : {
4063 : 799 : tree subst_map = tsubst_parameter_mapping (map, args, tf_none, NULL_TREE);
4064 : 800 : pp_cxx_parameter_mapping (pp, (subst_map != error_mark_node
4065 : : ? subst_map : map));
4066 : : }
4067 : 799 : pp_newline (pp);
4068 : 799 : }
4069 : :
4070 : : /* Diagnose the entry point into the satisfaction error. Returns the next
4071 : : context, if any. */
4072 : :
4073 : : static tree
4074 : 1140 : print_constraint_context_head (diagnostic_context *context, tree cxt, tree args)
4075 : : {
4076 : 1140 : tree src = TREE_VALUE (cxt);
4077 : 1140 : if (!src)
4078 : : {
4079 : 0 : print_location (context, input_location);
4080 : 0 : pp_verbatim (context->printer, "required for constraint satisfaction\n");
4081 : 0 : return NULL_TREE;
4082 : : }
4083 : 1140 : if (DECL_P (src))
4084 : : {
4085 : 445 : print_constrained_decl_info (context, src);
4086 : 445 : return NULL_TREE;
4087 : : }
4088 : : else
4089 : : {
4090 : 695 : print_concept_check_info (context, src, TREE_PURPOSE (cxt), args);
4091 : 695 : return TREE_CHAIN (cxt);
4092 : : }
4093 : : }
4094 : :
4095 : : static void
4096 : 324 : print_requires_expression_info (diagnostic_context *context, tree constr, tree args)
4097 : : {
4098 : :
4099 : 324 : tree expr = ATOMIC_CONSTR_EXPR (constr);
4100 : 324 : tree map = ATOMIC_CONSTR_MAP (constr);
4101 : 324 : map = tsubst_parameter_mapping (map, args, tf_none, NULL_TREE);
4102 : 324 : if (map == error_mark_node)
4103 : : return;
4104 : :
4105 : 323 : print_location (context, cp_expr_loc_or_input_loc (expr));
4106 : 323 : pp_verbatim (context->printer, "in requirements ");
4107 : :
4108 : 323 : tree parms = TREE_OPERAND (expr, 0);
4109 : 323 : if (parms)
4110 : 190 : pp_verbatim (context->printer, "with ");
4111 : 617 : while (parms)
4112 : : {
4113 : 294 : pp_verbatim (context->printer, "%q#D", parms);
4114 : 294 : if (TREE_CHAIN (parms))
4115 : 104 : pp_separate_with_comma ((cxx_pretty_printer *)context->printer);
4116 : 294 : parms = TREE_CHAIN (parms);
4117 : : }
4118 : 323 : pp_cxx_parameter_mapping ((cxx_pretty_printer *)context->printer, map);
4119 : :
4120 : 323 : pp_verbatim (context->printer, "\n");
4121 : : }
4122 : :
4123 : : void
4124 : 1164 : maybe_print_single_constraint_context (diagnostic_context *context, tree failed)
4125 : : {
4126 : 1164 : if (!failed)
4127 : : return;
4128 : :
4129 : 1164 : tree constr = TREE_VALUE (failed);
4130 : 1164 : if (!constr || constr == error_mark_node)
4131 : : return;
4132 : 1164 : tree cxt = CONSTR_CONTEXT (constr);
4133 : 1164 : if (!cxt)
4134 : : return;
4135 : 1140 : tree args = TREE_PURPOSE (failed);
4136 : :
4137 : : /* Print the stack of requirements. */
4138 : 1140 : cxt = print_constraint_context_head (context, cxt, args);
4139 : 3051 : while (cxt && !DECL_P (TREE_VALUE (cxt)))
4140 : : {
4141 : 104 : tree expr = TREE_VALUE (cxt);
4142 : 104 : tree map = TREE_PURPOSE (cxt);
4143 : 104 : print_concept_check_info (context, expr, map, args);
4144 : 104 : cxt = TREE_CHAIN (cxt);
4145 : : }
4146 : :
4147 : : /* For certain constraints, we can provide additional context. */
4148 : 1140 : if (TREE_CODE (constr) == ATOMIC_CONSTR
4149 : 1140 : && TREE_CODE (ATOMIC_CONSTR_EXPR (constr)) == REQUIRES_EXPR)
4150 : 324 : print_requires_expression_info (context, constr, args);
4151 : : }
4152 : :
4153 : : void
4154 : 188962 : maybe_print_constraint_context (diagnostic_context *context)
4155 : : {
4156 : 188962 : if (!current_failed_constraint)
4157 : : return;
4158 : :
4159 : 1164 : tree cur = current_failed_constraint;
4160 : :
4161 : : /* Recursively print nested contexts. */
4162 : 1164 : current_failed_constraint = TREE_CHAIN (current_failed_constraint);
4163 : 1164 : if (current_failed_constraint)
4164 : 3 : maybe_print_constraint_context (context);
4165 : :
4166 : : /* Print this context. */
4167 : 1164 : maybe_print_single_constraint_context (context, cur);
4168 : : }
4169 : :
4170 : : /* Return true iff TYPE_A and TYPE_B are template types that are
4171 : : meaningful to compare. */
4172 : :
4173 : : static bool
4174 : 11465 : comparable_template_types_p (tree type_a, tree type_b)
4175 : : {
4176 : 11465 : if (!CLASS_TYPE_P (type_a))
4177 : : return false;
4178 : 1266 : if (!CLASS_TYPE_P (type_b))
4179 : : return false;
4180 : :
4181 : 367 : tree tinfo_a = TYPE_TEMPLATE_INFO (type_a);
4182 : 367 : tree tinfo_b = TYPE_TEMPLATE_INFO (type_b);
4183 : 367 : if (!tinfo_a || !tinfo_b)
4184 : : return false;
4185 : :
4186 : 238 : return TI_TEMPLATE (tinfo_a) == TI_TEMPLATE (tinfo_b);
4187 : : }
4188 : :
4189 : : /* Start a new line indented by SPC spaces on PP. */
4190 : :
4191 : : static void
4192 : 228 : newline_and_indent (pretty_printer *pp, int spc)
4193 : : {
4194 : 228 : pp_newline (pp);
4195 : 1020 : for (int i = 0; i < spc; i++)
4196 : 792 : pp_space (pp);
4197 : 228 : }
4198 : :
4199 : : /* Generate a GC-allocated string for ARG, an expression or type. */
4200 : :
4201 : : static const char *
4202 : 630 : arg_to_string (tree arg, bool verbose)
4203 : : {
4204 : 630 : if (TYPE_P (arg))
4205 : 370 : return type_to_string (arg, verbose, true, NULL, false);
4206 : : else
4207 : 260 : return expr_to_string (arg);
4208 : : }
4209 : :
4210 : : /* Subroutine to type_to_string_with_compare and
4211 : : print_template_tree_comparison.
4212 : :
4213 : : Print a representation of ARG (an expression or type) to PP,
4214 : : colorizing it if PP->show_color, using HIGHLIGHT_COLOR,
4215 : : or "type-diff" if the latter is NULL. */
4216 : :
4217 : : static void
4218 : 618 : print_nonequal_arg (pretty_printer *pp, tree arg, bool verbose,
4219 : : const char *highlight_color)
4220 : : {
4221 : 618 : if (!highlight_color)
4222 : 10 : highlight_color = "type-diff";
4223 : 1236 : pp_printf (pp, "%r%s%R",
4224 : : highlight_color,
4225 : : (arg
4226 : 618 : ? arg_to_string (arg, verbose)
4227 : : : G_("(no argument)")));
4228 : 618 : }
4229 : :
4230 : : /* Recursively print template TYPE_A to PP, as compared to template TYPE_B.
4231 : :
4232 : : The types must satisfy comparable_template_types_p.
4233 : :
4234 : : If INDENT is 0, then this is equivalent to type_to_string (TYPE_A), but
4235 : : potentially colorizing/eliding in comparison with TYPE_B.
4236 : :
4237 : : For example given types:
4238 : : vector<map<int,double>>
4239 : : and
4240 : : vector<map<int,float>>
4241 : : then the result on PP would be:
4242 : : vector<map<[...],double>>
4243 : : with type elision, and:
4244 : : vector<map<int,double>>
4245 : : without type elision.
4246 : :
4247 : : In both cases the parts of TYPE that differ from PEER will be colorized
4248 : : if pp_show_color (pp) is true. In the above example, this would be
4249 : : "double".
4250 : :
4251 : : If INDENT is non-zero, then the types are printed in a tree-like form
4252 : : which shows both types. In the above example, the result on PP would be:
4253 : :
4254 : : vector<
4255 : : map<
4256 : : [...],
4257 : : [double != float]>>
4258 : :
4259 : : and without type-elision would be:
4260 : :
4261 : : vector<
4262 : : map<
4263 : : int,
4264 : : [double != float]>>
4265 : :
4266 : : As before, the differing parts of the types are colorized if
4267 : : pp_show_color (pp) is true ("double" and "float" in this example).
4268 : :
4269 : : Template arguments in which both types are using the default arguments
4270 : : are not printed; if at least one of the two types is using a non-default
4271 : : argument, then that argument is printed (or both arguments for the
4272 : : tree-like print format). */
4273 : :
4274 : : static void
4275 : 443 : print_template_differences (pretty_printer *pp, tree type_a, tree type_b,
4276 : : bool verbose, int indent,
4277 : : const char *highlight_color_a,
4278 : : const char *highlight_color_b)
4279 : : {
4280 : 443 : if (indent)
4281 : 85 : newline_and_indent (pp, indent);
4282 : :
4283 : 443 : tree tinfo_a = TYPE_TEMPLATE_INFO (type_a);
4284 : 443 : tree tinfo_b = TYPE_TEMPLATE_INFO (type_b);
4285 : :
4286 : 443 : pp_printf (pp, "%s<",
4287 : 443 : IDENTIFIER_POINTER (DECL_NAME (TI_TEMPLATE (tinfo_a))));
4288 : :
4289 : 443 : tree args_a = TI_ARGS (tinfo_a);
4290 : 443 : tree args_b = TI_ARGS (tinfo_b);
4291 : 443 : gcc_assert (TREE_CODE (args_a) == TREE_VEC);
4292 : 443 : gcc_assert (TREE_CODE (args_b) == TREE_VEC);
4293 : 443 : int flags = 0;
4294 : 443 : int len_a = get_non_default_template_args_count (args_a, flags);
4295 : 443 : args_a = INNERMOST_TEMPLATE_ARGS (args_a);
4296 : 443 : int len_b = get_non_default_template_args_count (args_b, flags);
4297 : 443 : args_b = INNERMOST_TEMPLATE_ARGS (args_b);
4298 : : /* Determine the maximum range of args for which non-default template args
4299 : : were used; beyond this, only default args (if any) were used, and so
4300 : : they will be equal from this point onwards.
4301 : : One of the two peers might have used default arguments within this
4302 : : range, but the other will be using non-default arguments, and so
4303 : : it's more readable to print both within this range, to highlight
4304 : : the differences. */
4305 : 443 : int len_max = MAX (len_a, len_b);
4306 : 443 : gcc_assert (TREE_CODE (args_a) == TREE_VEC);
4307 : 443 : gcc_assert (TREE_CODE (args_b) == TREE_VEC);
4308 : 1120 : for (int idx = 0; idx < len_max; idx++)
4309 : : {
4310 : 677 : if (idx)
4311 : 234 : pp_character (pp, ',');
4312 : :
4313 : 677 : tree arg_a = TREE_VEC_ELT (args_a, idx);
4314 : 677 : tree arg_b = TREE_VEC_ELT (args_b, idx);
4315 : 677 : if (arg_a == arg_b)
4316 : : {
4317 : 130 : if (indent)
4318 : 39 : newline_and_indent (pp, indent + 2);
4319 : : /* Can do elision here, printing "[...]". */
4320 : 130 : if (flag_elide_type)
4321 : 118 : pp_string (pp, G_("[...]"));
4322 : : else
4323 : 12 : pp_string (pp, arg_to_string (arg_a, verbose));
4324 : : }
4325 : : else
4326 : : {
4327 : 547 : int new_indent = indent ? indent + 2 : 0;
4328 : 547 : if (comparable_template_types_p (arg_a, arg_b))
4329 : 33 : print_template_differences (pp, arg_a, arg_b, verbose, new_indent,
4330 : : highlight_color_a, highlight_color_b);
4331 : : else
4332 : 514 : if (indent)
4333 : : {
4334 : 104 : newline_and_indent (pp, indent + 2);
4335 : 104 : pp_character (pp, '[');
4336 : 104 : print_nonequal_arg (pp, arg_a, verbose, highlight_color_a);
4337 : 104 : pp_string (pp, " != ");
4338 : 104 : print_nonequal_arg (pp, arg_b, verbose, highlight_color_b);
4339 : 104 : pp_character (pp, ']');
4340 : : }
4341 : : else
4342 : 410 : print_nonequal_arg (pp, arg_a, verbose, highlight_color_a);
4343 : : }
4344 : : }
4345 : 443 : pp_printf (pp, ">");
4346 : 443 : }
4347 : :
4348 : : /* As type_to_string, but for a template, potentially colorizing/eliding
4349 : : in comparison with PEER.
4350 : : For example, if TYPE is map<int,double> and PEER is map<int,int>,
4351 : : then the resulting string would be:
4352 : : map<[...],double>
4353 : : with type elision, and:
4354 : : map<int,double>
4355 : : without type elision.
4356 : :
4357 : : In both cases the parts of TYPE that differ from PEER will be colorized
4358 : : if SHOW_COLOR is true. In the above example, this would be "double".
4359 : :
4360 : : Template arguments in which both types are using the default arguments
4361 : : are not printed; if at least one of the two types is using a non-default
4362 : : argument, then both arguments are printed.
4363 : :
4364 : : The resulting string is in a GC-allocated buffer. */
4365 : :
4366 : : static const char *
4367 : 336 : type_to_string_with_compare (tree type, tree peer, bool verbose,
4368 : : bool show_color,
4369 : : const char *this_highlight_color,
4370 : : const char *peer_highlight_color)
4371 : : {
4372 : 336 : pretty_printer inner_pp;
4373 : 336 : pretty_printer *pp = &inner_pp;
4374 : 336 : pp_show_color (pp) = show_color;
4375 : :
4376 : 336 : print_template_differences (pp, type, peer, verbose, 0,
4377 : : this_highlight_color, peer_highlight_color);
4378 : 336 : return pp_ggc_formatted_text (pp);
4379 : 336 : }
4380 : :
4381 : : /* Recursively print a tree-like comparison of TYPE_A and TYPE_B to PP,
4382 : : indented by INDENT spaces.
4383 : :
4384 : : For example given types:
4385 : :
4386 : : vector<map<int,double>>
4387 : :
4388 : : and
4389 : :
4390 : : vector<map<double,float>>
4391 : :
4392 : : the output with type elision would be:
4393 : :
4394 : : vector<
4395 : : map<
4396 : : [...],
4397 : : [double != float]>>
4398 : :
4399 : : and without type-elision would be:
4400 : :
4401 : : vector<
4402 : : map<
4403 : : int,
4404 : : [double != float]>>
4405 : :
4406 : : TYPE_A and TYPE_B must both be comparable template types
4407 : : (as per comparable_template_types_p).
4408 : :
4409 : : Template arguments in which both types are using the default arguments
4410 : : are not printed; if at least one of the two types is using a non-default
4411 : : argument, then both arguments are printed. */
4412 : :
4413 : : static void
4414 : 74 : print_template_tree_comparison (pretty_printer *pp, tree type_a, tree type_b,
4415 : : bool verbose, int indent,
4416 : : const char *highlight_color_a,
4417 : : const char *highlight_color_b)
4418 : : {
4419 : 0 : print_template_differences (pp, type_a, type_b, verbose, indent,
4420 : : highlight_color_a,
4421 : : highlight_color_b);
4422 : 0 : }
4423 : :
4424 : : /* Subroutine for use in a format_postprocessor::handle
4425 : : implementation. Adds a chunk to the end of
4426 : : formatted output, so that it will be printed
4427 : : by pp_output_formatted_text. */
4428 : :
4429 : : static void
4430 : 74 : append_formatted_chunk (pretty_printer *pp, const char *content)
4431 : : {
4432 : 74 : output_buffer *buffer = pp_buffer (pp);
4433 : 74 : pp_formatted_chunks *chunk_array = buffer->m_cur_formatted_chunks;
4434 : 0 : chunk_array->append_formatted_chunk (buffer->m_chunk_obstack, content);
4435 : 0 : }
4436 : :
4437 : : #if __GNUC__ >= 10
4438 : : #pragma GCC diagnostic pop
4439 : : #endif
4440 : :
4441 : : /* If we had %H and %I, and hence deferred printing them,
4442 : : print them now, storing the result into custom_token_value
4443 : : for the custom pp_token. Quote them if 'q' was provided.
4444 : : Also print the difference in tree form, adding it as
4445 : : an additional chunk. */
4446 : :
4447 : : void
4448 : 271805 : cxx_format_postprocessor::handle (pretty_printer *pp)
4449 : : {
4450 : : /* If we have one of %H and %I, the other should have
4451 : : been present. */
4452 : 271805 : if (m_type_a.m_tree || m_type_b.m_tree)
4453 : : {
4454 : 10349 : const bool show_highlight_colors = pp_show_highlight_colors (pp);
4455 : 20700 : const char *percent_h
4456 : 10349 : = show_highlight_colors ? highlight_colors::percent_h : nullptr;
4457 : 2 : const char *percent_i
4458 : : = show_highlight_colors ? highlight_colors::percent_i : nullptr;
4459 : : /* Avoid reentrancy issues by working with a copy of
4460 : : m_type_a and m_type_b, resetting them now. */
4461 : 10349 : deferred_printed_type type_a = std::move (m_type_a);
4462 : 10349 : deferred_printed_type type_b = std::move (m_type_b);
4463 : 10349 : m_type_a = deferred_printed_type ();
4464 : 10349 : m_type_b = deferred_printed_type ();
4465 : :
4466 : 10349 : gcc_assert (type_a.m_token_list);
4467 : 10349 : gcc_assert (type_b.m_token_list);
4468 : :
4469 : 10349 : bool show_color = pp_show_color (pp);
4470 : :
4471 : 10349 : const char *type_a_text;
4472 : 10349 : const char *type_b_text;
4473 : :
4474 : 10349 : if (comparable_template_types_p (type_a.m_tree, type_b.m_tree))
4475 : : {
4476 : 167 : type_a_text = type_to_string_with_compare
4477 : 167 : (type_a.m_tree, type_b.m_tree,
4478 : : type_a.m_verbose, show_color,
4479 : : percent_h, percent_i);
4480 : 167 : type_b_text = type_to_string_with_compare
4481 : 167 : (type_b.m_tree, type_a.m_tree,
4482 : : type_b.m_verbose, show_color,
4483 : : percent_i, percent_h);
4484 : :
4485 : 167 : if (flag_diagnostics_show_template_tree)
4486 : : {
4487 : 74 : pretty_printer inner_pp;
4488 : 74 : pp_show_color (&inner_pp) = pp_show_color (pp);
4489 : 74 : print_template_tree_comparison
4490 : 74 : (&inner_pp, type_a.m_tree, type_b.m_tree, type_a.m_verbose, 2,
4491 : : percent_h, percent_i);
4492 : 74 : append_formatted_chunk (pp, pp_ggc_formatted_text (&inner_pp));
4493 : 74 : }
4494 : : }
4495 : : else
4496 : : {
4497 : : /* If the types were not comparable (or if only one of %H/%I was
4498 : : provided), they are printed normally, and no difference tree
4499 : : is printed. */
4500 : 10182 : type_a_text = type_to_string (type_a.m_tree, type_a.m_verbose,
4501 : : true, &type_a.m_quote, show_color,
4502 : : percent_h);
4503 : 10182 : type_b_text = type_to_string (type_b.m_tree, type_b.m_verbose,
4504 : : true, &type_b.m_quote, show_color,
4505 : : percent_i);
4506 : : }
4507 : :
4508 : 10349 : type_a.set_text_for_token_list (type_a_text, type_a.m_quote);
4509 : 10349 : type_b.set_text_for_token_list (type_b_text, type_b.m_quote);
4510 : 10349 : }
4511 : 271805 : }
4512 : :
4513 : : /* Subroutine for handling %H and %I, to support i18n of messages like:
4514 : :
4515 : : error_at (loc, "could not convert %qE from %qH to %qI",
4516 : : expr, type_a, type_b);
4517 : :
4518 : : so that we can print things like:
4519 : :
4520 : : could not convert 'foo' from 'map<int,double>' to 'map<int,int>'
4521 : :
4522 : : and, with type-elision:
4523 : :
4524 : : could not convert 'foo' from 'map<[...],double>' to 'map<[...],int>'
4525 : :
4526 : : (with color-coding of the differences between the types).
4527 : :
4528 : : The %H and %I format codes are peers: both must be present,
4529 : : and they affect each other. Hence to handle them, we must
4530 : : delay printing until we have both, deferring the printing to
4531 : : pretty_printer's m_format_postprocessor hook.
4532 : :
4533 : : This is called in phase 2 of pp_format, when it is accumulating
4534 : : a series of pp_token lists. Since we have to interact with the
4535 : : fiddly quoting logic for "aka", we store the pp_token_list *
4536 : : and in the m_format_postprocessor hook we generate text for the type
4537 : : (possibly with quotes and colors), then replace all tokens in that token list
4538 : : (such as [BEGIN_QUOTE, END_QUOTE]) with a text token containing the
4539 : : freshly generated text.
4540 : :
4541 : : We also need to stash whether a 'q' prefix was provided (the QUOTE
4542 : : param) so that we can add the quotes when writing out the delayed
4543 : : chunk. */
4544 : :
4545 : : static void
4546 : 20698 : defer_phase_2_of_type_diff (deferred_printed_type *deferred,
4547 : : tree type,
4548 : : pp_token_list &formatted_token_list,
4549 : : bool verbose, bool quote)
4550 : : {
4551 : 20698 : gcc_assert (deferred->m_tree == NULL_TREE);
4552 : 20698 : *deferred = deferred_printed_type (type, formatted_token_list,
4553 : 20698 : verbose, quote);
4554 : 20698 : }
4555 : :
4556 : : /* Implementation of pp_markup::element_quoted_type::print_type
4557 : : for C++/ObjC++. */
4558 : :
4559 : : void
4560 : 806 : pp_markup::element_quoted_type::print_type (pp_markup::context &ctxt)
4561 : : {
4562 : 806 : const char *highlight_color
4563 : 806 : = pp_show_highlight_colors (&ctxt.m_pp) ? m_highlight_color : nullptr;
4564 : 806 : const char *result
4565 : 1612 : = type_to_string (m_type, false, false, &ctxt.m_quoted,
4566 : 806 : pp_show_color (&ctxt.m_pp), highlight_color);
4567 : 806 : pp_string (&ctxt.m_pp, result);
4568 : 806 : }
4569 : :
4570 : : /* Called from output_format -- during diagnostic message processing --
4571 : : to handle C++ specific format specifier with the following meanings:
4572 : : %A function argument-list.
4573 : : %C tree code.
4574 : : %D declaration.
4575 : : %E expression.
4576 : : %F function declaration.
4577 : : %H type difference (from).
4578 : : %I type difference (to).
4579 : : %L language as used in extern "lang".
4580 : : %O binary operator.
4581 : : %P function parameter whose position is indicated by an integer.
4582 : : %Q assignment operator.
4583 : : %S substitution (template + args)
4584 : : %T type.
4585 : : %V cv-qualifier.
4586 : : %X exception-specification. */
4587 : : static bool
4588 : 200587 : cp_printer (pretty_printer *pp, text_info *text, const char *spec,
4589 : : int precision, bool wide, bool set_locus, bool verbose,
4590 : : bool *quoted, pp_token_list &formatted_token_list)
4591 : : {
4592 : 200587 : gcc_assert (pp_format_postprocessor (pp));
4593 : 200587 : cxx_format_postprocessor *postprocessor
4594 : 200587 : = static_cast <cxx_format_postprocessor *> (pp_format_postprocessor (pp));
4595 : :
4596 : 200587 : const char *result;
4597 : 200587 : tree t = NULL;
4598 : : #define next_tree (t = va_arg (*text->m_args_ptr, tree))
4599 : : #define next_tcode ((enum tree_code) va_arg (*text->m_args_ptr, int))
4600 : : #define next_lang ((enum languages) va_arg (*text->m_args_ptr, int))
4601 : : #define next_int va_arg (*text->m_args_ptr, int)
4602 : :
4603 : 200587 : if (precision != 0 || wide)
4604 : : return false;
4605 : :
4606 : 200587 : switch (*spec)
4607 : : {
4608 : 3610 : case 'A': result = args_to_string (next_tree, verbose); break;
4609 : 0 : case 'C': result = code_to_string (next_tcode); break;
4610 : 90279 : case 'D':
4611 : 90279 : {
4612 : 90279 : tree temp = next_tree;
4613 : 90279 : if (VAR_P (temp)
4614 : 90279 : && DECL_HAS_DEBUG_EXPR_P (temp))
4615 : : {
4616 : 32 : temp = DECL_DEBUG_EXPR (temp);
4617 : 32 : if (!DECL_P (temp))
4618 : : {
4619 : 32 : result = expr_to_string (temp);
4620 : 32 : break;
4621 : : }
4622 : : }
4623 : 90247 : result = decl_to_string (temp, verbose, pp_show_color (pp));
4624 : : }
4625 : 90247 : break;
4626 : 43860 : case 'E': result = expr_to_string (next_tree); break;
4627 : 341 : case 'F': result = fndecl_to_string (next_tree, verbose); break;
4628 : 10349 : case 'H':
4629 : 20698 : defer_phase_2_of_type_diff (&postprocessor->m_type_a, next_tree,
4630 : 10349 : formatted_token_list, verbose, *quoted);
4631 : 10349 : return true;
4632 : 10349 : case 'I':
4633 : 20698 : defer_phase_2_of_type_diff (&postprocessor->m_type_b, next_tree,
4634 : 10349 : formatted_token_list, verbose, *quoted);
4635 : 10349 : return true;
4636 : 12 : case 'L': result = language_to_string (next_lang); break;
4637 : 286 : case 'O': result = op_to_string (false, next_tcode); break;
4638 : 1431 : case 'P': result = parm_to_string (next_int); break;
4639 : 24 : case 'Q': result = op_to_string (true, next_tcode); break;
4640 : 1448 : case 'S': result = subst_to_string (next_tree, pp_show_color (pp)); break;
4641 : 38060 : case 'T':
4642 : 38060 : {
4643 : 76120 : result = type_to_string (next_tree, verbose, false, quoted,
4644 : 38060 : pp_show_color (pp));
4645 : : }
4646 : 38060 : break;
4647 : 538 : case 'V': result = cv_to_string (next_tree, verbose); break;
4648 : 0 : case 'X': result = eh_spec_to_string (next_tree, verbose); break;
4649 : :
4650 : : default:
4651 : : return false;
4652 : : }
4653 : :
4654 : 179889 : pp_string (pp, result);
4655 : 179889 : if (set_locus && t != NULL)
4656 : 1616 : text->set_location (0, location_of (t), SHOW_RANGE_WITH_CARET);
4657 : : return true;
4658 : : #undef next_tree
4659 : : #undef next_tcode
4660 : : #undef next_lang
4661 : : #undef next_int
4662 : : }
4663 : :
4664 : : /* Warn about the use of C++0x features when appropriate. */
4665 : : void
4666 : 54722875 : maybe_warn_cpp0x (cpp0x_warn_str str, location_t loc/*=input_location*/)
4667 : : {
4668 : 54722875 : if (cxx_dialect == cxx98)
4669 : 3654 : switch (str)
4670 : : {
4671 : 174 : case CPP0X_INITIALIZER_LISTS:
4672 : 174 : pedwarn (loc, OPT_Wc__11_extensions,
4673 : : "extended initializer lists "
4674 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4675 : 174 : break;
4676 : 0 : case CPP0X_EXPLICIT_CONVERSION:
4677 : 0 : pedwarn (loc, OPT_Wc__11_extensions,
4678 : : "explicit conversion operators "
4679 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4680 : 0 : break;
4681 : 1390 : case CPP0X_VARIADIC_TEMPLATES:
4682 : 1390 : pedwarn (loc, OPT_Wc__11_extensions,
4683 : : "variadic templates "
4684 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4685 : 1390 : break;
4686 : 6 : case CPP0X_LAMBDA_EXPR:
4687 : 6 : pedwarn (loc, OPT_Wc__11_extensions,
4688 : : "lambda expressions "
4689 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4690 : 6 : break;
4691 : 0 : case CPP0X_AUTO:
4692 : 0 : pedwarn (loc, OPT_Wc__11_extensions,
4693 : : "C++11 auto only available with %<-std=c++11%> or "
4694 : : "%<-std=gnu++11%>");
4695 : 0 : break;
4696 : 15 : case CPP0X_SCOPED_ENUMS:
4697 : 15 : pedwarn (loc, OPT_Wc__11_extensions,
4698 : : "scoped enums only available with %<-std=c++11%> or "
4699 : : "%<-std=gnu++11%>");
4700 : 15 : break;
4701 : 35 : case CPP0X_DEFAULTED_DELETED:
4702 : 35 : pedwarn (loc, OPT_Wc__11_extensions,
4703 : : "defaulted and deleted functions "
4704 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4705 : 35 : break;
4706 : 1863 : case CPP0X_INLINE_NAMESPACES:
4707 : 1863 : if (pedantic)
4708 : 567 : pedwarn (loc, OPT_Wc__11_extensions,
4709 : : "inline namespaces "
4710 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4711 : : break;
4712 : 3 : case CPP0X_OVERRIDE_CONTROLS:
4713 : 3 : pedwarn (loc, OPT_Wc__11_extensions,
4714 : : "override controls (override/final) "
4715 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4716 : 3 : break;
4717 : 129 : case CPP0X_NSDMI:
4718 : 129 : pedwarn (loc, OPT_Wc__11_extensions,
4719 : : "non-static data member initializers "
4720 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4721 : 129 : break;
4722 : 4 : case CPP0X_USER_DEFINED_LITERALS:
4723 : 4 : pedwarn (loc, OPT_Wc__11_extensions,
4724 : : "user-defined literals "
4725 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4726 : 4 : break;
4727 : 3 : case CPP0X_DELEGATING_CTORS:
4728 : 3 : pedwarn (loc, OPT_Wc__11_extensions,
4729 : : "delegating constructors "
4730 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4731 : 3 : break;
4732 : 3 : case CPP0X_INHERITING_CTORS:
4733 : 3 : pedwarn (loc, OPT_Wc__11_extensions,
4734 : : "inheriting constructors "
4735 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4736 : 3 : break;
4737 : 29 : case CPP0X_ATTRIBUTES:
4738 : 29 : if (pedantic)
4739 : 21 : pedwarn (loc, OPT_Wc__11_extensions,
4740 : : "C++11 attributes "
4741 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4742 : : break;
4743 : 0 : case CPP0X_REF_QUALIFIER:
4744 : 0 : pedwarn (loc, OPT_Wc__11_extensions,
4745 : : "ref-qualifiers "
4746 : : "only available with %<-std=c++11%> or %<-std=gnu++11%>");
4747 : 0 : break;
4748 : 0 : default:
4749 : 0 : gcc_unreachable ();
4750 : : }
4751 : 54722875 : }
4752 : :
4753 : : /* Warn about the use of variadic templates when appropriate. */
4754 : : void
4755 : 13457113 : maybe_warn_variadic_templates (void)
4756 : : {
4757 : 13457113 : maybe_warn_cpp0x (CPP0X_VARIADIC_TEMPLATES);
4758 : 13457113 : }
4759 : :
4760 : :
4761 : : /* Issue an ISO C++98 pedantic warning at LOCATION, conditional on
4762 : : option OPT with text GMSGID. Use this function to report
4763 : : diagnostics for constructs that are invalid C++98, but valid
4764 : : C++0x. */
4765 : : bool
4766 : 3083071 : pedwarn_cxx98 (location_t location, int opt, const char *gmsgid, ...)
4767 : : {
4768 : 3083071 : diagnostic_info diagnostic;
4769 : 3083071 : va_list ap;
4770 : 3083071 : bool ret;
4771 : 3083071 : rich_location richloc (line_table, location);
4772 : :
4773 : 3083071 : va_start (ap, gmsgid);
4774 : 3083071 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc,
4775 : 3083071 : (cxx_dialect == cxx98) ? DK_PEDWARN : DK_WARNING);
4776 : 3083071 : diagnostic.option_index = opt;
4777 : 3083071 : ret = diagnostic_report_diagnostic (global_dc, &diagnostic);
4778 : 3083071 : va_end (ap);
4779 : 6166142 : return ret;
4780 : 3083071 : }
4781 : :
4782 : : /* Issue a diagnostic that NAME cannot be found in SCOPE. DECL is what
4783 : : we found when we tried to do the lookup. LOCATION is the location of
4784 : : the NAME identifier. */
4785 : :
4786 : : void
4787 : 510 : qualified_name_lookup_error (tree scope, tree name,
4788 : : tree decl, location_t location)
4789 : : {
4790 : 510 : if (scope == error_mark_node)
4791 : : ; /* We already complained. */
4792 : 399 : else if (TYPE_P (scope))
4793 : : {
4794 : 210 : if (!COMPLETE_TYPE_P (scope)
4795 : 210 : && !currently_open_class (scope))
4796 : 41 : error_at (location, "incomplete type %qT used in nested name specifier",
4797 : : scope);
4798 : 169 : else if (TREE_CODE (decl) == TREE_LIST)
4799 : : {
4800 : 0 : auto_diagnostic_group d;
4801 : 0 : error_at (location, "reference to %<%T::%D%> is ambiguous",
4802 : : scope, name);
4803 : 0 : print_candidates (decl);
4804 : 0 : }
4805 : : else
4806 : : {
4807 : 169 : auto_diagnostic_group d;
4808 : 169 : name_hint hint;
4809 : 169 : if (SCOPED_ENUM_P (scope) && TREE_CODE (name) == IDENTIFIER_NODE)
4810 : 15 : hint = suggest_alternative_in_scoped_enum (name, scope);
4811 : 169 : if (const char *suggestion = hint.suggestion ())
4812 : : {
4813 : 9 : gcc_rich_location richloc (location);
4814 : 9 : richloc.add_fixit_replace (suggestion);
4815 : 9 : error_at (&richloc,
4816 : : "%qD is not a member of %qT; did you mean %qs?",
4817 : : name, scope, suggestion);
4818 : 9 : }
4819 : : else
4820 : 160 : error_at (location, "%qD is not a member of %qT", name, scope);
4821 : 169 : }
4822 : : }
4823 : 189 : else if (scope != global_namespace)
4824 : : {
4825 : 169 : auto_diagnostic_group d;
4826 : 169 : bool emit_fixit = true;
4827 : 169 : name_hint hint
4828 : 169 : = suggest_alternative_in_explicit_scope (location, name, scope);
4829 : 169 : if (!hint)
4830 : : {
4831 : 54 : hint = suggest_alternatives_in_other_namespaces (location, name);
4832 : : /* "location" is just the location of the name, not of the explicit
4833 : : scope, and it's not easy to get at the latter, so we can't issue
4834 : : fix-it hints for the suggestion. */
4835 : 54 : emit_fixit = false;
4836 : : }
4837 : 169 : if (const char *suggestion = hint.suggestion ())
4838 : : {
4839 : 54 : gcc_rich_location richloc (location);
4840 : 54 : if (emit_fixit)
4841 : 33 : richloc.add_fixit_replace (suggestion);
4842 : 54 : error_at (&richloc, "%qD is not a member of %qD; did you mean %qs?",
4843 : : name, scope, suggestion);
4844 : 54 : }
4845 : : else
4846 : 115 : error_at (location, "%qD is not a member of %qD", name, scope);
4847 : 169 : }
4848 : : else
4849 : : {
4850 : 20 : auto_diagnostic_group d;
4851 : 20 : name_hint hint = suggest_alternatives_for (location, name, true);
4852 : 20 : if (const char *suggestion = hint.suggestion ())
4853 : : {
4854 : 11 : gcc_rich_location richloc (location);
4855 : 11 : richloc.add_fixit_replace (suggestion);
4856 : 11 : error_at (&richloc,
4857 : : "%<::%D%> has not been declared; did you mean %qs?",
4858 : : name, suggestion);
4859 : 11 : }
4860 : : else
4861 : 9 : error_at (location, "%<::%D%> has not been declared", name);
4862 : 20 : }
4863 : 510 : }
4864 : :
4865 : : /* C++-specific implementation of range_label::get_text () vfunc for
4866 : : range_label_for_type_mismatch.
4867 : :
4868 : : Compare with print_template_differences above. */
4869 : :
4870 : : label_text
4871 : 574 : range_label_for_type_mismatch::get_text (unsigned /*range_idx*/) const
4872 : : {
4873 : 574 : if (m_labelled_type == NULL_TREE)
4874 : 0 : return label_text::borrow (NULL);
4875 : :
4876 : 574 : const bool verbose = false;
4877 : 574 : const bool show_color = false;
4878 : :
4879 : 574 : const char *result;
4880 : 574 : if (m_other_type
4881 : 574 : && comparable_template_types_p (m_labelled_type, m_other_type))
4882 : 2 : result = type_to_string_with_compare (m_labelled_type, m_other_type,
4883 : : verbose, show_color,
4884 : : nullptr, nullptr);
4885 : : else
4886 : 572 : result = type_to_string (m_labelled_type, verbose, true, NULL, show_color);
4887 : :
4888 : : /* Both of the above return GC-allocated buffers, so the caller mustn't
4889 : : free them. */
4890 : 574 : return label_text::borrow (result);
4891 : : }
|
