gcc/cppinit.c

   1 /* CPP Library.
   2    Copyright (C) 1986, 1987, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
   3    1999, 2000, 2001, 2002 Free Software Foundation, Inc.
   4    Contributed by Per Bothner, 1994-95.
   5    Based on CCCP program by Paul Rubin, June 1986
   6    Adapted to ANSI C, Richard Stallman, Jan 1987
   7
   8 This program is free software; you can redistribute it and/or modify it
   9 under the terms of the GNU General Public License as published by the
  10 Free Software Foundation; either version 2, or (at your option) any
  11 later version.
  12
  13 This program is distributed in the hope that it will be useful,
  14 but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 GNU General Public License for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with this program; if not, write to the Free Software
  20 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
  21
  22 #include "config.h"
  23 #include "system.h"
  24 #include "cpplib.h"
  25 #include "cpphash.h"
  26 #include "prefix.h"
  27 #include "intl.h"
  28 #include "version.h"
  29 #include "mkdeps.h"
  30 #include "cppdefault.h"
  31
  32 /* Windows does not natively support inodes, and neither does MSDOS.
  33    Cygwin's emulation can generate non-unique inodes, so don't use it.
  34    VMS has non-numeric inodes.  */
  35 #ifdef VMS
  36 # define INO_T_EQ(A, B) (!memcmp (&(A), &(B), sizeof (A)))
  37 # define INO_T_COPY(DEST, SRC) memcpy(&(DEST), &(SRC), sizeof (SRC))
  38 #else
  39 # if (defined _WIN32 && ! defined (_UWIN)) || defined __MSDOS__
  40 #  define INO_T_EQ(A, B) 0
  41 # else
  42 #  define INO_T_EQ(A, B) ((A) == (B))
  43 # endif
  44 # define INO_T_COPY(DEST, SRC) (DEST) = (SRC)
  45 #endif
  46
  47 /* Internal structures and prototypes.  */
  48
  49 /* A `struct pending_option' remembers one -D, -A, -U, -include, or
  50    -imacros switch.  */
  51 typedef void (* cl_directive_handler) PARAMS ((cpp_reader *, const char *));
  52 struct pending_option
  53 {
  54   struct pending_option *next;
  55   const char *arg;
  56   cl_directive_handler handler;
  57 };
  58
  59 /* The `pending' structure accumulates all the options that are not
  60    actually processed until we hit cpp_read_main_file.  It consists of
  61    several lists, one for each type of option.  We keep both head and
  62    tail pointers for quick insertion.  */
  63 struct cpp_pending
  64 {
  65   struct pending_option *directive_head, *directive_tail;
  66
  67   struct search_path *quote_head, *quote_tail;
  68   struct search_path *brack_head, *brack_tail;
  69   struct search_path *systm_head, *systm_tail;
  70   struct search_path *after_head, *after_tail;
  71
  72   struct pending_option *imacros_head, *imacros_tail;
  73   struct pending_option *include_head, *include_tail;
  74 };
  75
  76 #ifdef __STDC__
  77 #define APPEND(pend, list, elt) \
  78   do {  if (!(pend)->list##_head) (pend)->list##_head = (elt); \
  79         else (pend)->list##_tail->next = (elt); \
  80         (pend)->list##_tail = (elt); \
  81   } while (0)
  82 #else
  83 #define APPEND(pend, list, elt) \
  84   do {  if (!(pend)->list/**/_head) (pend)->list/**/_head = (elt); \
  85         else (pend)->list/**/_tail->next = (elt); \
  86         (pend)->list/**/_tail = (elt); \
  87   } while (0)
  88 #endif
  89
  90 static void path_include                PARAMS ((cpp_reader *,
  91                                                  char *, int));
  92 static void init_library                PARAMS ((void));
  93 static void init_builtins               PARAMS ((cpp_reader *));
  94 static void mark_named_operators        PARAMS ((cpp_reader *));
  95 static void append_include_chain        PARAMS ((cpp_reader *,
  96                                                  char *, int, int));
  97 static struct search_path * remove_dup_dir      PARAMS ((cpp_reader *,
  98                                                  struct search_path *));
  99 static struct search_path * remove_dup_dirs PARAMS ((cpp_reader *,
 100                                                  struct search_path *));
 101 static void merge_include_chains        PARAMS ((cpp_reader *));
 102 static bool push_include                PARAMS ((cpp_reader *,
 103                                                  struct pending_option *));
 104 static void free_chain                  PARAMS ((struct pending_option *));
 105 static void set_lang                    PARAMS ((cpp_reader *, enum c_lang));
 106 static void init_dependency_output      PARAMS ((cpp_reader *));
 107 static void init_standard_includes      PARAMS ((cpp_reader *));
 108 static void read_original_filename      PARAMS ((cpp_reader *));
 109 static void new_pending_directive       PARAMS ((struct cpp_pending *,
 110                                                  const char *,
 111                                                  cl_directive_handler));
 112 static void output_deps                 PARAMS ((cpp_reader *));
 113 static int parse_option                 PARAMS ((const char *));
 114
 115 /* Fourth argument to append_include_chain: chain to use.
 116    Note it's never asked to append to the quote chain.  */
 117 enum { BRACKET = 0, SYSTEM, AFTER };
 118
 119 /* If we have designated initializers (GCC >2.7) these tables can be
 120    initialized, constant data.  Otherwise, they have to be filled in at
 121    runtime.  */
 122 #if HAVE_DESIGNATED_INITIALIZERS
 123
 124 #define init_trigraph_map()  /* Nothing.  */
 125 #define TRIGRAPH_MAP \
 126 __extension__ const uchar _cpp_trigraph_map[UCHAR_MAX + 1] = {
 127
 128 #define END };
 129 #define s(p, v) [p] = v,
 130
 131 #else
 132
 133 #define TRIGRAPH_MAP uchar _cpp_trigraph_map[UCHAR_MAX + 1] = { 0 }; \
 134  static void init_trigraph_map PARAMS ((void)) { \
 135  unsigned char *x = _cpp_trigraph_map;
 136
 137 #define END }
 138 #define s(p, v) x[p] = v;
 139
 140 #endif
 141
 142 TRIGRAPH_MAP
 143   s('=', '#')   s(')', ']')     s('!', '|')
 144   s('(', '[')   s('\'', '^')    s('>', '}')
 145   s('/', '\\')  s('<', '{')     s('-', '~')
 146 END
 147
 148 #undef s
 149 #undef END
 150 #undef TRIGRAPH_MAP
 151
 152 /* Given a colon-separated list of file names PATH,
 153    add all the names to the search path for include files.  */
 154 static void
 155 path_include (pfile, list, path)
 156      cpp_reader *pfile;
 157      char *list;
 158      int path;
 159 {
 160   char *p, *q, *name;
 161
 162   p = list;
 163
 164   do
 165     {
 166       /* Find the end of this name.  */
 167       q = p;
 168       while (*q != 0 && *q != PATH_SEPARATOR) q++;
 169       if (q == p)
 170         {
 171           /* An empty name in the path stands for the current directory.  */
 172           name = (char *) xmalloc (2);
 173           name[0] = '.';
 174           name[1] = 0;
 175         }
 176       else
 177         {
 178           /* Otherwise use the directory that is named.  */
 179           name = (char *) xmalloc (q - p + 1);
 180           memcpy (name, p, q - p);
 181           name[q - p] = 0;
 182         }
 183
 184       append_include_chain (pfile, name, path, 0);
 185
 186       /* Advance past this name.  */
 187       if (*q == 0)
 188         break;
 189       p = q + 1;
 190     }
 191   while (1);
 192 }
 193
 194 /* Append DIR to include path PATH.  DIR must be allocated on the
 195    heap; this routine takes responsibility for freeing it.  CXX_AWARE
 196    is non-zero if the header contains extern "C" guards for C++,
 197    otherwise it is zero.  */
 198 static void
 199 append_include_chain (pfile, dir, path, cxx_aware)
 200      cpp_reader *pfile;
 201      char *dir;
 202      int path;
 203      int cxx_aware;
 204 {
 205   struct cpp_pending *pend = CPP_OPTION (pfile, pending);
 206   struct search_path *new;
 207   struct stat st;
 208   unsigned int len;
 209
 210   if (*dir == '\0')
 211     {
 212       free (dir);
 213       dir = xstrdup (".");
 214     }
 215   _cpp_simplify_pathname (dir);
 216
 217   if (stat (dir, &st))
 218     {
 219       /* Dirs that don't exist are silently ignored.  */
 220       if (errno != ENOENT)
 221         cpp_errno (pfile, DL_ERROR, dir);
 222       else if (CPP_OPTION (pfile, verbose))
 223         fprintf (stderr, _("ignoring nonexistent directory \"%s\"\n"), dir);
 224       free (dir);
 225       return;
 226     }
 227
 228   if (!S_ISDIR (st.st_mode))
 229     {
 230       cpp_error_with_line (pfile, DL_ERROR, 0, 0, "%s: Not a directory", dir);
 231       free (dir);
 232       return;
 233     }
 234
 235   len = strlen (dir);
 236   if (len > pfile->max_include_len)
 237     pfile->max_include_len = len;
 238
 239   new = (struct search_path *) xmalloc (sizeof (struct search_path));
 240   new->name = dir;
 241   new->len = len;
 242   INO_T_COPY (new->ino, st.st_ino);
 243   new->dev  = st.st_dev;
 244   /* Both systm and after include file lists should be treated as system
 245      include files since these two lists are really just a concatenation
 246      of one "system" list.  */
 247   if (path == SYSTEM || path == AFTER)
 248     new->sysp = cxx_aware ? 1 : 2;
 249   else
 250     new->sysp = 0;
 251   new->name_map = NULL;
 252   new->next = NULL;
 253
 254   switch (path)
 255     {
 256     case BRACKET:       APPEND (pend, brack, new); break;
 257     case SYSTEM:        APPEND (pend, systm, new); break;
 258     case AFTER:         APPEND (pend, after, new); break;
 259     }
 260 }
 261
 262 /* Handle a duplicated include path.  PREV is the link in the chain
 263    before the duplicate.  The duplicate is removed from the chain and
 264    freed.  Returns PREV.  */
 265 static struct search_path *
 266 remove_dup_dir (pfile, prev)
 267      cpp_reader *pfile;
 268      struct search_path *prev;
 269 {
 270   struct search_path *cur = prev->next;
 271
 272   if (CPP_OPTION (pfile, verbose))
 273     fprintf (stderr, _("ignoring duplicate directory \"%s\"\n"), cur->name);
 274
 275   prev->next = cur->next;
 276   free ((PTR) cur->name);
 277   free (cur);
 278
 279   return prev;
 280 }
 281
 282 /* Remove duplicate directories from a chain.  Returns the tail of the
 283    chain, or NULL if the chain is empty.  This algorithm is quadratic
 284    in the number of -I switches, which is acceptable since there
 285    aren't usually that many of them.  */
 286 static struct search_path *
 287 remove_dup_dirs (pfile, head)
 288      cpp_reader *pfile;
 289      struct search_path *head;
 290 {
 291   struct search_path *prev = NULL, *cur, *other;
 292
 293   for (cur = head; cur; cur = cur->next)
 294     {
 295       for (other = head; other != cur; other = other->next)
 296         if (INO_T_EQ (cur->ino, other->ino) && cur->dev == other->dev)
 297           {
 298             if (cur->sysp && !other->sysp)
 299               {
 300                 cpp_error (pfile, DL_WARNING,
 301                            "changing search order for system directory \"%s\"",
 302                            cur->name);
 303                 if (strcmp (cur->name, other->name))
 304                   cpp_error (pfile, DL_WARNING,
 305                              "  as it is the same as non-system directory \"%s\"",
 306                              other->name);
 307                 else
 308                   cpp_error (pfile, DL_WARNING,
 309                              "  as it has already been specified as a non-system directory");
 310               }
 311             cur = remove_dup_dir (pfile, prev);
 312             break;
 313           }
 314       prev = cur;
 315     }
 316
 317   return prev;
 318 }
 319
 320 /* Merge the four include chains together in the order quote, bracket,
 321    system, after.  Remove duplicate dirs (as determined by
 322    INO_T_EQ()).  The system_include and after_include chains are never
 323    referred to again after this function; all access is through the
 324    bracket_include path.  */
 325 static void
 326 merge_include_chains (pfile)
 327      cpp_reader *pfile;
 328 {
 329   struct search_path *quote, *brack, *systm, *qtail;
 330
 331   struct cpp_pending *pend = CPP_OPTION (pfile, pending);
 332
 333   quote = pend->quote_head;
 334   brack = pend->brack_head;
 335   systm = pend->systm_head;
 336   qtail = pend->quote_tail;
 337
 338   /* Paste together bracket, system, and after include chains.  */
 339   if (systm)
 340     pend->systm_tail->next = pend->after_head;
 341   else
 342     systm = pend->after_head;
 343
 344   if (brack)
 345     pend->brack_tail->next = systm;
 346   else
 347     brack = systm;
 348
 349   /* This is a bit tricky.  First we drop dupes from the quote-include
 350      list.  Then we drop dupes from the bracket-include list.
 351      Finally, if qtail and brack are the same directory, we cut out
 352      brack and move brack up to point to qtail.
 353
 354      We can't just merge the lists and then uniquify them because
 355      then we may lose directories from the <> search path that should
 356      be there; consider -Ifoo -Ibar -I- -Ifoo -Iquux. It is however
 357      safe to treat -Ibar -Ifoo -I- -Ifoo -Iquux as if written
 358      -Ibar -I- -Ifoo -Iquux.  */
 359
 360   remove_dup_dirs (pfile, brack);
 361   qtail = remove_dup_dirs (pfile, quote);
 362
 363   if (quote)
 364     {
 365       qtail->next = brack;
 366
 367       /* If brack == qtail, remove brack as it's simpler.  */
 368       if (brack && INO_T_EQ (qtail->ino, brack->ino)
 369           && qtail->dev == brack->dev)
 370         brack = remove_dup_dir (pfile, qtail);
 371     }
 372   else
 373     quote = brack;
 374
 375   CPP_OPTION (pfile, quote_include) = quote;
 376   CPP_OPTION (pfile, bracket_include) = brack;
 377 }
 378
 379 /* A set of booleans indicating what CPP features each source language
 380    requires.  */
 381 struct lang_flags
 382 {
 383   char c99;
 384   char cplusplus;
 385   char extended_numbers;
 386   char std;
 387   char dollars_in_ident;
 388   char cplusplus_comments;
 389   char digraphs;
 390 };
 391
 392 /* ??? Enable $ in identifiers in assembly? */
 393 static const struct lang_flags lang_defaults[] =
 394 { /*              c99 c++ xnum std dollar c++comm digr  */
 395   /* GNUC89 */  { 0,  0,  1,   0,   1,     1,      1     },
 396   /* GNUC99 */  { 1,  0,  1,   0,   1,     1,      1     },
 397   /* STDC89 */  { 0,  0,  0,   1,   0,     0,      0     },
 398   /* STDC94 */  { 0,  0,  0,   1,   0,     0,      1     },
 399   /* STDC99 */  { 1,  0,  1,   1,   0,     1,      1     },
 400   /* GNUCXX */  { 0,  1,  1,   0,   1,     1,      1     },
 401   /* CXX98  */  { 0,  1,  1,   1,   0,     1,      1     },
 402   /* ASM    */  { 0,  0,  1,   0,   0,     1,      0     }
 403 };
 404
 405 /* Sets internal flags correctly for a given language.  */
 406 static void
 407 set_lang (pfile, lang)
 408      cpp_reader *pfile;
 409      enum c_lang lang;
 410 {
 411   const struct lang_flags *l = &lang_defaults[(int) lang];
 412
 413   CPP_OPTION (pfile, lang) = lang;
 414
 415   CPP_OPTION (pfile, c99)                = l->c99;
 416   CPP_OPTION (pfile, cplusplus)          = l->cplusplus;
 417   CPP_OPTION (pfile, extended_numbers)   = l->extended_numbers;
 418   CPP_OPTION (pfile, std)                = l->std;
 419   CPP_OPTION (pfile, trigraphs)          = l->std;
 420   CPP_OPTION (pfile, dollars_in_ident)   = l->dollars_in_ident;
 421   CPP_OPTION (pfile, cplusplus_comments) = l->cplusplus_comments;
 422   CPP_OPTION (pfile, digraphs)           = l->digraphs;
 423 }
 424
 425 #ifdef HOST_EBCDIC
 426 static int opt_comp PARAMS ((const void *, const void *));
 427
 428 /* Run-time sorting of options array.  */
 429 static int
 430 opt_comp (p1, p2)
 431      const void *p1, *p2;
 432 {
 433   return strcmp (((struct cl_option *) p1)->opt_text,
 434                  ((struct cl_option *) p2)->opt_text);
 435 }
 436 #endif
 437
 438 /* init initializes library global state.  It might not need to
 439    do anything depending on the platform and compiler.  */
 440 static void
 441 init_library ()
 442 {
 443   static int initialized = 0;
 444
 445   if (! initialized)
 446     {
 447       initialized = 1;
 448
 449 #ifdef HOST_EBCDIC
 450       /* For non-ASCII hosts, the cl_options array needs to be sorted at
 451          runtime.  */
 452       qsort (cl_options, N_OPTS, sizeof (struct cl_option), opt_comp);
 453 #endif
 454
 455       /* Set up the trigraph map.  This doesn't need to do anything if
 456          we were compiled with a compiler that supports C99 designated
 457          initializers.  */
 458       init_trigraph_map ();
 459     }
 460 }
 461
 462 /* Initialize a cpp_reader structure.  */
 463 cpp_reader *
 464 cpp_create_reader (lang)
 465      enum c_lang lang;
 466 {
 467   cpp_reader *pfile;
 468
 469   /* Initialise this instance of the library if it hasn't been already.  */
 470   init_library ();
 471
 472   pfile = (cpp_reader *) xcalloc (1, sizeof (cpp_reader));
 473
 474   set_lang (pfile, lang);
 475   CPP_OPTION (pfile, warn_import) = 1;
 476   CPP_OPTION (pfile, warn_multichar) = 1;
 477   CPP_OPTION (pfile, discard_comments) = 1;
 478   CPP_OPTION (pfile, discard_comments_in_macro_exp) = 1;
 479   CPP_OPTION (pfile, show_column) = 1;
 480   CPP_OPTION (pfile, tabstop) = 8;
 481   CPP_OPTION (pfile, operator_names) = 1;
 482   CPP_OPTION (pfile, warn_endif_labels) = 1;
 483
 484   CPP_OPTION (pfile, pending) =
 485     (struct cpp_pending *) xcalloc (1, sizeof (struct cpp_pending));
 486
 487   /* Default CPP arithmetic to something sensible for the host for the
 488      benefit of dumb users like fix-header.  */
 489   CPP_OPTION (pfile, precision) = CHAR_BIT * sizeof (long);
 490   CPP_OPTION (pfile, char_precision) = CHAR_BIT;
 491   CPP_OPTION (pfile, wchar_precision) = CHAR_BIT * sizeof (int);
 492   CPP_OPTION (pfile, int_precision) = CHAR_BIT * sizeof (int);
 493   CPP_OPTION (pfile, unsigned_char) = 0;
 494   CPP_OPTION (pfile, unsigned_wchar) = 1;
 495
 496   /* It's simplest to just create this struct whether or not it will
 497      be needed.  */
 498   pfile->deps = deps_init ();
 499
 500   /* Initialise the line map.  Start at logical line 1, so we can use
 501      a line number of zero for special states.  */
 502   init_line_maps (&pfile->line_maps);
 503   pfile->line = 1;
 504
 505   /* Initialize lexer state.  */
 506   pfile->state.save_comments = ! CPP_OPTION (pfile, discard_comments);
 507
 508   /* Set up static tokens.  */
 509   pfile->avoid_paste.type = CPP_PADDING;
 510   pfile->avoid_paste.val.source = NULL;
 511   pfile->eof.type = CPP_EOF;
 512   pfile->eof.flags = 0;
 513
 514   /* Create a token buffer for the lexer.  */
 515   _cpp_init_tokenrun (&pfile->base_run, 250);
 516   pfile->cur_run = &pfile->base_run;
 517   pfile->cur_token = pfile->base_run.base;
 518
 519   /* Initialise the base context.  */
 520   pfile->context = &pfile->base_context;
 521   pfile->base_context.macro = 0;
 522   pfile->base_context.prev = pfile->base_context.next = 0;
 523
 524   /* Aligned and unaligned storage.  */
 525   pfile->a_buff = _cpp_get_buff (pfile, 0);
 526   pfile->u_buff = _cpp_get_buff (pfile, 0);
 527
 528   /* The expression parser stack.  */
 529   _cpp_expand_op_stack (pfile);
 530
 531   /* Initialise the buffer obstack.  */
 532   gcc_obstack_init (&pfile->buffer_ob);
 533
 534   _cpp_init_includes (pfile);
 535
 536   return pfile;
 537 }
 538
 539 /* Free resources used by PFILE.  Accessing PFILE after this function
 540    returns leads to undefined behaviour.  Returns the error count.  */
 541 int
 542 cpp_destroy (pfile)
 543      cpp_reader *pfile;
 544 {
 545   int result;
 546   struct search_path *dir, *dirn;
 547   cpp_context *context, *contextn;
 548   tokenrun *run, *runn;
 549
 550   free_chain (CPP_OPTION (pfile, pending)->include_head);
 551   free (CPP_OPTION (pfile, pending));
 552   free (pfile->op_stack);
 553
 554   while (CPP_BUFFER (pfile) != NULL)
 555     _cpp_pop_buffer (pfile);
 556
 557   if (pfile->out.base)
 558     free (pfile->out.base);
 559
 560   if (pfile->macro_buffer)
 561     {
 562       free ((PTR) pfile->macro_buffer);
 563       pfile->macro_buffer = NULL;
 564       pfile->macro_buffer_len = 0;
 565     }
 566
 567   deps_free (pfile->deps);
 568   obstack_free (&pfile->buffer_ob, 0);
 569
 570   _cpp_destroy_hashtable (pfile);
 571   _cpp_cleanup_includes (pfile);
 572
 573   _cpp_free_buff (pfile->a_buff);
 574   _cpp_free_buff (pfile->u_buff);
 575   _cpp_free_buff (pfile->free_buffs);
 576
 577   for (run = &pfile->base_run; run; run = runn)
 578     {
 579       runn = run->next;
 580       free (run->base);
 581       if (run != &pfile->base_run)
 582         free (run);
 583     }
 584
 585   for (dir = CPP_OPTION (pfile, quote_include); dir; dir = dirn)
 586     {
 587       dirn = dir->next;
 588       free ((PTR) dir->name);
 589       free (dir);
 590     }
 591
 592   for (context = pfile->base_context.next; context; context = contextn)
 593     {
 594       contextn = context->next;
 595       free (context);
 596     }
 597
 598   free_line_maps (&pfile->line_maps);
 599
 600   result = pfile->errors;
 601   free (pfile);
 602
 603   return result;
 604 }
 605
 606 /* This structure defines one built-in identifier.  A node will be
 607    entered in the hash table under the name NAME, with value VALUE.
 608
 609    There are two tables of these.  builtin_array holds all the
 610    "builtin" macros: these are handled by builtin_macro() in
 611    cppmacro.c.  Builtin is somewhat of a misnomer -- the property of
 612    interest is that these macros require special code to compute their
 613    expansions.  The value is a "builtin_type" enumerator.
 614
 615    operator_array holds the C++ named operators.  These are keywords
 616    which act as aliases for punctuators.  In C++, they cannot be
 617    altered through #define, and #if recognizes them as operators.  In
 618    C, these are not entered into the hash table at all (but see
 619    <iso646.h>).  The value is a token-type enumerator.  */
 620 struct builtin
 621 {
 622   const uchar *name;
 623   unsigned short len;
 624   unsigned short value;
 625 };
 626
 627 #define B(n, t)    { DSC(n), t }
 628 static const struct builtin builtin_array[] =
 629 {
 630   B("__TIME__",          BT_TIME),
 631   B("__DATE__",          BT_DATE),
 632   B("__FILE__",          BT_FILE),
 633   B("__BASE_FILE__",     BT_BASE_FILE),
 634   B("__LINE__",          BT_SPECLINE),
 635   B("__INCLUDE_LEVEL__", BT_INCLUDE_LEVEL),
 636   /* Keep builtins not used for -traditional-cpp at the end, and
 637      update init_builtins() if any more are added.  */
 638   B("_Pragma",           BT_PRAGMA),
 639   B("__STDC__",          BT_STDC),
 640 };
 641
 642 static const struct builtin operator_array[] =
 643 {
 644   B("and",      CPP_AND_AND),
 645   B("and_eq",   CPP_AND_EQ),
 646   B("bitand",   CPP_AND),
 647   B("bitor",    CPP_OR),
 648   B("compl",    CPP_COMPL),
 649   B("not",      CPP_NOT),
 650   B("not_eq",   CPP_NOT_EQ),
 651   B("or",       CPP_OR_OR),
 652   B("or_eq",    CPP_OR_EQ),
 653   B("xor",      CPP_XOR),
 654   B("xor_eq",   CPP_XOR_EQ)
 655 };
 656 #undef B
 657
 658 /* Mark the C++ named operators in the hash table.  */
 659 static void
 660 mark_named_operators (pfile)
 661      cpp_reader *pfile;
 662 {
 663   const struct builtin *b;
 664
 665   for (b = operator_array;
 666        b < (operator_array + ARRAY_SIZE (operator_array));
 667        b++)
 668     {
 669       cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len);
 670       hp->flags |= NODE_OPERATOR;
 671       hp->value.operator = b->value;
 672     }
 673 }
 674
 675 /* Subroutine of cpp_read_main_file; reads the builtins table above and
 676    enters them, and language-specific macros, into the hash table.  */
 677 static void
 678 init_builtins (pfile)
 679      cpp_reader *pfile;
 680 {
 681   const struct builtin *b;
 682   size_t n = ARRAY_SIZE (builtin_array);
 683
 684   if (CPP_OPTION (pfile, traditional))
 685     n -= 2;
 686
 687   for(b = builtin_array; b < builtin_array + n; b++)
 688     {
 689       cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len);
 690       hp->type = NT_MACRO;
 691       hp->flags |= NODE_BUILTIN | NODE_WARN;
 692       hp->value.builtin = b->value;
 693     }
 694
 695   if (CPP_OPTION (pfile, cplusplus))
 696     _cpp_define_builtin (pfile, "__cplusplus 1");
 697   else if (CPP_OPTION (pfile, lang) == CLK_ASM)
 698     _cpp_define_builtin (pfile, "__ASSEMBLER__ 1");
 699   else if (CPP_OPTION (pfile, lang) == CLK_STDC94)
 700     _cpp_define_builtin (pfile, "__STDC_VERSION__ 199409L");
 701   else if (CPP_OPTION (pfile, c99))
 702     _cpp_define_builtin (pfile, "__STDC_VERSION__ 199901L");
 703
 704   if (CPP_OPTION (pfile, objc))
 705     _cpp_define_builtin (pfile, "__OBJC__ 1");
 706
 707   if (pfile->cb.register_builtins)
 708     (*pfile->cb.register_builtins) (pfile);
 709 }
 710
 711 /* And another subroutine.  This one sets up the standard include path.  */
 712 static void
 713 init_standard_includes (pfile)
 714      cpp_reader *pfile;
 715 {
 716   char *path;
 717   const struct default_include *p;
 718   const char *specd_prefix = CPP_OPTION (pfile, include_prefix);
 719
 720   /* Several environment variables may add to the include search path.
 721      CPATH specifies an additional list of directories to be searched
 722      as if specified with -I, while C_INCLUDE_PATH, CPLUS_INCLUDE_PATH,
 723      etc. specify an additional list of directories to be searched as
 724      if specified with -isystem, for the language indicated.  */
 725
 726   GET_ENVIRONMENT (path, "CPATH");
 727   if (path != 0 && *path != 0)
 728     path_include (pfile, path, BRACKET);
 729
 730   switch ((CPP_OPTION (pfile, objc) << 1) + CPP_OPTION (pfile, cplusplus))
 731     {
 732     case 0:
 733       GET_ENVIRONMENT (path, "C_INCLUDE_PATH");
 734       break;
 735     case 1:
 736       GET_ENVIRONMENT (path, "CPLUS_INCLUDE_PATH");
 737       break;
 738     case 2:
 739       GET_ENVIRONMENT (path, "OBJC_INCLUDE_PATH");
 740       break;
 741     case 3:
 742       GET_ENVIRONMENT (path, "OBJCPLUS_INCLUDE_PATH");
 743       break;
 744     }
 745   if (path != 0 && *path != 0)
 746     path_include (pfile, path, SYSTEM);
 747
 748   /* Search "translated" versions of GNU directories.
 749      These have /usr/local/lib/gcc... replaced by specd_prefix.  */
 750   if (specd_prefix != 0 && cpp_GCC_INCLUDE_DIR_len)
 751     {
 752       /* Remove the `include' from /usr/local/lib/gcc.../include.
 753          GCC_INCLUDE_DIR will always end in /include.  */
 754       int default_len = cpp_GCC_INCLUDE_DIR_len;
 755       char *default_prefix = (char *) alloca (default_len + 1);
 756       int specd_len = strlen (specd_prefix);
 757
 758       memcpy (default_prefix, cpp_GCC_INCLUDE_DIR, default_len);
 759       default_prefix[default_len] = '\0';
 760
 761       for (p = cpp_include_defaults; p->fname; p++)
 762         {
 763           /* Some standard dirs are only for C++.  */
 764           if (!p->cplusplus
 765               || (CPP_OPTION (pfile, cplusplus)
 766                   && !CPP_OPTION (pfile, no_standard_cplusplus_includes)))
 767             {
 768               /* Does this dir start with the prefix?  */
 769               if (!memcmp (p->fname, default_prefix, default_len))
 770                 {
 771                   /* Yes; change prefix and add to search list.  */
 772                   int flen = strlen (p->fname);
 773                   int this_len = specd_len + flen - default_len;
 774                   char *str = (char *) xmalloc (this_len + 1);
 775                   memcpy (str, specd_prefix, specd_len);
 776                   memcpy (str + specd_len,
 777                           p->fname + default_len,
 778                           flen - default_len + 1);
 779
 780                   append_include_chain (pfile, str, SYSTEM, p->cxx_aware);
 781                 }
 782             }
 783         }
 784     }
 785
 786   /* Search ordinary names for GNU include directories.  */
 787   for (p = cpp_include_defaults; p->fname; p++)
 788     {
 789       /* Some standard dirs are only for C++.  */
 790       if (!p->cplusplus
 791           || (CPP_OPTION (pfile, cplusplus)
 792               && !CPP_OPTION (pfile, no_standard_cplusplus_includes)))
 793         {
 794           char *str = update_path (p->fname, p->component);
 795           append_include_chain (pfile, str, SYSTEM, p->cxx_aware);
 796         }
 797     }
 798 }
 799
 800 /* Pushes a command line -imacro and -include file indicated by P onto
 801    the buffer stack.  Returns non-zero if successful.  */
 802 static bool
 803 push_include (pfile, p)
 804      cpp_reader *pfile;
 805      struct pending_option *p;
 806 {
 807   cpp_token header;
 808
 809   /* Later: maybe update this to use the #include "" search path
 810      if cpp_read_file fails.  */
 811   header.type = CPP_STRING;
 812   header.val.str.text = (const unsigned char *) p->arg;
 813   header.val.str.len = strlen (p->arg);
 814   /* Make the command line directive take up a line.  */
 815   pfile->line++;
 816
 817   return _cpp_execute_include (pfile, &header, IT_CMDLINE);
 818 }
 819
 820 /* Frees a pending_option chain.  */
 821 static void
 822 free_chain (head)
 823      struct pending_option *head;
 824 {
 825   struct pending_option *next;
 826
 827   while (head)
 828     {
 829       next = head->next;
 830       free (head);
 831       head = next;
 832     }
 833 }
 834
 835 /* Sanity-checks are dependent on command-line options, so it is
 836    called as a subroutine of cpp_read_main_file ().  */
 837 #if ENABLE_CHECKING
 838 static void sanity_checks PARAMS ((cpp_reader *));
 839 static void sanity_checks (pfile)
 840      cpp_reader *pfile;
 841 {
 842   cppchar_t test = 0;
 843   size_t max_precision = 2 * CHAR_BIT * sizeof (cpp_num_part);
 844
 845   /* Sanity checks for assumptions about CPP arithmetic and target
 846      type precisions made by cpplib.  */
 847   test--;
 848   if (test < 1)
 849     cpp_error (pfile, DL_ICE, "cppchar_t must be an unsigned type");
 850
 851   if (CPP_OPTION (pfile, precision) > max_precision)
 852     cpp_error (pfile, DL_ICE,
 853                "preprocessor arithmetic has maximum precision of %lu bits; target requires %lu bits",
 854                (unsigned long) max_precision,
 855                (unsigned long) CPP_OPTION (pfile, precision));
 856
 857   if (CPP_OPTION (pfile, precision) < CPP_OPTION (pfile, int_precision))
 858     cpp_error (pfile, DL_ICE,
 859                "CPP arithmetic must be at least as precise as a target int");
 860
 861   if (CPP_OPTION (pfile, char_precision) < 8)
 862     cpp_error (pfile, DL_ICE, "target char is less than 8 bits wide");
 863
 864   if (CPP_OPTION (pfile, wchar_precision) < CPP_OPTION (pfile, char_precision))
 865     cpp_error (pfile, DL_ICE,
 866                "target wchar_t is narrower than target char");
 867
 868   if (CPP_OPTION (pfile, int_precision) < CPP_OPTION (pfile, char_precision))
 869     cpp_error (pfile, DL_ICE,
 870                "target int is narrower than target char");
 871
 872   /* This is assumed in eval_token() and could be fixed if necessary.  */
 873   if (sizeof (cppchar_t) > sizeof (cpp_num_part))
 874     cpp_error (pfile, DL_ICE, "CPP half-integer narrower than CPP character");
 875
 876   if (CPP_OPTION (pfile, wchar_precision) > BITS_PER_CPPCHAR_T)
 877     cpp_error (pfile, DL_ICE,
 878                "CPP on this host cannot handle wide character constants over %lu bits, but the target requires %lu bits",
 879                (unsigned long) BITS_PER_CPPCHAR_T,
 880                (unsigned long) CPP_OPTION (pfile, wchar_precision));
 881 }
 882 #else
 883 # define sanity_checks(PFILE)
 884 #endif
 885
 886 /* This is called after options have been parsed, and partially
 887    processed.  Setup for processing input from the file named FNAME,
 888    or stdin if it is the empty string.  Return the original filename
 889    on success (e.g. foo.i->foo.c), or NULL on failure.  */
 890 const char *
 891 cpp_read_main_file (pfile, fname, table)
 892      cpp_reader *pfile;
 893      const char *fname;
 894      hash_table *table;
 895 {
 896   sanity_checks (pfile);
 897
 898   /* The front ends don't set up the hash table until they have
 899      finished processing the command line options, so initializing the
 900      hashtable is deferred until now.  */
 901   _cpp_init_hashtable (pfile, table);
 902
 903   /* Set up the include search path now.  */
 904   if (! CPP_OPTION (pfile, no_standard_includes))
 905     init_standard_includes (pfile);
 906
 907   merge_include_chains (pfile);
 908
 909   /* With -v, print the list of dirs to search.  */
 910   if (CPP_OPTION (pfile, verbose))
 911     {
 912       struct search_path *l;
 913       fprintf (stderr, _("#include \"...\" search starts here:\n"));
 914       for (l = CPP_OPTION (pfile, quote_include); l; l = l->next)
 915         {
 916           if (l == CPP_OPTION (pfile, bracket_include))
 917             fprintf (stderr, _("#include <...> search starts here:\n"));
 918           fprintf (stderr, " %s\n", l->name);
 919         }
 920       fprintf (stderr, _("End of search list.\n"));
 921     }
 922
 923   if (CPP_OPTION (pfile, print_deps))
 924     /* Set the default target (if there is none already).  */
 925     deps_add_default_target (pfile->deps, fname);
 926
 927   /* Open the main input file.  */
 928   if (!_cpp_read_file (pfile, fname))
 929     return NULL;
 930
 931   /* Set this after cpp_post_options so the client can change the
 932      option if it wishes, and after stacking the main file so we don't
 933      trace the main file.  */
 934   pfile->line_maps.trace_includes = CPP_OPTION (pfile, print_include_names);
 935
 936   /* For foo.i, read the original filename foo.c now, for the benefit
 937      of the front ends.  */
 938   if (CPP_OPTION (pfile, preprocessed))
 939     read_original_filename (pfile);
 940   /* Overlay an empty buffer to seed traditional preprocessing.  */
 941   else if (CPP_OPTION (pfile, traditional)
 942            && !CPP_OPTION (pfile, preprocess_only))
 943     _cpp_overlay_buffer (pfile, U"", 0);
 944
 945   return pfile->map->to_file;
 946 }
 947
 948 /* For preprocessed files, if the first tokens are of the form # NUM.
 949    handle the directive so we know the original file name.  This will
 950    generate file_change callbacks, which the front ends must handle
 951    appropriately given their state of initialization.  */
 952 static void
 953 read_original_filename (pfile)
 954      cpp_reader *pfile;
 955 {
 956   const cpp_token *token, *token1;
 957
 958   /* Lex ahead; if the first tokens are of the form # NUM, then
 959      process the directive, otherwise back up.  */
 960   token = _cpp_lex_direct (pfile);
 961   if (token->type == CPP_HASH)
 962     {
 963       token1 = _cpp_lex_direct (pfile);
 964       _cpp_backup_tokens (pfile, 1);
 965
 966       /* If it's a #line directive, handle it.  */
 967       if (token1->type == CPP_NUMBER)
 968         {
 969           _cpp_handle_directive (pfile, token->flags & PREV_WHITE);
 970           return;
 971         }
 972     }
 973
 974   /* Backup as if nothing happened.  */
 975   _cpp_backup_tokens (pfile, 1);
 976 }
 977
 978 /* Handle pending command line options: -D, -U, -A, -imacros and
 979    -include.  This should be called after debugging has been properly
 980    set up in the front ends.  */
 981 void
 982 cpp_finish_options (pfile)
 983      cpp_reader *pfile;
 984 {
 985   /* Mark named operators before handling command line macros.  */
 986   if (CPP_OPTION (pfile, cplusplus) && CPP_OPTION (pfile, operator_names))
 987     mark_named_operators (pfile);
 988
 989   /* Install builtins and process command line macros etc. in the order
 990      they appeared, but only if not already preprocessed.  */
 991   if (! CPP_OPTION (pfile, preprocessed))
 992     {
 993       struct pending_option *p;
 994
 995       _cpp_do_file_change (pfile, LC_RENAME, _("<built-in>"), 1, 0);
 996       init_builtins (pfile);
 997       _cpp_do_file_change (pfile, LC_RENAME, _("<command line>"), 1, 0);
 998       for (p = CPP_OPTION (pfile, pending)->directive_head; p; p = p->next)
 999         (*p->handler) (pfile, p->arg);
1000
1001       /* Scan -imacros files after -D, -U, but before -include.
1002          pfile->next_include_file is NULL, so _cpp_pop_buffer does not
1003          push -include files.  */
1004       for (p = CPP_OPTION (pfile, pending)->imacros_head; p; p = p->next)
1005         if (push_include (pfile, p))
1006           cpp_scan_nooutput (pfile);
1007
1008       pfile->next_include_file = &CPP_OPTION (pfile, pending)->include_head;
1009       _cpp_maybe_push_include_file (pfile);
1010     }
1011
1012   pfile->first_unused_line = pfile->line;
1013
1014   free_chain (CPP_OPTION (pfile, pending)->imacros_head);
1015   free_chain (CPP_OPTION (pfile, pending)->directive_head);
1016 }
1017
1018 /* Push the next buffer on the stack given by -include, if any.  */
1019 void
1020 _cpp_maybe_push_include_file (pfile)
1021      cpp_reader *pfile;
1022 {
1023   if (pfile->next_include_file)
1024     {
1025       struct pending_option *head = *pfile->next_include_file;
1026
1027       while (head && !push_include (pfile, head))
1028         head = head->next;
1029
1030       if (head)
1031         pfile->next_include_file = &head->next;
1032       else
1033         {
1034           /* All done; restore the line map from <command line>.  */
1035           _cpp_do_file_change (pfile, LC_RENAME,
1036                                pfile->line_maps.maps[0].to_file, 1, 0);
1037           /* Don't come back here again.  */
1038           pfile->next_include_file = NULL;
1039         }
1040     }
1041 }
1042
1043 /* Use mkdeps.c to output dependency information.  */
1044 static void
1045 output_deps (pfile)
1046      cpp_reader *pfile;
1047 {
1048   /* Stream on which to print the dependency information.  */
1049   FILE *deps_stream = 0;
1050   const char *const deps_mode =
1051     CPP_OPTION (pfile, print_deps_append) ? "a" : "w";
1052
1053   if (CPP_OPTION (pfile, deps_file)[0] == '\0')
1054     deps_stream = stdout;
1055   else
1056     {
1057       deps_stream = fopen (CPP_OPTION (pfile, deps_file), deps_mode);
1058       if (deps_stream == 0)
1059         {
1060           cpp_errno (pfile, DL_ERROR, CPP_OPTION (pfile, deps_file));
1061           return;
1062         }
1063     }
1064
1065   deps_write (pfile->deps, deps_stream, 72);
1066
1067   if (CPP_OPTION (pfile, deps_phony_targets))
1068     deps_phony_targets (pfile->deps, deps_stream);
1069
1070   /* Don't close stdout.  */
1071   if (deps_stream != stdout)
1072     {
1073       if (ferror (deps_stream) || fclose (deps_stream) != 0)
1074         cpp_error (pfile, DL_ERROR, "I/O error on output");
1075     }
1076 }
1077
1078 /* This is called at the end of preprocessing.  It pops the
1079    last buffer and writes dependency output.  It should also
1080    clear macro definitions, such that you could call cpp_start_read
1081    with a new filename to restart processing.  */
1082 void
1083 cpp_finish (pfile)
1084      cpp_reader *pfile;
1085 {
1086   /* Warn about unused macros before popping the final buffer.  */
1087   if (CPP_OPTION (pfile, warn_unused_macros))
1088     cpp_forall_identifiers (pfile, _cpp_warn_if_unused_macro, NULL);
1089
1090   /* cpplex.c leaves the final buffer on the stack.  This it so that
1091      it returns an unending stream of CPP_EOFs to the client.  If we
1092      popped the buffer, we'd dereference a NULL buffer pointer and
1093      segfault.  It's nice to allow the client to do worry-free excess
1094      cpp_get_token calls.  */
1095   while (pfile->buffer)
1096     _cpp_pop_buffer (pfile);
1097
1098   /* Don't write the deps file if preprocessing has failed.  */
1099   if (CPP_OPTION (pfile, print_deps) && pfile->errors == 0)
1100     output_deps (pfile);
1101
1102   /* Report on headers that could use multiple include guards.  */
1103   if (CPP_OPTION (pfile, print_include_names))
1104     _cpp_report_missing_guards (pfile);
1105 }
1106
1107 /* Add a directive to be handled later in the initialization phase.  */
1108 static void
1109 new_pending_directive (pend, text, handler)
1110      struct cpp_pending *pend;
1111      const char *text;
1112      cl_directive_handler handler;
1113 {
1114   struct pending_option *o = (struct pending_option *)
1115     xmalloc (sizeof (struct pending_option));
1116
1117   o->arg = text;
1118   o->next = NULL;
1119   o->handler = handler;
1120   APPEND (pend, directive, o);
1121 }
1122
1123 /* Irix6 "cc -n32" and OSF4 cc have problems with char foo[] = ("string");
1124    I.e. a const string initializer with parens around it.  That is
1125    what N_("string") resolves to, so we make no_* be macros instead.  */
1126 #define no_arg N_("argument missing after %s")
1127 #define no_ass N_("assertion missing after %s")
1128 #define no_dir N_("directory name missing after %s")
1129 #define no_fil N_("file name missing after %s")
1130 #define no_mac N_("macro name missing after %s")
1131 #define no_pth N_("path name missing after %s")
1132 #define no_num N_("number missing after %s")
1133 #define no_tgt N_("target missing after %s")
1134
1135 /* This is the list of all command line options, with the leading
1136    "-" removed.  It must be sorted in ASCII collating order.  */
1137 #define COMMAND_LINE_OPTIONS                                                  \
1138   DEF_OPT("A",                        no_ass, OPT_A)                          \
1139   DEF_OPT("D",                        no_mac, OPT_D)                          \
1140   DEF_OPT("I",                        no_dir, OPT_I)                          \
1141   DEF_OPT("M",                        0,      OPT_M)                          \
1142   DEF_OPT("MD",                       no_fil, OPT_MD)                         \
1143   DEF_OPT("MF",                       no_fil, OPT_MF)                         \
1144   DEF_OPT("MG",                       0,      OPT_MG)                         \
1145   DEF_OPT("MM",                       0,      OPT_MM)                         \
1146   DEF_OPT("MMD",                      no_fil, OPT_MMD)                        \
1147   DEF_OPT("MP",                       0,      OPT_MP)                         \
1148   DEF_OPT("MQ",                       no_tgt, OPT_MQ)                         \
1149   DEF_OPT("MT",                       no_tgt, OPT_MT)                         \
1150   DEF_OPT("U",                        no_mac, OPT_U)                          \
1151   DEF_OPT("idirafter",                no_dir, OPT_idirafter)                  \
1152   DEF_OPT("imacros",                  no_fil, OPT_imacros)                    \
1153   DEF_OPT("include",                  no_fil, OPT_include)                    \
1154   DEF_OPT("iprefix",                  no_pth, OPT_iprefix)                    \
1155   DEF_OPT("isystem",                  no_dir, OPT_isystem)                    \
1156   DEF_OPT("iwithprefix",              no_dir, OPT_iwithprefix)                \
1157   DEF_OPT("iwithprefixbefore",        no_dir, OPT_iwithprefixbefore)          \
1158   DEF_OPT("lang-asm",                 0,      OPT_lang_asm)                   \
1159   DEF_OPT("lang-c",                   0,      OPT_lang_c)                     \
1160   DEF_OPT("lang-c++",                 0,      OPT_lang_cplusplus)             \
1161   DEF_OPT("lang-c89",                 0,      OPT_lang_c89)                   \
1162   DEF_OPT("lang-objc",                0,      OPT_lang_objc)                  \
1163   DEF_OPT("o",                        no_fil, OPT_o)                          \
1164   DEF_OPT("remap",                    0,      OPT_remap)                      \
1165   DEF_OPT("std=c++98",                0,      OPT_std_cplusplus98)            \
1166   DEF_OPT("std=c89",                  0,      OPT_std_c89)                    \
1167   DEF_OPT("std=c99",                  0,      OPT_std_c99)                    \
1168   DEF_OPT("std=c9x",                  0,      OPT_std_c9x)                    \
1169   DEF_OPT("std=gnu89",                0,      OPT_std_gnu89)                  \
1170   DEF_OPT("std=gnu99",                0,      OPT_std_gnu99)                  \
1171   DEF_OPT("std=gnu9x",                0,      OPT_std_gnu9x)                  \
1172   DEF_OPT("std=iso9899:1990",         0,      OPT_std_iso9899_1990)           \
1173   DEF_OPT("std=iso9899:199409",       0,      OPT_std_iso9899_199409)         \
1174   DEF_OPT("std=iso9899:1999",         0,      OPT_std_iso9899_1999)           \
1175   DEF_OPT("std=iso9899:199x",         0,      OPT_std_iso9899_199x)
1176
1177 #define DEF_OPT(text, msg, code) code,
1178 enum opt_code
1179 {
1180   COMMAND_LINE_OPTIONS
1181   N_OPTS
1182 };
1183 #undef DEF_OPT
1184
1185 struct cl_option
1186 {
1187   const char *opt_text;
1188   const char *msg;
1189   size_t opt_len;
1190   enum opt_code opt_code;
1191 };
1192
1193 #define DEF_OPT(text, msg, code) { text, msg, sizeof(text) - 1, code },
1194 #ifdef HOST_EBCDIC
1195 static struct cl_option cl_options[] =
1196 #else
1197 static const struct cl_option cl_options[] =
1198 #endif
1199 {
1200   COMMAND_LINE_OPTIONS
1201 };
1202 #undef DEF_OPT
1203 #undef COMMAND_LINE_OPTIONS
1204
1205 /* Perform a binary search to find which, if any, option the given
1206    command-line matches.  Returns its index in the option array,
1207    negative on failure.  Complications arise since some options can be
1208    suffixed with an argument, and multiple complete matches can occur,
1209    e.g. -pedantic and -pedantic-errors.  */
1210 static int
1211 parse_option (input)
1212      const char *input;
1213 {
1214   unsigned int md, mn, mx;
1215   size_t opt_len;
1216   int comp;
1217
1218   mn = 0;
1219   mx = N_OPTS;
1220
1221   while (mx > mn)
1222     {
1223       md = (mn + mx) / 2;
1224
1225       opt_len = cl_options[md].opt_len;
1226       comp = memcmp (input, cl_options[md].opt_text, opt_len);
1227
1228       if (comp > 0)
1229         mn = md + 1;
1230       else if (comp < 0)
1231         mx = md;
1232       else
1233         {
1234           if (input[opt_len] == '\0')
1235             return md;
1236           /* We were passed more text.  If the option takes an argument,
1237              we may match a later option or we may have been passed the
1238              argument.  The longest possible option match succeeds.
1239              If the option takes no arguments we have not matched and
1240              continue the search (e.g. input="stdc++" match was "stdc").  */
1241           mn = md + 1;
1242           if (cl_options[md].msg)
1243             {
1244               /* Scan forwards.  If we get an exact match, return it.
1245                  Otherwise, return the longest option-accepting match.
1246                  This loops no more than twice with current options.  */
1247               mx = md;
1248               for (; mn < (unsigned int) N_OPTS; mn++)
1249                 {
1250                   opt_len = cl_options[mn].opt_len;
1251                   if (memcmp (input, cl_options[mn].opt_text, opt_len))
1252                     break;
1253                   if (input[opt_len] == '\0')
1254                     return mn;
1255                   if (cl_options[mn].msg)
1256                     mx = mn;
1257                 }
1258               return mx;
1259             }
1260         }
1261     }
1262
1263   return -1;
1264 }
1265
1266 /* Handle one command-line option in (argc, argv).
1267    Can be called multiple times, to handle multiple sets of options.
1268    Returns number of strings consumed.  */
1269 int
1270 cpp_handle_option (pfile, argc, argv)
1271      cpp_reader *pfile;
1272      int argc;
1273      char **argv;
1274 {
1275   int i = 0;
1276   struct cpp_pending *pend = CPP_OPTION (pfile, pending);
1277
1278   /* Interpret "-" or a non-option as a file name.  */
1279   if (argv[i][0] != '-' || argv[i][1] == '\0')
1280     {
1281       if (CPP_OPTION (pfile, in_fname) == NULL)
1282         CPP_OPTION (pfile, in_fname) = argv[i];
1283       else if (CPP_OPTION (pfile, out_fname) == NULL)
1284         CPP_OPTION (pfile, out_fname) = argv[i];
1285       else
1286         cpp_error (pfile, DL_ERROR,
1287                    "too many filenames. Type %s --help for usage info",
1288                    progname);
1289     }
1290   else
1291     {
1292       enum opt_code opt_code;
1293       int opt_index;
1294       const char *arg = 0;
1295
1296       /* Skip over '-'.  */
1297       opt_index = parse_option (&argv[i][1]);
1298       if (opt_index < 0)
1299         return i;
1300
1301       opt_code = cl_options[opt_index].opt_code;
1302       if (cl_options[opt_index].msg)
1303         {
1304           arg = &argv[i][cl_options[opt_index].opt_len + 1];
1305           if (arg[0] == '\0')
1306             {
1307               arg = argv[++i];
1308               if (!arg)
1309                 {
1310                   cpp_error (pfile, DL_ERROR,
1311                              cl_options[opt_index].msg, argv[i - 1]);
1312                   return argc;
1313                 }
1314             }
1315         }
1316
1317       switch (opt_code)
1318         {
1319         case N_OPTS: /* Shut GCC up.  */
1320           break;
1321
1322         case OPT_D:
1323           new_pending_directive (pend, arg, cpp_define);
1324           break;
1325         case OPT_remap:
1326           CPP_OPTION (pfile, remap) = 1;
1327           break;
1328         case OPT_iprefix:
1329           CPP_OPTION (pfile, include_prefix) = arg;
1330           CPP_OPTION (pfile, include_prefix_len) = strlen (arg);
1331           break;
1332         case OPT_lang_c:
1333           set_lang (pfile, CLK_GNUC89);
1334           break;
1335         case OPT_lang_cplusplus:
1336           set_lang (pfile, CLK_GNUCXX);
1337           break;
1338         case OPT_lang_objc:
1339           CPP_OPTION (pfile, objc) = 1;
1340           break;
1341         case OPT_lang_asm:
1342           set_lang (pfile, CLK_ASM);
1343           break;
1344         case OPT_std_cplusplus98:
1345           set_lang (pfile, CLK_CXX98);
1346           break;
1347         case OPT_std_gnu89:
1348           set_lang (pfile, CLK_GNUC89);
1349           break;
1350         case OPT_std_gnu9x:
1351         case OPT_std_gnu99:
1352           set_lang (pfile, CLK_GNUC99);
1353           break;
1354         case OPT_std_iso9899_199409:
1355           set_lang (pfile, CLK_STDC94);
1356           break;
1357         case OPT_std_iso9899_1990:
1358         case OPT_std_c89:
1359         case OPT_lang_c89:
1360           set_lang (pfile, CLK_STDC89);
1361           break;
1362         case OPT_std_iso9899_199x:
1363         case OPT_std_iso9899_1999:
1364         case OPT_std_c9x:
1365         case OPT_std_c99:
1366           set_lang (pfile, CLK_STDC99);
1367           break;
1368         case OPT_o:
1369           if (CPP_OPTION (pfile, out_fname) == NULL)
1370             CPP_OPTION (pfile, out_fname) = arg;
1371           else
1372             {
1373               cpp_error (pfile, DL_ERROR, "output filename specified twice");
1374               return argc;
1375             }
1376           break;
1377
1378         case OPT_MG:
1379           CPP_OPTION (pfile, print_deps_missing_files) = 1;
1380           break;
1381         case OPT_M:
1382           /* When doing dependencies with -M or -MM, suppress normal
1383              preprocessed output, but still do -dM etc. as software
1384              depends on this.  Preprocessed output occurs if -MD, -MMD
1385              or environment var dependency generation is used.  */
1386           CPP_OPTION (pfile, print_deps) = 2;
1387           CPP_OPTION (pfile, no_output) = 1;
1388           CPP_OPTION (pfile, inhibit_warnings) = 1;
1389           break;
1390         case OPT_MM:
1391           CPP_OPTION (pfile, print_deps) = 1;
1392           CPP_OPTION (pfile, no_output) = 1;
1393           CPP_OPTION (pfile, inhibit_warnings) = 1;
1394           break;
1395         case OPT_MF:
1396           CPP_OPTION (pfile, deps_file) = arg;
1397           break;
1398         case OPT_MP:
1399           CPP_OPTION (pfile, deps_phony_targets) = 1;
1400           break;
1401         case OPT_MQ:
1402         case OPT_MT:
1403           /* Add a target.  -MQ quotes for Make.  */
1404           deps_add_target (pfile->deps, arg, opt_code == OPT_MQ);
1405           break;
1406
1407         case OPT_MD:
1408           CPP_OPTION (pfile, print_deps) = 2;
1409           CPP_OPTION (pfile, deps_file) = arg;
1410           break;
1411         case OPT_MMD:
1412           CPP_OPTION (pfile, print_deps) = 1;
1413           CPP_OPTION (pfile, deps_file) = arg;
1414           break;
1415
1416         case OPT_A:
1417           if (arg[0] == '-')
1418             {
1419               /* -A with an argument beginning with '-' acts as
1420                  #unassert on whatever immediately follows the '-'.
1421                  If "-" is the whole argument, we eliminate all
1422                  predefined macros and assertions, including those
1423                  that were specified earlier on the command line.
1424                  That way we can get rid of any that were passed
1425                  automatically in from GCC.  */
1426
1427               if (arg[1] == '\0')
1428                 {
1429                   free_chain (pend->directive_head);
1430                   pend->directive_head = NULL;
1431                   pend->directive_tail = NULL;
1432                 }
1433               else
1434                 new_pending_directive (pend, arg + 1, cpp_unassert);
1435             }
1436           else
1437             new_pending_directive (pend, arg, cpp_assert);
1438           break;
1439         case OPT_U:
1440           new_pending_directive (pend, arg, cpp_undef);
1441           break;
1442         case OPT_I:           /* Add directory to path for includes.  */
1443           if (!strcmp (arg, "-"))
1444             {
1445               /* -I- means:
1446                  Use the preceding -I directories for #include "..."
1447                  but not #include <...>.
1448                  Don't search the directory of the present file
1449                  for #include "...".  (Note that -I. -I- is not the same as
1450                  the default setup; -I. uses the compiler's working dir.)  */
1451               if (! CPP_OPTION (pfile, ignore_srcdir))
1452                 {
1453                   pend->quote_head = pend->brack_head;
1454                   pend->quote_tail = pend->brack_tail;
1455                   pend->brack_head = 0;
1456                   pend->brack_tail = 0;
1457                   CPP_OPTION (pfile, ignore_srcdir) = 1;
1458                 }
1459               else
1460                 {
1461                   cpp_error (pfile, DL_ERROR, "-I- specified twice");
1462                   return argc;
1463                 }
1464             }
1465           else
1466             append_include_chain (pfile, xstrdup (arg), BRACKET, 0);
1467           break;
1468         case OPT_isystem:
1469           /* Add directory to beginning of system include path, as a system
1470              include directory.  */
1471           append_include_chain (pfile, xstrdup (arg), SYSTEM, 0);
1472           break;
1473         case OPT_include:
1474         case OPT_imacros:
1475           {
1476             struct pending_option *o = (struct pending_option *)
1477               xmalloc (sizeof (struct pending_option));
1478             o->arg = arg;
1479             o->next = NULL;
1480
1481             if (opt_code == OPT_include)
1482               APPEND (pend, include, o);
1483             else
1484               APPEND (pend, imacros, o);
1485           }
1486           break;
1487         case OPT_iwithprefix:
1488           /* Add directory to end of path for includes,
1489              with the default prefix at the front of its name.  */
1490           /* fall through */
1491         case OPT_iwithprefixbefore:
1492           /* Add directory to main path for includes,
1493              with the default prefix at the front of its name.  */
1494           {
1495             char *fname;
1496             int len;
1497
1498             len = strlen (arg);
1499
1500             if (CPP_OPTION (pfile, include_prefix) != 0)
1501               {
1502                 size_t ipl = CPP_OPTION (pfile, include_prefix_len);
1503                 fname = xmalloc (ipl + len + 1);
1504                 memcpy (fname, CPP_OPTION (pfile, include_prefix), ipl);
1505                 memcpy (fname + ipl, arg, len + 1);
1506               }
1507             else if (cpp_GCC_INCLUDE_DIR_len)
1508               {
1509                 fname = xmalloc (cpp_GCC_INCLUDE_DIR_len + len + 1);
1510                 memcpy (fname, cpp_GCC_INCLUDE_DIR, cpp_GCC_INCLUDE_DIR_len);
1511                 memcpy (fname + cpp_GCC_INCLUDE_DIR_len, arg, len + 1);
1512               }
1513             else
1514               fname = xstrdup (arg);
1515
1516             append_include_chain (pfile, fname,
1517                           opt_code == OPT_iwithprefix ? SYSTEM: BRACKET, 0);
1518           }
1519           break;
1520         case OPT_idirafter:
1521           /* Add directory to end of path for includes.  */
1522           append_include_chain (pfile, xstrdup (arg), AFTER, 0);
1523           break;
1524         }
1525     }
1526   return i + 1;
1527 }
1528
1529 /* Handle command-line options in (argc, argv).
1530    Can be called multiple times, to handle multiple sets of options.
1531    Returns if an unrecognized option is seen.
1532    Returns number of strings consumed.  */
1533 int
1534 cpp_handle_options (pfile, argc, argv)
1535      cpp_reader *pfile;
1536      int argc;
1537      char **argv;
1538 {
1539   int i;
1540   int strings_processed;
1541
1542   for (i = 0; i < argc; i += strings_processed)
1543     {
1544       strings_processed = cpp_handle_option (pfile, argc - i, argv + i);
1545       if (strings_processed == 0)
1546         break;
1547     }
1548
1549   return i;
1550 }
1551
1552 /* Extra processing when all options are parsed, after all calls to
1553    cpp_handle_option[s].  Consistency checks etc.  */
1554 void
1555 cpp_post_options (pfile)
1556      cpp_reader *pfile;
1557 {
1558   /* Canonicalize in_fname and out_fname.  We guarantee they are not
1559      NULL, and that the empty string represents stdin / stdout.  */
1560   if (CPP_OPTION (pfile, in_fname) == NULL
1561       || !strcmp (CPP_OPTION (pfile, in_fname), "-"))
1562     CPP_OPTION (pfile, in_fname) = "";
1563
1564   if (CPP_OPTION (pfile, out_fname) == NULL
1565       || !strcmp (CPP_OPTION (pfile, out_fname), "-"))
1566     CPP_OPTION (pfile, out_fname) = "";
1567
1568   /* -Wtraditional is not useful in C++ mode.  */
1569   if (CPP_OPTION (pfile, cplusplus))
1570     CPP_OPTION (pfile, warn_traditional) = 0;
1571
1572   /* The compiler front ends override this, but I think this is the
1573      appropriate setting for the library.  */
1574   CPP_OPTION (pfile, warn_long_long)
1575      = ((CPP_OPTION (pfile, pedantic) && !CPP_OPTION (pfile, c99))
1576         || CPP_OPTION (pfile, warn_traditional));
1577
1578   /* Permanently disable macro expansion if we are rescanning
1579      preprocessed text.  Read preprocesed source in ISO mode.  */
1580   if (CPP_OPTION (pfile, preprocessed))
1581     {
1582       pfile->state.prevent_expansion = 1;
1583       CPP_OPTION (pfile, traditional) = 0;
1584     }
1585
1586   /* Traditional CPP does not accurately track column information.  */
1587   if (CPP_OPTION (pfile, traditional))
1588     CPP_OPTION (pfile, show_column) = 0;
1589
1590   /* -dM and dependencies suppress normal output; do it here so that
1591      the last -d[MDN] switch overrides earlier ones.  */
1592   if (CPP_OPTION (pfile, dump_macros) == dump_only)
1593     CPP_OPTION (pfile, no_output) = 1;
1594
1595   /* Disable -dD, -dN and -dI if normal output is suppressed.  Allow
1596      -dM since at least glibc relies on -M -dM to work.  */
1597   if (CPP_OPTION (pfile, no_output))
1598     {
1599       if (CPP_OPTION (pfile, dump_macros) != dump_only)
1600         CPP_OPTION (pfile, dump_macros) = dump_none;
1601       CPP_OPTION (pfile, dump_includes) = 0;
1602     }
1603
1604   /* Intialize, and check environment variables for, dependency
1605      output.  */
1606   init_dependency_output (pfile);
1607
1608   /* If we're not outputting dependencies, complain if other -M
1609      options have been given.  */
1610   if (!CPP_OPTION (pfile, print_deps)
1611       && (CPP_OPTION (pfile, print_deps_missing_files)
1612           || CPP_OPTION (pfile, deps_file)
1613           || CPP_OPTION (pfile, deps_phony_targets)))
1614     cpp_error (pfile, DL_ERROR,
1615                "you must additionally specify either -M or -MM");
1616 }
1617
1618 /* Set up dependency-file output.  On exit, if print_deps is non-zero
1619    then deps_file is not NULL; stdout is the empty string.  */
1620 static void
1621 init_dependency_output (pfile)
1622      cpp_reader *pfile;
1623 {
1624   char *spec, *s, *output_file;
1625
1626   /* Either of two environment variables can specify output of deps.
1627      Its value is either "OUTPUT_FILE" or "OUTPUT_FILE DEPS_TARGET",
1628      where OUTPUT_FILE is the file to write deps info to
1629      and DEPS_TARGET is the target to mention in the deps.  */
1630
1631   if (CPP_OPTION (pfile, print_deps) == 0)
1632     {
1633       spec = getenv ("DEPENDENCIES_OUTPUT");
1634       if (spec)
1635         CPP_OPTION (pfile, print_deps) = 1;
1636       else
1637         {
1638           spec = getenv ("SUNPRO_DEPENDENCIES");
1639           if (spec)
1640             CPP_OPTION (pfile, print_deps) = 2;
1641           else
1642             return;
1643         }
1644
1645       /* Find the space before the DEPS_TARGET, if there is one.  */
1646       s = strchr (spec, ' ');
1647       if (s)
1648         {
1649           /* Let the caller perform MAKE quoting.  */
1650           deps_add_target (pfile->deps, s + 1, 0);
1651           output_file = (char *) xmalloc (s - spec + 1);
1652           memcpy (output_file, spec, s - spec);
1653           output_file[s - spec] = 0;
1654         }
1655       else
1656         output_file = spec;
1657
1658       /* Command line -MF overrides environment variables and default.  */
1659       if (CPP_OPTION (pfile, deps_file) == 0)
1660         CPP_OPTION (pfile, deps_file) = output_file;
1661
1662       CPP_OPTION (pfile, print_deps_append) = 1;
1663     }
1664   else if (CPP_OPTION (pfile, deps_file) == 0)
1665     /* If -M or -MM was seen without -MF, default output to wherever
1666        was specified with -o.  out_fname is non-NULL here.  */
1667     CPP_OPTION (pfile, deps_file) = CPP_OPTION (pfile, out_fname);
1668 }