1 /* Language-independent diagnostic subroutines for the GNU Compiler Collection
2 Copyright (C) 1999-2013 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"
32 #include "backtrace.h"
33 #include "diagnostic.h"
34 #include "diagnostic-color.h"
36 #define pedantic_warning_kind(DC) \
37 ((DC)->pedantic_errors ? DK_ERROR : DK_WARNING)
38 #define permissive_error_kind(DC) ((DC)->permissive ? DK_WARNING : DK_ERROR)
39 #define permissive_error_option(DC) ((DC)->opt_permissive)
42 static char *build_message_string (const char *, ...) ATTRIBUTE_PRINTF_1
;
44 static void error_recursion (diagnostic_context
*) ATTRIBUTE_NORETURN
;
46 static void diagnostic_action_after_output (diagnostic_context
*,
48 static void real_abort (void) ATTRIBUTE_NORETURN
;
50 /* Name of program invoked, sans directories. */
54 /* A diagnostic_context surrogate for stderr. */
55 static diagnostic_context global_diagnostic_context
;
56 diagnostic_context
*global_dc
= &global_diagnostic_context
;
58 /* Return a malloc'd string containing MSG formatted a la printf. The
59 caller is responsible for freeing the memory. */
61 build_message_string (const char *msg
, ...)
67 vasprintf (&str
, msg
, ap
);
73 /* Same as diagnostic_build_prefix, but only the source FILE is given. */
75 file_name_as_prefix (diagnostic_context
*context
, const char *f
)
78 = colorize_start (pp_show_color (context
->printer
), "locus");
79 const char *locus_ce
= colorize_stop (pp_show_color (context
->printer
));
80 return build_message_string ("%s%s:%s ", locus_cs
, f
, locus_ce
);
85 /* Return the value of the getenv("COLUMNS") as an integer. If the
86 value is not set to a positive integer, then return INT_MAX. */
90 const char * s
= getenv ("COLUMNS");
99 /* Set caret_max_width to value. */
101 diagnostic_set_caret_max_width (diagnostic_context
*context
, int value
)
103 /* One minus to account for the leading empty space. */
104 value
= value
? value
- 1
105 : (isatty (fileno (context
->printer
->buffer
->stream
))
106 ? getenv_columns () - 1: INT_MAX
);
111 context
->caret_max_width
= value
;
114 /* Initialize the diagnostic message outputting machinery. */
116 diagnostic_initialize (diagnostic_context
*context
, int n_opts
)
120 /* Allocate a basic pretty-printer. Clients will replace this a
121 much more elaborated pretty-printer if they wish. */
122 context
->printer
= XNEW (pretty_printer
);
123 pp_construct (context
->printer
, NULL
, 0);
124 /* By default, diagnostics are sent to stderr. */
125 context
->printer
->buffer
->stream
= stderr
;
126 /* By default, we emit prefixes once per message. */
127 context
->printer
->wrapping
.rule
= DIAGNOSTICS_SHOW_PREFIX_ONCE
;
129 memset (context
->diagnostic_count
, 0, sizeof context
->diagnostic_count
);
130 context
->some_warnings_are_errors
= false;
131 context
->warning_as_error_requested
= false;
132 context
->n_opts
= n_opts
;
133 context
->classify_diagnostic
= XNEWVEC (diagnostic_t
, n_opts
);
134 for (i
= 0; i
< n_opts
; i
++)
135 context
->classify_diagnostic
[i
] = DK_UNSPECIFIED
;
136 context
->show_caret
= false;
137 diagnostic_set_caret_max_width (context
, pp_line_cutoff (context
->printer
));
138 context
->show_option_requested
= false;
139 context
->abort_on_error
= false;
140 context
->show_column
= false;
141 context
->pedantic_errors
= false;
142 context
->permissive
= false;
143 context
->opt_permissive
= 0;
144 context
->fatal_errors
= false;
145 context
->dc_inhibit_warnings
= false;
146 context
->dc_warn_system_headers
= false;
147 context
->max_errors
= 0;
148 context
->internal_error
= NULL
;
149 diagnostic_starter (context
) = default_diagnostic_starter
;
150 diagnostic_finalizer (context
) = default_diagnostic_finalizer
;
151 context
->option_enabled
= NULL
;
152 context
->option_state
= NULL
;
153 context
->option_name
= NULL
;
154 context
->last_location
= UNKNOWN_LOCATION
;
155 context
->last_module
= 0;
156 context
->x_data
= NULL
;
158 context
->inhibit_notes_p
= false;
161 /* Do any cleaning up required after the last diagnostic is emitted. */
164 diagnostic_finish (diagnostic_context
*context
)
166 /* Some of the errors may actually have been warnings. */
167 if (context
->some_warnings_are_errors
)
169 /* -Werror was given. */
170 if (context
->warning_as_error_requested
)
171 pp_verbatim (context
->printer
,
172 _("%s: all warnings being treated as errors"),
174 /* At least one -Werror= was given. */
176 pp_verbatim (context
->printer
,
177 _("%s: some warnings being treated as errors"),
179 pp_newline_and_flush (context
->printer
);
183 /* Initialize DIAGNOSTIC, where the message MSG has already been
186 diagnostic_set_info_translated (diagnostic_info
*diagnostic
, const char *msg
,
187 va_list *args
, location_t location
,
190 diagnostic
->message
.err_no
= errno
;
191 diagnostic
->message
.args_ptr
= args
;
192 diagnostic
->message
.format_spec
= msg
;
193 diagnostic
->location
= location
;
194 diagnostic
->override_column
= 0;
195 diagnostic
->kind
= kind
;
196 diagnostic
->option_index
= 0;
199 /* Initialize DIAGNOSTIC, where the message GMSGID has not yet been
202 diagnostic_set_info (diagnostic_info
*diagnostic
, const char *gmsgid
,
203 va_list *args
, location_t location
,
206 diagnostic_set_info_translated (diagnostic
, _(gmsgid
), args
, location
, kind
);
209 /* Return a malloc'd string describing a location. The caller is
210 responsible for freeing the memory. */
212 diagnostic_build_prefix (diagnostic_context
*context
,
213 const diagnostic_info
*diagnostic
)
215 static const char *const diagnostic_kind_text
[] = {
216 #define DEFINE_DIAGNOSTIC_KIND(K, T, C) (T),
217 #include "diagnostic.def"
218 #undef DEFINE_DIAGNOSTIC_KIND
221 static const char *const diagnostic_kind_color
[] = {
222 #define DEFINE_DIAGNOSTIC_KIND(K, T, C) (C),
223 #include "diagnostic.def"
224 #undef DEFINE_DIAGNOSTIC_KIND
227 const char *text
= _(diagnostic_kind_text
[diagnostic
->kind
]);
228 const char *text_cs
= "", *text_ce
= "";
229 const char *locus_cs
, *locus_ce
;
230 pretty_printer
*pp
= context
->printer
;
232 if (diagnostic_kind_color
[diagnostic
->kind
])
234 text_cs
= colorize_start (pp_show_color (pp
),
235 diagnostic_kind_color
[diagnostic
->kind
]);
236 text_ce
= colorize_stop (pp_show_color (pp
));
238 locus_cs
= colorize_start (pp_show_color (pp
), "locus");
239 locus_ce
= colorize_stop (pp_show_color (pp
));
241 expanded_location s
= expand_location_to_spelling_point (diagnostic
->location
);
242 if (diagnostic
->override_column
)
243 s
.column
= diagnostic
->override_column
;
244 gcc_assert (diagnostic
->kind
< DK_LAST_DIAGNOSTIC_KIND
);
248 ? build_message_string ("%s%s:%s %s%s%s", locus_cs
, progname
, locus_ce
,
249 text_cs
, text
, text_ce
)
250 : context
->show_column
251 ? build_message_string ("%s%s:%d:%d:%s %s%s%s", locus_cs
, s
.file
, s
.line
,
252 s
.column
, locus_ce
, text_cs
, text
, text_ce
)
253 : build_message_string ("%s%s:%d:%s %s%s%s", locus_cs
, s
.file
, s
.line
, locus_ce
,
254 text_cs
, text
, text_ce
));
257 /* If LINE is longer than MAX_WIDTH, and COLUMN is not smaller than
258 MAX_WIDTH by some margin, then adjust the start of the line such
259 that the COLUMN is smaller than MAX_WIDTH minus the margin. The
260 margin is either 10 characters or the difference between the column
261 and the length of the line, whatever is smaller. */
263 adjust_line (const char *line
, int max_width
, int *column_p
)
265 int right_margin
= 10;
266 int line_width
= strlen (line
);
267 int column
= *column_p
;
269 right_margin
= MIN(line_width
- column
, right_margin
);
270 right_margin
= max_width
- right_margin
;
271 if (line_width
>= max_width
&& column
> right_margin
)
273 line
+= column
- right_margin
;
274 *column_p
= right_margin
;
279 /* Print the physical source line corresponding to the location of
280 this diagnostics, and a caret indicating the precise column. */
282 diagnostic_show_locus (diagnostic_context
* context
,
283 const diagnostic_info
*diagnostic
)
289 const char *saved_prefix
;
290 const char *caret_cs
, *caret_ce
;
292 if (!context
->show_caret
293 || diagnostic
->location
<= BUILTINS_LOCATION
294 || diagnostic
->location
== context
->last_location
)
297 context
->last_location
= diagnostic
->location
;
298 s
= expand_location_to_spelling_point (diagnostic
->location
);
299 line
= location_get_source_line (s
);
303 max_width
= context
->caret_max_width
;
304 line
= adjust_line (line
, max_width
, &(s
.column
));
306 pp_newline (context
->printer
);
307 saved_prefix
= pp_get_prefix (context
->printer
);
308 pp_set_prefix (context
->printer
, NULL
);
309 pp_space (context
->printer
);
310 while (max_width
> 0 && *line
!= '\0')
312 char c
= *line
== '\t' ? ' ' : *line
;
313 pp_character (context
->printer
, c
);
317 pp_newline (context
->printer
);
318 caret_cs
= colorize_start (pp_show_color (context
->printer
), "caret");
319 caret_ce
= colorize_stop (pp_show_color (context
->printer
));
321 /* pp_printf does not implement %*c. */
322 size_t len
= s
.column
+ 3 + strlen (caret_cs
) + strlen (caret_ce
);
323 buffer
= XALLOCAVEC (char, len
);
324 snprintf (buffer
, len
, "%s %*c%s", caret_cs
, s
.column
, '^', caret_ce
);
325 pp_string (context
->printer
, buffer
);
326 pp_set_prefix (context
->printer
, saved_prefix
);
329 /* Functions at which to stop the backtrace print. It's not
330 particularly helpful to print the callers of these functions. */
332 static const char * const bt_stop
[] =
340 /* A callback function passed to the backtrace_full function. */
343 bt_callback (void *data
, uintptr_t pc
, const char *filename
, int lineno
,
344 const char *function
)
346 int *pcount
= (int *) data
;
348 /* If we don't have any useful information, don't print
350 if (filename
== NULL
&& function
== NULL
)
353 /* Skip functions in diagnostic.c. */
356 && strcmp (lbasename(filename
), "diagnostic.c") == 0)
359 /* Print up to 20 functions. We could make this a --param, but
360 since this is only for debugging just use a constant for now. */
363 /* Returning a non-zero value stops the backtrace. */
369 if (function
!= NULL
)
371 char *str
= cplus_demangle_v3 (function
,
372 (DMGL_VERBOSE
| DMGL_ANSI
373 | DMGL_GNU_V3
| DMGL_PARAMS
));
380 for (size_t i
= 0; i
< ARRAY_SIZE (bt_stop
); ++i
)
382 size_t len
= strlen (bt_stop
[i
]);
383 if (strncmp (function
, bt_stop
[i
], len
) == 0
384 && (function
[len
] == '\0' || function
[len
] == '('))
388 /* Returning a non-zero value stops the backtrace. */
394 fprintf (stderr
, "0x%lx %s\n\t%s:%d\n",
396 function
== NULL
? "???" : function
,
397 filename
== NULL
? "???" : filename
,
406 /* A callback function passed to the backtrace_full function. This is
407 called if backtrace_full has an error. */
410 bt_err_callback (void *data ATTRIBUTE_UNUSED
, const char *msg
, int errnum
)
414 /* This means that no debug info was available. Just quietly
415 skip printing backtrace info. */
418 fprintf (stderr
, "%s%s%s\n", msg
, errnum
== 0 ? "" : ": ",
419 errnum
== 0 ? "" : xstrerror (errnum
));
422 /* Take any action which is expected to happen after the diagnostic
423 is written out. This function does not always return. */
425 diagnostic_action_after_output (diagnostic_context
*context
,
426 diagnostic_info
*diagnostic
)
428 switch (diagnostic
->kind
)
438 if (context
->abort_on_error
)
440 if (context
->fatal_errors
)
442 fnotice (stderr
, "compilation terminated due to -Wfatal-errors.\n");
443 diagnostic_finish (context
);
444 exit (FATAL_EXIT_CODE
);
446 if (context
->max_errors
!= 0
447 && ((unsigned) (diagnostic_kind_count (context
, DK_ERROR
)
448 + diagnostic_kind_count (context
, DK_SORRY
))
449 >= context
->max_errors
))
452 "compilation terminated due to -fmax-errors=%u.\n",
453 context
->max_errors
);
454 diagnostic_finish (context
);
455 exit (FATAL_EXIT_CODE
);
461 struct backtrace_state
*state
=
462 backtrace_create_state (NULL
, 0, bt_err_callback
, NULL
);
465 backtrace_full (state
, 2, bt_callback
, bt_err_callback
,
468 if (context
->abort_on_error
)
471 fnotice (stderr
, "Please submit a full bug report,\n"
472 "with preprocessed source if appropriate.\n");
475 ("Please include the complete backtrace "
476 "with any bug report.\n"));
477 fnotice (stderr
, "See %s for instructions.\n", bug_report_url
);
479 exit (ICE_EXIT_CODE
);
483 if (context
->abort_on_error
)
485 diagnostic_finish (context
);
486 fnotice (stderr
, "compilation terminated.\n");
487 exit (FATAL_EXIT_CODE
);
495 diagnostic_report_current_module (diagnostic_context
*context
, location_t where
)
497 const struct line_map
*map
= NULL
;
499 if (pp_needs_newline (context
->printer
))
501 pp_newline (context
->printer
);
502 pp_needs_newline (context
->printer
) = false;
505 if (where
<= BUILTINS_LOCATION
)
508 linemap_resolve_location (line_table
, where
,
509 LRK_MACRO_DEFINITION_LOCATION
,
512 if (map
&& diagnostic_last_module_changed (context
, map
))
514 diagnostic_set_last_module (context
, map
);
515 if (! MAIN_FILE_P (map
))
517 map
= INCLUDED_FROM (line_table
, map
);
518 if (context
->show_column
)
519 pp_verbatim (context
->printer
,
520 "In file included from %r%s:%d:%d%R", "locus",
522 LAST_SOURCE_LINE (map
), LAST_SOURCE_COLUMN (map
));
524 pp_verbatim (context
->printer
,
525 "In file included from %r%s:%d%R", "locus",
526 LINEMAP_FILE (map
), LAST_SOURCE_LINE (map
));
527 while (! MAIN_FILE_P (map
))
529 map
= INCLUDED_FROM (line_table
, map
);
530 pp_verbatim (context
->printer
,
531 ",\n from %r%s:%d%R", "locus",
532 LINEMAP_FILE (map
), LAST_SOURCE_LINE (map
));
534 pp_verbatim (context
->printer
, ":");
535 pp_newline (context
->printer
);
541 default_diagnostic_starter (diagnostic_context
*context
,
542 diagnostic_info
*diagnostic
)
544 diagnostic_report_current_module (context
, diagnostic
->location
);
545 pp_set_prefix (context
->printer
, diagnostic_build_prefix (context
,
550 default_diagnostic_finalizer (diagnostic_context
*context ATTRIBUTE_UNUSED
,
551 diagnostic_info
*diagnostic ATTRIBUTE_UNUSED
)
555 /* Interface to specify diagnostic kind overrides. Returns the
556 previous setting, or DK_UNSPECIFIED if the parameters are out of
557 range. If OPTION_INDEX is zero, the new setting is for all the
560 diagnostic_classify_diagnostic (diagnostic_context
*context
,
562 diagnostic_t new_kind
,
565 diagnostic_t old_kind
;
568 || option_index
>= context
->n_opts
569 || new_kind
>= DK_LAST_DIAGNOSTIC_KIND
)
570 return DK_UNSPECIFIED
;
572 old_kind
= context
->classify_diagnostic
[option_index
];
574 /* Handle pragmas separately, since we need to keep track of *where*
576 if (where
!= UNKNOWN_LOCATION
)
580 for (i
= context
->n_classification_history
- 1; i
>= 0; i
--)
581 if (context
->classification_history
[i
].option
== option_index
)
583 old_kind
= context
->classification_history
[i
].kind
;
587 i
= context
->n_classification_history
;
588 context
->classification_history
=
589 (diagnostic_classification_change_t
*) xrealloc (context
->classification_history
, (i
+ 1)
590 * sizeof (diagnostic_classification_change_t
));
591 context
->classification_history
[i
].location
= where
;
592 context
->classification_history
[i
].option
= option_index
;
593 context
->classification_history
[i
].kind
= new_kind
;
594 context
->n_classification_history
++;
597 context
->classify_diagnostic
[option_index
] = new_kind
;
602 /* Save all diagnostic classifications in a stack. */
604 diagnostic_push_diagnostics (diagnostic_context
*context
, location_t where ATTRIBUTE_UNUSED
)
606 context
->push_list
= (int *) xrealloc (context
->push_list
, (context
->n_push
+ 1) * sizeof (int));
607 context
->push_list
[context
->n_push
++] = context
->n_classification_history
;
610 /* Restore the topmost classification set off the stack. If the stack
611 is empty, revert to the state based on command line parameters. */
613 diagnostic_pop_diagnostics (diagnostic_context
*context
, location_t where
)
619 jump_to
= context
->push_list
[-- context
->n_push
];
623 i
= context
->n_classification_history
;
624 context
->classification_history
=
625 (diagnostic_classification_change_t
*) xrealloc (context
->classification_history
, (i
+ 1)
626 * sizeof (diagnostic_classification_change_t
));
627 context
->classification_history
[i
].location
= where
;
628 context
->classification_history
[i
].option
= jump_to
;
629 context
->classification_history
[i
].kind
= DK_POP
;
630 context
->n_classification_history
++;
633 /* Report a diagnostic message (an error or a warning) as specified by
634 DC. This function is *the* subroutine in terms of which front-ends
635 should implement their specific diagnostic handling modules. The
636 front-end independent format specifiers are exactly those described
637 in the documentation of output_format.
638 Return true if a diagnostic was printed, false otherwise. */
641 diagnostic_report_diagnostic (diagnostic_context
*context
,
642 diagnostic_info
*diagnostic
)
644 location_t location
= diagnostic
->location
;
645 diagnostic_t orig_diag_kind
= diagnostic
->kind
;
646 const char *saved_format_spec
;
648 /* Give preference to being able to inhibit warnings, before they
649 get reclassified to something else. */
650 if ((diagnostic
->kind
== DK_WARNING
|| diagnostic
->kind
== DK_PEDWARN
)
651 && !diagnostic_report_warnings_p (context
, location
))
654 if (diagnostic
->kind
== DK_PEDWARN
)
656 diagnostic
->kind
= pedantic_warning_kind (context
);
657 /* We do this to avoid giving the message for -pedantic-errors. */
658 orig_diag_kind
= diagnostic
->kind
;
661 if (diagnostic
->kind
== DK_NOTE
&& context
->inhibit_notes_p
)
664 if (context
->lock
> 0)
666 /* If we're reporting an ICE in the middle of some other error,
667 try to flush out the previous error, then let this one
668 through. Don't do this more than once. */
669 if (diagnostic
->kind
== DK_ICE
&& context
->lock
== 1)
670 pp_newline_and_flush (context
->printer
);
672 error_recursion (context
);
675 /* If the user requested that warnings be treated as errors, so be
676 it. Note that we do this before the next block so that
677 individual warnings can be overridden back to warnings with
679 if (context
->warning_as_error_requested
680 && diagnostic
->kind
== DK_WARNING
)
682 diagnostic
->kind
= DK_ERROR
;
685 if (diagnostic
->option_index
686 && diagnostic
->option_index
!= permissive_error_option (context
))
688 diagnostic_t diag_class
= DK_UNSPECIFIED
;
690 /* This tests if the user provided the appropriate -Wfoo or
692 if (! context
->option_enabled (diagnostic
->option_index
,
693 context
->option_state
))
696 /* This tests for #pragma diagnostic changes. */
697 if (context
->n_classification_history
> 0)
699 /* FIXME: Stupid search. Optimize later. */
700 for (int i
= context
->n_classification_history
- 1; i
>= 0; i
--)
702 if (linemap_location_before_p
704 context
->classification_history
[i
].location
,
707 if (context
->classification_history
[i
].kind
== (int) DK_POP
)
709 i
= context
->classification_history
[i
].option
;
712 int option
= context
->classification_history
[i
].option
;
713 /* The option 0 is for all the diagnostics. */
714 if (option
== 0 || option
== diagnostic
->option_index
)
716 diag_class
= context
->classification_history
[i
].kind
;
717 if (diag_class
!= DK_UNSPECIFIED
)
718 diagnostic
->kind
= diag_class
;
724 /* This tests if the user provided the appropriate -Werror=foo
726 if (diag_class
== DK_UNSPECIFIED
727 && context
->classify_diagnostic
[diagnostic
->option_index
] != DK_UNSPECIFIED
)
729 diagnostic
->kind
= context
->classify_diagnostic
[diagnostic
->option_index
];
731 /* This allows for future extensions, like temporarily disabling
732 warnings for ranges of source code. */
733 if (diagnostic
->kind
== DK_IGNORED
)
737 if (orig_diag_kind
== DK_WARNING
&& diagnostic
->kind
== DK_ERROR
)
738 context
->some_warnings_are_errors
= true;
742 if (diagnostic
->kind
== DK_ICE
)
744 #ifndef ENABLE_CHECKING
745 /* When not checking, ICEs are converted to fatal errors when an
746 error has already occurred. This is counteracted by
748 if ((diagnostic_kind_count (context
, DK_ERROR
) > 0
749 || diagnostic_kind_count (context
, DK_SORRY
) > 0)
750 && !context
->abort_on_error
)
752 expanded_location s
= expand_location (diagnostic
->location
);
753 fnotice (stderr
, "%s:%d: confused by earlier errors, bailing out\n",
755 exit (ICE_EXIT_CODE
);
758 if (context
->internal_error
)
759 (*context
->internal_error
) (context
,
760 diagnostic
->message
.format_spec
,
761 diagnostic
->message
.args_ptr
);
763 if (diagnostic
->kind
== DK_ERROR
&& orig_diag_kind
== DK_WARNING
)
764 ++diagnostic_kind_count (context
, DK_WERROR
);
766 ++diagnostic_kind_count (context
, diagnostic
->kind
);
768 saved_format_spec
= diagnostic
->message
.format_spec
;
769 if (context
->show_option_requested
)
773 option_text
= context
->option_name (context
, diagnostic
->option_index
,
774 orig_diag_kind
, diagnostic
->kind
);
778 diagnostic
->message
.format_spec
779 = ACONCAT ((diagnostic
->message
.format_spec
,
781 "[", option_text
, "]",
786 diagnostic
->message
.locus
= &diagnostic
->location
;
787 diagnostic
->message
.x_data
= &diagnostic
->x_data
;
788 diagnostic
->x_data
= NULL
;
789 pp_format (context
->printer
, &diagnostic
->message
);
790 (*diagnostic_starter (context
)) (context
, diagnostic
);
791 pp_output_formatted_text (context
->printer
);
792 diagnostic_show_locus (context
, diagnostic
);
793 (*diagnostic_finalizer (context
)) (context
, diagnostic
);
794 pp_destroy_prefix (context
->printer
);
795 pp_newline_and_flush (context
->printer
);
796 diagnostic_action_after_output (context
, diagnostic
);
797 diagnostic
->message
.format_spec
= saved_format_spec
;
798 diagnostic
->x_data
= NULL
;
805 /* Given a partial pathname as input, return another pathname that
806 shares no directory elements with the pathname of __FILE__. This
807 is used by fancy_abort() to print `Internal compiler error in expr.c'
808 instead of `Internal compiler error in ../../GCC/gcc/expr.c'. */
811 trim_filename (const char *name
)
813 static const char this_file
[] = __FILE__
;
814 const char *p
= name
, *q
= this_file
;
816 /* First skip any "../" in each filename. This allows us to give a proper
817 reference to a file in a subdirectory. */
818 while (p
[0] == '.' && p
[1] == '.' && IS_DIR_SEPARATOR (p
[2]))
821 while (q
[0] == '.' && q
[1] == '.' && IS_DIR_SEPARATOR (q
[2]))
824 /* Now skip any parts the two filenames have in common. */
825 while (*p
== *q
&& *p
!= 0 && *q
!= 0)
828 /* Now go backwards until the previous directory separator. */
829 while (p
> name
&& !IS_DIR_SEPARATOR (p
[-1]))
835 /* Standard error reporting routines in increasing order of severity.
836 All of these take arguments like printf. */
838 /* Text to be emitted verbatim to the error message stream; this
839 produces no prefix and disables line-wrapping. Use rarely. */
841 verbatim (const char *gmsgid
, ...)
846 va_start (ap
, gmsgid
);
849 text
.format_spec
= _(gmsgid
);
852 pp_format_verbatim (global_dc
->printer
, &text
);
853 pp_newline_and_flush (global_dc
->printer
);
857 /* Add a note with text GMSGID and with LOCATION to the diagnostic CONTEXT. */
859 diagnostic_append_note (diagnostic_context
*context
,
861 const char * gmsgid
, ...)
863 diagnostic_info diagnostic
;
865 const char *saved_prefix
;
867 va_start (ap
, gmsgid
);
868 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, DK_NOTE
);
869 if (context
->inhibit_notes_p
)
874 saved_prefix
= pp_get_prefix (context
->printer
);
875 pp_set_prefix (context
->printer
,
876 diagnostic_build_prefix (context
, &diagnostic
));
877 pp_newline (context
->printer
);
878 pp_format (context
->printer
, &diagnostic
.message
);
879 pp_output_formatted_text (context
->printer
);
880 pp_destroy_prefix (context
->printer
);
881 pp_set_prefix (context
->printer
, saved_prefix
);
882 diagnostic_show_locus (context
, &diagnostic
);
887 emit_diagnostic (diagnostic_t kind
, location_t location
, int opt
,
888 const char *gmsgid
, ...)
890 diagnostic_info diagnostic
;
894 va_start (ap
, gmsgid
);
895 if (kind
== DK_PERMERROR
)
897 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
,
898 permissive_error_kind (global_dc
));
899 diagnostic
.option_index
= permissive_error_option (global_dc
);
902 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, kind
);
903 if (kind
== DK_WARNING
|| kind
== DK_PEDWARN
)
904 diagnostic
.option_index
= opt
;
907 ret
= report_diagnostic (&diagnostic
);
912 /* An informative note at LOCATION. Use this for additional details on an error
915 inform (location_t location
, const char *gmsgid
, ...)
917 diagnostic_info diagnostic
;
920 va_start (ap
, gmsgid
);
921 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, DK_NOTE
);
922 report_diagnostic (&diagnostic
);
926 /* An informative note at LOCATION. Use this for additional details on an
929 inform_n (location_t location
, int n
, const char *singular_gmsgid
,
930 const char *plural_gmsgid
, ...)
932 diagnostic_info diagnostic
;
935 va_start (ap
, plural_gmsgid
);
936 diagnostic_set_info_translated (&diagnostic
,
937 ngettext (singular_gmsgid
, plural_gmsgid
, n
),
938 &ap
, location
, DK_NOTE
);
939 report_diagnostic (&diagnostic
);
943 /* A warning at INPUT_LOCATION. Use this for code which is correct according
944 to the relevant language specification but is likely to be buggy anyway.
945 Returns true if the warning was printed, false if it was inhibited. */
947 warning (int opt
, const char *gmsgid
, ...)
949 diagnostic_info diagnostic
;
953 va_start (ap
, gmsgid
);
954 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_WARNING
);
955 diagnostic
.option_index
= opt
;
957 ret
= report_diagnostic (&diagnostic
);
962 /* A warning at LOCATION. Use this for code which is correct according to the
963 relevant language specification but is likely to be buggy anyway.
964 Returns true if the warning was printed, false if it was inhibited. */
967 warning_at (location_t location
, int opt
, const char *gmsgid
, ...)
969 diagnostic_info diagnostic
;
973 va_start (ap
, gmsgid
);
974 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, DK_WARNING
);
975 diagnostic
.option_index
= opt
;
976 ret
= report_diagnostic (&diagnostic
);
981 /* A "pedantic" warning at LOCATION: issues a warning unless
982 -pedantic-errors was given on the command line, in which case it
983 issues an error. Use this for diagnostics required by the relevant
984 language standard, if you have chosen not to make them errors.
986 Note that these diagnostics are issued independent of the setting
987 of the -Wpedantic command-line switch. To get a warning enabled
988 only with that switch, use either "if (pedantic) pedwarn
989 (OPT_Wpedantic,...)" or just "pedwarn (OPT_Wpedantic,..)". To get a
990 pedwarn independently of the -Wpedantic switch use "pedwarn (0,...)".
992 Returns true if the warning was printed, false if it was inhibited. */
995 pedwarn (location_t location
, int opt
, const char *gmsgid
, ...)
997 diagnostic_info diagnostic
;
1001 va_start (ap
, gmsgid
);
1002 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
, DK_PEDWARN
);
1003 diagnostic
.option_index
= opt
;
1004 ret
= report_diagnostic (&diagnostic
);
1009 /* A "permissive" error at LOCATION: issues an error unless
1010 -fpermissive was given on the command line, in which case it issues
1011 a warning. Use this for things that really should be errors but we
1012 want to support legacy code.
1014 Returns true if the warning was printed, false if it was inhibited. */
1017 permerror (location_t location
, const char *gmsgid
, ...)
1019 diagnostic_info diagnostic
;
1023 va_start (ap
, gmsgid
);
1024 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, location
,
1025 permissive_error_kind (global_dc
));
1026 diagnostic
.option_index
= permissive_error_option (global_dc
);
1027 ret
= report_diagnostic (&diagnostic
);
1032 /* A hard error: the code is definitely ill-formed, and an object file
1033 will not be produced. */
1035 error (const char *gmsgid
, ...)
1037 diagnostic_info diagnostic
;
1040 va_start (ap
, gmsgid
);
1041 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_ERROR
);
1042 report_diagnostic (&diagnostic
);
1046 /* A hard error: the code is definitely ill-formed, and an object file
1047 will not be produced. */
1049 error_n (location_t location
, int n
, const char *singular_gmsgid
,
1050 const char *plural_gmsgid
, ...)
1052 diagnostic_info diagnostic
;
1055 va_start (ap
, plural_gmsgid
);
1056 diagnostic_set_info_translated (&diagnostic
,
1057 ngettext (singular_gmsgid
, plural_gmsgid
, n
),
1058 &ap
, location
, DK_ERROR
);
1059 report_diagnostic (&diagnostic
);
1063 /* Same as ebove, but use location LOC instead of input_location. */
1065 error_at (location_t loc
, const char *gmsgid
, ...)
1067 diagnostic_info diagnostic
;
1070 va_start (ap
, gmsgid
);
1071 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, loc
, DK_ERROR
);
1072 report_diagnostic (&diagnostic
);
1076 /* "Sorry, not implemented." Use for a language feature which is
1077 required by the relevant specification but not implemented by GCC.
1078 An object file will not be produced. */
1080 sorry (const char *gmsgid
, ...)
1082 diagnostic_info diagnostic
;
1085 va_start (ap
, gmsgid
);
1086 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_SORRY
);
1087 report_diagnostic (&diagnostic
);
1091 /* Return true if an error or a "sorry" has been seen. Various
1092 processing is disabled after errors. */
1096 return errorcount
|| sorrycount
;
1099 /* An error which is severe enough that we make no attempt to
1100 continue. Do not use this for internal consistency checks; that's
1101 internal_error. Use of this function should be rare. */
1103 fatal_error (const char *gmsgid
, ...)
1105 diagnostic_info diagnostic
;
1108 va_start (ap
, gmsgid
);
1109 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_FATAL
);
1110 report_diagnostic (&diagnostic
);
1116 /* An internal consistency check has failed. We make no attempt to
1117 continue. Note that unless there is debugging value to be had from
1118 a more specific message, or some other good reason, you should use
1119 abort () instead of calling this function directly. */
1121 internal_error (const char *gmsgid
, ...)
1123 diagnostic_info diagnostic
;
1126 va_start (ap
, gmsgid
);
1127 diagnostic_set_info (&diagnostic
, gmsgid
, &ap
, input_location
, DK_ICE
);
1128 report_diagnostic (&diagnostic
);
1134 /* Special case error functions. Most are implemented in terms of the
1135 above, or should be. */
1137 /* Print a diagnostic MSGID on FILE. This is just fprintf, except it
1138 runs its second argument through gettext. */
1140 fnotice (FILE *file
, const char *cmsgid
, ...)
1144 va_start (ap
, cmsgid
);
1145 vfprintf (file
, _(cmsgid
), ap
);
1149 /* Inform the user that an error occurred while trying to report some
1150 other error. This indicates catastrophic internal inconsistencies,
1151 so give up now. But do try to flush out the previous error.
1152 This mustn't use internal_error, that will cause infinite recursion. */
1155 error_recursion (diagnostic_context
*context
)
1157 diagnostic_info diagnostic
;
1159 if (context
->lock
< 3)
1160 pp_newline_and_flush (context
->printer
);
1163 "Internal compiler error: Error reporting routines re-entered.\n");
1165 /* Call diagnostic_action_after_output to get the "please submit a bug
1166 report" message. It only looks at the kind field of diagnostic_info. */
1167 diagnostic
.kind
= DK_ICE
;
1168 diagnostic_action_after_output (context
, &diagnostic
);
1170 /* Do not use gcc_unreachable here; that goes through internal_error
1171 and therefore would cause infinite recursion. */
1175 /* Report an internal compiler error in a friendly manner. This is
1176 the function that gets called upon use of abort() in the source
1177 code generally, thanks to a special macro. */
1180 fancy_abort (const char *file
, int line
, const char *function
)
1182 internal_error ("in %s, at %s:%d", function
, trim_filename (file
), line
);
1185 /* Really call the system 'abort'. This has to go right at the end of
1186 this file, so that there are no functions after it that call abort
1187 and get the system abort instead of our macro. */