X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/c547693afdacf4b865027d3bb8c53f601eadb5ae..1dc927a7d4ff75a134da32b3ed2a7c4e181f06a4:/src/complain.c diff --git a/src/complain.c b/src/complain.c index 18432b49..30d01bb2 100644 --- a/src/complain.c +++ b/src/complain.c @@ -28,16 +28,51 @@ #include "complain.h" #include "files.h" #include "getargs.h" +#include "quote.h" -bool complaint_issued; +warnings warnings_flag = + Wconflicts_sr | Wconflicts_rr | Wdeprecated | Wother; + +warnings errors_flag; + +err_status complaint_status = status_none; static unsigned *indent_ptr = 0; - +void +warnings_print_categories (warnings warn_flags) +{ + if (! (warn_flags & silent)) + { + char const *warn_names[] = + { + "midrule-values", + "yacc", + "conflicts-sr", + "conflicts-rr", + "deprecated", + "other" + }; + + bool any = false; + int i; + for (i = 0; i < ARRAY_CARDINALITY (warn_names); ++i) + if (warn_flags & 1 << i) + { + bool err = warn_flags & errors_flag; + fprintf (stderr, "%s-W", any ? ", " : " ["); + fprintf (stderr, "%s%s", err ? "error=" : "" , warn_names[i]); + any = true; + } + if (any) + fprintf (stderr, "]"); + } +} /** Report an error message. * * \param loc the location, defaulting to the current file, * or the program name. + * \param flags the category for this message. * \param prefix put before the message (e.g., "warning"). * \param message the error message, a printf format string. Iff it * ends with ": ", then no trailing newline is printed, @@ -47,8 +82,7 @@ static unsigned *indent_ptr = 0; */ static void -error_message (location *loc, - const char *prefix, +error_message (const location *loc, warnings flags, const char *prefix, const char *message, va_list args) { unsigned pos = 0; @@ -56,11 +90,13 @@ error_message (location *loc, if (loc) pos += location_print (stderr, *loc); else - pos += fprintf(stderr, "%s", current_file ? current_file : program_name); - pos += fprintf(stderr, ": "); + pos += fprintf (stderr, "%s", current_file ? current_file : program_name); + pos += fprintf (stderr, ": "); if (indent_ptr) { + if (*indent_ptr) + prefix = NULL; if (!*indent_ptr) *indent_ptr = pos; else if (*indent_ptr > pos) @@ -72,142 +108,99 @@ error_message (location *loc, fprintf (stderr, "%s: ", prefix); vfprintf (stderr, message, args); + warnings_print_categories (flags); { size_t l = strlen (message); - if (l < 2 || message[l-2] != ':' || message[l-1] != ' ') { - putc ('\n', stderr); - fflush (stderr); - } + if (l < 2 || message[l - 2] != ':' || message[l - 1] != ' ') + { + putc ('\n', stderr); + fflush (stderr); + if (loc && feature_flag & feature_caret && !(flags & no_caret)) + location_caret (stderr, *loc); + } } + fflush (stderr); } -/** Wrap error_message() with varargs handling. */ -#define ERROR_MESSAGE(Loc, Prefix, Message) \ -{ \ - va_list args; \ - va_start (args, Message); \ - error_message (Loc, Prefix, Message, args); \ - va_end (args); \ -} - - -/*--------------------------------. -| Report a warning, and proceed. | -`--------------------------------*/ - -void -set_warning_issued (void) +/** Raise a complaint. That can be a fatal error, a complaint or just a + warning. */ +static inline void +complains (const location *loc, warnings flags, const char *message, + va_list args) { - static bool warning_issued = false; - if (!warning_issued && (warnings_flag & warnings_error)) - { - fprintf (stderr, "%s: warnings being treated as errors\n", program_name); - complaint_issued = true; - } - warning_issued = true; + const char* prefix = + flags & fatal ? _("fatal error") + : flags & (errors_flag | complaint) ? _("error") + : _("warning"); + + if ((flags & complaint) && complaint_status < status_complaint) + complaint_status = status_complaint; + else if ((flags & (warnings_flag & errors_flag)) && ! complaint_status) + complaint_status = status_warning_as_error; + if (flags & (warnings_flag | fatal | complaint)) + error_message (loc, flags, prefix, message, args); + if (flags & fatal) + exit (EXIT_FAILURE); } void -warn_at (location loc, const char *message, ...) +complain (location const *loc, warnings flags, const char *message, ...) { - if (!(warnings_flag & warnings_other)) - return; - set_warning_issued (); - ERROR_MESSAGE (&loc, _("warning"), message); + va_list args; + va_start (args, message); + complains (loc, flags, message, args); + va_end (args); } void -warn_at_indent (location loc, unsigned *indent, - const char *message, ...) +complain_indent (location const *loc, warnings flags, unsigned *indent, + const char *message, ...) { - if (!(warnings_flag & warnings_other)) - return; - set_warning_issued (); + va_list args; indent_ptr = indent; - ERROR_MESSAGE (&loc, _("warning"), message); + va_start (args, message); + complains (loc, flags, message, args); + va_end (args); } void -warn (const char *message, ...) +complain_args (location const *loc, warnings w, unsigned *indent, + int argc, char *argv[]) { - if (!(warnings_flag & warnings_other)) - return; - set_warning_issued (); - ERROR_MESSAGE (NULL, _("warning"), message); -} - - -/*-----------------------------------------------------------. -| An error has occurred, but we can proceed, and die later. | -`-----------------------------------------------------------*/ - -void -complain_at (location loc, const char *message, ...) -{ - ERROR_MESSAGE (&loc, NULL, message); - complaint_issued = true; -} - -void -complain_at_indent (location loc, unsigned *indent, - const char *message, ...) -{ - indent_ptr = indent; - ERROR_MESSAGE (&loc, NULL, message); - complaint_issued = true; -} - -void -complain (const char *message, ...) -{ - ERROR_MESSAGE (NULL, NULL, message); - complaint_issued = true; -} - - -/*--------------------------------------------------------------. -| An incompatibility with POSIX Yacc: mapped either to warn* or | -| complain* depending on yacc_flag. | -`--------------------------------------------------------------*/ - -void -yacc_at (location loc, const char *message, ...) -{ - if (yacc_flag) - { - ERROR_MESSAGE (&loc, NULL, message); - complaint_issued = true; - } - else if (warnings_flag & warnings_yacc) - { - set_warning_issued (); - ERROR_MESSAGE (&loc, _("warning"), message); - } -} - -void -midrule_value_at (location loc, const char *message, ...) -{ - if (!(warnings_flag & warnings_midrule_values)) - return; - set_warning_issued (); - ERROR_MESSAGE (&loc, _("warning"), message); -} - -/*-------------------------------------------------. -| A severe error has occurred, we cannot proceed. | -`-------------------------------------------------*/ + switch (argc) + { + case 1: + complain_indent (loc, w, indent, "%s", _(argv[0])); + break; + case 2: + complain_indent (loc, w, indent, _(argv[0]), argv[1]); + break; + case 3: + complain_indent (loc, w, indent, _(argv[0]), argv[1], argv[2]); + break; + case 4: + complain_indent (loc, w, indent, _(argv[0]), argv[1], argv[2], argv[3]); + break; + case 5: + complain_indent (loc, w, indent, _(argv[0]), argv[1], argv[2], argv[3], + argv[4]); + break; + default: + complain (loc, fatal, "too many arguments for complains"); + break; + } -void -fatal_at (location loc, const char *message, ...) -{ - ERROR_MESSAGE (&loc, _("fatal error"), message); - exit (EXIT_FAILURE); } void -fatal (const char *message, ...) +deprecated_directive (location const *loc, char const *old, char const *upd) { - ERROR_MESSAGE (NULL, _("fatal error"), message); - exit (EXIT_FAILURE); + if (feature_flag & feature_caret) + complain (loc, Wdeprecated, + _("deprecated directive, use %s"), + quote_n (1, upd)); + else + complain (loc, Wdeprecated, + _("deprecated directive: %s, use %s"), + quote (old), quote_n (1, upd)); }