Daily bump.
[official-gcc.git] / gcc / diagnostic.c
blob4ff157d7ecb0ca47a61eb61952333358303a9256
1 /* Language-independent diagnostic subroutines for the GNU C compiler
2 Copyright (C) 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
3 Contributed by Gabriel Dos Reis <gdr@codesourcery.com>
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 2, or (at your option) any later
10 version.
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
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA. */
23 /* This file implements the language independent aspect of diagnostic
24 message module. */
26 #include "config.h"
27 #undef FLOAT /* This is for hpux. They should change hpux. */
28 #undef FFS /* Some systems define this in param.h. */
29 #include "system.h"
30 #include "tree.h"
31 #include "tm_p.h"
32 #include "flags.h"
33 #include "input.h"
34 #include "toplev.h"
35 #include "intl.h"
36 #include "diagnostic.h"
38 #define obstack_chunk_alloc xmalloc
39 #define obstack_chunk_free free
41 #define output_formatted_integer(BUFFER, FORMAT, INTEGER) \
42 do { \
43 sprintf ((BUFFER)->digit_buffer, FORMAT, INTEGER); \
44 output_add_string (BUFFER, (BUFFER)->digit_buffer); \
45 } while (0)
47 #define output_text_length(BUFFER) (BUFFER)->line_length
48 #define is_starting_newline(BUFFER) (output_text_length (BUFFER) == 0)
49 #define output_prefix(BUFFER) (BUFFER)->state.prefix
50 #define line_wrap_cutoff(BUFFER) (BUFFER)->state.maximum_length
51 #define prefix_was_emitted_for(BUFFER) (BUFFER)->state.emitted_prefix_p
52 #define output_buffer_ptr_to_format_args(BUFFER) (BUFFER)->state.format_args
54 #define diagnostic_args output_buffer_ptr_to_format_args (diagnostic_buffer)
55 #define diagnostic_msg output_buffer_text_cursor (diagnostic_buffer)
57 /* Prototypes. */
58 static void diagnostic_finish PARAMS ((output_buffer *));
59 static void output_do_verbatim PARAMS ((output_buffer *,
60 const char *, va_list *));
61 static void output_buffer_to_stream PARAMS ((output_buffer *));
62 static void output_format PARAMS ((output_buffer *));
63 static void output_indent PARAMS ((output_buffer *));
65 static char *vbuild_message_string PARAMS ((const char *, va_list))
66 ATTRIBUTE_PRINTF (1, 0);
67 static char *build_message_string PARAMS ((const char *, ...))
68 ATTRIBUTE_PRINTF_1;
69 static void output_do_printf PARAMS ((output_buffer *, const char *))
70 ATTRIBUTE_PRINTF (2, 0);
71 static void format_with_decl PARAMS ((output_buffer *, tree));
72 static void diagnostic_for_decl PARAMS ((tree, const char *, va_list *, int));
73 static void set_real_maximum_length PARAMS ((output_buffer *));
75 static void output_unsigned_decimal PARAMS ((output_buffer *, unsigned int));
76 static void output_long_decimal PARAMS ((output_buffer *, long int));
77 static void output_long_unsigned_decimal PARAMS ((output_buffer *,
78 long unsigned int));
79 static void output_octal PARAMS ((output_buffer *, unsigned int));
80 static void output_long_octal PARAMS ((output_buffer *, unsigned long int));
81 static void output_hexadecimal PARAMS ((output_buffer *, unsigned int));
82 static void output_long_hexadecimal PARAMS ((output_buffer *,
83 unsigned long int));
84 static void output_append_r PARAMS ((output_buffer *, const char *, int));
85 static void wrap_text PARAMS ((output_buffer *, const char *, const char *));
86 static void maybe_wrap_text PARAMS ((output_buffer *, const char *,
87 const char *));
88 static void clear_diagnostic_info PARAMS ((output_buffer *));
90 static void default_diagnostic_starter PARAMS ((output_buffer *,
91 diagnostic_context *));
92 static void default_diagnostic_finalizer PARAMS ((output_buffer *,
93 diagnostic_context *));
95 static void error_recursion PARAMS ((void)) ATTRIBUTE_NORETURN;
97 extern int rtl_dump_and_exit;
98 extern int warnings_are_errors;
100 /* A diagnostic_context surrogate for stderr. */
101 static diagnostic_context global_diagnostic_context;
102 diagnostic_context *global_dc = &global_diagnostic_context;
104 /* This will be removed shortly. */
105 output_buffer *diagnostic_buffer = &global_diagnostic_context.buffer;
107 /* Function of last error message;
108 more generally, function such that if next error message is in it
109 then we don't have to mention the function name. */
110 static tree last_error_function = NULL;
112 /* Used to detect when input_file_stack has changed since last described. */
113 static int last_error_tick;
115 /* Called by report_error_function to print out function name.
116 Default may be overridden by language front-ends. */
118 void (*print_error_function) PARAMS ((diagnostic_context *, const char *))
119 = default_print_error_function;
121 /* Prevent recursion into the error handler. */
122 static int diagnostic_lock;
125 /* Return truthvalue if current input file is different from the most recent
126 file involved in a diagnostic message. */
129 error_module_changed ()
131 return last_error_tick != input_file_stack_tick;
134 /* Remember current file as being the most recent file involved in a
135 diagnostic message. */
137 void
138 record_last_error_module ()
140 last_error_tick = input_file_stack_tick;
143 /* Same as error_module_changed, but for function. */
146 error_function_changed ()
148 return last_error_function != current_function_decl;
151 /* Same as record_last_error_module, but for function. */
153 void
154 record_last_error_function ()
156 last_error_function = current_function_decl;
159 /* Initialize the diagnostic message outputting machinery. */
161 void
162 diagnostic_initialize (context)
163 diagnostic_context *context;
165 memset (context, 0, sizeof *context);
166 obstack_init (&context->buffer.obstack);
168 /* By default, diagnostics are sent to stderr. */
169 output_buffer_attached_stream (&context->buffer) = stderr;
171 /* By default, we emit prefixes once per message. */
172 diagnostic_prefixing_rule (context) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
174 diagnostic_starter (context) = default_diagnostic_starter;
175 diagnostic_finalizer (context) = default_diagnostic_finalizer;
178 /* Returns true if BUFFER is in line-wrapping mode. */
181 output_is_line_wrapping (buffer)
182 output_buffer *buffer;
184 return diagnostic_line_cutoff (buffer) > 0;
187 /* Return BUFFER's prefix. */
189 const char *
190 output_get_prefix (buffer)
191 const output_buffer *buffer;
193 return output_prefix (buffer);
196 /* Subroutine of output_set_maximum_length. Set up BUFFER's
197 internal maximum characters per line. */
199 static void
200 set_real_maximum_length (buffer)
201 output_buffer *buffer;
203 /* If we're told not to wrap lines then do the obvious thing. In case
204 we'll emit prefix only once per diagnostic message, it is appropriate
205 not to increase unnecessarily the line-length cut-off. */
206 if (! output_is_line_wrapping (buffer)
207 || diagnostic_prefixing_rule (buffer) == DIAGNOSTICS_SHOW_PREFIX_ONCE
208 || diagnostic_prefixing_rule (buffer) == DIAGNOSTICS_SHOW_PREFIX_NEVER)
209 line_wrap_cutoff (buffer) = diagnostic_line_cutoff (buffer);
210 else
212 int prefix_length =
213 output_prefix (buffer) ? strlen (output_prefix (buffer)) : 0;
214 /* If the prefix is ridiculously too long, output at least
215 32 characters. */
216 if (diagnostic_line_cutoff (buffer) - prefix_length < 32)
217 line_wrap_cutoff (buffer) = diagnostic_line_cutoff (buffer) + 32;
218 else
219 line_wrap_cutoff (buffer) = diagnostic_line_cutoff (buffer);
223 /* Sets the number of maximum characters per line BUFFER can output
224 in line-wrapping mode. A LENGTH value 0 suppresses line-wrapping. */
226 void
227 output_set_maximum_length (buffer, length)
228 output_buffer *buffer;
229 int length;
231 diagnostic_line_cutoff (buffer) = length;
232 set_real_maximum_length (buffer);
235 /* Sets BUFFER's PREFIX. */
237 void
238 output_set_prefix (buffer, prefix)
239 output_buffer *buffer;
240 const char *prefix;
242 output_prefix (buffer) = prefix;
243 set_real_maximum_length (buffer);
244 prefix_was_emitted_for (buffer) = 0;
245 output_indentation (buffer) = 0;
248 /* Return a pointer to the last character emitted in the output
249 BUFFER area. A NULL pointer means no character available. */
250 const char *
251 output_last_position (buffer)
252 const output_buffer *buffer;
254 const char *p = NULL;
256 if (obstack_base (&buffer->obstack) != obstack_next_free (&buffer->obstack))
257 p = ((const char *) obstack_next_free (&buffer->obstack)) - 1;
258 return p;
261 /* Free BUFFER's prefix, a previously malloc'd string. */
263 void
264 output_destroy_prefix (buffer)
265 output_buffer *buffer;
267 if (output_prefix (buffer) != NULL)
269 free ((char *) output_prefix (buffer));
270 output_prefix (buffer) = NULL;
274 /* Zero out any text output so far in BUFFER. */
276 void
277 output_clear_message_text (buffer)
278 output_buffer *buffer;
280 obstack_free (&buffer->obstack, obstack_base (&buffer->obstack));
281 output_text_length (buffer) = 0;
284 /* Zero out any diagnostic data used so far by BUFFER. */
286 static void
287 clear_diagnostic_info (buffer)
288 output_buffer *buffer;
290 output_buffer_text_cursor (buffer) = NULL;
291 output_buffer_ptr_to_format_args (buffer) = NULL;
292 prefix_was_emitted_for (buffer) = 0;
293 output_indentation (buffer) = 0;
296 /* Construct an output BUFFER with PREFIX and of MAXIMUM_LENGTH
297 characters per line. */
299 void
300 init_output_buffer (buffer, prefix, maximum_length)
301 output_buffer *buffer;
302 const char *prefix;
303 int maximum_length;
305 memset (buffer, 0, sizeof (output_buffer));
306 obstack_init (&buffer->obstack);
307 output_buffer_attached_stream (buffer) = stderr;
308 diagnostic_line_cutoff (buffer) = maximum_length;
309 diagnostic_prefixing_rule (buffer) = diagnostic_prefixing_rule (global_dc);
310 output_set_prefix (buffer, prefix);
311 output_text_length (buffer) = 0;
312 clear_diagnostic_info (buffer);
315 /* Reinitialize BUFFER. */
317 void
318 output_clear (buffer)
319 output_buffer *buffer;
321 output_clear_message_text (buffer);
322 clear_diagnostic_info (buffer);
325 /* Finishes constructing a NULL-terminated character string representing
326 the BUFFERed message. */
328 const char *
329 output_finalize_message (buffer)
330 output_buffer *buffer;
332 obstack_1grow (&buffer->obstack, '\0');
333 return output_message_text (buffer);
336 void
337 flush_diagnostic_buffer ()
339 output_buffer_to_stream (diagnostic_buffer);
340 fflush (output_buffer_attached_stream (diagnostic_buffer));
343 /* Return the amount of characters BUFFER can accept to
344 make a full line. */
347 output_space_left (buffer)
348 const output_buffer *buffer;
350 return line_wrap_cutoff (buffer) - output_text_length (buffer);
353 /* Write out BUFFER's prefix. */
355 void
356 output_emit_prefix (buffer)
357 output_buffer *buffer;
359 if (output_prefix (buffer) != NULL)
361 switch (diagnostic_prefixing_rule (buffer))
363 default:
364 case DIAGNOSTICS_SHOW_PREFIX_NEVER:
365 break;
367 case DIAGNOSTICS_SHOW_PREFIX_ONCE:
368 if (prefix_was_emitted_for (buffer))
370 output_indent (buffer);
371 break;
373 output_indentation (buffer) += 3;
374 /* Fall through. */
376 case DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE:
378 int prefix_length = strlen (output_prefix (buffer));
379 output_append_r (buffer, output_prefix (buffer), prefix_length);
380 prefix_was_emitted_for (buffer) = 1;
382 break;
387 /* Have BUFFER start a new line. */
389 void
390 output_add_newline (buffer)
391 output_buffer *buffer;
393 obstack_1grow (&buffer->obstack, '\n');
394 output_text_length (buffer) = 0;
397 /* Appends a character to BUFFER. */
399 void
400 output_add_character (buffer, c)
401 output_buffer *buffer;
402 int c;
404 if (output_is_line_wrapping (buffer) && output_space_left (buffer) <= 0)
405 output_add_newline (buffer);
406 obstack_1grow (&buffer->obstack, c);
407 ++output_text_length (buffer);
410 /* Adds a space to BUFFER. */
412 void
413 output_add_space (buffer)
414 output_buffer *buffer;
416 if (output_is_line_wrapping (buffer) && output_space_left (buffer) <= 0)
418 output_add_newline (buffer);
419 return;
421 obstack_1grow (&buffer->obstack, ' ');
422 ++output_text_length (buffer);
425 /* These functions format an INTEGER into BUFFER as suggested by their
426 names. */
428 void
429 output_decimal (buffer, i)
430 output_buffer *buffer;
431 int i;
433 output_formatted_integer (buffer, "%d", i);
436 static void
437 output_long_decimal (buffer, i)
438 output_buffer *buffer;
439 long int i;
441 output_formatted_integer (buffer, "%ld", i);
444 static void
445 output_unsigned_decimal (buffer, i)
446 output_buffer *buffer;
447 unsigned int i;
449 output_formatted_integer (buffer, "%u", i);
452 static void
453 output_long_unsigned_decimal (buffer, i)
454 output_buffer *buffer;
455 long unsigned int i;
457 output_formatted_integer (buffer, "%lu", i);
460 static void
461 output_octal (buffer, i)
462 output_buffer *buffer;
463 unsigned int i;
465 output_formatted_integer (buffer, "%o", i);
468 static void
469 output_long_octal (buffer, i)
470 output_buffer *buffer;
471 unsigned long int i;
473 output_formatted_integer (buffer, "%lo", i);
476 static void
477 output_hexadecimal (buffer, i)
478 output_buffer *buffer;
479 unsigned int i;
481 output_formatted_integer (buffer, "%x", i);
484 static void
485 output_long_hexadecimal (buffer, i)
486 output_buffer *buffer;
487 unsigned long int i;
489 output_formatted_integer (buffer, "%lx", i);
492 /* Append to BUFFER a string specified by its STARTING character
493 and LENGTH. */
495 static void
496 output_append_r (buffer, start, length)
497 output_buffer *buffer;
498 const char *start;
499 int length;
501 obstack_grow (&buffer->obstack, start, length);
502 output_text_length (buffer) += length;
505 /* Append a string deliminated by START and END to BUFFER. No wrapping is
506 done. However, if beginning a new line then emit output_prefix (BUFFER)
507 and skip any leading whitespace if appropriate. The caller must ensure
508 that it is safe to do so. */
510 void
511 output_append (buffer, start, end)
512 output_buffer *buffer;
513 const char *start;
514 const char *end;
516 /* Emit prefix and skip whitespace if we're starting a new line. */
517 if (is_starting_newline (buffer))
519 output_emit_prefix (buffer);
520 if (output_is_line_wrapping (buffer))
521 while (start != end && *start == ' ')
522 ++start;
524 output_append_r (buffer, start, end - start);
527 static void
528 output_indent (buffer)
529 output_buffer *buffer;
531 int n = output_indentation (buffer);
532 int i;
534 for (i = 0; i < n; ++i)
535 output_add_character (buffer, ' ');
538 /* Wrap a text delimited by START and END into BUFFER. */
540 static void
541 wrap_text (buffer, start, end)
542 output_buffer *buffer;
543 const char *start;
544 const char *end;
546 int is_wrapping = output_is_line_wrapping (buffer);
548 while (start != end)
550 /* Dump anything bordered by whitespaces. */
552 const char *p = start;
553 while (p != end && *p != ' ' && *p != '\n')
554 ++p;
555 if (is_wrapping && p - start >= output_space_left (buffer))
556 output_add_newline (buffer);
557 output_append (buffer, start, p);
558 start = p;
561 if (start != end && *start == ' ')
563 output_add_space (buffer);
564 ++start;
566 if (start != end && *start == '\n')
568 output_add_newline (buffer);
569 ++start;
574 /* Same as wrap_text but wrap text only when in line-wrapping mode. */
576 static void
577 maybe_wrap_text (buffer, start, end)
578 output_buffer *buffer;
579 const char *start;
580 const char *end;
582 if (output_is_line_wrapping (buffer))
583 wrap_text (buffer, start, end);
584 else
585 output_append (buffer, start, end);
589 /* Append a STRING to BUFFER; the STRING might be line-wrapped if in
590 appropriate mode. */
592 void
593 output_add_string (buffer, str)
594 output_buffer *buffer;
595 const char *str;
597 maybe_wrap_text (buffer, str, str + (str ? strlen (str) : 0));
600 /* Flush the content of BUFFER onto the attached stream,
601 and reinitialize. */
603 static void
604 output_buffer_to_stream (buffer)
605 output_buffer *buffer;
607 const char *text = output_finalize_message (buffer);
608 fputs (text, output_buffer_attached_stream (buffer));
609 output_clear_message_text (buffer);
612 /* Format a message pointed to by output_buffer_text_cursor (BUFFER) using
613 output_buffer_format_args (BUFFER) as appropriate. The following format
614 specifiers are recognized as being language independent:
615 %d, %i: (signed) integer in base ten.
616 %u: unsigned integer in base ten.
617 %o: unsigned integer in base eight.
618 %x: unsigned integer in base sixteen.
619 %ld, %li, %lo, %lu, %lx: long versions of the above.
620 %c: character.
621 %s: string.
622 %%: `%'.
623 %*.s: a substring the length of which is specified by an integer. */
625 static void
626 output_format (buffer)
627 output_buffer *buffer;
629 for (; *output_buffer_text_cursor (buffer);
630 ++output_buffer_text_cursor (buffer))
632 int long_integer = 0;
634 /* Ignore text. */
636 const char *p = output_buffer_text_cursor (buffer);
637 while (*p && *p != '%')
638 ++p;
639 wrap_text (buffer, output_buffer_text_cursor (buffer), p);
640 output_buffer_text_cursor (buffer) = p;
643 if (!*output_buffer_text_cursor (buffer))
644 break;
646 /* We got a '%'. Let's see what happens. Record whether we're
647 parsing a long integer format specifier. */
648 if (*++output_buffer_text_cursor (buffer) == 'l')
650 long_integer = 1;
651 ++output_buffer_text_cursor (buffer);
654 /* Handle %c, %d, %i, %ld, %li, %lo, %lu, %lx, %o, %s, %u,
655 %x, %.*s; %%. And nothing else. Front-ends should install
656 printers to grok language specific format specifiers. */
657 switch (*output_buffer_text_cursor (buffer))
659 case 'c':
660 output_add_character
661 (buffer, va_arg (output_buffer_format_args (buffer), int));
662 break;
664 case 'd':
665 case 'i':
666 if (long_integer)
667 output_long_decimal
668 (buffer, va_arg (output_buffer_format_args (buffer), long int));
669 else
670 output_decimal
671 (buffer, va_arg (output_buffer_format_args (buffer), int));
672 break;
674 case 'o':
675 if (long_integer)
676 output_long_octal (buffer,
677 va_arg (output_buffer_format_args (buffer),
678 unsigned long int));
679 else
680 output_octal (buffer,
681 va_arg (output_buffer_format_args (buffer),
682 unsigned int));
683 break;
685 case 's':
686 output_add_string (buffer,
687 va_arg (output_buffer_format_args (buffer),
688 const char *));
689 break;
691 case 'u':
692 if (long_integer)
693 output_long_unsigned_decimal
694 (buffer, va_arg (output_buffer_format_args (buffer),
695 long unsigned int));
696 else
697 output_unsigned_decimal
698 (buffer, va_arg (output_buffer_format_args (buffer),
699 unsigned int));
700 break;
702 case 'x':
703 if (long_integer)
704 output_long_hexadecimal
705 (buffer, va_arg (output_buffer_format_args (buffer),
706 unsigned long int));
707 else
708 output_hexadecimal
709 (buffer, va_arg (output_buffer_format_args (buffer),
710 unsigned int));
711 break;
713 case '%':
714 output_add_character (buffer, '%');
715 break;
717 case '.':
719 int n;
720 const char *s;
721 /* We handle no precision specifier but `%.*s'. */
722 if (*++output_buffer_text_cursor (buffer) != '*')
723 abort ();
724 else if (*++output_buffer_text_cursor (buffer) != 's')
725 abort ();
726 n = va_arg (output_buffer_format_args (buffer), int);
727 s = va_arg (output_buffer_format_args (buffer), const char *);
728 output_append (buffer, s, s + n);
730 break;
732 default:
733 if (!buffer->format_decoder || !(*buffer->format_decoder) (buffer))
735 /* Hmmm. The front-end failed to install a format translator
736 but called us with an unrecognized format. Sorry. */
737 abort ();
743 static char *
744 vbuild_message_string (msg, ap)
745 const char *msg;
746 va_list ap;
748 char *str;
750 vasprintf (&str, msg, ap);
751 return str;
754 /* Return a malloc'd string containing MSG formatted a la
755 printf. The caller is responsible for freeing the memory. */
757 static char *
758 build_message_string VPARAMS ((const char *msg, ...))
760 char *str;
762 VA_OPEN (ap, msg);
763 VA_FIXEDARG (ap, const char *, msg);
765 str = vbuild_message_string (msg, ap);
767 VA_CLOSE (ap);
769 return str;
772 /* Return a malloc'd string describing a location. The caller is
773 responsible for freeing the memory. */
775 char *
776 context_as_prefix (file, line, warn)
777 const char *file;
778 int line;
779 int warn;
781 if (file)
783 if (warn)
784 return build_message_string (_("%s:%d: warning: "), file, line);
785 else
786 return build_message_string ("%s:%d: ", file, line);
788 else
790 if (warn)
791 return build_message_string (_("%s: warning: "), progname);
792 else
793 return build_message_string ("%s: ", progname);
797 /* Same as context_as_prefix, but only the source FILE is given. */
799 char *
800 file_name_as_prefix (f)
801 const char *f;
803 return build_message_string ("%s: ", f);
806 /* Format a MESSAGE into BUFFER. Automatically wrap lines. */
808 static void
809 output_do_printf (buffer, msg)
810 output_buffer *buffer;
811 const char *msg;
813 char *message = vbuild_message_string (msg,
814 output_buffer_format_args (buffer));
816 wrap_text (buffer, message, message + strlen (message));
817 free (message);
821 /* Format a message into BUFFER a la printf. */
823 void
824 output_printf VPARAMS ((struct output_buffer *buffer, const char *msgid, ...))
826 va_list *old_args;
828 VA_OPEN (ap, msgid);
829 VA_FIXEDARG (ap, output_buffer *, buffer);
830 VA_FIXEDARG (ap, const char *, msgid);
832 old_args = output_buffer_ptr_to_format_args (buffer);
833 output_buffer_ptr_to_format_args (buffer) = &ap;
834 output_do_printf (buffer, _(msgid));
835 output_buffer_ptr_to_format_args (buffer) = old_args;
836 VA_CLOSE (ap);
839 /* Print a message relevant to the given DECL. */
841 static void
842 format_with_decl (buffer, decl)
843 output_buffer *buffer;
844 tree decl;
846 const char *p;
848 /* Do magic to get around lack of varargs support for insertion
849 of arguments into existing list. We know that the decl is first;
850 we ass_u_me that it will be printed with "%s". */
851 for (p = output_buffer_text_cursor (buffer); *p; ++p)
853 if (*p == '%')
855 if (*(p + 1) == '%')
856 ++p;
857 else if (*(p + 1) != 's')
858 abort ();
859 else
860 break;
864 /* Print the left-hand substring. */
865 maybe_wrap_text (buffer, output_buffer_text_cursor (buffer), p);
867 if (*p == '%') /* Print the name. */
869 const char *const n = (DECL_NAME (decl)
870 ? (*decl_printable_name) (decl, 2)
871 : _("((anonymous))"));
872 output_add_string (buffer, n);
873 while (*p)
875 ++p;
876 if (ISALPHA (*(p - 1) & 0xFF))
877 break;
881 if (*p) /* Print the rest of the message. */
883 output_buffer_text_cursor (buffer) = p;
884 output_format (buffer);
889 /* Report a diagnostic MESSAGE at the declaration DECL.
890 MSG is a format string which uses %s to substitute the declaration
891 name; subsequent substitutions are a la output_format. */
893 static void
894 diagnostic_for_decl (decl, msgid, args_ptr, warn)
895 tree decl;
896 const char *msgid;
897 va_list *args_ptr;
898 int warn;
900 output_state os;
902 if (diagnostic_lock++)
903 error_recursion ();
905 if (count_error (warn))
907 os = output_buffer_state (diagnostic_buffer);
908 report_error_function (DECL_SOURCE_FILE (decl));
909 output_set_prefix
910 (diagnostic_buffer, context_as_prefix
911 (DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl), warn));
912 output_buffer_ptr_to_format_args (diagnostic_buffer) = args_ptr;
913 output_buffer_text_cursor (diagnostic_buffer) = _(msgid);
914 format_with_decl (diagnostic_buffer, decl);
915 diagnostic_finish ((output_buffer *) global_dc);
916 output_destroy_prefix (diagnostic_buffer);
918 output_buffer_state (diagnostic_buffer) = os;
920 diagnostic_lock--;
924 /* Count an error or warning. Return 1 if the message should be printed. */
927 count_error (warningp)
928 int warningp;
930 if (warningp && !diagnostic_report_warnings_p ())
931 return 0;
933 if (warningp && !warnings_are_errors)
934 warningcount++;
935 else
937 static int warning_message = 0;
939 if (warningp && !warning_message)
941 verbatim ("%s: warnings being treated as errors\n", progname);
942 warning_message = 1;
944 errorcount++;
947 return 1;
950 /* Print a diagnostic MSGID on FILE. This is just fprintf, except it
951 runs its second argument through gettext. */
953 void
954 fnotice VPARAMS ((FILE *file, const char *msgid, ...))
956 VA_OPEN (ap, msgid);
957 VA_FIXEDARG (ap, FILE *, file);
958 VA_FIXEDARG (ap, const char *, msgid);
960 vfprintf (file, _(msgid), ap);
961 VA_CLOSE (ap);
965 /* Print a fatal I/O error message. Argument are like printf.
966 Also include a system error message based on `errno'. */
968 void
969 fatal_io_error VPARAMS ((const char *msgid, ...))
971 output_state os;
973 VA_OPEN (ap, msgid);
974 VA_FIXEDARG (ap, const char *, msgid);
976 os = output_buffer_state (diagnostic_buffer);
978 output_printf (diagnostic_buffer, "%s: %s: ", progname, xstrerror (errno));
979 output_buffer_ptr_to_format_args (diagnostic_buffer) = &ap;
980 output_buffer_text_cursor (diagnostic_buffer) = _(msgid);
981 output_format (diagnostic_buffer);
982 diagnostic_finish ((output_buffer *) global_dc);
983 output_buffer_state (diagnostic_buffer) = os;
984 VA_CLOSE (ap);
985 exit (FATAL_EXIT_CODE);
988 /* Issue a pedantic warning MSGID. */
990 void
991 pedwarn VPARAMS ((const char *msgid, ...))
993 diagnostic_context dc;
995 VA_OPEN (ap, msgid);
996 VA_FIXEDARG (ap, const char *, msgid);
998 set_diagnostic_context
999 (&dc, msgid, &ap, input_filename, lineno, !flag_pedantic_errors);
1000 report_diagnostic (&dc);
1001 VA_CLOSE (ap);
1004 /* Issue a pedantic waring about DECL. */
1006 void
1007 pedwarn_with_decl VPARAMS ((tree decl, const char *msgid, ...))
1009 VA_OPEN (ap, msgid);
1010 VA_FIXEDARG (ap, tree, decl);
1011 VA_FIXEDARG (ap, const char *, msgid);
1013 /* We don't want -pedantic-errors to cause the compilation to fail from
1014 "errors" in system header files. Sometimes fixincludes can't fix what's
1015 broken (eg: unsigned char bitfields - fixing it may change the alignment
1016 which will cause programs to mysteriously fail because the C library
1017 or kernel uses the original layout). There's no point in issuing a
1018 warning either, it's just unnecessary noise. */
1019 if (!DECL_IN_SYSTEM_HEADER (decl))
1020 diagnostic_for_decl (decl, msgid, &ap, !flag_pedantic_errors);
1021 VA_CLOSE (ap);
1024 /* Same as above but within the context FILE and LINE. */
1026 void
1027 pedwarn_with_file_and_line VPARAMS ((const char *file, int line,
1028 const char *msgid, ...))
1030 diagnostic_context dc;
1032 VA_OPEN (ap, msgid);
1033 VA_FIXEDARG (ap, const char *, file);
1034 VA_FIXEDARG (ap, int, line);
1035 VA_FIXEDARG (ap, const char *, msgid);
1037 set_diagnostic_context (&dc, msgid, &ap, file, line, !flag_pedantic_errors);
1038 report_diagnostic (&dc);
1039 VA_CLOSE (ap);
1042 /* Just apologize with MSGID. */
1044 void
1045 sorry VPARAMS ((const char *msgid, ...))
1047 output_state os;
1049 VA_OPEN (ap, msgid);
1050 VA_FIXEDARG (ap, const char *, msgid);
1052 ++sorrycount;
1053 os = output_buffer_state (diagnostic_buffer);
1055 output_set_prefix
1056 (diagnostic_buffer, context_as_prefix (input_filename, lineno, 0));
1057 output_printf (diagnostic_buffer, "sorry, not implemented: ");
1058 output_buffer_ptr_to_format_args (diagnostic_buffer) = &ap;
1059 output_buffer_text_cursor (diagnostic_buffer) = _(msgid);
1060 output_format (diagnostic_buffer);
1061 diagnostic_finish ((output_buffer *) global_dc);
1062 output_buffer_state (diagnostic_buffer) = os;
1063 VA_CLOSE (ap);
1066 /* Called when the start of a function definition is parsed,
1067 this function prints on stderr the name of the function. */
1069 void
1070 announce_function (decl)
1071 tree decl;
1073 if (! quiet_flag)
1075 if (rtl_dump_and_exit)
1076 verbatim ("%s ", IDENTIFIER_POINTER (DECL_NAME (decl)));
1077 else
1078 verbatim (" %s", (*decl_printable_name) (decl, 2));
1079 fflush (stderr);
1080 output_needs_newline (diagnostic_buffer) = 1;
1081 record_last_error_function ();
1085 /* The default function to print out name of current function that caused
1086 an error. */
1088 void
1089 default_print_error_function (context, file)
1090 diagnostic_context *context;
1091 const char *file;
1093 if (error_function_changed ())
1095 char *prefix = file ? build_message_string ("%s: ", file) : NULL;
1096 output_state os;
1098 os = output_buffer_state (context);
1099 output_set_prefix ((output_buffer *) context, prefix);
1101 if (current_function_decl == NULL)
1102 output_add_string ((output_buffer *) context, _("At top level:"));
1103 else
1105 if (TREE_CODE (TREE_TYPE (current_function_decl)) == METHOD_TYPE)
1106 output_printf
1107 ((output_buffer *) context, "In member function `%s':",
1108 (*decl_printable_name) (current_function_decl, 2));
1109 else
1110 output_printf
1111 ((output_buffer *) context, "In function `%s':",
1112 (*decl_printable_name) (current_function_decl, 2));
1114 output_add_newline ((output_buffer *) context);
1116 record_last_error_function ();
1117 output_buffer_to_stream ((output_buffer *) context);
1118 output_buffer_state (context) = os;
1119 free ((char*) prefix);
1123 /* Prints out, if necessary, the name of the current function
1124 that caused an error. Called from all error and warning functions.
1125 We ignore the FILE parameter, as it cannot be relied upon. */
1127 void
1128 report_error_function (file)
1129 const char *file ATTRIBUTE_UNUSED;
1131 report_problematic_module ((output_buffer *) global_dc);
1132 (*print_error_function) (global_dc, input_filename);
1135 void
1136 error_with_file_and_line VPARAMS ((const char *file, int line,
1137 const char *msgid, ...))
1139 diagnostic_context dc;
1141 VA_OPEN (ap, msgid);
1142 VA_FIXEDARG (ap, const char *, file);
1143 VA_FIXEDARG (ap, int, line);
1144 VA_FIXEDARG (ap, const char *, msgid);
1146 set_diagnostic_context (&dc, msgid, &ap, file, line, /* warn = */ 0);
1147 report_diagnostic (&dc);
1148 VA_CLOSE (ap);
1151 void
1152 error_with_decl VPARAMS ((tree decl, const char *msgid, ...))
1154 VA_OPEN (ap, msgid);
1155 VA_FIXEDARG (ap, tree, decl);
1156 VA_FIXEDARG (ap, const char *, msgid);
1158 diagnostic_for_decl (decl, msgid, &ap, /* warn = */ 0);
1159 VA_CLOSE (ap);
1163 /* Report an error message. The arguments are like that of printf. */
1165 void
1166 error VPARAMS ((const char *msgid, ...))
1168 diagnostic_context dc;
1170 VA_OPEN (ap, msgid);
1171 VA_FIXEDARG (ap, const char *, msgid);
1173 set_diagnostic_context
1174 (&dc, msgid, &ap, input_filename, lineno, /* warn = */ 0);
1175 report_diagnostic (&dc);
1176 VA_CLOSE (ap);
1179 /* Likewise, except that the compilation is terminated after printing the
1180 error message. */
1182 void
1183 fatal_error VPARAMS ((const char *msgid, ...))
1185 diagnostic_context dc;
1187 VA_OPEN (ap, msgid);
1188 VA_FIXEDARG (ap, const char *, msgid);
1190 set_diagnostic_context
1191 (&dc, msgid, &ap, input_filename, lineno, /* warn = */ 0);
1192 report_diagnostic (&dc);
1193 VA_CLOSE (ap);
1195 fnotice (stderr, "compilation terminated.\n");
1196 exit (FATAL_EXIT_CODE);
1199 /* Report a compiler error at the current line number. Allow a front end to
1200 intercept the message. */
1202 static void (*internal_error_function) PARAMS ((const char *, va_list *));
1204 /* Set the function to call when a compiler error occurs. */
1206 void
1207 set_internal_error_function (f)
1208 void (*f) PARAMS ((const char *, va_list *));
1210 internal_error_function = f;
1213 void
1214 internal_error VPARAMS ((const char *msgid, ...))
1216 diagnostic_context dc;
1218 VA_OPEN (ap, msgid);
1219 VA_FIXEDARG (ap, const char *, msgid);
1221 if (diagnostic_lock)
1222 error_recursion ();
1224 #ifndef ENABLE_CHECKING
1225 if (errorcount > 0 || sorrycount > 0)
1227 fnotice (stderr, "%s:%d: confused by earlier errors, bailing out\n",
1228 input_filename, lineno);
1229 exit (FATAL_EXIT_CODE);
1231 #endif
1233 if (internal_error_function != 0)
1234 (*internal_error_function) (_(msgid), &ap);
1236 set_diagnostic_context
1237 (&dc, msgid, &ap, input_filename, lineno, /* warn = */0);
1238 report_diagnostic (&dc);
1239 VA_CLOSE (ap);
1241 fnotice (stderr,
1242 "Please submit a full bug report,\n\
1243 with preprocessed source if appropriate.\n\
1244 See %s for instructions.\n", GCCBUGURL);
1245 exit (FATAL_EXIT_CODE);
1248 void
1249 warning_with_file_and_line VPARAMS ((const char *file, int line,
1250 const char *msgid, ...))
1252 diagnostic_context dc;
1254 VA_OPEN (ap, msgid);
1255 VA_FIXEDARG (ap, const char *, file);
1256 VA_FIXEDARG (ap, int, line);
1257 VA_FIXEDARG (ap, const char *, msgid);
1259 set_diagnostic_context (&dc, msgid, &ap, file, line, /* warn = */ 1);
1260 report_diagnostic (&dc);
1261 VA_CLOSE (ap);
1264 void
1265 warning_with_decl VPARAMS ((tree decl, const char *msgid, ...))
1267 VA_OPEN (ap, msgid);
1268 VA_FIXEDARG (ap, tree, decl);
1269 VA_FIXEDARG (ap, const char *, msgid);
1271 diagnostic_for_decl (decl, msgid, &ap, /* warn = */ 1);
1272 VA_CLOSE (ap);
1275 void
1276 warning VPARAMS ((const char *msgid, ...))
1278 diagnostic_context dc;
1280 VA_OPEN (ap, msgid);
1281 VA_FIXEDARG (ap, const char *, msgid);
1283 set_diagnostic_context
1284 (&dc, msgid, &ap, input_filename, lineno, /* warn = */ 1);
1285 report_diagnostic (&dc);
1286 VA_CLOSE (ap);
1289 /* Flush diagnostic_buffer content on stderr. */
1291 static void
1292 diagnostic_finish (buffer)
1293 output_buffer *buffer;
1295 output_buffer_to_stream (buffer);
1296 clear_diagnostic_info (buffer);
1297 fputc ('\n', output_buffer_attached_stream (buffer));
1298 fflush (output_buffer_attached_stream (buffer));
1301 /* Helper subroutine of output_verbatim and verbatim. Do the appropriate
1302 settings needed by BUFFER for a verbatim formatting. */
1304 static void
1305 output_do_verbatim (buffer, msgid, args_ptr)
1306 output_buffer *buffer;
1307 const char *msgid;
1308 va_list *args_ptr;
1310 output_state os;
1312 os = output_buffer_state (buffer);
1313 output_prefix (buffer) = NULL;
1314 diagnostic_prefixing_rule (buffer) = DIAGNOSTICS_SHOW_PREFIX_NEVER;
1315 output_buffer_text_cursor (buffer) = _(msgid);
1316 output_buffer_ptr_to_format_args (buffer) = args_ptr;
1317 output_set_maximum_length (buffer, 0);
1318 output_format (buffer);
1319 output_buffer_state (buffer) = os;
1322 /* Output MESSAGE verbatim into BUFFER. */
1324 void
1325 output_verbatim VPARAMS ((output_buffer *buffer, const char *msgid, ...))
1327 VA_OPEN (ap, msgid);
1328 VA_FIXEDARG (ap, output_buffer *, buffer);
1329 VA_FIXEDARG (ap, const char *, msgid);
1331 output_do_verbatim (buffer, msgid, &ap);
1332 VA_CLOSE (ap);
1335 /* Same as above but use diagnostic_buffer. */
1337 void
1338 verbatim VPARAMS ((const char *msgid, ...))
1340 VA_OPEN (ap, msgid);
1341 VA_FIXEDARG (ap, const char *, msgid);
1343 output_do_verbatim (diagnostic_buffer, msgid, &ap);
1344 output_buffer_to_stream (diagnostic_buffer);
1345 VA_CLOSE (ap);
1348 /* Report a diagnostic message (an error or a warning) as specified by
1349 DC. This function is *the* subroutine in terms of which front-ends
1350 should implement their specific diagnostic handling modules. The
1351 front-end independent format specifiers are exactly those described
1352 in the documentation of output_format. */
1354 void
1355 report_diagnostic (dc)
1356 diagnostic_context *dc;
1358 output_state os;
1360 if (diagnostic_lock++)
1361 error_recursion ();
1363 if (count_error (diagnostic_is_warning (dc)))
1365 os = output_buffer_state (diagnostic_buffer);
1366 diagnostic_msg = diagnostic_message (dc);
1367 diagnostic_args = diagnostic_argument_list (dc);
1368 (*diagnostic_starter (dc)) (diagnostic_buffer, dc);
1369 output_format (diagnostic_buffer);
1370 (*diagnostic_finalizer (dc)) (diagnostic_buffer, dc);
1371 diagnostic_finish ((output_buffer *) global_dc);
1372 output_buffer_state (diagnostic_buffer) = os;
1375 diagnostic_lock--;
1378 /* Inform the user that an error occurred while trying to report some
1379 other error. This indicates catastrophic internal inconsistencies,
1380 so give up now. But do try to flush out the previous error.
1381 This mustn't use internal_error, that will cause infinite recursion. */
1383 static void
1384 error_recursion ()
1386 if (diagnostic_lock < 3)
1387 diagnostic_finish ((output_buffer *) global_dc);
1389 fnotice (stderr,
1390 "Internal compiler error: Error reporting routines re-entered.\n");
1391 fnotice (stderr,
1392 "Please submit a full bug report,\n\
1393 with preprocessed source if appropriate.\n\
1394 See %s for instructions.\n", GCCBUGURL);
1395 exit (FATAL_EXIT_CODE);
1398 /* Given a partial pathname as input, return another pathname that
1399 shares no directory elements with the pathname of __FILE__. This
1400 is used by fancy_abort() to print `Internal compiler error in expr.c'
1401 instead of `Internal compiler error in ../../GCC/gcc/expr.c'. */
1403 const char *
1404 trim_filename (name)
1405 const char *name;
1407 static const char this_file[] = __FILE__;
1408 const char *p = name, *q = this_file;
1410 /* First skip any "../" in each filename. This allows us to give a proper
1411 reference to a file in a subdirectory. */
1412 while (p[0] == '.' && p[1] == '.'
1413 && (p[2] == DIR_SEPARATOR
1414 #ifdef DIR_SEPARATOR_2
1415 || p[2] == DIR_SEPARATOR_2
1416 #endif
1418 p += 3;
1420 while (q[0] == '.' && q[1] == '.'
1421 && (q[2] == DIR_SEPARATOR
1422 #ifdef DIR_SEPARATOR_2
1423 || p[2] == DIR_SEPARATOR_2
1424 #endif
1426 q += 3;
1428 /* Now skip any parts the two filenames have in common. */
1429 while (*p == *q && *p != 0 && *q != 0)
1430 p++, q++;
1432 /* Now go backwards until the previous directory separator. */
1433 while (p > name && p[-1] != DIR_SEPARATOR
1434 #ifdef DIR_SEPARATOR_2
1435 && p[-1] != DIR_SEPARATOR_2
1436 #endif
1438 p--;
1440 return p;
1443 /* Report an internal compiler error in a friendly manner and without
1444 dumping core. */
1446 void
1447 fancy_abort (file, line, function)
1448 const char *file;
1449 int line;
1450 const char *function;
1452 internal_error ("Internal compiler error in %s, at %s:%d",
1453 function, trim_filename (file), line);
1456 /* Setup DC for reporting a diagnostic MESSAGE (an error or a WARNING),
1457 using arguments pointed to by ARGS_PTR, issued at a location specified
1458 by FILE and LINE. */
1460 void
1461 set_diagnostic_context (dc, msgid, args_ptr, file, line, warn)
1462 diagnostic_context *dc;
1463 const char *msgid;
1464 va_list *args_ptr;
1465 const char *file;
1466 int line;
1467 int warn;
1469 memset (dc, 0, sizeof (diagnostic_context));
1470 diagnostic_message (dc) = _(msgid);
1471 diagnostic_argument_list (dc) = args_ptr;
1472 diagnostic_file_location (dc) = file;
1473 diagnostic_line_location (dc) = line;
1474 diagnostic_is_warning (dc) = warn;
1475 diagnostic_starter (dc) = diagnostic_starter (global_dc);
1476 diagnostic_finalizer (dc) = diagnostic_finalizer (global_dc);
1479 void
1480 report_problematic_module (buffer)
1481 output_buffer *buffer;
1483 struct file_stack *p;
1485 if (output_needs_newline (buffer))
1487 output_add_newline (buffer);
1488 output_needs_newline (buffer) = 0;
1491 if (input_file_stack && input_file_stack->next != 0
1492 && error_module_changed ())
1494 for (p = input_file_stack->next; p; p = p->next)
1495 if (p == input_file_stack->next)
1496 output_verbatim
1497 (buffer, "In file included from %s:%d", p->name, p->line);
1498 else
1499 output_verbatim
1500 (buffer, ",\n from %s:%d", p->name, p->line);
1501 output_verbatim (buffer, ":\n");
1502 record_last_error_module ();
1506 static void
1507 default_diagnostic_starter (buffer, dc)
1508 output_buffer *buffer;
1509 diagnostic_context *dc;
1511 report_error_function (diagnostic_file_location (dc));
1512 output_set_prefix (buffer,
1513 context_as_prefix (diagnostic_file_location (dc),
1514 diagnostic_line_location (dc),
1515 diagnostic_is_warning (dc)));
1518 static void
1519 default_diagnostic_finalizer (buffer, dc)
1520 output_buffer *buffer;
1521 diagnostic_context *dc __attribute__((__unused__));
1523 output_destroy_prefix (buffer);
1526 void
1527 warn_deprecated_use (node)
1528 tree node;
1530 if (node == 0 || !warn_deprecated_decl)
1531 return;
1533 if (DECL_P (node))
1534 warning ("`%s' is deprecated (declared at %s:%d)",
1535 IDENTIFIER_POINTER (DECL_NAME (node)),
1536 DECL_SOURCE_FILE (node), DECL_SOURCE_LINE (node));
1537 else if (TYPE_P (node))
1539 const char *what = NULL;
1540 tree decl = TYPE_STUB_DECL (node);
1542 if (TREE_CODE (TYPE_NAME (node)) == IDENTIFIER_NODE)
1543 what = IDENTIFIER_POINTER (TYPE_NAME (node));
1544 else if (TREE_CODE (TYPE_NAME (node)) == TYPE_DECL
1545 && DECL_NAME (TYPE_NAME (node)))
1546 what = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (node)));
1548 if (what)
1550 if (decl)
1551 warning ("`%s' is deprecated (declared at %s:%d)", what,
1552 DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl));
1553 else
1554 warning ("`%s' is deprecated", what);
1556 else if (decl)
1557 warning ("type is deprecated (declared at %s:%d)",
1558 DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl));
1559 else
1560 warning ("type is deprecated");