src/cppmain.c

   1 /*
   2 ** Splint - annotation-assisted static program checker
   3 ** Copyright (C) 1994-2002 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       /* -I option (Add directory to include path) */
 195       struct file_name_list *dirtmp = (struct file_name_list *) dmalloc (sizeof (*dirtmp));
 196
 197       llassert (cstring_firstChar (dir) == 'I');
 198       dir = cstring_suffix (dir, 1);
 199
 200       DPRINTF (("Add include: %s", dir));
 201
 202       dirtmp->next = 0;         /* New one goes on the end */
 203       dirtmp->control_macro = 0;
 204       dirtmp->c_system_include_path = FALSE;
 205
 206       /* This copy is necessary...but shouldn't be? */
 207       /*@-onlytrans@*/
 208       dirtmp->fname = cstring_copy (dir);
 209       /*@=onlytrans@*/
 210
 211       dirtmp->got_name_map = FALSE;
 212       cppReader_addIncludeChain (&g_cppState, dirtmp);
 213     }
 214 }
 215
 216 void cppDoDefine (cstring str)
 217 {
 218   cppBuffer *tbuf = g_cppState.buffer;
 219
 220   g_cppState.buffer = NULL;
 221   cppReader_define (&g_cppState, cstring_toCharsSafe (str));
 222   g_cppState.buffer = tbuf;
 223 }
 224
 225 void cppDoUndefine (cstring str)
 226 {
 227   size_t sym_length;
 228   hashNode hp;
 229   char *buf = cstring_toCharsSafe (str);
 230
 231   sym_length = cppReader_checkMacroName (&g_cppState, buf,
 232                                          cstring_makeLiteralTemp ("macro"));
 233
 234   while ((hp = cpphash_lookup (buf, size_toInt (sym_length), -1)) != NULL)
 235     {
 236       /*@-exposetrans@*/ /*@-dependenttrans@*/
 237       cppReader_deleteMacro (hp);
 238       /*@=exposetrans@*/ /*@=dependenttrans@*/
 239     }
 240 }
 241
 242 void cppReader_saveDefinitions ()
 243 {
 244   if (!context_getFlag (FLG_SINGLEINCLUDE))
 245     {
 246       cppReader_saveHashtab ();
 247     }
 248 }