-/* Language-independent diagnostic subroutines for the GNU C compiler
- Copyright (C) 1999, 2000 Free Software Foundation, Inc.
+/* Language-independent diagnostic subroutines for the GNU Compiler Collection
+ Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004
+ Free Software Foundation, Inc.
+ Contributed by Gabriel Dos Reis <gdr@codesourcery.com>
-This file is part of GNU CC.
+This file is part of GCC.
-GNU CC is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2, or (at your option)
-any later version.
+GCC is free software; you can redistribute it and/or modify it under
+the terms of the GNU General Public License as published by the Free
+Software Foundation; either version 2, or (at your option) any later
+version.
-GNU CC is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-GNU General Public License for more details.
+GCC is distributed in the hope that it will be useful, but WITHOUT ANY
+WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
+for more details.
You should have received a copy of the GNU General Public License
-along with GNU CC; see the file COPYING. If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA. */
+along with GCC; see the file COPYING. If not, write to the Free
+Software Foundation, 59 Temple Place - Suite 330, 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"
#undef FLOAT /* This is for hpux. They should change hpux. */
#undef FFS /* Some systems define this in param.h. */
#include "system.h"
-
+#include "coretypes.h"
+#include "tm.h"
#include "tree.h"
-#include "rtl.h"
+#include "version.h"
#include "tm_p.h"
#include "flags.h"
#include "input.h"
-#include "insn-attr.h"
-#include "insn-codes.h"
-#include "insn-config.h"
#include "toplev.h"
#include "intl.h"
#include "diagnostic.h"
+#include "langhooks.h"
+#include "langhooks-def.h"
-#define obstack_chunk_alloc xmalloc
-#define obstack_chunk_free free
-
-/* Prototypes. */
-static int doing_line_wrapping PARAMS ((void));
-
-static char *vbuild_message_string PARAMS ((const char *, va_list));
-static char *build_message_string PARAMS ((const char *, ...))
- ATTRIBUTE_PRINTF_1;
-static char *build_location_prefix PARAMS ((const char *, int, int));
-static void output_notice 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 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 report_file_and_line PARAMS ((const char *, int, int));
-static void vnotice PARAMS ((FILE *, const char *, va_list));
-static void set_real_maximum_length PARAMS ((output_buffer *));
-
-extern int rtl_dump_and_exit;
-extern int inhibit_warnings;
-extern int warnings_are_errors;
-extern int warningcount;
-extern int errorcount;
-
-/* Front-end specific tree formatter, if non-NULL. */
-printer_fn lang_printer = NULL;
-
-/* An output_buffer surrogate for stderr. */
-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 tree last_error_function = NULL;
-
-/* Used to detect when input_file_stack has changed since last described. */
-static int last_error_tick;
-
-/* Called by report_error_function to print out function name.
- * Default may be overridden by language front-ends. */
-
-void (*print_error_function) PARAMS ((const char *)) =
- default_print_error_function;
-
-/* Maximum characters per line in automatic line wrapping mode.
- Zero means don't wrap lines. */
-
-int diagnostic_message_length_per_line;
-
-/* 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;
-\f
-/* Initialize the diagnostic message outputting machinery. */
-void
-initialize_diagnostics ()
-{
- /* 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);
-}
+/* Prototypes. */
+static char *build_message_string (const char *, ...) ATTRIBUTE_PRINTF_1;
-/* Predicate. Return 1 if we're in automatic line wrapping mode. */
+static void default_diagnostic_starter (diagnostic_context *,
+ diagnostic_info *);
+static void default_diagnostic_finalizer (diagnostic_context *,
+ diagnostic_info *);
-static int
-doing_line_wrapping ()
-{
- return diagnostic_message_length_per_line > 0;
-}
-
-void
-set_message_prefixing_rule (rule)
- int rule;
-{
- current_prefixing_rule = rule;
-}
-
-/* Returns true if BUFFER is in line-wrappind mode. */
-int
-output_is_line_wrapping (buffer)
- output_buffer *buffer;
-{
- return buffer->ideal_maximum_length > 0;
-}
+static void error_recursion (diagnostic_context *) ATTRIBUTE_NORETURN;
+static bool diagnostic_count_diagnostic (diagnostic_context *,
+ diagnostic_info *);
+static void diagnostic_action_after_output (diagnostic_context *,
+ diagnostic_info *);
+static void real_abort (void) ATTRIBUTE_NORETURN;
-/* Return BUFFER's prefix. */
-const char *
-output_get_prefix (buffer)
- const output_buffer *buffer;
-{
- return buffer->prefix;
-}
-
-/* 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))
- buffer->maximum_length = buffer->ideal_maximum_length;
- else
- {
- int prefix_length = buffer->prefix ? strlen (buffer->prefix) : 0;
- /* If the prefix is ridiculously too long, output at least
- 32 characters. */
- if (buffer->ideal_maximum_length - prefix_length < 32)
- buffer->maximum_length = buffer->ideal_maximum_length + 32;
- else
- buffer->maximum_length = buffer->ideal_maximum_length;
- }
-}
-
-/* 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;
- int length;
-{
- buffer->ideal_maximum_length = length;
- set_real_maximum_length (buffer);
-}
-
-/* Sets BUFFER's PREFIX. */
-void
-output_set_prefix (buffer, prefix)
- output_buffer *buffer;
- const char *prefix;
-{
- buffer->prefix = prefix;
- set_real_maximum_length (buffer);
- buffer->emitted_prefix_p = 0;
-}
-
-/* Free BUFFER's prefix, a previously malloc()'d string. */
-
-void
-output_destroy_prefix (buffer)
- output_buffer *buffer;
-{
- if (buffer->prefix)
- {
- free ((char *) buffer->prefix);
- buffer->prefix = NULL;
- }
-}
-
-/* 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;
-{
- obstack_init (&buffer->obstack);
- buffer->ideal_maximum_length = maximum_length;
- buffer->line_length = 0;
- output_set_prefix (buffer, prefix);
- buffer->emitted_prefix_p = 0;
- buffer->prefixing_rule = current_prefixing_rule;
-
- buffer->cursor = NULL;
-}
-
-/* Initialize BUFFER with a NULL prefix and current diagnostic message
- length cutoff. */
-void
-default_initialize_buffer (buffer)
- output_buffer *buffer;
-{
- init_output_buffer (buffer, NULL, diagnostic_message_length_per_line);
-}
-
-/* Recompute diagnostic_buffer's attributes to reflect any change
- in diagnostic formatting global options. */
-void
-reshape_diagnostic_buffer ()
-{
- diagnostic_buffer->ideal_maximum_length = diagnostic_message_length_per_line;
- diagnostic_buffer->prefixing_rule = current_prefixing_rule;
- set_real_maximum_length (diagnostic_buffer);
-}
-
-/* Reinitialize BUFFER. */
-void
-output_clear (buffer)
- output_buffer *buffer;
+/* A diagnostic_context surrogate for stderr. */
+static diagnostic_context global_diagnostic_context;
+diagnostic_context *global_dc = &global_diagnostic_context;
+\f
+/* Return a malloc'd string containing MSG formatted a la printf. The
+ caller is responsible for freeing the memory. */
+static char *
+build_message_string (const char *msg, ...)
{
- obstack_free (&buffer->obstack, obstack_base (&buffer->obstack));
- buffer->line_length = 0;
- buffer->cursor = NULL;
- buffer->emitted_prefix_p = 0;
-}
+ char *str;
+ va_list ap;
-/* Finishes to construct a NULL-terminated character string representing
- the BUFFERed message. */
-const char *
-output_finish (buffer)
- output_buffer *buffer;
-{
- obstack_1grow (&buffer->obstack, '\0');
- return (const char *) obstack_finish (&buffer->obstack);
-}
+ va_start (ap, msg);
+ vasprintf (&str, msg, ap);
+ va_end (ap);
-/* Return the amount of characters BUFFER can accept to
- make a full line. */
-int
-output_space_left (buffer)
- const output_buffer *buffer;
-{
- return buffer->maximum_length - buffer->line_length;
+ return str;
}
-/* Write out BUFFER's prefix. */
-void
-output_emit_prefix (buffer)
- output_buffer *buffer;
+/* Same as diagnostic_build_prefix, but only the source FILE is given. */
+char *
+file_name_as_prefix (const char *f)
{
- if (buffer->prefix)
- {
- switch (buffer->prefixing_rule)
- {
- default:
- case DIAGNOSTICS_SHOW_PREFIX_NEVER:
- break;
-
- case DIAGNOSTICS_SHOW_PREFIX_ONCE:
- if (buffer->emitted_prefix_p)
- break;
- else
- buffer->emitted_prefix_p = 1;
- /* Fall through. */
-
- case DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE:
- buffer->line_length += strlen (buffer->prefix);
- obstack_grow
- (&buffer->obstack, buffer->prefix, buffer->line_length);
- break;
- }
- }
+ return build_message_string ("%s: ", f);
}
-/* Have BUFFER start a new line. */
-void
-output_add_newline (buffer)
- output_buffer *buffer;
-{
- obstack_1grow (&buffer->obstack, '\n');
- buffer->line_length = 0;
-}
-/* Appends a character to BUFFER. */
+\f
+/* Initialize the diagnostic message outputting machinery. */
void
-output_add_character (buffer, c)
- output_buffer *buffer;
- int c;
+diagnostic_initialize (diagnostic_context *context)
{
- if (output_is_line_wrapping (buffer) && output_space_left (buffer) <= 0)
- output_add_newline (buffer);
- obstack_1grow (&buffer->obstack, c);
- ++buffer->line_length;
-}
+ /* Allocate a basic pretty-printer. Clients will replace this a
+ much more elaborated pretty-printer if they wish. */
+ context->printer = xmalloc (sizeof (pretty_printer));
+ pp_construct (context->printer, NULL, 0);
+ /* By default, diagnostics are sent to stderr. */
+ context->printer->buffer->stream = stderr;
+ /* By default, we emit prefixes once per message. */
+ context->printer->prefixing_rule = DIAGNOSTICS_SHOW_PREFIX_ONCE;
-/* Adds a space to BUFFER. */
-void
-output_add_space (buffer)
- output_buffer *buffer;
-{
- if (output_is_line_wrapping (buffer) && output_space_left (buffer) <= 0)
- {
- output_add_newline (buffer);
- return;
- }
- obstack_1grow (&buffer->obstack, ' ');
- ++buffer->line_length;
+ memset (context->diagnostic_count, 0, sizeof context->diagnostic_count);
+ context->issue_warnings_are_errors_message = true;
+ context->warning_as_error_requested = false;
+ context->abort_on_error = false;
+ context->internal_error = NULL;
+ diagnostic_starter (context) = default_diagnostic_starter;
+ diagnostic_finalizer (context) = default_diagnostic_finalizer;
+ context->last_module = 0;
+ context->last_function = NULL;
+ context->lock = 0;
}
-/* Add the stringified version of an integer to BUFFER. */
void
-output_add_integer (buffer, i)
- output_buffer *buffer;
- HOST_WIDE_INT i;
+diagnostic_set_info (diagnostic_info *diagnostic, const char *msgid,
+ va_list *args, location_t location,
+ diagnostic_t kind)
{
- /* This must be large enough to hold any printed integer or
- floating-point value. */
- static char digit_buffer[128];
-
- sprintf (digit_buffer, HOST_WIDE_INT_PRINT_DEC, i);
- output_add_string (buffer, digit_buffer);
+ diagnostic->message.err_no = errno;
+ diagnostic->message.args_ptr = args;
+ diagnostic->message.format_spec = _(msgid);
+ diagnostic->location = location;
+ diagnostic->kind = kind;
}
-/* Append a string deliminated by START and END to BUFFER. No wrapping is
- done. The caller must ensure that it is safe to do so. */
-
-void
-output_append (buffer, start, end)
- output_buffer *buffer;
- const char *start;
- const char *end;
-{
- int n;
-
- /* Emit prefix and skip whitespace if we're starting a new line. */
- if (buffer->line_length == 0)
+/* Return a malloc'd string describing a location. The caller is
+ responsible for freeing the memory. */
+char *
+diagnostic_build_prefix (diagnostic_info *diagnostic)
+{
+ static const char *const diagnostic_kind_text[] = {
+#define DEFINE_DIAGNOSTIC_KIND(K, T) (T),
+#include "diagnostic.def"
+#undef DEFINE_DIAGNOSTIC_KIND
+ "must-not-happen"
+ };
+ expanded_location s = expand_location (diagnostic->location);
+ gcc_assert (diagnostic->kind < DK_LAST_DIAGNOSTIC_KIND);
+
+ return s.file
+ ? build_message_string ("%s:%d: %s",
+ s.file, s.line,
+ _(diagnostic_kind_text[diagnostic->kind]))
+ : build_message_string ("%s: %s", progname,
+ _(diagnostic_kind_text[diagnostic->kind]));
+}
+
+/* Count a diagnostic. Return true if the message should be printed. */
+static bool
+diagnostic_count_diagnostic (diagnostic_context *context,
+ diagnostic_info *diagnostic)
+{
+ diagnostic_t kind = diagnostic->kind;
+ switch (kind)
{
- output_emit_prefix (buffer);
- while (start != end && *start == ' ')
- ++start;
- }
- n = end - start;
- obstack_grow (&buffer->obstack, start, n);
- buffer->line_length += n;
-}
+ default:
+ gcc_unreachable ();
+
+ case DK_ICE:
+#ifndef ENABLE_CHECKING
+ /* When not checking, ICEs are converted to fatal errors when an
+ error has already occurred. This is counteracted by
+ abort_on_error. */
+ if ((diagnostic_kind_count (context, DK_ERROR) > 0
+ || diagnostic_kind_count (context, DK_SORRY) > 0)
+ && !context->abort_on_error)
+ {
+ expanded_location s = expand_location (diagnostic->location);
+ fnotice (stderr, "%s:%d: confused by earlier errors, bailing out\n",
+ s.file, s.line);
+ exit (FATAL_EXIT_CODE);
+ }
+#endif
+ if (context->internal_error)
+ (*context->internal_error) (diagnostic->message.format_spec,
+ diagnostic->message.args_ptr);
+ /* Fall through. */
-/* Wrap a STRing into BUFFER. */
+ case DK_FATAL: case DK_SORRY:
+ case DK_ANACHRONISM: case DK_NOTE:
+ ++diagnostic_kind_count (context, kind);
+ break;
-void
-output_add_string (buffer, str)
- output_buffer *buffer;
- const char *str;
-{
- const char *p = str;
+ case DK_WARNING:
+ if (!diagnostic_report_warnings_p ())
+ return false;
- if (!output_is_line_wrapping (buffer))
- output_append (buffer, str, str + strlen (str));
- else while (*str)
- {
- while (*p && *p != ' ' && *p != '\n')
- ++p;
-
- if (p - str < output_space_left (buffer))
- output_append (buffer, str, p);
- else
+ if (!context->warning_as_error_requested)
{
- output_add_newline (buffer);
- output_append (buffer, str, p);
+ ++diagnostic_kind_count (context, DK_WARNING);
+ break;
}
-
- while (*p && *p == '\n')
+ else if (context->issue_warnings_are_errors_message)
{
- output_add_newline (buffer);
- ++p;
+ pp_verbatim (context->printer,
+ "%s: warnings being treated as errors\n", progname);
+ context->issue_warnings_are_errors_message = false;
}
- str = p++;
+ /* And fall through. */
+ case DK_ERROR:
+ ++diagnostic_kind_count (context, DK_ERROR);
+ break;
}
-}
-/* Flush the content of BUFFER onto FILE and reinitialize BUFFER. */
-
-void
-output_flush_on (buffer, file)
- output_buffer *buffer;
- FILE *file;
-{
- const char *text = output_finish (buffer);
- fputs (text, file);
- output_clear (buffer);
+ return true;
}
-/* Format MESSAGE into BUFFER. */
-void
-output_format (buffer, msg)
- output_buffer *buffer;
- const char *msg;
+/* Take any action which is expected to happen after the diagnostic
+ is written out. This function does not always return. */
+static void
+diagnostic_action_after_output (diagnostic_context *context,
+ diagnostic_info *diagnostic)
{
- for (buffer->cursor = msg; *buffer->cursor; ++buffer->cursor)
+ switch (diagnostic->kind)
{
- /* Ignore text. */
- if (*buffer->cursor != '%')
- {
- output_add_character (buffer, *buffer->cursor);
- continue;
- }
-
- /* We got a '%'. Let's see what happens. */
- ++buffer->cursor;
-
- /* Let's handle the traditional cases. */
- if (*buffer->cursor == 's')
- output_add_string (buffer, va_arg (buffer->format_args, const char *));
- else if (*buffer->cursor == 'd')
- output_add_integer (buffer, va_arg (buffer->format_args, int));
- else if (*buffer->cursor == '%')
- /* It was a '%%'. Just output a '%'. */
- output_add_character (buffer, '%');
- else if (lang_printer)
- (*lang_printer) (buffer);
- else
- {
- /* Hmmm. The front-end failed to install a format translator
- but called us with an unrecognized format. Sorry. */
- abort();
- }
- }
- output_finish (buffer);
-}
-
-static char *
-vbuild_message_string (msgid, ap)
- const char *msgid;
- va_list ap;
-{
- char *str;
-
- vasprintf (&str, msgid, ap);
- return str;
-}
-
-/* Return a malloc'd string containing MSGID formatted a la
- printf. The caller is reponsible for freeing the memory. */
-
-static char *
-build_message_string VPARAMS ((const char *msgid, ...))
-{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
- va_list ap;
- char *str;
-
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
-#endif
-
- str = vbuild_message_string (msgid, ap);
+ case DK_DEBUG:
+ case DK_NOTE:
+ case DK_ANACHRONISM:
+ case DK_WARNING:
+ break;
+
+ case DK_ERROR:
+ case DK_SORRY:
+ if (context->abort_on_error)
+ real_abort ();
+ if (flag_fatal_errors)
+ {
+ fnotice (stderr, "compilation terminated due to -Wfatal-errors.\n");
+ exit (FATAL_EXIT_CODE);
+ }
+ break;
- va_end (ap);
+ case DK_ICE:
+ if (context->abort_on_error)
+ real_abort ();
- return str;
-}
+ fnotice (stderr, "Please submit a full bug report,\n"
+ "with preprocessed source if appropriate.\n"
+ "See %s for instructions.\n", bug_report_url);
+ exit (FATAL_EXIT_CODE);
+ case DK_FATAL:
+ if (context->abort_on_error)
+ real_abort ();
-/* Return a malloc'd string describing a location. The caller is
- responsible for freeing the memory. */
+ fnotice (stderr, "compilation terminated.\n");
+ exit (FATAL_EXIT_CODE);
-static char *
-build_location_prefix (file, line, warn)
- const char *file;
- int line;
- int warn;
-{
- if (file)
- {
- if (warn)
- return build_message_string ("%s:%d: warning: ", file, line);
- else
- return build_message_string ("%s:%d: ", file, line);
+ default:
+ gcc_unreachable ();
}
- else
- {
- if (warn)
- return build_message_string ("%s: warning: ", progname);
- else
- return build_message_string ("%s: ", progname);
- }
-}
-
-/* Format a MESSAGE into BUFFER. Automatically wrap lines. */
-
-static void
-output_notice (buffer, msgid)
- output_buffer *buffer;
- const char *msgid;
-{
- char *message = vbuild_message_string (msgid, buffer->format_args);
-
- output_add_string (buffer, message);
- free (message);
}
-
-/* Format a message into BUFFER a la printf. */
-
+/* Prints out, if necessary, the name of the current function
+ that caused an error. Called from all error and warning functions. */
void
-output_printf VPARAMS ((struct output_buffer *buffer, const char *msgid, ...))
-{
-#ifndef ANSI_PROTOTYPES
- struct output_buffer *buffer;
- const char *msgid;
-#endif
- va_list ap;
-
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- buffer = va_arg (ap, struct output_buffer *);
- msgid = va_arg (ap, const char *);
-#endif
-
- va_copy (buffer->format_args, ap);
- output_notice (buffer, msgid);
- va_end (buffer->format_args);
-}
-
-
-/* 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
- output_buffer buffer;
-
- init_output_buffer (&buffer, NULL, diagnostic_message_length_per_line);
- VA_START (buffer.format_args, msgid);
-
-#ifndef ANSI_PROTOTYPES
- file = va_arg (buffer.format_args, FILE *);
- msgid = va_arg (buffer.format_args, const char *);
-#endif
-
- output_notice (&buffer, msgid);
- output_flush_on (&buffer, file);
-
- va_end (buffer.format_args);
-}
-
-
-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, build_location_prefix (file, line, warn),
- diagnostic_message_length_per_line);
- va_copy (buffer.format_args, ap);
- output_notice (&buffer, msgid);
- output_flush_on (&buffer, stderr);
-
- output_destroy_prefix (&buffer);
- fputc ('\n', stderr);
-}
-
-
-/* Print the message MSGID in FILE. */
-
-static void
-vnotice (file, msgid, ap)
- FILE *file;
- const char *msgid;
- va_list ap;
-{
- 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;
+diagnostic_report_current_function (diagnostic_context *context)
{
- report_file_and_line (file, line, warn);
- vnotice (stderr, msgid, ap);
- fputc ('\n', stderr);
+ diagnostic_report_current_module (context);
+ lang_hooks.print_error_function (context, input_filename);
}
-/* Print a message relevant to the given DECL. */
-
-static void
-v_message_with_decl (decl, warn, msgid, ap)
- tree decl;
- int warn;
- const char *msgid;
- va_list ap;
+void
+diagnostic_report_current_module (diagnostic_context *context)
{
- const char *p;
- output_buffer buffer;
-
- if (doing_line_wrapping ())
- {
- init_output_buffer
- (&buffer, build_location_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)
- {
- if (*p == '%')
- {
- if (*(p + 1) == '%')
- ++p;
- else if (*(p + 1) != 's')
- abort ();
- else
- break;
- }
- }
+ struct file_stack *p;
- if (p > _(msgid)) /* Print the left-hand substring. */
+ if (pp_needs_newline (context->printer))
{
- if (doing_line_wrapping ())
- output_printf (&buffer, "%.*s", (int)(p - _(msgid)), _(msgid));
- else
- fprintf (stderr, "%.*s", (int)(p - _(msgid)), _(msgid));
+ pp_newline (context->printer);
+ pp_needs_newline (context->printer) = false;
}
- if (*p == '%') /* Print the name. */
+ p = input_file_stack;
+ if (p && diagnostic_last_module_changed (context))
{
- 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);
- while (*p)
+ expanded_location xloc = expand_location (p->location);
+ pp_verbatim (context->printer,
+ "In file included from %s:%d",
+ xloc.file, xloc.line);
+ while ((p = p->next) != NULL)
{
- ++p;
- if (ISALPHA (*(p - 1) & 0xFF))
- break;
+ xloc = expand_location (p->location);
+ pp_verbatim (context->printer,
+ ",\n from %s:%d",
+ xloc.file, xloc.line);
}
+ pp_verbatim (context->printer, ":\n");
+ diagnostic_set_last_module (context);
}
-
- if (*p) /* Print the rest of the message. */
- {
- if (doing_line_wrapping ())
- {
- va_copy (buffer.format_args, ap);
- output_notice (&buffer, p);
- va_copy (ap, buffer.format_args);
- }
- else
- vfprintf (stderr, p, ap);
- }
-
- if (doing_line_wrapping())
- {
- output_flush_on (&buffer, stderr);
- output_destroy_prefix (&buffer);
- }
-
- fputc ('\n', stderr);
}
-/* Figure file and line of the given INSN. */
-
static void
-file_and_line_for_asm (insn, pfile, pline)
- rtx insn;
- const char **pfile;
- int *pline;
+default_diagnostic_starter (diagnostic_context *context,
+ diagnostic_info *diagnostic)
{
- rtx body = PATTERN (insn);
- rtx asmop;
-
- /* Find the (or one of the) ASM_OPERANDS in the insn. */
- if (GET_CODE (body) == SET && GET_CODE (SET_SRC (body)) == ASM_OPERANDS)
- asmop = SET_SRC (body);
- else if (GET_CODE (body) == ASM_OPERANDS)
- asmop = body;
- else if (GET_CODE (body) == PARALLEL
- && GET_CODE (XVECEXP (body, 0, 0)) == SET)
- asmop = SET_SRC (XVECEXP (body, 0, 0));
- else if (GET_CODE (body) == PARALLEL
- && GET_CODE (XVECEXP (body, 0, 0)) == ASM_OPERANDS)
- asmop = XVECEXP (body, 0, 0);
- else
- asmop = NULL;
-
- if (asmop)
- {
- *pfile = ASM_OPERANDS_SOURCE_FILE (asmop);
- *pline = ASM_OPERANDS_SOURCE_LINE (asmop);
- }
- else
- {
- *pfile = input_filename;
- *pline = lineno;
- }
+ diagnostic_report_current_function (context);
+ pp_set_prefix (context->printer, diagnostic_build_prefix (diagnostic));
}
-/* 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;
+default_diagnostic_finalizer (diagnostic_context *context,
+ diagnostic_info *diagnostic __attribute__((unused)))
{
- 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);
+ pp_destroy_prefix (context->printer);
}
-/* 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,
- and each ASM_OPERANDS records its own source file and line. */
-
-static void
-v_error_for_asm (insn, msgid, ap)
- 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. */
+/* 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
-verror (msgid, ap)
- const char *msgid;
- va_list ap;
+diagnostic_report_diagnostic (diagnostic_context *context,
+ diagnostic_info *diagnostic)
{
- 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;
-{
- if (fatal_function != 0)
- (*fatal_function) (_(msgid), ap);
-
- verror (msgid, ap);
- exit (FATAL_EXIT_CODE);
-}
-
-/* Report a warning at line LINE of file FILE. */
-
-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))
+ if (context->lock > 0)
{
- report_error_function (file);
- if (doing_line_wrapping ())
- vline_wrapper_message_with_location (file, line, 1, msgid, ap);
+ /* If we're reporting an ICE in the middle of some other error,
+ try to flush out the previous error, then let this one
+ through. Don't do this more than once. */
+ if (diagnostic->kind == DK_ICE && context->lock == 1)
+ pp_flush (context->printer);
else
- v_message_with_file_and_line (file, line, 1, msgid, ap);
- }
-}
-
-
-/* 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. */
-
-static void
-v_warning_with_decl (decl, msgid, ap)
- 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);
+ error_recursion (context);
}
-}
-
-/* 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. */
+ context->lock++;
-static void
-v_warning_for_asm (insn, msgid, ap)
- rtx insn;
- const char *msgid;
- va_list ap;
-{
- if (count_error (1))
+ if (diagnostic_count_diagnostic (context, diagnostic))
{
- 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);
+ pp_prepare_to_format (context->printer, &diagnostic->message,
+ &diagnostic->location);
+ (*diagnostic_starter (context)) (context, diagnostic);
+ pp_format_text (context->printer, &diagnostic->message);
+ (*diagnostic_finalizer (context)) (context, diagnostic);
+ pp_flush (context->printer);
+ diagnostic_action_after_output (context, diagnostic);
}
-}
-
-/* Report a warning at the current line number. */
-
-void
-vwarning (msgid, ap)
- const char *msgid;
- va_list ap;
-{
- v_warning_with_file_and_line (input_filename, lineno, msgid, ap);
+ context->lock--;
}
-/* These functions issue either warnings or errors depending on
- -pedantic-errors. */
+/* 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 ../../GCC/gcc/expr.c'. */
-void
-vpedwarn (msgid, ap)
- const char *msgid;
- va_list ap;
-{
- if (flag_pedantic_errors)
- verror (msgid, ap);
- else
- vwarning (msgid, ap);
-}
-
-
-static void
-v_pedwarn_with_decl (decl, msgid, ap)
- tree decl;
- const char *msgid;
- va_list ap;
+const char *
+trim_filename (const char *name)
{
- /* 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 (flag_pedantic_errors)
- v_error_with_decl (decl, msgid, ap);
- else
- v_warning_with_decl (decl, msgid, ap);
- }
-}
+ static const char this_file[] = __FILE__;
+ const char *p = name, *q = this_file;
+ /* First skip any "../" in each filename. This allows us to give a proper
+ reference to a file in a subdirectory. */
+ while (p[0] == '.' && p[1] == '.' && IS_DIR_SEPARATOR (p[2]))
+ p += 3;
-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);
-}
+ while (q[0] == '.' && q[1] == '.' && IS_DIR_SEPARATOR (q[2]))
+ q += 3;
+ /* Now skip any parts the two filenames have in common. */
+ while (*p == *q && *p != 0 && *q != 0)
+ p++, q++;
-/* Apologize for not implementing some feature. */
+ /* Now go backwards until the previous directory separator. */
+ while (p > name && !IS_DIR_SEPARATOR (p[-1]))
+ p--;
-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);
+ return p;
}
-
\f
-/* Count an error or warning. Return 1 if the message should be printed. */
-
-int
-count_error (warningp)
- int warningp;
-{
- if (warningp && inhibit_warnings)
- return 0;
-
- if (warningp && !warnings_are_errors)
- warningcount++;
- else
- {
- static int warning_message = 0;
-
- if (warningp && !warning_message)
- {
- notice ("%s: warnings being treated as errors\n", progname);
- warning_message = 1;
- }
- errorcount++;
- }
-
- return 1;
-}
+/* Standard error reporting routines in increasing order of severity.
+ All of these take arguments like printf. */
-/* Print a diagnistic MSGID on FILE. */
+/* Text to be emitted verbatim to the error message stream; this
+ produces no prefix and disables line-wrapping. Use rarely. */
void
-fnotice VPARAMS ((FILE *file, const char *msgid, ...))
+verbatim (const char *msgid, ...)
{
-#ifndef ANSI_PROTOTYPES
- FILE *file;
- const char *msgid;
-#endif
+ text_info text;
va_list ap;
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- file = va_arg (ap, FILE *);
- msgid = va_arg (ap, const char *);
-#endif
-
- vnotice (file, msgid, ap);
+ va_start (ap, msgid);
+ text.err_no = errno;
+ text.args_ptr = ≈
+ text.format_spec = _(msgid);
+ pp_format_verbatim (global_dc->printer, &text);
+ pp_flush (global_dc->printer);
va_end (ap);
}
-
-/* Print a fatal error message. NAME is the text.
- Also include a system error message based on `errno'. */
-
-void
-pfatal_with_name (name)
- const char *name;
-{
- fprintf (stderr, "%s: ", progname);
- perror (name);
- exit (FATAL_EXIT_CODE);
-}
-
+/* An informative note. Use this for additional details on an error
+ message. */
void
-fatal_io_error (name)
- const char *name;
+inform (const char *msgid, ...)
{
- notice ("%s: %s: I/O error\n", progname, name);
- exit (FATAL_EXIT_CODE);
-}
-
-/* Issue a pedantic warning MSGID. */
-void
-pedwarn VPARAMS ((const char *msgid, ...))
-{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
+ diagnostic_info diagnostic;
va_list ap;
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
-#endif
-
- vpedwarn (msgid, ap);
+ va_start (ap, msgid);
+ diagnostic_set_info (&diagnostic, msgid, &ap, input_location, DK_NOTE);
+ report_diagnostic (&diagnostic);
va_end (ap);
}
-/* Issue a pedantic waring about DECL. */
+/* A warning. Use this for code which is correct according to the
+ relevant language specification but is likely to be buggy anyway. */
void
-pedwarn_with_decl VPARAMS ((tree decl, const char *msgid, ...))
+warning (const char *msgid, ...)
{
-#ifndef ANSI_PROTOTYPES
- tree decl;
- const char *msgid;
-#endif
+ diagnostic_info diagnostic;
va_list ap;
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- decl = va_arg (ap, tree);
- msgid = va_arg (ap, const char *);
-#endif
-
- v_pedwarn_with_decl (decl, msgid, ap);
+ va_start (ap, msgid);
+ diagnostic_set_info (&diagnostic, msgid, &ap, input_location, DK_WARNING);
+ report_diagnostic (&diagnostic);
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, ...))
-{
-#ifndef ANSI_PROTOTYPES
- const char *file;
- int line;
- const char *msgid;
-#endif
- va_list ap;
-
- VA_START (ap, msgid);
+/* A "pedantic" warning: issues a warning unless -pedantic-errors was
+ given on the command line, in which case it issues an error. Use
+ this for diagnostics required by the relevant language standard,
+ if you have chosen not to make them errors.
-#ifndef ANSI_PROTOTYPES
- file = va_arg (ap, const char *);
- line = va_arg (ap, int);
- msgid = va_arg (ap, const char *);
-#endif
-
- v_pedwarn_with_file_and_line (file, line, msgid, ap);
- va_end (ap);
-}
-
-/* Just apologize with MSGID. */
+ Note that these diagnostics are issued independent of the setting
+ of the -pedantic command-line switch. To get a warning enabled
+ only with that switch, write "if (pedantic) pedwarn (...);" */
void
-sorry VPARAMS ((const char *msgid, ...))
+pedwarn (const char *msgid, ...)
{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
+ diagnostic_info diagnostic;
va_list ap;
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
-#endif
-
- vsorry (msgid, ap);
+ va_start (ap, msgid);
+ diagnostic_set_info (&diagnostic, msgid, &ap, input_location,
+ pedantic_error_kind ());
+ report_diagnostic (&diagnostic);
va_end (ap);
}
-/* Called when the start of a function definition is parsed,
- this function prints on stderr the name of the function. */
-
-void
-announce_function (decl)
- tree decl;
-{
- if (! quiet_flag)
- {
- if (rtl_dump_and_exit)
- fprintf (stderr, "%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));
- }
- fflush (stderr);
- need_error_newline = 1;
- last_error_function = current_function_decl;
- }
-}
-
-/* The default function to print out name of current function that caused
- an error. */
-
-void
-default_print_error_function (file)
- const char *file;
-{
- if (last_error_function != current_function_decl)
- {
- char *prefix = NULL;
- output_buffer buffer;
-
- if (file)
- prefix = build_message_string ("%s: ", file);
-
- if (doing_line_wrapping ())
- init_output_buffer
- (&buffer, prefix, diagnostic_message_length_per_line);
- else
- {
- if (file)
- fprintf (stderr, "%s: ", file);
- }
-
- if (current_function_decl == NULL)
- {
- if (doing_line_wrapping ())
- output_printf (&buffer, "At top level:\n");
- else
- notice ("At top level:\n");
- }
- 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));
- }
- 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));
- }
- }
-
- last_error_function = current_function_decl;
-
- if (doing_line_wrapping ())
- output_flush_on (&buffer, stderr);
-
- free ((char*) prefix);
- }
-}
-
-/* Prints out, if necessary, the name of the current function
- that caused an error. Called from all error and warning functions.
- We ignore the FILE parameter, as it cannot be relied upon. */
-
-void
-report_error_function (file)
- const char *file ATTRIBUTE_UNUSED;
-{
- struct file_stack *p;
-
- if (need_error_newline)
- {
- fprintf (stderr, "\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)
- notice ("In file included from %s:%d", p->name, p->line);
- else
- notice (",\n from %s:%d", p->name, p->line);
- fprintf (stderr, ":\n");
- last_error_tick = input_file_stack_tick;
- }
-
- (*print_error_function) (input_filename);
-}
-
+/* A hard error: the code is definitely ill-formed, and an object file
+ will not be produced. */
void
-error_with_file_and_line VPARAMS ((const char *file, int line,
- const char *msgid, ...))
+error (const char *msgid, ...)
{
-#ifndef ANSI_PROTOTYPES
- const char *file;
- int line;
- const char *msgid;
-#endif
+ diagnostic_info diagnostic;
va_list ap;
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- file = va_arg (ap, const char *);
- line = va_arg (ap, int);
- msgid = va_arg (ap, const char *);
-#endif
-
- v_error_with_file_and_line (file, line, msgid, ap);
+ va_start (ap, msgid);
+ diagnostic_set_info (&diagnostic, msgid, &ap, input_location, DK_ERROR);
+ report_diagnostic (&diagnostic);
va_end (ap);
}
+/* "Sorry, not implemented." Use for a language feature which is
+ required by the relevant specification but not implemented by GCC.
+ An object file will not be produced. */
void
-error_with_decl VPARAMS ((tree decl, const char *msgid, ...))
+sorry (const char *msgid, ...)
{
-#ifndef ANSI_PROTOTYPES
- tree decl;
- const char *msgid;
-#endif
+ diagnostic_info diagnostic;
va_list ap;
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- decl = va_arg (ap, tree);
- msgid = va_arg (ap, const char *);
-#endif
-
- v_error_with_decl (decl, msgid, ap);
+ va_start (ap, msgid);
+ diagnostic_set_info (&diagnostic, msgid, &ap, input_location, DK_SORRY);
+ report_diagnostic (&diagnostic);
va_end (ap);
}
+/* An error which is severe enough that we make no attempt to
+ continue. Do not use this for internal consistency checks; that's
+ internal_error. Use of this function should be rare. */
void
-error_for_asm VPARAMS ((rtx insn, const char *msgid, ...))
+fatal_error (const char *msgid, ...)
{
-#ifndef ANSI_PROTOTYPES
- rtx insn;
- const char *msgid;
-#endif
+ diagnostic_info diagnostic;
va_list ap;
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- insn = va_arg (ap, rtx);
- msgid = va_arg (ap, const char *);
-#endif
-
- v_error_for_asm (insn, msgid, ap);
+ va_start (ap, msgid);
+ diagnostic_set_info (&diagnostic, msgid, &ap, input_location, DK_FATAL);
+ report_diagnostic (&diagnostic);
va_end (ap);
+
+ gcc_unreachable ();
}
+/* An internal consistency check has failed. We make no attempt to
+ continue. Note that unless there is debugging value to be had from
+ a more specific message, or some other good reason, you should use
+ abort () instead of calling this function directly. */
void
-error VPARAMS ((const char *msgid, ...))
+internal_error (const char *msgid, ...)
{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
+ diagnostic_info diagnostic;
va_list ap;
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
-#endif
-
- verror (msgid, ap);
+ va_start (ap, msgid);
+ diagnostic_set_info (&diagnostic, msgid, &ap, input_location, DK_ICE);
+ report_diagnostic (&diagnostic);
va_end (ap);
-}
-
-/* Set the function to call when a fatal error occurs. */
-void
-set_fatal_function (f)
- void (*f) PARAMS ((const char *, va_list));
-{
- fatal_function = f;
+ gcc_unreachable ();
}
+\f
+/* Special case error functions. Most are implemented in terms of the
+ above, or should be. */
+/* Print a diagnostic MSGID on FILE. This is just fprintf, except it
+ runs its second argument through gettext. */
void
-fatal VPARAMS ((const char *msgid, ...))
+fnotice (FILE *file, const char *msgid, ...)
{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
va_list ap;
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
-#endif
-
- vfatal (msgid, ap);
+ va_start (ap, msgid);
+ vfprintf (file, _(msgid), ap);
va_end (ap);
}
-void
-_fatal_insn (msgid, insn, file, line, function)
- const char *msgid;
- rtx insn;
- const char *file;
- int line;
- const char *function;
-{
- error ("%s", msgid);
- debug_rtx (insn);
- fancy_abort (file, line, function);
-}
+/* 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.
+ This mustn't use internal_error, that will cause infinite recursion. */
-void
-_fatal_insn_not_found (insn, file, line, function)
- rtx insn;
- const char *file;
- int line;
- const char *function;
+static void
+error_recursion (diagnostic_context *context)
{
- if (INSN_CODE (insn) < 0)
- _fatal_insn ("Unrecognizable insn:", insn, file, line, function);
- else
- _fatal_insn ("Insn does not satisfy its constraints:",
- insn, file, line, function);
-}
+ diagnostic_info diagnostic;
-void
-warning_with_file_and_line VPARAMS ((const char *file, int line,
- const char *msgid, ...))
-{
-#ifndef ANSI_PROTOTYPES
- const char *file;
- int line;
- const char *msgid;
-#endif
- va_list ap;
+ if (context->lock < 3)
+ pp_flush (context->printer);
- VA_START (ap, msgid);
+ fnotice (stderr,
+ "Internal compiler error: Error reporting routines re-entered.\n");
-#ifndef ANSI_PROTOTYPES
- file = va_arg (ap, const char *);
- line = va_arg (ap, int);
- msgid = va_arg (ap, const char *);
-#endif
+ /* Call diagnostic_action_after_output to get the "please submit a bug
+ report" message. It only looks at the kind field of diagnostic_info. */
+ diagnostic.kind = DK_ICE;
+ diagnostic_action_after_output (context, &diagnostic);
- v_warning_with_file_and_line (file, line, msgid, ap);
- va_end (ap);
+ /* Do not use gcc_unreachable here; that goes through internal_error
+ and therefore would cause infinite recursion. */
+ real_abort ();
}
-void
-warning_with_decl VPARAMS ((tree decl, const char *msgid, ...))
-{
-#ifndef ANSI_PROTOTYPES
- tree decl;
- const char *msgid;
-#endif
- va_list ap;
-
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- decl = va_arg (ap, tree);
- msgid = va_arg (ap, const char *);
-#endif
-
- v_warning_with_decl (decl, msgid, ap);
- va_end (ap);
-}
+/* Report an internal compiler error in a friendly manner. This is
+ the function that gets called upon use of abort() in the source
+ code generally, thanks to a special macro. */
void
-warning_for_asm VPARAMS ((rtx insn, const char *msgid, ...))
+fancy_abort (const char *file, int line, const char *function)
{
-#ifndef ANSI_PROTOTYPES
- rtx insn;
- const char *msgid;
-#endif
- va_list ap;
-
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- insn = va_arg (ap, rtx);
- msgid = va_arg (ap, const char *);
-#endif
-
- v_warning_for_asm (insn, msgid, ap);
- va_end (ap);
+ internal_error ("in %s, at %s:%d", function, trim_filename (file), line);
}
-void
-warning VPARAMS ((const char *msgid, ...))
+/* Really call the system 'abort'. This has to go right at the end of
+ this file, so that there are no functions after it that call abort
+ and get the system abort instead of our macro. */
+#undef abort
+static void
+real_abort (void)
{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
- va_list ap;
-
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
-#endif
-
- vwarning (msgid, ap);
- va_end (ap);
+ abort ();
}
-