src/cppmain.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 ** cppmain.c
  26 */
  27 /* CPP main program, using CPP Library.
  28    Copyright (C) 1995 Free Software Foundation, Inc.
  29    Written by Per Bothner, 1994-95.
  30
  31 This program is free software; you can redistribute it and/or modify it
  32 under the terms of the GNU General Public License as published by the
  33 Free Software Foundation; either version 2, or (at your option) any
  34 later version.
  35
  36 This program is distributed in the hope that it will be useful,
  37 but WITHOUT ANY WARRANTY; without even the implied warranty of
  38 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  39 GNU General Public License for more details.
  40
  41 You should have received a copy of the GNU General Public License
  42 along with this program; if not, write to the Free Software
  43 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  44
  45  In other words, you are welcome to use, share and improve this program.
  46  You are forbidden to forbid anyone else to use, share and improve
  47  what you give them.   Help stamp out software-hoarding!  */
  48
  49 # include "splintMacros.nf"
  50 # include "llbasic.h"
  51 # include "cpplib.h"
  52 # include "cpphash.h"
  53 # include "cpperror.h"
  54 # include "llmain.h"
  55 # include "osd.h"
  56
  57 # include <stdio.h>
  58
  59 # ifdef WIN32
  60 /*@-ansireserved@*/
  61 extern /*@external@*/ /*@observer@*/ char *getenv (const char *);
  62 /*@=ansireserved@*/
  63 # endif
  64
  65 /* char *progname; */
  66
  67 cppReader g_cppState;
  68
  69 #ifdef abort
  70 /* More 'friendly' abort that prints the line and file.
  71    config.h can #define abort fancy_abort if you like that sort of thing.  */
  72
  73 void
  74 fancy_abort ()
  75 {
  76   fatal ("Internal gcc abort.");
  77 }
  78 #endif
  79
  80 void cppReader_initMod ()
  81 {
  82   struct cppOptions *opts = (struct cppOptions *) dmalloc (sizeof (*opts));
  83
  84   cpplib_init (&g_cppState);
  85   llassert (g_cppState.opts == NULL);
  86   g_cppState.opts = opts;
  87
  88   cppOptions_init (opts);
  89   /*@-compdef@*/ /* g_cppState is not yet innitialized */
  90 } /*@=compdef@*/
  91
  92 void cppReader_destroyMod ()
  93   /*@globals killed g_cppState@*/
  94 {
  95   cppCleanup (&g_cppState);
  96 }
  97
  98 void cppReader_initialize ()
  99 {
 100   cpplib_initializeReader (&g_cppState);
 101 }
 102
 103 int cppProcess (/*@dependent@*/ cstring infile,
 104                 /*@dependent@*/ cstring outfile)
 105 {
 106   FILE *ofile;
 107   struct cppOptions *opts = CPPOPTIONS (&g_cppState);
 108
 109   opts->out_fname = outfile;
 110   opts->in_fname = infile;
 111   opts->out_fname = outfile;
 112
 113   if (cpplib_fatalErrors (&g_cppState))
 114     {
 115       llexit (LLFAILURE);
 116     }
 117
 118   g_cppState.show_column = TRUE;
 119
 120   if (cppReader_startProcess (&g_cppState, opts->in_fname) == 0)
 121     {
 122       llexit (LLFAILURE);
 123     }
 124
 125   ofile = fileTable_createFile (context_fileTable (), outfile);
 126
 127   if (ofile == NULL)
 128     {
 129       fileTable_noDelete (context_fileTable (), outfile);
 130       osd_setTempError ();
 131       llfatalerror (message ("Cannot create temporary file for "
 132                              "pre-processor output.  Trying to "
 133                              "open: %s.  Use -tmpdir to change "
 134                              "the directory for temporary files.",
 135                              outfile));
 136     }
 137
 138   for (;;)
 139     {
 140       enum cpp_token kind;
 141
 142       llassert (g_cppState.token_buffer != NULL);
 143
 144       if (!opts->no_output)
 145         {
 146           DPRINTF (("Writing: %s", cstring_copyLength (g_cppState.token_buffer, cpplib_getWritten (&g_cppState))));
 147
 148           (void) fwrite (g_cppState.token_buffer, (size_t) 1,
 149                          cpplib_getWritten (&g_cppState), ofile);
 150         }
 151
 152       cppReader_setWritten (&g_cppState, 0);
 153       kind = cpplib_getToken (&g_cppState);
 154
 155       if (kind == CPP_EOF)
 156         break;
 157     }
 158
 159   cppReader_finish (&g_cppState);
 160   check (fileTable_closeFile (context_fileTable (), ofile));
 161
 162   /* Restore the original definition table. */
 163
 164   if (!context_getFlag (FLG_SINGLEINCLUDE))
 165     {
 166       cppReader_restoreHashtab ();
 167     }
 168
 169
 170   /* Undefine everything from this file! */
 171
 172   if (g_cppState.errors != 0) {
 173     return -1;
 174   }
 175
 176   return 0;
 177 }
 178
 179 void cppAddIncludeDir (cstring dir)
 180 {
 181   /* evans 2001-08-26
 182   ** Add the -I- code.  This code provided by Robin Watts <Robin.Watts@wss.co.uk>
 183   */
 184
 185   DPRINTF (("Adding include: %s", dir));
 186
 187   if (cstring_equalLit (dir, "-I-"))
 188     {
 189       struct cppOptions *opts = CPPOPTIONS (&g_cppState);
 190       opts->ignore_srcdir = TRUE;
 191     }
 192   else
 193     {
 194       struct file_name_list *dirtmp = (struct file_name_list *) dmalloc (sizeof (*dirtmp));
 195
 196       DPRINTF (("Add include: %s", dir));
 197
 198       dirtmp->next = 0;         /* New one goes on the end */
 199       dirtmp->control_macro = 0;
 200       dirtmp->c_system_include_path = FALSE;
 201
 202       /* This copy is necessary...but shouldn't be? */
 203       /*@-onlytrans@*/
 204       dirtmp->fname = cstring_copy (dir);
 205       /*@=onlytrans@*/
 206
 207       dirtmp->got_name_map = FALSE;
 208       cppReader_addIncludeChain (&g_cppState, dirtmp);
 209     }
 210 }
 211
 212 void cppDoDefine (cstring str)
 213 {
 214   cppBuffer *tbuf = g_cppState.buffer;
 215
 216   g_cppState.buffer = NULL;
 217   cppReader_define (&g_cppState, cstring_toCharsSafe (str));
 218   g_cppState.buffer = tbuf;
 219 }
 220
 221 void cppDoUndefine (cstring str)
 222 {
 223   size_t sym_length;
 224   hashNode hp;
 225   char *buf = cstring_toCharsSafe (str);
 226
 227   sym_length = cppReader_checkMacroName (&g_cppState, buf,
 228                                          cstring_makeLiteralTemp ("macro"));
 229
 230   while ((hp = cpphash_lookup (buf, size_toInt (sym_length), -1)) != NULL)
 231     {
 232       /*@-exposetrans@*/ /*@-dependenttrans@*/
 233       cppReader_deleteMacro (hp);
 234       /*@=exposetrans@*/ /*@=dependenttrans@*/
 235     }
 236 }
 237
 238 void cppReader_saveDefinitions ()
 239 {
 240   if (!context_getFlag (FLG_SINGLEINCLUDE))
 241     {
 242       cppReader_saveHashtab ();
 243     }
 244 }