xref: /netbsd-src/external/gpl3/gcc.old/dist/libcpp/init.c (revision 6cf6fe02a981b55727c49c3d37b0d8191a98c0ee)
1 /* CPP Library.
2    Copyright (C) 1986, 1987, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3    1999, 2000, 2001, 2002, 2003, 2004, 2005, 2007, 2008,
4    2009, 2010 Free Software Foundation, Inc.
5    Contributed by Per Bothner, 1994-95.
6    Based on CCCP program by Paul Rubin, June 1986
7    Adapted to ANSI C, Richard Stallman, Jan 1987
8 
9 This program is free software; you can redistribute it and/or modify it
10 under the terms of the GNU General Public License as published by the
11 Free Software Foundation; either version 3, or (at your option) any
12 later version.
13 
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17 GNU General Public License for more details.
18 
19 You should have received a copy of the GNU General Public License
20 along with this program; see the file COPYING3.  If not see
21 <http://www.gnu.org/licenses/>.  */
22 
23 #include "config.h"
24 #include "system.h"
25 #include "cpplib.h"
26 #include "internal.h"
27 #include "mkdeps.h"
28 #ifdef ENABLE_NLS
29 #include "localedir.h"
30 #endif
31 
32 static void init_library (void);
33 static void mark_named_operators (cpp_reader *, int);
34 static void read_original_filename (cpp_reader *);
35 static void read_original_directory (cpp_reader *);
36 static void post_options (cpp_reader *);
37 
38 /* If we have designated initializers (GCC >2.7) these tables can be
39    initialized, constant data.  Otherwise, they have to be filled in at
40    runtime.  */
41 #if HAVE_DESIGNATED_INITIALIZERS
42 
43 #define init_trigraph_map()  /* Nothing.  */
44 #define TRIGRAPH_MAP \
45 __extension__ const uchar _cpp_trigraph_map[UCHAR_MAX + 1] = {
46 
47 #define END };
48 #define s(p, v) [p] = v,
49 
50 #else
51 
52 #define TRIGRAPH_MAP uchar _cpp_trigraph_map[UCHAR_MAX + 1] = { 0 }; \
53  static void init_trigraph_map (void) { \
54  unsigned char *x = _cpp_trigraph_map;
55 
56 #define END }
57 #define s(p, v) x[p] = v;
58 
59 #endif
60 
61 TRIGRAPH_MAP
62   s('=', '#')	s(')', ']')	s('!', '|')
63   s('(', '[')	s('\'', '^')	s('>', '}')
64   s('/', '\\')	s('<', '{')	s('-', '~')
65 END
66 
67 #undef s
68 #undef END
69 #undef TRIGRAPH_MAP
70 
71 /* A set of booleans indicating what CPP features each source language
72    requires.  */
73 struct lang_flags
74 {
75   char c99;
76   char cplusplus;
77   char extended_numbers;
78   char extended_identifiers;
79   char std;
80   char cplusplus_comments;
81   char digraphs;
82   char uliterals;
83 };
84 
85 static const struct lang_flags lang_defaults[] =
86 { /*              c99 c++ xnum xid std  //   digr ulit */
87   /* GNUC89   */  { 0,  0,  1,   0,  0,   1,   1,   0 },
88   /* GNUC99   */  { 1,  0,  1,   0,  0,   1,   1,   1 },
89   /* STDC89   */  { 0,  0,  0,   0,  1,   0,   0,   0 },
90   /* STDC94   */  { 0,  0,  0,   0,  1,   0,   1,   0 },
91   /* STDC99   */  { 1,  0,  1,   0,  1,   1,   1,   0 },
92   /* GNUCXX   */  { 0,  1,  1,   0,  0,   1,   1,   0 },
93   /* CXX98    */  { 0,  1,  1,   0,  1,   1,   1,   0 },
94   /* GNUCXX0X */  { 1,  1,  1,   0,  0,   1,   1,   1 },
95   /* CXX0X    */  { 1,  1,  1,   0,  1,   1,   1,   1 },
96   /* ASM      */  { 0,  0,  1,   0,  0,   1,   0,   0 }
97   /* xid should be 1 for GNUC99, STDC99, GNUCXX, CXX98, GNUCXX0X, and
98      CXX0X when no longer experimental (when all uses of identifiers
99      in the compiler have been audited for correct handling of
100      extended identifiers).  */
101 };
102 
103 /* Sets internal flags correctly for a given language.  */
104 void
105 cpp_set_lang (cpp_reader *pfile, enum c_lang lang)
106 {
107   const struct lang_flags *l = &lang_defaults[(int) lang];
108 
109   CPP_OPTION (pfile, lang) = lang;
110 
111   CPP_OPTION (pfile, c99)			 = l->c99;
112   CPP_OPTION (pfile, cplusplus)			 = l->cplusplus;
113   CPP_OPTION (pfile, extended_numbers)		 = l->extended_numbers;
114   CPP_OPTION (pfile, extended_identifiers)	 = l->extended_identifiers;
115   CPP_OPTION (pfile, std)			 = l->std;
116   CPP_OPTION (pfile, trigraphs)			 = l->std;
117   CPP_OPTION (pfile, cplusplus_comments)	 = l->cplusplus_comments;
118   CPP_OPTION (pfile, digraphs)			 = l->digraphs;
119   CPP_OPTION (pfile, uliterals)			 = l->uliterals;
120 }
121 
122 /* Initialize library global state.  */
123 static void
124 init_library (void)
125 {
126   static int initialized = 0;
127 
128   if (! initialized)
129     {
130       initialized = 1;
131 
132       /* Set up the trigraph map.  This doesn't need to do anything if
133 	 we were compiled with a compiler that supports C99 designated
134 	 initializers.  */
135       init_trigraph_map ();
136 
137 #ifdef ENABLE_NLS
138        (void) bindtextdomain (PACKAGE, LOCALEDIR);
139 #endif
140     }
141 }
142 
143 /* Initialize a cpp_reader structure.  */
144 cpp_reader *
145 cpp_create_reader (enum c_lang lang, hash_table *table,
146 		   struct line_maps *line_table)
147 {
148   cpp_reader *pfile;
149 
150   /* Initialize this instance of the library if it hasn't been already.  */
151   init_library ();
152 
153   pfile = XCNEW (cpp_reader);
154 
155   cpp_set_lang (pfile, lang);
156   CPP_OPTION (pfile, warn_multichar) = 1;
157   CPP_OPTION (pfile, discard_comments) = 1;
158   CPP_OPTION (pfile, discard_comments_in_macro_exp) = 1;
159   CPP_OPTION (pfile, show_column) = 1;
160   CPP_OPTION (pfile, tabstop) = 8;
161   CPP_OPTION (pfile, operator_names) = 1;
162   CPP_OPTION (pfile, warn_trigraphs) = 2;
163   CPP_OPTION (pfile, warn_endif_labels) = 1;
164   CPP_OPTION (pfile, warn_deprecated) = 1;
165   CPP_OPTION (pfile, warn_long_long) = 0;
166   CPP_OPTION (pfile, dollars_in_ident) = 1;
167   CPP_OPTION (pfile, warn_dollars) = 1;
168   CPP_OPTION (pfile, warn_variadic_macros) = 1;
169   CPP_OPTION (pfile, warn_builtin_macro_redefined) = 1;
170   CPP_OPTION (pfile, warn_normalize) = normalized_C;
171 
172   /* Default CPP arithmetic to something sensible for the host for the
173      benefit of dumb users like fix-header.  */
174   CPP_OPTION (pfile, precision) = CHAR_BIT * sizeof (long);
175   CPP_OPTION (pfile, char_precision) = CHAR_BIT;
176   CPP_OPTION (pfile, wchar_precision) = CHAR_BIT * sizeof (int);
177   CPP_OPTION (pfile, int_precision) = CHAR_BIT * sizeof (int);
178   CPP_OPTION (pfile, unsigned_char) = 0;
179   CPP_OPTION (pfile, unsigned_wchar) = 1;
180   CPP_OPTION (pfile, bytes_big_endian) = 1;  /* does not matter */
181 
182   /* Default to no charset conversion.  */
183   CPP_OPTION (pfile, narrow_charset) = _cpp_default_encoding ();
184   CPP_OPTION (pfile, wide_charset) = 0;
185 
186   /* Default the input character set to UTF-8.  */
187   CPP_OPTION (pfile, input_charset) = _cpp_default_encoding ();
188 
189   /* A fake empty "directory" used as the starting point for files
190      looked up without a search path.  Name cannot be '/' because we
191      don't want to prepend anything at all to filenames using it.  All
192      other entries are correct zero-initialized.  */
193   pfile->no_search_path.name = (char *) "";
194 
195   /* Initialize the line map.  */
196   pfile->line_table = line_table;
197 
198   /* Initialize lexer state.  */
199   pfile->state.save_comments = ! CPP_OPTION (pfile, discard_comments);
200 
201   /* Set up static tokens.  */
202   pfile->avoid_paste.type = CPP_PADDING;
203   pfile->avoid_paste.val.source = NULL;
204   pfile->eof.type = CPP_EOF;
205   pfile->eof.flags = 0;
206 
207   /* Create a token buffer for the lexer.  */
208   _cpp_init_tokenrun (&pfile->base_run, 250);
209   pfile->cur_run = &pfile->base_run;
210   pfile->cur_token = pfile->base_run.base;
211 
212   /* Initialize the base context.  */
213   pfile->context = &pfile->base_context;
214   pfile->base_context.macro = 0;
215   pfile->base_context.prev = pfile->base_context.next = 0;
216 
217   /* Aligned and unaligned storage.  */
218   pfile->a_buff = _cpp_get_buff (pfile, 0);
219   pfile->u_buff = _cpp_get_buff (pfile, 0);
220 
221   /* Initialize table for push_macro/pop_macro.  */
222   pfile->pushed_macros = 0;
223 
224   /* The expression parser stack.  */
225   _cpp_expand_op_stack (pfile);
226 
227   /* Initialize the buffer obstack.  */
228   _obstack_begin (&pfile->buffer_ob, 0, 0,
229 		  (void *(*) (long)) xmalloc,
230 		  (void (*) (void *)) free);
231 
232   _cpp_init_files (pfile);
233 
234   _cpp_init_hashtable (pfile, table);
235 
236   return pfile;
237 }
238 
239 /* Set the line_table entry in PFILE.  This is called after reading a
240    PCH file, as the old line_table will be incorrect.  */
241 void
242 cpp_set_line_map (cpp_reader *pfile, struct line_maps *line_table)
243 {
244   pfile->line_table = line_table;
245 }
246 
247 /* Free resources used by PFILE.  Accessing PFILE after this function
248    returns leads to undefined behavior.  Returns the error count.  */
249 void
250 cpp_destroy (cpp_reader *pfile)
251 {
252   cpp_context *context, *contextn;
253   struct def_pragma_macro *pmacro;
254   tokenrun *run, *runn;
255   int i;
256 
257   free (pfile->op_stack);
258 
259   while (CPP_BUFFER (pfile) != NULL)
260     _cpp_pop_buffer (pfile);
261 
262   if (pfile->out.base)
263     free (pfile->out.base);
264 
265   if (pfile->macro_buffer)
266     {
267       free (pfile->macro_buffer);
268       pfile->macro_buffer = NULL;
269       pfile->macro_buffer_len = 0;
270     }
271 
272   if (pfile->deps)
273     deps_free (pfile->deps);
274   obstack_free (&pfile->buffer_ob, 0);
275 
276   _cpp_destroy_hashtable (pfile);
277   _cpp_cleanup_files (pfile);
278   _cpp_destroy_iconv (pfile);
279 
280   _cpp_free_buff (pfile->a_buff);
281   _cpp_free_buff (pfile->u_buff);
282   _cpp_free_buff (pfile->free_buffs);
283 
284   for (run = &pfile->base_run; run; run = runn)
285     {
286       runn = run->next;
287       free (run->base);
288       if (run != &pfile->base_run)
289 	free (run);
290     }
291 
292   for (context = pfile->base_context.next; context; context = contextn)
293     {
294       contextn = context->next;
295       free (context);
296     }
297 
298   if (pfile->comments.entries)
299     {
300       for (i = 0; i < pfile->comments.count; i++)
301 	free (pfile->comments.entries[i].comment);
302 
303       free (pfile->comments.entries);
304     }
305   if (pfile->pushed_macros)
306     {
307       do
308 	{
309 	  pmacro = pfile->pushed_macros;
310 	  pfile->pushed_macros = pmacro->next;
311 	  free (pmacro->name);
312 	  free (pmacro);
313 	}
314       while (pfile->pushed_macros);
315     }
316 
317   free (pfile);
318 }
319 
320 /* This structure defines one built-in identifier.  A node will be
321    entered in the hash table under the name NAME, with value VALUE.
322 
323    There are two tables of these.  builtin_array holds all the
324    "builtin" macros: these are handled by builtin_macro() in
325    macro.c.  Builtin is somewhat of a misnomer -- the property of
326    interest is that these macros require special code to compute their
327    expansions.  The value is a "builtin_type" enumerator.
328 
329    operator_array holds the C++ named operators.  These are keywords
330    which act as aliases for punctuators.  In C++, they cannot be
331    altered through #define, and #if recognizes them as operators.  In
332    C, these are not entered into the hash table at all (but see
333    <iso646.h>).  The value is a token-type enumerator.  */
334 struct builtin_macro
335 {
336   const uchar *const name;
337   const unsigned short len;
338   const unsigned short value;
339   const bool always_warn_if_redefined;
340 };
341 
342 #define B(n, t, f)    { DSC(n), t, f }
343 static const struct builtin_macro builtin_array[] =
344 {
345   B("__TIMESTAMP__",	 BT_TIMESTAMP,     false),
346   B("__TIME__",		 BT_TIME,          false),
347   B("__DATE__",		 BT_DATE,          false),
348   B("__FILE__",		 BT_FILE,          false),
349   B("__BASE_FILE__",	 BT_BASE_FILE,     false),
350   B("__LINE__",		 BT_SPECLINE,      true),
351   B("__INCLUDE_LEVEL__", BT_INCLUDE_LEVEL, true),
352   B("__COUNTER__",	 BT_COUNTER,       true),
353   /* Keep builtins not used for -traditional-cpp at the end, and
354      update init_builtins() if any more are added.  */
355   B("_Pragma",		 BT_PRAGMA,        true),
356   B("__STDC__",		 BT_STDC,          true),
357 };
358 #undef B
359 
360 struct builtin_operator
361 {
362   const uchar *const name;
363   const unsigned short len;
364   const unsigned short value;
365 };
366 
367 #define B(n, t)    { DSC(n), t }
368 static const struct builtin_operator operator_array[] =
369 {
370   B("and",	CPP_AND_AND),
371   B("and_eq",	CPP_AND_EQ),
372   B("bitand",	CPP_AND),
373   B("bitor",	CPP_OR),
374   B("compl",	CPP_COMPL),
375   B("not",	CPP_NOT),
376   B("not_eq",	CPP_NOT_EQ),
377   B("or",	CPP_OR_OR),
378   B("or_eq",	CPP_OR_EQ),
379   B("xor",	CPP_XOR),
380   B("xor_eq",	CPP_XOR_EQ)
381 };
382 #undef B
383 
384 /* Mark the C++ named operators in the hash table.  */
385 static void
386 mark_named_operators (cpp_reader *pfile, int flags)
387 {
388   const struct builtin_operator *b;
389 
390   for (b = operator_array;
391        b < (operator_array + ARRAY_SIZE (operator_array));
392        b++)
393     {
394       cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len);
395       hp->flags |= flags;
396       hp->is_directive = 0;
397       hp->directive_index = b->value;
398     }
399 }
400 
401 /* Helper function of cpp_type2name. Return the string associated with
402    named operator TYPE.  */
403 const char *
404 cpp_named_operator2name (enum cpp_ttype type)
405 {
406   const struct builtin_operator *b;
407 
408   for (b = operator_array;
409        b < (operator_array + ARRAY_SIZE (operator_array));
410        b++)
411     {
412       if (type == b->value)
413 	return (const char *) b->name;
414     }
415 
416   return NULL;
417 }
418 
419 void
420 cpp_init_special_builtins (cpp_reader *pfile)
421 {
422   const struct builtin_macro *b;
423   size_t n = ARRAY_SIZE (builtin_array);
424 
425   if (CPP_OPTION (pfile, traditional))
426     n -= 2;
427   else if (! CPP_OPTION (pfile, stdc_0_in_system_headers)
428 	   || CPP_OPTION (pfile, std))
429     n--;
430 
431   for (b = builtin_array; b < builtin_array + n; b++)
432     {
433       cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len);
434       hp->type = NT_MACRO;
435       hp->flags |= NODE_BUILTIN;
436       if (b->always_warn_if_redefined
437           || CPP_OPTION (pfile, warn_builtin_macro_redefined))
438 	hp->flags |= NODE_WARN;
439       hp->value.builtin = (enum cpp_builtin_type) b->value;
440     }
441 }
442 
443 /* Read the builtins table above and enter them, and language-specific
444    macros, into the hash table.  HOSTED is true if this is a hosted
445    environment.  */
446 void
447 cpp_init_builtins (cpp_reader *pfile, int hosted)
448 {
449   cpp_init_special_builtins (pfile);
450 
451   if (!CPP_OPTION (pfile, traditional)
452       && (! CPP_OPTION (pfile, stdc_0_in_system_headers)
453 	  || CPP_OPTION (pfile, std)))
454     _cpp_define_builtin (pfile, "__STDC__ 1");
455 
456   if (CPP_OPTION (pfile, cplusplus))
457     _cpp_define_builtin (pfile, "__cplusplus 1");
458   else if (CPP_OPTION (pfile, lang) == CLK_ASM)
459     _cpp_define_builtin (pfile, "__ASSEMBLER__ 1");
460   else if (CPP_OPTION (pfile, lang) == CLK_STDC94)
461     _cpp_define_builtin (pfile, "__STDC_VERSION__ 199409L");
462   else if (CPP_OPTION (pfile, c99))
463     _cpp_define_builtin (pfile, "__STDC_VERSION__ 199901L");
464 
465   if (hosted)
466     _cpp_define_builtin (pfile, "__STDC_HOSTED__ 1");
467   else
468     _cpp_define_builtin (pfile, "__STDC_HOSTED__ 0");
469 
470   if (CPP_OPTION (pfile, objc))
471     _cpp_define_builtin (pfile, "__OBJC__ 1");
472 }
473 
474 /* Sanity-checks are dependent on command-line options, so it is
475    called as a subroutine of cpp_read_main_file ().  */
476 #if ENABLE_CHECKING
477 static void sanity_checks (cpp_reader *);
478 static void sanity_checks (cpp_reader *pfile)
479 {
480   cppchar_t test = 0;
481   size_t max_precision = 2 * CHAR_BIT * sizeof (cpp_num_part);
482 
483   /* Sanity checks for assumptions about CPP arithmetic and target
484      type precisions made by cpplib.  */
485   test--;
486   if (test < 1)
487     cpp_error (pfile, CPP_DL_ICE, "cppchar_t must be an unsigned type");
488 
489   if (CPP_OPTION (pfile, precision) > max_precision)
490     cpp_error (pfile, CPP_DL_ICE,
491 	       "preprocessor arithmetic has maximum precision of %lu bits;"
492 	       " target requires %lu bits",
493 	       (unsigned long) max_precision,
494 	       (unsigned long) CPP_OPTION (pfile, precision));
495 
496   if (CPP_OPTION (pfile, precision) < CPP_OPTION (pfile, int_precision))
497     cpp_error (pfile, CPP_DL_ICE,
498 	       "CPP arithmetic must be at least as precise as a target int");
499 
500   if (CPP_OPTION (pfile, char_precision) < 8)
501     cpp_error (pfile, CPP_DL_ICE, "target char is less than 8 bits wide");
502 
503   if (CPP_OPTION (pfile, wchar_precision) < CPP_OPTION (pfile, char_precision))
504     cpp_error (pfile, CPP_DL_ICE,
505 	       "target wchar_t is narrower than target char");
506 
507   if (CPP_OPTION (pfile, int_precision) < CPP_OPTION (pfile, char_precision))
508     cpp_error (pfile, CPP_DL_ICE,
509 	       "target int is narrower than target char");
510 
511   /* This is assumed in eval_token() and could be fixed if necessary.  */
512   if (sizeof (cppchar_t) > sizeof (cpp_num_part))
513     cpp_error (pfile, CPP_DL_ICE,
514 	       "CPP half-integer narrower than CPP character");
515 
516   if (CPP_OPTION (pfile, wchar_precision) > BITS_PER_CPPCHAR_T)
517     cpp_error (pfile, CPP_DL_ICE,
518 	       "CPP on this host cannot handle wide character constants over"
519 	       " %lu bits, but the target requires %lu bits",
520 	       (unsigned long) BITS_PER_CPPCHAR_T,
521 	       (unsigned long) CPP_OPTION (pfile, wchar_precision));
522 }
523 #else
524 # define sanity_checks(PFILE)
525 #endif
526 
527 /* This is called after options have been parsed, and partially
528    processed.  */
529 void
530 cpp_post_options (cpp_reader *pfile)
531 {
532   int flags;
533 
534   sanity_checks (pfile);
535 
536   post_options (pfile);
537 
538   /* Mark named operators before handling command line macros.  */
539   flags = 0;
540   if (CPP_OPTION (pfile, cplusplus) && CPP_OPTION (pfile, operator_names))
541     flags |= NODE_OPERATOR;
542   if (CPP_OPTION (pfile, warn_cxx_operator_names))
543     flags |= NODE_DIAGNOSTIC | NODE_WARN_OPERATOR;
544   if (flags != 0)
545     mark_named_operators (pfile, flags);
546 }
547 
548 /* Setup for processing input from the file named FNAME, or stdin if
549    it is the empty string.  Return the original filename
550    on success (e.g. foo.i->foo.c), or NULL on failure.  */
551 const char *
552 cpp_read_main_file (cpp_reader *pfile, const char *fname)
553 {
554   if (CPP_OPTION (pfile, deps.style) != DEPS_NONE)
555     {
556       if (!pfile->deps)
557 	pfile->deps = deps_init ();
558 
559       /* Set the default target (if there is none already).  */
560       deps_add_default_target (pfile->deps, fname);
561     }
562 
563   pfile->main_file
564     = _cpp_find_file (pfile, fname, &pfile->no_search_path, false, 0);
565   if (_cpp_find_failed (pfile->main_file))
566     return NULL;
567 
568   _cpp_stack_file (pfile, pfile->main_file, false);
569 
570   /* For foo.i, read the original filename foo.c now, for the benefit
571      of the front ends.  */
572   if (CPP_OPTION (pfile, preprocessed))
573     {
574       read_original_filename (pfile);
575       fname = pfile->line_table->maps[pfile->line_table->used-1].to_file;
576     }
577   return fname;
578 }
579 
580 /* For preprocessed files, if the first tokens are of the form # NUM.
581    handle the directive so we know the original file name.  This will
582    generate file_change callbacks, which the front ends must handle
583    appropriately given their state of initialization.  */
584 static void
585 read_original_filename (cpp_reader *pfile)
586 {
587   const cpp_token *token, *token1;
588 
589   /* Lex ahead; if the first tokens are of the form # NUM, then
590      process the directive, otherwise back up.  */
591   token = _cpp_lex_direct (pfile);
592   if (token->type == CPP_HASH)
593     {
594       pfile->state.in_directive = 1;
595       token1 = _cpp_lex_direct (pfile);
596       _cpp_backup_tokens (pfile, 1);
597       pfile->state.in_directive = 0;
598 
599       /* If it's a #line directive, handle it.  */
600       if (token1->type == CPP_NUMBER
601 	  && _cpp_handle_directive (pfile, token->flags & PREV_WHITE))
602 	{
603 	  read_original_directory (pfile);
604 	  return;
605 	}
606     }
607 
608   /* Backup as if nothing happened.  */
609   _cpp_backup_tokens (pfile, 1);
610 }
611 
612 /* For preprocessed files, if the tokens following the first filename
613    line is of the form # <line> "/path/name//", handle the
614    directive so we know the original current directory.  */
615 static void
616 read_original_directory (cpp_reader *pfile)
617 {
618   const cpp_token *hash, *token;
619 
620   /* Lex ahead; if the first tokens are of the form # NUM, then
621      process the directive, otherwise back up.  */
622   hash = _cpp_lex_direct (pfile);
623   if (hash->type != CPP_HASH)
624     {
625       _cpp_backup_tokens (pfile, 1);
626       return;
627     }
628 
629   token = _cpp_lex_direct (pfile);
630 
631   if (token->type != CPP_NUMBER)
632     {
633       _cpp_backup_tokens (pfile, 2);
634       return;
635     }
636 
637   token = _cpp_lex_direct (pfile);
638 
639   if (token->type != CPP_STRING
640       || ! (token->val.str.len >= 5
641 	    && token->val.str.text[token->val.str.len-2] == '/'
642 	    && token->val.str.text[token->val.str.len-3] == '/'))
643     {
644       _cpp_backup_tokens (pfile, 3);
645       return;
646     }
647 
648   if (pfile->cb.dir_change)
649     {
650       char *debugdir = (char *) alloca (token->val.str.len - 3);
651 
652       memcpy (debugdir, (const char *) token->val.str.text + 1,
653 	      token->val.str.len - 4);
654       debugdir[token->val.str.len - 4] = '\0';
655 
656       pfile->cb.dir_change (pfile, debugdir);
657     }
658 }
659 
660 /* This is called at the end of preprocessing.  It pops the last
661    buffer and writes dependency output.
662 
663    Maybe it should also reset state, such that you could call
664    cpp_start_read with a new filename to restart processing.  */
665 void
666 cpp_finish (cpp_reader *pfile, FILE *deps_stream)
667 {
668   /* Warn about unused macros before popping the final buffer.  */
669   if (CPP_OPTION (pfile, warn_unused_macros))
670     cpp_forall_identifiers (pfile, _cpp_warn_if_unused_macro, NULL);
671 
672   /* lex.c leaves the final buffer on the stack.  This it so that
673      it returns an unending stream of CPP_EOFs to the client.  If we
674      popped the buffer, we'd dereference a NULL buffer pointer and
675      segfault.  It's nice to allow the client to do worry-free excess
676      cpp_get_token calls.  */
677   while (pfile->buffer)
678     _cpp_pop_buffer (pfile);
679 
680   if (CPP_OPTION (pfile, deps.style) != DEPS_NONE
681       && deps_stream)
682     {
683       deps_write (pfile->deps, deps_stream, 72);
684 
685       if (CPP_OPTION (pfile, deps.phony_targets))
686 	deps_phony_targets (pfile->deps, deps_stream);
687     }
688 
689   /* Report on headers that could use multiple include guards.  */
690   if (CPP_OPTION (pfile, print_include_names))
691     _cpp_report_missing_guards (pfile);
692 }
693 
694 static void
695 post_options (cpp_reader *pfile)
696 {
697   /* -Wtraditional is not useful in C++ mode.  */
698   if (CPP_OPTION (pfile, cplusplus))
699     CPP_OPTION (pfile, warn_traditional) = 0;
700 
701   /* Permanently disable macro expansion if we are rescanning
702      preprocessed text.  Read preprocesed source in ISO mode.  */
703   if (CPP_OPTION (pfile, preprocessed))
704     {
705       if (!CPP_OPTION (pfile, directives_only))
706 	pfile->state.prevent_expansion = 1;
707       CPP_OPTION (pfile, traditional) = 0;
708     }
709 
710   if (CPP_OPTION (pfile, warn_trigraphs) == 2)
711     CPP_OPTION (pfile, warn_trigraphs) = !CPP_OPTION (pfile, trigraphs);
712 
713   if (CPP_OPTION (pfile, traditional))
714     {
715       CPP_OPTION (pfile, cplusplus_comments) = 0;
716 
717       /* Traditional CPP does not accurately track column information.  */
718       CPP_OPTION (pfile, show_column) = 0;
719       CPP_OPTION (pfile, trigraphs) = 0;
720       CPP_OPTION (pfile, warn_trigraphs) = 0;
721     }
722 }
723