1 /* Language-independent diagnostic subroutines for the GNU Compiler Collection
2 Copyright (C) 1999-2015 Free Software Foundation, Inc.
3 Contributed by Gabriel Dos Reis <gdr@codesourcery.com>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
22 /* This file implements the language independent aspect of diagnostic
27 #include "coretypes.h"
31 #include "backtrace.h"
32 #include "diagnostic.h"
33 #include "diagnostic-color.h"
39 #ifdef GWINSZ_IN_SYS_IOCTL
40 # include <sys/ioctl.h>
43 #include <new> // For placement new.
45 #define pedantic_warning_kind(DC) \
46 ((DC)->pedantic_errors ? DK_ERROR : DK_WARNING)
47 #define permissive_error_kind(DC) ((DC)->permissive ? DK_WARNING : DK_ERROR)
48 #define permissive_error_option(DC) ((DC)->opt_permissive)
51 static void error_recursion (diagnostic_context
*) ATTRIBUTE_NORETURN
;
53 static void real_abort (void) ATTRIBUTE_NORETURN
;
55 /* Name of program invoked, sans directories. */
59 /* A diagnostic_context surrogate for stderr. */
60 static diagnostic_context global_diagnostic_context
;
61 diagnostic_context
*global_dc
= &global_diagnostic_context
;
63 /* Return a malloc'd string containing MSG formatted a la printf. The
64 caller is responsible for freeing the memory. */
66 build_message_string (const char *msg
, ...)
72 str
= xvasprintf (msg
, ap
);
78 /* Same as diagnostic_build_prefix, but only the source FILE is given. */
80 file_name_as_prefix (diagnostic_context
*context
, const char *f
)
83 = colorize_start (pp_show_color (context
->printer
), "locus");
84 const char *locus_ce
= colorize_stop (pp_show_color (context
->printer
));
85 return build_message_string ("%s%s:%s ", locus_cs
, f
, locus_ce
);
90 /* Return the value of the getenv("COLUMNS") as an integer. If the
91 value is not set to a positive integer, use ioctl to get the
92 terminal width. If it fails, return INT_MAX. */
94 get_terminal_width (void)
96 const char * s
= getenv ("COLUMNS");
106 if (ioctl (0, TIOCGWINSZ
, &w
) == 0 && w
.ws_col
> 0)
113 /* Set caret_max_width to value. */
115 diagnostic_set_caret_max_width (diagnostic_context
*context
, int value
)
117 /* One minus to account for the leading empty space. */
118 value
= value
? value
- 1
119 : (isatty (fileno (pp_buffer (context
->printer
)->stream
))
120 ? get_terminal_width () - 1: INT_MAX
);
125 context
->caret_max_width
= value
;
128 /* Initialize the diagnostic message outputting machinery. */
130 diagnostic_initialize (diagnostic_context
*context
, int n_opts
)
134 /* Allocate a basic pretty-printer. Clients will replace this a
135 much more elaborated pretty-printer if they wish. */
136 context
->printer
= XNEW (pretty_printer
);
137 new (context
->printer
) pretty_printer ();
139 memset (context
->diagnostic_count
, 0, sizeof context
->diagnostic_count
);
140 context
->warning_as_error_requested
= false;
141 context
->n_opts
= n_opts
;
142 context
->classify_diagnostic
= XNEWVEC (diagnostic_t
, n_opts
);
143 for (i
= 0; i
< n_opts
; i
++)
144 context
->classify_diagnostic
[i
] = DK_UNSPECIFIED
;
145 context
->show_caret
= false;
146 diagnostic_set_caret_max_width (context
, pp_line_cutoff (context
->printer
));
147 for (i
= 0; i
< MAX_LOCATIONS_PER_MESSAGE
; i
++)
148 context
->caret_chars
[i
] = '^';
149 context
->show_option_requested
= false;
150 context
->abort_on_error
= false;
151 context
->show_column
= false;
152 context
->pedantic_errors
= false;
153 context
->permissive
= false;
154 context
->opt_permissive
= 0;
155 context
->fatal_errors
= false;
156 context
->dc_inhibit_warnings
= false;
157 context
->dc_warn_system_headers
= false;
158 context
->max_errors
= 0;
159 context
->internal_error
= NULL
;
160 diagnostic_starter (context
) = default_diagnostic_starter
;
161 diagnostic_finalizer (context
) = default_diagnostic_finalizer
;
162 context
->option_enabled
= NULL
;
163 context
->option_state
= NULL
;
164 context
->option_name
= NULL
;
165 context
->last_location
= UNKNOWN_LOCATION
;
166 context
->last_module
= 0;
167 context
->x_data
= NULL
;
169 context
->inhibit_notes_p
= false;
172 /* Maybe initialize the color support. We require clients to do this
173 explicitly, since most clients don't want color. When called
174 without a VALUE, it initializes with DIAGNOSTICS_COLOR_DEFAULT. */
177 diagnostic_color_init (diagnostic_context
*context
, int value
/*= -1 */)
179 /* value == -1 is the default value. */
182 /* If DIAGNOSTICS_COLOR_DEFAULT is -1, default to
183 -fdiagnostics-color=auto if GCC_COLORS is in the environment,
184 otherwise default to -fdiagnostics-color=never, for other
185 values default to that
186 -fdiagnostics-color={never,auto,always}. */
187 if (DIAGNOSTICS_COLOR_DEFAULT
== -1)
189 if (!getenv ("GCC_COLORS"))
191 value
= DIAGNOSTICS_COLOR_AUTO
;
194 value
= DIAGNOSTICS_COLOR_DEFAULT
;
196 pp_show_color (context
->printer
)
197 = colorize_init ((diagnostic_color_rule_t
) value
);
200 /* Do any cleaning up required after the last diagnostic is emitted. */
203 diagnostic_finish (diagnostic_context
*context
)
205 /* Some of the errors may actually have been warnings. */
206 if (diagnostic_kind_count (context
, DK_WERROR
))
208 /* -Werror was given. */
209 if (context
->warning_as_error_requested
)
210 pp_verbatim (context
->printer
,
211 _("%s: all warnings being treated as errors"),
213 /* At least one -Werror= was given. */
215 pp_verbatim (context
->printer
,
216 _("%s: some warnings being treated as errors"),
218 pp_newline_and_flush (context
->printer
);
221 diagnostic_file_cache_fini ();
223 XDELETEVEC (context
->classify_diagnostic
);
224 context
->classify_diagnostic
= NULL
;
226 /* diagnostic_initialize allocates context->printer using XNEW
227 and placement-new. */
228 context
->printer
->~pretty_printer ();
229 XDELETE (context
->printer
);
230 context
->printer
= NULL
;
233 /* Initialize DIAGNOSTIC, where the message MSG has already been
236 diagnostic_set_info_translated (diagnostic_info
*diagnostic
, const char *msg
,
237 va_list *args
, location_t location
,
240 diagnostic
->message
.err_no
= errno
;
241 diagnostic
->message
.args_ptr
= args
;
242 diagnostic
->message
.format_spec
= msg
;
243 diagnostic
->message
.set_location (0, location
);
244 for (int i
= 1; i
< MAX_LOCATIONS_PER_MESSAGE
; i
++)
245 diagnostic
->message
.set_location (i
, UNKNOWN_LOCATION
);
246 diagnostic
->override_column
= 0;
247 diagnostic
->kind
= kind
;
248 diagnostic
->option_index
= 0;
251 /* Initialize DIAGNOSTIC, where the message GMSGID has not yet been
254 diagnostic_set_info (diagnostic_info
*diagnostic
, const char *gmsgid
,
255 va_list *args
, location_t location
,
258 diagnostic_set_info_translated (diagnostic
, _(gmsgid
), args
, location
, kind
);
261 /* Return a malloc'd string describing a location. The caller is
262 responsible for freeing the memory. */
264 diagnostic_build_prefix (diagnostic_context
*context
,
265 const diagnostic_info
*diagnostic
)
267 static const char *const diagnostic_kind_text
[] = {
268 #define DEFINE_DIAGNOSTIC_KIND(K, T, C) (T),
269 #include "diagnostic.def"
270 #undef DEFINE_DIAGNOSTIC_KIND
273 static const char *const diagnostic_kind_color
[] = {
274 #define DEFINE_DIAGNOSTIC_KIND(K, T, C) (C),
275 #include "diagnostic.def"
276 #undef DEFINE_DIAGNOSTIC_KIND
279 gcc_assert (diagnostic
->kind
< DK_LAST_DIAGNOSTIC_KIND
);
281 const char *text
= _(diagnostic_kind_text
[diagnostic
->kind
]);
282 const char *text_cs
= "", *text_ce
= "";
283 const char *locus_cs
, *locus_ce
;
284 pretty_printer
*pp
= context
->printer
;
286 if (diagnostic_kind_color
[diagnostic
->kind
])
288 text_cs
= colorize_start (pp_show_color (pp
),
289 diagnostic_kind_color
[diagnostic
->kind
]);
290 text_ce
= colorize_stop (pp_show_color (pp
));
292 locus_cs
= colorize_start (pp_show_color (pp
), "locus");
293 locus_ce
= colorize_stop (pp_show_color (pp
));
295 expanded_location s
= diagnostic_expand_location (diagnostic
);
298 ? build_message_string ("%s%s:%s %s%s%s", locus_cs
, progname
, locus_ce
,
299 text_cs
, text
, text_ce
)
300 : !strcmp (s
.file
, N_("<built-in>"))
301 ? build_message_string ("%s%s:%s %s%s%s", locus_cs
, s
.file
, locus_ce
,
302 text_cs
, text
, text_ce
)
303 : context
->show_column
304 ? build_message_string ("%s%s:%d:%d:%s %s%s%s", locus_cs
, s
.file
, s
.line
,
305 s
.column
, locus_ce
, text_cs
, text
, text_ce
)
306 : build_message_string ("%s%s:%d:%s %s%s%s", locus_cs
, s
.file
, s
.line
,
307 locus_ce
, text_cs
, text
, text_ce
));
310 /* Functions at which to stop the backtrace print. It's not
311 particularly helpful to print the callers of these functions. */
313 static const char * const bt_stop
[] =
321 /* A callback function passed to the backtrace_full function. */
324 bt_callback (void *data
, uintptr_t pc
, const char *filename
, int lineno
,
325 const char *function
)
327 int *pcount
= (int *) data
;
329 /* If we don't have any useful information, don't print
331 if (filename
== NULL
&& function
== NULL
)
334 /* Skip functions in diagnostic.c. */
337 && strcmp (lbasename (filename
), "diagnostic.c") == 0)
340 /* Print up to 20 functions. We could make this a --param, but
341 since this is only for debugging just use a constant for now. */
344 /* Returning a non-zero value stops the backtrace. */
350 if (function
!= NULL
)
352 char *str
= cplus_demangle_v3 (function
,
353 (DMGL_VERBOSE
| DMGL_ANSI
354 | DMGL_GNU_V3
| DMGL_PARAMS
));
361 for (size_t i
= 0; i
< ARRAY_SIZE (bt_stop
); ++i
)
363 size_t len
= strlen (bt_stop
[i
]);
364 if (strncmp (function
, bt_stop
[i
], len
) == 0
365 && (function
[len
] == '\0' || function
[len
] == '('))
369 /* Returning a non-zero value stops the backtrace. */
375 fprintf (stderr
, "0x%lx %s\n\t%s:%d\n",
377 function
== NULL
? "???" : function
,
378 filename
== NULL
? "???" : filename
,
387 /* A callback function passed to the backtrace_full function. This is
388 called if backtrace_full has an error. */
391 bt_err_callback (void *data ATTRIBUTE_UNUSED
, const char *msg
, int errnum
)
395 /* This means that no debug info was available. Just quietly
396 skip printing backtrace info. */
399 fprintf (stderr
, "%s%s%s\n", msg
, errnum
== 0 ? "" : ": ",
400 errnum
== 0 ? "" : xstrerror (errnum
));
403 /* Take any action which is expected to happen after the diagnostic
404 is written out. This function does not always return. */
406 diagnostic_action_after_output (diagnostic_context
*context
,
407 diagnostic_t diag_kind
)
419 if (context
->abort_on_error
)
421 if (context
->fatal_errors
)
423 fnotice (stderr
, "compilation terminated due to -Wfatal-errors.\n");
424 diagnostic_finish (context
);
425 exit (FATAL_EXIT_CODE
);
427 if (context
->max_errors
!= 0
428 && ((unsigned) (diagnostic_kind_count (context
, DK_ERROR
)
429 + diagnostic_kind_count (context
, DK_SORRY
)
430 + diagnostic_kind_count (context
, DK_WERROR
))
431 >= context
->max_errors
))
434 "compilation terminated due to -fmax-errors=%u.\n",
435 context
->max_errors
);
436 diagnostic_finish (context
);
437 exit (FATAL_EXIT_CODE
);
444 struct backtrace_state
*state
= NULL
;
445 if (diag_kind
== DK_ICE
)
446 state
= backtrace_create_state (NULL
, 0, bt_err_callback
, NULL
);
449 backtrace_full (state
, 2, bt_callback
, bt_err_callback
,
452 if (context
->abort_on_error
)
455 fnotice (stderr
, "Please submit a full bug report,\n"
456 "with preprocessed source if appropriate.\n");
459 ("Please include the complete backtrace "
460 "with any bug report.\n"));
461 fnotice (stderr
, "See %s for instructions.\n", bug_report_url
);
463 exit (ICE_EXIT_CODE
);
467 if (context
->abort_on_error
)
469 diagnostic_finish (context
);
470 fnotice (stderr
, "compilation terminated.\n");
471 exit (FATAL_EXIT_CODE
);
479 diagnostic_report_current_module (diagnostic_context
*context
, location_t where
)
481 const line_map_ordinary
*map
= NULL
;
483 if (pp_needs_newline (context
->printer
))
485 pp_newline (context
->printer
);
486 pp_needs_newline (context
->printer
) = false;
489 if (where
<= BUILTINS_LOCATION
)
492 linemap_resolve_location (line_table
, where
,
493 LRK_MACRO_DEFINITION_LOCATION
,
496 if (map
&& diagnostic_last_module_changed (context
, map
))
498 diagnostic_set_last_module (context
, map
);
499 if (! MAIN_FILE_P (map
))
501 map
= INCLUDED_FROM (line_table
, map
);
502 if (context
->show_column
)
503 pp_verbatim (context
->printer
,
504 "In file included from %r%s:%d:%d%R", "locus",
506 LAST_SOURCE_LINE (map
), LAST_SOURCE_COLUMN (map
));
508 pp_verbatim (context
->printer
,
509 "In file included from %r%s:%d%R", "locus",
510 LINEMAP_FILE (map
), LAST_SOURCE_LINE (map
));
511 while (! MAIN_FILE_P (map
))
513 map
= INCLUDED_FROM (line_table
, map
);
514 pp_verbatim (context
->printer
,
515 ",\n from %r%s:%d%R", "locus",
516 LINEMAP_FILE (map
), LAST_SOURCE_LINE (map
));
518 pp_verbatim (context
->printer
, ":");
519 pp_newline (context
->printer
);
525 default_diagnostic_starter (diagnostic_context
*context
,
526 diagnostic_info
*diagnostic
)
528 diagnostic_report_current_module (context
, diagnostic_location (diagnostic
));
529 pp_set_prefix (context
->printer
, diagnostic_build_prefix (context
,
534 default_diagnostic_finalizer (diagnostic_context
*context
,
535 diagnostic_info
*diagnostic
)
537 diagnostic_show_locus (context
, diagnostic
);
538 pp_destroy_prefix (context
->printer
);
539 pp_newline_and_flush (context
->printer
);
542 /* Interface to specify diagnostic kind overrides. Returns the
543 previous setting, or DK_UNSPECIFIED if the parameters are out of
544 range. If OPTION_INDEX is zero, the new setting is for all the
547 diagnostic_classify_diagnostic (diagnostic_context
*context
,
549 diagnostic_t new_kind
,
552 diagnostic_t old_kind
;
555 || option_index
>= context
->n_opts
556 || new_kind
>= DK_LAST_DIAGNOSTIC_KIND
)
557 return DK_UNSPECIFIED
;
559 old_kind
= context
->classify_diagnostic
[option_index
];
561 /* Handle pragmas separately, since we need to keep track of *where*
563 if (where
!= UNKNOWN_LOCATION
)
567 /* Record the command-line status, so we can reset it back on DK_POP. */
568 if (old_kind
== DK_UNSPECIFIED
)
570 old_kind
= !context
->option_enabled (option_index
,
571 context
->option_state
)
572 ? DK_IGNORED
: (context
->warning_as_error_requested
573 ? DK_ERROR
: DK_WARNING
);
574 context
->classify_diagnostic
[option_index
] = old_kind
;
577 for (i
= context
->n_classification_history
- 1; i
>= 0; i
--)
578 if (context
->classification_history
[i
].option
== option_index
)
580 old_kind
= context
->classification_history
[i
].kind
;
584 i
= context
->n_classification_history
;
585 context
->classification_history
=
586 (diagnostic_classification_change_t
*) xrealloc (context
->classification_history
, (i
+ 1)
587 * sizeof (diagnostic_classification_change_t
));
588 context
->classification_history
[i
].location
= where
;
589 context
->classification_history
[i
].option
= option_index
;
590 context
->classification_history
[i
].kind
= new_kind
;
591 context
->n_classification_history
++;
594 context
->classify_diagnostic
[option_index
] = new_kind
;
599 /* Save all diagnostic classifications in a stack. */
601 diagnostic_push_diagnostics (diagnostic_context
*context
, location_t where ATTRIBUTE_UNUSED
)
603 context
->push_list
= (int *) xrealloc (context
->push_list
, (context
->n_push
+ 1) * sizeof (int));
604 context
->push_list
[context
->n_push
++] = context
->n_classification_history
;
607 /* Restore the topmost classification set off the stack. If the stack
608 is empty, revert to the state based on command line parameters. */
610 diagnostic_pop_diagnostics (diagnostic_context
*context
, location_t where
)
616 jump_to
= context
->push_list
[-- context
->n_push
];
620 i
= context
->n_classification_history
;
621 context
->classification_history
=
622 (diagnostic_classification_change_t
*) xrealloc (context
->classification_history
, (i
+ 1)
623 * sizeof (diagnostic_classification_change_t
));
624 context
->classification_history
[i
].location
= where
;
625 context
->classification_history
[i
].option
= jump_to
;
626 context
->classification_history
[i
].kind
= DK_POP
;
627 context
->n_classification_history
++;
630 /* Report a diagnostic message (an error or a warning) as specified by
631 DC. This function is *the* subroutine in terms of which front-ends
632 should implement their specific diagnostic handling modules. The
633 front-end independent format specifiers are exactly those described
634 in the documentation of output_format.
635 Return true if a diagnostic was printed, false otherwise. */
638 diagnostic_report_diagnostic (diagnostic_context
*context
,
639 diagnostic_info
*diagnostic
)
641 location_t location
= diagnostic_location (diagnostic
);
642 diagnostic_t orig_diag_kind
= diagnostic
->kind
;
643 const char *saved_format_spec
;
645 /* Give preference to being able to inhibit warnings, before they
646 get reclassified to something else. */
647 if ((diagnostic
->kind
== DK_WARNING
|| diagnostic
->kind
== DK_PEDWARN
)
648 && !diagnostic_report_warnings_p (context
, location
))
651 if (diagnostic
->kind
== DK_PEDWARN
)
653 diagnostic
->kind
= pedantic_warning_kind (context
);
654 /* We do this to avoid giving the message for -pedantic-errors. */
655 orig_diag_kind
= diagnostic
->kind
;
658 if (diagnostic
->kind
== DK_NOTE
&& context
->inhibit_notes_p
)
661 if (context
->lock
> 0)
663 /* If we're reporting an ICE in the middle of some other error,
664 try to flush out the previous error, then let this one
665 through. Don't do this more than once. */
666 if ((diagnostic
->kind
== DK_ICE
|| diagnostic
->kind
== DK_ICE_NOBT
)
667 && context
->lock
== 1)
668 pp_newline_and_flush (context
->printer
);
670 error_recursion (context
);
673 /* If the user requested that warnings be treated as errors, so be
674 it. Note that we do this before the next block so that
675 individual warnings can be overridden back to warnings with
677 if (context
->warning_as_error_requested
678 && diagnostic
->kind
== DK_WARNING
)
680 diagnostic
->kind
= DK_ERROR
;
683 if (diagnostic
->option_index
684 && diagnostic
->option_index
!= permissive_error_option (context
))
686 diagnostic_t diag_class
= DK_UNSPECIFIED
;
688 /* This tests if the user provided the appropriate -Wfoo or
690 if (! context
->option_enabled (diagnostic
->option_index
,
691 context
->option_state
))
694 /* This tests for #pragma diagnostic changes. */
695 if (context
->n_classification_history
> 0)
697 /* FIXME: Stupid search. Optimize later. */
698 for (int i
= context
->n_classification_history
- 1; i
>= 0; i
--)
700 if (linemap_location_before_p
702 context
->classification_history
[i
].location
,
705 if (context
->classification_history
[i
].kind
== (int) DK_POP
)
707 i
= context
->classification_history
[i
].option
;
710 int option
= context
->classification_history
[i
].option
;
711 /* The option 0 is for all the diagnostics. */
712 if (option
== 0 || option
== diagnostic
->option_index
)
714 diag_class
= context
->classification_history
[i
].kind
;
715 if (diag_class
!= DK_UNSPECIFIED
)
716 diagnostic
->kind
= diag_class
;
722 /* This tests if the user provided the appropriate -Werror=foo
724 if (diag_class
== DK_UNSPECIFIED
725 && context
->classify_diagnostic
[diagnostic
->option_index
] != DK_UNSPECIFIED
)
727 diagnostic
->kind
= context
->classify_diagnostic
[diagnostic
->option_index
];
729 /* This allows for future extensions, like temporarily disabling
730 warnings for ranges of source code. */
731 if (diagnostic
->kind
== DK_IGNORED
)
737 if (diagnostic
->kind
== DK_ICE
|| diagnostic
->kind
== DK_ICE_NOBT
)
739 /* When not checking, ICEs are converted to fatal errors when an
740 error has already occurred. This is counteracted by
743 && (diagnostic_kind_count (context
, DK_ERROR
) > 0
744 || diagnostic_kind_count (context
, DK_SORRY
) > 0)
745 && !context
->abort_on_error
)
748 = expand_location (diagnostic_location (diagnostic
));
749 fnotice (stderr
, "%s:%d: confused by earlier errors, bailing out\n",
751 exit (ICE_EXIT_CODE
);
753 if (context
->internal_error
)
754 (*context
->internal_error
) (context
,
755 diagnostic
->message
.format_spec
,
756 diagnostic
->message
.args_ptr
);
758 if (diagnostic
->kind
== DK_ERROR
&& orig_diag_kind
== DK_WARNING
)
759 ++diagnostic_kind_count (context
, DK_WERROR
);
761 ++diagnostic_kind_count (context
, diagnostic
->kind
);
763 saved_format_spec
= diagnostic
->message
.format_spec
;
764 if (context
->show_option_requested
)
768 option_text
= context
->option_name (context
, diagnostic
->option_index
,
769 orig_diag_kind
, diagnostic
->kind
);
773 diagnostic
->message
.format_spec
774 = ACONCAT ((diagnostic
->message
.format_spec
,
776 "[", option_text
, "]",
781 diagnostic
->message
.x_data
= &diagnostic
->x_data
;
782 diagnostic
->x_data
= NULL
;
783 pp_format (context
->printer
, &diagnostic
->message
);
784 (*diagnostic_starter (context
)) (context
, diagnostic
);
785 pp_output_formatted_text (context
->printer
);
786 (*diagnostic_finalizer (context
)) (context
, diagnostic
);
787 diagnostic_action_after_output (context
, diagnostic
->kind
);
788 diagnostic
->message
.format_spec
= saved_format_spec
;
789 diagnostic
->x_data
= NULL
;
796 /* Given a partial pathname as input, return another pathname that
797 shares no directory elements with the pathname of __FILE__. This
798 is used by fancy_abort() to print `Internal compiler error in expr.c'
799 instead of `Internal compiler error in ../../GCC/gcc/expr.c'. */
802 trim_filename (const char *name
)
804 static const char this_file
[] = __FILE__
;
805 const char *p
= name
, *q
= this_file
;
807 /* First skip any "../" in each filename. This allows us to give a proper
808 reference to a file in a subdirectory. */
809 while (p
[0] == '.' && p
[1] == '.' && IS_DIR_SEPARATOR (p
[2]))
812 while (q
[0] == '.' && q
[1] == '.' && IS_DIR_SEPARATOR (q
[2]))
815 /* Now skip any parts the two filenames have in common. */
816 while (*p
== *q
&& *p
!= 0 && *q
!= 0)
819 /* Now go backwards until the previous directory separator. */
820 while (p
> name
&& !IS_DIR_SEPARATOR (p
[-1]))
826 /* Standard error reporting routines in increasing order of severity.
827 All of these take arguments like printf. */
829 /* Text to be emitted verbatim to the error message stream; this
830 produces no prefix and disables line-wrapping. Use rarely. */
832 verbatim (const char *gmsgid
, ...)
837 va_start (ap
, gmsgid
);
840 text
.format_spec
= _(gmsgid
);
842 pp_format_verbatim (global_dc
->printer
, &text
);
843 pp_newline_and_flush (global_dc
->printer
);
847 /* Add a note with text GMSGID and with LOCATION to the diagnostic CONTEXT. */
849 diagnostic_append_note (diagnostic_context
*context
,
851 const char * gmsgid
, ...)
853 diagnostic_info diagnostic
;
855 const char *saved_prefix
;
857 va_start (ap
, gmsgid
);
858 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, DK_NOTE
);
859 if (context
->inhibit_notes_p
)
864 saved_prefix
= pp_get_prefix (context
->printer
);
865 pp_set_prefix (context
->printer
,
866 diagnostic_build_prefix (context
, &diagnostic
));
867 pp_newline (context
->printer
);
868 pp_format (context
->printer
, &diagnostic
.message
);
869 pp_output_formatted_text (context
->printer
);
870 pp_destroy_prefix (context
->printer
);
871 pp_set_prefix (context
->printer
, saved_prefix
);
872 diagnostic_show_locus (context
, &diagnostic
);
877 emit_diagnostic (diagnostic_t kind
, location_t location
, int opt
,
878 const char *gmsgid
, ...)
880 diagnostic_info diagnostic
;
884 va_start (ap
, gmsgid
);
885 if (kind
== DK_PERMERROR
)
887 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
,
888 permissive_error_kind (global_dc
));
889 diagnostic
.option_index
= permissive_error_option (global_dc
);
892 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, kind
);
893 if (kind
== DK_WARNING
|| kind
== DK_PEDWARN
)
894 diagnostic
.option_index
= opt
;
897 ret
= report_diagnostic (&diagnostic
);
902 /* An informative note at LOCATION. Use this for additional details on an error
905 inform (location_t location
, const char *gmsgid
, ...)
907 diagnostic_info diagnostic
;
910 va_start (ap
, gmsgid
);
911 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, DK_NOTE
);
912 report_diagnostic (&diagnostic
);
916 /* An informative note at LOCATION. Use this for additional details on an
919 inform_n (location_t location
, int n
, const char *singular_gmsgid
,
920 const char *plural_gmsgid
, ...)
922 diagnostic_info diagnostic
;
925 va_start (ap
, plural_gmsgid
);
926 diagnostic_set_info_translated (&diagnostic
,
927 ngettext (singular_gmsgid
, plural_gmsgid
, n
),
928 &ap
, location
, DK_NOTE
);
929 report_diagnostic (&diagnostic
);
933 /* A warning at INPUT_LOCATION. Use this for code which is correct according
934 to the relevant language specification but is likely to be buggy anyway.
935 Returns true if the warning was printed, false if it was inhibited. */
937 warning (int opt
, const char *gmsgid
, ...)
939 diagnostic_info diagnostic
;
943 va_start (ap
, gmsgid
);
944 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_WARNING
);
945 diagnostic
.option_index
= opt
;
947 ret
= report_diagnostic (&diagnostic
);
952 /* A warning at LOCATION. Use this for code which is correct according to the
953 relevant language specification but is likely to be buggy anyway.
954 Returns true if the warning was printed, false if it was inhibited. */
957 warning_at (location_t location
, int opt
, const char *gmsgid
, ...)
959 diagnostic_info diagnostic
;
963 va_start (ap
, gmsgid
);
964 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, DK_WARNING
);
965 diagnostic
.option_index
= opt
;
966 ret
= report_diagnostic (&diagnostic
);
971 /* A warning at LOCATION. Use this for code which is correct according to the
972 relevant language specification but is likely to be buggy anyway.
973 Returns true if the warning was printed, false if it was inhibited. */
976 warning_n (location_t location
, int opt
, int n
, const char *singular_gmsgid
,
977 const char *plural_gmsgid
, ...)
979 diagnostic_info diagnostic
;
983 va_start (ap
, plural_gmsgid
);
984 diagnostic_set_info_translated (&diagnostic
,
985 ngettext (singular_gmsgid
, plural_gmsgid
, n
),
986 &ap
, location
, DK_WARNING
);
987 diagnostic
.option_index
= opt
;
988 ret
= report_diagnostic (&diagnostic
);
993 /* A "pedantic" warning at LOCATION: issues a warning unless
994 -pedantic-errors was given on the command line, in which case it
995 issues an error. Use this for diagnostics required by the relevant
996 language standard, if you have chosen not to make them errors.
998 Note that these diagnostics are issued independent of the setting
999 of the -Wpedantic command-line switch. To get a warning enabled
1000 only with that switch, use either "if (pedantic) pedwarn
1001 (OPT_Wpedantic,...)" or just "pedwarn (OPT_Wpedantic,..)". To get a
1002 pedwarn independently of the -Wpedantic switch use "pedwarn (0,...)".
1004 Returns true if the warning was printed, false if it was inhibited. */
1007 pedwarn (location_t location
, int opt
, const char *gmsgid
, ...)
1009 diagnostic_info diagnostic
;
1013 va_start (ap
, gmsgid
);
1014 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, DK_PEDWARN
);
1015 diagnostic
.option_index
= opt
;
1016 ret
= report_diagnostic (&diagnostic
);
1021 /* A "permissive" error at LOCATION: issues an error unless
1022 -fpermissive was given on the command line, in which case it issues
1023 a warning. Use this for things that really should be errors but we
1024 want to support legacy code.
1026 Returns true if the warning was printed, false if it was inhibited. */
1029 permerror (location_t location
, const char *gmsgid
, ...)
1031 diagnostic_info diagnostic
;
1035 va_start (ap
, gmsgid
);
1036 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
,
1037 permissive_error_kind (global_dc
));
1038 diagnostic
.option_index
= permissive_error_option (global_dc
);
1039 ret
= report_diagnostic (&diagnostic
);
1044 /* A hard error: the code is definitely ill-formed, and an object file
1045 will not be produced. */
1047 error (const char *gmsgid
, ...)
1049 diagnostic_info diagnostic
;
1052 va_start (ap
, gmsgid
);
1053 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_ERROR
);
1054 report_diagnostic (&diagnostic
);
1058 /* A hard error: the code is definitely ill-formed, and an object file
1059 will not be produced. */
1061 error_n (location_t location
, int n
, const char *singular_gmsgid
,
1062 const char *plural_gmsgid
, ...)
1064 diagnostic_info diagnostic
;
1067 va_start (ap
, plural_gmsgid
);
1068 diagnostic_set_info_translated (&diagnostic
,
1069 ngettext (singular_gmsgid
, plural_gmsgid
, n
),
1070 &ap
, location
, DK_ERROR
);
1071 report_diagnostic (&diagnostic
);
1075 /* Same as ebove, but use location LOC instead of input_location. */
1077 error_at (location_t loc
, const char *gmsgid
, ...)
1079 diagnostic_info diagnostic
;
1082 va_start (ap
, gmsgid
);
1083 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, loc
, DK_ERROR
);
1084 report_diagnostic (&diagnostic
);
1088 /* "Sorry, not implemented." Use for a language feature which is
1089 required by the relevant specification but not implemented by GCC.
1090 An object file will not be produced. */
1092 sorry (const char *gmsgid
, ...)
1094 diagnostic_info diagnostic
;
1097 va_start (ap
, gmsgid
);
1098 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_SORRY
);
1099 report_diagnostic (&diagnostic
);
1103 /* Return true if an error or a "sorry" has been seen. Various
1104 processing is disabled after errors. */
1108 return errorcount
|| sorrycount
;
1111 /* An error which is severe enough that we make no attempt to
1112 continue. Do not use this for internal consistency checks; that's
1113 internal_error. Use of this function should be rare. */
1115 fatal_error (location_t loc
, const char *gmsgid
, ...)
1117 diagnostic_info diagnostic
;
1120 va_start (ap
, gmsgid
);
1121 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, loc
, DK_FATAL
);
1122 report_diagnostic (&diagnostic
);
1128 /* An internal consistency check has failed. We make no attempt to
1129 continue. Note that unless there is debugging value to be had from
1130 a more specific message, or some other good reason, you should use
1131 abort () instead of calling this function directly. */
1133 internal_error (const char *gmsgid
, ...)
1135 diagnostic_info diagnostic
;
1138 va_start (ap
, gmsgid
);
1139 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_ICE
);
1140 report_diagnostic (&diagnostic
);
1146 /* Like internal_error, but no backtrace will be printed. Used when
1147 the internal error does not happen at the current location, but happened
1150 internal_error_no_backtrace (const char *gmsgid
, ...)
1152 diagnostic_info diagnostic
;
1155 va_start (ap
, gmsgid
);
1156 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_ICE_NOBT
);
1157 report_diagnostic (&diagnostic
);
1163 /* Special case error functions. Most are implemented in terms of the
1164 above, or should be. */
1166 /* Print a diagnostic MSGID on FILE. This is just fprintf, except it
1167 runs its second argument through gettext. */
1169 fnotice (FILE *file
, const char *cmsgid
, ...)
1173 va_start (ap
, cmsgid
);
1174 vfprintf (file
, _(cmsgid
), ap
);
1178 /* Inform the user that an error occurred while trying to report some
1179 other error. This indicates catastrophic internal inconsistencies,
1180 so give up now. But do try to flush out the previous error.
1181 This mustn't use internal_error, that will cause infinite recursion. */
1184 error_recursion (diagnostic_context
*context
)
1186 if (context
->lock
< 3)
1187 pp_newline_and_flush (context
->printer
);
1190 "Internal compiler error: Error reporting routines re-entered.\n");
1192 /* Call diagnostic_action_after_output to get the "please submit a bug
1194 diagnostic_action_after_output (context
, DK_ICE
);
1196 /* Do not use gcc_unreachable here; that goes through internal_error
1197 and therefore would cause infinite recursion. */
1201 /* Report an internal compiler error in a friendly manner. This is
1202 the function that gets called upon use of abort() in the source
1203 code generally, thanks to a special macro. */
1206 fancy_abort (const char *file
, int line
, const char *function
)
1208 internal_error ("in %s, at %s:%d", function
, trim_filename (file
), line
);
1211 /* Really call the system 'abort'. This has to go right at the end of
1212 this file, so that there are no functions after it that call abort
1213 and get the system abort instead of our macro. */