Boston, MA 02111-1307, USA. */
-/* This file implements the language independant aspect of diagnostic
+/* This file implements the language independent aspect of diagnostic
message module. */
#include "config.h"
#define diagnostic_msg output_buffer_text_cursor (diagnostic_buffer)
/* Prototypes. */
-static int doing_line_wrapping PARAMS ((void));
-
static void finish_diagnostic PARAMS ((void));
static void output_do_verbatim PARAMS ((output_buffer *,
- const char *, va_list));
+ const char *, va_list *));
static void output_to_stream PARAMS ((output_buffer *, FILE *));
static void output_format PARAMS ((output_buffer *));
+static void output_indent PARAMS ((output_buffer *));
static char *vbuild_message_string PARAMS ((const char *, va_list));
static char *build_message_string PARAMS ((const char *, ...))
ATTRIBUTE_PRINTF_1;
-static char *context_as_prefix PARAMS ((const char *, int, int));
static void output_do_printf PARAMS ((output_buffer *, const char *));
-static void line_wrapper_printf PARAMS ((FILE *, const char *, ...))
- ATTRIBUTE_PRINTF_2;
-static void vline_wrapper_message_with_location PARAMS ((const char *, int,
- int, const char *,
- va_list));
-static void notice PARAMS ((const char *s, ...)) ATTRIBUTE_PRINTF_1;
-static void v_message_with_file_and_line PARAMS ((const char *, int, int,
- const char *, va_list));
-static void v_message_with_decl PARAMS ((tree, int, const char *, va_list));
+static void format_with_decl PARAMS ((output_buffer *, tree));
static void file_and_line_for_asm PARAMS ((rtx, const char **, int *));
-static void v_error_with_file_and_line PARAMS ((const char *, int,
- const char *, va_list));
-static void v_error_with_decl PARAMS ((tree, const char *, va_list));
-static void v_error_for_asm PARAMS ((rtx, const char *, va_list));
-static void vfatal PARAMS ((const char *, va_list)) ATTRIBUTE_NORETURN;
-static void v_warning_with_file_and_line PARAMS ((const char *, int,
- const char *, va_list));
-static void v_warning_with_decl PARAMS ((tree, const char *, va_list));
-static void v_warning_for_asm PARAMS ((rtx, const char *, va_list));
-static void v_pedwarn_with_decl PARAMS ((tree, const char *, va_list));
-static void v_pedwarn_with_file_and_line PARAMS ((const char *, int,
- const char *, va_list));
-static void vsorry PARAMS ((const char *, va_list));
-static void verror PARAMS ((const char *, va_list));
-static void vwarning PARAMS ((const char *, va_list));
-static void vpedwarn PARAMS ((const char *, va_list));
-static void report_file_and_line PARAMS ((const char *, int, int));
+static void diagnostic_for_asm PARAMS ((rtx, const char *, va_list *, int));
+static void diagnostic_for_decl PARAMS ((tree, const char *, va_list *, int));
static void vnotice PARAMS ((FILE *, const char *, va_list));
static void set_real_maximum_length PARAMS ((output_buffer *));
static void wrap_text PARAMS ((output_buffer *, const char *, const char *));
static void maybe_wrap_text PARAMS ((output_buffer *, const char *,
const char *));
-static void clear_text_info PARAMS ((output_buffer *));
static void clear_diagnostic_info PARAMS ((output_buffer *));
+static void default_diagnostic_starter PARAMS ((output_buffer *,
+ diagnostic_context *));
+static void default_diagnostic_finalizer PARAMS ((output_buffer *,
+ diagnostic_context *));
+
+static void error_recursion PARAMS ((void)) ATTRIBUTE_NORETURN;
+static const char *trim_filename PARAMS ((const char *));
+
extern int rtl_dump_and_exit;
extern int inhibit_warnings;
extern int warnings_are_errors;
static output_buffer global_output_buffer;
output_buffer *diagnostic_buffer = &global_output_buffer;
-static int need_error_newline;
-
/* Function of last error message;
more generally, function such that if next error message is in it
then we don't have to mention the function name. */
static int last_error_tick;
/* Called by report_error_function to print out function name.
- * Default may be overridden by language front-ends. */
+ Default may be overridden by language front-ends. */
void (*print_error_function) PARAMS ((const char *)) =
default_print_error_function;
+/* Hooks for language specific diagnostic messages pager and finalizer. */
+diagnostic_starter_fn lang_diagnostic_starter;
+diagnostic_finalizer_fn lang_diagnostic_finalizer;
+
/* Maximum characters per line in automatic line wrapping mode.
Zero means don't wrap lines. */
/* Used to control every diagnostic message formatting. Front-ends should
call set_message_prefixing_rule to set up their politics. */
static int current_prefixing_rule;
+
+/* Prevent recursion into the error handler. */
+static int diagnostic_lock;
+
\f
+/* Return truthvalue if current input file is different from the most recent
+ file involved in a diagnostic message. */
+int
+error_module_changed ()
+{
+ return last_error_tick != input_file_stack_tick;
+}
+
+/* Remember current file as being the most recent file involved in a
+ diagnostic message. */
+void
+record_last_error_module ()
+{
+ last_error_tick = input_file_stack_tick;
+}
+
+/* Same as error_module_changed, but for function. */
+int
+error_function_changed ()
+{
+ return last_error_function != current_function_decl;
+}
+
+/* Same as record_last_error_module, but for function. */
+void
+record_last_error_function ()
+{
+ last_error_function = current_function_decl;
+}
+
/* Initialize the diagnostic message outputting machinery. */
void
/* By default, we don't line-wrap messages. */
diagnostic_message_length_per_line = 0;
set_message_prefixing_rule (DIAGNOSTICS_SHOW_PREFIX_ONCE);
+
/* Proceed to actual initialization. */
default_initialize_buffer (diagnostic_buffer);
-}
-
-/* Predicate. Return 1 if we're in automatic line wrapping mode. */
-static int
-doing_line_wrapping ()
-{
- return diagnostic_message_length_per_line > 0;
+ lang_diagnostic_starter = default_diagnostic_starter;
+ lang_diagnostic_finalizer = default_diagnostic_finalizer;
}
void
}
/* Returns true if BUFFER is in line-wrappind mode. */
+
int
output_is_line_wrapping (buffer)
output_buffer *buffer;
}
/* Return BUFFER's prefix. */
+
const char *
output_get_prefix (buffer)
const output_buffer *buffer;
/* Subroutine of output_set_maximum_length. Set up BUFFER's
internal maximum characters per line. */
+
static void
set_real_maximum_length (buffer)
output_buffer *buffer;
{
- /* If we're told not to wrap lines then do the obvious thing. */
- if (! output_is_line_wrapping (buffer))
+ /* If we're told not to wrap lines then do the obvious thing. In case
+ we'll emit prefix only once per diagnostic message, it is appropriate
+ not to increase unncessarily the line-length cut-off. */
+ if (! output_is_line_wrapping (buffer)
+ || prefixing_policy (buffer) == DIAGNOSTICS_SHOW_PREFIX_ONCE
+ || prefixing_policy (buffer) == DIAGNOSTICS_SHOW_PREFIX_NEVER)
line_wrap_cutoff (buffer) = ideal_line_wrap_cutoff (buffer);
else
{
/* Sets the number of maximum characters per line BUFFER can output
in line-wrapping mode. A LENGTH value 0 suppresses line-wrapping. */
+
void
output_set_maximum_length (buffer, length)
output_buffer *buffer;
}
/* Sets BUFFER's PREFIX. */
+
void
output_set_prefix (buffer, prefix)
output_buffer *buffer;
output_prefix (buffer) = prefix;
set_real_maximum_length (buffer);
prefix_was_emitted_for (buffer) = 0;
+ output_indentation (buffer) = 0;
}
-/* Free BUFFER's prefix, a previously malloc()'d string. */
+/* Return a pointer to the last character emitted in the output
+ BUFFER area. A NULL pointer means no character available. */
+const char *
+output_last_position (buffer)
+ const output_buffer *buffer;
+{
+ const char *p = NULL;
+
+ if (obstack_base (&buffer->obstack) != obstack_next_free (&buffer->obstack))
+ p = ((const char *) obstack_next_free (&buffer->obstack)) - 1;
+ return p;
+}
+
+/* Free BUFFER's prefix, a previously malloc'd string. */
void
output_destroy_prefix (buffer)
}
/* Zero out any text output so far in BUFFER. */
-static void
-clear_text_info (buffer)
+
+void
+output_clear_message_text (buffer)
output_buffer *buffer;
{
obstack_free (&buffer->obstack, obstack_base (&buffer->obstack));
}
/* Zero out any diagnostic data used so far by BUFFER. */
+
static void
clear_diagnostic_info (buffer)
output_buffer *buffer;
output_buffer_text_cursor (buffer) = NULL;
output_buffer_ptr_to_format_args (buffer) = NULL;
prefix_was_emitted_for (buffer) = 0;
+ output_indentation (buffer) = 0;
}
/* Construct an output BUFFER with PREFIX and of MAXIMUM_LENGTH
characters per line. */
+
void
init_output_buffer (buffer, prefix, maximum_length)
output_buffer *buffer;
const char *prefix;
int maximum_length;
{
+ bzero (buffer, sizeof (output_buffer));
obstack_init (&buffer->obstack);
ideal_line_wrap_cutoff (buffer) = maximum_length;
prefixing_policy (buffer) = current_prefixing_rule;
/* Recompute diagnostic_buffer's attributes to reflect any change
in diagnostic formatting global options. */
+
void
reshape_diagnostic_buffer ()
{
output_clear (buffer)
output_buffer *buffer;
{
- clear_text_info (buffer);
+ output_clear_message_text (buffer);
clear_diagnostic_info (buffer);
}
/* Finishes to construct a NULL-terminated character string representing
the BUFFERed message. */
+
const char *
-output_finish (buffer)
+output_finalize_message (buffer)
output_buffer *buffer;
{
obstack_1grow (&buffer->obstack, '\0');
- return (const char *) obstack_finish (&buffer->obstack);
+ return output_message_text (buffer);
+}
+
+void
+flush_diagnostic_buffer ()
+{
+ output_to_stream (diagnostic_buffer, stderr);
+ fflush (stderr);
}
/* Return the amount of characters BUFFER can accept to
make a full line. */
+
int
output_space_left (buffer)
const output_buffer *buffer;
}
/* Write out BUFFER's prefix. */
+
void
output_emit_prefix (buffer)
output_buffer *buffer;
case DIAGNOSTICS_SHOW_PREFIX_ONCE:
if (prefix_was_emitted_for (buffer))
- break;
- /* Else fall through. */
+ {
+ output_indent (buffer);
+ break;
+ }
+ output_indentation (buffer) += 3;
+ /* Fall through. */
case DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE:
{
}
/* Have BUFFER start a new line. */
+
void
output_add_newline (buffer)
output_buffer *buffer;
}
/* Appends a character to BUFFER. */
+
void
output_add_character (buffer, c)
output_buffer *buffer;
}
/* Adds a space to BUFFER. */
+
void
output_add_space (buffer)
output_buffer *buffer;
/* These functions format an INTEGER into BUFFER as suggested by their
names. */
+
void
output_decimal (buffer, i)
output_buffer *buffer;
/* Append to BUFFER a string specified by its STARTING character
and LENGTH. */
+
static void
output_append_r (buffer, start, length)
output_buffer *buffer;
done. However, if beginning a new line then emit output_prefix (BUFFER)
and skip any leading whitespace if appropriate. The caller must ensure
that it is safe to do so. */
+
void
output_append (buffer, start, end)
output_buffer *buffer;
output_append_r (buffer, start, end - start);
}
+static void
+output_indent (buffer)
+ output_buffer *buffer;
+{
+ int n = output_indentation (buffer);
+ int i;
+
+ for (i = 0; i < n; ++i)
+ output_add_character (buffer, ' ');
+}
+
/* Wrap a text delimited by START and END into BUFFER. */
+
static void
wrap_text (buffer, start, end)
output_buffer *buffer;
const char *start;
const char *end;
{
+ int is_wrapping = output_is_line_wrapping (buffer);
+
while (start != end)
{
/* Dump anything bodered by whitespaces. */
const char *p = start;
while (p != end && *p != ' ' && *p != '\n')
++p;
- if (p - start >= output_space_left (buffer))
+ if (is_wrapping && p - start >= output_space_left (buffer))
output_add_newline (buffer);
output_append (buffer, start, p);
start = p;
output_buffer *buffer;
FILE *file;
{
- const char *text = output_finish (buffer);
+ const char *text = output_finalize_message (buffer);
fputs (text, file);
- clear_text_info (buffer);
+ output_clear_message_text (buffer);
}
/* Format a message pointed to by output_buffer_text_cursor (BUFFER) using
specifiers are recognized as being language independent:
%d, %i: (signed) integer in base ten.
%u: unsigned integer in base ten.
- %o: (signed) integer in base eight.
- %x: (signged) integer in base sixteen.
+ %o: unsigned integer in base eight.
+ %x: unsigned integer in base sixteen.
%ld, %li, %lo, %lu, %lx: long versions of the above.
%c: character.
%s: string.
%%: `%'.
%*.s: a substring the length of which is specified by an integer. */
+
static void
output_format (buffer)
output_buffer *buffer;
++output_buffer_text_cursor (buffer))
{
int long_integer = 0;
+
/* Ignore text. */
{
const char *p = output_buffer_text_cursor (buffer);
while (*p && *p != '%')
++p;
- maybe_wrap_text (buffer, output_buffer_text_cursor (buffer), p);
+ wrap_text (buffer, output_buffer_text_cursor (buffer), p);
output_buffer_text_cursor (buffer) = p;
}
+
if (!*output_buffer_text_cursor (buffer))
break;
output_unsigned_decimal
(buffer, va_arg (output_buffer_format_args (buffer),
unsigned int));
+ break;
case 'x':
if (long_integer)
break;
default:
- if (!lang_printer || !(*lang_printer) (buffer))
+ if (! lang_printer || !(*lang_printer) (buffer))
{
/* Hmmm. The front-end failed to install a format translator
but called us with an unrecognized format. Sorry. */
- abort();
+ abort ();
}
}
}
return str;
}
-
/* Return a malloc'd string describing a location. The caller is
responsible for freeing the memory. */
-
-static char *
+char *
context_as_prefix (file, line, warn)
const char *file;
int line;
}
}
+/* Same as context_as_prefix, but only the source FILE is given. */
+char *
+file_name_as_prefix (f)
+ const char *f;
+{
+ return build_message_string ("%s: ", f);
+}
+
/* Format a MESSAGE into BUFFER. Automatically wrap lines. */
static void
char *message = vbuild_message_string (msgid,
output_buffer_format_args (buffer));
- output_add_string (buffer, message);
+ wrap_text (buffer, message, message + strlen (message));
free (message);
}
va_end (ap);
}
-
-/* Format a MESSAGE into FILE. Do line wrapping, starting new lines
- with PREFIX. */
-
-static void
-line_wrapper_printf VPARAMS ((FILE *file, const char *msgid, ...))
-{
-#ifndef ANSI_PROTOTYPES
- FILE *file;
- const char *msgid;
-#endif
- va_list ap;
- output_buffer buffer;
-
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- file = va_arg (ap, FILE *);
- msgid = va_arg (ap, const char *);
-#endif
- default_initialize_buffer (&buffer);
- output_buffer_ptr_to_format_args (&buffer) = ≈
- output_do_printf (&buffer, msgid);
- output_to_stream (&buffer, file);
- va_end (ap);
-}
-
-
-static void
-vline_wrapper_message_with_location (file, line, warn, msgid, ap)
- const char *file;
- int line;
- int warn;
- const char *msgid;
- va_list ap;
-{
- output_buffer buffer;
-
- init_output_buffer (&buffer, context_as_prefix (file, line, warn),
- diagnostic_message_length_per_line);
- output_buffer_ptr_to_format_args (&buffer) = ≈
- output_do_printf (&buffer, msgid);
- output_to_stream (&buffer, stderr);
- fputc ('\n', stderr);
- output_destroy_prefix (&buffer);
-}
-
-
/* Print the message MSGID in FILE. */
static void
vfprintf (file, _(msgid), ap);
}
-/* Print MSGID on stderr. */
-
-static void
-notice VPARAMS ((const char *msgid, ...))
-{
-#ifndef ANSI_PROTOTYPES
- char *msgid;
-#endif
- va_list ap;
-
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, char *);
-#endif
-
- vnotice (stderr, msgid, ap);
- va_end (ap);
-}
-
-/* Report FILE and LINE (or program name), and optionally just WARN. */
-
-static void
-report_file_and_line (file, line, warn)
- const char *file;
- int line;
- int warn;
-{
- if (file)
- fprintf (stderr, "%s:%d: ", file, line);
- else
- fprintf (stderr, "%s: ", progname);
-
- if (warn)
- notice ("warning: ");
-}
-
-/* Print a message relevant to line LINE of file FILE. */
-
-static void
-v_message_with_file_and_line (file, line, warn, msgid, ap)
- const char *file;
- int line;
- int warn;
- const char *msgid;
- va_list ap;
-{
- report_file_and_line (file, line, warn);
- vnotice (stderr, msgid, ap);
- fputc ('\n', stderr);
-}
-
/* Print a message relevant to the given DECL. */
static void
-v_message_with_decl (decl, warn, msgid, ap)
+format_with_decl (buffer, decl)
+ output_buffer *buffer;
tree decl;
- int warn;
- const char *msgid;
- va_list ap;
{
const char *p;
- output_buffer buffer;
-
- if (doing_line_wrapping ())
- {
- init_output_buffer
- (&buffer, context_as_prefix
- (DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl), warn),
- diagnostic_message_length_per_line);
- }
- else
- report_file_and_line (DECL_SOURCE_FILE (decl),
- DECL_SOURCE_LINE (decl), warn);
-
+
/* Do magic to get around lack of varargs support for insertion
of arguments into existing list. We know that the decl is first;
we ass_u_me that it will be printed with "%s". */
-
- for (p = _(msgid); *p; ++p)
+ for (p = output_buffer_text_cursor (buffer); *p; ++p)
{
if (*p == '%')
{
}
}
- if (p > _(msgid)) /* Print the left-hand substring. */
- {
- if (doing_line_wrapping ())
- output_printf (&buffer, "%.*s", (int)(p - _(msgid)), _(msgid));
- else
- fprintf (stderr, "%.*s", (int)(p - _(msgid)), _(msgid));
- }
-
+ /* Print the left-hand substring. */
+ maybe_wrap_text (buffer, output_buffer_text_cursor (buffer), p);
+
if (*p == '%') /* Print the name. */
{
const char *n = (DECL_NAME (decl)
? (*decl_printable_name) (decl, 2)
: _("((anonymous))"));
- if (doing_line_wrapping ())
- output_add_string (&buffer, n);
- else
- fputs (n, stderr);
+ output_add_string (buffer, n);
while (*p)
{
++p;
if (*p) /* Print the rest of the message. */
{
- if (doing_line_wrapping ())
- {
- output_buffer_ptr_to_format_args (&buffer) = ≈
- output_do_printf (&buffer, p);
- }
- else
- vfprintf (stderr, p, ap);
- }
-
- if (doing_line_wrapping())
- {
- output_to_stream (&buffer, stderr);
- output_destroy_prefix (&buffer);
+ output_buffer_text_cursor (buffer) = p;
+ output_format (buffer);
}
-
- fputc ('\n', stderr);
}
/* Figure file and line of the given INSN. */
}
}
-/* Report an error at line LINE of file FILE. */
-
-static void
-v_error_with_file_and_line (file, line, msgid, ap)
- const char *file;
- int line;
- const char *msgid;
- va_list ap;
-{
- count_error (0);
- report_error_function (file);
- if (doing_line_wrapping ())
- vline_wrapper_message_with_location (file, line, 0, msgid, ap);
- else
- v_message_with_file_and_line (file, line, 0, msgid, ap);
-}
-
-/* Report an error at the declaration DECL.
- MSGID is a format string which uses %s to substitute the declaration
- name; subsequent substitutions are a la printf. */
-
-static void
-v_error_with_decl (decl, msgid, ap)
- tree decl;
- const char *msgid;
- va_list ap;
-{
- count_error (0);
- report_error_function (DECL_SOURCE_FILE (decl));
- v_message_with_decl (decl, 0, msgid, ap);
-}
-
-
-/* Report an error at the line number of the insn INSN.
- This is used only when INSN is an `asm' with operands,
+/* Report a diagnostic MESSAGE (an errror or a WARNING) at the line number
+ of the insn INSN. This is used only when INSN is an `asm' with operands,
and each ASM_OPERANDS records its own source file and line. */
static void
-v_error_for_asm (insn, msgid, ap)
+diagnostic_for_asm (insn, msg, args_ptr, warn)
rtx insn;
- const char *msgid;
- va_list ap;
-{
- const char *file;
- int line;
-
- count_error (0);
- file_and_line_for_asm (insn, &file, &line);
- report_error_function (file);
- v_message_with_file_and_line (file, line, 0, msgid, ap);
-}
-
-
-/* Report an error at the current line number. */
-
-static void
-verror (msgid, ap)
- const char *msgid;
- va_list ap;
-{
- v_error_with_file_and_line (input_filename, lineno, msgid, ap);
-}
-
-
-/* Report a fatal error at the current line number. Allow a front end to
- intercept the message. */
-
-static void (*fatal_function) PARAMS ((const char *, va_list));
-
-static void
-vfatal (msgid, ap)
- const char *msgid;
- va_list ap;
+ const char *msg;
+ va_list *args_ptr;
+ int warn;
{
- if (fatal_function != 0)
- (*fatal_function) (_(msgid), ap);
-
- verror (msgid, ap);
- exit (FATAL_EXIT_CODE);
-}
-
-/* Report a warning at line LINE of file FILE. */
+ diagnostic_context dc;
-static void
-v_warning_with_file_and_line (file, line, msgid, ap)
- const char *file;
- int line;
- const char *msgid;
- va_list ap;
-{
- if (count_error (1))
- {
- report_error_function (file);
- if (doing_line_wrapping ())
- vline_wrapper_message_with_location (file, line, 1, msgid, ap);
- else
- v_message_with_file_and_line (file, line, 1, msgid, ap);
- }
+ set_diagnostic_context (&dc, msg, args_ptr, NULL, 0, warn);
+ file_and_line_for_asm (insn, &diagnostic_file_location (&dc),
+ &diagnostic_line_location (&dc));
+ report_diagnostic (&dc);
}
-
-/* Report a warning at the declaration DECL.
- MSGID is a format string which uses %s to substitute the declaration
- name; subsequent substitutions are a la printf. */
+/* Report a diagnostic MESSAGE at the declaration DECL.
+ MSG is a format string which uses %s to substitute the declaration
+ name; subsequent substitutions are a la output_format. */
static void
-v_warning_with_decl (decl, msgid, ap)
+diagnostic_for_decl (decl, msg, args_ptr, warn)
tree decl;
- const char *msgid;
- va_list ap;
-{
- if (count_error (1))
- {
- report_error_function (DECL_SOURCE_FILE (decl));
- v_message_with_decl (decl, 1, msgid, ap);
- }
-}
-
-
-/* Report a warning at the line number of the insn INSN.
- This is used only when INSN is an `asm' with operands,
- and each ASM_OPERANDS records its own source file and line. */
-
-static void
-v_warning_for_asm (insn, msgid, ap)
- rtx insn;
- const char *msgid;
- va_list ap;
-{
- if (count_error (1))
- {
- const char *file;
- int line;
-
- file_and_line_for_asm (insn, &file, &line);
- report_error_function (file);
- v_message_with_file_and_line (file, line, 1, msgid, ap);
- }
-}
-
-
-/* Report a warning at the current line number. */
-
-static void
-vwarning (msgid, ap)
- const char *msgid;
- va_list ap;
-{
- v_warning_with_file_and_line (input_filename, lineno, msgid, ap);
-}
-
-/* These functions issue either warnings or errors depending on
- -pedantic-errors. */
-
-static void
-vpedwarn (msgid, ap)
- const char *msgid;
- va_list ap;
+ const char *msg;
+ va_list *args_ptr;
+ int warn;
{
- if (flag_pedantic_errors)
- verror (msgid, ap);
- else
- vwarning (msgid, ap);
-}
+ output_state os;
+ if (diagnostic_lock++)
+ error_recursion ();
-static void
-v_pedwarn_with_decl (decl, msgid, ap)
- tree decl;
- const char *msgid;
- va_list ap;
-{
- /* We don't want -pedantic-errors to cause the compilation to fail from
- "errors" in system header files. Sometimes fixincludes can't fix what's
- broken (eg: unsigned char bitfields - fixing it may change the alignment
- which will cause programs to mysteriously fail because the C library
- or kernel uses the original layout). There's no point in issuing a
- warning either, it's just unnecessary noise. */
-
- if (! DECL_IN_SYSTEM_HEADER (decl))
+ if (count_error (warn))
{
- if (flag_pedantic_errors)
- v_error_with_decl (decl, msgid, ap);
- else
- v_warning_with_decl (decl, msgid, ap);
+ os = output_buffer_state (diagnostic_buffer);
+ report_error_function (DECL_SOURCE_FILE (decl));
+ output_set_prefix
+ (diagnostic_buffer, context_as_prefix
+ (DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl), warn));
+ output_buffer_ptr_to_format_args (diagnostic_buffer) = args_ptr;
+ output_buffer_text_cursor (diagnostic_buffer) = msg;
+ format_with_decl (diagnostic_buffer, decl);
+ finish_diagnostic ();
+ output_destroy_prefix (diagnostic_buffer);
+
+ output_buffer_state (diagnostic_buffer) = os;
}
-}
-
-
-static void
-v_pedwarn_with_file_and_line (file, line, msgid, ap)
- const char *file;
- int line;
- const char *msgid;
- va_list ap;
-{
- if (flag_pedantic_errors)
- v_error_with_file_and_line (file, line, msgid, ap);
- else
- v_warning_with_file_and_line (file, line, msgid, ap);
-}
-
-
-/* Apologize for not implementing some feature. */
-
-static void
-vsorry (msgid, ap)
- const char *msgid;
- va_list ap;
-{
- sorrycount++;
- if (input_filename)
- fprintf (stderr, "%s:%d: ", input_filename, lineno);
- else
- fprintf (stderr, "%s: ", progname);
- notice ("sorry, not implemented: ");
- vnotice (stderr, msgid, ap);
- fputc ('\n', stderr);
+ diagnostic_lock--;
}
\f
count_error (warningp)
int warningp;
{
- if (warningp && inhibit_warnings)
+ if (warningp
+ && (inhibit_warnings
+ || (in_system_header && !warn_system_headers)))
return 0;
if (warningp && !warnings_are_errors)
}
/* Print a diagnistic MSGID on FILE. */
+
void
fnotice VPARAMS ((FILE *file, const char *msgid, ...))
{
fatal_io_error (name)
const char *name;
{
- notice ("%s: %s: I/O error\n", progname, name);
+ verbatim ("%s: %s: I/O error\n", progname, name);
exit (FATAL_EXIT_CODE);
}
/* Issue a pedantic warning MSGID. */
+
void
pedwarn VPARAMS ((const char *msgid, ...))
{
const char *msgid;
#endif
va_list ap;
+ diagnostic_context dc;
VA_START (ap, msgid);
msgid = va_arg (ap, const char *);
#endif
- vpedwarn (msgid, ap);
+ set_diagnostic_context
+ (&dc, msgid, &ap, input_filename, lineno, !flag_pedantic_errors);
+ report_diagnostic (&dc);
va_end (ap);
}
/* Issue a pedantic waring about DECL. */
+
void
pedwarn_with_decl VPARAMS ((tree decl, const char *msgid, ...))
{
decl = va_arg (ap, tree);
msgid = va_arg (ap, const char *);
#endif
-
- v_pedwarn_with_decl (decl, msgid, ap);
+ /* We don't want -pedantic-errors to cause the compilation to fail from
+ "errors" in system header files. Sometimes fixincludes can't fix what's
+ broken (eg: unsigned char bitfields - fixing it may change the alignment
+ which will cause programs to mysteriously fail because the C library
+ or kernel uses the original layout). There's no point in issuing a
+ warning either, it's just unnecessary noise. */
+ if (!DECL_IN_SYSTEM_HEADER (decl))
+ diagnostic_for_decl (decl, msgid, &ap, !flag_pedantic_errors);
va_end (ap);
}
/* Same as above but within the context FILE and LINE. */
+
void
pedwarn_with_file_and_line VPARAMS ((const char *file, int line,
const char *msgid, ...))
const char *msgid;
#endif
va_list ap;
+ diagnostic_context dc;
VA_START (ap, msgid);
msgid = va_arg (ap, const char *);
#endif
- v_pedwarn_with_file_and_line (file, line, msgid, ap);
+ set_diagnostic_context (&dc, msgid, &ap, file, line, !flag_pedantic_errors);
+ report_diagnostic (&dc);
va_end (ap);
}
/* Just apologize with MSGID. */
+
void
sorry VPARAMS ((const char *msgid, ...))
{
const char *msgid;
#endif
va_list ap;
+ output_state os;
+ os = output_buffer_state (diagnostic_buffer);
VA_START (ap, msgid);
#ifndef ANSI_PROTOTYPES
msgid = va_arg (ap, const char *);
#endif
-
- vsorry (msgid, ap);
+ ++sorrycount;
+ output_set_prefix
+ (diagnostic_buffer, context_as_prefix (input_filename, lineno, 0));
+ output_printf (diagnostic_buffer, "sorry, not implemented: ");
+ output_buffer_ptr_to_format_args (diagnostic_buffer) = ≈
+ output_buffer_text_cursor (diagnostic_buffer) = msgid;
+ output_format (diagnostic_buffer);
+ finish_diagnostic ();
+ output_buffer_state (diagnostic_buffer) = os;
va_end (ap);
}
if (! quiet_flag)
{
if (rtl_dump_and_exit)
- fprintf (stderr, "%s ", IDENTIFIER_POINTER (DECL_NAME (decl)));
+ verbatim ("%s ", IDENTIFIER_POINTER (DECL_NAME (decl)));
else
- {
- if (doing_line_wrapping ())
- line_wrapper_printf
- (stderr, " %s", (*decl_printable_name) (decl, 2));
- else
- fprintf (stderr, " %s", (*decl_printable_name) (decl, 2));
- }
+ verbatim (" %s", (*decl_printable_name) (decl, 2));
fflush (stderr);
- need_error_newline = 1;
- last_error_function = current_function_decl;
+ output_needs_newline (diagnostic_buffer) = 1;
+ record_last_error_function ();
}
}
default_print_error_function (file)
const char *file;
{
- if (last_error_function != current_function_decl)
+ if (error_function_changed ())
{
- char *prefix = NULL;
- output_buffer buffer;
-
- if (file)
- prefix = build_message_string ("%s: ", file);
+ char *prefix = file ? build_message_string ("%s: ", file) : NULL;
+ output_state os;
- if (doing_line_wrapping ())
- init_output_buffer
- (&buffer, prefix, diagnostic_message_length_per_line);
- else
- {
- if (file)
- fprintf (stderr, "%s: ", file);
- }
+ os = output_buffer_state (diagnostic_buffer);
+ output_set_prefix (diagnostic_buffer, prefix);
if (current_function_decl == NULL)
- {
- if (doing_line_wrapping ())
- output_printf (&buffer, "At top level:\n");
- else
- notice ("At top level:\n");
- }
+ output_add_string (diagnostic_buffer, "At top level:");
else
{
if (TREE_CODE (TREE_TYPE (current_function_decl)) == METHOD_TYPE)
- {
- if (doing_line_wrapping ())
- output_printf
- (&buffer, "In method `%s':\n",
- (*decl_printable_name) (current_function_decl, 2));
- else
- notice ("In method `%s':\n",
- (*decl_printable_name) (current_function_decl, 2));
- }
+ output_printf
+ (diagnostic_buffer, "In method `%s':",
+ (*decl_printable_name) (current_function_decl, 2));
else
- {
- if (doing_line_wrapping ())
- output_printf
- (&buffer, "In function `%s':\n",
- (*decl_printable_name) (current_function_decl, 2));
- else
- notice ("In function `%s':\n",
- (*decl_printable_name) (current_function_decl, 2));
- }
+ output_printf
+ (diagnostic_buffer, "In function `%s':",
+ (*decl_printable_name) (current_function_decl, 2));
}
+ output_add_newline (diagnostic_buffer);
- last_error_function = current_function_decl;
-
- if (doing_line_wrapping ())
- output_to_stream (&buffer, stderr);
-
+ record_last_error_function ();
+ output_to_stream (diagnostic_buffer, stderr);
+ output_buffer_state (diagnostic_buffer) = os;
free ((char*) prefix);
}
}
report_error_function (file)
const char *file ATTRIBUTE_UNUSED;
{
- struct file_stack *p;
-
- if (need_error_newline)
- {
- verbatim ("\n");
- need_error_newline = 0;
- }
-
- if (input_file_stack && input_file_stack->next != 0
- && input_file_stack_tick != last_error_tick)
- {
- for (p = input_file_stack->next; p; p = p->next)
- if (p == input_file_stack->next)
- verbatim ("In file included from %s:%d", p->name, p->line);
- else
- verbatim (",\n from %s:%d", p->name, p->line);
- verbatim (":\n");
- last_error_tick = input_file_stack_tick;
- }
-
+ report_problematic_module (diagnostic_buffer);
(*print_error_function) (input_filename);
}
const char *msgid;
#endif
va_list ap;
+ diagnostic_context dc;
VA_START (ap, msgid);
msgid = va_arg (ap, const char *);
#endif
- v_error_with_file_and_line (file, line, msgid, ap);
+ set_diagnostic_context (&dc, msgid, &ap, file, line, /* warn = */ 0);
+ report_diagnostic (&dc);
va_end (ap);
}
msgid = va_arg (ap, const char *);
#endif
- v_error_with_decl (decl, msgid, ap);
+ diagnostic_for_decl (decl, msgid, &ap, /* warn = */ 0);
va_end (ap);
}
msgid = va_arg (ap, const char *);
#endif
- v_error_for_asm (insn, msgid, ap);
+ diagnostic_for_asm (insn, msgid, &ap, /* warn = */ 0);
va_end (ap);
}
const char *msgid;
#endif
va_list ap;
+ diagnostic_context dc;
VA_START (ap, msgid);
msgid = va_arg (ap, const char *);
#endif
- verror (msgid, ap);
+ set_diagnostic_context
+ (&dc, msgid, &ap, input_filename, lineno, /* warn = */ 0);
+ report_diagnostic (&dc);
va_end (ap);
}
+/* Report a fatal error at the current line number. Allow a front end to
+ intercept the message. */
+
+static void (*fatal_function) PARAMS((const char *, va_list *));
+
/* Set the function to call when a fatal error occurs. */
void
set_fatal_function (f)
- void (*f) PARAMS ((const char *, va_list));
+ void (*f) PARAMS ((const char *, va_list *));
{
fatal_function = f;
}
const char *msgid;
#endif
va_list ap;
+ diagnostic_context dc;
VA_START (ap, msgid);
msgid = va_arg (ap, const char *);
#endif
- vfatal (msgid, ap);
+ if (fatal_function != 0)
+ (*fatal_function) (_(msgid), &ap);
+
+ set_diagnostic_context
+ (&dc, msgid, &ap, input_filename, lineno, /* warn = */0);
+ report_diagnostic (&dc);
va_end (ap);
+ exit (FATAL_EXIT_CODE);
}
void
const char *msgid;
#endif
va_list ap;
+ diagnostic_context dc;
VA_START (ap, msgid);
msgid = va_arg (ap, const char *);
#endif
- v_warning_with_file_and_line (file, line, msgid, ap);
+ set_diagnostic_context (&dc, msgid, &ap, file, line, /* warn = */ 1);
+ report_diagnostic (&dc);
va_end (ap);
}
msgid = va_arg (ap, const char *);
#endif
- v_warning_with_decl (decl, msgid, ap);
+ diagnostic_for_decl (decl, msgid, &ap, /* warn = */ 1);
va_end (ap);
}
msgid = va_arg (ap, const char *);
#endif
- v_warning_for_asm (insn, msgid, ap);
+ diagnostic_for_asm (insn, msgid, &ap, /* warn = */ 1);
va_end (ap);
}
const char *msgid;
#endif
va_list ap;
+ diagnostic_context dc;
VA_START (ap, msgid);
msgid = va_arg (ap, const char *);
#endif
- vwarning (msgid, ap);
+ set_diagnostic_context
+ (&dc, msgid, &ap, input_filename, lineno, /* warn = */ 1);
+ report_diagnostic (&dc);
va_end (ap);
}
finish_diagnostic ()
{
output_to_stream (diagnostic_buffer, stderr);
+ clear_diagnostic_info (diagnostic_buffer);
fputc ('\n', stderr);
fflush (stderr);
}
/* Helper subroutine of output_verbatim and verbatim. Do the approriate
settings needed by BUFFER for a verbatim formatting. */
static void
-output_do_verbatim (buffer, msg, args)
+output_do_verbatim (buffer, msg, args_ptr)
output_buffer *buffer;
const char *msg;
- va_list args;
+ va_list *args_ptr;
{
- output_state os = buffer->state;
+ output_state os;
+ os = output_buffer_state (buffer);
output_prefix (buffer) = NULL;
prefixing_policy (buffer) = DIAGNOSTICS_SHOW_PREFIX_NEVER;
output_buffer_text_cursor (buffer) = msg;
- output_buffer_ptr_to_format_args (buffer) = &args;
+ output_buffer_ptr_to_format_args (buffer) = args_ptr;
output_set_maximum_length (buffer, 0);
output_format (buffer);
- buffer->state = os;
+ output_buffer_state (buffer) = os;
}
/* Output MESSAGE verbatim into BUFFER. */
buffer = va_arg (ap, output_buffer *);
msg = va_arg (ap, const char *);
#endif
- output_do_verbatim (buffer, msg, ap);
+ output_do_verbatim (buffer, msg, &ap);
va_end (ap);
}
#ifndef ANSI_PROTOTYPES
msg = va_arg (ap, const char *);
#endif
- output_do_verbatim (diagnostic_buffer, msg, ap);
+ output_do_verbatim (diagnostic_buffer, msg, &ap);
output_to_stream (diagnostic_buffer, stderr);
va_end (ap);
}
-/* Report a diagnostic MESSAGE (an error or a WARNING) involving
- entities in ARGUMENTS. FILE and LINE indicate where the diagnostic
- occurs. This function is *the* subroutine in terms of which front-ends
- should implement their specific diagnostic handling modules.
- The front-end independent format specifiers are exactly those described
+/* Report a diagnostic message (an error or a warning) as specified by
+ DC. This function is *the* subroutine in terms of which front-ends
+ should implement their specific diagnostic handling modules. The
+ front-end independent format specifiers are exactly those described
in the documentation of output_format. */
void
-report_diagnostic (msg, args, file, line, warn)
- const char *msg;
- va_list args;
+report_diagnostic (dc)
+ diagnostic_context *dc;
+{
+ output_state os;
+
+ if (diagnostic_lock++)
+ error_recursion ();
+
+ if (count_error (diagnostic_is_warning (dc)))
+ {
+ os = output_buffer_state (diagnostic_buffer);
+ diagnostic_msg = diagnostic_message (dc);
+ diagnostic_args = diagnostic_argument_list (dc);
+ (*diagnostic_starter (dc)) (diagnostic_buffer, dc);
+ output_format (diagnostic_buffer);
+ (*diagnostic_finalizer (dc)) (diagnostic_buffer, dc);
+ finish_diagnostic ();
+ output_buffer_state (diagnostic_buffer) = os;
+ }
+
+ diagnostic_lock--;
+}
+
+/* Inform the user that an error occurred while trying to report some
+ other error. This indicates catastrophic internal inconsistencies,
+ so give up now. But do try to flush out the previous error. */
+static void
+error_recursion ()
+{
+ if (diagnostic_lock < 3)
+ finish_diagnostic ();
+
+ fprintf (stderr,
+"Internal compiler error: Error reporting routines re-entered.\n\
+Please submit a full bug report.\n\
+See %s for instructions.\n", GCCBUGURL);
+
+ exit (FATAL_EXIT_CODE);
+}
+
+/* Given a partial pathname as input, return another pathname that
+ shares no directory elements with the pathname of __FILE__. This
+ is used by fancy_abort() to print `Internal compiler error in expr.c'
+ instead of `Internal compiler error in ../../egcs/gcc/expr.c'. */
+static const char *
+trim_filename (name)
+ const char *name;
+{
+ static const char this_file[] = __FILE__;
+ const char *p = name, *q = this_file;
+
+ while (*p == *q && *p != 0 && *q != 0) p++, q++;
+ while (p > name && p[-1] != DIR_SEPARATOR
+#ifdef DIR_SEPARATOR_2
+ && p[-1] != DIR_SEPARATOR_2
+#endif
+ )
+ p--;
+
+ return p;
+}
+
+/* Report an internal compiler error in a friendly manner and without
+ dumping core. */
+
+void
+fancy_abort (file, line, function)
+ const char *file;
+ int line;
+ const char *function;
+{
+ fatal (
+"Internal compiler error in %s, at %s:%d\n\
+Please submit a full bug report.\n\
+See %s for instructions.",
+ function, trim_filename (file), line, GCCBUGURL);
+}
+
+/* Setup DC for reporting a diagnostic MESSAGE (an error of a WARNING),
+ using arguments pointed to by ARGS_PTR, issued at a location specified
+ by FILE and LINE. */
+void
+set_diagnostic_context (dc, message, args_ptr, file, line, warn)
+ diagnostic_context *dc;
+ const char *message;
+ va_list *args_ptr;
const char *file;
int line;
int warn;
{
- output_state os = diagnostic_buffer->state;
+ bzero (dc, sizeof (diagnostic_context));
+ diagnostic_message (dc) = message;
+ diagnostic_argument_list (dc) = args_ptr;
+ diagnostic_file_location (dc) = file;
+ diagnostic_line_location (dc) = line;
+ diagnostic_is_warning (dc) = warn;
+ diagnostic_starter (dc) = lang_diagnostic_starter;
+ diagnostic_finalizer (dc) = lang_diagnostic_finalizer;
+}
- diagnostic_msg = msg;
- diagnostic_args = &args;
- if (count_error (warn))
+void
+report_problematic_module (buffer)
+ output_buffer *buffer;
+{
+ struct file_stack *p;
+
+ if (output_needs_newline (buffer))
{
- report_error_function (file);
- output_set_prefix
- (diagnostic_buffer, context_as_prefix (file, line, warn));
- output_format (diagnostic_buffer);
- finish_diagnostic();
- output_destroy_prefix (diagnostic_buffer);
+ output_add_newline (buffer);
+ output_needs_newline (buffer) = 0;
}
- diagnostic_buffer->state = os;
+
+ if (input_file_stack && input_file_stack->next != 0
+ && error_function_changed ())
+ {
+ for (p = input_file_stack->next; p; p = p->next)
+ if (p == input_file_stack->next)
+ output_verbatim
+ (buffer, "In file included from %s:%d", p->name, p->line);
+ else
+ output_verbatim
+ (buffer, ",\n from %s:%d", p->name, p->line);
+ output_verbatim (buffer, ":\n");
+ record_last_error_function ();
+ }
+}
+
+static void
+default_diagnostic_starter (buffer, dc)
+ output_buffer *buffer;
+ diagnostic_context *dc;
+{
+ report_error_function (diagnostic_file_location (dc));
+ output_set_prefix (buffer,
+ context_as_prefix (diagnostic_file_location (dc),
+ diagnostic_line_location (dc),
+ diagnostic_is_warning (dc)));
+}
+
+static void
+default_diagnostic_finalizer (buffer, dc)
+ output_buffer *buffer;
+ diagnostic_context *dc __attribute__((__unused__));
+{
+ output_destroy_prefix (buffer);
}