1 /* Implementation of subroutines for the GNU C++ pretty-printer.
2 Copyright (C) 2003, 2004, 2005, 2007, 2008,
3 2009, 2010 Free Software Foundation, Inc.
4 Contributed by Gabriel Dos Reis <gdr@integrable-solutions.net>
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
24 #include "coretypes.h"
28 #include "cxx-pretty-print.h"
29 #include "tree-pretty-print.h"
32 /* Translate if being used for diagnostics, but not for dump files or
34 #define M_(msgid) (pp_translate_identifiers (pp) ? _(msgid) : (msgid))
36 static void pp_cxx_unqualified_id (cxx_pretty_printer
*, tree
);
37 static void pp_cxx_nested_name_specifier (cxx_pretty_printer
*, tree
);
38 static void pp_cxx_qualified_id (cxx_pretty_printer
*, tree
);
39 static void pp_cxx_assignment_expression (cxx_pretty_printer
*, tree
);
40 static void pp_cxx_expression (cxx_pretty_printer
*, tree
);
41 static void pp_cxx_template_argument_list (cxx_pretty_printer
*, tree
);
42 static void pp_cxx_type_specifier_seq (cxx_pretty_printer
*, tree
);
43 static void pp_cxx_ptr_operator (cxx_pretty_printer
*, tree
);
44 static void pp_cxx_type_id (cxx_pretty_printer
*, tree
);
45 static void pp_cxx_direct_abstract_declarator (cxx_pretty_printer
*, tree
);
46 static void pp_cxx_declarator (cxx_pretty_printer
*, tree
);
47 static void pp_cxx_parameter_declaration_clause (cxx_pretty_printer
*, tree
);
48 static void pp_cxx_abstract_declarator (cxx_pretty_printer
*, tree
);
49 static void pp_cxx_statement (cxx_pretty_printer
*, tree
);
50 static void pp_cxx_template_parameter (cxx_pretty_printer
*, tree
);
51 static void pp_cxx_cast_expression (cxx_pretty_printer
*, tree
);
52 static void pp_cxx_typeid_expression (cxx_pretty_printer
*, tree
);
56 pp_cxx_nonconsecutive_character (cxx_pretty_printer
*pp
, int c
)
58 const char *p
= pp_last_position_in_text (pp
);
60 if (p
!= NULL
&& *p
== c
)
61 pp_cxx_whitespace (pp
);
63 pp_base (pp
)->padding
= pp_none
;
66 #define pp_cxx_storage_class_specifier(PP, T) \
67 pp_c_storage_class_specifier (pp_c_base (PP), T)
68 #define pp_cxx_expression_list(PP, T) \
69 pp_c_expression_list (pp_c_base (PP), T)
70 #define pp_cxx_space_for_pointer_operator(PP, T) \
71 pp_c_space_for_pointer_operator (pp_c_base (PP), T)
72 #define pp_cxx_init_declarator(PP, T) \
73 pp_c_init_declarator (pp_c_base (PP), T)
74 #define pp_cxx_call_argument_list(PP, T) \
75 pp_c_call_argument_list (pp_c_base (PP), T)
78 pp_cxx_colon_colon (cxx_pretty_printer
*pp
)
81 pp_base (pp
)->padding
= pp_none
;
85 pp_cxx_begin_template_argument_list (cxx_pretty_printer
*pp
)
87 pp_cxx_nonconsecutive_character (pp
, '<');
91 pp_cxx_end_template_argument_list (cxx_pretty_printer
*pp
)
93 pp_cxx_nonconsecutive_character (pp
, '>');
97 pp_cxx_separate_with (cxx_pretty_printer
*pp
, int c
)
99 pp_separate_with (pp
, c
);
100 pp_base (pp
)->padding
= pp_none
;
106 is_destructor_name (tree name
)
108 return name
== complete_dtor_identifier
109 || name
== base_dtor_identifier
110 || name
== deleting_dtor_identifier
;
113 /* conversion-function-id:
114 operator conversion-type-id
117 type-specifier-seq conversion-declarator(opt)
119 conversion-declarator:
120 ptr-operator conversion-declarator(opt) */
123 pp_cxx_conversion_function_id (cxx_pretty_printer
*pp
, tree t
)
125 pp_cxx_ws_string (pp
, "operator");
126 pp_cxx_type_specifier_seq (pp
, TREE_TYPE (t
));
130 pp_cxx_template_id (cxx_pretty_printer
*pp
, tree t
)
132 pp_cxx_unqualified_id (pp
, TREE_OPERAND (t
, 0));
133 pp_cxx_begin_template_argument_list (pp
);
134 pp_cxx_template_argument_list (pp
, TREE_OPERAND (t
, 1));
135 pp_cxx_end_template_argument_list (pp
);
138 /* Prints the unqualified part of the id-expression T.
143 conversion-function-id
148 pp_cxx_unqualified_id (cxx_pretty_printer
*pp
, tree t
)
150 enum tree_code code
= TREE_CODE (t
);
154 pp_cxx_ws_string (pp
, M_("<return-value>"));
171 case IDENTIFIER_NODE
:
173 pp_cxx_ws_string (pp
, M_("<unnamed>"));
174 else if (IDENTIFIER_TYPENAME_P (t
))
175 pp_cxx_conversion_function_id (pp
, t
);
178 if (is_destructor_name (t
))
181 /* FIXME: Why is this necessary? */
183 t
= constructor_name (TREE_TYPE (t
));
185 pp_cxx_tree_identifier (pp
, t
);
189 case TEMPLATE_ID_EXPR
:
190 pp_cxx_template_id (pp
, t
);
194 pp_cxx_unqualified_id (pp
, BASELINK_FUNCTIONS (t
));
201 case UNBOUND_CLASS_TEMPLATE
:
202 pp_cxx_unqualified_id (pp
, TYPE_NAME (t
));
203 if (CLASS_TYPE_P (t
) && CLASSTYPE_USE_TEMPLATE (t
))
205 pp_cxx_begin_template_argument_list (pp
);
206 pp_cxx_template_argument_list (pp
, INNERMOST_TEMPLATE_ARGS
207 (CLASSTYPE_TI_ARGS (t
)));
208 pp_cxx_end_template_argument_list (pp
);
213 pp_cxx_complement (pp
);
214 pp_cxx_unqualified_id (pp
, TREE_OPERAND (t
, 0));
217 case TEMPLATE_TYPE_PARM
:
218 case TEMPLATE_TEMPLATE_PARM
:
219 if (TYPE_IDENTIFIER (t
))
220 pp_cxx_unqualified_id (pp
, TYPE_IDENTIFIER (t
));
222 pp_cxx_canonical_template_parameter (pp
, t
);
225 case TEMPLATE_PARM_INDEX
:
226 pp_cxx_unqualified_id (pp
, TEMPLATE_PARM_DECL (t
));
229 case BOUND_TEMPLATE_TEMPLATE_PARM
:
230 pp_cxx_cv_qualifier_seq (pp
, t
);
231 pp_cxx_unqualified_id (pp
, TYPE_IDENTIFIER (t
));
232 pp_cxx_begin_template_argument_list (pp
);
233 pp_cxx_template_argument_list (pp
, TYPE_TI_ARGS (t
));
234 pp_cxx_end_template_argument_list (pp
);
238 pp_unsupported_tree (pp
, t
);
243 /* Pretty-print out the token sequence ":: template" in template codes
244 where it is needed to "inline declare" the (following) member as
245 a template. This situation arises when SCOPE of T is dependent
246 on template parameters. */
249 pp_cxx_template_keyword_if_needed (cxx_pretty_printer
*pp
, tree scope
, tree t
)
251 if (TREE_CODE (t
) == TEMPLATE_ID_EXPR
252 && TYPE_P (scope
) && dependent_type_p (scope
))
253 pp_cxx_ws_string (pp
, "template");
256 /* nested-name-specifier:
257 class-or-namespace-name :: nested-name-specifier(opt)
258 class-or-namespace-name :: template nested-name-specifier */
261 pp_cxx_nested_name_specifier (cxx_pretty_printer
*pp
, tree t
)
263 if (t
!= NULL
&& t
!= pp
->enclosing_scope
)
265 tree scope
= TYPE_P (t
) ? TYPE_CONTEXT (t
) : DECL_CONTEXT (t
);
266 pp_cxx_nested_name_specifier (pp
, scope
);
267 pp_cxx_template_keyword_if_needed (pp
, scope
, t
);
268 pp_cxx_unqualified_id (pp
, t
);
269 pp_cxx_colon_colon (pp
);
274 nested-name-specifier template(opt) unqualified-id */
277 pp_cxx_qualified_id (cxx_pretty_printer
*pp
, tree t
)
279 switch (TREE_CODE (t
))
281 /* A pointer-to-member is always qualified. */
283 pp_cxx_nested_name_specifier (pp
, PTRMEM_CST_CLASS (t
));
284 pp_cxx_unqualified_id (pp
, PTRMEM_CST_MEMBER (t
));
287 /* In Standard C++, functions cannot possibly be used as
288 nested-name-specifiers. However, there are situations where
289 is "makes sense" to output the surrounding function name for the
290 purpose of emphasizing on the scope kind. Just printing the
291 function name might not be sufficient as it may be overloaded; so,
292 we decorate the function with its signature too.
293 FIXME: This is probably the wrong pretty-printing for conversion
294 functions and some function templates. */
298 if (DECL_FUNCTION_MEMBER_P (t
))
299 pp_cxx_nested_name_specifier (pp
, DECL_CONTEXT (t
));
300 pp_cxx_unqualified_id
301 (pp
, DECL_CONSTRUCTOR_P (t
) ? DECL_CONTEXT (t
) : t
);
302 pp_cxx_parameter_declaration_clause (pp
, TREE_TYPE (t
));
307 pp_cxx_nested_name_specifier (pp
, TREE_OPERAND (t
, 0));
308 pp_cxx_unqualified_id (pp
, TREE_OPERAND (t
, 1));
313 tree scope
= TYPE_P (t
) ? TYPE_CONTEXT (t
) : DECL_CONTEXT (t
);
314 if (scope
!= pp
->enclosing_scope
)
316 pp_cxx_nested_name_specifier (pp
, scope
);
317 pp_cxx_template_keyword_if_needed (pp
, scope
, t
);
319 pp_cxx_unqualified_id (pp
, t
);
327 pp_cxx_constant (cxx_pretty_printer
*pp
, tree t
)
329 switch (TREE_CODE (t
))
333 const bool in_parens
= PAREN_STRING_LITERAL_P (t
);
335 pp_cxx_left_paren (pp
);
336 pp_c_constant (pp_c_base (pp
), t
);
338 pp_cxx_right_paren (pp
);
343 if (NULLPTR_TYPE_P (TREE_TYPE (t
)))
345 pp_string (pp
, "nullptr");
348 /* else fall through. */
351 pp_c_constant (pp_c_base (pp
), t
);
361 pp_cxx_id_expression (cxx_pretty_printer
*pp
, tree t
)
363 if (TREE_CODE (t
) == OVERLOAD
)
365 if (DECL_P (t
) && DECL_CONTEXT (t
))
366 pp_cxx_qualified_id (pp
, t
);
368 pp_cxx_unqualified_id (pp
, t
);
371 /* primary-expression:
375 :: operator-function-id
381 __builtin_va_arg ( assignment-expression , type-id )
382 __builtin_offsetof ( type-id, offsetof-expression )
384 __has_nothrow_assign ( type-id )
385 __has_nothrow_constructor ( type-id )
386 __has_nothrow_copy ( type-id )
387 __has_trivial_assign ( type-id )
388 __has_trivial_constructor ( type-id )
389 __has_trivial_copy ( type-id )
390 __has_trivial_destructor ( type-id )
391 __has_virtual_destructor ( type-id )
392 __is_abstract ( type-id )
393 __is_base_of ( type-id , type-id )
394 __is_class ( type-id )
395 __is_convertible_to ( type-id , type-id )
396 __is_empty ( type-id )
397 __is_enum ( type-id )
399 __is_polymorphic ( type-id )
400 __is_union ( type-id ) */
403 pp_cxx_primary_expression (cxx_pretty_printer
*pp
, tree t
)
405 switch (TREE_CODE (t
))
411 pp_cxx_constant (pp
, t
);
415 t
= BASELINK_FUNCTIONS (t
);
423 pp_cxx_id_expression (pp
, t
);
427 case TEMPLATE_TYPE_PARM
:
428 case TEMPLATE_TEMPLATE_PARM
:
429 case TEMPLATE_PARM_INDEX
:
430 pp_cxx_unqualified_id (pp
, t
);
434 pp_cxx_left_paren (pp
);
435 pp_cxx_statement (pp
, STMT_EXPR_STMT (t
));
436 pp_cxx_right_paren (pp
);
440 pp_cxx_trait_expression (pp
, t
);
444 pp_cxx_va_arg_expression (pp
, t
);
448 pp_cxx_offsetof_expression (pp
, t
);
452 pp_c_primary_expression (pp_c_base (pp
), t
);
457 /* postfix-expression:
459 postfix-expression [ expression ]
460 postfix-expression ( expression-list(opt) )
461 simple-type-specifier ( expression-list(opt) )
462 typename ::(opt) nested-name-specifier identifier ( expression-list(opt) )
463 typename ::(opt) nested-name-specifier template(opt)
464 template-id ( expression-list(opt) )
465 postfix-expression . template(opt) ::(opt) id-expression
466 postfix-expression -> template(opt) ::(opt) id-expression
467 postfix-expression . pseudo-destructor-name
468 postfix-expression -> pseudo-destructor-name
469 postfix-expression ++
470 postfix-expression --
471 dynamic_cast < type-id > ( expression )
472 static_cast < type-id > ( expression )
473 reinterpret_cast < type-id > ( expression )
474 const_cast < type-id > ( expression )
475 typeid ( expression )
476 typeid ( type-id ) */
479 pp_cxx_postfix_expression (cxx_pretty_printer
*pp
, tree t
)
481 enum tree_code code
= TREE_CODE (t
);
488 tree fun
= (code
== AGGR_INIT_EXPR
? AGGR_INIT_EXPR_FN (t
)
490 tree saved_scope
= pp
->enclosing_scope
;
491 bool skipfirst
= false;
494 if (TREE_CODE (fun
) == ADDR_EXPR
)
495 fun
= TREE_OPERAND (fun
, 0);
497 /* In templates, where there is no way to tell whether a given
498 call uses an actual member function. So the parser builds
499 FUN as a COMPONENT_REF or a plain IDENTIFIER_NODE until
500 instantiation time. */
501 if (TREE_CODE (fun
) != FUNCTION_DECL
)
503 else if (DECL_NONSTATIC_MEMBER_FUNCTION_P (fun
))
505 tree object
= (code
== AGGR_INIT_EXPR
506 ? (AGGR_INIT_VIA_CTOR_P (t
)
507 ? AGGR_INIT_EXPR_SLOT (t
)
508 : AGGR_INIT_EXPR_ARG (t
, 0))
509 : CALL_EXPR_ARG (t
, 0));
511 while (TREE_CODE (object
) == NOP_EXPR
)
512 object
= TREE_OPERAND (object
, 0);
514 if (TREE_CODE (object
) == ADDR_EXPR
)
515 object
= TREE_OPERAND (object
, 0);
517 if (TREE_CODE (TREE_TYPE (object
)) != POINTER_TYPE
)
519 pp_cxx_postfix_expression (pp
, object
);
524 pp_cxx_postfix_expression (pp
, object
);
528 pp
->enclosing_scope
= strip_pointer_operator (TREE_TYPE (object
));
531 pp_cxx_postfix_expression (pp
, fun
);
532 pp
->enclosing_scope
= saved_scope
;
533 pp_cxx_left_paren (pp
);
534 if (code
== AGGR_INIT_EXPR
)
536 aggr_init_expr_arg_iterator iter
;
537 FOR_EACH_AGGR_INIT_EXPR_ARG (arg
, iter
, t
)
543 pp_cxx_expression (pp
, arg
);
544 if (more_aggr_init_expr_args_p (&iter
))
545 pp_cxx_separate_with (pp
, ',');
551 call_expr_arg_iterator iter
;
552 FOR_EACH_CALL_EXPR_ARG (arg
, iter
, t
)
558 pp_cxx_expression (pp
, arg
);
559 if (more_call_expr_args_p (&iter
))
560 pp_cxx_separate_with (pp
, ',');
564 pp_cxx_right_paren (pp
);
566 if (code
== AGGR_INIT_EXPR
&& AGGR_INIT_VIA_CTOR_P (t
))
568 pp_cxx_separate_with (pp
, ',');
569 pp_cxx_postfix_expression (pp
, AGGR_INIT_EXPR_SLOT (t
));
582 pp_cxx_primary_expression (pp
, t
);
585 case DYNAMIC_CAST_EXPR
:
586 case STATIC_CAST_EXPR
:
587 case REINTERPRET_CAST_EXPR
:
588 case CONST_CAST_EXPR
:
589 if (code
== DYNAMIC_CAST_EXPR
)
590 pp_cxx_ws_string (pp
, "dynamic_cast");
591 else if (code
== STATIC_CAST_EXPR
)
592 pp_cxx_ws_string (pp
, "static_cast");
593 else if (code
== REINTERPRET_CAST_EXPR
)
594 pp_cxx_ws_string (pp
, "reinterpret_cast");
596 pp_cxx_ws_string (pp
, "const_cast");
597 pp_cxx_begin_template_argument_list (pp
);
598 pp_cxx_type_id (pp
, TREE_TYPE (t
));
599 pp_cxx_end_template_argument_list (pp
);
601 pp_cxx_expression (pp
, TREE_OPERAND (t
, 0));
605 case EMPTY_CLASS_EXPR
:
606 pp_cxx_type_id (pp
, TREE_TYPE (t
));
612 pp_cxx_typeid_expression (pp
, t
);
615 case PSEUDO_DTOR_EXPR
:
616 pp_cxx_postfix_expression (pp
, TREE_OPERAND (t
, 0));
618 pp_cxx_qualified_id (pp
, TREE_OPERAND (t
, 1));
619 pp_cxx_colon_colon (pp
);
621 pp_cxx_unqualified_id (pp
, TREE_OPERAND (t
, 2));
625 pp_cxx_postfix_expression (pp
, TREE_OPERAND (t
, 0));
630 pp_c_postfix_expression (pp_c_base (pp
), t
);
636 ::(opt) new new-placement(opt) new-type-id new-initializer(opt)
637 ::(opt) new new-placement(opt) ( type-id ) new-initializer(opt)
643 type-specifier-seq new-declarator(opt)
646 ptr-operator new-declarator(opt)
647 direct-new-declarator
649 direct-new-declarator
651 direct-new-declarator [ constant-expression ]
654 ( expression-list(opt) ) */
657 pp_cxx_new_expression (cxx_pretty_printer
*pp
, tree t
)
659 enum tree_code code
= TREE_CODE (t
);
660 tree type
= TREE_OPERAND (t
, 1);
661 tree init
= TREE_OPERAND (t
, 2);
666 if (NEW_EXPR_USE_GLOBAL (t
))
667 pp_cxx_colon_colon (pp
);
668 pp_cxx_ws_string (pp
, "new");
669 if (TREE_OPERAND (t
, 0))
671 pp_cxx_call_argument_list (pp
, TREE_OPERAND (t
, 0));
674 if (TREE_CODE (type
) == ARRAY_REF
)
675 type
= build_cplus_array_type
676 (TREE_OPERAND (type
, 0),
677 build_index_type (fold_build2_loc (input_location
,
678 MINUS_EXPR
, integer_type_node
,
679 TREE_OPERAND (type
, 1),
681 pp_cxx_type_id (pp
, type
);
685 if (TREE_CODE (init
) == TREE_LIST
)
686 pp_c_expression_list (pp_c_base (pp
), init
);
687 else if (init
== void_zero_node
)
688 ; /* OK, empty initializer list. */
690 pp_cxx_expression (pp
, init
);
696 pp_unsupported_tree (pp
, t
);
700 /* delete-expression:
701 ::(opt) delete cast-expression
702 ::(opt) delete [ ] cast-expression */
705 pp_cxx_delete_expression (cxx_pretty_printer
*pp
, tree t
)
707 enum tree_code code
= TREE_CODE (t
);
711 case VEC_DELETE_EXPR
:
712 if (DELETE_EXPR_USE_GLOBAL (t
))
713 pp_cxx_colon_colon (pp
);
714 pp_cxx_ws_string (pp
, "delete");
716 if (code
== VEC_DELETE_EXPR
717 || DELETE_EXPR_USE_VEC (t
))
719 pp_left_bracket (pp
);
720 pp_right_bracket (pp
);
723 pp_c_cast_expression (pp_c_base (pp
), TREE_OPERAND (t
, 0));
727 pp_unsupported_tree (pp
, t
);
735 unary-operator cast-expression
736 sizeof unary-expression
738 sizeof ... ( identifier )
742 unary-operator: one of
746 __alignof__ unary-expression
747 __alignof__ ( type-id ) */
750 pp_cxx_unary_expression (cxx_pretty_printer
*pp
, tree t
)
752 enum tree_code code
= TREE_CODE (t
);
757 pp_cxx_new_expression (pp
, t
);
761 case VEC_DELETE_EXPR
:
762 pp_cxx_delete_expression (pp
, t
);
766 if (PACK_EXPANSION_P (TREE_OPERAND (t
, 0)))
768 pp_cxx_ws_string (pp
, "sizeof");
769 pp_cxx_ws_string (pp
, "...");
770 pp_cxx_whitespace (pp
);
771 pp_cxx_left_paren (pp
);
772 if (TYPE_P (TREE_OPERAND (t
, 0)))
773 pp_cxx_type_id (pp
, TREE_OPERAND (t
, 0));
775 pp_unary_expression (pp
, TREE_OPERAND (t
, 0));
776 pp_cxx_right_paren (pp
);
782 pp_cxx_ws_string (pp
, code
== SIZEOF_EXPR
? "sizeof" : "__alignof__");
783 pp_cxx_whitespace (pp
);
784 if (TYPE_P (TREE_OPERAND (t
, 0)))
786 pp_cxx_left_paren (pp
);
787 pp_cxx_type_id (pp
, TREE_OPERAND (t
, 0));
788 pp_cxx_right_paren (pp
);
791 pp_unary_expression (pp
, TREE_OPERAND (t
, 0));
795 pp_cxx_ws_string (pp
, "noexcept");
796 pp_cxx_whitespace (pp
);
797 pp_cxx_left_paren (pp
);
798 pp_cxx_expression (pp
, TREE_OPERAND (t
, 0));
799 pp_cxx_right_paren (pp
);
802 case UNARY_PLUS_EXPR
:
804 pp_cxx_cast_expression (pp
, TREE_OPERAND (t
, 0));
808 pp_c_unary_expression (pp_c_base (pp
), t
);
815 ( type-id ) cast-expression */
818 pp_cxx_cast_expression (cxx_pretty_printer
*pp
, tree t
)
820 switch (TREE_CODE (t
))
823 pp_cxx_type_id (pp
, TREE_TYPE (t
));
824 pp_cxx_call_argument_list (pp
, TREE_OPERAND (t
, 0));
828 pp_c_cast_expression (pp_c_base (pp
), t
);
835 pm-expression .* cast-expression
836 pm-expression ->* cast-expression */
839 pp_cxx_pm_expression (cxx_pretty_printer
*pp
, tree t
)
841 switch (TREE_CODE (t
))
843 /* Handle unfortunate OFFSET_REF overloading here. */
845 if (TYPE_P (TREE_OPERAND (t
, 0)))
847 pp_cxx_qualified_id (pp
, t
);
850 /* Else fall through. */
853 pp_cxx_pm_expression (pp
, TREE_OPERAND (t
, 0));
854 if (TREE_CODE (t
) == MEMBER_REF
)
859 pp_cxx_cast_expression (pp
, TREE_OPERAND (t
, 1));
864 pp_cxx_cast_expression (pp
, t
);
869 /* multiplicative-expression:
871 multiplicative-expression * pm-expression
872 multiplicative-expression / pm-expression
873 multiplicative-expression % pm-expression */
876 pp_cxx_multiplicative_expression (cxx_pretty_printer
*pp
, tree e
)
878 enum tree_code code
= TREE_CODE (e
);
884 pp_cxx_multiplicative_expression (pp
, TREE_OPERAND (e
, 0));
886 if (code
== MULT_EXPR
)
888 else if (code
== TRUNC_DIV_EXPR
)
893 pp_cxx_pm_expression (pp
, TREE_OPERAND (e
, 1));
897 pp_cxx_pm_expression (pp
, e
);
902 /* conditional-expression:
903 logical-or-expression
904 logical-or-expression ? expression : assignment-expression */
907 pp_cxx_conditional_expression (cxx_pretty_printer
*pp
, tree e
)
909 if (TREE_CODE (e
) == COND_EXPR
)
911 pp_c_logical_or_expression (pp_c_base (pp
), TREE_OPERAND (e
, 0));
915 pp_cxx_expression (pp
, TREE_OPERAND (e
, 1));
917 pp_cxx_assignment_expression (pp
, TREE_OPERAND (e
, 2));
920 pp_c_logical_or_expression (pp_c_base (pp
), e
);
923 /* Pretty-print a compound assignment operator token as indicated by T. */
926 pp_cxx_assignment_operator (cxx_pretty_printer
*pp
, tree t
)
930 switch (TREE_CODE (t
))
953 op
= tree_code_name
[TREE_CODE (t
)];
957 pp_cxx_ws_string (pp
, op
);
961 /* assignment-expression:
962 conditional-expression
963 logical-or-expression assignment-operator assignment-expression
967 throw assignment-expression(opt)
969 assignment-operator: one of
970 = *= /= %= += -= >>= <<= &= ^= |= */
973 pp_cxx_assignment_expression (cxx_pretty_printer
*pp
, tree e
)
975 switch (TREE_CODE (e
))
979 pp_c_logical_or_expression (pp_c_base (pp
), TREE_OPERAND (e
, 0));
983 pp_cxx_assignment_expression (pp
, TREE_OPERAND (e
, 1));
987 pp_cxx_ws_string (pp
, "throw");
988 if (TREE_OPERAND (e
, 0))
989 pp_cxx_assignment_expression (pp
, TREE_OPERAND (e
, 0));
993 pp_c_logical_or_expression (pp_c_base (pp
), TREE_OPERAND (e
, 0));
994 pp_cxx_assignment_operator (pp
, TREE_OPERAND (e
, 1));
995 pp_cxx_assignment_expression (pp
, TREE_OPERAND (e
, 2));
999 pp_cxx_conditional_expression (pp
, e
);
1005 pp_cxx_expression (cxx_pretty_printer
*pp
, tree t
)
1007 switch (TREE_CODE (t
))
1013 pp_cxx_constant (pp
, t
);
1017 pp_cxx_unqualified_id (pp
, t
);
1025 pp_cxx_qualified_id (pp
, t
);
1029 t
= OVL_CURRENT (t
);
1037 case TEMPLATE_TYPE_PARM
:
1038 case TEMPLATE_PARM_INDEX
:
1039 case TEMPLATE_TEMPLATE_PARM
:
1041 pp_cxx_primary_expression (pp
, t
);
1045 case DYNAMIC_CAST_EXPR
:
1046 case STATIC_CAST_EXPR
:
1047 case REINTERPRET_CAST_EXPR
:
1048 case CONST_CAST_EXPR
:
1052 case EMPTY_CLASS_EXPR
:
1054 case PSEUDO_DTOR_EXPR
:
1055 case AGGR_INIT_EXPR
:
1057 pp_cxx_postfix_expression (pp
, t
);
1062 pp_cxx_new_expression (pp
, t
);
1066 case VEC_DELETE_EXPR
:
1067 pp_cxx_delete_expression (pp
, t
);
1073 pp_cxx_unary_expression (pp
, t
);
1077 pp_cxx_cast_expression (pp
, t
);
1083 pp_cxx_pm_expression (pp
, t
);
1087 case TRUNC_DIV_EXPR
:
1088 case TRUNC_MOD_EXPR
:
1089 pp_cxx_multiplicative_expression (pp
, t
);
1093 pp_cxx_conditional_expression (pp
, t
);
1100 pp_cxx_assignment_expression (pp
, t
);
1103 case NON_DEPENDENT_EXPR
:
1104 case MUST_NOT_THROW_EXPR
:
1105 pp_cxx_expression (pp
, TREE_OPERAND (t
, 0));
1108 case EXPR_PACK_EXPANSION
:
1109 pp_cxx_expression (pp
, PACK_EXPANSION_PATTERN (t
));
1110 pp_cxx_ws_string (pp
, "...");
1113 case TEMPLATE_ID_EXPR
:
1114 pp_cxx_template_id (pp
, t
);
1117 case NONTYPE_ARGUMENT_PACK
:
1119 tree args
= ARGUMENT_PACK_ARGS (t
);
1120 int i
, len
= TREE_VEC_LENGTH (args
);
1121 for (i
= 0; i
< len
; ++i
)
1124 pp_cxx_separate_with (pp
, ',');
1125 pp_cxx_expression (pp
, TREE_VEC_ELT (args
, i
));
1131 pp_c_expression (pp_c_base (pp
), t
);
1139 /* function-specifier:
1145 pp_cxx_function_specifier (cxx_pretty_printer
*pp
, tree t
)
1147 switch (TREE_CODE (t
))
1150 if (DECL_VIRTUAL_P (t
))
1151 pp_cxx_ws_string (pp
, "virtual");
1152 else if (DECL_CONSTRUCTOR_P (t
) && DECL_NONCONVERTING_P (t
))
1153 pp_cxx_ws_string (pp
, "explicit");
1155 pp_c_function_specifier (pp_c_base (pp
), t
);
1162 /* decl-specifier-seq:
1163 decl-specifier-seq(opt) decl-specifier
1166 storage-class-specifier
1173 pp_cxx_decl_specifier_seq (cxx_pretty_printer
*pp
, tree t
)
1175 switch (TREE_CODE (t
))
1181 pp_cxx_storage_class_specifier (pp
, t
);
1182 pp_cxx_decl_specifier_seq (pp
, TREE_TYPE (t
));
1186 pp_cxx_ws_string (pp
, "typedef");
1187 pp_cxx_decl_specifier_seq (pp
, TREE_TYPE (t
));
1191 /* Constructors don't have return types. And conversion functions
1192 do not have a type-specifier in their return types. */
1193 if (DECL_CONSTRUCTOR_P (t
) || DECL_CONV_FN_P (t
))
1194 pp_cxx_function_specifier (pp
, t
);
1195 else if (DECL_NONSTATIC_MEMBER_FUNCTION_P (t
))
1196 pp_cxx_decl_specifier_seq (pp
, TREE_TYPE (TREE_TYPE (t
)));
1199 pp_c_declaration_specifiers (pp_c_base (pp
), t
);
1204 /* simple-type-specifier:
1205 ::(opt) nested-name-specifier(opt) type-name
1206 ::(opt) nested-name-specifier(opt) template(opt) template-id
1220 pp_cxx_simple_type_specifier (cxx_pretty_printer
*pp
, tree t
)
1222 switch (TREE_CODE (t
))
1227 pp_cxx_qualified_id (pp
, t
);
1230 case TEMPLATE_TYPE_PARM
:
1231 case TEMPLATE_TEMPLATE_PARM
:
1232 case TEMPLATE_PARM_INDEX
:
1233 pp_cxx_unqualified_id (pp
, t
);
1237 pp_cxx_ws_string (pp
, "typename");
1238 pp_cxx_nested_name_specifier (pp
, TYPE_CONTEXT (t
));
1239 pp_cxx_unqualified_id (pp
, TYPE_NAME (t
));
1243 pp_c_type_specifier (pp_c_base (pp
), t
);
1248 /* type-specifier-seq:
1249 type-specifier type-specifier-seq(opt)
1252 simple-type-specifier
1255 elaborated-type-specifier
1259 pp_cxx_type_specifier_seq (cxx_pretty_printer
*pp
, tree t
)
1261 switch (TREE_CODE (t
))
1264 case TEMPLATE_TYPE_PARM
:
1265 case TEMPLATE_TEMPLATE_PARM
:
1267 case BOUND_TEMPLATE_TEMPLATE_PARM
:
1268 pp_cxx_cv_qualifier_seq (pp
, t
);
1269 pp_cxx_simple_type_specifier (pp
, t
);
1273 pp_cxx_type_specifier_seq (pp
, TREE_TYPE (t
));
1274 pp_cxx_space_for_pointer_operator (pp
, TREE_TYPE (t
));
1275 pp_cxx_nested_name_specifier (pp
, TYPE_METHOD_BASETYPE (t
));
1279 pp_cxx_ws_string (pp
, "decltype");
1280 pp_cxx_left_paren (pp
);
1281 pp_cxx_expression (pp
, DECLTYPE_TYPE_EXPR (t
));
1282 pp_cxx_right_paren (pp
);
1286 if (TYPE_PTRMEMFUNC_P (t
))
1288 tree pfm
= TYPE_PTRMEMFUNC_FN_TYPE (t
);
1289 pp_cxx_decl_specifier_seq (pp
, TREE_TYPE (TREE_TYPE (pfm
)));
1290 pp_cxx_whitespace (pp
);
1291 pp_cxx_ptr_operator (pp
, t
);
1294 /* else fall through */
1297 if (!(TREE_CODE (t
) == FUNCTION_DECL
&& DECL_CONSTRUCTOR_P (t
)))
1298 pp_c_specifier_qualifier_list (pp_c_base (pp
), t
);
1303 * cv-qualifier-seq(opt)
1305 ::(opt) nested-name-specifier * cv-qualifier-seq(opt) */
1308 pp_cxx_ptr_operator (cxx_pretty_printer
*pp
, tree t
)
1310 if (!TYPE_P (t
) && TREE_CODE (t
) != TYPE_DECL
)
1312 switch (TREE_CODE (t
))
1314 case REFERENCE_TYPE
:
1316 if (TREE_CODE (TREE_TYPE (t
)) == POINTER_TYPE
1317 || TYPE_PTR_TO_MEMBER_P (TREE_TYPE (t
)))
1318 pp_cxx_ptr_operator (pp
, TREE_TYPE (t
));
1319 if (TREE_CODE (t
) == POINTER_TYPE
)
1322 pp_cxx_cv_qualifier_seq (pp
, t
);
1329 if (TYPE_PTRMEMFUNC_P (t
))
1331 pp_cxx_left_paren (pp
);
1332 pp_cxx_nested_name_specifier (pp
, TYPE_PTRMEMFUNC_OBJECT_TYPE (t
));
1337 if (TYPE_PTR_TO_MEMBER_P (t
))
1339 if (TREE_CODE (TREE_TYPE (t
)) == ARRAY_TYPE
)
1340 pp_cxx_left_paren (pp
);
1341 pp_cxx_nested_name_specifier (pp
, TYPE_PTRMEM_CLASS_TYPE (t
));
1343 pp_cxx_cv_qualifier_seq (pp
, t
);
1346 /* else fall through. */
1349 pp_unsupported_tree (pp
, t
);
1355 pp_cxx_implicit_parameter_type (tree mf
)
1357 return TREE_TYPE (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (mf
))));
1361 parameter-declaration:
1362 decl-specifier-seq declarator
1363 decl-specifier-seq declarator = assignment-expression
1364 decl-specifier-seq abstract-declarator(opt)
1365 decl-specifier-seq abstract-declarator(opt) assignment-expression */
1368 pp_cxx_parameter_declaration (cxx_pretty_printer
*pp
, tree t
)
1370 pp_cxx_decl_specifier_seq (pp
, t
);
1372 pp_cxx_abstract_declarator (pp
, t
);
1374 pp_cxx_declarator (pp
, t
);
1377 /* parameter-declaration-clause:
1378 parameter-declaration-list(opt) ...(opt)
1379 parameter-declaration-list , ...
1381 parameter-declaration-list:
1382 parameter-declaration
1383 parameter-declaration-list , parameter-declaration */
1386 pp_cxx_parameter_declaration_clause (cxx_pretty_printer
*pp
, tree t
)
1388 tree args
= TYPE_P (t
) ? NULL
: FUNCTION_FIRST_USER_PARM (t
);
1390 TYPE_P (t
) ? TYPE_ARG_TYPES (t
) : FUNCTION_FIRST_USER_PARMTYPE (t
);
1391 const bool abstract
= args
== NULL
1392 || pp_c_base (pp
)->flags
& pp_c_flag_abstract
;
1395 /* Skip artificial parameter for nonstatic member functions. */
1396 if (TREE_CODE (t
) == METHOD_TYPE
)
1397 types
= TREE_CHAIN (types
);
1399 pp_cxx_left_paren (pp
);
1400 for (; args
; args
= TREE_CHAIN (args
), types
= TREE_CHAIN (types
))
1403 pp_cxx_separate_with (pp
, ',');
1405 pp_cxx_parameter_declaration (pp
, abstract
? TREE_VALUE (types
) : args
);
1406 if (!abstract
&& pp_c_base (pp
)->flags
& pp_cxx_flag_default_argument
)
1408 pp_cxx_whitespace (pp
);
1410 pp_cxx_whitespace (pp
);
1411 pp_cxx_assignment_expression (pp
, TREE_PURPOSE (types
));
1414 pp_cxx_right_paren (pp
);
1417 /* exception-specification:
1418 throw ( type-id-list(opt) )
1422 type-id-list , type-id */
1425 pp_cxx_exception_specification (cxx_pretty_printer
*pp
, tree t
)
1427 tree ex_spec
= TYPE_RAISES_EXCEPTIONS (t
);
1428 bool need_comma
= false;
1430 if (ex_spec
== NULL
)
1432 if (TREE_PURPOSE (ex_spec
))
1434 pp_cxx_ws_string (pp
, "noexcept");
1435 pp_cxx_whitespace (pp
);
1436 pp_cxx_left_paren (pp
);
1437 pp_cxx_expression (pp
, TREE_PURPOSE (ex_spec
));
1438 pp_cxx_right_paren (pp
);
1441 pp_cxx_ws_string (pp
, "throw");
1442 pp_cxx_left_paren (pp
);
1443 for (; ex_spec
&& TREE_VALUE (ex_spec
); ex_spec
= TREE_CHAIN (ex_spec
))
1445 tree type
= TREE_VALUE (ex_spec
);
1446 tree argpack
= NULL_TREE
;
1449 if (ARGUMENT_PACK_P (type
))
1451 argpack
= ARGUMENT_PACK_ARGS (type
);
1452 len
= TREE_VEC_LENGTH (argpack
);
1455 for (i
= 0; i
< len
; ++i
)
1458 type
= TREE_VEC_ELT (argpack
, i
);
1461 pp_cxx_separate_with (pp
, ',');
1465 pp_cxx_type_id (pp
, type
);
1468 pp_cxx_right_paren (pp
);
1471 /* direct-declarator:
1473 direct-declarator ( parameter-declaration-clause ) cv-qualifier-seq(opt)
1474 exception-specification(opt)
1475 direct-declaration [ constant-expression(opt) ]
1479 pp_cxx_direct_declarator (cxx_pretty_printer
*pp
, tree t
)
1481 switch (TREE_CODE (t
))
1489 pp_cxx_space_for_pointer_operator (pp
, TREE_TYPE (t
));
1491 if ((TREE_CODE (t
) == PARM_DECL
&& FUNCTION_PARAMETER_PACK_P (t
))
1492 || template_parameter_pack_p (t
))
1493 /* A function parameter pack or non-type template
1495 pp_cxx_ws_string (pp
, "...");
1497 pp_cxx_id_expression (pp
, DECL_NAME (t
));
1499 pp_cxx_abstract_declarator (pp
, TREE_TYPE (t
));
1503 pp_cxx_space_for_pointer_operator (pp
, TREE_TYPE (TREE_TYPE (t
)));
1504 pp_cxx_id_expression (pp
, t
);
1505 pp_cxx_parameter_declaration_clause (pp
, t
);
1507 if (DECL_NONSTATIC_MEMBER_FUNCTION_P (t
))
1509 pp_base (pp
)->padding
= pp_before
;
1510 pp_cxx_cv_qualifier_seq (pp
, pp_cxx_implicit_parameter_type (t
));
1513 pp_cxx_exception_specification (pp
, TREE_TYPE (t
));
1518 case TEMPLATE_TYPE_PARM
:
1519 case TEMPLATE_PARM_INDEX
:
1520 case TEMPLATE_TEMPLATE_PARM
:
1524 pp_c_direct_declarator (pp_c_base (pp
), t
);
1531 ptr-operator declarator */
1534 pp_cxx_declarator (cxx_pretty_printer
*pp
, tree t
)
1536 pp_cxx_direct_declarator (pp
, t
);
1539 /* ctor-initializer:
1540 : mem-initializer-list
1542 mem-initializer-list:
1544 mem-initializer , mem-initializer-list
1547 mem-initializer-id ( expression-list(opt) )
1550 ::(opt) nested-name-specifier(opt) class-name
1554 pp_cxx_ctor_initializer (cxx_pretty_printer
*pp
, tree t
)
1556 t
= TREE_OPERAND (t
, 0);
1557 pp_cxx_whitespace (pp
);
1559 pp_cxx_whitespace (pp
);
1560 for (; t
; t
= TREE_CHAIN (t
))
1562 tree purpose
= TREE_PURPOSE (t
);
1563 bool is_pack
= PACK_EXPANSION_P (purpose
);
1566 pp_cxx_primary_expression (pp
, PACK_EXPANSION_PATTERN (purpose
));
1568 pp_cxx_primary_expression (pp
, purpose
);
1569 pp_cxx_call_argument_list (pp
, TREE_VALUE (t
));
1571 pp_cxx_ws_string (pp
, "...");
1573 pp_cxx_separate_with (pp
, ',');
1577 /* function-definition:
1578 decl-specifier-seq(opt) declarator ctor-initializer(opt) function-body
1579 decl-specifier-seq(opt) declarator function-try-block */
1582 pp_cxx_function_definition (cxx_pretty_printer
*pp
, tree t
)
1584 tree saved_scope
= pp
->enclosing_scope
;
1585 pp_cxx_decl_specifier_seq (pp
, t
);
1586 pp_cxx_declarator (pp
, t
);
1587 pp_needs_newline (pp
) = true;
1588 pp
->enclosing_scope
= DECL_CONTEXT (t
);
1589 if (DECL_SAVED_TREE (t
))
1590 pp_cxx_statement (pp
, DECL_SAVED_TREE (t
));
1593 pp_cxx_semicolon (pp
);
1594 pp_needs_newline (pp
) = true;
1597 pp
->enclosing_scope
= saved_scope
;
1600 /* abstract-declarator:
1601 ptr-operator abstract-declarator(opt)
1602 direct-abstract-declarator */
1605 pp_cxx_abstract_declarator (cxx_pretty_printer
*pp
, tree t
)
1607 if (TYPE_PTRMEM_P (t
) || TYPE_PTRMEMFUNC_P (t
))
1608 pp_cxx_right_paren (pp
);
1609 else if (POINTER_TYPE_P (t
))
1611 if (TREE_CODE (TREE_TYPE (t
)) == ARRAY_TYPE
1612 || TREE_CODE (TREE_TYPE (t
)) == FUNCTION_TYPE
)
1613 pp_cxx_right_paren (pp
);
1616 pp_cxx_direct_abstract_declarator (pp
, t
);
1619 /* direct-abstract-declarator:
1620 direct-abstract-declarator(opt) ( parameter-declaration-clause )
1621 cv-qualifier-seq(opt) exception-specification(opt)
1622 direct-abstract-declarator(opt) [ constant-expression(opt) ]
1623 ( abstract-declarator ) */
1626 pp_cxx_direct_abstract_declarator (cxx_pretty_printer
*pp
, tree t
)
1628 switch (TREE_CODE (t
))
1630 case REFERENCE_TYPE
:
1631 pp_cxx_abstract_declarator (pp
, t
);
1635 if (TYPE_PTRMEMFUNC_P (t
))
1636 pp_cxx_direct_abstract_declarator (pp
, TYPE_PTRMEMFUNC_FN_TYPE (t
));
1641 pp_cxx_parameter_declaration_clause (pp
, t
);
1642 pp_cxx_direct_abstract_declarator (pp
, TREE_TYPE (t
));
1643 if (TREE_CODE (t
) == METHOD_TYPE
)
1645 pp_base (pp
)->padding
= pp_before
;
1646 pp_cxx_cv_qualifier_seq
1647 (pp
, TREE_TYPE (TREE_VALUE (TYPE_ARG_TYPES (t
))));
1649 pp_cxx_exception_specification (pp
, t
);
1653 case TEMPLATE_TYPE_PARM
:
1654 case TEMPLATE_TEMPLATE_PARM
:
1655 case BOUND_TEMPLATE_TEMPLATE_PARM
:
1656 case UNBOUND_CLASS_TEMPLATE
:
1660 pp_c_direct_abstract_declarator (pp_c_base (pp
), t
);
1666 type-specifier-seq abstract-declarator(opt) */
1669 pp_cxx_type_id (cxx_pretty_printer
*pp
, tree t
)
1671 pp_flags saved_flags
= pp_c_base (pp
)->flags
;
1672 pp_c_base (pp
)->flags
|= pp_c_flag_abstract
;
1674 switch (TREE_CODE (t
))
1681 case BOUND_TEMPLATE_TEMPLATE_PARM
:
1682 case UNBOUND_CLASS_TEMPLATE
:
1683 case TEMPLATE_TEMPLATE_PARM
:
1684 case TEMPLATE_TYPE_PARM
:
1685 case TEMPLATE_PARM_INDEX
:
1689 case TEMPLATE_ID_EXPR
:
1690 pp_cxx_type_specifier_seq (pp
, t
);
1693 case TYPE_PACK_EXPANSION
:
1694 pp_cxx_type_id (pp
, PACK_EXPANSION_PATTERN (t
));
1695 pp_cxx_ws_string (pp
, "...");
1699 pp_c_type_id (pp_c_base (pp
), t
);
1703 pp_c_base (pp
)->flags
= saved_flags
;
1706 /* template-argument-list:
1707 template-argument ...(opt)
1708 template-argument-list, template-argument ...(opt)
1711 assignment-expression
1716 pp_cxx_template_argument_list (cxx_pretty_printer
*pp
, tree t
)
1719 bool need_comma
= false;
1723 for (i
= 0; i
< TREE_VEC_LENGTH (t
); ++i
)
1725 tree arg
= TREE_VEC_ELT (t
, i
);
1726 tree argpack
= NULL_TREE
;
1729 if (ARGUMENT_PACK_P (arg
))
1731 argpack
= ARGUMENT_PACK_ARGS (arg
);
1732 len
= TREE_VEC_LENGTH (argpack
);
1735 for (idx
= 0; idx
< len
; idx
++)
1738 arg
= TREE_VEC_ELT (argpack
, idx
);
1741 pp_cxx_separate_with (pp
, ',');
1745 if (TYPE_P (arg
) || (TREE_CODE (arg
) == TEMPLATE_DECL
1746 && TYPE_P (DECL_TEMPLATE_RESULT (arg
))))
1747 pp_cxx_type_id (pp
, arg
);
1749 pp_cxx_expression (pp
, arg
);
1756 pp_cxx_exception_declaration (cxx_pretty_printer
*pp
, tree t
)
1758 t
= DECL_EXPR_DECL (t
);
1759 pp_cxx_type_specifier_seq (pp
, t
);
1761 pp_cxx_abstract_declarator (pp
, t
);
1763 pp_cxx_declarator (pp
, t
);
1769 pp_cxx_statement (cxx_pretty_printer
*pp
, tree t
)
1771 switch (TREE_CODE (t
))
1773 case CTOR_INITIALIZER
:
1774 pp_cxx_ctor_initializer (pp
, t
);
1778 pp_cxx_ws_string (pp
, "using");
1779 pp_cxx_ws_string (pp
, "namespace");
1780 if (DECL_CONTEXT (t
))
1781 pp_cxx_nested_name_specifier (pp
, DECL_CONTEXT (t
));
1782 pp_cxx_qualified_id (pp
, USING_STMT_NAMESPACE (t
));
1786 pp_cxx_ws_string (pp
, "using");
1787 pp_cxx_nested_name_specifier (pp
, USING_DECL_SCOPE (t
));
1788 pp_cxx_unqualified_id (pp
, DECL_NAME (t
));
1795 try compound-statement handler-seq */
1797 pp_maybe_newline_and_indent (pp
, 0);
1798 pp_cxx_ws_string (pp
, "try");
1799 pp_newline_and_indent (pp
, 3);
1800 pp_cxx_statement (pp
, TRY_STMTS (t
));
1801 pp_newline_and_indent (pp
, -3);
1805 pp_cxx_statement (pp
, TRY_HANDLERS (t
));
1810 handler handler-seq(opt)
1813 catch ( exception-declaration ) compound-statement
1815 exception-declaration:
1816 type-specifier-seq declarator
1817 type-specifier-seq abstract-declarator
1820 pp_cxx_ws_string (pp
, "catch");
1821 pp_cxx_left_paren (pp
);
1822 pp_cxx_exception_declaration (pp
, HANDLER_PARMS (t
));
1823 pp_cxx_right_paren (pp
);
1824 pp_indentation (pp
) += 3;
1825 pp_needs_newline (pp
) = true;
1826 pp_cxx_statement (pp
, HANDLER_BODY (t
));
1827 pp_indentation (pp
) -= 3;
1828 pp_needs_newline (pp
) = true;
1831 /* selection-statement:
1832 if ( expression ) statement
1833 if ( expression ) statement else statement */
1835 pp_cxx_ws_string (pp
, "if");
1836 pp_cxx_whitespace (pp
);
1837 pp_cxx_left_paren (pp
);
1838 pp_cxx_expression (pp
, IF_COND (t
));
1839 pp_cxx_right_paren (pp
);
1840 pp_newline_and_indent (pp
, 2);
1841 pp_cxx_statement (pp
, THEN_CLAUSE (t
));
1842 pp_newline_and_indent (pp
, -2);
1843 if (ELSE_CLAUSE (t
))
1845 tree else_clause
= ELSE_CLAUSE (t
);
1846 pp_cxx_ws_string (pp
, "else");
1847 if (TREE_CODE (else_clause
) == IF_STMT
)
1848 pp_cxx_whitespace (pp
);
1850 pp_newline_and_indent (pp
, 2);
1851 pp_cxx_statement (pp
, else_clause
);
1852 if (TREE_CODE (else_clause
) != IF_STMT
)
1853 pp_newline_and_indent (pp
, -2);
1858 pp_cxx_ws_string (pp
, "switch");
1860 pp_cxx_left_paren (pp
);
1861 pp_cxx_expression (pp
, SWITCH_STMT_COND (t
));
1862 pp_cxx_right_paren (pp
);
1863 pp_indentation (pp
) += 3;
1864 pp_needs_newline (pp
) = true;
1865 pp_cxx_statement (pp
, SWITCH_STMT_BODY (t
));
1866 pp_newline_and_indent (pp
, -3);
1869 /* iteration-statement:
1870 while ( expression ) statement
1871 do statement while ( expression ) ;
1872 for ( expression(opt) ; expression(opt) ; expression(opt) ) statement
1873 for ( declaration expression(opt) ; expression(opt) ) statement */
1875 pp_cxx_ws_string (pp
, "while");
1877 pp_cxx_left_paren (pp
);
1878 pp_cxx_expression (pp
, WHILE_COND (t
));
1879 pp_cxx_right_paren (pp
);
1880 pp_newline_and_indent (pp
, 3);
1881 pp_cxx_statement (pp
, WHILE_BODY (t
));
1882 pp_indentation (pp
) -= 3;
1883 pp_needs_newline (pp
) = true;
1887 pp_cxx_ws_string (pp
, "do");
1888 pp_newline_and_indent (pp
, 3);
1889 pp_cxx_statement (pp
, DO_BODY (t
));
1890 pp_newline_and_indent (pp
, -3);
1891 pp_cxx_ws_string (pp
, "while");
1893 pp_cxx_left_paren (pp
);
1894 pp_cxx_expression (pp
, DO_COND (t
));
1895 pp_cxx_right_paren (pp
);
1896 pp_cxx_semicolon (pp
);
1897 pp_needs_newline (pp
) = true;
1901 pp_cxx_ws_string (pp
, "for");
1903 pp_cxx_left_paren (pp
);
1904 if (FOR_INIT_STMT (t
))
1905 pp_cxx_statement (pp
, FOR_INIT_STMT (t
));
1907 pp_cxx_semicolon (pp
);
1908 pp_needs_newline (pp
) = false;
1909 pp_cxx_whitespace (pp
);
1911 pp_cxx_expression (pp
, FOR_COND (t
));
1912 pp_cxx_semicolon (pp
);
1913 pp_needs_newline (pp
) = false;
1914 pp_cxx_whitespace (pp
);
1916 pp_cxx_expression (pp
, FOR_EXPR (t
));
1917 pp_cxx_right_paren (pp
);
1918 pp_newline_and_indent (pp
, 3);
1919 pp_cxx_statement (pp
, FOR_BODY (t
));
1920 pp_indentation (pp
) -= 3;
1921 pp_needs_newline (pp
) = true;
1927 return expression(opt) ; */
1930 pp_string (pp
, TREE_CODE (t
) == BREAK_STMT
? "break" : "continue");
1931 pp_cxx_semicolon (pp
);
1932 pp_needs_newline (pp
) = true;
1935 /* expression-statement:
1936 expression(opt) ; */
1938 pp_cxx_expression (pp
, EXPR_STMT_EXPR (t
));
1939 pp_cxx_semicolon (pp
);
1940 pp_needs_newline (pp
) = true;
1944 pp_cxx_ws_string (pp
, "try");
1945 pp_newline_and_indent (pp
, 2);
1946 pp_cxx_statement (pp
, CLEANUP_BODY (t
));
1947 pp_newline_and_indent (pp
, -2);
1948 pp_cxx_ws_string (pp
, CLEANUP_EH_ONLY (t
) ? "catch" : "finally");
1949 pp_newline_and_indent (pp
, 2);
1950 pp_cxx_statement (pp
, CLEANUP_EXPR (t
));
1951 pp_newline_and_indent (pp
, -2);
1955 pp_cxx_declaration (pp
, t
);
1959 pp_c_statement (pp_c_base (pp
), t
);
1964 /* original-namespace-definition:
1965 namespace identifier { namespace-body }
1967 As an edge case, we also handle unnamed namespace definition here. */
1970 pp_cxx_original_namespace_definition (cxx_pretty_printer
*pp
, tree t
)
1972 pp_cxx_ws_string (pp
, "namespace");
1973 if (DECL_CONTEXT (t
))
1974 pp_cxx_nested_name_specifier (pp
, DECL_CONTEXT (t
));
1976 pp_cxx_unqualified_id (pp
, t
);
1977 pp_cxx_whitespace (pp
);
1978 pp_cxx_left_brace (pp
);
1979 /* We do not print the namespace-body. */
1980 pp_cxx_whitespace (pp
);
1981 pp_cxx_right_brace (pp
);
1987 namespace-alias-definition:
1988 namespace identifier = qualified-namespace-specifier ;
1990 qualified-namespace-specifier:
1991 ::(opt) nested-name-specifier(opt) namespace-name */
1994 pp_cxx_namespace_alias_definition (cxx_pretty_printer
*pp
, tree t
)
1996 pp_cxx_ws_string (pp
, "namespace");
1997 if (DECL_CONTEXT (t
))
1998 pp_cxx_nested_name_specifier (pp
, DECL_CONTEXT (t
));
1999 pp_cxx_unqualified_id (pp
, t
);
2000 pp_cxx_whitespace (pp
);
2002 pp_cxx_whitespace (pp
);
2003 if (DECL_CONTEXT (DECL_NAMESPACE_ALIAS (t
)))
2004 pp_cxx_nested_name_specifier (pp
,
2005 DECL_CONTEXT (DECL_NAMESPACE_ALIAS (t
)));
2006 pp_cxx_qualified_id (pp
, DECL_NAMESPACE_ALIAS (t
));
2007 pp_cxx_semicolon (pp
);
2010 /* simple-declaration:
2011 decl-specifier-seq(opt) init-declarator-list(opt) */
2014 pp_cxx_simple_declaration (cxx_pretty_printer
*pp
, tree t
)
2016 pp_cxx_decl_specifier_seq (pp
, t
);
2017 pp_cxx_init_declarator (pp
, t
);
2018 pp_cxx_semicolon (pp
);
2019 pp_needs_newline (pp
) = true;
2023 template-parameter-list:
2025 template-parameter-list , template-parameter */
2028 pp_cxx_template_parameter_list (cxx_pretty_printer
*pp
, tree t
)
2030 const int n
= TREE_VEC_LENGTH (t
);
2032 for (i
= 0; i
< n
; ++i
)
2035 pp_cxx_separate_with (pp
, ',');
2036 pp_cxx_template_parameter (pp
, TREE_VEC_ELT (t
, i
));
2040 /* template-parameter:
2042 parameter-declaration
2045 class ...(opt) identifier(opt)
2046 class identifier(opt) = type-id
2047 typename identifier(opt)
2048 typename ...(opt) identifier(opt) = type-id
2049 template < template-parameter-list > class ...(opt) identifier(opt)
2050 template < template-parameter-list > class identifier(opt) = template-name */
2053 pp_cxx_template_parameter (cxx_pretty_printer
*pp
, tree t
)
2055 tree parameter
= TREE_VALUE (t
);
2056 switch (TREE_CODE (parameter
))
2059 pp_cxx_ws_string (pp
, "class");
2060 if (TEMPLATE_TYPE_PARAMETER_PACK (TREE_TYPE (t
)))
2061 pp_cxx_ws_string (pp
, "...");
2062 if (DECL_NAME (parameter
))
2063 pp_cxx_tree_identifier (pp
, DECL_NAME (parameter
));
2064 /* FIXME: Check if we should print also default argument. */
2068 pp_cxx_parameter_declaration (pp
, parameter
);
2075 pp_unsupported_tree (pp
, t
);
2080 /* Pretty-print a template parameter in the canonical form
2081 "template-parameter-<level>-<position in parameter list>". */
2084 pp_cxx_canonical_template_parameter (cxx_pretty_printer
*pp
, tree parm
)
2086 const enum tree_code code
= TREE_CODE (parm
);
2088 /* Brings type template parameters to the canonical forms. */
2089 if (code
== TEMPLATE_TYPE_PARM
|| code
== TEMPLATE_TEMPLATE_PARM
2090 || code
== BOUND_TEMPLATE_TEMPLATE_PARM
)
2091 parm
= TEMPLATE_TYPE_PARM_INDEX (parm
);
2093 pp_cxx_begin_template_argument_list (pp
);
2094 pp_cxx_ws_string (pp
, M_("template-parameter-"));
2095 pp_wide_integer (pp
, TEMPLATE_PARM_LEVEL (parm
));
2097 pp_wide_integer (pp
, TEMPLATE_PARM_IDX (parm
) + 1);
2098 pp_cxx_end_template_argument_list (pp
);
2102 template-declaration:
2103 export(opt) template < template-parameter-list > declaration */
2106 pp_cxx_template_declaration (cxx_pretty_printer
*pp
, tree t
)
2108 tree tmpl
= most_general_template (t
);
2112 pp_maybe_newline_and_indent (pp
, 0);
2113 for (level
= DECL_TEMPLATE_PARMS (tmpl
); level
; level
= TREE_CHAIN (level
))
2115 pp_cxx_ws_string (pp
, "template");
2116 pp_cxx_begin_template_argument_list (pp
);
2117 pp_cxx_template_parameter_list (pp
, TREE_VALUE (level
));
2118 pp_cxx_end_template_argument_list (pp
);
2119 pp_newline_and_indent (pp
, 3);
2122 if (TREE_CODE (t
) == FUNCTION_DECL
&& DECL_SAVED_TREE (t
))
2123 pp_cxx_function_definition (pp
, t
);
2125 pp_cxx_simple_declaration (pp
, t
);
2129 pp_cxx_explicit_specialization (cxx_pretty_printer
*pp
, tree t
)
2131 pp_unsupported_tree (pp
, t
);
2135 pp_cxx_explicit_instantiation (cxx_pretty_printer
*pp
, tree t
)
2137 pp_unsupported_tree (pp
, t
);
2144 template-declaration
2145 explicit-instantiation
2146 explicit-specialization
2147 linkage-specification
2148 namespace-definition
2153 namespace-alias-definition
2156 static_assert-declaration */
2158 pp_cxx_declaration (cxx_pretty_printer
*pp
, tree t
)
2160 if (TREE_CODE (t
) == STATIC_ASSERT
)
2162 pp_cxx_ws_string (pp
, "static_assert");
2163 pp_cxx_left_paren (pp
);
2164 pp_cxx_expression (pp
, STATIC_ASSERT_CONDITION (t
));
2165 pp_cxx_separate_with (pp
, ',');
2166 pp_cxx_expression (pp
, STATIC_ASSERT_MESSAGE (t
));
2167 pp_cxx_right_paren (pp
);
2169 else if (!DECL_LANG_SPECIFIC (t
))
2170 pp_cxx_simple_declaration (pp
, t
);
2171 else if (DECL_USE_TEMPLATE (t
))
2172 switch (DECL_USE_TEMPLATE (t
))
2175 pp_cxx_template_declaration (pp
, t
);
2179 pp_cxx_explicit_specialization (pp
, t
);
2183 pp_cxx_explicit_instantiation (pp
, t
);
2189 else switch (TREE_CODE (t
))
2193 pp_cxx_simple_declaration (pp
, t
);
2197 if (DECL_SAVED_TREE (t
))
2198 pp_cxx_function_definition (pp
, t
);
2200 pp_cxx_simple_declaration (pp
, t
);
2203 case NAMESPACE_DECL
:
2204 if (DECL_NAMESPACE_ALIAS (t
))
2205 pp_cxx_namespace_alias_definition (pp
, t
);
2207 pp_cxx_original_namespace_definition (pp
, t
);
2211 pp_unsupported_tree (pp
, t
);
2217 pp_cxx_typeid_expression (cxx_pretty_printer
*pp
, tree t
)
2219 t
= TREE_OPERAND (t
, 0);
2220 pp_cxx_ws_string (pp
, "typeid");
2221 pp_cxx_left_paren (pp
);
2223 pp_cxx_type_id (pp
, t
);
2225 pp_cxx_expression (pp
, t
);
2226 pp_cxx_right_paren (pp
);
2230 pp_cxx_va_arg_expression (cxx_pretty_printer
*pp
, tree t
)
2232 pp_cxx_ws_string (pp
, "va_arg");
2233 pp_cxx_left_paren (pp
);
2234 pp_cxx_assignment_expression (pp
, TREE_OPERAND (t
, 0));
2235 pp_cxx_separate_with (pp
, ',');
2236 pp_cxx_type_id (pp
, TREE_TYPE (t
));
2237 pp_cxx_right_paren (pp
);
2241 pp_cxx_offsetof_expression_1 (cxx_pretty_printer
*pp
, tree t
)
2243 switch (TREE_CODE (t
))
2246 if (TREE_CODE (TREE_OPERAND (t
, 0)) == STATIC_CAST_EXPR
2247 && POINTER_TYPE_P (TREE_TYPE (TREE_OPERAND (t
, 0))))
2249 pp_cxx_type_id (pp
, TREE_TYPE (TREE_TYPE (TREE_OPERAND (t
, 0))));
2250 pp_cxx_separate_with (pp
, ',');
2255 if (!pp_cxx_offsetof_expression_1 (pp
, TREE_OPERAND (t
, 0)))
2257 if (TREE_CODE (TREE_OPERAND (t
, 0)) != ARROW_EXPR
)
2259 pp_cxx_expression (pp
, TREE_OPERAND (t
, 1));
2262 if (!pp_cxx_offsetof_expression_1 (pp
, TREE_OPERAND (t
, 0)))
2264 pp_left_bracket (pp
);
2265 pp_cxx_expression (pp
, TREE_OPERAND (t
, 1));
2266 pp_right_bracket (pp
);
2274 pp_cxx_offsetof_expression (cxx_pretty_printer
*pp
, tree t
)
2276 pp_cxx_ws_string (pp
, "offsetof");
2277 pp_cxx_left_paren (pp
);
2278 if (!pp_cxx_offsetof_expression_1 (pp
, TREE_OPERAND (t
, 0)))
2279 pp_cxx_expression (pp
, TREE_OPERAND (t
, 0));
2280 pp_cxx_right_paren (pp
);
2284 pp_cxx_trait_expression (cxx_pretty_printer
*pp
, tree t
)
2286 cp_trait_kind kind
= TRAIT_EXPR_KIND (t
);
2290 case CPTK_HAS_NOTHROW_ASSIGN
:
2291 pp_cxx_ws_string (pp
, "__has_nothrow_assign");
2293 case CPTK_HAS_TRIVIAL_ASSIGN
:
2294 pp_cxx_ws_string (pp
, "__has_trivial_assign");
2296 case CPTK_HAS_NOTHROW_CONSTRUCTOR
:
2297 pp_cxx_ws_string (pp
, "__has_nothrow_constructor");
2299 case CPTK_HAS_TRIVIAL_CONSTRUCTOR
:
2300 pp_cxx_ws_string (pp
, "__has_trivial_constructor");
2302 case CPTK_HAS_NOTHROW_COPY
:
2303 pp_cxx_ws_string (pp
, "__has_nothrow_copy");
2305 case CPTK_HAS_TRIVIAL_COPY
:
2306 pp_cxx_ws_string (pp
, "__has_trivial_copy");
2308 case CPTK_HAS_TRIVIAL_DESTRUCTOR
:
2309 pp_cxx_ws_string (pp
, "__has_trivial_destructor");
2311 case CPTK_HAS_VIRTUAL_DESTRUCTOR
:
2312 pp_cxx_ws_string (pp
, "__has_virtual_destructor");
2314 case CPTK_IS_ABSTRACT
:
2315 pp_cxx_ws_string (pp
, "__is_abstract");
2317 case CPTK_IS_BASE_OF
:
2318 pp_cxx_ws_string (pp
, "__is_base_of");
2321 pp_cxx_ws_string (pp
, "__is_class");
2323 case CPTK_IS_CONVERTIBLE_TO
:
2324 pp_cxx_ws_string (pp
, "__is_convertible_to");
2327 pp_cxx_ws_string (pp
, "__is_empty");
2330 pp_cxx_ws_string (pp
, "__is_enum");
2333 pp_cxx_ws_string (pp
, "__is_pod");
2335 case CPTK_IS_POLYMORPHIC
:
2336 pp_cxx_ws_string (pp
, "__is_polymorphic");
2338 case CPTK_IS_STD_LAYOUT
:
2339 pp_cxx_ws_string (pp
, "__is_std_layout");
2341 case CPTK_IS_TRIVIAL
:
2342 pp_cxx_ws_string (pp
, "__is_trivial");
2345 pp_cxx_ws_string (pp
, "__is_union");
2352 pp_cxx_left_paren (pp
);
2353 pp_cxx_type_id (pp
, TRAIT_EXPR_TYPE1 (t
));
2355 if (kind
== CPTK_IS_BASE_OF
|| kind
== CPTK_IS_CONVERTIBLE_TO
)
2357 pp_cxx_separate_with (pp
, ',');
2358 pp_cxx_type_id (pp
, TRAIT_EXPR_TYPE2 (t
));
2361 pp_cxx_right_paren (pp
);
2364 typedef c_pretty_print_fn pp_fun
;
2366 /* Initialization of a C++ pretty-printer object. */
2369 pp_cxx_pretty_printer_init (cxx_pretty_printer
*pp
)
2371 pp_c_pretty_printer_init (pp_c_base (pp
));
2372 pp_set_line_maximum_length (pp
, 0);
2374 pp
->c_base
.declaration
= (pp_fun
) pp_cxx_declaration
;
2375 pp
->c_base
.declaration_specifiers
= (pp_fun
) pp_cxx_decl_specifier_seq
;
2376 pp
->c_base
.function_specifier
= (pp_fun
) pp_cxx_function_specifier
;
2377 pp
->c_base
.type_specifier_seq
= (pp_fun
) pp_cxx_type_specifier_seq
;
2378 pp
->c_base
.declarator
= (pp_fun
) pp_cxx_declarator
;
2379 pp
->c_base
.direct_declarator
= (pp_fun
) pp_cxx_direct_declarator
;
2380 pp
->c_base
.parameter_list
= (pp_fun
) pp_cxx_parameter_declaration_clause
;
2381 pp
->c_base
.type_id
= (pp_fun
) pp_cxx_type_id
;
2382 pp
->c_base
.abstract_declarator
= (pp_fun
) pp_cxx_abstract_declarator
;
2383 pp
->c_base
.direct_abstract_declarator
=
2384 (pp_fun
) pp_cxx_direct_abstract_declarator
;
2385 pp
->c_base
.simple_type_specifier
= (pp_fun
)pp_cxx_simple_type_specifier
;
2387 /* pp->c_base.statement = (pp_fun) pp_cxx_statement; */
2389 pp
->c_base
.constant
= (pp_fun
) pp_cxx_constant
;
2390 pp
->c_base
.id_expression
= (pp_fun
) pp_cxx_id_expression
;
2391 pp
->c_base
.primary_expression
= (pp_fun
) pp_cxx_primary_expression
;
2392 pp
->c_base
.postfix_expression
= (pp_fun
) pp_cxx_postfix_expression
;
2393 pp
->c_base
.unary_expression
= (pp_fun
) pp_cxx_unary_expression
;
2394 pp
->c_base
.multiplicative_expression
= (pp_fun
) pp_cxx_multiplicative_expression
;
2395 pp
->c_base
.conditional_expression
= (pp_fun
) pp_cxx_conditional_expression
;
2396 pp
->c_base
.assignment_expression
= (pp_fun
) pp_cxx_assignment_expression
;
2397 pp
->c_base
.expression
= (pp_fun
) pp_cxx_expression
;
2398 pp
->enclosing_scope
= global_namespace
;