1 /* Various declarations for language-independent pretty-print subroutines.
2 Copyright (C) 2003, 2004, 2005, 2007, 2008 Free Software Foundation, Inc.
3 Contributed by Gabriel Dos Reis <gdr@integrable-solutions.net>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
22 #undef FLOAT /* This is for hpux. They should change hpux. */
23 #undef FFS /* Some systems define this in param.h. */
25 #include "coretypes.h"
27 #include "pretty-print.h"
30 #define obstack_chunk_alloc xmalloc
31 #define obstack_chunk_free free
33 /* A pointer to the formatted diagnostic message. */
34 #define pp_formatted_text_data(PP) \
35 ((const char *) obstack_base (pp_base (PP)->buffer->obstack))
37 /* Format an integer given by va_arg (ARG, type-specifier T) where
38 type-specifier is a precision modifier as indicated by PREC. F is
39 a string used to construct the appropriate format-specifier. */
40 #define pp_integer_with_precision(PP, ARG, PREC, T, F) \
45 pp_scalar (PP, "%" F, va_arg (ARG, T)); \
49 pp_scalar (PP, "%l" F, va_arg (ARG, long T)); \
53 pp_scalar (PP, "%" HOST_LONG_LONG_FORMAT F, va_arg (ARG, long long T)); \
62 /* Subroutine of pp_set_maximum_length. Set up PRETTY-PRINTER's
63 internal maximum characters per line. */
65 pp_set_real_maximum_length (pretty_printer *pp)
67 /* If we're told not to wrap lines then do the obvious thing. In case
68 we'll emit prefix only once per message, it is appropriate
69 not to increase unnecessarily the line-length cut-off. */
70 if (!pp_is_wrapping_line (pp)
71 || pp_prefixing_rule (pp) == DIAGNOSTICS_SHOW_PREFIX_ONCE
72 || pp_prefixing_rule (pp) == DIAGNOSTICS_SHOW_PREFIX_NEVER)
73 pp->maximum_length = pp_line_cutoff (pp);
76 int prefix_length = pp->prefix ? strlen (pp->prefix) : 0;
77 /* If the prefix is ridiculously too long, output at least
79 if (pp_line_cutoff (pp) - prefix_length < 32)
80 pp->maximum_length = pp_line_cutoff (pp) + 32;
82 pp->maximum_length = pp_line_cutoff (pp);
86 /* Clear PRETTY-PRINTER's output state. */
88 pp_clear_state (pretty_printer *pp)
90 pp->emitted_prefix = false;
91 pp_indentation (pp) = 0;
94 /* Flush the formatted text of PRETTY-PRINTER onto the attached stream. */
96 pp_write_text_to_stream (pretty_printer *pp)
98 const char *text = pp_formatted_text (pp);
99 fputs (text, pp->buffer->stream);
100 pp_clear_output_area (pp);
103 /* Wrap a text delimited by START and END into PRETTY-PRINTER. */
105 pp_wrap_text (pretty_printer *pp, const char *start, const char *end)
107 bool wrapping_line = pp_is_wrapping_line (pp);
111 /* Dump anything bordered by whitespaces. */
113 const char *p = start;
114 while (p != end && !ISBLANK (*p) && *p != '\n')
117 && p - start >= pp_remaining_character_count_for_line (pp))
119 pp_append_text (pp, start, p);
123 if (start != end && ISBLANK (*start))
128 if (start != end && *start == '\n')
136 /* Same as pp_wrap_text but wrap text only when in line-wrapping mode. */
138 pp_maybe_wrap_text (pretty_printer *pp, const char *start, const char *end)
140 if (pp_is_wrapping_line (pp))
141 pp_wrap_text (pp, start, end);
143 pp_append_text (pp, start, end);
146 /* Append to the output area of PRETTY-PRINTER a string specified by its
147 STARTing character and LENGTH. */
149 pp_append_r (pretty_printer *pp, const char *start, int length)
151 obstack_grow (pp->buffer->obstack, start, length);
152 pp->buffer->line_length += length;
155 /* Insert enough spaces into the output area of PRETTY-PRINTER to bring
156 the column position to the current indentation level, assuming that a
157 newline has just been written to the buffer. */
159 pp_base_indent (pretty_printer *pp)
161 int n = pp_indentation (pp);
164 for (i = 0; i < n; ++i)
168 /* The following format specifiers are recognized as being client independent:
169 %d, %i: (signed) integer in base ten.
170 %u: unsigned integer in base ten.
171 %o: unsigned integer in base eight.
172 %x: unsigned integer in base sixteen.
173 %ld, %li, %lo, %lu, %lx: long versions of the above.
174 %lld, %lli, %llo, %llu, %llx: long long versions.
175 %wd, %wi, %wo, %wu, %wx: HOST_WIDE_INT versions.
179 %m: strerror(text->err_no) - does not consume a value from args_ptr.
183 %': apostrophe (should only be used in untranslated messages;
184 translations should use appropriate punctuation directly).
185 %.*s: a substring the length of which is specified by an argument
187 %Ns: likewise, but length specified as constant in the format string.
189 %J: a decl tree, from which DECL_SOURCE_LOCATION will be recorded.
190 %K: a statement, from which EXPR_LOCATION and TREE_BLOCK will be recorded.
191 Flag 'q': quote formatted text (must come immediately after '%').
193 Arguments can be used sequentially, or through %N$ resp. *N$
194 notation Nth argument after the format string. If %N$ / *N$
195 notation is used, it must be used for all arguments, except %m, %%,
196 %<, %> and %', which may not have a number, as they do not consume
197 an argument. When %M$.*N$s is used, M must be N + 1. (This may
198 also be written %M$.*s, provided N is not otherwise used.) The
199 format string must have conversion specifiers with argument numbers
200 1 up to highest argument; each argument may only be used once.
201 A format string can have at most 30 arguments. */
203 /* Formatting phases 1 and 2: render TEXT->format_spec plus
204 TEXT->args_ptr into a series of chunks in PP->buffer->args[].
205 Phase 3 is in pp_base_format_text. */
208 pp_base_format (pretty_printer *pp, text_info *text)
210 output_buffer *buffer = pp->buffer;
213 struct chunk_info *new_chunk_array;
215 unsigned int curarg = 0, chunk = 0, argno;
216 pp_wrapping_mode_t old_wrapping_mode;
217 bool any_unnumbered = false, any_numbered = false;
218 const char **formatters[PP_NL_ARGMAX];
220 /* Allocate a new chunk structure. */
221 new_chunk_array = XOBNEW (&buffer->chunk_obstack, struct chunk_info);
222 new_chunk_array->prev = buffer->cur_chunk_array;
223 buffer->cur_chunk_array = new_chunk_array;
224 args = new_chunk_array->args;
226 /* Formatting phase 1: split up TEXT->format_spec into chunks in
227 PP->buffer->args[]. Even-numbered chunks are to be output
228 verbatim, odd-numbered chunks are format specifiers.
229 %m, %%, %<, %>, and %' are replaced with the appropriate text at
232 memset (formatters, 0, sizeof formatters);
234 for (p = text->format_spec; *p; )
236 while (*p != '\0' && *p != '%')
238 obstack_1grow (&buffer->chunk_obstack, *p);
251 obstack_1grow (&buffer->chunk_obstack, '%');
256 obstack_grow (&buffer->chunk_obstack,
257 open_quote, strlen (open_quote));
263 obstack_grow (&buffer->chunk_obstack,
264 close_quote, strlen (close_quote));
270 const char *errstr = xstrerror (text->err_no);
271 obstack_grow (&buffer->chunk_obstack, errstr, strlen (errstr));
277 /* Handled in phase 2. Terminate the plain chunk here. */
278 obstack_1grow (&buffer->chunk_obstack, '\0');
279 gcc_assert (chunk < PP_NL_ARGMAX * 2);
280 args[chunk++] = XOBFINISH (&buffer->chunk_obstack, const char *);
287 argno = strtoul (p, &end, 10) - 1;
289 gcc_assert (*p == '$');
293 gcc_assert (!any_unnumbered);
298 any_unnumbered = true;
299 gcc_assert (!any_numbered);
301 gcc_assert (argno < PP_NL_ARGMAX);
302 gcc_assert (!formatters[argno]);
303 formatters[argno] = &args[chunk];
306 obstack_1grow (&buffer->chunk_obstack, *p);
309 while (strchr ("qwl+#", p[-1]));
313 /* We handle '%.Ns' and '%.*s' or '%M$.*N$s'
314 (where M == N + 1). */
319 obstack_1grow (&buffer->chunk_obstack, *p);
322 while (ISDIGIT (p[-1]));
323 gcc_assert (p[-1] == 's');
327 gcc_assert (*p == '*');
328 obstack_1grow (&buffer->chunk_obstack, '*');
334 unsigned int argno2 = strtoul (p, &end, 10) - 1;
336 gcc_assert (argno2 == argno - 1);
337 gcc_assert (!any_unnumbered);
338 gcc_assert (*p == '$');
341 formatters[argno2] = formatters[argno];
345 gcc_assert (!any_numbered);
346 formatters[argno+1] = formatters[argno];
349 gcc_assert (*p == 's');
350 obstack_1grow (&buffer->chunk_obstack, 's');
357 obstack_1grow (&buffer->chunk_obstack, '\0');
358 gcc_assert (chunk < PP_NL_ARGMAX * 2);
359 args[chunk++] = XOBFINISH (&buffer->chunk_obstack, const char *);
362 obstack_1grow (&buffer->chunk_obstack, '\0');
363 gcc_assert (chunk < PP_NL_ARGMAX * 2);
364 args[chunk++] = XOBFINISH (&buffer->chunk_obstack, const char *);
367 /* Set output to the argument obstack, and switch line-wrapping and
369 buffer->obstack = &buffer->chunk_obstack;
370 old_wrapping_mode = pp_set_verbatim_wrapping (pp);
372 /* Second phase. Replace each formatter with the formatted text it
375 for (argno = 0; formatters[argno]; argno++)
383 /* We do not attempt to enforce any ordering on the modifier
386 for (p = *formatters[argno];; p++)
411 /* We don't support precision beyond that of "long long". */
412 gcc_assert (precision < 2);
419 gcc_assert (!wide || precision == 0);
422 pp_string (pp, open_quote);
427 pp_character (pp, va_arg (*text->args_ptr, int));
433 pp_wide_integer (pp, va_arg (*text->args_ptr, HOST_WIDE_INT));
435 pp_integer_with_precision
436 (pp, *text->args_ptr, precision, int, "d");
441 pp_scalar (pp, "%" HOST_WIDE_INT_PRINT "o",
442 va_arg (*text->args_ptr, unsigned HOST_WIDE_INT));
444 pp_integer_with_precision
445 (pp, *text->args_ptr, precision, unsigned, "o");
449 pp_string (pp, va_arg (*text->args_ptr, const char *));
453 pp_pointer (pp, va_arg (*text->args_ptr, void *));
458 pp_scalar (pp, HOST_WIDE_INT_PRINT_UNSIGNED,
459 va_arg (*text->args_ptr, unsigned HOST_WIDE_INT));
461 pp_integer_with_precision
462 (pp, *text->args_ptr, precision, unsigned, "u");
467 pp_scalar (pp, HOST_WIDE_INT_PRINT_HEX,
468 va_arg (*text->args_ptr, unsigned HOST_WIDE_INT));
470 pp_integer_with_precision
471 (pp, *text->args_ptr, precision, unsigned, "x");
476 location_t *locus = va_arg (*text->args_ptr, location_t *);
477 gcc_assert (text->locus != NULL);
478 *text->locus = *locus;
484 tree t = va_arg (*text->args_ptr, tree);
485 gcc_assert (text->locus != NULL);
486 *text->locus = DECL_SOURCE_LOCATION (t);
492 tree t = va_arg (*text->args_ptr, tree), block;
493 gcc_assert (text->locus != NULL);
494 *text->locus = EXPR_LOCATION (t);
495 gcc_assert (text->abstract_origin != NULL);
496 block = TREE_BLOCK (t);
497 *text->abstract_origin = NULL;
499 && TREE_CODE (block) == BLOCK
500 && BLOCK_ABSTRACT_ORIGIN (block))
502 tree ao = BLOCK_ABSTRACT_ORIGIN (block);
504 while (TREE_CODE (ao) == BLOCK
505 && BLOCK_ABSTRACT_ORIGIN (ao)
506 && BLOCK_ABSTRACT_ORIGIN (ao) != ao)
507 ao = BLOCK_ABSTRACT_ORIGIN (ao);
509 if (TREE_CODE (ao) == FUNCTION_DECL)
511 *text->abstract_origin = block;
514 block = BLOCK_SUPERCONTEXT (block);
524 /* We handle '%.Ns' and '%.*s' or '%M$.*N$s'
525 (where M == N + 1). The format string should be verified
526 already from the first phase. */
531 n = strtoul (p, &end, 10);
533 gcc_assert (*p == 's');
537 gcc_assert (*p == '*');
539 gcc_assert (*p == 's');
540 n = va_arg (*text->args_ptr, int);
542 /* This consumes a second entry in the formatters array. */
543 gcc_assert (formatters[argno] == formatters[argno+1]);
547 s = va_arg (*text->args_ptr, const char *);
548 pp_append_text (pp, s, s + n);
556 gcc_assert (pp_format_decoder (pp));
557 ok = pp_format_decoder (pp) (pp, text, p,
558 precision, wide, plus, hash);
564 pp_string (pp, close_quote);
566 obstack_1grow (&buffer->chunk_obstack, '\0');
567 *formatters[argno] = XOBFINISH (&buffer->chunk_obstack, const char *);
570 #ifdef ENABLE_CHECKING
571 for (; argno < PP_NL_ARGMAX; argno++)
572 gcc_assert (!formatters[argno]);
575 /* Revert to normal obstack and wrapping mode. */
576 buffer->obstack = &buffer->formatted_obstack;
577 buffer->line_length = 0;
578 pp_wrapping_mode (pp) = old_wrapping_mode;
582 /* Format of a message pointed to by TEXT. */
584 pp_base_output_formatted_text (pretty_printer *pp)
587 output_buffer *buffer = pp_buffer (pp);
588 struct chunk_info *chunk_array = buffer->cur_chunk_array;
589 const char **args = chunk_array->args;
591 gcc_assert (buffer->obstack == &buffer->formatted_obstack);
592 gcc_assert (buffer->line_length == 0);
594 /* This is a third phase, first 2 phases done in pp_base_format_args.
595 Now we actually print it. */
596 for (chunk = 0; args[chunk]; chunk++)
597 pp_string (pp, args[chunk]);
599 /* Deallocate the chunk structure and everything after it (i.e. the
600 associated series of formatted strings). */
601 buffer->cur_chunk_array = chunk_array->prev;
602 obstack_free (&buffer->chunk_obstack, chunk_array);
605 /* Helper subroutine of output_verbatim and verbatim. Do the appropriate
606 settings needed by BUFFER for a verbatim formatting. */
608 pp_base_format_verbatim (pretty_printer *pp, text_info *text)
610 /* Set verbatim mode. */
611 pp_wrapping_mode_t oldmode = pp_set_verbatim_wrapping (pp);
613 /* Do the actual formatting. */
614 pp_format (pp, text);
615 pp_output_formatted_text (pp);
617 /* Restore previous settings. */
618 pp_wrapping_mode (pp) = oldmode;
621 /* Flush the content of BUFFER onto the attached stream. */
623 pp_base_flush (pretty_printer *pp)
625 pp_write_text_to_stream (pp);
627 fputc ('\n', pp->buffer->stream);
628 fflush (pp->buffer->stream);
629 pp_needs_newline (pp) = false;
632 /* Sets the number of maximum characters per line PRETTY-PRINTER can
633 output in line-wrapping mode. A LENGTH value 0 suppresses
636 pp_base_set_line_maximum_length (pretty_printer *pp, int length)
638 pp_line_cutoff (pp) = length;
639 pp_set_real_maximum_length (pp);
642 /* Clear PRETTY-PRINTER output area text info. */
644 pp_base_clear_output_area (pretty_printer *pp)
646 obstack_free (pp->buffer->obstack, obstack_base (pp->buffer->obstack));
647 pp->buffer->line_length = 0;
650 /* Set PREFIX for PRETTY-PRINTER. */
652 pp_base_set_prefix (pretty_printer *pp, const char *prefix)
655 pp_set_real_maximum_length (pp);
656 pp->emitted_prefix = false;
657 pp_indentation (pp) = 0;
660 /* Free PRETTY-PRINTER's prefix, a previously malloc()'d string. */
662 pp_base_destroy_prefix (pretty_printer *pp)
664 if (pp->prefix != NULL)
666 free (CONST_CAST (char *, pp->prefix));
671 /* Write out PRETTY-PRINTER's prefix. */
673 pp_base_emit_prefix (pretty_printer *pp)
675 if (pp->prefix != NULL)
677 switch (pp_prefixing_rule (pp))
680 case DIAGNOSTICS_SHOW_PREFIX_NEVER:
683 case DIAGNOSTICS_SHOW_PREFIX_ONCE:
684 if (pp->emitted_prefix)
689 pp_indentation (pp) += 3;
692 case DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE:
694 int prefix_length = strlen (pp->prefix);
695 pp_append_r (pp, pp->prefix, prefix_length);
696 pp->emitted_prefix = true;
703 /* Construct a PRETTY-PRINTER with PREFIX and of MAXIMUM_LENGTH
704 characters per line. */
706 pp_construct (pretty_printer *pp, const char *prefix, int maximum_length)
708 memset (pp, 0, sizeof (pretty_printer));
709 pp->buffer = XCNEW (output_buffer);
710 obstack_init (&pp->buffer->chunk_obstack);
711 obstack_init (&pp->buffer->formatted_obstack);
712 pp->buffer->obstack = &pp->buffer->formatted_obstack;
713 pp->buffer->stream = stderr;
714 pp_line_cutoff (pp) = maximum_length;
715 pp_prefixing_rule (pp) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
716 pp_set_prefix (pp, prefix);
719 /* Append a string delimited by START and END to the output area of
720 PRETTY-PRINTER. No line wrapping is done. However, if beginning a
721 new line then emit PRETTY-PRINTER's prefix and skip any leading
722 whitespace if appropriate. The caller must ensure that it is
725 pp_base_append_text (pretty_printer *pp, const char *start, const char *end)
727 /* Emit prefix and skip whitespace if we're starting a new line. */
728 if (pp->buffer->line_length == 0)
731 if (pp_is_wrapping_line (pp))
732 while (start != end && *start == ' ')
735 pp_append_r (pp, start, end - start);
738 /* Finishes constructing a NULL-terminated character string representing
739 the PRETTY-PRINTED text. */
741 pp_base_formatted_text (pretty_printer *pp)
743 obstack_1grow (pp->buffer->obstack, '\0');
744 return pp_formatted_text_data (pp);
747 /* Return a pointer to the last character emitted in PRETTY-PRINTER's
748 output area. A NULL pointer means no character available. */
750 pp_base_last_position_in_text (const pretty_printer *pp)
752 const char *p = NULL;
753 struct obstack *text = pp->buffer->obstack;
755 if (obstack_base (text) != obstack_next_free (text))
756 p = ((const char *) obstack_next_free (text)) - 1;
760 /* Return the amount of characters PRETTY-PRINTER can accept to
761 make a full line. Meaningful only in line-wrapping mode. */
763 pp_base_remaining_character_count_for_line (pretty_printer *pp)
765 return pp->maximum_length - pp->buffer->line_length;
769 /* Format a message into BUFFER a la printf. */
771 pp_printf (pretty_printer *pp, const char *msg, ...)
779 text.format_spec = msg;
781 pp_format (pp, &text);
782 pp_output_formatted_text (pp);
787 /* Output MESSAGE verbatim into BUFFER. */
789 pp_verbatim (pretty_printer *pp, const char *msg, ...)
797 text.format_spec = msg;
799 pp_format_verbatim (pp, &text);
805 /* Have PRETTY-PRINTER start a new line. */
807 pp_base_newline (pretty_printer *pp)
809 obstack_1grow (pp->buffer->obstack, '\n');
810 pp->buffer->line_length = 0;
813 /* Have PRETTY-PRINTER add a CHARACTER. */
815 pp_base_character (pretty_printer *pp, int c)
817 if (pp_is_wrapping_line (pp)
818 && pp_remaining_character_count_for_line (pp) <= 0)
824 obstack_1grow (pp->buffer->obstack, c);
825 ++pp->buffer->line_length;
828 /* Append a STRING to the output area of PRETTY-PRINTER; the STRING may
829 be line-wrapped if in appropriate mode. */
831 pp_base_string (pretty_printer *pp, const char *str)
833 pp_maybe_wrap_text (pp, str, str + (str ? strlen (str) : 0));
836 /* Maybe print out a whitespace if needed. */
839 pp_base_maybe_space (pretty_printer *pp)
841 if (pp_base (pp)->padding != pp_none)
844 pp_base (pp)->padding = pp_none;