Daily bump.
[official-gcc.git] / gcc / cppfiles.c
blob5925b9e9186daed0f4408dfdd3c8a1546c74965e
1 /* Part of CPP library. (include file handling)
2 Copyright (C) 1986, 1987, 1989, 1992, 1993, 1994, 1995, 1998,
3 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
4 Written by Per Bothner, 1994.
5 Based on CCCP program by Paul Rubin, June 1986
6 Adapted to ANSI C, Richard Stallman, Jan 1987
7 Split out of cpplib.c, Zack Weinberg, Oct 1998
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 2, or (at your option) any
12 later version.
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.
19 You should have received a copy of the GNU General Public License
20 along with this program; if not, write to the Free Software
21 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
23 #include "config.h"
24 #include "system.h"
25 #include "cpplib.h"
26 #include "cpphash.h"
27 #include "intl.h"
28 #include "mkdeps.h"
29 #include "splay-tree.h"
31 #ifdef HAVE_MMAP_FILE
32 # include <sys/mman.h>
33 # ifndef MMAP_THRESHOLD
34 # define MMAP_THRESHOLD 3 /* Minimum page count to mmap the file. */
35 # endif
36 # if MMAP_THRESHOLD
37 # define TEST_THRESHOLD(size, pagesize) \
38 (size / pagesize >= MMAP_THRESHOLD && (size % pagesize) != 0)
39 /* Use mmap if the file is big enough to be worth it (controlled
40 by MMAP_THRESHOLD) and if we can safely count on there being
41 at least one readable NUL byte after the end of the file's
42 contents. This is true for all tested operating systems when
43 the file size is not an exact multiple of the page size. */
44 # define SHOULD_MMAP(size, pagesize) TEST_THRESHOLD (size, pagesize)
45 # endif
47 #else /* No MMAP_FILE */
48 # undef MMAP_THRESHOLD
49 # define MMAP_THRESHOLD 0
50 #endif
52 #ifndef O_BINARY
53 # define O_BINARY 0
54 #endif
56 /* If errno is inspected immediately after a system call fails, it will be
57 nonzero, and no error number will ever be zero. */
58 #ifndef ENOENT
59 # define ENOENT 0
60 #endif
61 #ifndef ENOTDIR
62 # define ENOTDIR 0
63 #endif
65 /* Suppress warning about function macros used w/o arguments in traditional
66 C. It is unlikely that glibc's strcmp macro helps this file at all. */
67 #undef strcmp
69 /* This structure is used for the table of all includes. */
70 struct include_file
72 const char *name; /* actual path name of file */
73 const cpp_hashnode *cmacro; /* macro, if any, preventing reinclusion. */
74 const struct search_path *foundhere;
75 /* location in search path where file was
76 found, for #include_next and sysp. */
77 const unsigned char *buffer; /* pointer to cached file contents */
78 struct stat st; /* copy of stat(2) data for file */
79 int fd; /* fd open on file (short term storage only) */
80 int err_no; /* errno obtained if opening a file failed */
81 unsigned short include_count; /* number of times file has been read */
82 unsigned short refcnt; /* number of stacked buffers using this file */
83 unsigned char mapped; /* file buffer is mmapped */
86 /* Variable length record files on VMS will have a stat size that includes
87 record control characters that won't be included in the read size. */
88 #ifdef VMS
89 # define FAB_C_VAR 2 /* variable length records (see Starlet fabdef.h) */
90 # define STAT_SIZE_TOO_BIG(ST) ((ST).st_fab_rfm == FAB_C_VAR)
91 #else
92 # define STAT_SIZE_TOO_BIG(ST) 0
93 #endif
95 /* The cmacro works like this: If it's NULL, the file is to be
96 included again. If it's NEVER_REREAD, the file is never to be
97 included again. Otherwise it is a macro hashnode, and the file is
98 to be included again if the macro is defined. */
99 #define NEVER_REREAD ((const cpp_hashnode *)-1)
100 #define DO_NOT_REREAD(inc) \
101 ((inc)->cmacro && ((inc)->cmacro == NEVER_REREAD \
102 || (inc)->cmacro->type == NT_MACRO))
103 #define NO_INCLUDE_PATH ((struct include_file *) -1)
105 static struct file_name_map *read_name_map
106 PARAMS ((cpp_reader *, const char *));
107 static char *read_filename_string PARAMS ((int, FILE *));
108 static char *remap_filename PARAMS ((cpp_reader *, char *,
109 struct search_path *));
110 static struct search_path *search_from PARAMS ((cpp_reader *,
111 enum include_type));
112 static struct include_file *
113 find_include_file PARAMS ((cpp_reader *, const cpp_token *,
114 enum include_type));
115 static struct include_file *open_file PARAMS ((cpp_reader *, const char *));
116 static int read_include_file PARAMS ((cpp_reader *, struct include_file *));
117 static bool stack_include_file PARAMS ((cpp_reader *, struct include_file *));
118 static void purge_cache PARAMS ((struct include_file *));
119 static void destroy_node PARAMS ((splay_tree_value));
120 static int report_missing_guard PARAMS ((splay_tree_node, void *));
121 static splay_tree_node find_or_create_entry PARAMS ((cpp_reader *,
122 const char *));
123 static void handle_missing_header PARAMS ((cpp_reader *, const char *, int));
124 static int remove_component_p PARAMS ((const char *));
126 /* Set up the splay tree we use to store information about all the
127 file names seen in this compilation. We also have entries for each
128 file we tried to open but failed; this saves system calls since we
129 don't try to open it again in future.
131 The key of each node is the file name, after processing by
132 _cpp_simplify_pathname. The path name may or may not be absolute.
133 The path string has been malloced, as is automatically freed by
134 registering free () as the splay tree key deletion function.
136 A node's value is a pointer to a struct include_file, and is never
137 NULL. */
138 void
139 _cpp_init_includes (pfile)
140 cpp_reader *pfile;
142 pfile->all_include_files
143 = splay_tree_new ((splay_tree_compare_fn) strcmp,
144 (splay_tree_delete_key_fn) free,
145 destroy_node);
148 /* Tear down the splay tree. */
149 void
150 _cpp_cleanup_includes (pfile)
151 cpp_reader *pfile;
153 splay_tree_delete (pfile->all_include_files);
156 /* Free a node. The path string is automatically freed. */
157 static void
158 destroy_node (v)
159 splay_tree_value v;
161 struct include_file *f = (struct include_file *)v;
163 if (f)
165 purge_cache (f);
166 free (f);
170 /* Mark a file to not be reread (e.g. #import, read failure). */
171 void
172 _cpp_never_reread (file)
173 struct include_file *file;
175 file->cmacro = NEVER_REREAD;
178 /* Lookup a filename, which is simplified after making a copy, and
179 create an entry if none exists. errno is nonzero iff a (reported)
180 stat() error occurred during simplification. */
181 static splay_tree_node
182 find_or_create_entry (pfile, fname)
183 cpp_reader *pfile;
184 const char *fname;
186 splay_tree_node node;
187 struct include_file *file;
188 char *name = xstrdup (fname);
190 _cpp_simplify_pathname (name);
191 node = splay_tree_lookup (pfile->all_include_files, (splay_tree_key) name);
192 if (node)
193 free (name);
194 else
196 file = xcnew (struct include_file);
197 file->name = name;
198 file->err_no = errno;
199 node = splay_tree_insert (pfile->all_include_files,
200 (splay_tree_key) file->name,
201 (splay_tree_value) file);
204 return node;
207 /* Enter a file name in the splay tree, for the sake of cpp_included. */
208 void
209 _cpp_fake_include (pfile, fname)
210 cpp_reader *pfile;
211 const char *fname;
213 find_or_create_entry (pfile, fname);
216 /* Given a file name, look it up in the cache; if there is no entry,
217 create one with a non-NULL value (regardless of success in opening
218 the file). If the file doesn't exist or is inaccessible, this
219 entry is flagged so we don't attempt to open it again in the
220 future. If the file isn't open, open it. The empty string is
221 interpreted as stdin.
223 Returns an include_file structure with an open file descriptor on
224 success, or NULL on failure. */
225 static struct include_file *
226 open_file (pfile, filename)
227 cpp_reader *pfile;
228 const char *filename;
230 splay_tree_node nd = find_or_create_entry (pfile, filename);
231 struct include_file *file = (struct include_file *) nd->value;
233 if (file->err_no)
235 /* Ugh. handle_missing_header () needs errno to be set. */
236 errno = file->err_no;
237 return 0;
240 /* Don't reopen an idempotent file. */
241 if (DO_NOT_REREAD (file))
242 return file;
244 /* Don't reopen one which is already loaded. */
245 if (file->buffer != NULL)
246 return file;
248 /* We used to open files in nonblocking mode, but that caused more
249 problems than it solved. Do take care not to acquire a
250 controlling terminal by mistake (this can't happen on sane
251 systems, but paranoia is a virtue).
253 Use the three-argument form of open even though we aren't
254 specifying O_CREAT, to defend against broken system headers.
256 O_BINARY tells some runtime libraries (notably DJGPP) not to do
257 newline translation; we can handle DOS line breaks just fine
258 ourselves.
260 Special case: the empty string is translated to stdin. */
262 if (filename[0] == '\0')
263 file->fd = 0;
264 else
265 file->fd = open (file->name, O_RDONLY | O_NOCTTY | O_BINARY, 0666);
267 if (file->fd != -1 && fstat (file->fd, &file->st) == 0)
269 if (!S_ISDIR (file->st.st_mode))
270 return file;
272 /* If it's a directory, we return null and continue the search
273 as the file we're looking for may appear elsewhere in the
274 search path. */
275 errno = ENOENT;
276 close (file->fd);
277 file->fd = -1;
280 file->err_no = errno;
281 return 0;
284 /* Place the file referenced by INC into a new buffer on the buffer
285 stack, unless there are errors, or the file is not re-included
286 because of e.g. multiple-include guards. Returns true if a buffer
287 is stacked. */
288 static bool
289 stack_include_file (pfile, inc)
290 cpp_reader *pfile;
291 struct include_file *inc;
293 cpp_buffer *fp;
294 int sysp;
295 const char *filename;
297 if (DO_NOT_REREAD (inc))
298 return false;
300 sysp = MAX ((pfile->map ? pfile->map->sysp : 0),
301 (inc->foundhere ? inc->foundhere->sysp : 0));
303 /* For -M, add the file to the dependencies on its first inclusion. */
304 if (CPP_OPTION (pfile, print_deps) > sysp && !inc->include_count)
305 deps_add_dep (pfile->deps, inc->name);
307 /* Not in cache? */
308 if (! inc->buffer)
310 if (read_include_file (pfile, inc))
312 /* If an error occurs, do not try to read this file again. */
313 _cpp_never_reread (inc);
314 return false;
316 /* Mark a regular, zero-length file never-reread. We read it,
317 NUL-terminate it, and stack it once, so preprocessing a main
318 file of zero length does not raise an error. */
319 if (S_ISREG (inc->st.st_mode) && inc->st.st_size == 0)
320 _cpp_never_reread (inc);
321 close (inc->fd);
322 inc->fd = -1;
325 if (pfile->buffer)
326 /* We don't want MI guard advice for the main file. */
327 inc->include_count++;
329 /* Push a buffer. */
330 fp = cpp_push_buffer (pfile, inc->buffer, inc->st.st_size,
331 /* from_stage3 */ CPP_OPTION (pfile, preprocessed), 0);
332 fp->inc = inc;
333 fp->inc->refcnt++;
335 /* Initialise controlling macro state. */
336 pfile->mi_valid = true;
337 pfile->mi_cmacro = 0;
339 /* Generate the call back. */
340 filename = inc->name;
341 if (*filename == '\0')
342 filename = "<stdin>";
343 _cpp_do_file_change (pfile, LC_ENTER, filename, 1, sysp);
345 return true;
348 /* Read the file referenced by INC into the file cache.
350 If fd points to a plain file, we might be able to mmap it; we can
351 definitely allocate the buffer all at once. If fd is a pipe or
352 terminal, we can't do either. If fd is something weird, like a
353 block device, we don't want to read it at all.
355 Unfortunately, different systems use different st.st_mode values
356 for pipes: some have S_ISFIFO, some S_ISSOCK, some are buggy and
357 zero the entire struct stat except a couple fields. Hence we don't
358 even try to figure out what something is, except for plain files
359 and block devices.
361 FIXME: Flush file cache and try again if we run out of memory. */
362 static int
363 read_include_file (pfile, inc)
364 cpp_reader *pfile;
365 struct include_file *inc;
367 ssize_t size, offset, count;
368 U_CHAR *buf;
369 #if MMAP_THRESHOLD
370 static int pagesize = -1;
371 #endif
373 if (S_ISREG (inc->st.st_mode))
375 /* off_t might have a wider range than ssize_t - in other words,
376 the max size of a file might be bigger than the address
377 space. We can't handle a file that large. (Anyone with
378 a single source file bigger than 2GB needs to rethink
379 their coding style.) Some systems (e.g. AIX 4.1) define
380 SSIZE_MAX to be much smaller than the actual range of the
381 type. Use INTTYPE_MAXIMUM unconditionally to ensure this
382 does not bite us. */
383 if (inc->st.st_size > INTTYPE_MAXIMUM (ssize_t))
385 cpp_error (pfile, "%s is too large", inc->name);
386 goto fail;
388 size = inc->st.st_size;
390 inc->mapped = 0;
391 #if MMAP_THRESHOLD
392 if (pagesize == -1)
393 pagesize = getpagesize ();
395 if (SHOULD_MMAP (size, pagesize))
397 buf = (U_CHAR *) mmap (0, size, PROT_READ, MAP_PRIVATE, inc->fd, 0);
398 if (buf == (U_CHAR *)-1)
399 goto perror_fail;
400 inc->mapped = 1;
402 else
403 #endif
405 buf = (U_CHAR *) xmalloc (size + 1);
406 offset = 0;
407 while (offset < size)
409 count = read (inc->fd, buf + offset, size - offset);
410 if (count < 0)
411 goto perror_fail;
412 if (count == 0)
414 if (!STAT_SIZE_TOO_BIG (inc->st))
415 cpp_warning
416 (pfile, "%s is shorter than expected", inc->name);
417 size = offset;
418 buf = xrealloc (buf, size + 1);
419 inc->st.st_size = size;
420 break;
422 offset += count;
424 /* The lexer requires that the buffer be NUL-terminated. */
425 buf[size] = '\0';
428 else if (S_ISBLK (inc->st.st_mode))
430 cpp_error (pfile, "%s is a block device", inc->name);
431 goto fail;
433 else
435 /* 8 kilobytes is a sensible starting size. It ought to be
436 bigger than the kernel pipe buffer, and it's definitely
437 bigger than the majority of C source files. */
438 size = 8 * 1024;
440 buf = (U_CHAR *) xmalloc (size + 1);
441 offset = 0;
442 while ((count = read (inc->fd, buf + offset, size - offset)) > 0)
444 offset += count;
445 if (offset == size)
447 size *= 2;
448 buf = xrealloc (buf, size + 1);
451 if (count < 0)
452 goto perror_fail;
454 if (offset + 1 < size)
455 buf = xrealloc (buf, offset + 1);
457 /* The lexer requires that the buffer be NUL-terminated. */
458 buf[offset] = '\0';
459 inc->st.st_size = offset;
462 inc->buffer = buf;
463 return 0;
465 perror_fail:
466 cpp_error_from_errno (pfile, inc->name);
467 fail:
468 return 1;
471 /* Drop INC's buffer from memory, if we are unlikely to need it again. */
472 static void
473 purge_cache (inc)
474 struct include_file *inc;
476 if (inc->buffer)
478 #if MMAP_THRESHOLD
479 if (inc->mapped)
480 munmap ((PTR) inc->buffer, inc->st.st_size);
481 else
482 #endif
483 free ((PTR) inc->buffer);
484 inc->buffer = NULL;
488 /* Return 1 if the file named by FNAME has been included before in
489 any context, 0 otherwise. */
491 cpp_included (pfile, fname)
492 cpp_reader *pfile;
493 const char *fname;
495 struct search_path *path;
496 char *name, *n;
497 splay_tree_node nd;
499 if (IS_ABSOLUTE_PATHNAME (fname))
501 /* Just look it up. */
502 nd = splay_tree_lookup (pfile->all_include_files, (splay_tree_key) fname);
503 return (nd && nd->value);
506 /* Search directory path for the file. */
507 name = (char *) alloca (strlen (fname) + pfile->max_include_len + 2);
508 for (path = CPP_OPTION (pfile, quote_include); path; path = path->next)
510 memcpy (name, path->name, path->len);
511 name[path->len] = '/';
512 strcpy (&name[path->len + 1], fname);
513 if (CPP_OPTION (pfile, remap))
514 n = remap_filename (pfile, name, path);
515 else
516 n = name;
518 nd = splay_tree_lookup (pfile->all_include_files, (splay_tree_key) n);
519 if (nd && nd->value)
520 return 1;
522 return 0;
525 /* Search for HEADER. Return 0 if there is no such file (or it's
526 un-openable), in which case an error code will be in errno. If
527 there is no include path to use it returns NO_INCLUDE_PATH,
528 otherwise an include_file structure. If this request originates
529 from a directive of TYPE #include_next, set INCLUDE_NEXT to true. */
530 static struct include_file *
531 find_include_file (pfile, header, type)
532 cpp_reader *pfile;
533 const cpp_token *header;
534 enum include_type type;
536 const char *fname = (const char *) header->val.str.text;
537 struct search_path *path;
538 struct include_file *file;
539 char *name, *n;
541 if (IS_ABSOLUTE_PATHNAME (fname))
542 return open_file (pfile, fname);
544 /* For #include_next, skip in the search path past the dir in which
545 the current file was found, but if it was found via an absolute
546 path use the normal search logic. */
547 if (type == IT_INCLUDE_NEXT && pfile->buffer->inc->foundhere)
548 path = pfile->buffer->inc->foundhere->next;
549 else if (header->type == CPP_HEADER_NAME)
550 path = CPP_OPTION (pfile, bracket_include);
551 else
552 path = search_from (pfile, type);
554 if (path == NULL)
556 cpp_error (pfile, "no include path in which to find %s", fname);
557 return NO_INCLUDE_PATH;
560 /* Search directory path for the file. */
561 name = (char *) alloca (strlen (fname) + pfile->max_include_len + 2);
562 for (; path; path = path->next)
564 int len = path->len;
565 memcpy (name, path->name, len);
566 /* Don't turn / into // or // into ///; // may be a namespace
567 escape. */
568 if (name[len-1] == '/')
569 len--;
570 name[len] = '/';
571 strcpy (&name[len + 1], fname);
572 if (CPP_OPTION (pfile, remap))
573 n = remap_filename (pfile, name, path);
574 else
575 n = name;
577 file = open_file (pfile, n);
578 if (file)
580 file->foundhere = path;
581 return file;
585 return 0;
588 /* Not everyone who wants to set system-header-ness on a buffer can
589 see the details of a buffer. This is an exported interface because
590 fix-header needs it. */
591 void
592 cpp_make_system_header (pfile, syshdr, externc)
593 cpp_reader *pfile;
594 int syshdr, externc;
596 int flags = 0;
598 /* 1 = system header, 2 = system header to be treated as C. */
599 if (syshdr)
600 flags = 1 + (externc != 0);
601 _cpp_do_file_change (pfile, LC_RENAME, pfile->map->to_file,
602 SOURCE_LINE (pfile->map, pfile->line), flags);
605 /* Report on all files that might benefit from a multiple include guard.
606 Triggered by -H. */
607 void
608 _cpp_report_missing_guards (pfile)
609 cpp_reader *pfile;
611 int banner = 0;
612 splay_tree_foreach (pfile->all_include_files, report_missing_guard,
613 (PTR) &banner);
616 /* Callback function for splay_tree_foreach(). */
617 static int
618 report_missing_guard (n, b)
619 splay_tree_node n;
620 void *b;
622 struct include_file *f = (struct include_file *) n->value;
623 int *bannerp = (int *)b;
625 if (f && f->cmacro == 0 && f->include_count == 1)
627 if (*bannerp == 0)
629 fputs (_("Multiple include guards may be useful for:\n"), stderr);
630 *bannerp = 1;
632 fputs (f->name, stderr);
633 putc ('\n', stderr);
635 return 0;
638 /* Create a dependency for file FNAME, or issue an error message as
639 appropriate. ANGLE_BRACKETS is non-zero if the file was bracketed
640 like <..>. */
641 static void
642 handle_missing_header (pfile, fname, angle_brackets)
643 cpp_reader *pfile;
644 const char *fname;
645 int angle_brackets;
647 int print_dep = CPP_PRINT_DEPS(pfile) > (angle_brackets || pfile->map->sysp);
649 if (CPP_OPTION (pfile, print_deps_missing_files) && print_dep)
651 if (!angle_brackets || IS_ABSOLUTE_PATHNAME (fname))
652 deps_add_dep (pfile->deps, fname);
653 else
655 /* If requested as a system header, assume it belongs in
656 the first system header directory. */
657 struct search_path *ptr = CPP_OPTION (pfile, bracket_include);
658 char *p;
659 int len = 0, fname_len = strlen (fname);
661 if (ptr)
662 len = ptr->len;
664 p = (char *) alloca (len + fname_len + 2);
665 if (len)
667 memcpy (p, ptr->name, len);
668 p[len++] = '/';
670 memcpy (p + len, fname, fname_len + 1);
671 deps_add_dep (pfile->deps, p);
674 /* If -M was specified, then don't count this as an error, because
675 we can still produce correct output. Otherwise, we can't produce
676 correct output, because there may be dependencies we need inside
677 the missing file, and we don't know what directory this missing
678 file exists in. FIXME: Use a future cpp_diagnostic_with_errno ()
679 for both of these cases. */
680 else if (CPP_PRINT_DEPS (pfile) && ! print_dep)
681 cpp_warning (pfile, "%s: %s", fname, xstrerror (errno));
682 else
683 cpp_error_from_errno (pfile, fname);
686 /* Handles #include-family directives (distinguished by TYPE),
687 including HEADER, and the command line -imacros and -include.
688 Returns true if a buffer was stacked. */
689 bool
690 _cpp_execute_include (pfile, header, type)
691 cpp_reader *pfile;
692 const cpp_token *header;
693 enum include_type type;
695 bool stacked = false;
696 struct include_file *inc = find_include_file (pfile, header, type);
698 if (inc == 0)
699 handle_missing_header (pfile, (const char *) header->val.str.text,
700 header->type == CPP_HEADER_NAME);
701 else if (inc != NO_INCLUDE_PATH)
703 stacked = stack_include_file (pfile, inc);
705 if (type == IT_IMPORT)
706 _cpp_never_reread (inc);
709 return stacked;
712 /* Locate HEADER, and determine whether it is newer than the current
713 file. If it cannot be located or dated, return -1, if it is newer
714 newer, return 1, otherwise 0. */
716 _cpp_compare_file_date (pfile, header)
717 cpp_reader *pfile;
718 const cpp_token *header;
720 struct include_file *inc = find_include_file (pfile, header, 0);
722 if (inc == NULL || inc == NO_INCLUDE_PATH)
723 return -1;
725 if (inc->fd > 0)
727 close (inc->fd);
728 inc->fd = -1;
731 return inc->st.st_mtime > pfile->buffer->inc->st.st_mtime;
735 /* Push an input buffer and load it up with the contents of FNAME. If
736 FNAME is "", read standard input. Return true if a buffer was
737 stacked. */
738 bool
739 _cpp_read_file (pfile, fname)
740 cpp_reader *pfile;
741 const char *fname;
743 struct include_file *f = open_file (pfile, fname);
745 if (f == NULL)
747 cpp_error_from_errno (pfile, fname);
748 return false;
751 return stack_include_file (pfile, f);
754 /* Do appropriate cleanup when a file INC's buffer is popped off the
755 input stack. Push the next -include file, if any remain. */
756 bool
757 _cpp_pop_file_buffer (pfile, inc)
758 cpp_reader *pfile;
759 struct include_file *inc;
761 bool pushed = false;
763 /* Record the inclusion-preventing macro, which could be NULL
764 meaning no controlling macro. */
765 if (pfile->mi_valid && inc->cmacro == NULL)
766 inc->cmacro = pfile->mi_cmacro;
768 /* Invalidate control macros in the #including file. */
769 pfile->mi_valid = false;
771 inc->refcnt--;
772 if (inc->refcnt == 0 && DO_NOT_REREAD (inc))
773 purge_cache (inc);
775 /* Don't generate a callback for popping the main file. */
776 if (pfile->buffer)
778 _cpp_do_file_change (pfile, LC_LEAVE, 0, 0, 0);
780 /* Finally, push the next -included file, if any. */
781 if (!pfile->buffer->prev)
782 pushed = _cpp_push_next_buffer (pfile);
785 return pushed;
788 /* Returns the first place in the include chain to start searching for
789 "" includes. This involves stripping away the basename of the
790 current file, unless -I- was specified.
792 If we're handling -include or -imacros, use the "" chain, but with
793 the preprocessor's cwd prepended. */
794 static struct search_path *
795 search_from (pfile, type)
796 cpp_reader *pfile;
797 enum include_type type;
799 cpp_buffer *buffer = pfile->buffer;
800 unsigned int dlen;
802 /* Command line uses the cwd, and does not cache the result. */
803 if (type == IT_CMDLINE)
804 goto use_cwd;
806 /* Ignore the current file's directory if -I- was given. */
807 if (CPP_OPTION (pfile, ignore_srcdir))
808 return CPP_OPTION (pfile, quote_include);
810 if (! buffer->search_cached)
812 buffer->search_cached = 1;
814 dlen = lbasename (buffer->inc->name) - buffer->inc->name;
816 if (dlen)
818 /* We don't guarantee NAME is null-terminated. This saves
819 allocating and freeing memory. Drop a trailing '/'. */
820 buffer->dir.name = buffer->inc->name;
821 if (dlen > 1)
822 dlen--;
824 else
826 use_cwd:
827 buffer->dir.name = ".";
828 dlen = 1;
831 if (dlen > pfile->max_include_len)
832 pfile->max_include_len = dlen;
834 buffer->dir.len = dlen;
835 buffer->dir.next = CPP_OPTION (pfile, quote_include);
836 buffer->dir.sysp = pfile->map->sysp;
839 return &buffer->dir;
842 /* The file_name_map structure holds a mapping of file names for a
843 particular directory. This mapping is read from the file named
844 FILE_NAME_MAP_FILE in that directory. Such a file can be used to
845 map filenames on a file system with severe filename restrictions,
846 such as DOS. The format of the file name map file is just a series
847 of lines with two tokens on each line. The first token is the name
848 to map, and the second token is the actual name to use. */
849 struct file_name_map
851 struct file_name_map *map_next;
852 char *map_from;
853 char *map_to;
856 #define FILE_NAME_MAP_FILE "header.gcc"
858 /* Read a space delimited string of unlimited length from a stdio
859 file F. */
860 static char *
861 read_filename_string (ch, f)
862 int ch;
863 FILE *f;
865 char *alloc, *set;
866 int len;
868 len = 20;
869 set = alloc = xmalloc (len + 1);
870 if (! is_space(ch))
872 *set++ = ch;
873 while ((ch = getc (f)) != EOF && ! is_space(ch))
875 if (set - alloc == len)
877 len *= 2;
878 alloc = xrealloc (alloc, len + 1);
879 set = alloc + len / 2;
881 *set++ = ch;
884 *set = '\0';
885 ungetc (ch, f);
886 return alloc;
889 /* This structure holds a linked list of file name maps, one per directory. */
890 struct file_name_map_list
892 struct file_name_map_list *map_list_next;
893 char *map_list_name;
894 struct file_name_map *map_list_map;
897 /* Read the file name map file for DIRNAME. */
898 static struct file_name_map *
899 read_name_map (pfile, dirname)
900 cpp_reader *pfile;
901 const char *dirname;
903 struct file_name_map_list *map_list_ptr;
904 char *name;
905 FILE *f;
907 /* Check the cache of directories, and mappings in their remap file. */
908 for (map_list_ptr = CPP_OPTION (pfile, map_list); map_list_ptr;
909 map_list_ptr = map_list_ptr->map_list_next)
910 if (! strcmp (map_list_ptr->map_list_name, dirname))
911 return map_list_ptr->map_list_map;
913 map_list_ptr = ((struct file_name_map_list *)
914 xmalloc (sizeof (struct file_name_map_list)));
915 map_list_ptr->map_list_name = xstrdup (dirname);
917 /* The end of the list ends in NULL. */
918 map_list_ptr->map_list_map = NULL;
920 name = (char *) alloca (strlen (dirname) + strlen (FILE_NAME_MAP_FILE) + 2);
921 strcpy (name, dirname);
922 if (*dirname)
923 strcat (name, "/");
924 strcat (name, FILE_NAME_MAP_FILE);
925 f = fopen (name, "r");
927 /* Silently return NULL if we cannot open. */
928 if (f)
930 int ch;
931 int dirlen = strlen (dirname);
933 while ((ch = getc (f)) != EOF)
935 char *from, *to;
936 struct file_name_map *ptr;
938 if (is_space(ch))
939 continue;
940 from = read_filename_string (ch, f);
941 while ((ch = getc (f)) != EOF && is_hspace(ch))
943 to = read_filename_string (ch, f);
945 ptr = ((struct file_name_map *)
946 xmalloc (sizeof (struct file_name_map)));
947 ptr->map_from = from;
949 /* Make the real filename absolute. */
950 if (IS_ABSOLUTE_PATHNAME (to))
951 ptr->map_to = to;
952 else
954 ptr->map_to = xmalloc (dirlen + strlen (to) + 2);
955 strcpy (ptr->map_to, dirname);
956 ptr->map_to[dirlen] = '/';
957 strcpy (ptr->map_to + dirlen + 1, to);
958 free (to);
961 ptr->map_next = map_list_ptr->map_list_map;
962 map_list_ptr->map_list_map = ptr;
964 while ((ch = getc (f)) != '\n')
965 if (ch == EOF)
966 break;
968 fclose (f);
971 /* Add this information to the cache. */
972 map_list_ptr->map_list_next = CPP_OPTION (pfile, map_list);
973 CPP_OPTION (pfile, map_list) = map_list_ptr;
975 return map_list_ptr->map_list_map;
978 /* Remap an unsimplified path NAME based on the file_name_map (if any)
979 for LOC. */
980 static char *
981 remap_filename (pfile, name, loc)
982 cpp_reader *pfile;
983 char *name;
984 struct search_path *loc;
986 struct file_name_map *map;
987 const char *from, *p;
988 char *dir;
990 if (! loc->name_map)
992 /* Get a null-terminated path. */
993 char *dname = alloca (loc->len + 1);
994 memcpy (dname, loc->name, loc->len);
995 dname[loc->len] = '\0';
997 loc->name_map = read_name_map (pfile, dname);
998 if (! loc->name_map)
999 return name;
1002 /* This works since NAME has not been simplified yet. */
1003 from = name + loc->len + 1;
1005 for (map = loc->name_map; map; map = map->map_next)
1006 if (!strcmp (map->map_from, from))
1007 return map->map_to;
1009 /* Try to find a mapping file for the particular directory we are
1010 looking in. Thus #include <sys/types.h> will look up sys/types.h
1011 in /usr/include/header.gcc and look up types.h in
1012 /usr/include/sys/header.gcc. */
1013 p = strrchr (name, '/');
1014 if (!p)
1015 return name;
1017 /* We know p != name as absolute paths don't call remap_filename. */
1018 if (p == name)
1019 cpp_ice (pfile, "absolute file name in remap_filename");
1021 dir = (char *) alloca (p - name + 1);
1022 memcpy (dir, name, p - name);
1023 dir[p - name] = '\0';
1024 from = p + 1;
1026 for (map = read_name_map (pfile, dir); map; map = map->map_next)
1027 if (! strcmp (map->map_from, from))
1028 return map->map_to;
1030 return name;
1033 /* Returns true if it is safe to remove the final component of path,
1034 when it is followed by a ".." component. We use lstat to avoid
1035 symlinks if we have it. If not, we can still catch errors with
1036 stat (). */
1037 static int
1038 remove_component_p (path)
1039 const char *path;
1041 struct stat s;
1042 int result;
1044 #ifdef HAVE_LSTAT
1045 result = lstat (path, &s);
1046 #else
1047 result = stat (path, &s);
1048 #endif
1050 /* There's no guarantee that errno will be unchanged, even on
1051 success. Cygwin's lstat(), for example, will often set errno to
1052 ENOSYS. In case of success, reset errno to zero. */
1053 if (result == 0)
1054 errno = 0;
1056 return result == 0 && S_ISDIR (s.st_mode);
1059 /* Simplify a path name in place, deleting redundant components. This
1060 reduces OS overhead and guarantees that equivalent paths compare
1061 the same (modulo symlinks).
1063 Transforms made:
1064 foo/bar/../quux foo/quux
1065 foo/./bar foo/bar
1066 foo//bar foo/bar
1067 /../quux /quux
1068 //quux //quux (POSIX allows leading // as a namespace escape)
1070 Guarantees no trailing slashes. All transforms reduce the length
1071 of the string. Returns PATH. errno is 0 if no error occurred;
1072 nonzero if an error occurred when using stat () or lstat (). */
1073 char *
1074 _cpp_simplify_pathname (path)
1075 char *path;
1077 #ifndef VMS
1078 char *from, *to;
1079 char *base, *orig_base;
1080 int absolute = 0;
1082 errno = 0;
1083 /* Don't overflow the empty path by putting a '.' in it below. */
1084 if (*path == '\0')
1085 return path;
1087 #if defined (HAVE_DOS_BASED_FILE_SYSTEM)
1088 /* Convert all backslashes to slashes. */
1089 for (from = path; *from; from++)
1090 if (*from == '\\') *from = '/';
1092 /* Skip over leading drive letter if present. */
1093 if (ISALPHA (path[0]) && path[1] == ':')
1094 from = to = &path[2];
1095 else
1096 from = to = path;
1097 #else
1098 from = to = path;
1099 #endif
1101 /* Remove redundant leading /s. */
1102 if (*from == '/')
1104 absolute = 1;
1105 to++;
1106 from++;
1107 if (*from == '/')
1109 if (*++from == '/')
1110 /* 3 or more initial /s are equivalent to 1 /. */
1111 while (*++from == '/');
1112 else
1113 /* On some hosts // differs from /; Posix allows this. */
1114 to++;
1118 base = orig_base = to;
1119 for (;;)
1121 int move_base = 0;
1123 while (*from == '/')
1124 from++;
1126 if (*from == '\0')
1127 break;
1129 if (*from == '.')
1131 if (from[1] == '\0')
1132 break;
1133 if (from[1] == '/')
1135 from += 2;
1136 continue;
1138 else if (from[1] == '.' && (from[2] == '/' || from[2] == '\0'))
1140 /* Don't simplify if there was no previous component. */
1141 if (absolute && orig_base == to)
1143 from += 2;
1144 continue;
1146 /* Don't simplify if the previous component was "../",
1147 or if an error has already occurred with (l)stat. */
1148 if (base != to && errno == 0)
1150 /* We don't back up if it's a symlink. */
1151 *to = '\0';
1152 if (remove_component_p (path))
1154 while (to > base && *to != '/')
1155 to--;
1156 from += 2;
1157 continue;
1160 move_base = 1;
1164 /* Add the component separator. */
1165 if (to > orig_base)
1166 *to++ = '/';
1168 /* Copy this component until the trailing null or '/'. */
1169 while (*from != '\0' && *from != '/')
1170 *to++ = *from++;
1172 if (move_base)
1173 base = to;
1176 /* Change the empty string to "." so that it is not treated as stdin.
1177 Null terminate. */
1178 if (to == path)
1179 *to++ = '.';
1180 *to = '\0';
1182 return path;
1183 #else /* VMS */
1184 errno = 0;
1185 return path;
1186 #endif /* !VMS */