1 /* Subroutines common to both C and C++ pretty-printers.
2 Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
3 Free Software Foundation, Inc.
4 Contributed by Gabriel Dos Reis <gdr@integrable-solutions.net>
5
6 This file is part of GCC.
7
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
11 version.
12
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
16 for more details.
17
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/>. */
21
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "tm.h"
26 #include "tree.h"
27 #include "intl.h"
28 #include "c-pretty-print.h"
29 #include "tree-pretty-print.h"
30 #include "tree-iterator.h"
31 #include "diagnostic.h"
32
33 /* Translate if being used for diagnostics, but not for dump files or
34 __PRETTY_FUNCTION. */
35 #define M_(msgid) (pp_translate_identifiers (pp) ? _(msgid) : (msgid))
36
37 /* The pretty-printer code is primarily designed to closely follow
38 (GNU) C and C++ grammars. That is to be contrasted with spaghetti
39 codes we used to have in the past. Following a structured
40 approach (preferably the official grammars) is believed to make it
41 much easier to add extensions and nifty pretty-printing effects that
42 takes expression or declaration contexts into account. */
43
44
45 #define pp_c_maybe_whitespace(PP) \
46 do { \
47 if (pp_base (PP)->padding == pp_before) \
48 pp_c_whitespace (PP); \
49 } while (0)
50
51 /* literal */
52 static void pp_c_char (c_pretty_printer *, int);
53
54 /* postfix-expression */
55 static void pp_c_initializer_list (c_pretty_printer *, tree);
56 static void pp_c_brace_enclosed_initializer_list (c_pretty_printer *, tree);
57
58 static void pp_c_multiplicative_expression (c_pretty_printer *, tree);
59 static void pp_c_additive_expression (c_pretty_printer *, tree);
60 static void pp_c_shift_expression (c_pretty_printer *, tree);
61 static void pp_c_relational_expression (c_pretty_printer *, tree);
62 static void pp_c_equality_expression (c_pretty_printer *, tree);
63 static void pp_c_and_expression (c_pretty_printer *, tree);
64 static void pp_c_exclusive_or_expression (c_pretty_printer *, tree);
65 static void pp_c_inclusive_or_expression (c_pretty_printer *, tree);
66 static void pp_c_logical_and_expression (c_pretty_printer *, tree);
67 static void pp_c_conditional_expression (c_pretty_printer *, tree);
68 static void pp_c_assignment_expression (c_pretty_printer *, tree);
69
70 /* declarations. */
71
72
73 /* Helper functions. */
74
75 void
pp_c_whitespace(c_pretty_printer * pp)76 pp_c_whitespace (c_pretty_printer *pp)
77 {
78 pp_space (pp);
79 pp_base (pp)->padding = pp_none;
80 }
81
82 void
pp_c_left_paren(c_pretty_printer * pp)83 pp_c_left_paren (c_pretty_printer *pp)
84 {
85 pp_left_paren (pp);
86 pp_base (pp)->padding = pp_none;
87 }
88
89 void
pp_c_right_paren(c_pretty_printer * pp)90 pp_c_right_paren (c_pretty_printer *pp)
91 {
92 pp_right_paren (pp);
93 pp_base (pp)->padding = pp_none;
94 }
95
96 void
pp_c_left_brace(c_pretty_printer * pp)97 pp_c_left_brace (c_pretty_printer *pp)
98 {
99 pp_left_brace (pp);
100 pp_base (pp)->padding = pp_none;
101 }
102
103 void
pp_c_right_brace(c_pretty_printer * pp)104 pp_c_right_brace (c_pretty_printer *pp)
105 {
106 pp_right_brace (pp);
107 pp_base (pp)->padding = pp_none;
108 }
109
110 void
pp_c_left_bracket(c_pretty_printer * pp)111 pp_c_left_bracket (c_pretty_printer *pp)
112 {
113 pp_left_bracket (pp);
114 pp_base (pp)->padding = pp_none;
115 }
116
117 void
pp_c_right_bracket(c_pretty_printer * pp)118 pp_c_right_bracket (c_pretty_printer *pp)
119 {
120 pp_right_bracket (pp);
121 pp_base (pp)->padding = pp_none;
122 }
123
124 void
pp_c_dot(c_pretty_printer * pp)125 pp_c_dot (c_pretty_printer *pp)
126 {
127 pp_dot (pp);
128 pp_base (pp)->padding = pp_none;
129 }
130
131 void
pp_c_ampersand(c_pretty_printer * pp)132 pp_c_ampersand (c_pretty_printer *pp)
133 {
134 pp_ampersand (pp);
135 pp_base (pp)->padding = pp_none;
136 }
137
138 void
pp_c_star(c_pretty_printer * pp)139 pp_c_star (c_pretty_printer *pp)
140 {
141 pp_star (pp);
142 pp_base (pp)->padding = pp_none;
143 }
144
145 void
pp_c_arrow(c_pretty_printer * pp)146 pp_c_arrow (c_pretty_printer *pp)
147 {
148 pp_arrow (pp);
149 pp_base (pp)->padding = pp_none;
150 }
151
152 void
pp_c_semicolon(c_pretty_printer * pp)153 pp_c_semicolon (c_pretty_printer *pp)
154 {
155 pp_semicolon (pp);
156 pp_base (pp)->padding = pp_none;
157 }
158
159 void
pp_c_complement(c_pretty_printer * pp)160 pp_c_complement (c_pretty_printer *pp)
161 {
162 pp_complement (pp);
163 pp_base (pp)->padding = pp_none;
164 }
165
166 void
pp_c_exclamation(c_pretty_printer * pp)167 pp_c_exclamation (c_pretty_printer *pp)
168 {
169 pp_exclamation (pp);
170 pp_base (pp)->padding = pp_none;
171 }
172
173 /* Print out the external representation of QUALIFIERS. */
174
175 void
pp_c_cv_qualifiers(c_pretty_printer * pp,int qualifiers,bool func_type)176 pp_c_cv_qualifiers (c_pretty_printer *pp, int qualifiers, bool func_type)
177 {
178 const char *p = pp_last_position_in_text (pp);
179 bool previous = false;
180
181 if (!qualifiers)
182 return;
183
184 /* The C programming language does not have references, but it is much
185 simpler to handle those here rather than going through the same
186 logic in the C++ pretty-printer. */
187 if (p != NULL && (*p == '*' || *p == '&'))
188 pp_c_whitespace (pp);
189
190 if (qualifiers & TYPE_QUAL_CONST)
191 {
192 pp_c_ws_string (pp, func_type ? "__attribute__((const))" : "const");
193 previous = true;
194 }
195
196 if (qualifiers & TYPE_QUAL_VOLATILE)
197 {
198 if (previous)
199 pp_c_whitespace (pp);
200 pp_c_ws_string (pp, func_type ? "__attribute__((noreturn))" : "volatile");
201 previous = true;
202 }
203
204 if (qualifiers & TYPE_QUAL_RESTRICT)
205 {
206 if (previous)
207 pp_c_whitespace (pp);
208 pp_c_ws_string (pp, (flag_isoc99 && !c_dialect_cxx ()
209 ? "restrict" : "__restrict__"));
210 }
211 }
212
213 /* Pretty-print T using the type-cast notation '( type-name )'. */
214
215 static void
pp_c_type_cast(c_pretty_printer * pp,tree t)216 pp_c_type_cast (c_pretty_printer *pp, tree t)
217 {
218 pp_c_left_paren (pp);
219 pp_type_id (pp, t);
220 pp_c_right_paren (pp);
221 }
222
223 /* We're about to pretty-print a pointer type as indicated by T.
224 Output a whitespace, if needed, preparing for subsequent output. */
225
226 void
pp_c_space_for_pointer_operator(c_pretty_printer * pp,tree t)227 pp_c_space_for_pointer_operator (c_pretty_printer *pp, tree t)
228 {
229 if (POINTER_TYPE_P (t))
230 {
231 tree pointee = strip_pointer_operator (TREE_TYPE (t));
232 if (TREE_CODE (pointee) != ARRAY_TYPE
233 && TREE_CODE (pointee) != FUNCTION_TYPE)
234 pp_c_whitespace (pp);
235 }
236 }
237
238
239 /* Declarations. */
240
241 /* C++ cv-qualifiers are called type-qualifiers in C. Print out the
242 cv-qualifiers of T. If T is a declaration then it is the cv-qualifier
243 of its type. Take care of possible extensions.
244
245 type-qualifier-list:
246 type-qualifier
247 type-qualifier-list type-qualifier
248
249 type-qualifier:
250 const
251 restrict -- C99
252 __restrict__ -- GNU C
253 address-space-qualifier -- GNU C
254 volatile
255
256 address-space-qualifier:
257 identifier -- GNU C */
258
259 void
pp_c_type_qualifier_list(c_pretty_printer * pp,tree t)260 pp_c_type_qualifier_list (c_pretty_printer *pp, tree t)
261 {
262 int qualifiers;
263
264 if (!t || t == error_mark_node)
265 return;
266
267 if (!TYPE_P (t))
268 t = TREE_TYPE (t);
269
270 qualifiers = TYPE_QUALS (t);
271 pp_c_cv_qualifiers (pp, qualifiers,
272 TREE_CODE (t) == FUNCTION_TYPE);
273
274 if (!ADDR_SPACE_GENERIC_P (TYPE_ADDR_SPACE (t)))
275 {
276 const char *as = c_addr_space_name (TYPE_ADDR_SPACE (t));
277 pp_c_identifier (pp, as);
278 }
279 }
280
281 /* pointer:
282 * type-qualifier-list(opt)
283 * type-qualifier-list(opt) pointer */
284
285 static void
pp_c_pointer(c_pretty_printer * pp,tree t)286 pp_c_pointer (c_pretty_printer *pp, tree t)
287 {
288 if (!TYPE_P (t) && TREE_CODE (t) != TYPE_DECL)
289 t = TREE_TYPE (t);
290 switch (TREE_CODE (t))
291 {
292 case POINTER_TYPE:
293 /* It is easier to handle C++ reference types here. */
294 case REFERENCE_TYPE:
295 if (TREE_CODE (TREE_TYPE (t)) == POINTER_TYPE)
296 pp_c_pointer (pp, TREE_TYPE (t));
297 if (TREE_CODE (t) == POINTER_TYPE)
298 pp_c_star (pp);
299 else
300 pp_c_ampersand (pp);
301 pp_c_type_qualifier_list (pp, t);
302 break;
303
304 /* ??? This node is now in GENERIC and so shouldn't be here. But
305 we'll fix that later. */
306 case DECL_EXPR:
307 pp_declaration (pp, DECL_EXPR_DECL (t));
308 pp_needs_newline (pp) = true;
309 break;
310
311 default:
312 pp_unsupported_tree (pp, t);
313 }
314 }
315
316 /* type-specifier:
317 void
318 char
319 short
320 int
321 long
322 float
323 double
324 signed
325 unsigned
326 _Bool -- C99
327 _Complex -- C99
328 _Imaginary -- C99
329 struct-or-union-specifier
330 enum-specifier
331 typedef-name.
332
333 GNU extensions.
334 simple-type-specifier:
335 __complex__
336 __vector__ */
337
338 void
pp_c_type_specifier(c_pretty_printer * pp,tree t)339 pp_c_type_specifier (c_pretty_printer *pp, tree t)
340 {
341 const enum tree_code code = TREE_CODE (t);
342 switch (code)
343 {
344 case ERROR_MARK:
345 pp_c_ws_string (pp, M_("<type-error>"));
346 break;
347
348 case IDENTIFIER_NODE:
349 pp_c_identifier (pp, IDENTIFIER_POINTER (t));
350 break;
351
352 case VOID_TYPE:
353 case BOOLEAN_TYPE:
354 case INTEGER_TYPE:
355 case REAL_TYPE:
356 case FIXED_POINT_TYPE:
357 if (TYPE_NAME (t))
358 {
359 t = TYPE_NAME (t);
360 pp_c_type_specifier (pp, t);
361 }
362 else
363 {
364 int prec = TYPE_PRECISION (t);
365 if (ALL_FIXED_POINT_MODE_P (TYPE_MODE (t)))
366 t = c_common_type_for_mode (TYPE_MODE (t), TYPE_SATURATING (t));
367 else
368 t = c_common_type_for_mode (TYPE_MODE (t), TYPE_UNSIGNED (t));
369 if (TYPE_NAME (t))
370 {
371 pp_c_type_specifier (pp, t);
372 if (TYPE_PRECISION (t) != prec)
373 {
374 pp_string (pp, ":");
375 pp_decimal_int (pp, prec);
376 }
377 }
378 else
379 {
380 switch (code)
381 {
382 case INTEGER_TYPE:
383 pp_string (pp, (TYPE_UNSIGNED (t)
384 ? M_("<unnamed-unsigned:")
385 : M_("<unnamed-signed:")));
386 break;
387 case REAL_TYPE:
388 pp_string (pp, M_("<unnamed-float:"));
389 break;
390 case FIXED_POINT_TYPE:
391 pp_string (pp, M_("<unnamed-fixed:"));
392 break;
393 default:
394 gcc_unreachable ();
395 }
396 pp_decimal_int (pp, prec);
397 pp_string (pp, ">");
398 }
399 }
400 break;
401
402 case TYPE_DECL:
403 if (DECL_NAME (t))
404 pp_id_expression (pp, t);
405 else
406 pp_c_ws_string (pp, M_("<typedef-error>"));
407 break;
408
409 case UNION_TYPE:
410 case RECORD_TYPE:
411 case ENUMERAL_TYPE:
412 if (code == UNION_TYPE)
413 pp_c_ws_string (pp, "union");
414 else if (code == RECORD_TYPE)
415 pp_c_ws_string (pp, "struct");
416 else if (code == ENUMERAL_TYPE)
417 pp_c_ws_string (pp, "enum");
418 else
419 pp_c_ws_string (pp, M_("<tag-error>"));
420
421 if (TYPE_NAME (t))
422 pp_id_expression (pp, TYPE_NAME (t));
423 else
424 pp_c_ws_string (pp, M_("<anonymous>"));
425 break;
426
427 default:
428 pp_unsupported_tree (pp, t);
429 break;
430 }
431 }
432
433 /* specifier-qualifier-list:
434 type-specifier specifier-qualifier-list-opt
435 type-qualifier specifier-qualifier-list-opt
436
437
438 Implementation note: Because of the non-linearities in array or
439 function declarations, this routine prints not just the
440 specifier-qualifier-list of such entities or types of such entities,
441 but also the 'pointer' production part of their declarators. The
442 remaining part is done by pp_declarator or pp_c_abstract_declarator. */
443
444 void
pp_c_specifier_qualifier_list(c_pretty_printer * pp,tree t)445 pp_c_specifier_qualifier_list (c_pretty_printer *pp, tree t)
446 {
447 const enum tree_code code = TREE_CODE (t);
448
449 if (TREE_CODE (t) != POINTER_TYPE)
450 pp_c_type_qualifier_list (pp, t);
451 switch (code)
452 {
453 case REFERENCE_TYPE:
454 case POINTER_TYPE:
455 {
456 /* Get the types-specifier of this type. */
457 tree pointee = strip_pointer_operator (TREE_TYPE (t));
458 pp_c_specifier_qualifier_list (pp, pointee);
459 if (TREE_CODE (pointee) == ARRAY_TYPE
460 || TREE_CODE (pointee) == FUNCTION_TYPE)
461 {
462 pp_c_whitespace (pp);
463 pp_c_left_paren (pp);
464 pp_c_attributes_display (pp, TYPE_ATTRIBUTES (pointee));
465 }
466 else if (!c_dialect_cxx ())
467 pp_c_whitespace (pp);
468 pp_ptr_operator (pp, t);
469 }
470 break;
471
472 case FUNCTION_TYPE:
473 case ARRAY_TYPE:
474 pp_c_specifier_qualifier_list (pp, TREE_TYPE (t));
475 break;
476
477 case VECTOR_TYPE:
478 case COMPLEX_TYPE:
479 if (code == COMPLEX_TYPE)
480 pp_c_ws_string (pp, (flag_isoc99 && !c_dialect_cxx ()
481 ? "_Complex" : "__complex__"));
482 else if (code == VECTOR_TYPE)
483 {
484 pp_c_ws_string (pp, "__vector");
485 pp_c_left_paren (pp);
486 pp_wide_integer (pp, TYPE_VECTOR_SUBPARTS (t));
487 pp_c_right_paren (pp);
488 pp_c_whitespace (pp);
489 }
490 pp_c_specifier_qualifier_list (pp, TREE_TYPE (t));
491 break;
492
493 default:
494 pp_simple_type_specifier (pp, t);
495 break;
496 }
497 }
498
499 /* parameter-type-list:
500 parameter-list
501 parameter-list , ...
502
503 parameter-list:
504 parameter-declaration
505 parameter-list , parameter-declaration
506
507 parameter-declaration:
508 declaration-specifiers declarator
509 declaration-specifiers abstract-declarator(opt) */
510
511 void
pp_c_parameter_type_list(c_pretty_printer * pp,tree t)512 pp_c_parameter_type_list (c_pretty_printer *pp, tree t)
513 {
514 bool want_parm_decl = DECL_P (t) && !(pp->flags & pp_c_flag_abstract);
515 tree parms = want_parm_decl ? DECL_ARGUMENTS (t) : TYPE_ARG_TYPES (t);
516 pp_c_left_paren (pp);
517 if (parms == void_list_node)
518 pp_c_ws_string (pp, "void");
519 else
520 {
521 bool first = true;
522 for ( ; parms && parms != void_list_node; parms = TREE_CHAIN (parms))
523 {
524 if (!first)
525 pp_separate_with (pp, ',');
526 first = false;
527 pp_declaration_specifiers
528 (pp, want_parm_decl ? parms : TREE_VALUE (parms));
529 if (want_parm_decl)
530 pp_declarator (pp, parms);
531 else
532 pp_abstract_declarator (pp, TREE_VALUE (parms));
533 }
534 }
535 pp_c_right_paren (pp);
536 }
537
538 /* abstract-declarator:
539 pointer
540 pointer(opt) direct-abstract-declarator */
541
542 static void
pp_c_abstract_declarator(c_pretty_printer * pp,tree t)543 pp_c_abstract_declarator (c_pretty_printer *pp, tree t)
544 {
545 if (TREE_CODE (t) == POINTER_TYPE)
546 {
547 if (TREE_CODE (TREE_TYPE (t)) == ARRAY_TYPE
548 || TREE_CODE (TREE_TYPE (t)) == FUNCTION_TYPE)
549 pp_c_right_paren (pp);
550 t = TREE_TYPE (t);
551 }
552
553 pp_direct_abstract_declarator (pp, t);
554 }
555
556 /* direct-abstract-declarator:
557 ( abstract-declarator )
558 direct-abstract-declarator(opt) [ assignment-expression(opt) ]
559 direct-abstract-declarator(opt) [ * ]
560 direct-abstract-declarator(opt) ( parameter-type-list(opt) ) */
561
562 void
pp_c_direct_abstract_declarator(c_pretty_printer * pp,tree t)563 pp_c_direct_abstract_declarator (c_pretty_printer *pp, tree t)
564 {
565 switch (TREE_CODE (t))
566 {
567 case POINTER_TYPE:
568 pp_abstract_declarator (pp, t);
569 break;
570
571 case FUNCTION_TYPE:
572 pp_c_parameter_type_list (pp, t);
573 pp_direct_abstract_declarator (pp, TREE_TYPE (t));
574 break;
575
576 case ARRAY_TYPE:
577 pp_c_left_bracket (pp);
578 if (TYPE_DOMAIN (t) && TYPE_MAX_VALUE (TYPE_DOMAIN (t)))
579 {
580 tree maxval = TYPE_MAX_VALUE (TYPE_DOMAIN (t));
581 tree type = TREE_TYPE (maxval);
582
583 if (host_integerp (maxval, 0))
584 pp_wide_integer (pp, tree_low_cst (maxval, 0) + 1);
585 else
586 pp_expression (pp, fold_build2 (PLUS_EXPR, type, maxval,
587 build_int_cst (type, 1)));
588 }
589 pp_c_right_bracket (pp);
590 pp_direct_abstract_declarator (pp, TREE_TYPE (t));
591 break;
592
593 case IDENTIFIER_NODE:
594 case VOID_TYPE:
595 case BOOLEAN_TYPE:
596 case INTEGER_TYPE:
597 case REAL_TYPE:
598 case FIXED_POINT_TYPE:
599 case ENUMERAL_TYPE:
600 case RECORD_TYPE:
601 case UNION_TYPE:
602 case VECTOR_TYPE:
603 case COMPLEX_TYPE:
604 case TYPE_DECL:
605 break;
606
607 default:
608 pp_unsupported_tree (pp, t);
609 break;
610 }
611 }
612
613 /* type-name:
614 specifier-qualifier-list abstract-declarator(opt) */
615
616 void
pp_c_type_id(c_pretty_printer * pp,tree t)617 pp_c_type_id (c_pretty_printer *pp, tree t)
618 {
619 pp_c_specifier_qualifier_list (pp, t);
620 pp_abstract_declarator (pp, t);
621 }
622
623 /* storage-class-specifier:
624 typedef
625 extern
626 static
627 auto
628 register */
629
630 void
pp_c_storage_class_specifier(c_pretty_printer * pp,tree t)631 pp_c_storage_class_specifier (c_pretty_printer *pp, tree t)
632 {
633 if (TREE_CODE (t) == TYPE_DECL)
634 pp_c_ws_string (pp, "typedef");
635 else if (DECL_P (t))
636 {
637 if (DECL_REGISTER (t))
638 pp_c_ws_string (pp, "register");
639 else if (TREE_STATIC (t) && TREE_CODE (t) == VAR_DECL)
640 pp_c_ws_string (pp, "static");
641 }
642 }
643
644 /* function-specifier:
645 inline */
646
647 void
pp_c_function_specifier(c_pretty_printer * pp,tree t)648 pp_c_function_specifier (c_pretty_printer *pp, tree t)
649 {
650 if (TREE_CODE (t) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (t))
651 pp_c_ws_string (pp, "inline");
652 }
653
654 /* declaration-specifiers:
655 storage-class-specifier declaration-specifiers(opt)
656 type-specifier declaration-specifiers(opt)
657 type-qualifier declaration-specifiers(opt)
658 function-specifier declaration-specifiers(opt) */
659
660 void
pp_c_declaration_specifiers(c_pretty_printer * pp,tree t)661 pp_c_declaration_specifiers (c_pretty_printer *pp, tree t)
662 {
663 pp_storage_class_specifier (pp, t);
664 pp_function_specifier (pp, t);
665 pp_c_specifier_qualifier_list (pp, DECL_P (t) ? TREE_TYPE (t) : t);
666 }
667
668 /* direct-declarator
669 identifier
670 ( declarator )
671 direct-declarator [ type-qualifier-list(opt) assignment-expression(opt) ]
672 direct-declarator [ static type-qualifier-list(opt) assignment-expression(opt)]
673 direct-declarator [ type-qualifier-list static assignment-expression ]
674 direct-declarator [ type-qualifier-list * ]
675 direct-declarator ( parameter-type-list )
676 direct-declarator ( identifier-list(opt) ) */
677
678 void
pp_c_direct_declarator(c_pretty_printer * pp,tree t)679 pp_c_direct_declarator (c_pretty_printer *pp, tree t)
680 {
681 switch (TREE_CODE (t))
682 {
683 case VAR_DECL:
684 case PARM_DECL:
685 case TYPE_DECL:
686 case FIELD_DECL:
687 case LABEL_DECL:
688 pp_c_space_for_pointer_operator (pp, TREE_TYPE (t));
689 pp_c_tree_decl_identifier (pp, t);
690 break;
691
692 case ARRAY_TYPE:
693 case POINTER_TYPE:
694 pp_abstract_declarator (pp, TREE_TYPE (t));
695 break;
696
697 case FUNCTION_TYPE:
698 pp_parameter_list (pp, t);
699 pp_abstract_declarator (pp, TREE_TYPE (t));
700 break;
701
702 case FUNCTION_DECL:
703 pp_c_space_for_pointer_operator (pp, TREE_TYPE (TREE_TYPE (t)));
704 pp_c_tree_decl_identifier (pp, t);
705 if (pp_c_base (pp)->flags & pp_c_flag_abstract)
706 pp_abstract_declarator (pp, TREE_TYPE (t));
707 else
708 {
709 pp_parameter_list (pp, t);
710 pp_abstract_declarator (pp, TREE_TYPE (TREE_TYPE (t)));
711 }
712 break;
713
714 case INTEGER_TYPE:
715 case REAL_TYPE:
716 case FIXED_POINT_TYPE:
717 case ENUMERAL_TYPE:
718 case UNION_TYPE:
719 case RECORD_TYPE:
720 break;
721
722 default:
723 pp_unsupported_tree (pp, t);
724 break;
725 }
726 }
727
728
729 /* declarator:
730 pointer(opt) direct-declarator */
731
732 void
pp_c_declarator(c_pretty_printer * pp,tree t)733 pp_c_declarator (c_pretty_printer *pp, tree t)
734 {
735 switch (TREE_CODE (t))
736 {
737 case INTEGER_TYPE:
738 case REAL_TYPE:
739 case FIXED_POINT_TYPE:
740 case ENUMERAL_TYPE:
741 case UNION_TYPE:
742 case RECORD_TYPE:
743 break;
744
745 case VAR_DECL:
746 case PARM_DECL:
747 case FIELD_DECL:
748 case ARRAY_TYPE:
749 case FUNCTION_TYPE:
750 case FUNCTION_DECL:
751 case TYPE_DECL:
752 pp_direct_declarator (pp, t);
753 break;
754
755
756 default:
757 pp_unsupported_tree (pp, t);
758 break;
759 }
760 }
761
762 /* declaration:
763 declaration-specifiers init-declarator-list(opt) ; */
764
765 void
pp_c_declaration(c_pretty_printer * pp,tree t)766 pp_c_declaration (c_pretty_printer *pp, tree t)
767 {
768 pp_declaration_specifiers (pp, t);
769 pp_c_init_declarator (pp, t);
770 }
771
772 /* Pretty-print ATTRIBUTES using GNU C extension syntax. */
773
774 void
pp_c_attributes(c_pretty_printer * pp,tree attributes)775 pp_c_attributes (c_pretty_printer *pp, tree attributes)
776 {
777 if (attributes == NULL_TREE)
778 return;
779
780 pp_c_ws_string (pp, "__attribute__");
781 pp_c_left_paren (pp);
782 pp_c_left_paren (pp);
783 for (; attributes != NULL_TREE; attributes = TREE_CHAIN (attributes))
784 {
785 pp_tree_identifier (pp, TREE_PURPOSE (attributes));
786 if (TREE_VALUE (attributes))
787 pp_c_call_argument_list (pp, TREE_VALUE (attributes));
788
789 if (TREE_CHAIN (attributes))
790 pp_separate_with (pp, ',');
791 }
792 pp_c_right_paren (pp);
793 pp_c_right_paren (pp);
794 }
795
796 /* Pretty-print ATTRIBUTES using GNU C extension syntax for attributes
797 marked to be displayed on disgnostic. */
798
799 void
pp_c_attributes_display(c_pretty_printer * pp,tree a)800 pp_c_attributes_display (c_pretty_printer *pp, tree a)
801 {
802 bool is_first = true;
803
804 if (a == NULL_TREE)
805 return;
806
807 for (; a != NULL_TREE; a = TREE_CHAIN (a))
808 {
809 const struct attribute_spec *as;
810 as = lookup_attribute_spec (TREE_PURPOSE (a));
811 if (!as || as->affects_type_identity == false)
812 continue;
813 if (is_first)
814 {
815 pp_c_ws_string (pp, "__attribute__");
816 pp_c_left_paren (pp);
817 pp_c_left_paren (pp);
818 is_first = false;
819 }
820 else
821 {
822 pp_separate_with (pp, ',');
823 }
824 pp_tree_identifier (pp, TREE_PURPOSE (a));
825 if (TREE_VALUE (a))
826 pp_c_call_argument_list (pp, TREE_VALUE (a));
827 }
828
829 if (!is_first)
830 {
831 pp_c_right_paren (pp);
832 pp_c_right_paren (pp);
833 pp_c_whitespace (pp);
834 }
835 }
836
837 /* function-definition:
838 declaration-specifiers declarator compound-statement */
839
840 void
pp_c_function_definition(c_pretty_printer * pp,tree t)841 pp_c_function_definition (c_pretty_printer *pp, tree t)
842 {
843 pp_declaration_specifiers (pp, t);
844 pp_declarator (pp, t);
845 pp_needs_newline (pp) = true;
846 pp_statement (pp, DECL_SAVED_TREE (t));
847 pp_newline (pp);
848 pp_flush (pp);
849 }
850
851
852 /* Expressions. */
853
854 /* Print out a c-char. This is called solely for characters which are
855 in the *target* execution character set. We ought to convert them
856 back to the *host* execution character set before printing, but we
857 have no way to do this at present. A decent compromise is to print
858 all characters as if they were in the host execution character set,
859 and not attempt to recover any named escape characters, but render
860 all unprintables as octal escapes. If the host and target character
861 sets are the same, this produces relatively readable output. If they
862 are not the same, strings may appear as gibberish, but that's okay
863 (in fact, it may well be what the reader wants, e.g. if they are looking
864 to see if conversion to the target character set happened correctly).
865
866 A special case: we need to prefix \, ", and ' with backslashes. It is
867 correct to do so for the *host*'s \, ", and ', because the rest of the
868 file appears in the host character set. */
869
870 static void
pp_c_char(c_pretty_printer * pp,int c)871 pp_c_char (c_pretty_printer *pp, int c)
872 {
873 if (ISPRINT (c))
874 {
875 switch (c)
876 {
877 case '\\': pp_string (pp, "\\\\"); break;
878 case '\'': pp_string (pp, "\\\'"); break;
879 case '\"': pp_string (pp, "\\\""); break;
880 default: pp_character (pp, c);
881 }
882 }
883 else
884 pp_scalar (pp, "\\%03o", (unsigned) c);
885 }
886
887 /* Print out a STRING literal. */
888
889 void
pp_c_string_literal(c_pretty_printer * pp,tree s)890 pp_c_string_literal (c_pretty_printer *pp, tree s)
891 {
892 const char *p = TREE_STRING_POINTER (s);
893 int n = TREE_STRING_LENGTH (s) - 1;
894 int i;
895 pp_doublequote (pp);
896 for (i = 0; i < n; ++i)
897 pp_c_char (pp, p[i]);
898 pp_doublequote (pp);
899 }
900
901 /* Pretty-print an INTEGER literal. */
902
903 static void
pp_c_integer_constant(c_pretty_printer * pp,tree i)904 pp_c_integer_constant (c_pretty_printer *pp, tree i)
905 {
906 /* We are going to compare the type of I to other types using
907 pointer comparison so we need to use its canonical type. */
908 tree type =
909 TYPE_CANONICAL (TREE_TYPE (i))
910 ? TYPE_CANONICAL (TREE_TYPE (i))
911 : TREE_TYPE (i);
912
913 if (host_integerp (i, 0))
914 pp_wide_integer (pp, TREE_INT_CST_LOW (i));
915 else if (host_integerp (i, 1))
916 pp_unsigned_wide_integer (pp, TREE_INT_CST_LOW (i));
917 else
918 {
919 unsigned HOST_WIDE_INT low = TREE_INT_CST_LOW (i);
920 HOST_WIDE_INT high = TREE_INT_CST_HIGH (i);
921 if (tree_int_cst_sgn (i) < 0)
922 {
923 pp_character (pp, '-');
924 high = ~high + !low;
925 low = -low;
926 }
927 sprintf (pp_buffer (pp)->digit_buffer, HOST_WIDE_INT_PRINT_DOUBLE_HEX,
928 (unsigned HOST_WIDE_INT) high, (unsigned HOST_WIDE_INT) low);
929 pp_string (pp, pp_buffer (pp)->digit_buffer);
930 }
931 if (TYPE_UNSIGNED (type))
932 pp_character (pp, 'u');
933 if (type == long_integer_type_node || type == long_unsigned_type_node)
934 pp_character (pp, 'l');
935 else if (type == long_long_integer_type_node
936 || type == long_long_unsigned_type_node)
937 pp_string (pp, "ll");
938 else if (type == int128_integer_type_node
939 || type == int128_unsigned_type_node)
940 pp_string (pp, "I128");
941 }
942
943 /* Print out a CHARACTER literal. */
944
945 static void
pp_c_character_constant(c_pretty_printer * pp,tree c)946 pp_c_character_constant (c_pretty_printer *pp, tree c)
947 {
948 tree type = TREE_TYPE (c);
949 if (type == wchar_type_node)
950 pp_character (pp, 'L');
951 pp_quote (pp);
952 if (host_integerp (c, TYPE_UNSIGNED (type)))
953 pp_c_char (pp, tree_low_cst (c, TYPE_UNSIGNED (type)));
954 else
955 pp_scalar (pp, "\\x%x", (unsigned) TREE_INT_CST_LOW (c));
956 pp_quote (pp);
957 }
958
959 /* Print out a BOOLEAN literal. */
960
961 static void
pp_c_bool_constant(c_pretty_printer * pp,tree b)962 pp_c_bool_constant (c_pretty_printer *pp, tree b)
963 {
964 if (b == boolean_false_node)
965 {
966 if (c_dialect_cxx ())
967 pp_c_ws_string (pp, "false");
968 else if (flag_isoc99)
969 pp_c_ws_string (pp, "_False");
970 else
971 pp_unsupported_tree (pp, b);
972 }
973 else if (b == boolean_true_node)
974 {
975 if (c_dialect_cxx ())
976 pp_c_ws_string (pp, "true");
977 else if (flag_isoc99)
978 pp_c_ws_string (pp, "_True");
979 else
980 pp_unsupported_tree (pp, b);
981 }
982 else if (TREE_CODE (b) == INTEGER_CST)
983 pp_c_integer_constant (pp, b);
984 else
985 pp_unsupported_tree (pp, b);
986 }
987
988 /* Attempt to print out an ENUMERATOR. Return true on success. Else return
989 false; that means the value was obtained by a cast, in which case
990 print out the type-id part of the cast-expression -- the casted value
991 is then printed by pp_c_integer_literal. */
992
993 static bool
pp_c_enumeration_constant(c_pretty_printer * pp,tree e)994 pp_c_enumeration_constant (c_pretty_printer *pp, tree e)
995 {
996 bool value_is_named = true;
997 tree type = TREE_TYPE (e);
998 tree value;
999
1000 /* Find the name of this constant. */
1001 for (value = TYPE_VALUES (type);
1002 value != NULL_TREE && !tree_int_cst_equal (TREE_VALUE (value), e);
1003 value = TREE_CHAIN (value))
1004 ;
1005
1006 if (value != NULL_TREE)
1007 pp_id_expression (pp, TREE_PURPOSE (value));
1008 else
1009 {
1010 /* Value must have been cast. */
1011 pp_c_type_cast (pp, type);
1012 value_is_named = false;
1013 }
1014
1015 return value_is_named;
1016 }
1017
1018 /* Print out a REAL value as a decimal-floating-constant. */
1019
1020 static void
pp_c_floating_constant(c_pretty_printer * pp,tree r)1021 pp_c_floating_constant (c_pretty_printer *pp, tree r)
1022 {
1023 const struct real_format *fmt
1024 = REAL_MODE_FORMAT (TYPE_MODE (TREE_TYPE (r)));
1025
1026 REAL_VALUE_TYPE floating_cst = TREE_REAL_CST (r);
1027 bool is_decimal = floating_cst.decimal;
1028
1029 /* See ISO C++ WG N1822. Note: The fraction 643/2136 approximates
1030 log10(2) to 7 significant digits. */
1031 int max_digits10 = 2 + (is_decimal ? fmt->p : fmt->p * 643L / 2136);
1032
1033 real_to_decimal (pp_buffer (pp)->digit_buffer, &TREE_REAL_CST (r),
1034 sizeof (pp_buffer (pp)->digit_buffer),
1035 max_digits10, 1);
1036
1037 pp_string (pp, pp_buffer(pp)->digit_buffer);
1038 if (TREE_TYPE (r) == float_type_node)
1039 pp_character (pp, 'f');
1040 else if (TREE_TYPE (r) == long_double_type_node)
1041 pp_character (pp, 'l');
1042 else if (TREE_TYPE (r) == dfloat128_type_node)
1043 pp_string (pp, "dl");
1044 else if (TREE_TYPE (r) == dfloat64_type_node)
1045 pp_string (pp, "dd");
1046 else if (TREE_TYPE (r) == dfloat32_type_node)
1047 pp_string (pp, "df");
1048 }
1049
1050 /* Print out a FIXED value as a decimal-floating-constant. */
1051
1052 static void
pp_c_fixed_constant(c_pretty_printer * pp,tree r)1053 pp_c_fixed_constant (c_pretty_printer *pp, tree r)
1054 {
1055 fixed_to_decimal (pp_buffer (pp)->digit_buffer, &TREE_FIXED_CST (r),
1056 sizeof (pp_buffer (pp)->digit_buffer));
1057 pp_string (pp, pp_buffer(pp)->digit_buffer);
1058 }
1059
1060 /* Pretty-print a compound literal expression. GNU extensions include
1061 vector constants. */
1062
1063 static void
pp_c_compound_literal(c_pretty_printer * pp,tree e)1064 pp_c_compound_literal (c_pretty_printer *pp, tree e)
1065 {
1066 tree type = TREE_TYPE (e);
1067 pp_c_type_cast (pp, type);
1068
1069 switch (TREE_CODE (type))
1070 {
1071 case RECORD_TYPE:
1072 case UNION_TYPE:
1073 case ARRAY_TYPE:
1074 case VECTOR_TYPE:
1075 case COMPLEX_TYPE:
1076 pp_c_brace_enclosed_initializer_list (pp, e);
1077 break;
1078
1079 default:
1080 pp_unsupported_tree (pp, e);
1081 break;
1082 }
1083 }
1084
1085 /* Pretty-print a COMPLEX_EXPR expression. */
1086
1087 static void
pp_c_complex_expr(c_pretty_printer * pp,tree e)1088 pp_c_complex_expr (c_pretty_printer *pp, tree e)
1089 {
1090 /* Handle a few common special cases, otherwise fallback
1091 to printing it as compound literal. */
1092 tree type = TREE_TYPE (e);
1093 tree realexpr = TREE_OPERAND (e, 0);
1094 tree imagexpr = TREE_OPERAND (e, 1);
1095
1096 /* Cast of an COMPLEX_TYPE expression to a different COMPLEX_TYPE. */
1097 if (TREE_CODE (realexpr) == NOP_EXPR
1098 && TREE_CODE (imagexpr) == NOP_EXPR
1099 && TREE_TYPE (realexpr) == TREE_TYPE (type)
1100 && TREE_TYPE (imagexpr) == TREE_TYPE (type)
1101 && TREE_CODE (TREE_OPERAND (realexpr, 0)) == REALPART_EXPR
1102 && TREE_CODE (TREE_OPERAND (imagexpr, 0)) == IMAGPART_EXPR
1103 && TREE_OPERAND (TREE_OPERAND (realexpr, 0), 0)
1104 == TREE_OPERAND (TREE_OPERAND (imagexpr, 0), 0))
1105 {
1106 pp_c_type_cast (pp, type);
1107 pp_expression (pp, TREE_OPERAND (TREE_OPERAND (realexpr, 0), 0));
1108 return;
1109 }
1110
1111 /* Cast of an scalar expression to COMPLEX_TYPE. */
1112 if ((integer_zerop (imagexpr) || real_zerop (imagexpr))
1113 && TREE_TYPE (realexpr) == TREE_TYPE (type))
1114 {
1115 pp_c_type_cast (pp, type);
1116 if (TREE_CODE (realexpr) == NOP_EXPR)
1117 realexpr = TREE_OPERAND (realexpr, 0);
1118 pp_expression (pp, realexpr);
1119 return;
1120 }
1121
1122 pp_c_compound_literal (pp, e);
1123 }
1124
1125 /* constant:
1126 integer-constant
1127 floating-constant
1128 fixed-point-constant
1129 enumeration-constant
1130 character-constant */
1131
1132 void
pp_c_constant(c_pretty_printer * pp,tree e)1133 pp_c_constant (c_pretty_printer *pp, tree e)
1134 {
1135 const enum tree_code code = TREE_CODE (e);
1136
1137 switch (code)
1138 {
1139 case INTEGER_CST:
1140 {
1141 tree type = TREE_TYPE (e);
1142 if (type == boolean_type_node)
1143 pp_c_bool_constant (pp, e);
1144 else if (type == char_type_node)
1145 pp_c_character_constant (pp, e);
1146 else if (TREE_CODE (type) == ENUMERAL_TYPE
1147 && pp_c_enumeration_constant (pp, e))
1148 ;
1149 else
1150 pp_c_integer_constant (pp, e);
1151 }
1152 break;
1153
1154 case REAL_CST:
1155 pp_c_floating_constant (pp, e);
1156 break;
1157
1158 case FIXED_CST:
1159 pp_c_fixed_constant (pp, e);
1160 break;
1161
1162 case STRING_CST:
1163 pp_c_string_literal (pp, e);
1164 break;
1165
1166 case COMPLEX_CST:
1167 /* Sometimes, we are confused and we think a complex literal
1168 is a constant. Such thing is a compound literal which
1169 grammatically belongs to postfix-expr production. */
1170 pp_c_compound_literal (pp, e);
1171 break;
1172
1173 default:
1174 pp_unsupported_tree (pp, e);
1175 break;
1176 }
1177 }
1178
1179 /* Pretty-print a string such as an identifier, without changing its
1180 encoding, preceded by whitespace is necessary. */
1181
1182 void
pp_c_ws_string(c_pretty_printer * pp,const char * str)1183 pp_c_ws_string (c_pretty_printer *pp, const char *str)
1184 {
1185 pp_c_maybe_whitespace (pp);
1186 pp_string (pp, str);
1187 pp_base (pp)->padding = pp_before;
1188 }
1189
1190 /* Pretty-print an IDENTIFIER_NODE, which may contain UTF-8 sequences
1191 that need converting to the locale encoding, preceded by whitespace
1192 is necessary. */
1193
1194 void
pp_c_identifier(c_pretty_printer * pp,const char * id)1195 pp_c_identifier (c_pretty_printer *pp, const char *id)
1196 {
1197 pp_c_maybe_whitespace (pp);
1198 pp_identifier (pp, id);
1199 pp_base (pp)->padding = pp_before;
1200 }
1201
1202 /* Pretty-print a C primary-expression.
1203 primary-expression:
1204 identifier
1205 constant
1206 string-literal
1207 ( expression ) */
1208
1209 void
pp_c_primary_expression(c_pretty_printer * pp,tree e)1210 pp_c_primary_expression (c_pretty_printer *pp, tree e)
1211 {
1212 switch (TREE_CODE (e))
1213 {
1214 case VAR_DECL:
1215 case PARM_DECL:
1216 case FIELD_DECL:
1217 case CONST_DECL:
1218 case FUNCTION_DECL:
1219 case LABEL_DECL:
1220 pp_c_tree_decl_identifier (pp, e);
1221 break;
1222
1223 case IDENTIFIER_NODE:
1224 pp_c_tree_identifier (pp, e);
1225 break;
1226
1227 case ERROR_MARK:
1228 pp_c_ws_string (pp, M_("<erroneous-expression>"));
1229 break;
1230
1231 case RESULT_DECL:
1232 pp_c_ws_string (pp, M_("<return-value>"));
1233 break;
1234
1235 case INTEGER_CST:
1236 case REAL_CST:
1237 case FIXED_CST:
1238 case STRING_CST:
1239 pp_c_constant (pp, e);
1240 break;
1241
1242 case TARGET_EXPR:
1243 pp_c_ws_string (pp, "__builtin_memcpy");
1244 pp_c_left_paren (pp);
1245 pp_ampersand (pp);
1246 pp_primary_expression (pp, TREE_OPERAND (e, 0));
1247 pp_separate_with (pp, ',');
1248 pp_ampersand (pp);
1249 pp_initializer (pp, TREE_OPERAND (e, 1));
1250 if (TREE_OPERAND (e, 2))
1251 {
1252 pp_separate_with (pp, ',');
1253 pp_c_expression (pp, TREE_OPERAND (e, 2));
1254 }
1255 pp_c_right_paren (pp);
1256 break;
1257
1258 default:
1259 /* FIXME: Make sure we won't get into an infinite loop. */
1260 pp_c_left_paren (pp);
1261 pp_expression (pp, e);
1262 pp_c_right_paren (pp);
1263 break;
1264 }
1265 }
1266
1267 /* Print out a C initializer -- also support C compound-literals.
1268 initializer:
1269 assignment-expression:
1270 { initializer-list }
1271 { initializer-list , } */
1272
1273 static void
pp_c_initializer(c_pretty_printer * pp,tree e)1274 pp_c_initializer (c_pretty_printer *pp, tree e)
1275 {
1276 if (TREE_CODE (e) == CONSTRUCTOR)
1277 pp_c_brace_enclosed_initializer_list (pp, e);
1278 else
1279 pp_expression (pp, e);
1280 }
1281
1282 /* init-declarator:
1283 declarator:
1284 declarator = initializer */
1285
1286 void
pp_c_init_declarator(c_pretty_printer * pp,tree t)1287 pp_c_init_declarator (c_pretty_printer *pp, tree t)
1288 {
1289 pp_declarator (pp, t);
1290 /* We don't want to output function definitions here. There are handled
1291 elsewhere (and the syntactic form is bogus anyway). */
1292 if (TREE_CODE (t) != FUNCTION_DECL && DECL_INITIAL (t))
1293 {
1294 tree init = DECL_INITIAL (t);
1295 /* This C++ bit is handled here because it is easier to do so.
1296 In templates, the C++ parser builds a TREE_LIST for a
1297 direct-initialization; the TREE_PURPOSE is the variable to
1298 initialize and the TREE_VALUE is the initializer. */
1299 if (TREE_CODE (init) == TREE_LIST)
1300 {
1301 pp_c_left_paren (pp);
1302 pp_expression (pp, TREE_VALUE (init));
1303 pp_right_paren (pp);
1304 }
1305 else
1306 {
1307 pp_space (pp);
1308 pp_equal (pp);
1309 pp_space (pp);
1310 pp_c_initializer (pp, init);
1311 }
1312 }
1313 }
1314
1315 /* initializer-list:
1316 designation(opt) initializer
1317 initializer-list , designation(opt) initializer
1318
1319 designation:
1320 designator-list =
1321
1322 designator-list:
1323 designator
1324 designator-list designator
1325
1326 designator:
1327 [ constant-expression ]
1328 identifier */
1329
1330 static void
pp_c_initializer_list(c_pretty_printer * pp,tree e)1331 pp_c_initializer_list (c_pretty_printer *pp, tree e)
1332 {
1333 tree type = TREE_TYPE (e);
1334 const enum tree_code code = TREE_CODE (type);
1335
1336 if (TREE_CODE (e) == CONSTRUCTOR)
1337 {
1338 pp_c_constructor_elts (pp, CONSTRUCTOR_ELTS (e));
1339 return;
1340 }
1341
1342 switch (code)
1343 {
1344 case RECORD_TYPE:
1345 case UNION_TYPE:
1346 case ARRAY_TYPE:
1347 {
1348 tree init = TREE_OPERAND (e, 0);
1349 for (; init != NULL_TREE; init = TREE_CHAIN (init))
1350 {
1351 if (code == RECORD_TYPE || code == UNION_TYPE)
1352 {
1353 pp_c_dot (pp);
1354 pp_c_primary_expression (pp, TREE_PURPOSE (init));
1355 }
1356 else
1357 {
1358 pp_c_left_bracket (pp);
1359 if (TREE_PURPOSE (init))
1360 pp_c_constant (pp, TREE_PURPOSE (init));
1361 pp_c_right_bracket (pp);
1362 }
1363 pp_c_whitespace (pp);
1364 pp_equal (pp);
1365 pp_c_whitespace (pp);
1366 pp_initializer (pp, TREE_VALUE (init));
1367 if (TREE_CHAIN (init))
1368 pp_separate_with (pp, ',');
1369 }
1370 }
1371 return;
1372
1373 case VECTOR_TYPE:
1374 if (TREE_CODE (e) == VECTOR_CST)
1375 pp_c_expression_list (pp, TREE_VECTOR_CST_ELTS (e));
1376 else
1377 break;
1378 return;
1379
1380 case COMPLEX_TYPE:
1381 if (TREE_CODE (e) == COMPLEX_CST || TREE_CODE (e) == COMPLEX_EXPR)
1382 {
1383 const bool cst = TREE_CODE (e) == COMPLEX_CST;
1384 pp_expression (pp, cst ? TREE_REALPART (e) : TREE_OPERAND (e, 0));
1385 pp_separate_with (pp, ',');
1386 pp_expression (pp, cst ? TREE_IMAGPART (e) : TREE_OPERAND (e, 1));
1387 }
1388 else
1389 break;
1390 return;
1391
1392 default:
1393 break;
1394 }
1395
1396 pp_unsupported_tree (pp, type);
1397 }
1398
1399 /* Pretty-print a brace-enclosed initializer-list. */
1400
1401 static void
pp_c_brace_enclosed_initializer_list(c_pretty_printer * pp,tree l)1402 pp_c_brace_enclosed_initializer_list (c_pretty_printer *pp, tree l)
1403 {
1404 pp_c_left_brace (pp);
1405 pp_c_initializer_list (pp, l);
1406 pp_c_right_brace (pp);
1407 }
1408
1409
1410 /* This is a convenient function, used to bridge gap between C and C++
1411 grammars.
1412
1413 id-expression:
1414 identifier */
1415
1416 void
pp_c_id_expression(c_pretty_printer * pp,tree t)1417 pp_c_id_expression (c_pretty_printer *pp, tree t)
1418 {
1419 switch (TREE_CODE (t))
1420 {
1421 case VAR_DECL:
1422 case PARM_DECL:
1423 case CONST_DECL:
1424 case TYPE_DECL:
1425 case FUNCTION_DECL:
1426 case FIELD_DECL:
1427 case LABEL_DECL:
1428 pp_c_tree_decl_identifier (pp, t);
1429 break;
1430
1431 case IDENTIFIER_NODE:
1432 pp_c_tree_identifier (pp, t);
1433 break;
1434
1435 default:
1436 pp_unsupported_tree (pp, t);
1437 break;
1438 }
1439 }
1440
1441 /* postfix-expression:
1442 primary-expression
1443 postfix-expression [ expression ]
1444 postfix-expression ( argument-expression-list(opt) )
1445 postfix-expression . identifier
1446 postfix-expression -> identifier
1447 postfix-expression ++
1448 postfix-expression --
1449 ( type-name ) { initializer-list }
1450 ( type-name ) { initializer-list , } */
1451
1452 void
pp_c_postfix_expression(c_pretty_printer * pp,tree e)1453 pp_c_postfix_expression (c_pretty_printer *pp, tree e)
1454 {
1455 enum tree_code code = TREE_CODE (e);
1456 switch (code)
1457 {
1458 case POSTINCREMENT_EXPR:
1459 case POSTDECREMENT_EXPR:
1460 pp_postfix_expression (pp, TREE_OPERAND (e, 0));
1461 pp_string (pp, code == POSTINCREMENT_EXPR ? "++" : "--");
1462 break;
1463
1464 case ARRAY_REF:
1465 pp_postfix_expression (pp, TREE_OPERAND (e, 0));
1466 pp_c_left_bracket (pp);
1467 pp_expression (pp, TREE_OPERAND (e, 1));
1468 pp_c_right_bracket (pp);
1469 break;
1470
1471 case CALL_EXPR:
1472 {
1473 call_expr_arg_iterator iter;
1474 tree arg;
1475 pp_postfix_expression (pp, CALL_EXPR_FN (e));
1476 pp_c_left_paren (pp);
1477 FOR_EACH_CALL_EXPR_ARG (arg, iter, e)
1478 {
1479 pp_expression (pp, arg);
1480 if (more_call_expr_args_p (&iter))
1481 pp_separate_with (pp, ',');
1482 }
1483 pp_c_right_paren (pp);
1484 break;
1485 }
1486
1487 case UNORDERED_EXPR:
1488 pp_c_ws_string (pp, flag_isoc99
1489 ? "isunordered"
1490 : "__builtin_isunordered");
1491 goto two_args_fun;
1492
1493 case ORDERED_EXPR:
1494 pp_c_ws_string (pp, flag_isoc99
1495 ? "!isunordered"
1496 : "!__builtin_isunordered");
1497 goto two_args_fun;
1498
1499 case UNLT_EXPR:
1500 pp_c_ws_string (pp, flag_isoc99
1501 ? "!isgreaterequal"
1502 : "!__builtin_isgreaterequal");
1503 goto two_args_fun;
1504
1505 case UNLE_EXPR:
1506 pp_c_ws_string (pp, flag_isoc99
1507 ? "!isgreater"
1508 : "!__builtin_isgreater");
1509 goto two_args_fun;
1510
1511 case UNGT_EXPR:
1512 pp_c_ws_string (pp, flag_isoc99
1513 ? "!islessequal"
1514 : "!__builtin_islessequal");
1515 goto two_args_fun;
1516
1517 case UNGE_EXPR:
1518 pp_c_ws_string (pp, flag_isoc99
1519 ? "!isless"
1520 : "!__builtin_isless");
1521 goto two_args_fun;
1522
1523 case UNEQ_EXPR:
1524 pp_c_ws_string (pp, flag_isoc99
1525 ? "!islessgreater"
1526 : "!__builtin_islessgreater");
1527 goto two_args_fun;
1528
1529 case LTGT_EXPR:
1530 pp_c_ws_string (pp, flag_isoc99
1531 ? "islessgreater"
1532 : "__builtin_islessgreater");
1533 goto two_args_fun;
1534
1535 two_args_fun:
1536 pp_c_left_paren (pp);
1537 pp_expression (pp, TREE_OPERAND (e, 0));
1538 pp_separate_with (pp, ',');
1539 pp_expression (pp, TREE_OPERAND (e, 1));
1540 pp_c_right_paren (pp);
1541 break;
1542
1543 case ABS_EXPR:
1544 pp_c_ws_string (pp, "__builtin_abs");
1545 pp_c_left_paren (pp);
1546 pp_expression (pp, TREE_OPERAND (e, 0));
1547 pp_c_right_paren (pp);
1548 break;
1549
1550 case COMPONENT_REF:
1551 {
1552 tree object = TREE_OPERAND (e, 0);
1553 if (TREE_CODE (object) == INDIRECT_REF)
1554 {
1555 pp_postfix_expression (pp, TREE_OPERAND (object, 0));
1556 pp_c_arrow (pp);
1557 }
1558 else
1559 {
1560 pp_postfix_expression (pp, object);
1561 pp_c_dot (pp);
1562 }
1563 pp_expression (pp, TREE_OPERAND (e, 1));
1564 }
1565 break;
1566
1567 case BIT_FIELD_REF:
1568 {
1569 tree type = TREE_TYPE (e);
1570
1571 type = signed_or_unsigned_type_for (TYPE_UNSIGNED (type), type);
1572 if (type
1573 && tree_int_cst_equal (TYPE_SIZE (type), TREE_OPERAND (e, 1)))
1574 {
1575 HOST_WIDE_INT bitpos = tree_low_cst (TREE_OPERAND (e, 2), 0);
1576 HOST_WIDE_INT size = tree_low_cst (TYPE_SIZE (type), 0);
1577 if ((bitpos % size) == 0)
1578 {
1579 pp_c_left_paren (pp);
1580 pp_c_left_paren (pp);
1581 pp_type_id (pp, type);
1582 pp_c_star (pp);
1583 pp_c_right_paren (pp);
1584 pp_c_ampersand (pp);
1585 pp_expression (pp, TREE_OPERAND (e, 0));
1586 pp_c_right_paren (pp);
1587 pp_c_left_bracket (pp);
1588 pp_wide_integer (pp, bitpos / size);
1589 pp_c_right_bracket (pp);
1590 break;
1591 }
1592 }
1593 pp_unsupported_tree (pp, e);
1594 }
1595 break;
1596
1597 case MEM_REF:
1598 pp_c_expression (pp, e);
1599 break;
1600
1601 case COMPLEX_CST:
1602 case VECTOR_CST:
1603 pp_c_compound_literal (pp, e);
1604 break;
1605
1606 case COMPLEX_EXPR:
1607 pp_c_complex_expr (pp, e);
1608 break;
1609
1610 case COMPOUND_LITERAL_EXPR:
1611 e = DECL_INITIAL (COMPOUND_LITERAL_EXPR_DECL (e));
1612 /* Fall through. */
1613 case CONSTRUCTOR:
1614 pp_initializer (pp, e);
1615 break;
1616
1617 case VA_ARG_EXPR:
1618 pp_c_ws_string (pp, "__builtin_va_arg");
1619 pp_c_left_paren (pp);
1620 pp_assignment_expression (pp, TREE_OPERAND (e, 0));
1621 pp_separate_with (pp, ',');
1622 pp_type_id (pp, TREE_TYPE (e));
1623 pp_c_right_paren (pp);
1624 break;
1625
1626 case ADDR_EXPR:
1627 if (TREE_CODE (TREE_OPERAND (e, 0)) == FUNCTION_DECL)
1628 {
1629 pp_c_id_expression (pp, TREE_OPERAND (e, 0));
1630 break;
1631 }
1632 /* else fall through. */
1633
1634 default:
1635 pp_primary_expression (pp, e);
1636 break;
1637 }
1638 }
1639
1640 /* Print out an expression-list; E is expected to be a TREE_LIST. */
1641
1642 void
pp_c_expression_list(c_pretty_printer * pp,tree e)1643 pp_c_expression_list (c_pretty_printer *pp, tree e)
1644 {
1645 for (; e != NULL_TREE; e = TREE_CHAIN (e))
1646 {
1647 pp_expression (pp, TREE_VALUE (e));
1648 if (TREE_CHAIN (e))
1649 pp_separate_with (pp, ',');
1650 }
1651 }
1652
1653 /* Print out V, which contains the elements of a constructor. */
1654
1655 void
pp_c_constructor_elts(c_pretty_printer * pp,VEC (constructor_elt,gc)* v)1656 pp_c_constructor_elts (c_pretty_printer *pp, VEC(constructor_elt,gc) *v)
1657 {
1658 unsigned HOST_WIDE_INT ix;
1659 tree value;
1660
1661 FOR_EACH_CONSTRUCTOR_VALUE (v, ix, value)
1662 {
1663 pp_expression (pp, value);
1664 if (ix != VEC_length (constructor_elt, v) - 1)
1665 pp_separate_with (pp, ',');
1666 }
1667 }
1668
1669 /* Print out an expression-list in parens, as if it were the argument
1670 list to a function. */
1671
1672 void
pp_c_call_argument_list(c_pretty_printer * pp,tree t)1673 pp_c_call_argument_list (c_pretty_printer *pp, tree t)
1674 {
1675 pp_c_left_paren (pp);
1676 if (t && TREE_CODE (t) == TREE_LIST)
1677 pp_c_expression_list (pp, t);
1678 pp_c_right_paren (pp);
1679 }
1680
1681 /* unary-expression:
1682 postfix-expression
1683 ++ cast-expression
1684 -- cast-expression
1685 unary-operator cast-expression
1686 sizeof unary-expression
1687 sizeof ( type-id )
1688
1689 unary-operator: one of
1690 * & + - ! ~
1691
1692 GNU extensions.
1693 unary-expression:
1694 __alignof__ unary-expression
1695 __alignof__ ( type-id )
1696 __real__ unary-expression
1697 __imag__ unary-expression */
1698
1699 void
pp_c_unary_expression(c_pretty_printer * pp,tree e)1700 pp_c_unary_expression (c_pretty_printer *pp, tree e)
1701 {
1702 enum tree_code code = TREE_CODE (e);
1703 switch (code)
1704 {
1705 case PREINCREMENT_EXPR:
1706 case PREDECREMENT_EXPR:
1707 pp_string (pp, code == PREINCREMENT_EXPR ? "++" : "--");
1708 pp_c_unary_expression (pp, TREE_OPERAND (e, 0));
1709 break;
1710
1711 case ADDR_EXPR:
1712 case INDIRECT_REF:
1713 case NEGATE_EXPR:
1714 case BIT_NOT_EXPR:
1715 case TRUTH_NOT_EXPR:
1716 case CONJ_EXPR:
1717 /* String literal are used by address. */
1718 if (code == ADDR_EXPR && TREE_CODE (TREE_OPERAND (e, 0)) != STRING_CST)
1719 pp_ampersand (pp);
1720 else if (code == INDIRECT_REF)
1721 pp_c_star (pp);
1722 else if (code == NEGATE_EXPR)
1723 pp_minus (pp);
1724 else if (code == BIT_NOT_EXPR || code == CONJ_EXPR)
1725 pp_complement (pp);
1726 else if (code == TRUTH_NOT_EXPR)
1727 pp_exclamation (pp);
1728 pp_c_cast_expression (pp, TREE_OPERAND (e, 0));
1729 break;
1730
1731 case MEM_REF:
1732 if (TREE_CODE (TREE_OPERAND (e, 0)) == ADDR_EXPR
1733 && integer_zerop (TREE_OPERAND (e, 1)))
1734 pp_c_expression (pp, TREE_OPERAND (TREE_OPERAND (e, 0), 0));
1735 else
1736 {
1737 pp_c_star (pp);
1738 if (!integer_zerop (TREE_OPERAND (e, 1)))
1739 {
1740 pp_c_left_paren (pp);
1741 if (!integer_onep (TYPE_SIZE_UNIT
1742 (TREE_TYPE (TREE_TYPE (TREE_OPERAND (e, 0))))))
1743 pp_c_type_cast (pp, ptr_type_node);
1744 }
1745 pp_c_cast_expression (pp, TREE_OPERAND (e, 0));
1746 if (!integer_zerop (TREE_OPERAND (e, 1)))
1747 {
1748 pp_plus (pp);
1749 pp_c_integer_constant (pp,
1750 fold_convert (ssizetype,
1751 TREE_OPERAND (e, 1)));
1752 pp_c_right_paren (pp);
1753 }
1754 }
1755 break;
1756
1757 case REALPART_EXPR:
1758 case IMAGPART_EXPR:
1759 pp_c_ws_string (pp, code == REALPART_EXPR ? "__real__" : "__imag__");
1760 pp_c_whitespace (pp);
1761 pp_unary_expression (pp, TREE_OPERAND (e, 0));
1762 break;
1763
1764 default:
1765 pp_postfix_expression (pp, e);
1766 break;
1767 }
1768 }
1769
1770 /* cast-expression:
1771 unary-expression
1772 ( type-name ) cast-expression */
1773
1774 void
pp_c_cast_expression(c_pretty_printer * pp,tree e)1775 pp_c_cast_expression (c_pretty_printer *pp, tree e)
1776 {
1777 switch (TREE_CODE (e))
1778 {
1779 case FLOAT_EXPR:
1780 case FIX_TRUNC_EXPR:
1781 CASE_CONVERT:
1782 case VIEW_CONVERT_EXPR:
1783 pp_c_type_cast (pp, TREE_TYPE (e));
1784 pp_c_cast_expression (pp, TREE_OPERAND (e, 0));
1785 break;
1786
1787 default:
1788 pp_unary_expression (pp, e);
1789 }
1790 }
1791
1792 /* multiplicative-expression:
1793 cast-expression
1794 multiplicative-expression * cast-expression
1795 multiplicative-expression / cast-expression
1796 multiplicative-expression % cast-expression */
1797
1798 static void
pp_c_multiplicative_expression(c_pretty_printer * pp,tree e)1799 pp_c_multiplicative_expression (c_pretty_printer *pp, tree e)
1800 {
1801 enum tree_code code = TREE_CODE (e);
1802 switch (code)
1803 {
1804 case MULT_EXPR:
1805 case TRUNC_DIV_EXPR:
1806 case TRUNC_MOD_EXPR:
1807 pp_multiplicative_expression (pp, TREE_OPERAND (e, 0));
1808 pp_c_whitespace (pp);
1809 if (code == MULT_EXPR)
1810 pp_c_star (pp);
1811 else if (code == TRUNC_DIV_EXPR)
1812 pp_slash (pp);
1813 else
1814 pp_modulo (pp);
1815 pp_c_whitespace (pp);
1816 pp_c_cast_expression (pp, TREE_OPERAND (e, 1));
1817 break;
1818
1819 default:
1820 pp_c_cast_expression (pp, e);
1821 break;
1822 }
1823 }
1824
1825 /* additive-expression:
1826 multiplicative-expression
1827 additive-expression + multiplicative-expression
1828 additive-expression - multiplicative-expression */
1829
1830 static void
pp_c_additive_expression(c_pretty_printer * pp,tree e)1831 pp_c_additive_expression (c_pretty_printer *pp, tree e)
1832 {
1833 enum tree_code code = TREE_CODE (e);
1834 switch (code)
1835 {
1836 case POINTER_PLUS_EXPR:
1837 case PLUS_EXPR:
1838 case MINUS_EXPR:
1839 pp_c_additive_expression (pp, TREE_OPERAND (e, 0));
1840 pp_c_whitespace (pp);
1841 if (code == PLUS_EXPR || code == POINTER_PLUS_EXPR)
1842 pp_plus (pp);
1843 else
1844 pp_minus (pp);
1845 pp_c_whitespace (pp);
1846 pp_multiplicative_expression (pp, TREE_OPERAND (e, 1));
1847 break;
1848
1849 default:
1850 pp_multiplicative_expression (pp, e);
1851 break;
1852 }
1853 }
1854
1855 /* additive-expression:
1856 additive-expression
1857 shift-expression << additive-expression
1858 shift-expression >> additive-expression */
1859
1860 static void
pp_c_shift_expression(c_pretty_printer * pp,tree e)1861 pp_c_shift_expression (c_pretty_printer *pp, tree e)
1862 {
1863 enum tree_code code = TREE_CODE (e);
1864 switch (code)
1865 {
1866 case LSHIFT_EXPR:
1867 case RSHIFT_EXPR:
1868 pp_c_shift_expression (pp, TREE_OPERAND (e, 0));
1869 pp_c_whitespace (pp);
1870 pp_string (pp, code == LSHIFT_EXPR ? "<<" : ">>");
1871 pp_c_whitespace (pp);
1872 pp_c_additive_expression (pp, TREE_OPERAND (e, 1));
1873 break;
1874
1875 default:
1876 pp_c_additive_expression (pp, e);
1877 }
1878 }
1879
1880 /* relational-expression:
1881 shift-expression
1882 relational-expression < shift-expression
1883 relational-expression > shift-expression
1884 relational-expression <= shift-expression
1885 relational-expression >= shift-expression */
1886
1887 static void
pp_c_relational_expression(c_pretty_printer * pp,tree e)1888 pp_c_relational_expression (c_pretty_printer *pp, tree e)
1889 {
1890 enum tree_code code = TREE_CODE (e);
1891 switch (code)
1892 {
1893 case LT_EXPR:
1894 case GT_EXPR:
1895 case LE_EXPR:
1896 case GE_EXPR:
1897 pp_c_relational_expression (pp, TREE_OPERAND (e, 0));
1898 pp_c_whitespace (pp);
1899 if (code == LT_EXPR)
1900 pp_less (pp);
1901 else if (code == GT_EXPR)
1902 pp_greater (pp);
1903 else if (code == LE_EXPR)
1904 pp_string (pp, "<=");
1905 else if (code == GE_EXPR)
1906 pp_string (pp, ">=");
1907 pp_c_whitespace (pp);
1908 pp_c_shift_expression (pp, TREE_OPERAND (e, 1));
1909 break;
1910
1911 default:
1912 pp_c_shift_expression (pp, e);
1913 break;
1914 }
1915 }
1916
1917 /* equality-expression:
1918 relational-expression
1919 equality-expression == relational-expression
1920 equality-equality != relational-expression */
1921
1922 static void
pp_c_equality_expression(c_pretty_printer * pp,tree e)1923 pp_c_equality_expression (c_pretty_printer *pp, tree e)
1924 {
1925 enum tree_code code = TREE_CODE (e);
1926 switch (code)
1927 {
1928 case EQ_EXPR:
1929 case NE_EXPR:
1930 pp_c_equality_expression (pp, TREE_OPERAND (e, 0));
1931 pp_c_whitespace (pp);
1932 pp_string (pp, code == EQ_EXPR ? "==" : "!=");
1933 pp_c_whitespace (pp);
1934 pp_c_relational_expression (pp, TREE_OPERAND (e, 1));
1935 break;
1936
1937 default:
1938 pp_c_relational_expression (pp, e);
1939 break;
1940 }
1941 }
1942
1943 /* AND-expression:
1944 equality-expression
1945 AND-expression & equality-equality */
1946
1947 static void
pp_c_and_expression(c_pretty_printer * pp,tree e)1948 pp_c_and_expression (c_pretty_printer *pp, tree e)
1949 {
1950 if (TREE_CODE (e) == BIT_AND_EXPR)
1951 {
1952 pp_c_and_expression (pp, TREE_OPERAND (e, 0));
1953 pp_c_whitespace (pp);
1954 pp_ampersand (pp);
1955 pp_c_whitespace (pp);
1956 pp_c_equality_expression (pp, TREE_OPERAND (e, 1));
1957 }
1958 else
1959 pp_c_equality_expression (pp, e);
1960 }
1961
1962 /* exclusive-OR-expression:
1963 AND-expression
1964 exclusive-OR-expression ^ AND-expression */
1965
1966 static void
pp_c_exclusive_or_expression(c_pretty_printer * pp,tree e)1967 pp_c_exclusive_or_expression (c_pretty_printer *pp, tree e)
1968 {
1969 if (TREE_CODE (e) == BIT_XOR_EXPR
1970 || TREE_CODE (e) == TRUTH_XOR_EXPR)
1971 {
1972 pp_c_exclusive_or_expression (pp, TREE_OPERAND (e, 0));
1973 if (TREE_CODE (e) == BIT_XOR_EXPR)
1974 pp_c_maybe_whitespace (pp);
1975 else
1976 pp_c_whitespace (pp);
1977 pp_carret (pp);
1978 pp_c_whitespace (pp);
1979 pp_c_and_expression (pp, TREE_OPERAND (e, 1));
1980 }
1981 else
1982 pp_c_and_expression (pp, e);
1983 }
1984
1985 /* inclusive-OR-expression:
1986 exclusive-OR-expression
1987 inclusive-OR-expression | exclusive-OR-expression */
1988
1989 static void
pp_c_inclusive_or_expression(c_pretty_printer * pp,tree e)1990 pp_c_inclusive_or_expression (c_pretty_printer *pp, tree e)
1991 {
1992 if (TREE_CODE (e) == BIT_IOR_EXPR)
1993 {
1994 pp_c_exclusive_or_expression (pp, TREE_OPERAND (e, 0));
1995 pp_c_whitespace (pp);
1996 pp_bar (pp);
1997 pp_c_whitespace (pp);
1998 pp_c_exclusive_or_expression (pp, TREE_OPERAND (e, 1));
1999 }
2000 else
2001 pp_c_exclusive_or_expression (pp, e);
2002 }
2003
2004 /* logical-AND-expression:
2005 inclusive-OR-expression
2006 logical-AND-expression && inclusive-OR-expression */
2007
2008 static void
pp_c_logical_and_expression(c_pretty_printer * pp,tree e)2009 pp_c_logical_and_expression (c_pretty_printer *pp, tree e)
2010 {
2011 if (TREE_CODE (e) == TRUTH_ANDIF_EXPR
2012 || TREE_CODE (e) == TRUTH_AND_EXPR)
2013 {
2014 pp_c_logical_and_expression (pp, TREE_OPERAND (e, 0));
2015 pp_c_whitespace (pp);
2016 pp_string (pp, "&&");
2017 pp_c_whitespace (pp);
2018 pp_c_inclusive_or_expression (pp, TREE_OPERAND (e, 1));
2019 }
2020 else
2021 pp_c_inclusive_or_expression (pp, e);
2022 }
2023
2024 /* logical-OR-expression:
2025 logical-AND-expression
2026 logical-OR-expression || logical-AND-expression */
2027
2028 void
pp_c_logical_or_expression(c_pretty_printer * pp,tree e)2029 pp_c_logical_or_expression (c_pretty_printer *pp, tree e)
2030 {
2031 if (TREE_CODE (e) == TRUTH_ORIF_EXPR
2032 || TREE_CODE (e) == TRUTH_OR_EXPR)
2033 {
2034 pp_c_logical_or_expression (pp, TREE_OPERAND (e, 0));
2035 pp_c_whitespace (pp);
2036 pp_string (pp, "||");
2037 pp_c_whitespace (pp);
2038 pp_c_logical_and_expression (pp, TREE_OPERAND (e, 1));
2039 }
2040 else
2041 pp_c_logical_and_expression (pp, e);
2042 }
2043
2044 /* conditional-expression:
2045 logical-OR-expression
2046 logical-OR-expression ? expression : conditional-expression */
2047
2048 static void
pp_c_conditional_expression(c_pretty_printer * pp,tree e)2049 pp_c_conditional_expression (c_pretty_printer *pp, tree e)
2050 {
2051 if (TREE_CODE (e) == COND_EXPR)
2052 {
2053 pp_c_logical_or_expression (pp, TREE_OPERAND (e, 0));
2054 pp_c_whitespace (pp);
2055 pp_question (pp);
2056 pp_c_whitespace (pp);
2057 pp_expression (pp, TREE_OPERAND (e, 1));
2058 pp_c_whitespace (pp);
2059 pp_colon (pp);
2060 pp_c_whitespace (pp);
2061 pp_c_conditional_expression (pp, TREE_OPERAND (e, 2));
2062 }
2063 else
2064 pp_c_logical_or_expression (pp, e);
2065 }
2066
2067
2068 /* assignment-expression:
2069 conditional-expression
2070 unary-expression assignment-operator assignment-expression
2071
2072 assignment-expression: one of
2073 = *= /= %= += -= >>= <<= &= ^= |= */
2074
2075 static void
pp_c_assignment_expression(c_pretty_printer * pp,tree e)2076 pp_c_assignment_expression (c_pretty_printer *pp, tree e)
2077 {
2078 if (TREE_CODE (e) == MODIFY_EXPR
2079 || TREE_CODE (e) == INIT_EXPR)
2080 {
2081 pp_c_unary_expression (pp, TREE_OPERAND (e, 0));
2082 pp_c_whitespace (pp);
2083 pp_equal (pp);
2084 pp_space (pp);
2085 pp_c_expression (pp, TREE_OPERAND (e, 1));
2086 }
2087 else
2088 pp_c_conditional_expression (pp, e);
2089 }
2090
2091 /* expression:
2092 assignment-expression
2093 expression , assignment-expression
2094
2095 Implementation note: instead of going through the usual recursion
2096 chain, I take the liberty of dispatching nodes to the appropriate
2097 functions. This makes some redundancy, but it worths it. That also
2098 prevents a possible infinite recursion between pp_c_primary_expression ()
2099 and pp_c_expression (). */
2100
2101 void
pp_c_expression(c_pretty_printer * pp,tree e)2102 pp_c_expression (c_pretty_printer *pp, tree e)
2103 {
2104 switch (TREE_CODE (e))
2105 {
2106 case INTEGER_CST:
2107 pp_c_integer_constant (pp, e);
2108 break;
2109
2110 case REAL_CST:
2111 pp_c_floating_constant (pp, e);
2112 break;
2113
2114 case FIXED_CST:
2115 pp_c_fixed_constant (pp, e);
2116 break;
2117
2118 case STRING_CST:
2119 pp_c_string_literal (pp, e);
2120 break;
2121
2122 case IDENTIFIER_NODE:
2123 case FUNCTION_DECL:
2124 case VAR_DECL:
2125 case CONST_DECL:
2126 case PARM_DECL:
2127 case RESULT_DECL:
2128 case FIELD_DECL:
2129 case LABEL_DECL:
2130 case ERROR_MARK:
2131 pp_primary_expression (pp, e);
2132 break;
2133
2134 case SSA_NAME:
2135 if (!DECL_ARTIFICIAL (SSA_NAME_VAR (e)))
2136 pp_c_expression (pp, SSA_NAME_VAR (e));
2137 else
2138 pp_c_ws_string (pp, M_("<unknown>"));
2139 break;
2140
2141 case POSTINCREMENT_EXPR:
2142 case POSTDECREMENT_EXPR:
2143 case ARRAY_REF:
2144 case CALL_EXPR:
2145 case COMPONENT_REF:
2146 case BIT_FIELD_REF:
2147 case COMPLEX_CST:
2148 case COMPLEX_EXPR:
2149 case VECTOR_CST:
2150 case ORDERED_EXPR:
2151 case UNORDERED_EXPR:
2152 case LTGT_EXPR:
2153 case UNEQ_EXPR:
2154 case UNLE_EXPR:
2155 case UNLT_EXPR:
2156 case UNGE_EXPR:
2157 case UNGT_EXPR:
2158 case ABS_EXPR:
2159 case CONSTRUCTOR:
2160 case COMPOUND_LITERAL_EXPR:
2161 case VA_ARG_EXPR:
2162 pp_postfix_expression (pp, e);
2163 break;
2164
2165 case CONJ_EXPR:
2166 case ADDR_EXPR:
2167 case INDIRECT_REF:
2168 case MEM_REF:
2169 case NEGATE_EXPR:
2170 case BIT_NOT_EXPR:
2171 case TRUTH_NOT_EXPR:
2172 case PREINCREMENT_EXPR:
2173 case PREDECREMENT_EXPR:
2174 case REALPART_EXPR:
2175 case IMAGPART_EXPR:
2176 pp_c_unary_expression (pp, e);
2177 break;
2178
2179 case FLOAT_EXPR:
2180 case FIX_TRUNC_EXPR:
2181 CASE_CONVERT:
2182 case VIEW_CONVERT_EXPR:
2183 pp_c_cast_expression (pp, e);
2184 break;
2185
2186 case MULT_EXPR:
2187 case TRUNC_MOD_EXPR:
2188 case TRUNC_DIV_EXPR:
2189 pp_multiplicative_expression (pp, e);
2190 break;
2191
2192 case LSHIFT_EXPR:
2193 case RSHIFT_EXPR:
2194 pp_c_shift_expression (pp, e);
2195 break;
2196
2197 case LT_EXPR:
2198 case GT_EXPR:
2199 case LE_EXPR:
2200 case GE_EXPR:
2201 pp_c_relational_expression (pp, e);
2202 break;
2203
2204 case BIT_AND_EXPR:
2205 pp_c_and_expression (pp, e);
2206 break;
2207
2208 case BIT_XOR_EXPR:
2209 case TRUTH_XOR_EXPR:
2210 pp_c_exclusive_or_expression (pp, e);
2211 break;
2212
2213 case BIT_IOR_EXPR:
2214 pp_c_inclusive_or_expression (pp, e);
2215 break;
2216
2217 case TRUTH_ANDIF_EXPR:
2218 case TRUTH_AND_EXPR:
2219 pp_c_logical_and_expression (pp, e);
2220 break;
2221
2222 case TRUTH_ORIF_EXPR:
2223 case TRUTH_OR_EXPR:
2224 pp_c_logical_or_expression (pp, e);
2225 break;
2226
2227 case EQ_EXPR:
2228 case NE_EXPR:
2229 pp_c_equality_expression (pp, e);
2230 break;
2231
2232 case COND_EXPR:
2233 pp_conditional_expression (pp, e);
2234 break;
2235
2236 case POINTER_PLUS_EXPR:
2237 case PLUS_EXPR:
2238 case MINUS_EXPR:
2239 pp_c_additive_expression (pp, e);
2240 break;
2241
2242 case MODIFY_EXPR:
2243 case INIT_EXPR:
2244 pp_assignment_expression (pp, e);
2245 break;
2246
2247 case COMPOUND_EXPR:
2248 pp_c_left_paren (pp);
2249 pp_expression (pp, TREE_OPERAND (e, 0));
2250 pp_separate_with (pp, ',');
2251 pp_assignment_expression (pp, TREE_OPERAND (e, 1));
2252 pp_c_right_paren (pp);
2253 break;
2254
2255 case NON_LVALUE_EXPR:
2256 case SAVE_EXPR:
2257 pp_expression (pp, TREE_OPERAND (e, 0));
2258 break;
2259
2260 case TARGET_EXPR:
2261 pp_postfix_expression (pp, TREE_OPERAND (e, 1));
2262 break;
2263
2264 case BIND_EXPR:
2265 case GOTO_EXPR:
2266 /* We don't yet have a way of dumping statements in a
2267 human-readable format. */
2268 pp_string (pp, "({...})");
2269 break;
2270
2271 case C_MAYBE_CONST_EXPR:
2272 pp_c_expression (pp, C_MAYBE_CONST_EXPR_EXPR (e));
2273 break;
2274
2275 default:
2276 pp_unsupported_tree (pp, e);
2277 break;
2278 }
2279 }
2280
2281
2282
2283 /* Statements. */
2284
2285 void
pp_c_statement(c_pretty_printer * pp,tree stmt)2286 pp_c_statement (c_pretty_printer *pp, tree stmt)
2287 {
2288 if (stmt == NULL)
2289 return;
2290
2291 if (pp_needs_newline (pp))
2292 pp_newline_and_indent (pp, 0);
2293
2294 dump_generic_node (pp_base (pp), stmt, pp_indentation (pp), 0, true);
2295 }
2296
2297
2298 /* Initialize the PRETTY-PRINTER for handling C codes. */
2299
2300 void
pp_c_pretty_printer_init(c_pretty_printer * pp)2301 pp_c_pretty_printer_init (c_pretty_printer *pp)
2302 {
2303 pp->offset_list = 0;
2304
2305 pp->declaration = pp_c_declaration;
2306 pp->declaration_specifiers = pp_c_declaration_specifiers;
2307 pp->declarator = pp_c_declarator;
2308 pp->direct_declarator = pp_c_direct_declarator;
2309 pp->type_specifier_seq = pp_c_specifier_qualifier_list;
2310 pp->abstract_declarator = pp_c_abstract_declarator;
2311 pp->direct_abstract_declarator = pp_c_direct_abstract_declarator;
2312 pp->ptr_operator = pp_c_pointer;
2313 pp->parameter_list = pp_c_parameter_type_list;
2314 pp->type_id = pp_c_type_id;
2315 pp->simple_type_specifier = pp_c_type_specifier;
2316 pp->function_specifier = pp_c_function_specifier;
2317 pp->storage_class_specifier = pp_c_storage_class_specifier;
2318
2319 pp->statement = pp_c_statement;
2320
2321 pp->constant = pp_c_constant;
2322 pp->id_expression = pp_c_id_expression;
2323 pp->primary_expression = pp_c_primary_expression;
2324 pp->postfix_expression = pp_c_postfix_expression;
2325 pp->unary_expression = pp_c_unary_expression;
2326 pp->initializer = pp_c_initializer;
2327 pp->multiplicative_expression = pp_c_multiplicative_expression;
2328 pp->conditional_expression = pp_c_conditional_expression;
2329 pp->assignment_expression = pp_c_assignment_expression;
2330 pp->expression = pp_c_expression;
2331 }
2332
2333
2334 /* Print the tree T in full, on file FILE. */
2335
2336 void
print_c_tree(FILE * file,tree t)2337 print_c_tree (FILE *file, tree t)
2338 {
2339 static c_pretty_printer pp_rec;
2340 static bool initialized = 0;
2341 c_pretty_printer *pp = &pp_rec;
2342
2343 if (!initialized)
2344 {
2345 initialized = 1;
2346 pp_construct (pp_base (pp), NULL, 0);
2347 pp_c_pretty_printer_init (pp);
2348 pp_needs_newline (pp) = true;
2349 }
2350 pp_base (pp)->buffer->stream = file;
2351
2352 pp_statement (pp, t);
2353
2354 pp_newline (pp);
2355 pp_flush (pp);
2356 }
2357
2358 /* Print the tree T in full, on stderr. */
2359
2360 DEBUG_FUNCTION void
debug_c_tree(tree t)2361 debug_c_tree (tree t)
2362 {
2363 print_c_tree (stderr, t);
2364 fputc ('\n', stderr);
2365 }
2366
2367 /* Output the DECL_NAME of T. If T has no DECL_NAME, output a string made
2368 up of T's memory address. */
2369
2370 void
pp_c_tree_decl_identifier(c_pretty_printer * pp,tree t)2371 pp_c_tree_decl_identifier (c_pretty_printer *pp, tree t)
2372 {
2373 const char *name;
2374
2375 gcc_assert (DECL_P (t));
2376
2377 if (DECL_NAME (t))
2378 name = IDENTIFIER_POINTER (DECL_NAME (t));
2379 else
2380 {
2381 static char xname[8];
2382 sprintf (xname, "<U%4x>", ((unsigned)((uintptr_t)(t) & 0xffff)));
2383 name = xname;
2384 }
2385
2386 pp_c_identifier (pp, name);
2387 }
2388