-/* Top level of GNU C compiler
- Copyright (C) 1999 Free Software Foundation, Inc.
+/* Language-independent diagnostic subroutines for the GNU C compiler
+ Copyright (C) 1999, 2000, 2001, 2002 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 "tree.h"
-#include "rtl.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"
-
-
-/* Prototypes. */
-static void notice PVPROTO((const char *s, ...)) ATTRIBUTE_PRINTF_1;
-static void vmessage PROTO((const char *, const char *, va_list));
-static void v_message_with_file_and_line PROTO((const char *, int, int,
- const char *, va_list));
-static void v_message_with_decl PROTO((tree, int, const char *, va_list));
-static void file_and_line_for_asm PROTO((rtx, char **, int *));
-static void v_error_with_file_and_line PROTO((const char *, int,
- const char *, va_list));
-static void v_error_with_decl PROTO((tree, const char *, va_list));
-static void v_error_for_asm PROTO((rtx, const char *, va_list));
-static void verror PROTO((const char *, va_list));
-static void vfatal PROTO((const char *, va_list)) ATTRIBUTE_NORETURN;
-static void v_warning_with_file_and_line PROTO ((const char *, int,
- const char *, va_list));
-static void v_warning_with_decl PROTO((tree, const char *, va_list));
-static void v_warning_for_asm PROTO((rtx, const char *, va_list));
-static void vwarning PROTO((const char *, va_list));
-static void vpedwarn PROTO((const char *, va_list));
-static void v_pedwarn_with_decl PROTO((tree, const char *, va_list));
-static void v_pedwarn_with_file_and_line PROTO((const char *, int,
- const char *, va_list));
-static void vsorry PROTO((const char *, va_list));
-static void report_file_and_line PROTO ((const char *, int, int));
-static void vnotice PROTO ((FILE *, const char *, va_list));
-
+#include "diagnostic.h"
+
+#define obstack_chunk_alloc xmalloc
+#define obstack_chunk_free free
+
+#define output_formatted_integer(BUFFER, FORMAT, INTEGER) \
+ do { \
+ sprintf ((BUFFER)->digit_buffer, FORMAT, INTEGER); \
+ output_add_string (BUFFER, (BUFFER)->digit_buffer); \
+ } while (0)
+
+#define output_text_length(BUFFER) (BUFFER)->line_length
+#define is_starting_newline(BUFFER) (output_text_length (BUFFER) == 0)
+#define output_prefix(BUFFER) (BUFFER)->state.prefix
+#define line_wrap_cutoff(BUFFER) (BUFFER)->state.maximum_length
+#define prefix_was_emitted_for(BUFFER) (BUFFER)->state.emitted_prefix_p
+#define output_buffer_ptr_to_format_args(BUFFER) (BUFFER)->state.format_args
+
+#define diagnostic_args output_buffer_ptr_to_format_args (diagnostic_buffer)
+#define diagnostic_msg output_buffer_text_cursor (diagnostic_buffer)
+
+/* Prototypes. */
+static void diagnostic_finish PARAMS ((output_buffer *));
+static void output_do_verbatim PARAMS ((output_buffer *,
+ const char *, va_list *));
+static void output_buffer_to_stream PARAMS ((output_buffer *));
+static void output_format PARAMS ((output_buffer *));
+static void output_indent PARAMS ((output_buffer *));
+
+static char *vbuild_message_string PARAMS ((const char *, va_list))
+ ATTRIBUTE_PRINTF (1, 0);
+static char *build_message_string PARAMS ((const char *, ...))
+ ATTRIBUTE_PRINTF_1;
+static void output_do_printf PARAMS ((output_buffer *, const char *))
+ ATTRIBUTE_PRINTF (2, 0);
+static void format_with_decl PARAMS ((output_buffer *, tree));
+static void diagnostic_for_decl PARAMS ((tree, const char *, va_list *, int));
+static void set_real_maximum_length PARAMS ((output_buffer *));
+
+static void output_unsigned_decimal PARAMS ((output_buffer *, unsigned int));
+static void output_long_decimal PARAMS ((output_buffer *, long int));
+static void output_long_unsigned_decimal PARAMS ((output_buffer *,
+ long unsigned int));
+static void output_octal PARAMS ((output_buffer *, unsigned int));
+static void output_long_octal PARAMS ((output_buffer *, unsigned long int));
+static void output_hexadecimal PARAMS ((output_buffer *, unsigned int));
+static void output_long_hexadecimal PARAMS ((output_buffer *,
+ unsigned long int));
+static void output_append_r PARAMS ((output_buffer *, const char *, int));
+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_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;
extern int rtl_dump_and_exit;
-extern int inhibit_warnings;
extern int warnings_are_errors;
-extern int warningcount;
-extern int errorcount;
-static int need_error_newline;
+/* A diagnostic_context surrogate for stderr. */
+static diagnostic_context global_diagnostic_context;
+diagnostic_context *global_dc = &global_diagnostic_context;
+
+/* This will be removed shortly. */
+output_buffer *diagnostic_buffer = &global_diagnostic_context.buffer;
/* Function of last error message;
more generally, function such that if next error message is in it
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 ((diagnostic_context *, const char *))
+ = default_print_error_function;
-void (*print_error_function) PROTO((const char *)) =
- default_print_error_function;
+/* Prevent recursion into the error handler. */
+static int diagnostic_lock;
\f
-/* Print the message MSGID in FILE. */
+/* Return truthvalue if current input file is different from the most recent
+ file involved in a diagnostic message. */
-static void
-vnotice (file, msgid, ap)
- FILE *file;
- const char *msgid;
- va_list ap;
+int
+error_module_changed ()
{
- vfprintf (file, _(msgid), ap);
+ return last_error_tick != input_file_stack_tick;
}
-/* Print MSGID on stderr. */
+/* Remember current file as being the most recent file involved in a
+ diagnostic message. */
-static void
-notice VPROTO((const char *msgid, ...))
+void
+record_last_error_module ()
{
-#ifndef ANSI_PROTOTYPES
- char *msgid;
-#endif
- va_list ap;
+ last_error_tick = input_file_stack_tick;
+}
- VA_START (ap, msgid);
+/* Same as error_module_changed, but for function. */
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, char *);
-#endif
+int
+error_function_changed ()
+{
+ return last_error_function != current_function_decl;
+}
- vnotice (stderr, msgid, ap);
- va_end (ap);
+/* Same as record_last_error_module, but for function. */
+
+void
+record_last_error_function ()
+{
+ last_error_function = current_function_decl;
}
-/* Report FILE and LINE (or program name), and optionally just WARN. */
+/* Initialize the diagnostic message outputting machinery. */
-static void
-report_file_and_line (file, line, warn)
- const char *file;
- int line;
- int warn;
+void
+diagnostic_initialize (context)
+ diagnostic_context *context;
{
- if (file)
- fprintf (stderr, "%s:%d: ", file, line);
- else
- fprintf (stderr, "%s: ", progname);
+ memset (context, 0, sizeof *context);
+ obstack_init (&context->buffer.obstack);
- if (warn)
- notice ("warning: ");
+ /* By default, diagnostics are sent to stderr. */
+ output_buffer_attached_stream (&context->buffer) = stderr;
+
+ /* By default, we emit prefixes once per message. */
+ diagnostic_prefixing_rule (context) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
+
+ diagnostic_starter (context) = default_diagnostic_starter;
+ diagnostic_finalizer (context) = default_diagnostic_finalizer;
}
-/* Print a PREFIXed MSGID. */
+/* Returns true if BUFFER is in line-wrapping mode. */
-static void
-vmessage (prefix, msgid, ap)
- const char *prefix;
- const char *msgid;
- va_list ap;
+int
+output_is_line_wrapping (buffer)
+ output_buffer *buffer;
{
- if (prefix)
- fprintf (stderr, "%s: ", prefix);
+ return diagnostic_line_cutoff (buffer) > 0;
+}
+
+/* Return BUFFER's prefix. */
- vfprintf (stderr, msgid, ap);
+const char *
+output_get_prefix (buffer)
+ const output_buffer *buffer;
+{
+ return output_prefix (buffer);
}
-/* Print a message relevant to line LINE of file FILE. */
+/* Subroutine of output_set_maximum_length. Set up BUFFER's
+ internal maximum characters per line. */
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;
+set_real_maximum_length (buffer)
+ output_buffer *buffer;
{
- report_file_and_line (file, line, warn);
- vnotice (stderr, msgid, ap);
- fputc ('\n', stderr);
+ /* 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 unnecessarily the line-length cut-off. */
+ if (! output_is_line_wrapping (buffer)
+ || diagnostic_prefixing_rule (buffer) == DIAGNOSTICS_SHOW_PREFIX_ONCE
+ || diagnostic_prefixing_rule (buffer) == DIAGNOSTICS_SHOW_PREFIX_NEVER)
+ line_wrap_cutoff (buffer) = diagnostic_line_cutoff (buffer);
+ else
+ {
+ int prefix_length =
+ output_prefix (buffer) ? strlen (output_prefix (buffer)) : 0;
+ /* If the prefix is ridiculously too long, output at least
+ 32 characters. */
+ if (diagnostic_line_cutoff (buffer) - prefix_length < 32)
+ line_wrap_cutoff (buffer) = diagnostic_line_cutoff (buffer) + 32;
+ else
+ line_wrap_cutoff (buffer) = diagnostic_line_cutoff (buffer);
+ }
}
-/* Print a message relevant to the given DECL. */
+/* Sets the number of maximum characters per line BUFFER can output
+ in line-wrapping mode. A LENGTH value 0 suppresses line-wrapping. */
-static void
-v_message_with_decl (decl, warn, msgid, ap)
- tree decl;
- int warn;
- const char *msgid;
- va_list ap;
+void
+output_set_maximum_length (buffer, length)
+ output_buffer *buffer;
+ int length;
{
- const char *p;
+ diagnostic_line_cutoff (buffer) = length;
+ set_real_maximum_length (buffer);
+}
- report_file_and_line (DECL_SOURCE_FILE (decl),
- DECL_SOURCE_LINE (decl), warn);
+/* Sets BUFFER's PREFIX. */
- /* 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". */
+void
+output_set_prefix (buffer, prefix)
+ output_buffer *buffer;
+ const char *prefix;
+{
+ output_prefix (buffer) = prefix;
+ set_real_maximum_length (buffer);
+ prefix_was_emitted_for (buffer) = 0;
+ output_indentation (buffer) = 0;
+}
- for (p = _(msgid); *p; ++p)
- {
- if (*p == '%')
- {
- if (*(p + 1) == '%')
- ++p;
- else if (*(p + 1) != 's')
- abort ();
- else
- break;
- }
- }
+/* 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;
+}
- if (p > _(msgid)) /* Print the left-hand substring. */
- fprintf (stderr, "%.*s", (int)(p - _(msgid)), _(msgid));
+/* Free BUFFER's prefix, a previously malloc'd string. */
- if (*p == '%') /* Print the name. */
+void
+output_destroy_prefix (buffer)
+ output_buffer *buffer;
+{
+ if (output_prefix (buffer) != NULL)
{
- const char *n = (DECL_NAME (decl)
- ? (*decl_printable_name) (decl, 2)
- : "((anonymous))");
- fputs (n, stderr);
- while (*p)
- {
- ++p;
- if (ISALPHA (*(p - 1) & 0xFF))
- break;
- }
+ free ((char *) output_prefix (buffer));
+ output_prefix (buffer) = NULL;
}
+}
- if (*p) /* Print the rest of the message. */
- vmessage ((char *)NULL, p, ap);
+/* Zero out any text output so far in BUFFER. */
- fputc ('\n', stderr);
+void
+output_clear_message_text (buffer)
+ output_buffer *buffer;
+{
+ obstack_free (&buffer->obstack, obstack_base (&buffer->obstack));
+ output_text_length (buffer) = 0;
}
-/* Figure file and line of the given INSN. */
+/* Zero out any diagnostic data used so far by BUFFER. */
static void
-file_and_line_for_asm (insn, pfile, pline)
- rtx insn;
- char **pfile;
- int *pline;
-{
- 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;
+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;
+{
+ memset (buffer, 0, sizeof (output_buffer));
+ obstack_init (&buffer->obstack);
+ output_buffer_attached_stream (buffer) = stderr;
+ diagnostic_line_cutoff (buffer) = maximum_length;
+ diagnostic_prefixing_rule (buffer) = diagnostic_prefixing_rule (global_dc);
+ output_set_prefix (buffer, prefix);
+ output_text_length (buffer) = 0;
+ clear_diagnostic_info (buffer);
+}
+
+/* Reinitialize BUFFER. */
+
+void
+output_clear (buffer)
+ output_buffer *buffer;
+{
+ output_clear_message_text (buffer);
+ clear_diagnostic_info (buffer);
+}
+
+/* Finishes constructing a NULL-terminated character string representing
+ the BUFFERed message. */
+
+const char *
+output_finalize_message (buffer)
+ output_buffer *buffer;
+{
+ obstack_1grow (&buffer->obstack, '\0');
+ return output_message_text (buffer);
+}
+
+void
+flush_diagnostic_buffer ()
+{
+ output_buffer_to_stream (diagnostic_buffer);
+ fflush (output_buffer_attached_stream (diagnostic_buffer));
+}
+
+/* Return the amount of characters BUFFER can accept to
+ make a full line. */
- if (asmop)
+int
+output_space_left (buffer)
+ const output_buffer *buffer;
+{
+ return line_wrap_cutoff (buffer) - output_text_length (buffer);
+}
+
+/* Write out BUFFER's prefix. */
+
+void
+output_emit_prefix (buffer)
+ output_buffer *buffer;
+{
+ if (output_prefix (buffer) != NULL)
{
- *pfile = ASM_OPERANDS_SOURCE_FILE (asmop);
- *pline = ASM_OPERANDS_SOURCE_LINE (asmop);
+ switch (diagnostic_prefixing_rule (buffer))
+ {
+ default:
+ case DIAGNOSTICS_SHOW_PREFIX_NEVER:
+ break;
+
+ case DIAGNOSTICS_SHOW_PREFIX_ONCE:
+ if (prefix_was_emitted_for (buffer))
+ {
+ output_indent (buffer);
+ break;
+ }
+ output_indentation (buffer) += 3;
+ /* Fall through. */
+
+ case DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE:
+ {
+ int prefix_length = strlen (output_prefix (buffer));
+ output_append_r (buffer, output_prefix (buffer), prefix_length);
+ prefix_was_emitted_for (buffer) = 1;
+ }
+ break;
+ }
}
- else
+}
+
+/* Have BUFFER start a new line. */
+
+void
+output_add_newline (buffer)
+ output_buffer *buffer;
+{
+ obstack_1grow (&buffer->obstack, '\n');
+ output_text_length (buffer) = 0;
+}
+
+/* Appends a character to BUFFER. */
+
+void
+output_add_character (buffer, c)
+ output_buffer *buffer;
+ int c;
+{
+ if (output_is_line_wrapping (buffer) && output_space_left (buffer) <= 0)
+ output_add_newline (buffer);
+ obstack_1grow (&buffer->obstack, c);
+ ++output_text_length (buffer);
+}
+
+/* Adds a space to BUFFER. */
+
+void
+output_add_space (buffer)
+ output_buffer *buffer;
+{
+ if (output_is_line_wrapping (buffer) && output_space_left (buffer) <= 0)
{
- *pfile = input_filename;
- *pline = lineno;
+ output_add_newline (buffer);
+ return;
}
+ obstack_1grow (&buffer->obstack, ' ');
+ ++output_text_length (buffer);
}
-/* Report an error at line LINE of file FILE. */
+/* These functions format an INTEGER into BUFFER as suggested by their
+ names. */
-static void
-v_error_with_file_and_line (file, line, msgid, ap)
- const char *file;
- int line;
- const char *msgid;
- va_list ap;
+void
+output_decimal (buffer, i)
+ output_buffer *buffer;
+ int i;
{
- count_error (0);
- report_error_function (file);
- v_message_with_file_and_line (file, line, 0, msgid, ap);
+ output_formatted_integer (buffer, "%d", i);
}
-/* 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
+output_long_decimal (buffer, i)
+ output_buffer *buffer;
+ long int i;
+{
+ output_formatted_integer (buffer, "%ld", i);
+}
static void
-v_error_with_decl (decl, msgid, ap)
- tree decl;
- const char *msgid;
- va_list ap;
+output_unsigned_decimal (buffer, i)
+ output_buffer *buffer;
+ unsigned int i;
{
- count_error (0);
- report_error_function (DECL_SOURCE_FILE (decl));
- v_message_with_decl (decl, 0, msgid, ap);
+ output_formatted_integer (buffer, "%u", i);
}
+static void
+output_long_unsigned_decimal (buffer, i)
+ output_buffer *buffer;
+ long unsigned int i;
+{
+ output_formatted_integer (buffer, "%lu", i);
+}
-/* 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
+output_octal (buffer, i)
+ output_buffer *buffer;
+ unsigned int i;
+{
+ output_formatted_integer (buffer, "%o", i);
+}
static void
-v_error_for_asm (insn, msgid, ap)
- rtx insn;
- const char *msgid;
- va_list ap;
+output_long_octal (buffer, i)
+ output_buffer *buffer;
+ unsigned long int i;
{
- char *file;
- int line;
+ output_formatted_integer (buffer, "%lo", i);
+}
- 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);
+static void
+output_hexadecimal (buffer, i)
+ output_buffer *buffer;
+ unsigned int i;
+{
+ output_formatted_integer (buffer, "%x", i);
}
+static void
+output_long_hexadecimal (buffer, i)
+ output_buffer *buffer;
+ unsigned long int i;
+{
+ output_formatted_integer (buffer, "%lx", i);
+}
-/* Report an error at the current line number. */
+/* Append to BUFFER a string specified by its STARTING character
+ and LENGTH. */
static void
-verror (msgid, ap)
- const char *msgid;
- va_list ap;
+output_append_r (buffer, start, length)
+ output_buffer *buffer;
+ const char *start;
+ int length;
{
- v_error_with_file_and_line (input_filename, lineno, msgid, ap);
+ obstack_grow (&buffer->obstack, start, length);
+ output_text_length (buffer) += length;
}
+/* Append a string deliminated by START and END to BUFFER. No wrapping is
+ 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. */
-/* Report a fatal error at the current line number. Allow a front end to
- intercept the message. */
-
-static void (*fatal_function) PROTO ((const char *, va_list));
+void
+output_append (buffer, start, end)
+ output_buffer *buffer;
+ const char *start;
+ const char *end;
+{
+ /* Emit prefix and skip whitespace if we're starting a new line. */
+ if (is_starting_newline (buffer))
+ {
+ output_emit_prefix (buffer);
+ if (output_is_line_wrapping (buffer))
+ while (start != end && *start == ' ')
+ ++start;
+ }
+ output_append_r (buffer, start, end - start);
+}
static void
-vfatal (msgid, ap)
- const char *msgid;
- va_list ap;
+output_indent (buffer)
+ output_buffer *buffer;
{
- if (fatal_function != 0)
- (*fatal_function) (_(msgid), ap);
+ int n = output_indentation (buffer);
+ int i;
- verror (msgid, ap);
- exit (FATAL_EXIT_CODE);
+ for (i = 0; i < n; ++i)
+ output_add_character (buffer, ' ');
}
-/* Report a warning at line LINE of file FILE. */
+/* Wrap a text delimited by START and END into BUFFER. */
static void
-v_warning_with_file_and_line (file, line, msgid, ap)
- const char *file;
- int line;
- const char *msgid;
- va_list ap;
+wrap_text (buffer, start, end)
+ output_buffer *buffer;
+ const char *start;
+ const char *end;
{
- if (count_error (1))
+ int is_wrapping = output_is_line_wrapping (buffer);
+
+ while (start != end)
{
- report_error_function (file);
- v_message_with_file_and_line (file, line, 1, msgid, ap);
+ /* Dump anything bordered by whitespaces. */
+ {
+ const char *p = start;
+ while (p != end && *p != ' ' && *p != '\n')
+ ++p;
+ if (is_wrapping && p - start >= output_space_left (buffer))
+ output_add_newline (buffer);
+ output_append (buffer, start, p);
+ start = p;
+ }
+
+ if (start != end && *start == ' ')
+ {
+ output_add_space (buffer);
+ ++start;
+ }
+ if (start != end && *start == '\n')
+ {
+ output_add_newline (buffer);
+ ++start;
+ }
}
}
+/* Same as wrap_text but wrap text only when in line-wrapping mode. */
+
+static void
+maybe_wrap_text (buffer, start, end)
+ output_buffer *buffer;
+ const char *start;
+ const char *end;
+{
+ if (output_is_line_wrapping (buffer))
+ wrap_text (buffer, start, end);
+ else
+ output_append (buffer, start, end);
+}
+
-/* 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. */
+/* Append a STRING to BUFFER; the STRING might be line-wrapped if in
+ appropriate mode. */
+
+void
+output_add_string (buffer, str)
+ output_buffer *buffer;
+ const char *str;
+{
+ maybe_wrap_text (buffer, str, str + (str ? strlen (str) : 0));
+}
+
+/* Flush the content of BUFFER onto the attached stream,
+ and reinitialize. */
static void
-v_warning_with_decl (decl, msgid, ap)
- tree decl;
- const char *msgid;
- va_list ap;
+output_buffer_to_stream (buffer)
+ output_buffer *buffer;
{
- if (count_error (1))
+ const char *text = output_finalize_message (buffer);
+ fputs (text, output_buffer_attached_stream (buffer));
+ output_clear_message_text (buffer);
+}
+
+/* Format a message pointed to by output_buffer_text_cursor (BUFFER) using
+ output_buffer_format_args (BUFFER) as appropriate. The following format
+ specifiers are recognized as being language independent:
+ %d, %i: (signed) integer in base ten.
+ %u: unsigned integer in base ten.
+ %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;
+{
+ for (; *output_buffer_text_cursor (buffer);
+ ++output_buffer_text_cursor (buffer))
{
- report_error_function (DECL_SOURCE_FILE (decl));
- v_message_with_decl (decl, 1, msgid, ap);
+ int long_integer = 0;
+
+ /* Ignore text. */
+ {
+ const char *p = output_buffer_text_cursor (buffer);
+ while (*p && *p != '%')
+ ++p;
+ wrap_text (buffer, output_buffer_text_cursor (buffer), p);
+ output_buffer_text_cursor (buffer) = p;
+ }
+
+ if (!*output_buffer_text_cursor (buffer))
+ break;
+
+ /* We got a '%'. Let's see what happens. Record whether we're
+ parsing a long integer format specifier. */
+ if (*++output_buffer_text_cursor (buffer) == 'l')
+ {
+ long_integer = 1;
+ ++output_buffer_text_cursor (buffer);
+ }
+
+ /* Handle %c, %d, %i, %ld, %li, %lo, %lu, %lx, %o, %s, %u,
+ %x, %.*s; %%. And nothing else. Front-ends should install
+ printers to grok language specific format specifiers. */
+ switch (*output_buffer_text_cursor (buffer))
+ {
+ case 'c':
+ output_add_character
+ (buffer, va_arg (output_buffer_format_args (buffer), int));
+ break;
+
+ case 'd':
+ case 'i':
+ if (long_integer)
+ output_long_decimal
+ (buffer, va_arg (output_buffer_format_args (buffer), long int));
+ else
+ output_decimal
+ (buffer, va_arg (output_buffer_format_args (buffer), int));
+ break;
+
+ case 'o':
+ if (long_integer)
+ output_long_octal (buffer,
+ va_arg (output_buffer_format_args (buffer),
+ unsigned long int));
+ else
+ output_octal (buffer,
+ va_arg (output_buffer_format_args (buffer),
+ unsigned int));
+ break;
+
+ case 's':
+ output_add_string (buffer,
+ va_arg (output_buffer_format_args (buffer),
+ const char *));
+ break;
+
+ case 'u':
+ if (long_integer)
+ output_long_unsigned_decimal
+ (buffer, va_arg (output_buffer_format_args (buffer),
+ long unsigned int));
+ else
+ output_unsigned_decimal
+ (buffer, va_arg (output_buffer_format_args (buffer),
+ unsigned int));
+ break;
+
+ case 'x':
+ if (long_integer)
+ output_long_hexadecimal
+ (buffer, va_arg (output_buffer_format_args (buffer),
+ unsigned long int));
+ else
+ output_hexadecimal
+ (buffer, va_arg (output_buffer_format_args (buffer),
+ unsigned int));
+ break;
+
+ case '%':
+ output_add_character (buffer, '%');
+ break;
+
+ case '.':
+ {
+ int n;
+ const char *s;
+ /* We handle no precision specifier but `%.*s'. */
+ if (*++output_buffer_text_cursor (buffer) != '*')
+ abort ();
+ else if (*++output_buffer_text_cursor (buffer) != 's')
+ abort ();
+ n = va_arg (output_buffer_format_args (buffer), int);
+ s = va_arg (output_buffer_format_args (buffer), const char *);
+ output_append (buffer, s, s + n);
+ }
+ break;
+
+ default:
+ if (!buffer->format_decoder || !(*buffer->format_decoder) (buffer))
+ {
+ /* Hmmm. The front-end failed to install a format translator
+ but called us with an unrecognized format. Sorry. */
+ abort ();
+ }
+ }
}
}
+static char *
+vbuild_message_string (msg, ap)
+ const char *msg;
+ va_list ap;
+{
+ char *str;
-/* 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. */
+ vasprintf (&str, msg, ap);
+ return str;
+}
-static void
-v_warning_for_asm (insn, msgid, ap)
- rtx insn;
- const char *msgid;
- va_list ap;
+/* Return a malloc'd string containing MSG formatted a la
+ printf. The caller is responsible for freeing the memory. */
+
+static char *
+build_message_string VPARAMS ((const char *msg, ...))
{
- if (count_error (1))
- {
- char *file;
- int line;
+ char *str;
+
+ VA_OPEN (ap, msg);
+ VA_FIXEDARG (ap, const char *, msg);
+
+ str = vbuild_message_string (msg, ap);
+
+ VA_CLOSE (ap);
+
+ return str;
+}
+
+/* Return a malloc'd string describing a location. The caller is
+ responsible for freeing the memory. */
- file_and_line_for_asm (insn, &file, &line);
- report_error_function (file);
- v_message_with_file_and_line (file, line, 1, msgid, ap);
+char *
+context_as_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);
+ }
+ else
+ {
+ if (warn)
+ return build_message_string (_("%s: warning: "), progname);
+ else
+ return build_message_string ("%s: ", progname);
}
}
+/* 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);
+}
-/* Report a warning at the current line number. */
+/* Format a MESSAGE into BUFFER. Automatically wrap lines. */
static void
-vwarning (msgid, ap)
- const char *msgid;
- va_list ap;
+output_do_printf (buffer, msg)
+ output_buffer *buffer;
+ const char *msg;
{
- v_warning_with_file_and_line (input_filename, lineno, msgid, ap);
+ char *message = vbuild_message_string (msg,
+ output_buffer_format_args (buffer));
+
+ wrap_text (buffer, message, message + strlen (message));
+ free (message);
}
-/* These functions issue either warnings or errors depending on
- -pedantic-errors. */
-static void
-vpedwarn (msgid, ap)
- const char *msgid;
- va_list ap;
+/* Format a message into BUFFER a la printf. */
+
+void
+output_printf VPARAMS ((struct output_buffer *buffer, const char *msgid, ...))
{
- if (flag_pedantic_errors)
- verror (msgid, ap);
- else
- vwarning (msgid, ap);
+ va_list *old_args;
+
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, output_buffer *, buffer);
+ VA_FIXEDARG (ap, const char *, msgid);
+
+ old_args = output_buffer_ptr_to_format_args (buffer);
+ output_buffer_ptr_to_format_args (buffer) = ≈
+ output_do_printf (buffer, _(msgid));
+ output_buffer_ptr_to_format_args (buffer) = old_args;
+ VA_CLOSE (ap);
}
+/* Print a message relevant to the given DECL. */
static void
-v_pedwarn_with_decl (decl, msgid, ap)
+format_with_decl (buffer, decl)
+ output_buffer *buffer;
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))
+ const char *p;
+
+ /* 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 = output_buffer_text_cursor (buffer); *p; ++p)
{
- if (flag_pedantic_errors)
- v_error_with_decl (decl, msgid, ap);
- else
- v_warning_with_decl (decl, msgid, ap);
+ if (*p == '%')
+ {
+ if (*(p + 1) == '%')
+ ++p;
+ else if (*(p + 1) != 's')
+ abort ();
+ else
+ break;
+ }
}
-}
+ /* Print the left-hand substring. */
+ maybe_wrap_text (buffer, output_buffer_text_cursor (buffer), p);
+
+ if (*p == '%') /* Print the name. */
+ {
+ const char *const n = (DECL_NAME (decl)
+ ? (*decl_printable_name) (decl, 2)
+ : _("((anonymous))"));
+ output_add_string (buffer, n);
+ while (*p)
+ {
+ ++p;
+ if (ISALPHA (*(p - 1) & 0xFF))
+ break;
+ }
+ }
-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);
+ if (*p) /* Print the rest of the message. */
+ {
+ output_buffer_text_cursor (buffer) = p;
+ output_format (buffer);
+ }
}
-/* Apologize for not implementing some feature. */
+/* 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
-vsorry (msgid, ap)
+diagnostic_for_decl (decl, msgid, args_ptr, warn)
+ tree decl;
const char *msgid;
- va_list ap;
+ va_list *args_ptr;
+ int warn;
{
- 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);
+ output_state os;
+
+ if (diagnostic_lock++)
+ error_recursion ();
+
+ if (count_error (warn))
+ {
+ 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) = _(msgid);
+ format_with_decl (diagnostic_buffer, decl);
+ diagnostic_finish ((output_buffer *) global_dc);
+ output_destroy_prefix (diagnostic_buffer);
+
+ output_buffer_state (diagnostic_buffer) = os;
+ }
+ diagnostic_lock--;
}
\f
count_error (warningp)
int warningp;
{
- if (warningp && inhibit_warnings)
+ if (warningp && !diagnostic_report_warnings_p ())
return 0;
if (warningp && !warnings_are_errors)
if (warningp && !warning_message)
{
- notice ("%s: warnings being treated as errors\n", progname);
+ verbatim ("%s: warnings being treated as errors\n", progname);
warning_message = 1;
}
errorcount++;
return 1;
}
-/* Print a diagnistic MSGID on FILE. */
+/* Print a diagnostic MSGID on FILE. This is just fprintf, except it
+ runs its second argument through gettext. */
+
void
-fnotice VPROTO((FILE *file, const char *msgid, ...))
+fnotice VPARAMS ((FILE *file, const char *msgid, ...))
{
-#ifndef ANSI_PROTOTYPES
- FILE *file;
- const char *msgid;
-#endif
- va_list ap;
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, FILE *, file);
+ VA_FIXEDARG (ap, const char *, msgid);
- VA_START (ap, msgid);
-
-#ifndef ANSI_PROTOTYPES
- file = va_arg (ap, FILE *);
- msgid = va_arg (ap, const char *);
-#endif
-
- vnotice (file, msgid, ap);
- va_end (ap);
+ vfprintf (file, _(msgid), ap);
+ VA_CLOSE (ap);
}
-/* Print a fatal error message. NAME is the text.
+/* Print a fatal I/O error message. Argument are like printf.
Also include a system error message based on `errno'. */
void
-pfatal_with_name (name)
- const char *name;
+fatal_io_error VPARAMS ((const char *msgid, ...))
{
- fprintf (stderr, "%s: ", progname);
- perror (name);
- exit (FATAL_EXIT_CODE);
-}
+ output_state os;
-void
-fatal_io_error (name)
- const char *name;
-{
- notice ("%s: %s: I/O error\n", progname, name);
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, msgid);
+
+ os = output_buffer_state (diagnostic_buffer);
+
+ output_printf (diagnostic_buffer, "%s: %s: ", progname, xstrerror (errno));
+ output_buffer_ptr_to_format_args (diagnostic_buffer) = ≈
+ output_buffer_text_cursor (diagnostic_buffer) = _(msgid);
+ output_format (diagnostic_buffer);
+ diagnostic_finish ((output_buffer *) global_dc);
+ output_buffer_state (diagnostic_buffer) = os;
+ VA_CLOSE (ap);
exit (FATAL_EXIT_CODE);
}
/* Issue a pedantic warning MSGID. */
+
void
-pedwarn VPROTO((const char *msgid, ...))
+pedwarn VPARAMS ((const char *msgid, ...))
{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
- va_list ap;
+ diagnostic_context dc;
- VA_START (ap, msgid);
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, msgid);
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
-#endif
-
- vpedwarn (msgid, ap);
- va_end (ap);
+ set_diagnostic_context
+ (&dc, msgid, &ap, input_filename, lineno, !flag_pedantic_errors);
+ report_diagnostic (&dc);
+ VA_CLOSE (ap);
}
/* Issue a pedantic waring about DECL. */
+
void
-pedwarn_with_decl VPROTO((tree decl, const char *msgid, ...))
+pedwarn_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
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, tree, decl);
+ VA_FIXEDARG (ap, const char *, msgid);
- v_pedwarn_with_decl (decl, msgid, ap);
- va_end (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_CLOSE (ap);
}
-/* Same as above but within the context FILE and LINE. */
+/* Same as above but within the context FILE and LINE. */
+
void
-pedwarn_with_file_and_line VPROTO((const char *file, int line,
- const char *msgid, ...))
+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;
+ diagnostic_context dc;
- 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
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, file);
+ VA_FIXEDARG (ap, int, line);
+ VA_FIXEDARG (ap, const char *, msgid);
- v_pedwarn_with_file_and_line (file, line, msgid, ap);
- va_end (ap);
+ set_diagnostic_context (&dc, msgid, &ap, file, line, !flag_pedantic_errors);
+ report_diagnostic (&dc);
+ VA_CLOSE (ap);
}
/* Just apologize with MSGID. */
+
void
-sorry VPROTO((const char *msgid, ...))
+sorry VPARAMS ((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
-
- vsorry (msgid, ap);
- va_end (ap);
+ output_state os;
+
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, msgid);
+
+ ++sorrycount;
+ os = output_buffer_state (diagnostic_buffer);
+
+ 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);
+ diagnostic_finish ((output_buffer *) global_dc);
+ output_buffer_state (diagnostic_buffer) = os;
+ VA_CLOSE (ap);
}
/* Called when the start of a function definition is parsed,
if (! quiet_flag)
{
if (rtl_dump_and_exit)
- fprintf (stderr, "%s ", IDENTIFIER_POINTER (DECL_NAME (decl)));
+ verbatim ("%s ", IDENTIFIER_POINTER (DECL_NAME (decl)));
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 ();
}
}
an error. */
void
-default_print_error_function (file)
- const char *file;
+default_print_error_function (context, file)
+ diagnostic_context *context;
+ const char *file;
{
- if (last_error_function != current_function_decl)
+ if (error_function_changed ())
{
- if (file)
- fprintf (stderr, "%s: ", file);
+ char *prefix = file ? build_message_string ("%s: ", file) : NULL;
+ output_state os;
+ os = output_buffer_state (context);
+ output_set_prefix ((output_buffer *) context, prefix);
+
if (current_function_decl == NULL)
- notice ("At top level:\n");
+ output_add_string ((output_buffer *) context, _("At top level:"));
else
{
if (TREE_CODE (TREE_TYPE (current_function_decl)) == METHOD_TYPE)
- notice ("In method `%s':\n",
- (*decl_printable_name) (current_function_decl, 2));
+ output_printf
+ ((output_buffer *) context, "In member function `%s':",
+ (*decl_printable_name) (current_function_decl, 2));
else
- notice ("In function `%s':\n",
- (*decl_printable_name) (current_function_decl, 2));
+ output_printf
+ ((output_buffer *) context, "In function `%s':",
+ (*decl_printable_name) (current_function_decl, 2));
}
+ output_add_newline ((output_buffer *) context);
- last_error_function = current_function_decl;
+ record_last_error_function ();
+ output_buffer_to_stream ((output_buffer *) context);
+ output_buffer_state (context) = os;
+ free ((char*) prefix);
}
}
report_error_function (file)
const char *file ATTRIBUTE_UNUSED;
{
- struct file_stack *p;
+ report_problematic_module ((output_buffer *) global_dc);
+ (*print_error_function) (global_dc, input_filename);
+}
- if (need_error_newline)
- {
- fprintf (stderr, "\n");
- need_error_newline = 0;
- }
+void
+error_with_file_and_line VPARAMS ((const char *file, int line,
+ const char *msgid, ...))
+{
+ diagnostic_context dc;
- 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;
- }
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, file);
+ VA_FIXEDARG (ap, int, line);
+ VA_FIXEDARG (ap, const char *, msgid);
- (*print_error_function) (input_filename);
+ set_diagnostic_context (&dc, msgid, &ap, file, line, /* warn = */ 0);
+ report_diagnostic (&dc);
+ VA_CLOSE (ap);
}
void
-error_with_file_and_line VPROTO((const char *file, int line,
- const char *msgid, ...))
+error_with_decl VPARAMS ((tree decl, const char *msgid, ...))
{
-#ifndef ANSI_PROTOTYPES
- const char *file;
- int line;
- const char *msgid;
-#endif
- va_list ap;
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, tree, decl);
+ VA_FIXEDARG (ap, const char *, msgid);
- VA_START (ap, msgid);
+ diagnostic_for_decl (decl, msgid, &ap, /* warn = */ 0);
+ VA_CLOSE (ap);
+}
-#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_end (ap);
-}
+/* Report an error message. The arguments are like that of printf. */
void
-error_with_decl VPROTO((tree decl, const char *msgid, ...))
+error VPARAMS ((const char *msgid, ...))
{
-#ifndef ANSI_PROTOTYPES
- tree decl;
- const char *msgid;
-#endif
- va_list ap;
+ diagnostic_context dc;
- VA_START (ap, msgid);
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, msgid);
-#ifndef ANSI_PROTOTYPES
- decl = va_arg (ap, tree);
- msgid = va_arg (ap, const char *);
-#endif
-
- v_error_with_decl (decl, msgid, ap);
- va_end (ap);
+ set_diagnostic_context
+ (&dc, msgid, &ap, input_filename, lineno, /* warn = */ 0);
+ report_diagnostic (&dc);
+ VA_CLOSE (ap);
}
+/* Likewise, except that the compilation is terminated after printing the
+ error message. */
+
void
-error_for_asm VPROTO((rtx insn, const char *msgid, ...))
+fatal_error VPARAMS ((const char *msgid, ...))
{
-#ifndef ANSI_PROTOTYPES
- rtx insn;
- const char *msgid;
-#endif
- va_list ap;
+ diagnostic_context dc;
- VA_START (ap, msgid);
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, msgid);
-#ifndef ANSI_PROTOTYPES
- insn = va_arg (ap, rtx);
- msgid = va_arg (ap, const char *);
-#endif
+ set_diagnostic_context
+ (&dc, msgid, &ap, input_filename, lineno, /* warn = */ 0);
+ report_diagnostic (&dc);
+ VA_CLOSE (ap);
- v_error_for_asm (insn, msgid, ap);
- va_end (ap);
+ fnotice (stderr, "compilation terminated.\n");
+ exit (FATAL_EXIT_CODE);
}
+/* Report a compiler error at the current line number. Allow a front end to
+ intercept the message. */
+
+static void (*internal_error_function) PARAMS ((const char *, va_list *));
+
+/* Set the function to call when a compiler error occurs. */
+
void
-error VPROTO((const char *msgid, ...))
+set_internal_error_function (f)
+ void (*f) PARAMS ((const char *, va_list *));
{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
- va_list ap;
+ internal_error_function = f;
+}
+
+void
+internal_error VPARAMS ((const char *msgid, ...))
+{
+ diagnostic_context dc;
+
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, msgid);
- VA_START (ap, msgid);
+ if (diagnostic_lock)
+ error_recursion ();
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
+#ifndef ENABLE_CHECKING
+ if (errorcount > 0 || sorrycount > 0)
+ {
+ fnotice (stderr, "%s:%d: confused by earlier errors, bailing out\n",
+ input_filename, lineno);
+ exit (FATAL_EXIT_CODE);
+ }
#endif
- verror (msgid, ap);
- va_end (ap);
+ if (internal_error_function != 0)
+ (*internal_error_function) (_(msgid), &ap);
+
+ set_diagnostic_context
+ (&dc, msgid, &ap, input_filename, lineno, /* warn = */0);
+ report_diagnostic (&dc);
+ VA_CLOSE (ap);
+
+ fnotice (stderr,
+"Please submit a full bug report,\n\
+with preprocessed source if appropriate.\n\
+See %s for instructions.\n", GCCBUGURL);
+ exit (FATAL_EXIT_CODE);
}
-/* Set the function to call when a fatal error occurs. */
+void
+warning_with_file_and_line VPARAMS ((const char *file, int line,
+ const char *msgid, ...))
+{
+ diagnostic_context dc;
+
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, file);
+ VA_FIXEDARG (ap, int, line);
+ VA_FIXEDARG (ap, const char *, msgid);
+
+ set_diagnostic_context (&dc, msgid, &ap, file, line, /* warn = */ 1);
+ report_diagnostic (&dc);
+ VA_CLOSE (ap);
+}
void
-set_fatal_function (f)
- void (*f) PROTO ((const char *, va_list));
+warning_with_decl VPARAMS ((tree decl, const char *msgid, ...))
{
- fatal_function = f;
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, tree, decl);
+ VA_FIXEDARG (ap, const char *, msgid);
+
+ diagnostic_for_decl (decl, msgid, &ap, /* warn = */ 1);
+ VA_CLOSE (ap);
}
void
-fatal VPROTO((const char *msgid, ...))
+warning VPARAMS ((const char *msgid, ...))
{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
- va_list ap;
+ diagnostic_context dc;
- VA_START (ap, msgid);
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, msgid);
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
-#endif
+ set_diagnostic_context
+ (&dc, msgid, &ap, input_filename, lineno, /* warn = */ 1);
+ report_diagnostic (&dc);
+ VA_CLOSE (ap);
+}
- vfatal (msgid, ap);
- va_end (ap);
+/* Flush diagnostic_buffer content on stderr. */
+
+static void
+diagnostic_finish (buffer)
+ output_buffer *buffer;
+{
+ output_buffer_to_stream (buffer);
+ clear_diagnostic_info (buffer);
+ fputc ('\n', output_buffer_attached_stream (buffer));
+ fflush (output_buffer_attached_stream (buffer));
}
-void
-_fatal_insn (msgid, insn, file, line, function)
+/* Helper subroutine of output_verbatim and verbatim. Do the appropriate
+ settings needed by BUFFER for a verbatim formatting. */
+
+static void
+output_do_verbatim (buffer, msgid, args_ptr)
+ output_buffer *buffer;
const char *msgid;
- rtx insn;
- const char *file;
- int line;
- const char *function;
+ va_list *args_ptr;
{
- error ("%s", msgid);
- debug_rtx (insn);
- fancy_abort (file, line, function);
+ output_state os;
+
+ os = output_buffer_state (buffer);
+ output_prefix (buffer) = NULL;
+ diagnostic_prefixing_rule (buffer) = DIAGNOSTICS_SHOW_PREFIX_NEVER;
+ output_buffer_text_cursor (buffer) = _(msgid);
+ output_buffer_ptr_to_format_args (buffer) = args_ptr;
+ output_set_maximum_length (buffer, 0);
+ output_format (buffer);
+ output_buffer_state (buffer) = os;
}
+/* Output MESSAGE verbatim into BUFFER. */
+
void
-_fatal_insn_not_found (insn, file, line, function)
- rtx insn;
- const char *file;
- int line;
- const char *function;
+output_verbatim VPARAMS ((output_buffer *buffer, const char *msgid, ...))
{
- 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);
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, output_buffer *, buffer);
+ VA_FIXEDARG (ap, const char *, msgid);
+
+ output_do_verbatim (buffer, msgid, &ap);
+ VA_CLOSE (ap);
}
+/* Same as above but use diagnostic_buffer. */
+
void
-warning_with_file_and_line VPROTO((const char *file, int line,
- const char *msgid, ...))
+verbatim VPARAMS ((const char *msgid, ...))
{
-#ifndef ANSI_PROTOTYPES
- const char *file;
- int line;
- const char *msgid;
-#endif
- va_list ap;
+ VA_OPEN (ap, msgid);
+ VA_FIXEDARG (ap, const char *, msgid);
- VA_START (ap, msgid);
+ output_do_verbatim (diagnostic_buffer, msgid, &ap);
+ output_buffer_to_stream (diagnostic_buffer);
+ VA_CLOSE (ap);
+}
-#ifndef ANSI_PROTOTYPES
- file = va_arg (ap, const char *);
- line = va_arg (ap, int);
- msgid = va_arg (ap, const char *);
-#endif
+/* 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. */
- v_warning_with_file_and_line (file, line, msgid, ap);
- va_end (ap);
+void
+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);
+ diagnostic_finish ((output_buffer *) global_dc);
+ output_buffer_state (diagnostic_buffer) = os;
+ }
+
+ diagnostic_lock--;
}
-void
-warning_with_decl VPROTO((tree decl, const char *msgid, ...))
+/* 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. */
+
+static void
+error_recursion ()
+{
+ if (diagnostic_lock < 3)
+ diagnostic_finish ((output_buffer *) global_dc);
+
+ fnotice (stderr,
+ "Internal compiler error: Error reporting routines re-entered.\n");
+ fnotice (stderr,
+"Please submit a full bug report,\n\
+with preprocessed source if appropriate.\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 ../../GCC/gcc/expr.c'. */
+
+const char *
+trim_filename (name)
+ const char *name;
{
-#ifndef ANSI_PROTOTYPES
- tree decl;
- const char *msgid;
+ 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] == '.'
+ && (p[2] == DIR_SEPARATOR
+#ifdef DIR_SEPARATOR_2
+ || p[2] == DIR_SEPARATOR_2
#endif
- va_list ap;
+ ))
+ p += 3;
- VA_START (ap, msgid);
+ while (q[0] == '.' && q[1] == '.'
+ && (q[2] == DIR_SEPARATOR
+#ifdef DIR_SEPARATOR_2
+ || p[2] == DIR_SEPARATOR_2
+#endif
+ ))
+ q += 3;
+
+ /* Now skip any parts the two filenames have in common. */
+ while (*p == *q && *p != 0 && *q != 0)
+ p++, q++;
-#ifndef ANSI_PROTOTYPES
- decl = va_arg (ap, tree);
- msgid = va_arg (ap, const char *);
+ /* Now go backwards until the previous directory separator. */
+ while (p > name && p[-1] != DIR_SEPARATOR
+#ifdef DIR_SEPARATOR_2
+ && p[-1] != DIR_SEPARATOR_2
#endif
+ )
+ p--;
- v_warning_with_decl (decl, msgid, ap);
- va_end (ap);
+ return p;
}
+/* Report an internal compiler error in a friendly manner and without
+ dumping core. */
+
void
-warning_for_asm VPROTO((rtx insn, const char *msgid, ...))
+fancy_abort (file, line, function)
+ const char *file;
+ int line;
+ const char *function;
{
-#ifndef ANSI_PROTOTYPES
- rtx insn;
- const char *msgid;
-#endif
- va_list ap;
-
- VA_START (ap, msgid);
+ internal_error ("Internal compiler error in %s, at %s:%d",
+ function, trim_filename (file), line);
+}
-#ifndef ANSI_PROTOTYPES
- insn = va_arg (ap, rtx);
- msgid = va_arg (ap, const char *);
-#endif
+/* Setup DC for reporting a diagnostic MESSAGE (an error or a WARNING),
+ using arguments pointed to by ARGS_PTR, issued at a location specified
+ by FILE and LINE. */
- v_warning_for_asm (insn, msgid, ap);
- va_end (ap);
+void
+set_diagnostic_context (dc, msgid, args_ptr, file, line, warn)
+ diagnostic_context *dc;
+ const char *msgid;
+ va_list *args_ptr;
+ const char *file;
+ int line;
+ int warn;
+{
+ memset (dc, 0, sizeof (diagnostic_context));
+ diagnostic_message (dc) = _(msgid);
+ diagnostic_argument_list (dc) = args_ptr;
+ diagnostic_file_location (dc) = file;
+ diagnostic_line_location (dc) = line;
+ diagnostic_is_warning (dc) = warn;
+ diagnostic_starter (dc) = diagnostic_starter (global_dc);
+ diagnostic_finalizer (dc) = diagnostic_finalizer (global_dc);
}
void
-warning VPROTO((const char *msgid, ...))
+report_problematic_module (buffer)
+ output_buffer *buffer;
{
-#ifndef ANSI_PROTOTYPES
- const char *msgid;
-#endif
- va_list ap;
+ struct file_stack *p;
- VA_START (ap, msgid);
+ if (output_needs_newline (buffer))
+ {
+ output_add_newline (buffer);
+ output_needs_newline (buffer) = 0;
+ }
-#ifndef ANSI_PROTOTYPES
- msgid = va_arg (ap, const char *);
-#endif
+ if (input_file_stack && input_file_stack->next != 0
+ && error_module_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_module ();
+ }
+}
- vwarning (msgid, ap);
- va_end (ap);
+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);
+}
+
+void
+warn_deprecated_use (node)
+ tree node;
+{
+ if (node == 0 || !warn_deprecated_decl)
+ return;
+
+ if (DECL_P (node))
+ warning ("`%s' is deprecated (declared at %s:%d)",
+ IDENTIFIER_POINTER (DECL_NAME (node)),
+ DECL_SOURCE_FILE (node), DECL_SOURCE_LINE (node));
+ else if (TYPE_P (node))
+ {
+ const char *what = NULL;
+ tree decl = TYPE_STUB_DECL (node);
+
+ if (TREE_CODE (TYPE_NAME (node)) == IDENTIFIER_NODE)
+ what = IDENTIFIER_POINTER (TYPE_NAME (node));
+ else if (TREE_CODE (TYPE_NAME (node)) == TYPE_DECL
+ && DECL_NAME (TYPE_NAME (node)))
+ what = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (node)));
+
+ if (what)
+ {
+ if (decl)
+ warning ("`%s' is deprecated (declared at %s:%d)", what,
+ DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl));
+ else
+ warning ("`%s' is deprecated", what);
+ }
+ else if (decl)
+ warning ("type is deprecated (declared at %s:%d)",
+ DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl));
+ else
+ warning ("type is deprecated");
+ }
+}
OSDN Git Service
