src/complain.c

   1 /* Declaration for error-reporting function for Bison.
   2
   3    Copyright (C) 2000-2002, 2004-2006, 2009-2013 Free Software
   4    Foundation, Inc.
   5
   6    This program is free software: you can redistribute it and/or modify
   7    it under the terms of the GNU General Public License as published by
   8    the Free Software Foundation, either version 3 of the License, or
   9    (at your option) any later version.
  10
  11    This program is distributed in the hope that it will be useful,
  12    but WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14    GNU General Public License for more details.
  15
  16    You should have received a copy of the GNU General Public License
  17    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  18
  19 /* Based on error.c and error.h,
  20    written by David MacKenzie <djm@gnu.ai.mit.edu>.  */
  21
  22 #include <config.h>
  23 #include "system.h"
  24
  25 #include <stdarg.h>
  26 #include <progname.h>
  27
  28 #include "complain.h"
  29 #include "files.h"
  30 #include "getargs.h"
  31 #include "quote.h"
  32
  33 warnings warnings_flag =
  34   Wconflicts_sr | Wconflicts_rr | Wdeprecated | Wother;
  35
  36 warnings errors_flag;
  37
  38 err_status complaint_status = status_none;
  39 static unsigned *indent_ptr = 0;
  40
  41 /** Display a "[-Wyacc]" like message on \a f.  */
  42
  43 static void
  44 warnings_print_categories (warnings warn_flags, FILE *f)
  45 {
  46   /* Display only the first match, the second is "-Wall".  */
  47   int i;
  48   for (i = 0; warnings_args[i]; ++i)
  49     if (warn_flags & warnings_types[i])
  50       {
  51         bool err = warn_flags & errors_flag;
  52         fprintf (f, " [-W%s%s]", err ? "error=" : "" , warnings_args[i]);
  53         break;
  54       }
  55 }
  56
  57 /** Report an error message.
  58  *
  59  * \param loc     the location, defaulting to the current file,
  60  *                or the program name.
  61  * \param flags   the category for this message.
  62  * \param prefix  put before the message (e.g., "warning").
  63  * \param message the error message, a printf format string.  Iff it
  64  *                ends with ": ", then no trailing newline is printed,
  65  *                and the caller should print the remaining
  66  *                newline-terminated message to stderr.
  67  * \param args    the arguments of the format string.
  68  */
  69 static
  70 void
  71 error_message (const location *loc, warnings flags, const char *prefix,
  72                const char *message, va_list args)
  73 {
  74   unsigned pos = 0;
  75
  76   if (loc)
  77     pos += location_print (*loc, stderr);
  78   else
  79     pos += fprintf (stderr, "%s", current_file ? current_file : program_name);
  80   pos += fprintf (stderr, ": ");
  81
  82   if (indent_ptr)
  83     {
  84       if (*indent_ptr)
  85         prefix = NULL;
  86       if (!*indent_ptr)
  87         *indent_ptr = pos;
  88       else if (*indent_ptr > pos)
  89         fprintf (stderr, "%*s", *indent_ptr - pos, "");
  90       indent_ptr = 0;
  91     }
  92
  93   if (prefix)
  94     fprintf (stderr, "%s: ", prefix);
  95
  96   vfprintf (stderr, message, args);
  97   if (! (flags & silent))
  98     warnings_print_categories (flags, stderr);
  99   {
 100     size_t l = strlen (message);
 101     if (l < 2 || message[l - 2] != ':' || message[l - 1] != ' ')
 102       {
 103         putc ('\n', stderr);
 104         fflush (stderr);
 105         if (loc && feature_flag & feature_caret && !(flags & no_caret))
 106           location_caret (*loc, stderr);
 107       }
 108   }
 109   fflush (stderr);
 110 }
 111
 112 /** Raise a complaint. That can be a fatal error, a complaint or just a
 113     warning.  */
 114 static inline void
 115 complains (const location *loc, warnings flags, const char *message,
 116            va_list args)
 117 {
 118   const char* prefix =
 119     flags & fatal ? _("fatal error")
 120     : flags & (errors_flag | complaint) ? _("error")
 121     : _("warning");
 122
 123   if ((flags & complaint) && complaint_status < status_complaint)
 124     complaint_status = status_complaint;
 125   else if ((flags & (warnings_flag & errors_flag)) && ! complaint_status)
 126     complaint_status = status_warning_as_error;
 127   if (flags & (warnings_flag | fatal | complaint))
 128     error_message (loc, flags, prefix, message, args);
 129   if (flags & fatal)
 130     exit (EXIT_FAILURE);
 131 }
 132
 133 void
 134 complain (location const *loc, warnings flags, const char *message, ...)
 135 {
 136   va_list args;
 137   va_start (args, message);
 138   complains (loc, flags, message, args);
 139   va_end (args);
 140 }
 141
 142 void
 143 complain_indent (location const *loc, warnings flags, unsigned *indent,
 144                  const char *message, ...)
 145 {
 146   va_list args;
 147   indent_ptr = indent;
 148   va_start (args, message);
 149   complains (loc, flags, message, args);
 150   va_end (args);
 151 }
 152
 153 void
 154 complain_args (location const *loc, warnings w, unsigned *indent,
 155                int argc, char *argv[])
 156 {
 157   switch (argc)
 158   {
 159   case 1:
 160     complain_indent (loc, w, indent, "%s", _(argv[0]));
 161     break;
 162   case 2:
 163     complain_indent (loc, w, indent, _(argv[0]), argv[1]);
 164     break;
 165   case 3:
 166     complain_indent (loc, w, indent, _(argv[0]), argv[1], argv[2]);
 167     break;
 168   case 4:
 169     complain_indent (loc, w, indent, _(argv[0]), argv[1], argv[2], argv[3]);
 170     break;
 171   case 5:
 172     complain_indent (loc, w, indent, _(argv[0]), argv[1], argv[2], argv[3],
 173                      argv[4]);
 174     break;
 175   default:
 176     complain (loc, fatal, "too many arguments for complains");
 177     break;
 178   }
 179
 180 }
 181
 182 void
 183 deprecated_directive (location const *loc, char const *old, char const *upd)
 184 {
 185   if (feature_flag & feature_caret)
 186     complain (loc, Wdeprecated,
 187               _("deprecated directive, use %s"),
 188               quote_n (1, upd));
 189   else
 190     complain (loc, Wdeprecated,
 191               _("deprecated directive: %s, use %s"),
 192               quote (old), quote_n (1, upd));
 193 }