/* Language-independent diagnostic subroutines for the GNU Compiler Collection
|
/* Language-independent diagnostic subroutines for the GNU Compiler Collection
|
Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
|
Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
|
2009, 2010 Free Software Foundation, Inc.
|
2009, 2010 Free Software Foundation, Inc.
|
Contributed by Gabriel Dos Reis <gdr@codesourcery.com>
|
Contributed by Gabriel Dos Reis <gdr@codesourcery.com>
|
|
|
This file is part of GCC.
|
This file is part of GCC.
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
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
|
the terms of the GNU General Public License as published by the Free
|
Software Foundation; either version 3, or (at your option) any later
|
Software Foundation; either version 3, or (at your option) any later
|
version.
|
version.
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
for more details.
|
for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with GCC; see the file COPYING3. If not see
|
along with GCC; see the file COPYING3. If not see
|
<http://www.gnu.org/licenses/>. */
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
|
/* This file implements the language independent aspect of diagnostic
|
/* This file implements the language independent aspect of diagnostic
|
message module. */
|
message module. */
|
|
|
#include "config.h"
|
#include "config.h"
|
#undef FLOAT /* This is for hpux. They should change hpux. */
|
#undef FLOAT /* This is for hpux. They should change hpux. */
|
#undef FFS /* Some systems define this in param.h. */
|
#undef FFS /* Some systems define this in param.h. */
|
#include "system.h"
|
#include "system.h"
|
#include "coretypes.h"
|
#include "coretypes.h"
|
#include "tm.h"
|
#include "tm.h"
|
#include "tree.h"
|
#include "tree.h"
|
#include "version.h"
|
#include "version.h"
|
#include "tm_p.h"
|
#include "tm_p.h"
|
#include "flags.h"
|
#include "flags.h"
|
#include "input.h"
|
#include "input.h"
|
#include "toplev.h"
|
#include "toplev.h"
|
#include "intl.h"
|
#include "intl.h"
|
#include "diagnostic.h"
|
#include "diagnostic.h"
|
#include "langhooks.h"
|
#include "langhooks.h"
|
#include "langhooks-def.h"
|
#include "langhooks-def.h"
|
#include "opts.h"
|
#include "opts.h"
|
#include "plugin.h"
|
#include "plugin.h"
|
|
|
#define pedantic_warning_kind() (flag_pedantic_errors ? DK_ERROR : DK_WARNING)
|
#define pedantic_warning_kind() (flag_pedantic_errors ? DK_ERROR : DK_WARNING)
|
#define permissive_error_kind() (flag_permissive ? DK_WARNING : DK_ERROR)
|
#define permissive_error_kind() (flag_permissive ? DK_WARNING : DK_ERROR)
|
|
|
/* Prototypes. */
|
/* Prototypes. */
|
static char *build_message_string (const char *, ...) ATTRIBUTE_PRINTF_1;
|
static char *build_message_string (const char *, ...) ATTRIBUTE_PRINTF_1;
|
|
|
static void error_recursion (diagnostic_context *) ATTRIBUTE_NORETURN;
|
static void error_recursion (diagnostic_context *) ATTRIBUTE_NORETURN;
|
|
|
static void diagnostic_action_after_output (diagnostic_context *,
|
static void diagnostic_action_after_output (diagnostic_context *,
|
diagnostic_info *);
|
diagnostic_info *);
|
static void real_abort (void) ATTRIBUTE_NORETURN;
|
static void real_abort (void) ATTRIBUTE_NORETURN;
|
|
|
/* A diagnostic_context surrogate for stderr. */
|
/* A diagnostic_context surrogate for stderr. */
|
static diagnostic_context global_diagnostic_context;
|
static diagnostic_context global_diagnostic_context;
|
diagnostic_context *global_dc = &global_diagnostic_context;
|
diagnostic_context *global_dc = &global_diagnostic_context;
|
|
|
|
|
/* Return a malloc'd string containing MSG formatted a la printf. The
|
/* Return a malloc'd string containing MSG formatted a la printf. The
|
caller is responsible for freeing the memory. */
|
caller is responsible for freeing the memory. */
|
static char *
|
static char *
|
build_message_string (const char *msg, ...)
|
build_message_string (const char *msg, ...)
|
{
|
{
|
char *str;
|
char *str;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, msg);
|
va_start (ap, msg);
|
vasprintf (&str, msg, ap);
|
vasprintf (&str, msg, ap);
|
va_end (ap);
|
va_end (ap);
|
|
|
return str;
|
return str;
|
}
|
}
|
|
|
/* Same as diagnostic_build_prefix, but only the source FILE is given. */
|
/* Same as diagnostic_build_prefix, but only the source FILE is given. */
|
char *
|
char *
|
file_name_as_prefix (const char *f)
|
file_name_as_prefix (const char *f)
|
{
|
{
|
return build_message_string ("%s: ", f);
|
return build_message_string ("%s: ", f);
|
}
|
}
|
|
|
|
|
|
|
/* Initialize the diagnostic message outputting machinery. */
|
/* Initialize the diagnostic message outputting machinery. */
|
void
|
void
|
diagnostic_initialize (diagnostic_context *context)
|
diagnostic_initialize (diagnostic_context *context)
|
{
|
{
|
/* Allocate a basic pretty-printer. Clients will replace this a
|
/* Allocate a basic pretty-printer. Clients will replace this a
|
much more elaborated pretty-printer if they wish. */
|
much more elaborated pretty-printer if they wish. */
|
context->printer = XNEW (pretty_printer);
|
context->printer = XNEW (pretty_printer);
|
pp_construct (context->printer, NULL, 0);
|
pp_construct (context->printer, NULL, 0);
|
/* By default, diagnostics are sent to stderr. */
|
/* By default, diagnostics are sent to stderr. */
|
context->printer->buffer->stream = stderr;
|
context->printer->buffer->stream = stderr;
|
/* By default, we emit prefixes once per message. */
|
/* By default, we emit prefixes once per message. */
|
context->printer->wrapping.rule = DIAGNOSTICS_SHOW_PREFIX_ONCE;
|
context->printer->wrapping.rule = DIAGNOSTICS_SHOW_PREFIX_ONCE;
|
|
|
memset (context->diagnostic_count, 0, sizeof context->diagnostic_count);
|
memset (context->diagnostic_count, 0, sizeof context->diagnostic_count);
|
context->issue_warnings_are_errors_message = true;
|
context->issue_warnings_are_errors_message = true;
|
context->warning_as_error_requested = false;
|
context->warning_as_error_requested = false;
|
memset (context->classify_diagnostic, DK_UNSPECIFIED,
|
memset (context->classify_diagnostic, DK_UNSPECIFIED,
|
sizeof context->classify_diagnostic);
|
sizeof context->classify_diagnostic);
|
context->show_option_requested = false;
|
context->show_option_requested = false;
|
context->abort_on_error = false;
|
context->abort_on_error = false;
|
context->internal_error = NULL;
|
context->internal_error = NULL;
|
diagnostic_starter (context) = default_diagnostic_starter;
|
diagnostic_starter (context) = default_diagnostic_starter;
|
diagnostic_finalizer (context) = default_diagnostic_finalizer;
|
diagnostic_finalizer (context) = default_diagnostic_finalizer;
|
context->last_module = 0;
|
context->last_module = 0;
|
context->last_function = NULL;
|
context->last_function = NULL;
|
context->lock = 0;
|
context->lock = 0;
|
context->inhibit_notes_p = false;
|
context->inhibit_notes_p = false;
|
}
|
}
|
|
|
/* Initialize DIAGNOSTIC, where the message MSG has already been
|
/* Initialize DIAGNOSTIC, where the message MSG has already been
|
translated. */
|
translated. */
|
void
|
void
|
diagnostic_set_info_translated (diagnostic_info *diagnostic, const char *msg,
|
diagnostic_set_info_translated (diagnostic_info *diagnostic, const char *msg,
|
va_list *args, location_t location,
|
va_list *args, location_t location,
|
diagnostic_t kind)
|
diagnostic_t kind)
|
{
|
{
|
diagnostic->message.err_no = errno;
|
diagnostic->message.err_no = errno;
|
diagnostic->message.args_ptr = args;
|
diagnostic->message.args_ptr = args;
|
diagnostic->message.format_spec = msg;
|
diagnostic->message.format_spec = msg;
|
diagnostic->location = location;
|
diagnostic->location = location;
|
diagnostic->override_column = 0;
|
diagnostic->override_column = 0;
|
diagnostic->kind = kind;
|
diagnostic->kind = kind;
|
diagnostic->option_index = 0;
|
diagnostic->option_index = 0;
|
}
|
}
|
|
|
/* Initialize DIAGNOSTIC, where the message GMSGID has not yet been
|
/* Initialize DIAGNOSTIC, where the message GMSGID has not yet been
|
translated. */
|
translated. */
|
void
|
void
|
diagnostic_set_info (diagnostic_info *diagnostic, const char *gmsgid,
|
diagnostic_set_info (diagnostic_info *diagnostic, const char *gmsgid,
|
va_list *args, location_t location,
|
va_list *args, location_t location,
|
diagnostic_t kind)
|
diagnostic_t kind)
|
{
|
{
|
diagnostic_set_info_translated (diagnostic, _(gmsgid), args, location, kind);
|
diagnostic_set_info_translated (diagnostic, _(gmsgid), args, location, kind);
|
}
|
}
|
|
|
/* Return a malloc'd string describing a location. The caller is
|
/* Return a malloc'd string describing a location. The caller is
|
responsible for freeing the memory. */
|
responsible for freeing the memory. */
|
char *
|
char *
|
diagnostic_build_prefix (diagnostic_info *diagnostic)
|
diagnostic_build_prefix (diagnostic_info *diagnostic)
|
{
|
{
|
static const char *const diagnostic_kind_text[] = {
|
static const char *const diagnostic_kind_text[] = {
|
#define DEFINE_DIAGNOSTIC_KIND(K, T) (T),
|
#define DEFINE_DIAGNOSTIC_KIND(K, T) (T),
|
#include "diagnostic.def"
|
#include "diagnostic.def"
|
#undef DEFINE_DIAGNOSTIC_KIND
|
#undef DEFINE_DIAGNOSTIC_KIND
|
"must-not-happen"
|
"must-not-happen"
|
};
|
};
|
const char *text = _(diagnostic_kind_text[diagnostic->kind]);
|
const char *text = _(diagnostic_kind_text[diagnostic->kind]);
|
expanded_location s = expand_location (diagnostic->location);
|
expanded_location s = expand_location (diagnostic->location);
|
if (diagnostic->override_column)
|
if (diagnostic->override_column)
|
s.column = diagnostic->override_column;
|
s.column = diagnostic->override_column;
|
gcc_assert (diagnostic->kind < DK_LAST_DIAGNOSTIC_KIND);
|
gcc_assert (diagnostic->kind < DK_LAST_DIAGNOSTIC_KIND);
|
|
|
return
|
return
|
(s.file == NULL
|
(s.file == NULL
|
? build_message_string ("%s: %s", progname, text)
|
? build_message_string ("%s: %s", progname, text)
|
: flag_show_column
|
: flag_show_column
|
? build_message_string ("%s:%d:%d: %s", s.file, s.line, s.column, text)
|
? build_message_string ("%s:%d:%d: %s", s.file, s.line, s.column, text)
|
: build_message_string ("%s:%d: %s", s.file, s.line, text));
|
: build_message_string ("%s:%d: %s", s.file, s.line, text));
|
}
|
}
|
|
|
/* Take any action which is expected to happen after the diagnostic
|
/* Take any action which is expected to happen after the diagnostic
|
is written out. This function does not always return. */
|
is written out. This function does not always return. */
|
static void
|
static void
|
diagnostic_action_after_output (diagnostic_context *context,
|
diagnostic_action_after_output (diagnostic_context *context,
|
diagnostic_info *diagnostic)
|
diagnostic_info *diagnostic)
|
{
|
{
|
switch (diagnostic->kind)
|
switch (diagnostic->kind)
|
{
|
{
|
case DK_DEBUG:
|
case DK_DEBUG:
|
case DK_NOTE:
|
case DK_NOTE:
|
case DK_ANACHRONISM:
|
case DK_ANACHRONISM:
|
case DK_WARNING:
|
case DK_WARNING:
|
break;
|
break;
|
|
|
case DK_ERROR:
|
case DK_ERROR:
|
case DK_SORRY:
|
case DK_SORRY:
|
if (context->abort_on_error)
|
if (context->abort_on_error)
|
real_abort ();
|
real_abort ();
|
if (flag_fatal_errors)
|
if (flag_fatal_errors)
|
{
|
{
|
fnotice (stderr, "compilation terminated due to -Wfatal-errors.\n");
|
fnotice (stderr, "compilation terminated due to -Wfatal-errors.\n");
|
exit (FATAL_EXIT_CODE);
|
exit (FATAL_EXIT_CODE);
|
}
|
}
|
break;
|
break;
|
|
|
case DK_ICE:
|
case DK_ICE:
|
if (context->abort_on_error)
|
if (context->abort_on_error)
|
real_abort ();
|
real_abort ();
|
|
|
fnotice (stderr, "Please submit a full bug report,\n"
|
fnotice (stderr, "Please submit a full bug report,\n"
|
"with preprocessed source if appropriate.\n"
|
"with preprocessed source if appropriate.\n"
|
"See %s for instructions.\n", bug_report_url);
|
"See %s for instructions.\n", bug_report_url);
|
exit (ICE_EXIT_CODE);
|
exit (ICE_EXIT_CODE);
|
|
|
case DK_FATAL:
|
case DK_FATAL:
|
if (context->abort_on_error)
|
if (context->abort_on_error)
|
real_abort ();
|
real_abort ();
|
|
|
fnotice (stderr, "compilation terminated.\n");
|
fnotice (stderr, "compilation terminated.\n");
|
exit (FATAL_EXIT_CODE);
|
exit (FATAL_EXIT_CODE);
|
|
|
default:
|
default:
|
gcc_unreachable ();
|
gcc_unreachable ();
|
}
|
}
|
}
|
}
|
|
|
/* Prints out, if necessary, the name of the current function
|
/* Prints out, if necessary, the name of the current function
|
that caused an error. Called from all error and warning functions. */
|
that caused an error. Called from all error and warning functions. */
|
void
|
void
|
diagnostic_report_current_function (diagnostic_context *context,
|
diagnostic_report_current_function (diagnostic_context *context,
|
diagnostic_info *diagnostic)
|
diagnostic_info *diagnostic)
|
{
|
{
|
diagnostic_report_current_module (context);
|
diagnostic_report_current_module (context);
|
lang_hooks.print_error_function (context, input_filename, diagnostic);
|
lang_hooks.print_error_function (context, input_filename, diagnostic);
|
}
|
}
|
|
|
void
|
void
|
diagnostic_report_current_module (diagnostic_context *context)
|
diagnostic_report_current_module (diagnostic_context *context)
|
{
|
{
|
const struct line_map *map;
|
const struct line_map *map;
|
|
|
if (pp_needs_newline (context->printer))
|
if (pp_needs_newline (context->printer))
|
{
|
{
|
pp_newline (context->printer);
|
pp_newline (context->printer);
|
pp_needs_newline (context->printer) = false;
|
pp_needs_newline (context->printer) = false;
|
}
|
}
|
|
|
if (input_location <= BUILTINS_LOCATION)
|
if (input_location <= BUILTINS_LOCATION)
|
return;
|
return;
|
|
|
map = linemap_lookup (line_table, input_location);
|
map = linemap_lookup (line_table, input_location);
|
if (map && diagnostic_last_module_changed (context, map))
|
if (map && diagnostic_last_module_changed (context, map))
|
{
|
{
|
diagnostic_set_last_module (context, map);
|
diagnostic_set_last_module (context, map);
|
if (! MAIN_FILE_P (map))
|
if (! MAIN_FILE_P (map))
|
{
|
{
|
map = INCLUDED_FROM (line_table, map);
|
map = INCLUDED_FROM (line_table, map);
|
if (flag_show_column)
|
if (flag_show_column)
|
pp_verbatim (context->printer,
|
pp_verbatim (context->printer,
|
"In file included from %s:%d:%d",
|
"In file included from %s:%d:%d",
|
map->to_file,
|
map->to_file,
|
LAST_SOURCE_LINE (map), LAST_SOURCE_COLUMN (map));
|
LAST_SOURCE_LINE (map), LAST_SOURCE_COLUMN (map));
|
else
|
else
|
pp_verbatim (context->printer,
|
pp_verbatim (context->printer,
|
"In file included from %s:%d",
|
"In file included from %s:%d",
|
map->to_file, LAST_SOURCE_LINE (map));
|
map->to_file, LAST_SOURCE_LINE (map));
|
while (! MAIN_FILE_P (map))
|
while (! MAIN_FILE_P (map))
|
{
|
{
|
map = INCLUDED_FROM (line_table, map);
|
map = INCLUDED_FROM (line_table, map);
|
pp_verbatim (context->printer,
|
pp_verbatim (context->printer,
|
",\n from %s:%d",
|
",\n from %s:%d",
|
map->to_file, LAST_SOURCE_LINE (map));
|
map->to_file, LAST_SOURCE_LINE (map));
|
}
|
}
|
pp_verbatim (context->printer, ":");
|
pp_verbatim (context->printer, ":");
|
pp_newline (context->printer);
|
pp_newline (context->printer);
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
void
|
void
|
default_diagnostic_starter (diagnostic_context *context,
|
default_diagnostic_starter (diagnostic_context *context,
|
diagnostic_info *diagnostic)
|
diagnostic_info *diagnostic)
|
{
|
{
|
diagnostic_report_current_function (context, diagnostic);
|
diagnostic_report_current_function (context, diagnostic);
|
pp_set_prefix (context->printer, diagnostic_build_prefix (diagnostic));
|
pp_set_prefix (context->printer, diagnostic_build_prefix (diagnostic));
|
}
|
}
|
|
|
void
|
void
|
default_diagnostic_finalizer (diagnostic_context *context,
|
default_diagnostic_finalizer (diagnostic_context *context,
|
diagnostic_info *diagnostic ATTRIBUTE_UNUSED)
|
diagnostic_info *diagnostic ATTRIBUTE_UNUSED)
|
{
|
{
|
pp_destroy_prefix (context->printer);
|
pp_destroy_prefix (context->printer);
|
}
|
}
|
|
|
/* Interface to specify diagnostic kind overrides. Returns the
|
/* Interface to specify diagnostic kind overrides. Returns the
|
previous setting, or DK_UNSPECIFIED if the parameters are out of
|
previous setting, or DK_UNSPECIFIED if the parameters are out of
|
range. */
|
range. */
|
diagnostic_t
|
diagnostic_t
|
diagnostic_classify_diagnostic (diagnostic_context *context,
|
diagnostic_classify_diagnostic (diagnostic_context *context,
|
int option_index,
|
int option_index,
|
diagnostic_t new_kind)
|
diagnostic_t new_kind)
|
{
|
{
|
diagnostic_t old_kind;
|
diagnostic_t old_kind;
|
|
|
if (option_index <= 0
|
if (option_index <= 0
|
|| option_index >= N_OPTS
|
|| option_index >= N_OPTS
|
|| new_kind >= DK_LAST_DIAGNOSTIC_KIND)
|
|| new_kind >= DK_LAST_DIAGNOSTIC_KIND)
|
return DK_UNSPECIFIED;
|
return DK_UNSPECIFIED;
|
|
|
old_kind = context->classify_diagnostic[option_index];
|
old_kind = context->classify_diagnostic[option_index];
|
context->classify_diagnostic[option_index] = new_kind;
|
context->classify_diagnostic[option_index] = new_kind;
|
return old_kind;
|
return old_kind;
|
}
|
}
|
|
|
/* Report a diagnostic message (an error or a warning) as specified by
|
/* Report a diagnostic message (an error or a warning) as specified by
|
DC. This function is *the* subroutine in terms of which front-ends
|
DC. This function is *the* subroutine in terms of which front-ends
|
should implement their specific diagnostic handling modules. The
|
should implement their specific diagnostic handling modules. The
|
front-end independent format specifiers are exactly those described
|
front-end independent format specifiers are exactly those described
|
in the documentation of output_format.
|
in the documentation of output_format.
|
Return true if a diagnostic was printed, false otherwise. */
|
Return true if a diagnostic was printed, false otherwise. */
|
|
|
bool
|
bool
|
diagnostic_report_diagnostic (diagnostic_context *context,
|
diagnostic_report_diagnostic (diagnostic_context *context,
|
diagnostic_info *diagnostic)
|
diagnostic_info *diagnostic)
|
{
|
{
|
location_t location = diagnostic->location;
|
location_t location = diagnostic->location;
|
bool maybe_print_warnings_as_errors_message = false;
|
bool maybe_print_warnings_as_errors_message = false;
|
const char *saved_format_spec;
|
const char *saved_format_spec;
|
|
|
/* Give preference to being able to inhibit warnings, before they
|
/* Give preference to being able to inhibit warnings, before they
|
get reclassified to something else. */
|
get reclassified to something else. */
|
if ((diagnostic->kind == DK_WARNING || diagnostic->kind == DK_PEDWARN)
|
if ((diagnostic->kind == DK_WARNING || diagnostic->kind == DK_PEDWARN)
|
&& !diagnostic_report_warnings_p (location))
|
&& !diagnostic_report_warnings_p (location))
|
return false;
|
return false;
|
|
|
if (diagnostic->kind == DK_PEDWARN)
|
if (diagnostic->kind == DK_PEDWARN)
|
diagnostic->kind = pedantic_warning_kind ();
|
diagnostic->kind = pedantic_warning_kind ();
|
|
|
if (diagnostic->kind == DK_NOTE && context->inhibit_notes_p)
|
if (diagnostic->kind == DK_NOTE && context->inhibit_notes_p)
|
return false;
|
return false;
|
|
|
if (context->lock > 0)
|
if (context->lock > 0)
|
{
|
{
|
/* If we're reporting an ICE in the middle of some other error,
|
/* If we're reporting an ICE in the middle of some other error,
|
try to flush out the previous error, then let this one
|
try to flush out the previous error, then let this one
|
through. Don't do this more than once. */
|
through. Don't do this more than once. */
|
if (diagnostic->kind == DK_ICE && context->lock == 1)
|
if (diagnostic->kind == DK_ICE && context->lock == 1)
|
pp_flush (context->printer);
|
pp_flush (context->printer);
|
else
|
else
|
error_recursion (context);
|
error_recursion (context);
|
}
|
}
|
|
|
/* If the user requested that warnings be treated as errors, so be
|
/* If the user requested that warnings be treated as errors, so be
|
it. Note that we do this before the next block so that
|
it. Note that we do this before the next block so that
|
individual warnings can be overridden back to warnings with
|
individual warnings can be overridden back to warnings with
|
-Wno-error=*. */
|
-Wno-error=*. */
|
if (context->warning_as_error_requested
|
if (context->warning_as_error_requested
|
&& diagnostic->kind == DK_WARNING)
|
&& diagnostic->kind == DK_WARNING)
|
{
|
{
|
diagnostic->kind = DK_ERROR;
|
diagnostic->kind = DK_ERROR;
|
maybe_print_warnings_as_errors_message = true;
|
maybe_print_warnings_as_errors_message = true;
|
}
|
}
|
|
|
if (diagnostic->option_index)
|
if (diagnostic->option_index)
|
{
|
{
|
/* This tests if the user provided the appropriate -Wfoo or
|
/* This tests if the user provided the appropriate -Wfoo or
|
-Wno-foo option. */
|
-Wno-foo option. */
|
if (! option_enabled (diagnostic->option_index))
|
if (! option_enabled (diagnostic->option_index))
|
return false;
|
return false;
|
/* This tests if the user provided the appropriate -Werror=foo
|
/* This tests if the user provided the appropriate -Werror=foo
|
option. */
|
option. */
|
if (context->classify_diagnostic[diagnostic->option_index] != DK_UNSPECIFIED)
|
if (context->classify_diagnostic[diagnostic->option_index] != DK_UNSPECIFIED)
|
{
|
{
|
diagnostic->kind = context->classify_diagnostic[diagnostic->option_index];
|
diagnostic->kind = context->classify_diagnostic[diagnostic->option_index];
|
maybe_print_warnings_as_errors_message = false;
|
maybe_print_warnings_as_errors_message = false;
|
}
|
}
|
/* This allows for future extensions, like temporarily disabling
|
/* This allows for future extensions, like temporarily disabling
|
warnings for ranges of source code. */
|
warnings for ranges of source code. */
|
if (diagnostic->kind == DK_IGNORED)
|
if (diagnostic->kind == DK_IGNORED)
|
return false;
|
return false;
|
}
|
}
|
|
|
/* If we changed the kind due to -Werror, and didn't override it, we
|
/* If we changed the kind due to -Werror, and didn't override it, we
|
need to print this message. */
|
need to print this message. */
|
if (context->issue_warnings_are_errors_message
|
if (context->issue_warnings_are_errors_message
|
&& maybe_print_warnings_as_errors_message)
|
&& maybe_print_warnings_as_errors_message)
|
{
|
{
|
pp_verbatim (context->printer,
|
pp_verbatim (context->printer,
|
"%s: warnings being treated as errors\n", progname);
|
"%s: warnings being treated as errors\n", progname);
|
context->issue_warnings_are_errors_message = false;
|
context->issue_warnings_are_errors_message = false;
|
}
|
}
|
|
|
context->lock++;
|
context->lock++;
|
|
|
if (diagnostic->kind == DK_ICE && plugins_active_p ())
|
if (diagnostic->kind == DK_ICE && plugins_active_p ())
|
{
|
{
|
fnotice (stderr, "*** WARNING *** there are active plugins, do not report"
|
fnotice (stderr, "*** WARNING *** there are active plugins, do not report"
|
" this as a bug unless you can reproduce it without enabling"
|
" this as a bug unless you can reproduce it without enabling"
|
" any plugins.\n");
|
" any plugins.\n");
|
dump_active_plugins (stderr);
|
dump_active_plugins (stderr);
|
}
|
}
|
|
|
if (diagnostic->kind == DK_ICE)
|
if (diagnostic->kind == DK_ICE)
|
{
|
{
|
#ifndef ENABLE_CHECKING
|
#ifndef ENABLE_CHECKING
|
/* When not checking, ICEs are converted to fatal errors when an
|
/* When not checking, ICEs are converted to fatal errors when an
|
error has already occurred. This is counteracted by
|
error has already occurred. This is counteracted by
|
abort_on_error. */
|
abort_on_error. */
|
if ((diagnostic_kind_count (context, DK_ERROR) > 0
|
if ((diagnostic_kind_count (context, DK_ERROR) > 0
|
|| diagnostic_kind_count (context, DK_SORRY) > 0)
|
|| diagnostic_kind_count (context, DK_SORRY) > 0)
|
&& !context->abort_on_error)
|
&& !context->abort_on_error)
|
{
|
{
|
expanded_location s = expand_location (diagnostic->location);
|
expanded_location s = expand_location (diagnostic->location);
|
fnotice (stderr, "%s:%d: confused by earlier errors, bailing out\n",
|
fnotice (stderr, "%s:%d: confused by earlier errors, bailing out\n",
|
s.file, s.line);
|
s.file, s.line);
|
exit (ICE_EXIT_CODE);
|
exit (ICE_EXIT_CODE);
|
}
|
}
|
#endif
|
#endif
|
if (context->internal_error)
|
if (context->internal_error)
|
(*context->internal_error) (diagnostic->message.format_spec,
|
(*context->internal_error) (diagnostic->message.format_spec,
|
diagnostic->message.args_ptr);
|
diagnostic->message.args_ptr);
|
}
|
}
|
++diagnostic_kind_count (context, diagnostic->kind);
|
++diagnostic_kind_count (context, diagnostic->kind);
|
|
|
saved_format_spec = diagnostic->message.format_spec;
|
saved_format_spec = diagnostic->message.format_spec;
|
if (context->show_option_requested && diagnostic->option_index)
|
if (context->show_option_requested && diagnostic->option_index)
|
diagnostic->message.format_spec
|
diagnostic->message.format_spec
|
= ACONCAT ((diagnostic->message.format_spec,
|
= ACONCAT ((diagnostic->message.format_spec,
|
" [", cl_options[diagnostic->option_index].opt_text, "]", NULL));
|
" [", cl_options[diagnostic->option_index].opt_text, "]", NULL));
|
|
|
diagnostic->message.locus = &diagnostic->location;
|
diagnostic->message.locus = &diagnostic->location;
|
diagnostic->message.abstract_origin = &diagnostic->abstract_origin;
|
diagnostic->message.abstract_origin = &diagnostic->abstract_origin;
|
diagnostic->abstract_origin = NULL;
|
diagnostic->abstract_origin = NULL;
|
pp_format (context->printer, &diagnostic->message);
|
pp_format (context->printer, &diagnostic->message);
|
(*diagnostic_starter (context)) (context, diagnostic);
|
(*diagnostic_starter (context)) (context, diagnostic);
|
pp_output_formatted_text (context->printer);
|
pp_output_formatted_text (context->printer);
|
(*diagnostic_finalizer (context)) (context, diagnostic);
|
(*diagnostic_finalizer (context)) (context, diagnostic);
|
pp_flush (context->printer);
|
pp_flush (context->printer);
|
diagnostic_action_after_output (context, diagnostic);
|
diagnostic_action_after_output (context, diagnostic);
|
diagnostic->message.format_spec = saved_format_spec;
|
diagnostic->message.format_spec = saved_format_spec;
|
diagnostic->abstract_origin = NULL;
|
diagnostic->abstract_origin = NULL;
|
|
|
context->lock--;
|
context->lock--;
|
|
|
return true;
|
return true;
|
}
|
}
|
|
|
/* Given a partial pathname as input, return another pathname that
|
/* Given a partial pathname as input, return another pathname that
|
shares no directory elements with the pathname of __FILE__. This
|
shares no directory elements with the pathname of __FILE__. This
|
is used by fancy_abort() to print `Internal compiler error in expr.c'
|
is used by fancy_abort() to print `Internal compiler error in expr.c'
|
instead of `Internal compiler error in ../../GCC/gcc/expr.c'. */
|
instead of `Internal compiler error in ../../GCC/gcc/expr.c'. */
|
|
|
const char *
|
const char *
|
trim_filename (const char *name)
|
trim_filename (const char *name)
|
{
|
{
|
static const char this_file[] = __FILE__;
|
static const char this_file[] = __FILE__;
|
const char *p = name, *q = this_file;
|
const char *p = name, *q = this_file;
|
|
|
/* First skip any "../" in each filename. This allows us to give a proper
|
/* First skip any "../" in each filename. This allows us to give a proper
|
reference to a file in a subdirectory. */
|
reference to a file in a subdirectory. */
|
while (p[0] == '.' && p[1] == '.' && IS_DIR_SEPARATOR (p[2]))
|
while (p[0] == '.' && p[1] == '.' && IS_DIR_SEPARATOR (p[2]))
|
p += 3;
|
p += 3;
|
|
|
while (q[0] == '.' && q[1] == '.' && IS_DIR_SEPARATOR (q[2]))
|
while (q[0] == '.' && q[1] == '.' && IS_DIR_SEPARATOR (q[2]))
|
q += 3;
|
q += 3;
|
|
|
/* Now skip any parts the two filenames have in common. */
|
/* Now skip any parts the two filenames have in common. */
|
while (*p == *q && *p != 0 && *q != 0)
|
while (*p == *q && *p != 0 && *q != 0)
|
p++, q++;
|
p++, q++;
|
|
|
/* Now go backwards until the previous directory separator. */
|
/* Now go backwards until the previous directory separator. */
|
while (p > name && !IS_DIR_SEPARATOR (p[-1]))
|
while (p > name && !IS_DIR_SEPARATOR (p[-1]))
|
p--;
|
p--;
|
|
|
return p;
|
return p;
|
}
|
}
|
|
|
/* Standard error reporting routines in increasing order of severity.
|
/* Standard error reporting routines in increasing order of severity.
|
All of these take arguments like printf. */
|
All of these take arguments like printf. */
|
|
|
/* Text to be emitted verbatim to the error message stream; this
|
/* Text to be emitted verbatim to the error message stream; this
|
produces no prefix and disables line-wrapping. Use rarely. */
|
produces no prefix and disables line-wrapping. Use rarely. */
|
void
|
void
|
verbatim (const char *gmsgid, ...)
|
verbatim (const char *gmsgid, ...)
|
{
|
{
|
text_info text;
|
text_info text;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
text.err_no = errno;
|
text.err_no = errno;
|
text.args_ptr = ≈
|
text.args_ptr = ≈
|
text.format_spec = _(gmsgid);
|
text.format_spec = _(gmsgid);
|
text.locus = NULL;
|
text.locus = NULL;
|
text.abstract_origin = NULL;
|
text.abstract_origin = NULL;
|
pp_format_verbatim (global_dc->printer, &text);
|
pp_format_verbatim (global_dc->printer, &text);
|
pp_flush (global_dc->printer);
|
pp_flush (global_dc->printer);
|
va_end (ap);
|
va_end (ap);
|
}
|
}
|
|
|
bool
|
bool
|
emit_diagnostic (diagnostic_t kind, location_t location, int opt,
|
emit_diagnostic (diagnostic_t kind, location_t location, int opt,
|
const char *gmsgid, ...)
|
const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
if (kind == DK_PERMERROR)
|
if (kind == DK_PERMERROR)
|
{
|
{
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location,
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location,
|
permissive_error_kind ());
|
permissive_error_kind ());
|
diagnostic.option_index = OPT_fpermissive;
|
diagnostic.option_index = OPT_fpermissive;
|
}
|
}
|
else {
|
else {
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location, kind);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location, kind);
|
if (kind == DK_WARNING || kind == DK_PEDWARN)
|
if (kind == DK_WARNING || kind == DK_PEDWARN)
|
diagnostic.option_index = opt;
|
diagnostic.option_index = opt;
|
}
|
}
|
va_end (ap);
|
va_end (ap);
|
|
|
return report_diagnostic (&diagnostic);
|
return report_diagnostic (&diagnostic);
|
}
|
}
|
|
|
/* An informative note at LOCATION. Use this for additional details on an error
|
/* An informative note at LOCATION. Use this for additional details on an error
|
message. */
|
message. */
|
void
|
void
|
inform (location_t location, const char *gmsgid, ...)
|
inform (location_t location, const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location, DK_NOTE);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location, DK_NOTE);
|
report_diagnostic (&diagnostic);
|
report_diagnostic (&diagnostic);
|
va_end (ap);
|
va_end (ap);
|
}
|
}
|
|
|
/* An informative note at LOCATION. Use this for additional details on an
|
/* An informative note at LOCATION. Use this for additional details on an
|
error message. */
|
error message. */
|
void
|
void
|
inform_n (location_t location, int n, const char *singular_gmsgid,
|
inform_n (location_t location, int n, const char *singular_gmsgid,
|
const char *plural_gmsgid, ...)
|
const char *plural_gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, plural_gmsgid);
|
va_start (ap, plural_gmsgid);
|
diagnostic_set_info_translated (&diagnostic,
|
diagnostic_set_info_translated (&diagnostic,
|
ngettext (singular_gmsgid, plural_gmsgid, n),
|
ngettext (singular_gmsgid, plural_gmsgid, n),
|
&ap, location, DK_NOTE);
|
&ap, location, DK_NOTE);
|
report_diagnostic (&diagnostic);
|
report_diagnostic (&diagnostic);
|
va_end (ap);
|
va_end (ap);
|
}
|
}
|
|
|
/* A warning at INPUT_LOCATION. Use this for code which is correct according
|
/* A warning at INPUT_LOCATION. Use this for code which is correct according
|
to the relevant language specification but is likely to be buggy anyway.
|
to the relevant language specification but is likely to be buggy anyway.
|
Returns true if the warning was printed, false if it was inhibited. */
|
Returns true if the warning was printed, false if it was inhibited. */
|
bool
|
bool
|
warning (int opt, const char *gmsgid, ...)
|
warning (int opt, const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_WARNING);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_WARNING);
|
diagnostic.option_index = opt;
|
diagnostic.option_index = opt;
|
|
|
va_end (ap);
|
va_end (ap);
|
return report_diagnostic (&diagnostic);
|
return report_diagnostic (&diagnostic);
|
}
|
}
|
|
|
/* A warning at LOCATION. Use this for code which is correct according to the
|
/* A warning at LOCATION. Use this for code which is correct according to the
|
relevant language specification but is likely to be buggy anyway.
|
relevant language specification but is likely to be buggy anyway.
|
Returns true if the warning was printed, false if it was inhibited. */
|
Returns true if the warning was printed, false if it was inhibited. */
|
|
|
bool
|
bool
|
warning_at (location_t location, int opt, const char *gmsgid, ...)
|
warning_at (location_t location, int opt, const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location, DK_WARNING);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location, DK_WARNING);
|
diagnostic.option_index = opt;
|
diagnostic.option_index = opt;
|
va_end (ap);
|
va_end (ap);
|
return report_diagnostic (&diagnostic);
|
return report_diagnostic (&diagnostic);
|
}
|
}
|
|
|
/* A "pedantic" warning at LOCATION: issues a warning unless
|
/* A "pedantic" warning at LOCATION: issues a warning unless
|
-pedantic-errors was given on the command line, in which case it
|
-pedantic-errors was given on the command line, in which case it
|
issues an error. Use this for diagnostics required by the relevant
|
issues an error. Use this for diagnostics required by the relevant
|
language standard, if you have chosen not to make them errors.
|
language standard, if you have chosen not to make them errors.
|
|
|
Note that these diagnostics are issued independent of the setting
|
Note that these diagnostics are issued independent of the setting
|
of the -pedantic command-line switch. To get a warning enabled
|
of the -pedantic command-line switch. To get a warning enabled
|
only with that switch, use either "if (pedantic) pedwarn
|
only with that switch, use either "if (pedantic) pedwarn
|
(OPT_pedantic,...)" or just "pedwarn (OPT_pedantic,..)". To get a
|
(OPT_pedantic,...)" or just "pedwarn (OPT_pedantic,..)". To get a
|
pedwarn independently of the -pedantic switch use "pedwarn (0,...)".
|
pedwarn independently of the -pedantic switch use "pedwarn (0,...)".
|
|
|
Returns true if the warning was printed, false if it was inhibited. */
|
Returns true if the warning was printed, false if it was inhibited. */
|
|
|
bool
|
bool
|
pedwarn (location_t location, int opt, const char *gmsgid, ...)
|
pedwarn (location_t location, int opt, const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location, DK_PEDWARN);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location, DK_PEDWARN);
|
diagnostic.option_index = opt;
|
diagnostic.option_index = opt;
|
va_end (ap);
|
va_end (ap);
|
return report_diagnostic (&diagnostic);
|
return report_diagnostic (&diagnostic);
|
}
|
}
|
|
|
/* A "permissive" error at LOCATION: issues an error unless
|
/* A "permissive" error at LOCATION: issues an error unless
|
-fpermissive was given on the command line, in which case it issues
|
-fpermissive was given on the command line, in which case it issues
|
a warning. Use this for things that really should be errors but we
|
a warning. Use this for things that really should be errors but we
|
want to support legacy code.
|
want to support legacy code.
|
|
|
Returns true if the warning was printed, false if it was inhibited. */
|
Returns true if the warning was printed, false if it was inhibited. */
|
|
|
bool
|
bool
|
permerror (location_t location, const char *gmsgid, ...)
|
permerror (location_t location, const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location,
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, location,
|
permissive_error_kind ());
|
permissive_error_kind ());
|
diagnostic.option_index = OPT_fpermissive;
|
diagnostic.option_index = OPT_fpermissive;
|
va_end (ap);
|
va_end (ap);
|
return report_diagnostic (&diagnostic);
|
return report_diagnostic (&diagnostic);
|
}
|
}
|
|
|
/* A hard error: the code is definitely ill-formed, and an object file
|
/* A hard error: the code is definitely ill-formed, and an object file
|
will not be produced. */
|
will not be produced. */
|
void
|
void
|
error (const char *gmsgid, ...)
|
error (const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_ERROR);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_ERROR);
|
report_diagnostic (&diagnostic);
|
report_diagnostic (&diagnostic);
|
va_end (ap);
|
va_end (ap);
|
}
|
}
|
|
|
/* A hard error: the code is definitely ill-formed, and an object file
|
/* A hard error: the code is definitely ill-formed, and an object file
|
will not be produced. */
|
will not be produced. */
|
void
|
void
|
error_n (location_t location, int n, const char *singular_gmsgid,
|
error_n (location_t location, int n, const char *singular_gmsgid,
|
const char *plural_gmsgid, ...)
|
const char *plural_gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, plural_gmsgid);
|
va_start (ap, plural_gmsgid);
|
diagnostic_set_info_translated (&diagnostic,
|
diagnostic_set_info_translated (&diagnostic,
|
ngettext (singular_gmsgid, plural_gmsgid, n),
|
ngettext (singular_gmsgid, plural_gmsgid, n),
|
&ap, location, DK_ERROR);
|
&ap, location, DK_ERROR);
|
report_diagnostic (&diagnostic);
|
report_diagnostic (&diagnostic);
|
va_end (ap);
|
va_end (ap);
|
}
|
}
|
|
|
/* Same as ebove, but use location LOC instead of input_location. */
|
/* Same as ebove, but use location LOC instead of input_location. */
|
void
|
void
|
error_at (location_t loc, const char *gmsgid, ...)
|
error_at (location_t loc, const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, loc, DK_ERROR);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, loc, DK_ERROR);
|
report_diagnostic (&diagnostic);
|
report_diagnostic (&diagnostic);
|
va_end (ap);
|
va_end (ap);
|
}
|
}
|
|
|
/* "Sorry, not implemented." Use for a language feature which is
|
/* "Sorry, not implemented." Use for a language feature which is
|
required by the relevant specification but not implemented by GCC.
|
required by the relevant specification but not implemented by GCC.
|
An object file will not be produced. */
|
An object file will not be produced. */
|
void
|
void
|
sorry (const char *gmsgid, ...)
|
sorry (const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_SORRY);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_SORRY);
|
report_diagnostic (&diagnostic);
|
report_diagnostic (&diagnostic);
|
va_end (ap);
|
va_end (ap);
|
}
|
}
|
|
|
/* An error which is severe enough that we make no attempt to
|
/* An error which is severe enough that we make no attempt to
|
continue. Do not use this for internal consistency checks; that's
|
continue. Do not use this for internal consistency checks; that's
|
internal_error. Use of this function should be rare. */
|
internal_error. Use of this function should be rare. */
|
void
|
void
|
fatal_error (const char *gmsgid, ...)
|
fatal_error (const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_FATAL);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_FATAL);
|
report_diagnostic (&diagnostic);
|
report_diagnostic (&diagnostic);
|
va_end (ap);
|
va_end (ap);
|
|
|
gcc_unreachable ();
|
gcc_unreachable ();
|
}
|
}
|
|
|
/* An internal consistency check has failed. We make no attempt to
|
/* An internal consistency check has failed. We make no attempt to
|
continue. Note that unless there is debugging value to be had from
|
continue. Note that unless there is debugging value to be had from
|
a more specific message, or some other good reason, you should use
|
a more specific message, or some other good reason, you should use
|
abort () instead of calling this function directly. */
|
abort () instead of calling this function directly. */
|
void
|
void
|
internal_error (const char *gmsgid, ...)
|
internal_error (const char *gmsgid, ...)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, gmsgid);
|
va_start (ap, gmsgid);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_ICE);
|
diagnostic_set_info (&diagnostic, gmsgid, &ap, input_location, DK_ICE);
|
report_diagnostic (&diagnostic);
|
report_diagnostic (&diagnostic);
|
va_end (ap);
|
va_end (ap);
|
|
|
gcc_unreachable ();
|
gcc_unreachable ();
|
}
|
}
|
|
|
/* Special case error functions. Most are implemented in terms of the
|
/* Special case error functions. Most are implemented in terms of the
|
above, or should be. */
|
above, or should be. */
|
|
|
/* Print a diagnostic MSGID on FILE. This is just fprintf, except it
|
/* Print a diagnostic MSGID on FILE. This is just fprintf, except it
|
runs its second argument through gettext. */
|
runs its second argument through gettext. */
|
void
|
void
|
fnotice (FILE *file, const char *cmsgid, ...)
|
fnotice (FILE *file, const char *cmsgid, ...)
|
{
|
{
|
va_list ap;
|
va_list ap;
|
|
|
va_start (ap, cmsgid);
|
va_start (ap, cmsgid);
|
vfprintf (file, _(cmsgid), ap);
|
vfprintf (file, _(cmsgid), ap);
|
va_end (ap);
|
va_end (ap);
|
}
|
}
|
|
|
/* Inform the user that an error occurred while trying to report some
|
/* Inform the user that an error occurred while trying to report some
|
other error. This indicates catastrophic internal inconsistencies,
|
other error. This indicates catastrophic internal inconsistencies,
|
so give up now. But do try to flush out the previous error.
|
so give up now. But do try to flush out the previous error.
|
This mustn't use internal_error, that will cause infinite recursion. */
|
This mustn't use internal_error, that will cause infinite recursion. */
|
|
|
static void
|
static void
|
error_recursion (diagnostic_context *context)
|
error_recursion (diagnostic_context *context)
|
{
|
{
|
diagnostic_info diagnostic;
|
diagnostic_info diagnostic;
|
|
|
if (context->lock < 3)
|
if (context->lock < 3)
|
pp_flush (context->printer);
|
pp_flush (context->printer);
|
|
|
fnotice (stderr,
|
fnotice (stderr,
|
"Internal compiler error: Error reporting routines re-entered.\n");
|
"Internal compiler error: Error reporting routines re-entered.\n");
|
|
|
/* Call diagnostic_action_after_output to get the "please submit a bug
|
/* Call diagnostic_action_after_output to get the "please submit a bug
|
report" message. It only looks at the kind field of diagnostic_info. */
|
report" message. It only looks at the kind field of diagnostic_info. */
|
diagnostic.kind = DK_ICE;
|
diagnostic.kind = DK_ICE;
|
diagnostic_action_after_output (context, &diagnostic);
|
diagnostic_action_after_output (context, &diagnostic);
|
|
|
/* Do not use gcc_unreachable here; that goes through internal_error
|
/* Do not use gcc_unreachable here; that goes through internal_error
|
and therefore would cause infinite recursion. */
|
and therefore would cause infinite recursion. */
|
real_abort ();
|
real_abort ();
|
}
|
}
|
|
|
/* Report an internal compiler error in a friendly manner. This is
|
/* Report an internal compiler error in a friendly manner. This is
|
the function that gets called upon use of abort() in the source
|
the function that gets called upon use of abort() in the source
|
code generally, thanks to a special macro. */
|
code generally, thanks to a special macro. */
|
|
|
void
|
void
|
fancy_abort (const char *file, int line, const char *function)
|
fancy_abort (const char *file, int line, const char *function)
|
{
|
{
|
internal_error ("in %s, at %s:%d", function, trim_filename (file), line);
|
internal_error ("in %s, at %s:%d", function, trim_filename (file), line);
|
}
|
}
|
|
|
/* Really call the system 'abort'. This has to go right at the end of
|
/* 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
|
this file, so that there are no functions after it that call abort
|
and get the system abort instead of our macro. */
|
and get the system abort instead of our macro. */
|
#undef abort
|
#undef abort
|
static void
|
static void
|
real_abort (void)
|
real_abort (void)
|
{
|
{
|
abort ();
|
abort ();
|
}
|
}
|
|
|