[Ada] Stronger assertion about flag for checking static expressions
[official-gcc.git] / libcpp / files.c
blob6e20fc5887f001d23179eda88c5de323f24571a1
1 /* Part of CPP library. File handling.
2 Copyright (C) 1986-2021 Free Software Foundation, Inc.
3 Written by Per Bothner, 1994.
4 Based on CCCP program by Paul Rubin, June 1986
5 Adapted to ANSI C, Richard Stallman, Jan 1987
6 Split out of cpplib.c, Zack Weinberg, Oct 1998
7 Reimplemented, Neil Booth, Jul 2003
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.
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; see the file COPYING3. If not see
21 <http://www.gnu.org/licenses/>. */
23 #include "config.h"
24 #include "system.h"
25 #include "cpplib.h"
26 #include "internal.h"
27 #include "mkdeps.h"
28 #include "obstack.h"
29 #include "hashtab.h"
30 #include "md5.h"
31 #include <dirent.h>
33 /* Variable length record files on VMS will have a stat size that includes
34 record control characters that won't be included in the read size. */
35 #ifdef VMS
36 # define FAB_C_VAR 2 /* variable length records (see Starlet fabdef.h) */
37 # define STAT_SIZE_RELIABLE(ST) ((ST).st_fab_rfm != FAB_C_VAR)
38 #else
39 # define STAT_SIZE_RELIABLE(ST) true
40 #endif
42 #ifdef __DJGPP__
43 #include <io.h>
44 /* For DJGPP redirected input is opened in text mode. */
45 # define set_stdin_to_binary_mode() \
46 if (! isatty (0)) setmode (0, O_BINARY)
47 #else
48 # define set_stdin_to_binary_mode() /* Nothing */
49 #endif
51 /* This structure represents a file searched for by CPP, whether it
52 exists or not. An instance may be pointed to by more than one
53 cpp_file_hash_entry; at present no reference count is kept. */
54 struct _cpp_file
56 /* Filename as given to #include or command line switch. */
57 const char *name;
59 /* The full path used to find the file. */
60 const char *path;
62 /* The full path of the pch file. */
63 const char *pchname;
65 /* The file's path with the basename stripped. NULL if it hasn't
66 been calculated yet. */
67 const char *dir_name;
69 /* Chain through all files. */
70 struct _cpp_file *next_file;
72 /* The contents of NAME after calling read_file(). */
73 const uchar *buffer;
75 /* Pointer to the real start of BUFFER. read_file() might increment
76 BUFFER; when freeing, this this pointer must be used instead. */
77 const uchar *buffer_start;
79 /* The macro, if any, preventing re-inclusion. */
80 const cpp_hashnode *cmacro;
82 /* The directory in the search path where FILE was found. Used for
83 #include_next and determining whether a header is a system
84 header. */
85 cpp_dir *dir;
87 /* As filled in by stat(2) for the file. */
88 struct stat st;
90 /* File descriptor. Invalid if -1, otherwise open. */
91 int fd;
93 /* Zero if this file was successfully opened and stat()-ed,
94 otherwise errno obtained from failure. */
95 int err_no;
97 /* Number of times the file has been stacked for preprocessing. */
98 unsigned short stack_count;
100 /* If opened with #import or contains #pragma once. */
101 bool once_only : 1;
103 /* If read() failed before. */
104 bool dont_read : 1;
106 /* If BUFFER above contains the true contents of the file. */
107 bool buffer_valid : 1;
109 /* If this file is implicitly preincluded. */
110 bool implicit_preinclude : 1;
112 /* > 0: Known C++ Module header unit, <0: known not. ==0, unknown */
113 int header_unit : 2;
116 /* A singly-linked list for all searches for a given file name, with
117 its head pointed to by a slot in FILE_HASH. The file name is what
118 appeared between the quotes in a #include directive; it can be
119 determined implicitly from the hash table location or explicitly
120 from FILE->name.
122 FILE is a structure containing details about the file that was
123 found with that search, or details of how the search failed.
125 START_DIR is the starting location of the search in the include
126 chain. The current directories for "" includes are also hashed in
127 the hash table and therefore unique. Files that are looked up
128 without using a search path, such as absolute filenames and file
129 names from the command line share a special starting directory so
130 they don't cause cache hits with normal include-chain lookups.
132 If START_DIR is NULL then the entry is for a directory, not a file,
133 and the directory is in DIR. Since the starting point in a file
134 lookup chain is never NULL, this means that simple pointer
135 comparisons against START_DIR can be made to determine cache hits
136 in file lookups.
138 If a cache lookup fails because of e.g. an extra "./" in the path,
139 then nothing will break. It is just less efficient as CPP will
140 have to do more work re-preprocessing the file, and/or comparing
141 its contents against earlier once-only files.
143 struct cpp_file_hash_entry
145 struct cpp_file_hash_entry *next;
146 cpp_dir *start_dir;
147 location_t location;
148 union
150 _cpp_file *file;
151 cpp_dir *dir;
152 } u;
155 /* Number of entries to put in a cpp_file_hash_entry pool. */
156 #define FILE_HASH_POOL_SIZE 127
158 /* A file hash entry pool. We allocate cpp_file_hash_entry object from
159 one of these. */
160 struct file_hash_entry_pool
162 /* Number of entries used from this pool. */
163 unsigned int file_hash_entries_used;
164 /* Next pool in the chain; used when freeing. */
165 struct file_hash_entry_pool *next;
166 /* The memory pool. */
167 struct cpp_file_hash_entry pool[FILE_HASH_POOL_SIZE];
170 static bool open_file (_cpp_file *file);
171 static bool pch_open_file (cpp_reader *pfile, _cpp_file *file,
172 bool *invalid_pch);
173 static bool find_file_in_dir (cpp_reader *pfile, _cpp_file *file,
174 bool *invalid_pch, location_t loc);
175 static bool read_file_guts (cpp_reader *pfile, _cpp_file *file,
176 location_t loc);
177 static bool read_file (cpp_reader *pfile, _cpp_file *file,
178 location_t loc);
179 static struct cpp_dir *search_path_head (cpp_reader *, const char *fname,
180 int angle_brackets, enum include_type);
181 static const char *dir_name_of_file (_cpp_file *file);
182 static void open_file_failed (cpp_reader *pfile, _cpp_file *file, int,
183 location_t);
184 static struct cpp_file_hash_entry *search_cache (struct cpp_file_hash_entry *head,
185 const cpp_dir *start_dir);
186 static _cpp_file *make_cpp_file (cpp_dir *, const char *fname);
187 static void destroy_cpp_file (_cpp_file *);
188 static cpp_dir *make_cpp_dir (cpp_reader *, const char *dir_name, int sysp);
189 static void allocate_file_hash_entries (cpp_reader *pfile);
190 static struct cpp_file_hash_entry *new_file_hash_entry (cpp_reader *pfile);
191 static int report_missing_guard (void **slot, void *b);
192 static hashval_t file_hash_hash (const void *p);
193 static int file_hash_eq (const void *p, const void *q);
194 static char *read_filename_string (int ch, FILE *f);
195 static void read_name_map (cpp_dir *dir);
196 static char *remap_filename (cpp_reader *pfile, _cpp_file *file);
197 static char *append_file_to_dir (const char *fname, cpp_dir *dir);
198 static bool validate_pch (cpp_reader *, _cpp_file *file, const char *pchname);
199 static int pchf_save_compare (const void *e1, const void *e2);
200 static int pchf_compare (const void *d_p, const void *e_p);
201 static bool check_file_against_entries (cpp_reader *, _cpp_file *, bool);
203 /* Given a filename in FILE->PATH, with the empty string interpreted
204 as <stdin>, open it.
206 On success FILE contains an open file descriptor and stat
207 information for the file. On failure the file descriptor is -1 and
208 the appropriate errno is also stored in FILE. Returns TRUE iff
209 successful.
211 We used to open files in nonblocking mode, but that caused more
212 problems than it solved. Do take care not to acquire a controlling
213 terminal by mistake (this can't happen on sane systems, but
214 paranoia is a virtue).
216 Use the three-argument form of open even though we aren't
217 specifying O_CREAT, to defend against broken system headers.
219 O_BINARY tells some runtime libraries (notably DJGPP) not to do
220 newline translation; we can handle DOS line breaks just fine
221 ourselves. */
222 static bool
223 open_file (_cpp_file *file)
225 if (file->path[0] == '\0')
227 file->fd = 0;
228 set_stdin_to_binary_mode ();
230 else
231 file->fd = open (file->path, O_RDONLY | O_NOCTTY | O_BINARY, 0666);
233 if (file->fd != -1)
235 if (fstat (file->fd, &file->st) == 0)
237 if (!S_ISDIR (file->st.st_mode))
239 file->err_no = 0;
240 return true;
243 /* Ignore a directory and continue the search. The file we're
244 looking for may be elsewhere in the search path. */
245 errno = ENOENT;
248 close (file->fd);
249 file->fd = -1;
251 #if defined(_WIN32) && !defined(__CYGWIN__)
252 else if (errno == EACCES)
254 /* On most UNIX systems, open succeeds on a directory. Above,
255 we check if we have opened a directory and if so, set errno
256 to ENOENT. However, on Windows, opening a directory
257 fails with EACCES. We want to return ENOENT in that
258 case too. */
259 if (stat (file->path, &file->st) == 0
260 && S_ISDIR (file->st.st_mode))
261 errno = ENOENT;
262 else
263 /* The call to stat may have reset errno. */
264 errno = EACCES;
266 #endif
267 else if (errno == ENOTDIR)
268 errno = ENOENT;
270 file->err_no = errno;
272 return false;
275 /* Temporary PCH intercept of opening a file. Try to find a PCH file
276 based on FILE->name and FILE->dir, and test those found for
277 validity using PFILE->cb.valid_pch. Return true iff a valid file is
278 found. Set *INVALID_PCH if a PCH file is found but wasn't valid. */
280 static bool
281 pch_open_file (cpp_reader *pfile, _cpp_file *file, bool *invalid_pch)
283 static const char extension[] = ".gch";
284 const char *path = file->path;
285 size_t len, flen;
286 char *pchname;
287 struct stat st;
288 bool valid = false;
290 /* No PCH on <stdin> or if not requested. */
291 if (file->name[0] == '\0' || !pfile->cb.valid_pch)
292 return false;
294 /* If the file is not included as first include from either the toplevel
295 file or the command-line it is not a valid use of PCH. */
296 for (_cpp_file *f = pfile->all_files; f; f = f->next_file)
297 if (f->implicit_preinclude)
298 continue;
299 else if (pfile->main_file == f)
300 break;
301 else
302 return false;
304 flen = strlen (path);
305 len = flen + sizeof (extension);
306 pchname = XNEWVEC (char, len);
307 memcpy (pchname, path, flen);
308 memcpy (pchname + flen, extension, sizeof (extension));
310 if (stat (pchname, &st) == 0)
312 DIR *pchdir;
313 struct dirent *d;
314 size_t dlen, plen = len;
316 if (!S_ISDIR (st.st_mode))
317 valid = validate_pch (pfile, file, pchname);
318 else if ((pchdir = opendir (pchname)) != NULL)
320 pchname[plen - 1] = '/';
321 while ((d = readdir (pchdir)) != NULL)
323 dlen = strlen (d->d_name) + 1;
324 if ((strcmp (d->d_name, ".") == 0)
325 || (strcmp (d->d_name, "..") == 0))
326 continue;
327 if (dlen + plen > len)
329 len += dlen + 64;
330 pchname = XRESIZEVEC (char, pchname, len);
332 memcpy (pchname + plen, d->d_name, dlen);
333 valid = validate_pch (pfile, file, pchname);
334 if (valid)
335 break;
337 closedir (pchdir);
339 if (!valid)
340 *invalid_pch = true;
343 if (valid)
344 file->pchname = pchname;
345 else
346 free (pchname);
348 return valid;
351 /* Canonicalize the path to FILE. Return the canonical form if it is
352 shorter, otherwise return NULL. This function does NOT free the
353 memory pointed by FILE. */
355 static char *
356 maybe_shorter_path (const char * file)
358 char * file2 = lrealpath (file);
359 if (file2 && strlen (file2) < strlen (file))
361 return file2;
363 else
365 free (file2);
366 return NULL;
370 /* Try to open the path FILE->name appended to FILE->dir. This is
371 where remap and PCH intercept the file lookup process. Return true
372 if the file was found, whether or not the open was successful.
373 Set *INVALID_PCH to true if a PCH file is found but wasn't valid.
374 Use LOC when emitting any diagnostics. */
376 static bool
377 find_file_in_dir (cpp_reader *pfile, _cpp_file *file, bool *invalid_pch,
378 location_t loc)
380 char *path;
382 if (CPP_OPTION (pfile, remap) && (path = remap_filename (pfile, file)))
384 else
385 if (file->dir->construct)
386 path = file->dir->construct (file->name, file->dir);
387 else
388 path = append_file_to_dir (file->name, file->dir);
390 if (path)
392 hashval_t hv;
393 char *copy;
394 void **pp;
396 /* We try to canonicalize system headers. For DOS based file
397 * system, we always try to shorten non-system headers, as DOS
398 * has a tighter constraint on max path length. */
399 if ((CPP_OPTION (pfile, canonical_system_headers) && file->dir->sysp)
400 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
401 || !file->dir->sysp
402 #endif
405 char * canonical_path = maybe_shorter_path (path);
406 if (canonical_path)
408 /* The canonical path was newly allocated. Let's free the
409 non-canonical one. */
410 free (path);
411 path = canonical_path;
415 hv = htab_hash_string (path);
416 if (htab_find_with_hash (pfile->nonexistent_file_hash, path, hv) != NULL)
418 file->err_no = ENOENT;
419 return false;
422 file->path = path;
423 if (pch_open_file (pfile, file, invalid_pch))
424 return true;
426 if (open_file (file))
427 return true;
429 if (file->err_no != ENOENT)
431 open_file_failed (pfile, file, 0, loc);
432 return true;
435 /* We copy the path name onto an obstack partly so that we don't
436 leak the memory, but mostly so that we don't fragment the
437 heap. */
438 copy = (char *) obstack_copy0 (&pfile->nonexistent_file_ob, path,
439 strlen (path));
440 free (path);
441 pp = htab_find_slot_with_hash (pfile->nonexistent_file_hash,
442 copy, hv, INSERT);
443 *pp = copy;
445 file->path = file->name;
447 else
449 file->err_no = ENOENT;
450 file->path = NULL;
453 return false;
456 /* Return true iff the missing_header callback found the given HEADER. */
457 static bool
458 search_path_exhausted (cpp_reader *pfile, const char *header, _cpp_file *file)
460 missing_header_cb func = pfile->cb.missing_header;
462 /* When the regular search path doesn't work, try context dependent
463 headers search paths. */
464 if (func
465 && file->dir == NULL)
467 if ((file->path = func (pfile, header, &file->dir)) != NULL)
469 if (open_file (file))
470 return true;
471 free ((void *)file->path);
473 file->path = file->name;
476 return false;
479 bool
480 _cpp_find_failed (_cpp_file *file)
482 return file->err_no != 0;
485 /* Given a filename FNAME search for such a file in the include path
486 starting from START_DIR. If FNAME is the empty string it is
487 interpreted as STDIN if START_DIR is PFILE->no_search_path.
489 If the file is not found in the file cache fall back to the O/S and
490 add the result to our cache.
492 If the file was not found in the filesystem, or there was an error
493 opening it, then ERR_NO is nonzero and FD is -1. If the file was
494 found, then ERR_NO is zero and FD could be -1 or an open file
495 descriptor. FD can be -1 if the file was found in the cache and
496 had previously been closed. To open it again pass the return value
497 to open_file().
499 If KIND is _cpp_FFK_PRE_INCLUDE then it is OK for the file to be
500 missing. If present, it is OK for a precompiled header to be
501 included after it.
503 Use LOC as the location for any errors. */
505 _cpp_file *
506 _cpp_find_file (cpp_reader *pfile, const char *fname, cpp_dir *start_dir,
507 int angle_brackets, _cpp_find_file_kind kind, location_t loc)
509 bool invalid_pch = false;
510 bool saw_bracket_include = false;
511 bool saw_quote_include = false;
512 struct cpp_dir *found_in_cache = NULL;
514 /* Ensure we get no confusion between cached files and directories. */
515 if (start_dir == NULL)
516 cpp_error_at (pfile, CPP_DL_ICE, loc, "NULL directory in find_file");
518 void **hash_slot
519 = htab_find_slot_with_hash (pfile->file_hash, fname,
520 htab_hash_string (fname), INSERT);
522 /* First check the cache before we resort to memory allocation. */
523 cpp_file_hash_entry *entry
524 = search_cache ((struct cpp_file_hash_entry *) *hash_slot, start_dir);
525 if (entry)
526 return entry->u.file;
528 _cpp_file *file = make_cpp_file (start_dir, fname);
529 file->implicit_preinclude
530 = (kind == _cpp_FFK_PRE_INCLUDE
531 || (pfile->buffer && pfile->buffer->file->implicit_preinclude));
533 if (kind != _cpp_FFK_FAKE)
534 /* Try each path in the include chain. */
535 for (;;)
537 if (find_file_in_dir (pfile, file, &invalid_pch, loc))
538 break;
540 file->dir = file->dir->next;
541 if (file->dir == NULL)
543 if (search_path_exhausted (pfile, fname, file))
545 /* Although this file must not go in the cache,
546 because the file found might depend on things (like
547 the current file) that aren't represented in the
548 cache, it still has to go in the list of all files
549 so that #import works. */
550 file->next_file = pfile->all_files;
551 pfile->all_files = file;
552 if (*hash_slot == NULL)
554 /* If *hash_slot is NULL, the above
555 htab_find_slot_with_hash call just created the
556 slot, but we aren't going to store there
557 anything, so need to remove the newly created
558 entry. htab_clear_slot requires that it is
559 non-NULL, so store there some non-NULL pointer,
560 htab_clear_slot will overwrite it
561 immediately. */
562 *hash_slot = file;
563 htab_clear_slot (pfile->file_hash, hash_slot);
565 return file;
568 if (invalid_pch)
570 cpp_error (pfile, CPP_DL_ERROR,
571 "one or more PCH files were found,"
572 " but they were invalid");
573 if (!cpp_get_options (pfile)->warn_invalid_pch)
574 cpp_error (pfile, CPP_DL_NOTE,
575 "use -Winvalid-pch for more information");
578 if (kind == _cpp_FFK_PRE_INCLUDE)
580 free ((char *) file->name);
581 free (file);
582 if (*hash_slot == NULL)
584 /* See comment on the above htab_clear_slot call. */
585 *hash_slot = file;
586 htab_clear_slot (pfile->file_hash, hash_slot);
588 return NULL;
591 if (kind != _cpp_FFK_HAS_INCLUDE)
592 open_file_failed (pfile, file, angle_brackets, loc);
593 break;
596 /* Only check the cache for the starting location (done above)
597 and the quote and bracket chain heads because there are no
598 other possible starting points for searches. */
599 if (file->dir == pfile->bracket_include)
600 saw_bracket_include = true;
601 else if (file->dir == pfile->quote_include)
602 saw_quote_include = true;
603 else
604 continue;
606 entry
607 = search_cache ((struct cpp_file_hash_entry *) *hash_slot, file->dir);
608 if (entry)
610 found_in_cache = file->dir;
611 break;
615 if (entry)
617 /* Cache for START_DIR too, sharing the _cpp_file structure. */
618 free ((char *) file->name);
619 free (file);
620 file = entry->u.file;
622 else
624 /* This is a new file; put it in the list. */
625 file->next_file = pfile->all_files;
626 pfile->all_files = file;
629 /* Store this new result in the hash table. */
630 entry = new_file_hash_entry (pfile);
631 entry->next = (struct cpp_file_hash_entry *) *hash_slot;
632 entry->start_dir = start_dir;
633 entry->location = loc;
634 entry->u.file = file;
635 *hash_slot = (void *) entry;
637 /* If we passed the quote or bracket chain heads, cache them also.
638 This speeds up processing if there are lots of -I options. */
639 if (saw_bracket_include
640 && pfile->bracket_include != start_dir
641 && found_in_cache != pfile->bracket_include)
643 entry = new_file_hash_entry (pfile);
644 entry->next = (struct cpp_file_hash_entry *) *hash_slot;
645 entry->start_dir = pfile->bracket_include;
646 entry->location = loc;
647 entry->u.file = file;
648 *hash_slot = (void *) entry;
650 if (saw_quote_include
651 && pfile->quote_include != start_dir
652 && found_in_cache != pfile->quote_include)
654 entry = new_file_hash_entry (pfile);
655 entry->next = (struct cpp_file_hash_entry *) *hash_slot;
656 entry->start_dir = pfile->quote_include;
657 entry->location = loc;
658 entry->u.file = file;
659 *hash_slot = (void *) entry;
662 return file;
665 /* Read a file into FILE->buffer, returning true on success.
667 If FILE->fd is something weird, like a block device, we don't want
668 to read it at all. Don't even try to figure out what something is,
669 except for plain files and block devices, since there is no
670 reliable portable way of doing this.
672 Use LOC for any diagnostics.
674 FIXME: Flush file cache and try again if we run out of memory. */
675 static bool
676 read_file_guts (cpp_reader *pfile, _cpp_file *file, location_t loc)
678 ssize_t size, total, count;
679 uchar *buf;
680 bool regular;
682 if (S_ISBLK (file->st.st_mode))
684 cpp_error_at (pfile, CPP_DL_ERROR, loc,
685 "%s is a block device", file->path);
686 return false;
689 regular = S_ISREG (file->st.st_mode) != 0;
690 if (regular)
692 /* off_t might have a wider range than ssize_t - in other words,
693 the max size of a file might be bigger than the address
694 space. We can't handle a file that large. (Anyone with
695 a single source file bigger than 2GB needs to rethink
696 their coding style.) Some systems (e.g. AIX 4.1) define
697 SSIZE_MAX to be much smaller than the actual range of the
698 type. Use INTTYPE_MAXIMUM unconditionally to ensure this
699 does not bite us. */
700 if (file->st.st_size > INTTYPE_MAXIMUM (ssize_t))
702 cpp_error_at (pfile, CPP_DL_ERROR, loc,
703 "%s is too large", file->path);
704 return false;
707 size = file->st.st_size;
709 else
710 /* 8 kilobytes is a sensible starting size. It ought to be bigger
711 than the kernel pipe buffer, and it's definitely bigger than
712 the majority of C source files. */
713 size = 8 * 1024;
715 /* The + 16 here is space for the final '\n' and 15 bytes of padding,
716 used to quiet warnings from valgrind or Address Sanitizer, when the
717 optimized lexer accesses aligned 16-byte memory chunks, including
718 the bytes after the malloced, area, and stops lexing on '\n'. */
719 buf = XNEWVEC (uchar, size + 16);
720 total = 0;
721 while ((count = read (file->fd, buf + total, size - total)) > 0)
723 total += count;
725 if (total == size)
727 if (regular)
728 break;
729 size *= 2;
730 buf = XRESIZEVEC (uchar, buf, size + 16);
734 if (count < 0)
736 cpp_errno_filename (pfile, CPP_DL_ERROR, file->path, loc);
737 free (buf);
738 return false;
741 if (regular && total != size && STAT_SIZE_RELIABLE (file->st))
742 cpp_error_at (pfile, CPP_DL_WARNING, loc,
743 "%s is shorter than expected", file->path);
745 file->buffer = _cpp_convert_input (pfile,
746 CPP_OPTION (pfile, input_charset),
747 buf, size + 16, total,
748 &file->buffer_start,
749 &file->st.st_size);
750 file->buffer_valid = true;
752 return true;
755 /* Convenience wrapper around read_file_guts that opens the file if
756 necessary and closes the file descriptor after reading. FILE must
757 have been passed through find_file() at some stage. Use LOC for
758 any diagnostics. */
759 static bool
760 read_file (cpp_reader *pfile, _cpp_file *file, location_t loc)
762 /* If we already have its contents in memory, succeed immediately. */
763 if (file->buffer_valid)
764 return true;
766 /* If an earlier read failed for some reason don't try again. */
767 if (file->dont_read || file->err_no)
768 return false;
770 if (file->fd == -1 && !open_file (file))
772 open_file_failed (pfile, file, 0, loc);
773 return false;
776 file->dont_read = !read_file_guts (pfile, file, loc);
777 close (file->fd);
778 file->fd = -1;
780 return !file->dont_read;
783 /* Returns TRUE if FILE is already known to be idempotent, and should
784 therefore not be read again. */
785 static bool
786 is_known_idempotent_file (cpp_reader *pfile, _cpp_file *file, bool import)
788 /* Skip once-only files. */
789 if (file->once_only)
790 return true;
792 /* We must mark the file once-only if #import now, before header
793 guard checks. Otherwise, undefining the header guard might
794 cause the file to be re-stacked. */
795 if (import)
797 _cpp_mark_file_once_only (pfile, file);
799 /* Don't stack files that have been stacked before. */
800 if (file->stack_count)
801 return true;
804 /* Skip if the file had a header guard and the macro is defined.
805 PCH relies on this appearing before the PCH handler below. */
806 if (file->cmacro && cpp_macro_p (file->cmacro))
807 return true;
809 /* Handle PCH files immediately; don't stack them. */
810 if (file->pchname)
812 pfile->cb.read_pch (pfile, file->pchname, file->fd, file->path);
813 file->fd = -1;
814 free ((void *) file->pchname);
815 file->pchname = NULL;
816 return true;
819 return false;
822 /* Return TRUE if file has unique contents, so we should read process
823 it. The file's contents must already have been read. */
825 static bool
826 has_unique_contents (cpp_reader *pfile, _cpp_file *file, bool import,
827 location_t loc)
829 /* Check the file against the PCH file. This is done before
830 checking against files we've already seen, since it may save on
831 I/O. */
832 if (check_file_against_entries (pfile, file, import))
834 /* If this isn't a #import, but yet we can't include the file,
835 that means that it was #import-ed in the PCH file,
836 so we can never include it again. */
837 if (! import)
838 _cpp_mark_file_once_only (pfile, file);
839 return false;
842 /* Now we've read the file's contents, we can stack it if there
843 are no once-only files. */
844 if (!pfile->seen_once_only)
845 return true;
847 /* We may have read the file under a different name. Look
848 for likely candidates and compare file contents to be sure. */
849 for (_cpp_file *f = pfile->all_files; f; f = f->next_file)
851 if (f == file)
852 continue; /* It'sa me! */
854 if ((import || f->once_only)
855 && f->err_no == 0
856 && f->st.st_mtime == file->st.st_mtime
857 && f->st.st_size == file->st.st_size)
859 _cpp_file *ref_file;
861 if (f->buffer && !f->buffer_valid)
863 /* We already have a buffer but it is not valid, because
864 the file is still stacked. Make a new one. */
865 ref_file = make_cpp_file (f->dir, f->name);
866 ref_file->path = f->path;
868 else
869 /* The file is not stacked anymore. We can reuse it. */
870 ref_file = f;
872 bool same_file_p = (read_file (pfile, ref_file, loc)
873 /* Size might have changed in read_file(). */
874 && ref_file->st.st_size == file->st.st_size
875 && !memcmp (ref_file->buffer, file->buffer,
876 file->st.st_size));
878 if (f->buffer && !f->buffer_valid)
880 ref_file->path = 0;
881 destroy_cpp_file (ref_file);
884 if (same_file_p)
885 /* Already seen under a different name. */
886 return false;
890 return true;
893 /* Place the file referenced by FILE into a new buffer on the buffer
894 stack if possible. Returns true if a buffer is stacked. Use LOC
895 for any diagnostics. */
897 bool
898 _cpp_stack_file (cpp_reader *pfile, _cpp_file *file, include_type type,
899 location_t loc)
901 if (is_known_idempotent_file (pfile, file, type == IT_IMPORT))
902 return false;
904 int sysp = 0;
905 char *buf = nullptr;
907 /* Check C++ module include translation. */
908 if (!file->header_unit && type < IT_HEADER_HWM
909 /* Do not include translate include-next. */
910 && type != IT_INCLUDE_NEXT
911 && pfile->cb.translate_include)
912 buf = (pfile->cb.translate_include
913 (pfile, pfile->line_table, loc, file->path));
915 if (buf)
917 /* We don't increment the line number at the end of a buffer,
918 because we don't usually need that location (we're popping an
919 include file). However in this case we do want to do the
920 increment. So push a writable buffer of two newlines to acheive
921 that. (We also need an extra newline, so this looks like a regular
922 file, which we do that to to make sure we don't fall off the end in the
923 middle of a line. */
924 static uchar newlines[] = "\n\n\n";
925 cpp_push_buffer (pfile, newlines, 2, true);
927 size_t len = strlen (buf);
928 buf[len] = '\n'; /* See above */
929 cpp_buffer *buffer
930 = cpp_push_buffer (pfile, reinterpret_cast<unsigned char *> (buf),
931 len, true);
932 buffer->to_free = buffer->buf;
934 file->header_unit = +1;
935 _cpp_mark_file_once_only (pfile, file);
937 else
939 /* Not a header unit, and we know it. */
940 file->header_unit = -1;
942 if (!read_file (pfile, file, loc))
943 return false;
945 if (!has_unique_contents (pfile, file, type == IT_IMPORT, loc))
946 return false;
948 if (pfile->buffer && file->dir)
949 sysp = MAX (pfile->buffer->sysp, file->dir->sysp);
951 /* Add the file to the dependencies on its first inclusion. */
952 if (CPP_OPTION (pfile, deps.style) > (sysp != 0)
953 && !file->stack_count
954 && file->path[0]
955 && !(pfile->main_file == file
956 && CPP_OPTION (pfile, deps.ignore_main_file)))
957 deps_add_dep (pfile->deps, file->path);
959 /* Clear buffer_valid since _cpp_clean_line messes it up. */
960 file->buffer_valid = false;
961 file->stack_count++;
963 /* Stack the buffer. */
964 cpp_buffer *buffer
965 = cpp_push_buffer (pfile, file->buffer, file->st.st_size,
966 CPP_OPTION (pfile, preprocessed)
967 && !CPP_OPTION (pfile, directives_only));
968 buffer->file = file;
969 buffer->sysp = sysp;
970 buffer->to_free = file->buffer_start;
972 /* Initialize controlling macro state. */
973 pfile->mi_valid = true;
974 pfile->mi_cmacro = 0;
977 /* In the case of a normal #include, we're now at the start of the
978 line *following* the #include. A separate location_t for this
979 location makes no sense, until we do the LC_LEAVE.
981 This does not apply if we found a PCH file, we're not a regular
982 include, or we ran out of locations. */
983 bool decrement = (file->pchname == NULL
984 && type < IT_DIRECTIVE_HWM
985 && (pfile->line_table->highest_location
986 != LINE_MAP_MAX_LOCATION - 1));
987 if (decrement)
988 pfile->line_table->highest_location--;
990 if (file->header_unit <= 0)
991 /* Add line map and do callbacks. */
992 _cpp_do_file_change (pfile, LC_ENTER, file->path,
993 /* With preamble injection, start on line zero,
994 so the preamble doesn't appear to have been
995 included from line 1. Likewise when
996 starting preprocessed, we expect an initial
997 locating line. */
998 type == IT_PRE_MAIN ? 0 : 1, sysp);
999 else if (decrement)
1001 /* Adjust the line back one so we appear on the #include line itself. */
1002 const line_map_ordinary *map
1003 = LINEMAPS_LAST_ORDINARY_MAP (pfile->line_table);
1004 linenum_type line = SOURCE_LINE (map, pfile->line_table->highest_line);
1005 linemap_line_start (pfile->line_table, line - 1, 0);
1008 return true;
1011 /* Mark FILE to be included once only. */
1012 void
1013 _cpp_mark_file_once_only (cpp_reader *pfile, _cpp_file *file)
1015 pfile->seen_once_only = true;
1016 file->once_only = true;
1019 /* Return the directory from which searching for FNAME should start,
1020 considering the directive TYPE and ANGLE_BRACKETS. If there is
1021 nothing left in the path, returns NULL. */
1022 static struct cpp_dir *
1023 search_path_head (cpp_reader *pfile, const char *fname, int angle_brackets,
1024 enum include_type type)
1026 cpp_dir *dir;
1027 _cpp_file *file;
1029 if (IS_ABSOLUTE_PATH (fname))
1030 return &pfile->no_search_path;
1032 /* pfile->buffer is NULL when processing an -include command-line flag. */
1033 file = pfile->buffer == NULL ? pfile->main_file : pfile->buffer->file;
1035 /* For #include_next, skip in the search path past the dir in which
1036 the current file was found, but if it was found via an absolute
1037 path use the normal search logic. */
1038 if (type == IT_INCLUDE_NEXT && file->dir
1039 && file->dir != &pfile->no_search_path)
1040 dir = file->dir->next;
1041 else if (angle_brackets)
1042 dir = pfile->bracket_include;
1043 else if (type == IT_CMDLINE)
1044 /* -include and -imacros use the #include "" chain with the
1045 preprocessor's cwd prepended. */
1046 return make_cpp_dir (pfile, "./", false);
1047 else if (pfile->quote_ignores_source_dir)
1048 dir = pfile->quote_include;
1049 else
1050 return make_cpp_dir (pfile, dir_name_of_file (file),
1051 pfile->buffer ? pfile->buffer->sysp : 0);
1053 if (dir == NULL)
1054 cpp_error (pfile, CPP_DL_ERROR,
1055 "no include path in which to search for %s", fname);
1057 return dir;
1060 /* Strip the basename from the file's path. It ends with a slash if
1061 of nonzero length. Note that this procedure also works for
1062 <stdin>, which is represented by the empty string. */
1063 static const char *
1064 dir_name_of_file (_cpp_file *file)
1066 if (!file->dir_name)
1068 size_t len = lbasename (file->path) - file->path;
1069 char *dir_name = XNEWVEC (char, len + 1);
1071 memcpy (dir_name, file->path, len);
1072 dir_name[len] = '\0';
1073 file->dir_name = dir_name;
1076 return file->dir_name;
1079 /* Handles #include-family directives (distinguished by TYPE),
1080 including HEADER, and the command line -imacros and -include.
1081 Returns true if a buffer was stacked. */
1082 bool
1083 _cpp_stack_include (cpp_reader *pfile, const char *fname, int angle_brackets,
1084 enum include_type type, location_t loc)
1086 /* For -include command-line flags we have type == IT_CMDLINE.
1087 When the first -include file is processed we have the case, where
1088 pfile->cur_token == pfile->cur_run->base, we are directly called up
1089 by the front end. However in the case of the second -include file,
1090 we are called from _cpp_lex_token -> _cpp_get_fresh_line ->
1091 cpp_push_include, with pfile->cur_token != pfile->cur_run->base,
1092 and pfile->cur_token[-1].src_loc not (yet) initialized.
1093 However, when the include file cannot be found, we need src_loc to
1094 be initialized to some safe value: 0 means UNKNOWN_LOCATION. */
1095 if (type == IT_CMDLINE && pfile->cur_token != pfile->cur_run->base)
1096 pfile->cur_token[-1].src_loc = 0;
1098 cpp_dir *dir = search_path_head (pfile, fname, angle_brackets, type);
1099 if (!dir)
1100 return false;
1102 _cpp_file *file = _cpp_find_file (pfile, fname, dir, angle_brackets,
1103 type == IT_DEFAULT ? _cpp_FFK_PRE_INCLUDE
1104 : _cpp_FFK_NORMAL, loc);
1105 if (type == IT_DEFAULT && file == NULL)
1106 return false;
1108 return _cpp_stack_file (pfile, file, type, loc);
1111 /* NAME is a header file name, find the _cpp_file, if any. */
1113 static _cpp_file *
1114 test_header_unit (cpp_reader *pfile, const char *name, bool angle,
1115 location_t loc)
1117 if (cpp_dir *dir = search_path_head (pfile, name, angle, IT_INCLUDE))
1118 return _cpp_find_file (pfile, name, dir, angle, _cpp_FFK_NORMAL, loc);
1120 return nullptr;
1123 /* NAME is a header file name, find the path we'll use to open it and infer that
1124 it is a header-unit. */
1126 const char *
1127 _cpp_find_header_unit (cpp_reader *pfile, const char *name, bool angle,
1128 location_t loc)
1130 if (_cpp_file *file = test_header_unit (pfile, name, angle, loc))
1132 if (file->fd > 0)
1134 /* Don't leave it open. */
1135 close (file->fd);
1136 file->fd = 0;
1139 file->header_unit = +1;
1140 _cpp_mark_file_once_only (pfile, file);
1142 return file->path;
1145 return nullptr;
1148 /* NAME is a header file name, find the path we'll use to open it. But do not
1149 infer it is a header unit. */
1151 const char *
1152 cpp_probe_header_unit (cpp_reader *pfile, const char *name, bool angle,
1153 location_t loc)
1155 if (_cpp_file *file = test_header_unit (pfile, name, angle, loc))
1156 return file->path;
1158 return nullptr;
1161 /* Retrofit the just-entered main file asif it was an include. This
1162 will permit correct include_next use, and mark it as a system
1163 header if that's where it resides. We use filesystem-appropriate
1164 prefix matching of the include path to locate the main file. */
1165 void
1166 cpp_retrofit_as_include (cpp_reader *pfile)
1168 /* We should be the outermost. */
1169 gcc_assert (!pfile->buffer->prev);
1171 if (const char *name = pfile->main_file->name)
1173 /* Locate name on the include dir path, using a prefix match. */
1174 size_t name_len = strlen (name);
1175 for (cpp_dir *dir = pfile->quote_include; dir; dir = dir->next)
1176 if (dir->len < name_len
1177 && IS_DIR_SEPARATOR (name[dir->len])
1178 && !filename_ncmp (name, dir->name, dir->len))
1180 pfile->main_file->dir = dir;
1181 if (dir->sysp)
1182 cpp_make_system_header (pfile, 1, 0);
1183 break;
1187 /* Initialize controlling macro state. */
1188 pfile->mi_valid = true;
1189 pfile->mi_cmacro = 0;
1192 /* Could not open FILE. The complication is dependency output. */
1193 static void
1194 open_file_failed (cpp_reader *pfile, _cpp_file *file, int angle_brackets,
1195 location_t loc)
1197 int sysp = pfile->line_table->highest_line > 1 && pfile->buffer ? pfile->buffer->sysp : 0;
1198 bool print_dep = CPP_OPTION (pfile, deps.style) > (angle_brackets || !!sysp);
1200 errno = file->err_no;
1201 if (print_dep && CPP_OPTION (pfile, deps.missing_files) && errno == ENOENT)
1203 deps_add_dep (pfile->deps, file->name);
1204 /* If the preprocessor output (other than dependency information) is
1205 being used, we must also flag an error. */
1206 if (CPP_OPTION (pfile, deps.need_preprocessor_output))
1207 cpp_errno_filename (pfile, CPP_DL_FATAL,
1208 file->path ? file->path : file->name,
1209 loc);
1211 else
1213 /* If we are not outputting dependencies, or if we are and dependencies
1214 were requested for this file, or if preprocessor output is needed
1215 in addition to dependency information, this is an error.
1217 Otherwise (outputting dependencies but not for this file, and not
1218 using the preprocessor output), we can still produce correct output
1219 so it's only a warning. */
1220 if (CPP_OPTION (pfile, deps.style) == DEPS_NONE
1221 || print_dep
1222 || CPP_OPTION (pfile, deps.need_preprocessor_output))
1223 cpp_errno_filename (pfile, CPP_DL_FATAL,
1224 file->path ? file->path : file->name,
1225 loc);
1226 else
1227 cpp_errno_filename (pfile, CPP_DL_WARNING,
1228 file->path ? file->path : file->name,
1229 loc);
1233 /* Search in the chain beginning at HEAD for a file whose search path
1234 started at START_DIR != NULL. */
1235 static struct cpp_file_hash_entry *
1236 search_cache (struct cpp_file_hash_entry *head, const cpp_dir *start_dir)
1238 while (head && head->start_dir != start_dir)
1239 head = head->next;
1241 return head;
1244 /* Allocate a new _cpp_file structure. */
1245 static _cpp_file *
1246 make_cpp_file (cpp_dir *dir, const char *fname)
1248 _cpp_file *file = XCNEW (_cpp_file);
1249 file->fd = -1;
1250 file->dir = dir;
1251 file->name = xstrdup (fname);
1253 return file;
1256 /* Release a _cpp_file structure. */
1257 static void
1258 destroy_cpp_file (_cpp_file *file)
1260 free ((void *) file->buffer_start);
1261 free ((void *) file->name);
1262 free ((void *) file->path);
1263 free (file);
1266 /* Release all the files allocated by this reader. */
1267 static void
1268 destroy_all_cpp_files (cpp_reader *pfile)
1270 _cpp_file *iter = pfile->all_files;
1271 while (iter)
1273 _cpp_file *next = iter->next_file;
1274 destroy_cpp_file (iter);
1275 iter = next;
1279 /* A hash of directory names. The directory names are the path names
1280 of files which contain a #include "", the included file name is
1281 appended to this directories.
1283 To avoid duplicate entries we follow the convention that all
1284 non-empty directory names should end in a '/'. DIR_NAME must be
1285 stored in permanently allocated memory. */
1286 static cpp_dir *
1287 make_cpp_dir (cpp_reader *pfile, const char *dir_name, int sysp)
1289 struct cpp_file_hash_entry *entry, **hash_slot;
1290 cpp_dir *dir;
1292 hash_slot = (struct cpp_file_hash_entry **)
1293 htab_find_slot_with_hash (pfile->dir_hash, dir_name,
1294 htab_hash_string (dir_name),
1295 INSERT);
1297 /* Have we already hashed this directory? */
1298 for (entry = *hash_slot; entry; entry = entry->next)
1299 if (entry->start_dir == NULL)
1300 return entry->u.dir;
1302 dir = XCNEW (cpp_dir);
1303 dir->next = pfile->quote_include;
1304 dir->name = (char *) dir_name;
1305 dir->len = strlen (dir_name);
1306 dir->sysp = sysp;
1307 dir->construct = 0;
1309 /* Store this new result in the hash table. */
1310 entry = new_file_hash_entry (pfile);
1311 entry->next = *hash_slot;
1312 entry->start_dir = NULL;
1313 entry->location = pfile->line_table->highest_location;
1314 entry->u.dir = dir;
1315 *hash_slot = entry;
1317 return dir;
1320 /* Create a new block of memory for file hash entries. */
1321 static void
1322 allocate_file_hash_entries (cpp_reader *pfile)
1324 struct file_hash_entry_pool *pool = XNEW (struct file_hash_entry_pool);
1325 pool->file_hash_entries_used = 0;
1326 pool->next = pfile->file_hash_entries;
1327 pfile->file_hash_entries = pool;
1330 /* Return a new file hash entry. */
1331 static struct cpp_file_hash_entry *
1332 new_file_hash_entry (cpp_reader *pfile)
1334 unsigned int idx;
1335 if (pfile->file_hash_entries->file_hash_entries_used == FILE_HASH_POOL_SIZE)
1336 allocate_file_hash_entries (pfile);
1338 idx = pfile->file_hash_entries->file_hash_entries_used++;
1339 return &pfile->file_hash_entries->pool[idx];
1342 /* Free the file hash entry pools. */
1343 static void
1344 free_file_hash_entries (cpp_reader *pfile)
1346 struct file_hash_entry_pool *iter = pfile->file_hash_entries;
1347 while (iter)
1349 struct file_hash_entry_pool *next = iter->next;
1350 free (iter);
1351 iter = next;
1355 /* Returns TRUE if a file FNAME has ever been successfully opened.
1356 This routine is not intended to correctly handle filenames aliased
1357 by links or redundant . or .. traversals etc. */
1358 bool
1359 cpp_included (cpp_reader *pfile, const char *fname)
1361 struct cpp_file_hash_entry *entry;
1363 entry = (struct cpp_file_hash_entry *)
1364 htab_find_with_hash (pfile->file_hash, fname, htab_hash_string (fname));
1366 while (entry && (entry->start_dir == NULL || entry->u.file->err_no))
1367 entry = entry->next;
1369 return entry != NULL;
1372 /* Returns TRUE if a file FNAME has ever been successfully opened
1373 before LOCATION. This routine is not intended to correctly handle
1374 filenames aliased by links or redundant . or .. traversals etc. */
1375 bool
1376 cpp_included_before (cpp_reader *pfile, const char *fname,
1377 location_t location)
1379 struct cpp_file_hash_entry *entry
1380 = (struct cpp_file_hash_entry *)
1381 htab_find_with_hash (pfile->file_hash, fname, htab_hash_string (fname));
1383 if (IS_ADHOC_LOC (location))
1384 location = get_location_from_adhoc_loc (pfile->line_table, location);
1386 while (entry && (entry->start_dir == NULL || entry->u.file->err_no
1387 || entry->location > location))
1388 entry = entry->next;
1390 return entry != NULL;
1393 /* Calculate the hash value of a file hash entry P. */
1395 static hashval_t
1396 file_hash_hash (const void *p)
1398 struct cpp_file_hash_entry *entry = (struct cpp_file_hash_entry *) p;
1399 const char *hname;
1400 if (entry->start_dir)
1401 hname = entry->u.file->name;
1402 else
1403 hname = entry->u.dir->name;
1405 return htab_hash_string (hname);
1408 /* Compare a string Q against a file hash entry P. */
1409 static int
1410 file_hash_eq (const void *p, const void *q)
1412 struct cpp_file_hash_entry *entry = (struct cpp_file_hash_entry *) p;
1413 const char *fname = (const char *) q;
1414 const char *hname;
1416 if (entry->start_dir)
1417 hname = entry->u.file->name;
1418 else
1419 hname = entry->u.dir->name;
1421 return filename_cmp (hname, fname) == 0;
1424 /* Compare entries in the nonexistent file hash table. These are just
1425 strings. */
1426 static int
1427 nonexistent_file_hash_eq (const void *p, const void *q)
1429 return filename_cmp ((const char *) p, (const char *) q) == 0;
1432 /* Initialize everything in this source file. */
1433 void
1434 _cpp_init_files (cpp_reader *pfile)
1436 pfile->file_hash = htab_create_alloc (127, file_hash_hash, file_hash_eq,
1437 NULL, xcalloc, free);
1438 pfile->dir_hash = htab_create_alloc (127, file_hash_hash, file_hash_eq,
1439 NULL, xcalloc, free);
1440 allocate_file_hash_entries (pfile);
1441 pfile->nonexistent_file_hash = htab_create_alloc (127, htab_hash_string,
1442 nonexistent_file_hash_eq,
1443 NULL, xcalloc, free);
1444 obstack_specify_allocation (&pfile->nonexistent_file_ob, 0, 0,
1445 xmalloc, free);
1448 /* Finalize everything in this source file. */
1449 void
1450 _cpp_cleanup_files (cpp_reader *pfile)
1452 htab_delete (pfile->file_hash);
1453 htab_delete (pfile->dir_hash);
1454 htab_delete (pfile->nonexistent_file_hash);
1455 obstack_free (&pfile->nonexistent_file_ob, 0);
1456 free_file_hash_entries (pfile);
1457 destroy_all_cpp_files (pfile);
1460 /* Make the parser forget about files it has seen. This can be useful
1461 for resetting the parser to start another run. */
1462 void
1463 cpp_clear_file_cache (cpp_reader *pfile)
1465 _cpp_cleanup_files (pfile);
1466 pfile->file_hash_entries = NULL;
1467 pfile->all_files = NULL;
1468 _cpp_init_files (pfile);
1471 /* Enter a file name in the hash for the sake of cpp_included. */
1472 void
1473 _cpp_fake_include (cpp_reader *pfile, const char *fname)
1475 _cpp_find_file (pfile, fname, pfile->buffer->file->dir, 0, _cpp_FFK_FAKE, 0);
1478 /* Not everyone who wants to set system-header-ness on a buffer can
1479 see the details of a buffer. This is an exported interface because
1480 fix-header needs it. */
1481 void
1482 cpp_make_system_header (cpp_reader *pfile, int syshdr, int externc)
1484 int flags = 0;
1485 const class line_maps *line_table = pfile->line_table;
1486 const line_map_ordinary *map = LINEMAPS_LAST_ORDINARY_MAP (line_table);
1487 /* 1 = system header, 2 = system header to be treated as C. */
1488 if (syshdr)
1489 flags = 1 + (externc != 0);
1490 pfile->buffer->sysp = flags;
1491 _cpp_do_file_change (pfile, LC_RENAME, ORDINARY_MAP_FILE_NAME (map),
1492 SOURCE_LINE (map, pfile->line_table->highest_line),
1493 flags);
1496 /* Allow the client to change the current file. Used by the front end
1497 to achieve pseudo-file names like <built-in>.
1498 If REASON is LC_LEAVE, then NEW_NAME must be NULL. */
1499 void
1500 cpp_change_file (cpp_reader *pfile, enum lc_reason reason,
1501 const char *new_name)
1503 _cpp_do_file_change (pfile, reason, new_name, 1, 0);
1506 struct report_missing_guard_data
1508 cpp_reader *pfile;
1509 const char **paths;
1510 size_t count;
1513 /* Callback function for htab_traverse. */
1514 static int
1515 report_missing_guard (void **slot, void *d)
1517 struct cpp_file_hash_entry *entry = (struct cpp_file_hash_entry *) *slot;
1518 struct report_missing_guard_data *data
1519 = (struct report_missing_guard_data *) d;
1521 /* Skip directories. */
1522 if (entry->start_dir != NULL)
1524 _cpp_file *file = entry->u.file;
1526 /* We don't want MI guard advice for the main file. */
1527 if (!file->once_only
1528 && file->cmacro == NULL
1529 && file->stack_count == 1
1530 && data->pfile->main_file != file)
1532 if (data->paths == NULL)
1534 data->paths = XCNEWVEC (const char *, data->count);
1535 data->count = 0;
1538 data->paths[data->count++] = file->path;
1542 /* Keep traversing the hash table. */
1543 return 1;
1546 /* Comparison function for qsort. */
1547 static int
1548 report_missing_guard_cmp (const void *p1, const void *p2)
1550 return strcmp (*(const char *const *) p1, *(const char *const *) p2);
1553 /* Report on all files that might benefit from a multiple include guard.
1554 Triggered by -H. */
1555 void
1556 _cpp_report_missing_guards (cpp_reader *pfile)
1558 struct report_missing_guard_data data;
1560 data.pfile = pfile;
1561 data.paths = NULL;
1562 data.count = htab_elements (pfile->file_hash);
1563 htab_traverse (pfile->file_hash, report_missing_guard, &data);
1565 if (data.paths != NULL)
1567 size_t i;
1569 /* Sort the paths to avoid outputting them in hash table
1570 order. */
1571 qsort (data.paths, data.count, sizeof (const char *),
1572 report_missing_guard_cmp);
1573 fputs (_("Multiple include guards may be useful for:\n"),
1574 stderr);
1575 for (i = 0; i < data.count; i++)
1577 fputs (data.paths[i], stderr);
1578 putc ('\n', stderr);
1580 free (data.paths);
1584 /* Locate HEADER, and determine whether it is newer than the current
1585 file. If it cannot be located or dated, return -1, if it is
1586 newer, return 1, otherwise 0. */
1588 _cpp_compare_file_date (cpp_reader *pfile, const char *fname,
1589 int angle_brackets)
1591 _cpp_file *file;
1592 struct cpp_dir *dir;
1594 dir = search_path_head (pfile, fname, angle_brackets, IT_INCLUDE);
1595 if (!dir)
1596 return -1;
1598 file = _cpp_find_file (pfile, fname, dir, angle_brackets, _cpp_FFK_NORMAL, 0);
1599 if (file->err_no)
1600 return -1;
1602 if (file->fd != -1)
1604 close (file->fd);
1605 file->fd = -1;
1608 return file->st.st_mtime > pfile->buffer->file->st.st_mtime;
1611 /* Pushes the given file onto the buffer stack. Returns nonzero if
1612 successful. */
1613 bool
1614 cpp_push_include (cpp_reader *pfile, const char *fname)
1616 return _cpp_stack_include (pfile, fname, false, IT_CMDLINE,
1617 pfile->line_table->highest_line);
1620 /* Pushes the given file, implicitly included at the start of a
1621 compilation, onto the buffer stack but without any errors if the
1622 file is not found. Returns nonzero if successful. */
1623 bool
1624 cpp_push_default_include (cpp_reader *pfile, const char *fname)
1626 return _cpp_stack_include (pfile, fname, true, IT_DEFAULT,
1627 pfile->line_table->highest_line);
1630 /* Do appropriate cleanup when a file INC's buffer is popped off the
1631 input stack. */
1632 void
1633 _cpp_pop_file_buffer (cpp_reader *pfile, _cpp_file *file,
1634 const unsigned char *to_free)
1636 /* Record the inclusion-preventing macro, which could be NULL
1637 meaning no controlling macro. */
1638 if (pfile->mi_valid && file->cmacro == NULL)
1639 file->cmacro = pfile->mi_cmacro;
1641 /* Invalidate control macros in the #including file. */
1642 pfile->mi_valid = false;
1644 if (to_free)
1646 if (to_free == file->buffer_start)
1648 file->buffer_start = NULL;
1649 file->buffer = NULL;
1650 file->buffer_valid = false;
1652 free ((void *) to_free);
1656 /* Return the file name associated with FILE. */
1657 const char *
1658 _cpp_get_file_name (_cpp_file *file)
1660 return file->name;
1663 /* Inteface to file statistics record in _cpp_file structure. */
1664 struct stat *
1665 _cpp_get_file_stat (_cpp_file *file)
1667 return &file->st;
1670 /* Set the include chain for "" to QUOTE, for <> to BRACKET. If
1671 QUOTE_IGNORES_SOURCE_DIR, then "" includes do not look in the
1672 directory of the including file.
1674 If BRACKET does not lie in the QUOTE chain, it is set to QUOTE. */
1675 void
1676 cpp_set_include_chains (cpp_reader *pfile, cpp_dir *quote, cpp_dir *bracket,
1677 int quote_ignores_source_dir)
1679 pfile->quote_include = quote;
1680 pfile->bracket_include = quote;
1681 pfile->quote_ignores_source_dir = quote_ignores_source_dir;
1683 for (; quote; quote = quote->next)
1685 quote->name_map = NULL;
1686 quote->len = strlen (quote->name);
1687 if (quote == bracket)
1688 pfile->bracket_include = bracket;
1692 /* Append the file name to the directory to create the path, but don't
1693 turn / into // or // into ///; // may be a namespace escape. */
1694 static char *
1695 append_file_to_dir (const char *fname, cpp_dir *dir)
1697 size_t dlen, flen;
1698 char *path;
1700 dlen = dir->len;
1701 flen = strlen (fname);
1702 path = XNEWVEC (char, dlen + 1 + flen + 1);
1703 memcpy (path, dir->name, dlen);
1704 if (dlen && !IS_DIR_SEPARATOR (path[dlen - 1]))
1705 path[dlen++] = '/';
1706 memcpy (&path[dlen], fname, flen + 1);
1708 return path;
1711 /* Read a space delimited string of unlimited length from a stdio
1712 file F. */
1713 static char *
1714 read_filename_string (int ch, FILE *f)
1716 char *alloc, *set;
1717 int len;
1719 len = 20;
1720 set = alloc = XNEWVEC (char, len + 1);
1721 if (! is_space (ch))
1723 *set++ = ch;
1724 while ((ch = getc (f)) != EOF && ! is_space (ch))
1726 if (set - alloc == len)
1728 len *= 2;
1729 alloc = XRESIZEVEC (char, alloc, len + 1);
1730 set = alloc + len / 2;
1732 *set++ = ch;
1735 *set = '\0';
1736 ungetc (ch, f);
1737 return alloc;
1740 /* Read the file name map file for DIR. */
1741 static void
1742 read_name_map (cpp_dir *dir)
1744 static const char FILE_NAME_MAP_FILE[] = "header.gcc";
1745 char *name;
1746 FILE *f;
1747 size_t len, count = 0, room = 9;
1749 len = dir->len;
1750 name = (char *) alloca (len + sizeof (FILE_NAME_MAP_FILE) + 1);
1751 memcpy (name, dir->name, len);
1752 if (len && !IS_DIR_SEPARATOR (name[len - 1]))
1753 name[len++] = '/';
1754 strcpy (name + len, FILE_NAME_MAP_FILE);
1755 f = fopen (name, "r");
1757 dir->name_map = XNEWVEC (const char *, room);
1759 /* Silently return NULL if we cannot open. */
1760 if (f)
1762 int ch;
1764 while ((ch = getc (f)) != EOF)
1766 char *to;
1768 if (is_space (ch))
1769 continue;
1771 if (count + 2 > room)
1773 room += 8;
1774 dir->name_map = XRESIZEVEC (const char *, dir->name_map, room);
1777 dir->name_map[count] = read_filename_string (ch, f);
1778 while ((ch = getc (f)) != EOF && is_hspace (ch))
1781 to = read_filename_string (ch, f);
1782 if (IS_ABSOLUTE_PATH (to))
1783 dir->name_map[count + 1] = to;
1784 else
1786 dir->name_map[count + 1] = append_file_to_dir (to, dir);
1787 free (to);
1790 count += 2;
1791 while ((ch = getc (f)) != '\n')
1792 if (ch == EOF)
1793 break;
1796 fclose (f);
1799 /* Terminate the list of maps. */
1800 dir->name_map[count] = NULL;
1803 /* Remap a FILE's name based on the file_name_map, if any, for
1804 FILE->dir. If the file name has any directory separators,
1805 recursively check those directories too. */
1806 static char *
1807 remap_filename (cpp_reader *pfile, _cpp_file *file)
1809 const char *fname, *p;
1810 char *new_dir, *p3;
1811 cpp_dir *dir;
1812 size_t index, len;
1814 dir = file->dir;
1815 fname = file->name;
1817 for (;;)
1819 if (!dir->name_map)
1820 read_name_map (dir);
1822 for (index = 0; dir->name_map[index]; index += 2)
1823 if (!filename_cmp (dir->name_map[index], fname))
1824 return xstrdup (dir->name_map[index + 1]);
1825 if (IS_ABSOLUTE_PATH (fname))
1826 return NULL;
1827 p = strchr (fname, '/');
1828 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
1830 const char *p2 = strchr (fname, '\\');
1831 if (!p || (p > p2))
1832 p = p2;
1834 #endif
1835 if (!p || p == fname)
1836 return NULL;
1838 len = dir->len + (p - fname + 1);
1839 new_dir = XNEWVEC (char, len + 2);
1840 p3 = new_dir + dir->len;
1841 memcpy (new_dir, dir->name, dir->len);
1842 if (dir->len && !IS_DIR_SEPARATOR (dir->name[dir->len - 1]))
1844 *p3++ = '/';
1845 len++;
1847 memcpy (p3, fname, p - fname + 1);
1848 new_dir[len] = '\0';
1850 dir = make_cpp_dir (pfile, new_dir, dir->sysp);
1851 fname = p + 1;
1855 /* Returns true if PCHNAME is a valid PCH file for FILE. */
1856 static bool
1857 validate_pch (cpp_reader *pfile, _cpp_file *file, const char *pchname)
1859 const char *saved_path = file->path;
1860 bool valid = false;
1862 file->path = pchname;
1863 if (open_file (file))
1865 valid = 1 & pfile->cb.valid_pch (pfile, pchname, file->fd);
1867 if (!valid)
1869 close (file->fd);
1870 file->fd = -1;
1873 if (CPP_OPTION (pfile, print_include_names))
1875 unsigned int i;
1876 for (i = 1; i < pfile->line_table->depth; i++)
1877 putc ('.', stderr);
1878 fprintf (stderr, "%c %s\n",
1879 valid ? '!' : 'x', pchname);
1883 file->path = saved_path;
1884 return valid;
1887 /* Get the path associated with the _cpp_file F. The path includes
1888 the base name from the include directive and the directory it was
1889 found in via the search path. */
1891 const char *
1892 cpp_get_path (struct _cpp_file *f)
1894 return f->path;
1897 /* Get the directory associated with the _cpp_file F. */
1899 cpp_dir *
1900 cpp_get_dir (struct _cpp_file *f)
1902 return f->dir;
1905 /* Get the cpp_buffer currently associated with the cpp_reader
1906 PFILE. */
1908 cpp_buffer *
1909 cpp_get_buffer (cpp_reader *pfile)
1911 return pfile->buffer;
1914 /* Get the _cpp_file associated with the cpp_buffer B. */
1916 _cpp_file *
1917 cpp_get_file (cpp_buffer *b)
1919 return b->file;
1922 /* Get the previous cpp_buffer given a cpp_buffer B. The previous
1923 buffer is the buffer that included the given buffer. */
1925 cpp_buffer *
1926 cpp_get_prev (cpp_buffer *b)
1928 return b->prev;
1931 /* This data structure holds the list of header files that were seen
1932 while the PCH was being built. The 'entries' field is kept sorted
1933 in memcmp() order; yes, this means that on little-endian systems,
1934 it's sorted initially by the least-significant byte of 'size', but
1935 that's OK. The code does rely on having entries with the same size
1936 next to each other. */
1938 struct pchf_entry {
1939 /* The size of this file. This is used to save running a MD5 checksum
1940 if the sizes don't match. */
1941 off_t size;
1942 /* The MD5 checksum of this file. */
1943 unsigned char sum[16];
1944 /* Is this file to be included only once? */
1945 bool once_only;
1948 struct pchf_data {
1949 /* Number of pchf_entry structures. */
1950 size_t count;
1952 /* Are there any values with once_only set?
1953 This is used as an optimisation, it means we don't have to search
1954 the structure if we're processing a regular #include. */
1955 bool have_once_only;
1957 struct pchf_entry entries[1];
1960 static struct pchf_data *pchf;
1962 /* A qsort ordering function for pchf_entry structures. */
1964 static int
1965 pchf_save_compare (const void *e1, const void *e2)
1967 return memcmp (e1, e2, sizeof (struct pchf_entry));
1970 /* Create and write to F a pchf_data structure. */
1972 bool
1973 _cpp_save_file_entries (cpp_reader *pfile, FILE *fp)
1975 size_t count = 0;
1976 struct pchf_data *result;
1977 size_t result_size;
1978 _cpp_file *f;
1979 bool ret;
1981 for (f = pfile->all_files; f; f = f->next_file)
1982 ++count;
1984 result_size = (sizeof (struct pchf_data)
1985 + sizeof (struct pchf_entry) * (count - 1));
1986 result = XCNEWVAR (struct pchf_data, result_size);
1988 result->count = 0;
1989 result->have_once_only = false;
1991 for (f = pfile->all_files; f; f = f->next_file)
1993 size_t count;
1995 /* This should probably never happen, since if a read error occurred
1996 the PCH file shouldn't be written... */
1997 if (f->dont_read || f->err_no)
1998 continue;
2000 if (f->stack_count == 0)
2001 continue;
2003 count = result->count++;
2005 result->entries[count].once_only = f->once_only;
2006 /* |= is avoided in the next line because of an HP C compiler bug */
2007 result->have_once_only = result->have_once_only | f->once_only;
2008 if (f->buffer_valid)
2009 md5_buffer ((const char *)f->buffer,
2010 f->st.st_size, result->entries[count].sum);
2011 else
2013 FILE *ff;
2014 int oldfd = f->fd;
2016 if (!open_file (f))
2018 open_file_failed (pfile, f, 0, 0);
2019 free (result);
2020 return false;
2022 ff = fdopen (f->fd, "rb");
2023 md5_stream (ff, result->entries[count].sum);
2024 fclose (ff);
2025 f->fd = oldfd;
2027 result->entries[count].size = f->st.st_size;
2030 result_size = (sizeof (struct pchf_data)
2031 + sizeof (struct pchf_entry) * (result->count - 1));
2033 qsort (result->entries, result->count, sizeof (struct pchf_entry),
2034 pchf_save_compare);
2036 ret = fwrite (result, result_size, 1, fp) == 1;
2037 free (result);
2038 return ret;
2041 /* Read the pchf_data structure from F. */
2043 bool
2044 _cpp_read_file_entries (cpp_reader *pfile ATTRIBUTE_UNUSED, FILE *f)
2046 struct pchf_data d;
2048 if (fread (&d, sizeof (struct pchf_data) - sizeof (struct pchf_entry), 1, f)
2049 != 1)
2050 return false;
2052 pchf = XNEWVAR (struct pchf_data, sizeof (struct pchf_data)
2053 + sizeof (struct pchf_entry) * (d.count - 1));
2054 memcpy (pchf, &d, sizeof (struct pchf_data) - sizeof (struct pchf_entry));
2055 if (fread (pchf->entries, sizeof (struct pchf_entry), d.count, f)
2056 != d.count)
2057 return false;
2058 return true;
2061 /* The parameters for pchf_compare. */
2063 struct pchf_compare_data
2065 /* The size of the file we're looking for. */
2066 off_t size;
2068 /* The MD5 checksum of the file, if it's been computed. */
2069 unsigned char sum[16];
2071 /* Is SUM valid? */
2072 bool sum_computed;
2074 /* Do we need to worry about entries that don't have ONCE_ONLY set? */
2075 bool check_included;
2077 /* The file that we're searching for. */
2078 _cpp_file *f;
2081 /* bsearch comparison function; look for D_P in E_P. */
2083 static int
2084 pchf_compare (const void *d_p, const void *e_p)
2086 const struct pchf_entry *e = (const struct pchf_entry *)e_p;
2087 struct pchf_compare_data *d = (struct pchf_compare_data *)d_p;
2088 int result;
2090 result = memcmp (&d->size, &e->size, sizeof (off_t));
2091 if (result != 0)
2092 return result;
2094 if (! d->sum_computed)
2096 _cpp_file *const f = d->f;
2098 md5_buffer ((const char *)f->buffer, f->st.st_size, d->sum);
2099 d->sum_computed = true;
2102 result = memcmp (d->sum, e->sum, 16);
2103 if (result != 0)
2104 return result;
2106 if (d->check_included || e->once_only)
2107 return 0;
2108 else
2109 return 1;
2112 /* Check that F is not in a list read from a PCH file (if any).
2113 Assumes that f->buffer_valid is true. Return TRUE if the file
2114 should not be read. */
2116 static bool
2117 check_file_against_entries (cpp_reader *pfile ATTRIBUTE_UNUSED,
2118 _cpp_file *f,
2119 bool check_included)
2121 struct pchf_compare_data d;
2123 if (pchf == NULL
2124 || (! check_included && ! pchf->have_once_only))
2125 return false;
2127 d.size = f->st.st_size;
2128 d.sum_computed = false;
2129 d.f = f;
2130 d.check_included = check_included;
2131 return bsearch (&d, pchf->entries, pchf->count, sizeof (struct pchf_entry),
2132 pchf_compare) != NULL;
2135 /* Return true if the file FNAME is found in the appropriate include file path
2136 as indicated by ANGLE_BRACKETS. */
2138 bool
2139 _cpp_has_header (cpp_reader *pfile, const char *fname, int angle_brackets,
2140 enum include_type type)
2142 cpp_dir *start_dir = search_path_head (pfile, fname, angle_brackets, type);
2143 _cpp_file *file = _cpp_find_file (pfile, fname, start_dir, angle_brackets,
2144 _cpp_FFK_HAS_INCLUDE, 0);
2145 return file->err_no != ENOENT;