src/cpperror.c

   1 /*
   2 ** Splint - annotation-assisted static program checker
   3 ** Copyright (C) 1994-2003 University of Virginia,
   4 **         Massachusetts Institute of Technology
   5 **
   6 ** This program is free software; you can redistribute it and/or modify it
   7 ** under the terms of the GNU General Public License as published by the
   8 ** Free Software Foundation; either version 2 of the License, or (at your
   9 ** option) any later version.
  10 **
  11 ** This program is distributed in the hope that it will be useful, but
  12 ** WITHOUT ANY WARRANTY; without even the implied warranty of
  13 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 ** General Public License for more details.
  15 **
  16 ** The GNU General Public License is available from http://www.gnu.org/ or
  17 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  18 ** MA 02111-1307, USA.
  19 **
  20 ** For information on splint: info@splint.org
  21 ** To report a bug: splint-bug@splint.org
  22 ** For more information: http://www.splint.org
  23 */
  24 /*
  25 ** cpperror.c
  26 */
  27 /* Default error handlers for CPP Library.
  28    Copyright (C) 1986, 87, 89, 92, 93, 94, 1995 Free Software Foundation, Inc.
  29    Written by Per Bothner, 1994.
  30    Based on CCCP program by by Paul Rubin, June 1986
  31    Adapted to ANSI C, Richard Stallman, Jan 1987
  32
  33 This program is free software; you can redistribute it and/or modify it
  34 under the terms of the GNU General Public License as published by the
  35 Free Software Foundation; either version 2, or (at your option) any
  36 later version.
  37
  38 This program is distributed in the hope that it will be useful,
  39 but WITHOUT ANY WARRANTY; without even the implied warranty of
  40 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  41 GNU General Public License for more details.
  42
  43 You should have received a copy of the GNU General Public License
  44 along with this program; if not, write to the Free Software
  45 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  46
  47  In other words, you are welcome to use, share and improve this program.
  48  You are forbidden to forbid anyone else to use, share and improve
  49  what you give them.   Help stamp out software-hoarding!  */
  50
  51 /*@-macroconstdecl@*/
  52 /*@-macrofcndecl@*/
  53 /*@-evalorderuncon@*/
  54 /*@+ptrnegate@*/
  55 /*@-memchecks@*/
  56 /*@+charintliteral@*/
  57 /*@-infloopsuncon@*/
  58 /*@-loopswitchbreak@*/
  59 /*@-switchloopbreak@*/
  60 /*@-whileblock@*/
  61 /*@-forblock@*/
  62 /*@-elseifcomplete@*/
  63 /*@-abstract@*/
  64 /*@-usedef@*/
  65 /*@-retvalint@*/
  66 /*@-macroparams@*/
  67 /*@-readonlytrans@*/
  68 /*@-boolops@*/
  69 /*@-sizeoftype@*/
  70 /*@-predboolint@*/
  71 /*@-predboolptr@*/
  72 /*@+boolint@*/
  73 /*@+charint@*/
  74 /*@+ignorequals@*/
  75 /*@+ignoresigns@*/
  76 /*@+matchanyintegral@*/
  77 /*@-onlyunqglobaltrans@*/
  78 /*@-macroconstdecl@*/
  79
  80 # include <stdlib.h>
  81 # include <errno.h>
  82 # include <stdio.h>
  83
  84 # include "splintMacros.nf"
  85 # include "basic.h"
  86 # include "cpplib.h"
  87 # include "cpperror.h"
  88
  89 static void cppReader_warningWithLine (cppReader *p_pfile,
  90                                        int p_line, int p_column,
  91                                        /*@only@*/ cstring p_msg);
  92
  93 static /*@only@*/ fileloc cppReader_getLoc (cppReader *);
  94
  95 /* Print the file names and line numbers of the #include
  96    commands which led to the current file.  */
  97
  98 static void cppReader_printContainingFiles (cppReader *pfile)
  99      /*@modifies g_warningstream, p_pfile@*/
 100 {
 101   cppBuffer *ip;
 102   int first = 1;
 103
 104   if (pfile == NULL) {
 105     /* Error processing command line. */
 106     return;
 107   }
 108
 109   /* If stack of files hasn't changed since we last printed
 110      this info, don't repeat it.  */
 111   if (pfile->input_stack_listing_current)
 112     {
 113       return;
 114     }
 115
 116   ip = cppReader_fileBuffer (pfile);
 117
 118   /* Give up if we don't find a source file.  */
 119   if (ip == NULL)
 120     {
 121       return;
 122     }
 123
 124   /* Find the other, outer source files.  */
 125   while ((ip = cppBuffer_prevBuffer (ip)) != cppReader_nullBuffer (pfile))
 126     {
 127       int line, col;
 128       cstring temps;
 129
 130       cppBuffer_getLineAndColumn (ip, &line, &col);
 131       if (ip->fname != NULL)
 132         {
 133           if (first)
 134             {
 135               first = 0;
 136               fprintf (g_warningstream, "   In file included");
 137             }
 138           else
 139             fprintf (g_warningstream, ",\n                ");
 140         }
 141
 142       fprintf (g_warningstream, " from %s",
 143                cstring_toCharsSafe (temps = fileloc_unparseRaw (ip->nominal_fname, line)));
 144
 145       cstring_free (temps);
 146     }
 147
 148   if (!first)
 149     {
 150       fprintf (g_warningstream, "\n");
 151     }
 152
 153   /* Record we have printed the status as of this time.  */
 154   pfile->input_stack_listing_current = TRUE;
 155 }
 156
 157 bool xcppoptgenerror (const char *srcFile, int srcLine,
 158                       flagcode o,
 159                       /*@only@*/ cstring s,
 160                       cppReader *pfile)
 161 {
 162   bool res = FALSE;
 163   fileloc loc = cppReader_getLoc (pfile);
 164
 165   if (context_flagOn (o, loc))
 166     {
 167       if (xlloptgenerror (srcFile, srcLine, o, s, loc))
 168         {
 169           cppReader_printContainingFiles (pfile);
 170           res = TRUE;
 171         }
 172     }
 173   else
 174     {
 175       cstring_free (s);
 176     }
 177
 178   fileloc_free (loc);
 179
 180   return res;
 181 }
 182
 183 /* IS_ERROR is 2 for "fatal" error, 1 for error, 0 for warning */
 184
 185 static void
 186 cppReader_message (cppReader *pfile, int is_error, /*@only@*/ cstring msg)
 187 {
 188   if (!is_error)
 189     {
 190       /* fprintf (stderr, "warning: "); */
 191     }
 192   else if (is_error == 2)
 193     {
 194       pfile->errors = cppReader_fatalErrorLimit;
 195     }
 196   else if (pfile->errors < cppReader_fatalErrorLimit)
 197     {
 198       pfile->errors++;
 199     }
 200   else
 201     {
 202       ;
 203     }
 204
 205   fprintf (stderr, "%s", cstring_toCharsSafe (msg));
 206   fprintf (stderr, "\n");
 207 }
 208
 209 /* Same as cppReader_error, except we consider the error to be "fatal",
 210    such as inconsistent options.  I.e. there is little point in continuing.
 211    (We do not exit, to support use of cpplib as a library.
 212    Instead, it is the caller's responsibility to check
 213    cpplib_fatalErrors.  */
 214
 215 void
 216 cppReader_fatalError (cppReader *pfile, /*@only@*/ cstring str)
 217 {
 218   fprintf (stderr, "preprocessor: ");
 219   cppReader_message (pfile, 2, str);
 220 }
 221
 222 # ifdef DEADCODE
 223 void
 224 cppReader_pfatalWithName (cppReader *pfile, cstring name)
 225 {
 226   cppReader_perrorWithName (pfile, name);
 227   exit (FATAL_EXIT_CODE);
 228 }
 229 # endif /* DEADCODE */
 230
 231 static /*@only@*/ fileloc
 232 cppReader_getLoc (cppReader *pfile)
 233 {
 234   cppBuffer *ip = cppReader_fileBuffer (pfile);
 235
 236   if (ip != NULL && ip->buf != NULL)
 237     {
 238       int line, col;
 239       cstring fname = ip->nominal_fname;
 240       fileId fid = fileTable_lookup (context_fileTable (), fname);
 241
 242       if (!fileId_isValid (fid))
 243         {
 244           /* evans 2002-02-09
 245           ** filename used in #line comment is new
 246           */
 247
 248           fid = fileTable_addFile (context_fileTable (), FILE_NORMAL, fname);
 249         }
 250
 251       cppBuffer_getLineAndColumn (ip, &line, &col);
 252       return fileloc_create (fid, line, col);
 253     }
 254   else
 255     {
 256       return fileloc_createBuiltin ();
 257     }
 258 }
 259
 260 void
 261 cppReader_errorLit (cppReader *pfile, /*@observer@*/ cstring msg)
 262 {
 263   cppReader_error (pfile, cstring_copy (msg));
 264 }
 265
 266 void
 267 cppReader_error (cppReader *pfile, /*@only@*/ cstring msg)
 268 {
 269   if (cppoptgenerror (FLG_PREPROC, msg, pfile))
 270     {
 271       pfile->errors++;
 272     }
 273 }
 274
 275 /* Print error message but don't count it.  */
 276
 277 void
 278 cppReader_warningLit (cppReader *pfile, cstring msg)
 279 {
 280   cppReader_warning (pfile, cstring_copy (msg));
 281 }
 282
 283 void
 284 cppReader_warning (cppReader *pfile, /*@only@*/ cstring msg)
 285 {
 286   if (CPPOPTIONS (pfile)->warnings_are_errors)
 287     pfile->errors++;
 288
 289   cppoptgenerror (FLG_PREPROC, msg, pfile);
 290 }
 291
 292 /* Print an error message and maybe count it.  */
 293
 294 extern void
 295 cppReader_pedwarnLit (cppReader *pfile, /*@observer@*/ cstring msg)
 296 {
 297   cppReader_pedwarn (pfile, cstring_copy (msg));
 298 }
 299
 300 extern void
 301 cppReader_pedwarn (cppReader *pfile, /*@only@*/ cstring msg)
 302 {
 303   if (CPPOPTIONS (pfile)->pedantic_errors)
 304     {
 305       cppReader_error (pfile, msg);
 306     }
 307   else
 308     {
 309       cppReader_warning (pfile, msg);
 310     }
 311 }
 312
 313 void
 314 cppReader_errorWithLine (cppReader *pfile, int line, int column,
 315                          /*@only@*/ cstring msg)
 316 {
 317   fileloc loc = cppReader_getLoc (pfile);
 318   fileloc_setLineno (loc, line);
 319   fileloc_setColumn (loc, column);
 320
 321   cppoptgenerror (FLG_PREPROC, message ("%s: %s",
 322                                         fileloc_unparse (loc),
 323                                         msg),
 324                   pfile);
 325 }
 326
 327 void
 328 cppReader_warningWithLine (cppReader *pfile,
 329                            int line, int column,
 330                            /*@only@*/ cstring msg)
 331 {
 332   if (CPPOPTIONS (pfile)->warnings_are_errors)
 333     pfile->errors++;
 334
 335   cppReader_errorWithLine (pfile, line, column, msg);
 336 }
 337
 338 void
 339 cppReader_pedwarnWithLine (cppReader *pfile, int line, int column,
 340                        /*@only@*/ cstring msg)
 341 {
 342   if (CPPOPTIONS (pfile)->pedantic_errors)
 343     {
 344       cppReader_errorWithLine (pfile, column, line, msg);
 345     }
 346   else
 347     {
 348       cppReader_warningWithLine (pfile, line, column, msg);
 349     }
 350 }
 351
 352 void cppReader_perrorWithName (cppReader *pfile, cstring name)
 353 {
 354   cppoptgenerror (FLG_PREPROC,
 355                   message ("%s: Preprocessing error: %s",
 356                            name, lldecodeerror (errno)),
 357                   pfile);
 358 }
 359
 360
 361
 362
 363
 364
 365
 366