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
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
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.
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. */
24 #include "coretypes.h"
31 #include "cppdefault.h"
33 /* Windows does not natively support inodes, and neither does MSDOS.
34 Cygwin's emulation can generate non-unique inodes, so don't use it.
35 VMS has non-numeric inodes. */
37 # define INO_T_EQ(A, B) (!memcmp (&(A), &(B), sizeof (A)))
38 # define INO_T_COPY(DEST, SRC) memcpy(&(DEST), &(SRC), sizeof (SRC))
40 # if (defined _WIN32 && ! defined (_UWIN)) || defined __MSDOS__
41 # define INO_T_EQ(A, B) 0
43 # define INO_T_EQ(A, B) ((A) == (B))
45 # define INO_T_COPY(DEST, SRC) (DEST) = (SRC)
48 /* Internal structures and prototypes. */
50 /* A `struct pending_option' remembers one -D, -A, -U, -include, or
52 typedef void (* cl_directive_handler) PARAMS ((cpp_reader *, const char *));
55 struct pending_option *next;
57 cl_directive_handler handler;
60 /* The `pending' structure accumulates all the options that are not
61 actually processed until we hit cpp_read_main_file. It consists of
62 several lists, one for each type of option. We keep both head and
63 tail pointers for quick insertion. */
66 struct pending_option *directive_head, *directive_tail;
68 struct search_path *quote_head, *quote_tail;
69 struct search_path *brack_head, *brack_tail;
70 struct search_path *systm_head, *systm_tail;
71 struct search_path *after_head, *after_tail;
73 struct pending_option *imacros_head, *imacros_tail;
74 struct pending_option *include_head, *include_tail;
78 #define APPEND(pend, list, elt) \
79 do { if (!(pend)->list##_head) (pend)->list##_head = (elt); \
80 else (pend)->list##_tail->next = (elt); \
81 (pend)->list##_tail = (elt); \
84 #define APPEND(pend, list, elt) \
85 do { if (!(pend)->list/**/_head) (pend)->list/**/_head = (elt); \
86 else (pend)->list/**/_tail->next = (elt); \
87 (pend)->list/**/_tail = (elt); \
91 static void path_include PARAMS ((cpp_reader *,
93 static void init_library PARAMS ((void));
94 static void init_builtins PARAMS ((cpp_reader *));
95 static void mark_named_operators PARAMS ((cpp_reader *));
96 static void append_include_chain PARAMS ((cpp_reader *,
98 static struct search_path * remove_dup_dir PARAMS ((cpp_reader *,
100 struct search_path **));
101 static struct search_path * remove_dup_nonsys_dirs PARAMS ((cpp_reader *,
102 struct search_path **,
103 struct search_path *));
104 static struct search_path * remove_dup_dirs PARAMS ((cpp_reader *,
105 struct search_path **));
106 static void merge_include_chains PARAMS ((cpp_reader *));
107 static bool push_include PARAMS ((cpp_reader *,
108 struct pending_option *));
109 static void free_chain PARAMS ((struct pending_option *));
110 static void init_standard_includes PARAMS ((cpp_reader *));
111 static void read_original_filename PARAMS ((cpp_reader *));
112 static void new_pending_directive PARAMS ((struct cpp_pending *,
114 cl_directive_handler));
115 static int parse_option PARAMS ((const char *));
116 static void post_options PARAMS ((cpp_reader *));
118 /* Fourth argument to append_include_chain: chain to use.
119 Note it's never asked to append to the quote chain. */
120 enum { BRACKET = 0, SYSTEM, AFTER };
122 /* If we have designated initializers (GCC >2.7) these tables can be
123 initialized, constant data. Otherwise, they have to be filled in at
125 #if HAVE_DESIGNATED_INITIALIZERS
127 #define init_trigraph_map() /* Nothing. */
128 #define TRIGRAPH_MAP \
129 __extension__ const uchar _cpp_trigraph_map[UCHAR_MAX + 1] = {
132 #define s(p, v) [p] = v,
136 #define TRIGRAPH_MAP uchar _cpp_trigraph_map[UCHAR_MAX + 1] = { 0 }; \
137 static void init_trigraph_map PARAMS ((void)) { \
138 unsigned char *x = _cpp_trigraph_map;
141 #define s(p, v) x[p] = v;
146 s('=', '#') s(')', ']') s('!', '|')
147 s('(', '[') s('\'', '^') s('>', '}')
148 s('/', '\\') s('<', '{') s('-', '~')
155 /* Read ENV_VAR for a colon-separated list of file names; and
156 add all the names to the search path for include files. */
158 path_include (pfile, env_var, path)
165 GET_ENVIRONMENT (q, env_var);
169 for (p = q; *q; p = q + 1)
171 /* Find the end of this name. */
173 while (*q != 0 && *q != PATH_SEPARATOR) q++;
176 /* An empty name in the path stands for the current directory. */
177 name = (char *) xmalloc (2);
183 /* Otherwise use the directory that is named. */
184 name = (char *) xmalloc (q - p + 1);
185 memcpy (name, p, q - p);
189 append_include_chain (pfile, name, path, path == SYSTEM);
193 /* Append DIR to include path PATH. DIR must be allocated on the
194 heap; this routine takes responsibility for freeing it. CXX_AWARE
195 is nonzero if the header contains extern "C" guards for C++,
196 otherwise it is zero. */
198 append_include_chain (pfile, dir, path, cxx_aware)
204 struct cpp_pending *pend = CPP_OPTION (pfile, pending);
205 struct search_path *new;
214 _cpp_simplify_pathname (dir);
218 /* Dirs that don't exist are silently ignored. */
220 cpp_errno (pfile, DL_ERROR, dir);
221 else if (CPP_OPTION (pfile, verbose))
222 fprintf (stderr, _("ignoring nonexistent directory \"%s\"\n"), dir);
227 if (!S_ISDIR (st.st_mode))
229 cpp_error_with_line (pfile, DL_ERROR, 0, 0, "%s: Not a directory", dir);
235 if (len > pfile->max_include_len)
236 pfile->max_include_len = len;
238 new = (struct search_path *) xmalloc (sizeof (struct search_path));
241 INO_T_COPY (new->ino, st.st_ino);
242 new->dev = st.st_dev;
243 /* Both systm and after include file lists should be treated as system
244 include files since these two lists are really just a concatenation
245 of one "system" list. */
246 if (path == SYSTEM || path == AFTER)
247 new->sysp = cxx_aware ? 1 : 2;
250 new->name_map = NULL;
255 case BRACKET: APPEND (pend, brack, new); break;
256 case SYSTEM: APPEND (pend, systm, new); break;
257 case AFTER: APPEND (pend, after, new); break;
261 /* Handle a duplicated include path. PREV is the link in the chain
262 before the duplicate, or NULL if the duplicate is at the head of
263 the chain. The duplicate is removed from the chain and freed.
265 static struct search_path *
266 remove_dup_dir (pfile, prev, head_ptr)
268 struct search_path *prev;
269 struct search_path **head_ptr;
271 struct search_path *cur;
276 prev->next = cur->next;
281 *head_ptr = cur->next;
284 if (CPP_OPTION (pfile, verbose))
285 fprintf (stderr, _("ignoring duplicate directory \"%s\"\n"), cur->name);
287 free ((PTR) cur->name);
293 /* Remove duplicate non-system directories for which there is an equivalent
294 system directory latter in the chain. The range for removal is between
295 *HEAD_PTR and END. Returns the directory before END, or NULL if none.
296 This algorithm is quadratic in the number system directories, which is
297 acceptable since there aren't usually that many of them. */
298 static struct search_path *
299 remove_dup_nonsys_dirs (pfile, head_ptr, end)
301 struct search_path **head_ptr;
302 struct search_path *end;
305 struct search_path *prev = NULL, *cur, *other;
307 for (cur = *head_ptr; cur; cur = cur->next)
312 for (other = *head_ptr, prev = NULL;
314 other = other ? other->next : *head_ptr)
317 && INO_T_EQ (cur->ino, other->ino)
318 && cur->dev == other->dev)
320 other = remove_dup_dir (pfile, prev, head_ptr);
321 if (CPP_OPTION (pfile, verbose))
323 _(" as it is a non-system directory that duplicates a system directory\n"));
331 for (cur = *head_ptr; cur != end; cur = cur->next)
337 /* Remove duplicate directories from a chain. Returns the tail of the
338 chain, or NULL if the chain is empty. This algorithm is quadratic
339 in the number of -I switches, which is acceptable since there
340 aren't usually that many of them. */
341 static struct search_path *
342 remove_dup_dirs (pfile, head_ptr)
344 struct search_path **head_ptr;
346 struct search_path *prev = NULL, *cur, *other;
348 for (cur = *head_ptr; cur; cur = cur->next)
350 for (other = *head_ptr; other != cur; other = other->next)
351 if (INO_T_EQ (cur->ino, other->ino) && cur->dev == other->dev)
353 cur = remove_dup_dir (pfile, prev, head_ptr);
362 /* Merge the four include chains together in the order quote, bracket,
363 system, after. Remove duplicate dirs (as determined by
364 INO_T_EQ()). The system_include and after_include chains are never
365 referred to again after this function; all access is through the
366 bracket_include path. */
368 merge_include_chains (pfile)
371 struct search_path *quote, *brack, *systm, *qtail;
373 struct cpp_pending *pend = CPP_OPTION (pfile, pending);
375 quote = pend->quote_head;
376 brack = pend->brack_head;
377 systm = pend->systm_head;
378 qtail = pend->quote_tail;
380 /* Paste together bracket, system, and after include chains. */
382 pend->systm_tail->next = pend->after_head;
384 systm = pend->after_head;
387 pend->brack_tail->next = systm;
391 /* This is a bit tricky. First we drop non-system dupes of system
392 directories from the merged bracket-include list. Next we drop
393 dupes from the bracket and quote include lists. Then we drop
394 non-system dupes from the merged quote-include list. Finally,
395 if qtail and brack are the same directory, we cut out brack and
396 move brack up to point to qtail.
398 We can't just merge the lists and then uniquify them because
399 then we may lose directories from the <> search path that should
400 be there; consider -Ifoo -Ibar -I- -Ifoo -Iquux. It is however
401 safe to treat -Ibar -Ifoo -I- -Ifoo -Iquux as if written
402 -Ibar -I- -Ifoo -Iquux. */
404 remove_dup_nonsys_dirs (pfile, &brack, systm);
405 remove_dup_dirs (pfile, &brack);
409 qtail = remove_dup_dirs (pfile, "e);
412 qtail = remove_dup_nonsys_dirs (pfile, "e, brack);
414 /* If brack == qtail, remove brack as it's simpler. */
415 if (qtail && brack && INO_T_EQ (qtail->ino, brack->ino)
416 && qtail->dev == brack->dev)
417 brack = remove_dup_dir (pfile, qtail, "e);
422 CPP_OPTION (pfile, quote_include) = quote;
423 CPP_OPTION (pfile, bracket_include) = brack;
426 /* A set of booleans indicating what CPP features each source language
432 char extended_numbers;
434 char dollars_in_ident;
435 char cplusplus_comments;
439 /* ??? Enable $ in identifiers in assembly? */
440 static const struct lang_flags lang_defaults[] =
441 { /* c99 c++ xnum std dollar c++comm digr */
442 /* GNUC89 */ { 0, 0, 1, 0, 1, 1, 1 },
443 /* GNUC99 */ { 1, 0, 1, 0, 1, 1, 1 },
444 /* STDC89 */ { 0, 0, 0, 1, 0, 0, 0 },
445 /* STDC94 */ { 0, 0, 0, 1, 0, 0, 1 },
446 /* STDC99 */ { 1, 0, 1, 1, 0, 1, 1 },
447 /* GNUCXX */ { 0, 1, 1, 0, 1, 1, 1 },
448 /* CXX98 */ { 0, 1, 1, 1, 0, 1, 1 },
449 /* ASM */ { 0, 0, 1, 0, 0, 1, 0 }
452 /* Sets internal flags correctly for a given language. */
454 cpp_set_lang (pfile, lang)
458 const struct lang_flags *l = &lang_defaults[(int) lang];
460 CPP_OPTION (pfile, lang) = lang;
462 CPP_OPTION (pfile, c99) = l->c99;
463 CPP_OPTION (pfile, cplusplus) = l->cplusplus;
464 CPP_OPTION (pfile, extended_numbers) = l->extended_numbers;
465 CPP_OPTION (pfile, std) = l->std;
466 CPP_OPTION (pfile, trigraphs) = l->std;
467 CPP_OPTION (pfile, dollars_in_ident) = l->dollars_in_ident;
468 CPP_OPTION (pfile, cplusplus_comments) = l->cplusplus_comments;
469 CPP_OPTION (pfile, digraphs) = l->digraphs;
473 static int opt_comp PARAMS ((const void *, const void *));
475 /* Run-time sorting of options array. */
480 return strcmp (((struct cl_option *) p1)->opt_text,
481 ((struct cl_option *) p2)->opt_text);
485 /* init initializes library global state. It might not need to
486 do anything depending on the platform and compiler. */
490 static int initialized = 0;
497 /* For non-ASCII hosts, the cl_options array needs to be sorted at
499 qsort (cl_options, N_OPTS, sizeof (struct cl_option), opt_comp);
502 /* Set up the trigraph map. This doesn't need to do anything if
503 we were compiled with a compiler that supports C99 designated
505 init_trigraph_map ();
509 /* Initialize a cpp_reader structure. */
511 cpp_create_reader (lang)
516 /* Initialize this instance of the library if it hasn't been already. */
519 pfile = (cpp_reader *) xcalloc (1, sizeof (cpp_reader));
521 cpp_set_lang (pfile, lang);
522 CPP_OPTION (pfile, warn_import) = 1;
523 CPP_OPTION (pfile, warn_multichar) = 1;
524 CPP_OPTION (pfile, discard_comments) = 1;
525 CPP_OPTION (pfile, discard_comments_in_macro_exp) = 1;
526 CPP_OPTION (pfile, show_column) = 1;
527 CPP_OPTION (pfile, tabstop) = 8;
528 CPP_OPTION (pfile, operator_names) = 1;
529 CPP_OPTION (pfile, warn_endif_labels) = 1;
530 CPP_OPTION (pfile, warn_deprecated) = 1;
531 CPP_OPTION (pfile, warn_long_long) = !CPP_OPTION (pfile, c99);
532 CPP_OPTION (pfile, sysroot) = cpp_SYSROOT;
534 CPP_OPTION (pfile, pending) =
535 (struct cpp_pending *) xcalloc (1, sizeof (struct cpp_pending));
537 /* Default CPP arithmetic to something sensible for the host for the
538 benefit of dumb users like fix-header. */
539 CPP_OPTION (pfile, precision) = CHAR_BIT * sizeof (long);
540 CPP_OPTION (pfile, char_precision) = CHAR_BIT;
541 CPP_OPTION (pfile, wchar_precision) = CHAR_BIT * sizeof (int);
542 CPP_OPTION (pfile, int_precision) = CHAR_BIT * sizeof (int);
543 CPP_OPTION (pfile, unsigned_char) = 0;
544 CPP_OPTION (pfile, unsigned_wchar) = 1;
546 /* Initialize the line map. Start at logical line 1, so we can use
547 a line number of zero for special states. */
548 init_line_maps (&pfile->line_maps);
551 /* Initialize lexer state. */
552 pfile->state.save_comments = ! CPP_OPTION (pfile, discard_comments);
554 /* Set up static tokens. */
555 pfile->avoid_paste.type = CPP_PADDING;
556 pfile->avoid_paste.val.source = NULL;
557 pfile->eof.type = CPP_EOF;
558 pfile->eof.flags = 0;
560 /* Create a token buffer for the lexer. */
561 _cpp_init_tokenrun (&pfile->base_run, 250);
562 pfile->cur_run = &pfile->base_run;
563 pfile->cur_token = pfile->base_run.base;
565 /* Initialize the base context. */
566 pfile->context = &pfile->base_context;
567 pfile->base_context.macro = 0;
568 pfile->base_context.prev = pfile->base_context.next = 0;
570 /* Aligned and unaligned storage. */
571 pfile->a_buff = _cpp_get_buff (pfile, 0);
572 pfile->u_buff = _cpp_get_buff (pfile, 0);
574 /* The expression parser stack. */
575 _cpp_expand_op_stack (pfile);
577 /* Initialize the buffer obstack. */
578 gcc_obstack_init (&pfile->buffer_ob);
580 _cpp_init_includes (pfile);
585 /* Free resources used by PFILE. Accessing PFILE after this function
586 returns leads to undefined behavior. Returns the error count. */
591 struct search_path *dir, *dirn;
592 cpp_context *context, *contextn;
593 tokenrun *run, *runn;
595 free_chain (CPP_OPTION (pfile, pending)->include_head);
596 free (CPP_OPTION (pfile, pending));
597 free (pfile->op_stack);
599 while (CPP_BUFFER (pfile) != NULL)
600 _cpp_pop_buffer (pfile);
603 free (pfile->out.base);
605 if (pfile->macro_buffer)
607 free ((PTR) pfile->macro_buffer);
608 pfile->macro_buffer = NULL;
609 pfile->macro_buffer_len = 0;
613 deps_free (pfile->deps);
614 obstack_free (&pfile->buffer_ob, 0);
616 _cpp_destroy_hashtable (pfile);
617 _cpp_cleanup_includes (pfile);
619 _cpp_free_buff (pfile->a_buff);
620 _cpp_free_buff (pfile->u_buff);
621 _cpp_free_buff (pfile->free_buffs);
623 for (run = &pfile->base_run; run; run = runn)
627 if (run != &pfile->base_run)
631 for (dir = CPP_OPTION (pfile, quote_include); dir; dir = dirn)
634 free ((PTR) dir->name);
638 for (context = pfile->base_context.next; context; context = contextn)
640 contextn = context->next;
644 free_line_maps (&pfile->line_maps);
648 /* This structure defines one built-in identifier. A node will be
649 entered in the hash table under the name NAME, with value VALUE.
651 There are two tables of these. builtin_array holds all the
652 "builtin" macros: these are handled by builtin_macro() in
653 cppmacro.c. Builtin is somewhat of a misnomer -- the property of
654 interest is that these macros require special code to compute their
655 expansions. The value is a "builtin_type" enumerator.
657 operator_array holds the C++ named operators. These are keywords
658 which act as aliases for punctuators. In C++, they cannot be
659 altered through #define, and #if recognizes them as operators. In
660 C, these are not entered into the hash table at all (but see
661 <iso646.h>). The value is a token-type enumerator. */
666 unsigned short value;
669 #define B(n, t) { DSC(n), t }
670 static const struct builtin builtin_array[] =
672 B("__TIME__", BT_TIME),
673 B("__DATE__", BT_DATE),
674 B("__FILE__", BT_FILE),
675 B("__BASE_FILE__", BT_BASE_FILE),
676 B("__LINE__", BT_SPECLINE),
677 B("__INCLUDE_LEVEL__", BT_INCLUDE_LEVEL),
678 /* Keep builtins not used for -traditional-cpp at the end, and
679 update init_builtins() if any more are added. */
680 B("_Pragma", BT_PRAGMA),
681 B("__STDC__", BT_STDC),
684 static const struct builtin operator_array[] =
686 B("and", CPP_AND_AND),
687 B("and_eq", CPP_AND_EQ),
688 B("bitand", CPP_AND),
690 B("compl", CPP_COMPL),
692 B("not_eq", CPP_NOT_EQ),
694 B("or_eq", CPP_OR_EQ),
696 B("xor_eq", CPP_XOR_EQ)
700 /* Mark the C++ named operators in the hash table. */
702 mark_named_operators (pfile)
705 const struct builtin *b;
707 for (b = operator_array;
708 b < (operator_array + ARRAY_SIZE (operator_array));
711 cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len);
712 hp->flags |= NODE_OPERATOR;
713 hp->is_directive = 0;
714 hp->directive_index = b->value;
718 /* Subroutine of cpp_read_main_file; reads the builtins table above and
719 enters them, and language-specific macros, into the hash table. */
721 init_builtins (pfile)
724 const struct builtin *b;
725 size_t n = ARRAY_SIZE (builtin_array);
727 if (CPP_OPTION (pfile, traditional))
730 for(b = builtin_array; b < builtin_array + n; b++)
732 cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len);
734 hp->flags |= NODE_BUILTIN | NODE_WARN;
735 hp->value.builtin = b->value;
738 if (CPP_OPTION (pfile, cplusplus))
739 _cpp_define_builtin (pfile, "__cplusplus 1");
740 else if (CPP_OPTION (pfile, lang) == CLK_ASM)
741 _cpp_define_builtin (pfile, "__ASSEMBLER__ 1");
742 else if (CPP_OPTION (pfile, lang) == CLK_STDC94)
743 _cpp_define_builtin (pfile, "__STDC_VERSION__ 199409L");
744 else if (CPP_OPTION (pfile, c99))
745 _cpp_define_builtin (pfile, "__STDC_VERSION__ 199901L");
747 if (CPP_OPTION (pfile, objc))
748 _cpp_define_builtin (pfile, "__OBJC__ 1");
750 if (pfile->cb.register_builtins)
751 (*pfile->cb.register_builtins) (pfile);
754 /* And another subroutine. This one sets up the standard include path. */
756 init_standard_includes (pfile)
759 const struct default_include *p;
760 const char *specd_prefix = CPP_OPTION (pfile, include_prefix);
761 int default_len, specd_len;
762 char *default_prefix;
764 /* Search "translated" versions of GNU directories.
765 These have /usr/local/lib/gcc... replaced by specd_prefix. */
768 default_prefix = NULL;
769 if (specd_prefix != 0 && cpp_GCC_INCLUDE_DIR_len)
771 /* Remove the `include' from /usr/local/lib/gcc.../include.
772 GCC_INCLUDE_DIR will always end in /include. */
773 default_len = cpp_GCC_INCLUDE_DIR_len;
774 default_prefix = (char *) alloca (default_len + 1);
775 specd_len = strlen (specd_prefix);
777 memcpy (default_prefix, cpp_GCC_INCLUDE_DIR, default_len);
778 default_prefix[default_len] = '\0';
781 for (p = cpp_include_defaults; p->fname; p++)
783 /* Some standard dirs are only for C++. */
785 || (CPP_OPTION (pfile, cplusplus)
786 && !CPP_OPTION (pfile, no_standard_cplusplus_includes)))
790 /* Should this dir start with the sysroot? */
791 if (p->add_sysroot && CPP_OPTION (pfile, sysroot))
792 str = concat (CPP_OPTION (pfile, sysroot), p->fname, NULL);
794 /* Does this dir start with the prefix? */
796 && !strncmp (p->fname, default_prefix, default_len))
798 /* Yes; change prefix and add to search list. */
799 int flen = strlen (p->fname);
800 int this_len = specd_len + flen - default_len;
802 str = (char *) xmalloc (this_len + 1);
803 memcpy (str, specd_prefix, specd_len);
804 memcpy (str + specd_len,
805 p->fname + default_len,
806 flen - default_len + 1);
810 str = update_path (p->fname, p->component);
812 append_include_chain (pfile, str, SYSTEM, p->cxx_aware);
817 /* Pushes a command line -imacro and -include file indicated by P onto
818 the buffer stack. Returns nonzero if successful. */
820 push_include (pfile, p)
822 struct pending_option *p;
826 /* Later: maybe update this to use the #include "" search path
827 if cpp_read_file fails. */
828 header.type = CPP_STRING;
829 header.val.str.text = (const unsigned char *) p->arg;
830 header.val.str.len = strlen (p->arg);
831 /* Make the command line directive take up a line. */
834 return _cpp_execute_include (pfile, &header, IT_CMDLINE);
837 /* Frees a pending_option chain. */
840 struct pending_option *head;
842 struct pending_option *next;
852 /* Sanity-checks are dependent on command-line options, so it is
853 called as a subroutine of cpp_read_main_file (). */
855 static void sanity_checks PARAMS ((cpp_reader *));
856 static void sanity_checks (pfile)
860 size_t max_precision = 2 * CHAR_BIT * sizeof (cpp_num_part);
862 /* Sanity checks for assumptions about CPP arithmetic and target
863 type precisions made by cpplib. */
866 cpp_error (pfile, DL_ICE, "cppchar_t must be an unsigned type");
868 if (CPP_OPTION (pfile, precision) > max_precision)
869 cpp_error (pfile, DL_ICE,
870 "preprocessor arithmetic has maximum precision of %lu bits; target requires %lu bits",
871 (unsigned long) max_precision,
872 (unsigned long) CPP_OPTION (pfile, precision));
874 if (CPP_OPTION (pfile, precision) < CPP_OPTION (pfile, int_precision))
875 cpp_error (pfile, DL_ICE,
876 "CPP arithmetic must be at least as precise as a target int");
878 if (CPP_OPTION (pfile, char_precision) < 8)
879 cpp_error (pfile, DL_ICE, "target char is less than 8 bits wide");
881 if (CPP_OPTION (pfile, wchar_precision) < CPP_OPTION (pfile, char_precision))
882 cpp_error (pfile, DL_ICE,
883 "target wchar_t is narrower than target char");
885 if (CPP_OPTION (pfile, int_precision) < CPP_OPTION (pfile, char_precision))
886 cpp_error (pfile, DL_ICE,
887 "target int is narrower than target char");
889 /* This is assumed in eval_token() and could be fixed if necessary. */
890 if (sizeof (cppchar_t) > sizeof (cpp_num_part))
891 cpp_error (pfile, DL_ICE, "CPP half-integer narrower than CPP character");
893 if (CPP_OPTION (pfile, wchar_precision) > BITS_PER_CPPCHAR_T)
894 cpp_error (pfile, DL_ICE,
895 "CPP on this host cannot handle wide character constants over %lu bits, but the target requires %lu bits",
896 (unsigned long) BITS_PER_CPPCHAR_T,
897 (unsigned long) CPP_OPTION (pfile, wchar_precision));
900 # define sanity_checks(PFILE)
903 /* Add a dependency target. Can be called any number of times before
904 cpp_read_main_file(). If no targets have been added before
905 cpp_read_main_file(), then the default target is used. */
907 cpp_add_dependency_target (pfile, target, quote)
913 pfile->deps = deps_init ();
915 deps_add_target (pfile->deps, target, quote);
918 /* This is called after options have been parsed, and partially
919 processed. Setup for processing input from the file named FNAME,
920 or stdin if it is the empty string. Return the original filename
921 on success (e.g. foo.i->foo.c), or NULL on failure. */
923 cpp_read_main_file (pfile, fname, table)
928 static const char *const lang_env_vars[] =
929 { "C_INCLUDE_PATH", "CPLUS_INCLUDE_PATH",
930 "OBJC_INCLUDE_PATH", "OBJCPLUS_INCLUDE_PATH" };
933 sanity_checks (pfile);
935 post_options (pfile);
937 /* The front ends don't set up the hash table until they have
938 finished processing the command line options, so initializing the
939 hashtable is deferred until now. */
940 _cpp_init_hashtable (pfile, table);
942 /* Several environment variables may add to the include search path.
943 CPATH specifies an additional list of directories to be searched
944 as if specified with -I, while C_INCLUDE_PATH, CPLUS_INCLUDE_PATH,
945 etc. specify an additional list of directories to be searched as
946 if specified with -isystem, for the language indicated. */
947 path_include (pfile, "CPATH", BRACKET);
948 lang = (CPP_OPTION (pfile, objc) << 1) + CPP_OPTION (pfile, cplusplus);
949 path_include (pfile, lang_env_vars[lang], SYSTEM);
951 /* Set up the include search path now. */
952 if (! CPP_OPTION (pfile, no_standard_includes))
953 init_standard_includes (pfile);
955 merge_include_chains (pfile);
957 /* With -v, print the list of dirs to search. */
958 if (CPP_OPTION (pfile, verbose))
960 struct search_path *l;
961 fprintf (stderr, _("#include \"...\" search starts here:\n"));
962 for (l = CPP_OPTION (pfile, quote_include); l; l = l->next)
964 if (l == CPP_OPTION (pfile, bracket_include))
965 fprintf (stderr, _("#include <...> search starts here:\n"));
966 fprintf (stderr, " %s\n", l->name);
968 fprintf (stderr, _("End of search list.\n"));
971 if (CPP_OPTION (pfile, deps.style) != DEPS_NONE)
974 pfile->deps = deps_init ();
976 /* Set the default target (if there is none already). */
977 deps_add_default_target (pfile->deps, fname);
980 /* Open the main input file. */
981 if (!_cpp_read_file (pfile, fname))
984 /* Set this here so the client can change the option if it wishes,
985 and after stacking the main file so we don't trace the main
987 pfile->line_maps.trace_includes = CPP_OPTION (pfile, print_include_names);
989 /* For foo.i, read the original filename foo.c now, for the benefit
990 of the front ends. */
991 if (CPP_OPTION (pfile, preprocessed))
992 read_original_filename (pfile);
994 return pfile->map->to_file;
997 /* For preprocessed files, if the first tokens are of the form # NUM.
998 handle the directive so we know the original file name. This will
999 generate file_change callbacks, which the front ends must handle
1000 appropriately given their state of initialization. */
1002 read_original_filename (pfile)
1005 const cpp_token *token, *token1;
1007 /* Lex ahead; if the first tokens are of the form # NUM, then
1008 process the directive, otherwise back up. */
1009 token = _cpp_lex_direct (pfile);
1010 if (token->type == CPP_HASH)
1012 token1 = _cpp_lex_direct (pfile);
1013 _cpp_backup_tokens (pfile, 1);
1015 /* If it's a #line directive, handle it. */
1016 if (token1->type == CPP_NUMBER)
1018 _cpp_handle_directive (pfile, token->flags & PREV_WHITE);
1023 /* Backup as if nothing happened. */
1024 _cpp_backup_tokens (pfile, 1);
1027 /* Handle pending command line options: -D, -U, -A, -imacros and
1028 -include. This should be called after debugging has been properly
1029 set up in the front ends. */
1031 cpp_finish_options (pfile)
1034 /* Mark named operators before handling command line macros. */
1035 if (CPP_OPTION (pfile, cplusplus) && CPP_OPTION (pfile, operator_names))
1036 mark_named_operators (pfile);
1038 /* Install builtins and process command line macros etc. in the order
1039 they appeared, but only if not already preprocessed. */
1040 if (! CPP_OPTION (pfile, preprocessed))
1042 struct pending_option *p;
1044 _cpp_do_file_change (pfile, LC_RENAME, _("<built-in>"), 1, 0);
1045 init_builtins (pfile);
1046 _cpp_do_file_change (pfile, LC_RENAME, _("<command line>"), 1, 0);
1047 for (p = CPP_OPTION (pfile, pending)->directive_head; p; p = p->next)
1048 (*p->handler) (pfile, p->arg);
1050 /* Scan -imacros files after -D, -U, but before -include.
1051 pfile->next_include_file is NULL, so _cpp_pop_buffer does not
1052 push -include files. */
1053 for (p = CPP_OPTION (pfile, pending)->imacros_head; p; p = p->next)
1054 if (push_include (pfile, p))
1055 cpp_scan_nooutput (pfile);
1057 pfile->next_include_file = &CPP_OPTION (pfile, pending)->include_head;
1058 _cpp_maybe_push_include_file (pfile);
1061 pfile->first_unused_line = pfile->line;
1063 free_chain (CPP_OPTION (pfile, pending)->imacros_head);
1064 free_chain (CPP_OPTION (pfile, pending)->directive_head);
1067 /* Push the next buffer on the stack given by -include, if any. */
1069 _cpp_maybe_push_include_file (pfile)
1072 if (pfile->next_include_file)
1074 struct pending_option *head = *pfile->next_include_file;
1076 while (head && !push_include (pfile, head))
1080 pfile->next_include_file = &head->next;
1083 /* All done; restore the line map from <command line>. */
1084 _cpp_do_file_change (pfile, LC_RENAME,
1085 pfile->line_maps.maps[0].to_file, 1, 0);
1086 /* Don't come back here again. */
1087 pfile->next_include_file = NULL;
1092 /* This is called at the end of preprocessing. It pops the last
1093 buffer and writes dependency output, and returns the number of
1096 Maybe it should also reset state, such that you could call
1097 cpp_start_read with a new filename to restart processing. */
1099 cpp_finish (pfile, deps_stream)
1103 /* Warn about unused macros before popping the final buffer. */
1104 if (CPP_OPTION (pfile, warn_unused_macros))
1105 cpp_forall_identifiers (pfile, _cpp_warn_if_unused_macro, NULL);
1107 /* cpplex.c leaves the final buffer on the stack. This it so that
1108 it returns an unending stream of CPP_EOFs to the client. If we
1109 popped the buffer, we'd dereference a NULL buffer pointer and
1110 segfault. It's nice to allow the client to do worry-free excess
1111 cpp_get_token calls. */
1112 while (pfile->buffer)
1113 _cpp_pop_buffer (pfile);
1115 /* Don't write the deps file if there are errors. */
1116 if (CPP_OPTION (pfile, deps.style) != DEPS_NONE
1117 && deps_stream && pfile->errors == 0)
1119 deps_write (pfile->deps, deps_stream, 72);
1121 if (CPP_OPTION (pfile, deps.phony_targets))
1122 deps_phony_targets (pfile->deps, deps_stream);
1125 /* Report on headers that could use multiple include guards. */
1126 if (CPP_OPTION (pfile, print_include_names))
1127 _cpp_report_missing_guards (pfile);
1129 return pfile->errors;
1132 /* Add a directive to be handled later in the initialization phase. */
1134 new_pending_directive (pend, text, handler)
1135 struct cpp_pending *pend;
1137 cl_directive_handler handler;
1139 struct pending_option *o = (struct pending_option *)
1140 xmalloc (sizeof (struct pending_option));
1144 o->handler = handler;
1145 APPEND (pend, directive, o);
1148 /* Irix6 "cc -n32" and OSF4 cc have problems with char foo[] = ("string");
1149 I.e. a const string initializer with parens around it. That is
1150 what N_("string") resolves to, so we make no_* be macros instead. */
1151 #define no_ass N_("assertion missing after %s")
1152 #define no_dir N_("directory name missing after %s")
1153 #define no_fil N_("file name missing after %s")
1154 #define no_mac N_("macro name missing after %s")
1155 #define no_pth N_("path name missing after %s")
1157 /* This is the list of all command line options, with the leading
1158 "-" removed. It must be sorted in ASCII collating order. */
1159 #define COMMAND_LINE_OPTIONS \
1160 DEF_OPT("A", no_ass, OPT_A) \
1161 DEF_OPT("D", no_mac, OPT_D) \
1162 DEF_OPT("I", no_dir, OPT_I) \
1163 DEF_OPT("U", no_mac, OPT_U) \
1164 DEF_OPT("idirafter", no_dir, OPT_idirafter) \
1165 DEF_OPT("imacros", no_fil, OPT_imacros) \
1166 DEF_OPT("include", no_fil, OPT_include) \
1167 DEF_OPT("iprefix", no_pth, OPT_iprefix) \
1168 DEF_OPT("isysroot", no_dir, OPT_isysroot) \
1169 DEF_OPT("isystem", no_dir, OPT_isystem) \
1170 DEF_OPT("iwithprefix", no_dir, OPT_iwithprefix) \
1171 DEF_OPT("iwithprefixbefore", no_dir, OPT_iwithprefixbefore)
1173 #define DEF_OPT(text, msg, code) code,
1176 COMMAND_LINE_OPTIONS
1183 const char *opt_text;
1186 enum opt_code opt_code;
1189 #define DEF_OPT(text, msg, code) { text, msg, sizeof(text) - 1, code },
1191 static struct cl_option cl_options[] =
1193 static const struct cl_option cl_options[] =
1196 COMMAND_LINE_OPTIONS
1199 #undef COMMAND_LINE_OPTIONS
1201 /* Perform a binary search to find which, if any, option the given
1202 command-line matches. Returns its index in the option array,
1203 negative on failure. Complications arise since some options can be
1204 suffixed with an argument, and multiple complete matches can occur,
1205 e.g. -pedantic and -pedantic-errors. */
1207 parse_option (input)
1210 unsigned int md, mn, mx;
1221 opt_len = cl_options[md].opt_len;
1222 comp = strncmp (input, cl_options[md].opt_text, opt_len);
1230 if (input[opt_len] == '\0')
1232 /* We were passed more text. If the option takes an argument,
1233 we may match a later option or we may have been passed the
1234 argument. The longest possible option match succeeds.
1235 If the option takes no arguments we have not matched and
1236 continue the search (e.g. input="stdc++" match was "stdc"). */
1238 if (cl_options[md].msg)
1240 /* Scan forwards. If we get an exact match, return it.
1241 Otherwise, return the longest option-accepting match.
1242 This loops no more than twice with current options. */
1244 for (; mn < (unsigned int) N_OPTS; mn++)
1246 opt_len = cl_options[mn].opt_len;
1247 if (strncmp (input, cl_options[mn].opt_text, opt_len))
1249 if (input[opt_len] == '\0')
1251 if (cl_options[mn].msg)
1262 /* Handle one command-line option in (argc, argv).
1263 Can be called multiple times, to handle multiple sets of options.
1264 Returns number of strings consumed. */
1266 cpp_handle_option (pfile, argc, argv)
1272 struct cpp_pending *pend = CPP_OPTION (pfile, pending);
1275 enum opt_code opt_code;
1277 const char *arg = 0;
1279 /* Skip over '-'. */
1280 opt_index = parse_option (&argv[i][1]);
1284 opt_code = cl_options[opt_index].opt_code;
1285 if (cl_options[opt_index].msg)
1287 arg = &argv[i][cl_options[opt_index].opt_len + 1];
1293 cpp_error (pfile, DL_ERROR,
1294 cl_options[opt_index].msg, argv[i - 1]);
1302 case N_OPTS: /* Shut GCC up. */
1306 new_pending_directive (pend, arg, cpp_define);
1309 CPP_OPTION (pfile, include_prefix) = arg;
1310 CPP_OPTION (pfile, include_prefix_len) = strlen (arg);
1314 CPP_OPTION (pfile, sysroot) = arg;
1320 /* -A with an argument beginning with '-' acts as
1321 #unassert on whatever immediately follows the '-'.
1322 If "-" is the whole argument, we eliminate all
1323 predefined macros and assertions, including those
1324 that were specified earlier on the command line.
1325 That way we can get rid of any that were passed
1326 automatically in from GCC. */
1330 free_chain (pend->directive_head);
1331 pend->directive_head = NULL;
1332 pend->directive_tail = NULL;
1335 new_pending_directive (pend, arg + 1, cpp_unassert);
1338 new_pending_directive (pend, arg, cpp_assert);
1341 new_pending_directive (pend, arg, cpp_undef);
1343 case OPT_I: /* Add directory to path for includes. */
1344 if (!strcmp (arg, "-"))
1347 Use the preceding -I directories for #include "..."
1348 but not #include <...>.
1349 Don't search the directory of the present file
1350 for #include "...". (Note that -I. -I- is not the same as
1351 the default setup; -I. uses the compiler's working dir.) */
1352 if (! CPP_OPTION (pfile, ignore_srcdir))
1354 pend->quote_head = pend->brack_head;
1355 pend->quote_tail = pend->brack_tail;
1356 pend->brack_head = 0;
1357 pend->brack_tail = 0;
1358 CPP_OPTION (pfile, ignore_srcdir) = 1;
1362 cpp_error (pfile, DL_ERROR, "-I- specified twice");
1367 append_include_chain (pfile, xstrdup (arg), BRACKET, 0);
1370 /* Add directory to beginning of system include path, as a system
1371 include directory. */
1372 append_include_chain (pfile, xstrdup (arg), SYSTEM, 0);
1377 struct pending_option *o = (struct pending_option *)
1378 xmalloc (sizeof (struct pending_option));
1382 if (opt_code == OPT_include)
1383 APPEND (pend, include, o);
1385 APPEND (pend, imacros, o);
1388 case OPT_iwithprefix:
1389 /* Add directory to end of path for includes,
1390 with the default prefix at the front of its name. */
1392 case OPT_iwithprefixbefore:
1393 /* Add directory to main path for includes,
1394 with the default prefix at the front of its name. */
1401 if (CPP_OPTION (pfile, include_prefix) != 0)
1403 size_t ipl = CPP_OPTION (pfile, include_prefix_len);
1404 fname = xmalloc (ipl + len + 1);
1405 memcpy (fname, CPP_OPTION (pfile, include_prefix), ipl);
1406 memcpy (fname + ipl, arg, len + 1);
1408 else if (cpp_GCC_INCLUDE_DIR_len)
1410 fname = xmalloc (cpp_GCC_INCLUDE_DIR_len + len + 1);
1411 memcpy (fname, cpp_GCC_INCLUDE_DIR, cpp_GCC_INCLUDE_DIR_len);
1412 memcpy (fname + cpp_GCC_INCLUDE_DIR_len, arg, len + 1);
1415 fname = xstrdup (arg);
1417 append_include_chain (pfile, fname,
1418 opt_code == OPT_iwithprefix ? SYSTEM: BRACKET, 0);
1422 /* Add directory to end of path for includes. */
1423 append_include_chain (pfile, xstrdup (arg), AFTER, 0);
1430 /* Handle command-line options in (argc, argv).
1431 Can be called multiple times, to handle multiple sets of options.
1432 Returns if an unrecognized option is seen.
1433 Returns number of strings consumed. */
1435 cpp_handle_options (pfile, argc, argv)
1441 int strings_processed;
1443 for (i = 0; i < argc; i += strings_processed)
1445 strings_processed = cpp_handle_option (pfile, argc - i, argv + i);
1446 if (strings_processed == 0)
1454 post_options (pfile)
1457 /* -Wtraditional is not useful in C++ mode. */
1458 if (CPP_OPTION (pfile, cplusplus))
1459 CPP_OPTION (pfile, warn_traditional) = 0;
1461 /* Permanently disable macro expansion if we are rescanning
1462 preprocessed text. Read preprocesed source in ISO mode. */
1463 if (CPP_OPTION (pfile, preprocessed))
1465 pfile->state.prevent_expansion = 1;
1466 CPP_OPTION (pfile, traditional) = 0;
1469 /* Traditional CPP does not accurately track column information. */
1470 if (CPP_OPTION (pfile, traditional))
1471 CPP_OPTION (pfile, show_column) = 0;