src/complain.c

   1 /* Declaration for error-reporting function for Bison.
   2
   3    Copyright (C) 2000-2002, 2004-2006, 2009-2010 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
  27 #include "complain.h"
  28 #include "files.h"
  29 #include "getargs.h"
  30
  31 bool complaint_issued;
  32 static unsigned *indent_ptr = 0;
  33
  34 \f
  35
  36 /** Report an error message.
  37  *
  38  * \param loc     the location, defaulting to the current file,
  39  *                or the program name.
  40  * \param prefix  put before the message (e.g., "warning").
  41  * \param message the error message, a printf format string.
  42  * \param args    the arguments of the format string.
  43  */
  44 static
  45 void
  46 error_message (location *loc,
  47                const char *prefix,
  48                const char *message, va_list args)
  49 {
  50   unsigned pos = 0;
  51
  52   if (loc)
  53     pos += location_print (stderr, *loc);
  54   else
  55     pos += fprintf(stderr, "%s", current_file ? current_file : program_name);
  56   pos += fprintf(stderr, ": ");
  57
  58   if (indent_ptr)
  59     {
  60       if (!*indent_ptr)
  61         *indent_ptr = pos;
  62       else if (*indent_ptr > pos)
  63         fprintf (stderr, "%*s", *indent_ptr - pos, "");
  64       indent_ptr = 0;
  65     }
  66
  67   if (prefix)
  68     fprintf (stderr, "%s: ", prefix);
  69
  70   vfprintf (stderr, message, args);
  71   putc ('\n', stderr);
  72   fflush (stderr);
  73 }
  74
  75 /** Wrap error_message() with varargs handling. */
  76 #define ERROR_MESSAGE(Loc, Prefix, Message)     \
  77 {                                               \
  78   va_list args;                                 \
  79   va_start (args, Message);                     \
  80   error_message (Loc, Prefix, Message, args);   \
  81   va_end (args);                                \
  82 }
  83
  84
  85 /*--------------------------------.
  86 | Report a warning, and proceed.  |
  87 `--------------------------------*/
  88
  89 static void
  90 set_warning_issued (void)
  91 {
  92   static bool warning_issued = false;
  93   if (!warning_issued && (warnings_flag & warnings_error))
  94     {
  95       fprintf (stderr, "%s: warnings being treated as errors\n", program_name);
  96       complaint_issued = true;
  97     }
  98   warning_issued = true;
  99 }
 100
 101 void
 102 warn_at (location loc, const char *message, ...)
 103 {
 104   set_warning_issued ();
 105   ERROR_MESSAGE (&loc, _("warning"), message);
 106 }
 107
 108 void
 109 warn_at_indent (location loc, unsigned *indent,
 110                 const char *message, ...)
 111 {
 112   set_warning_issued ();
 113   indent_ptr = indent;
 114   ERROR_MESSAGE (&loc, _("warning"), message);
 115 }
 116
 117 void
 118 warn (const char *message, ...)
 119 {
 120   set_warning_issued ();
 121   ERROR_MESSAGE (NULL, _("warning"), message);
 122 }
 123
 124
 125 /*-----------------------------------------------------------.
 126 | An error has occurred, but we can proceed, and die later.  |
 127 `-----------------------------------------------------------*/
 128
 129 void
 130 complain_at (location loc, const char *message, ...)
 131 {
 132   ERROR_MESSAGE (&loc, NULL, message);
 133   complaint_issued = true;
 134 }
 135
 136 void
 137 complain_at_indent (location loc, unsigned *indent,
 138                     const char *message, ...)
 139 {
 140   indent_ptr = indent;
 141   ERROR_MESSAGE (&loc, NULL, message);
 142   complaint_issued = true;
 143 }
 144
 145 void
 146 complain (const char *message, ...)
 147 {
 148   ERROR_MESSAGE (NULL, NULL, message);
 149   complaint_issued = true;
 150 }
 151
 152
 153 /*--------------------------------------------------------------.
 154 | An incompatibility with POSIX Yacc: mapped either to warn* or |
 155 | complain* depending on yacc_flag.                             |
 156 `--------------------------------------------------------------*/
 157
 158 void
 159 yacc_at (location loc, const char *message, ...)
 160 {
 161   if (yacc_flag)
 162     {
 163       ERROR_MESSAGE (&loc, NULL, message);
 164       complaint_issued = true;
 165     }
 166   else if (warnings_flag & warnings_yacc)
 167     {
 168       set_warning_issued ();
 169       ERROR_MESSAGE (&loc, _("warning"), message);
 170     }
 171 }
 172
 173
 174 /*-------------------------------------------------.
 175 | A severe error has occurred, we cannot proceed.  |
 176 `-------------------------------------------------*/
 177
 178 void
 179 fatal_at (location loc, const char *message, ...)
 180 {
 181   ERROR_MESSAGE (&loc, _("fatal error"), message);
 182   exit (EXIT_FAILURE);
 183 }
 184
 185 void
 186 fatal (const char *message, ...)
 187 {
 188   ERROR_MESSAGE (NULL, _("fatal error"), message);
 189   exit (EXIT_FAILURE);
 190 }