blob: 2bc3a801e3562e0d391ac7de6e69770073abd574 [file] [log] [blame]
Neil Booth8f9b4002003-07-29 22:26:13 +00001/* Part of CPP library. File handling.
Neil Booth5793b272003-03-01 14:31:21 +00002 Copyright (C) 1986, 1987, 1989, 1992, 1993, 1994, 1995, 1998,
Jakub Jelinekd4c32e12008-04-01 12:58:02 +02003 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +00004 Free Software Foundation, Inc.
Zack Weinbergadd70911998-10-29 11:54:13 +00005 Written by Per Bothner, 1994.
6 Based on CCCP program by Paul Rubin, June 1986
7 Adapted to ANSI C, Richard Stallman, Jan 1987
8 Split out of cpplib.c, Zack Weinberg, Oct 1998
Neil Booth8f9b4002003-07-29 22:26:13 +00009 Reimplemented, Neil Booth, Jul 2003
Zack Weinbergadd70911998-10-29 11:54:13 +000010
11This program is free software; you can redistribute it and/or modify it
12under the terms of the GNU General Public License as published by the
13Free Software Foundation; either version 2, or (at your option) any
14later version.
15
16This program is distributed in the hope that it will be useful,
17but WITHOUT ANY WARRANTY; without even the implied warranty of
18MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19GNU General Public License for more details.
20
21You should have received a copy of the GNU General Public License
22along with this program; if not, write to the Free Software
Kelley Cook200031d2005-06-29 02:34:39 +000023Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */
Zack Weinbergadd70911998-10-29 11:54:13 +000024
25#include "config.h"
26#include "system.h"
Zack Weinbergadd70911998-10-29 11:54:13 +000027#include "cpplib.h"
Paolo Bonzini4f4e53dd2004-05-24 10:50:45 +000028#include "internal.h"
Zack Weinberg168d3732000-03-14 06:34:11 +000029#include "mkdeps.h"
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +000030#include "obstack.h"
Neil Boothbf42e452003-08-01 14:04:02 +000031#include "hashtab.h"
Geoffrey Keating73e61092004-01-17 00:37:47 +000032#include "md5.h"
Neil Booth8f9b4002003-07-29 22:26:13 +000033#include <dirent.h>
Neil Booth642ce432000-12-07 23:17:56 +000034
Douglas B Ruppae1139f2001-11-21 17:03:27 -050035/* Variable length record files on VMS will have a stat size that includes
Kazu Hirata3ef42a02002-01-18 13:40:36 +000036 record control characters that won't be included in the read size. */
Douglas B Ruppae1139f2001-11-21 17:03:27 -050037#ifdef VMS
38# define FAB_C_VAR 2 /* variable length records (see Starlet fabdef.h) */
Neil Booth8f9b4002003-07-29 22:26:13 +000039# define STAT_SIZE_RELIABLE(ST) ((ST).st_fab_rfm != FAB_C_VAR)
Douglas B Ruppae1139f2001-11-21 17:03:27 -050040#else
Neil Booth8f9b4002003-07-29 22:26:13 +000041# define STAT_SIZE_RELIABLE(ST) true
Douglas B Ruppae1139f2001-11-21 17:03:27 -050042#endif
43
Neil Booth8f9b4002003-07-29 22:26:13 +000044#ifdef __DJGPP__
Andris Pavenis473c5bc2005-04-28 05:38:59 +030045#include <io.h>
Neil Booth8f9b4002003-07-29 22:26:13 +000046 /* For DJGPP redirected input is opened in text mode. */
47# define set_stdin_to_binary_mode() \
48 if (! isatty (0)) setmode (0, O_BINARY)
49#else
50# define set_stdin_to_binary_mode() /* Nothing */
51#endif
Neil Booth28e0f042000-12-09 12:06:37 +000052
Neil Booth8f9b4002003-07-29 22:26:13 +000053/* This structure represents a file searched for by CPP, whether it
54 exists or not. An instance may be pointed to by more than one
55 file_hash_entry; at present no reference count is kept. */
Neil Booth8f9b4002003-07-29 22:26:13 +000056struct _cpp_file
Zack Weinbergd35364d2000-03-12 23:46:05 +000057{
Neil Booth8f9b4002003-07-29 22:26:13 +000058 /* Filename as given to #include or command line switch. */
59 const char *name;
Zack Weinberg0b3d7761998-11-25 11:56:54 +000060
Neil Booth8f9b4002003-07-29 22:26:13 +000061 /* The full path used to find the file. */
62 const char *path;
63
64 /* The full path of the pch file. */
65 const char *pchname;
66
Neil Boothbf42e452003-08-01 14:04:02 +000067 /* The file's path with the basename stripped. NULL if it hasn't
68 been calculated yet. */
Neil Booth8f9b4002003-07-29 22:26:13 +000069 const char *dir_name;
70
Neil Booth49634b32003-08-02 16:29:46 +000071 /* Chain through all files. */
72 struct _cpp_file *next_file;
Neil Booth8f9b4002003-07-29 22:26:13 +000073
74 /* The contents of NAME after calling read_file(). */
75 const uchar *buffer;
76
77 /* The macro, if any, preventing re-inclusion. */
78 const cpp_hashnode *cmacro;
79
80 /* The directory in the search path where FILE was found. Used for
81 #include_next and determining whether a header is a system
Neil Boothbf42e452003-08-01 14:04:02 +000082 header. */
Neil Booth8f9b4002003-07-29 22:26:13 +000083 cpp_dir *dir;
84
85 /* As filled in by stat(2) for the file. */
86 struct stat st;
87
88 /* File descriptor. Invalid if -1, otherwise open. */
89 int fd;
90
91 /* Zero if this file was successfully opened and stat()-ed,
92 otherwise errno obtained from failure. */
93 int err_no;
94
95 /* Number of times the file has been stacked for preprocessing. */
96 unsigned short stack_count;
97
Neil Booth49634b32003-08-02 16:29:46 +000098 /* If opened with #import or contains #pragma once. */
99 bool once_only;
Neil Booth8f9b4002003-07-29 22:26:13 +0000100
101 /* If read() failed before. */
102 bool dont_read;
103
104 /* If this file is the main file. */
105 bool main_file;
106
107 /* If BUFFER above contains the true contents of the file. */
108 bool buffer_valid;
Neil Booth8f9b4002003-07-29 22:26:13 +0000109};
110
111/* A singly-linked list for all searches for a given file name, with
112 its head pointed to by a slot in FILE_HASH. The file name is what
113 appeared between the quotes in a #include directive; it can be
Kazu Hirataa98ebe22003-08-19 23:22:00 +0000114 determined implicitly from the hash table location or explicitly
Neil Boothbf42e452003-08-01 14:04:02 +0000115 from FILE->name.
Neil Booth8f9b4002003-07-29 22:26:13 +0000116
117 FILE is a structure containing details about the file that was
118 found with that search, or details of how the search failed.
119
120 START_DIR is the starting location of the search in the include
121 chain. The current directories for "" includes are also hashed in
Neil Boothbf42e452003-08-01 14:04:02 +0000122 the hash table and therefore unique. Files that are looked up
123 without using a search path, such as absolute filenames and file
124 names from the command line share a special starting directory so
125 they don't cause cache hits with normal include-chain lookups.
Neil Booth8f9b4002003-07-29 22:26:13 +0000126
127 If START_DIR is NULL then the entry is for a directory, not a file,
128 and the directory is in DIR. Since the starting point in a file
129 lookup chain is never NULL, this means that simple pointer
130 comparisons against START_DIR can be made to determine cache hits
131 in file lookups.
Neil Boothbf42e452003-08-01 14:04:02 +0000132
133 If a cache lookup fails because of e.g. an extra "./" in the path,
134 then nothing will break. It is just less efficient as CPP will
135 have to do more work re-preprocessing the file, and/or comparing
136 its contents against earlier once-only files.
Neil Booth8f9b4002003-07-29 22:26:13 +0000137*/
138struct file_hash_entry
Zack Weinbergc71f8352000-07-05 05:33:57 +0000139{
Neil Booth8f9b4002003-07-29 22:26:13 +0000140 struct file_hash_entry *next;
141 cpp_dir *start_dir;
Tom Tromeyf1e20712007-11-12 00:38:48 +0000142 source_location location;
Neil Booth8f9b4002003-07-29 22:26:13 +0000143 union
144 {
145 _cpp_file *file;
146 cpp_dir *dir;
147 } u;
148};
Zack Weinbergc71f8352000-07-05 05:33:57 +0000149
Tom Tromey97f6bd42007-12-06 18:56:26 +0000150/* Number of entries to put in a file_hash_entry pool. */
151#define FILE_HASH_POOL_SIZE 127
152
153/* A file hash entry pool. We allocate file_hash_entry object from
154 one of these. */
155struct file_hash_entry_pool
156{
157 /* Number of entries used from this pool. */
158 unsigned int file_hash_entries_used;
159 /* Next pool in the chain; used when freeing. */
160 struct file_hash_entry_pool *next;
161 /* The memory pool. */
162 struct file_hash_entry pool[FILE_HASH_POOL_SIZE];
163};
164
Neil Booth8f9b4002003-07-29 22:26:13 +0000165static bool open_file (_cpp_file *file);
Geoffrey Keating3d67ba12003-11-08 02:17:51 +0000166static bool pch_open_file (cpp_reader *pfile, _cpp_file *file,
167 bool *invalid_pch);
168static bool find_file_in_dir (cpp_reader *pfile, _cpp_file *file,
169 bool *invalid_pch);
Neil Booth8f9b4002003-07-29 22:26:13 +0000170static bool read_file_guts (cpp_reader *pfile, _cpp_file *file);
171static bool read_file (cpp_reader *pfile, _cpp_file *file);
Neil Boothcf1ee302003-08-02 12:44:27 +0000172static bool should_stack_file (cpp_reader *, _cpp_file *file, bool import);
Neil Booth8f9b4002003-07-29 22:26:13 +0000173static struct cpp_dir *search_path_head (cpp_reader *, const char *fname,
174 int angle_brackets, enum include_type);
175static const char *dir_name_of_file (_cpp_file *file);
James E Wilson6568f342005-10-21 10:54:20 -0700176static void open_file_failed (cpp_reader *pfile, _cpp_file *file, int);
Zack Weinberge83d8d42004-06-26 17:39:40 +0000177static struct file_hash_entry *search_cache (struct file_hash_entry *head,
Neil Booth8f9b4002003-07-29 22:26:13 +0000178 const cpp_dir *start_dir);
179static _cpp_file *make_cpp_file (cpp_reader *, cpp_dir *, const char *fname);
Eric Botcazou1b449372004-12-15 14:31:28 +0100180static void destroy_cpp_file (_cpp_file *);
Neil Booth8f9b4002003-07-29 22:26:13 +0000181static cpp_dir *make_cpp_dir (cpp_reader *, const char *dir_name, int sysp);
182static void allocate_file_hash_entries (cpp_reader *pfile);
183static struct file_hash_entry *new_file_hash_entry (cpp_reader *pfile);
184static int report_missing_guard (void **slot, void *b);
Per Bothnerb92be662003-12-05 22:50:53 +0000185static hashval_t file_hash_hash (const void *p);
186static int file_hash_eq (const void *p, const void *q);
Neil Booth8f9b4002003-07-29 22:26:13 +0000187static char *read_filename_string (int ch, FILE *f);
188static void read_name_map (cpp_dir *dir);
189static char *remap_filename (cpp_reader *pfile, _cpp_file *file);
190static char *append_file_to_dir (const char *fname, cpp_dir *dir);
191static bool validate_pch (cpp_reader *, _cpp_file *file, const char *pchname);
Geoffrey Keating73e61092004-01-17 00:37:47 +0000192static int pchf_save_compare (const void *e1, const void *e2);
193static int pchf_compare (const void *d_p, const void *e_p);
194static bool check_file_against_entries (cpp_reader *, _cpp_file *, bool);
Neil Booth8f9b4002003-07-29 22:26:13 +0000195
196/* Given a filename in FILE->PATH, with the empty string interpreted
197 as <stdin>, open it.
198
199 On success FILE contains an open file descriptor and stat
200 information for the file. On failure the file descriptor is -1 and
201 the appropriate errno is also stored in FILE. Returns TRUE iff
202 successful.
203
204 We used to open files in nonblocking mode, but that caused more
205 problems than it solved. Do take care not to acquire a controlling
206 terminal by mistake (this can't happen on sane systems, but
207 paranoia is a virtue).
208
209 Use the three-argument form of open even though we aren't
210 specifying O_CREAT, to defend against broken system headers.
211
212 O_BINARY tells some runtime libraries (notably DJGPP) not to do
213 newline translation; we can handle DOS line breaks just fine
214 ourselves. */
215static bool
216open_file (_cpp_file *file)
Neil Bootha36c54f2001-03-12 19:33:08 +0000217{
Neil Booth8f9b4002003-07-29 22:26:13 +0000218 if (file->path[0] == '\0')
Andris Pavenis85be8c22002-05-13 23:28:28 +0300219 {
220 file->fd = 0;
Neil Booth8f9b4002003-07-29 22:26:13 +0000221 set_stdin_to_binary_mode ();
Andris Pavenis85be8c22002-05-13 23:28:28 +0300222 }
Zack Weinbergc31a6502000-06-21 18:33:51 +0000223 else
Neil Booth8f9b4002003-07-29 22:26:13 +0000224 file->fd = open (file->path, O_RDONLY | O_NOCTTY | O_BINARY, 0666);
Zack Weinbergd4506962000-06-28 19:03:08 +0000225
Neil Booth8f9b4002003-07-29 22:26:13 +0000226 if (file->fd != -1)
Neil Booth2047e262000-09-21 18:01:22 +0000227 {
Neil Booth8f9b4002003-07-29 22:26:13 +0000228 if (fstat (file->fd, &file->st) == 0)
229 {
230 if (!S_ISDIR (file->st.st_mode))
231 {
232 file->err_no = 0;
233 return true;
234 }
Zack Weinberg55485cd2001-12-06 16:41:18 +0000235
Neil Booth8f9b4002003-07-29 22:26:13 +0000236 /* Ignore a directory and continue the search. The file we're
237 looking for may be elsewhere in the search path. */
238 errno = ENOENT;
239 }
240
Zack Weinberg55485cd2001-12-06 16:41:18 +0000241 close (file->fd);
242 file->fd = -1;
Neil Booth2047e262000-09-21 18:01:22 +0000243 }
Vladimir Prus84152c22007-06-09 10:16:52 +0000244#if defined(_WIN32) && !defined(__CYGWIN__)
245 else if (errno == EACCES)
246 {
247 /* On most UNIX systems, open succeeds on a directory. Above,
248 we check if we have opened a directory and if so, set errno
249 to ENOENT. However, on Windows, opening a directory
Danny Smith66938a12007-06-17 23:15:58 +0000250 fails with EACCES. We want to return ENOENT in that
Vladimir Prus84152c22007-06-09 10:16:52 +0000251 case too. */
252 if (stat (file->path, &file->st) == 0
253 && S_ISDIR (file->st.st_mode))
254 errno = ENOENT;
Vladimir Prus71995ed2007-06-16 12:30:49 +0000255 else
256 /* The call to stat may have reset errno. */
Danny Smith66938a12007-06-17 23:15:58 +0000257 errno = EACCES;
Vladimir Prus84152c22007-06-09 10:16:52 +0000258 }
259#endif
Neil Bootha54c5502003-08-09 08:53:02 +0000260 else if (errno == ENOTDIR)
261 errno = ENOENT;
Zack Weinberga58d32c2000-09-12 03:42:30 +0000262
Neil Boothf277b5e2001-05-05 11:12:19 +0000263 file->err_no = errno;
Neil Booth8f9b4002003-07-29 22:26:13 +0000264
265 return false;
Zack Weinberga58d32c2000-09-12 03:42:30 +0000266}
267
Geoffrey Keating3d67ba12003-11-08 02:17:51 +0000268/* Temporary PCH intercept of opening a file. Try to find a PCH file
269 based on FILE->name and FILE->dir, and test those found for
270 validity using PFILE->cb.valid_pch. Return true iff a valid file is
271 found. Set *INVALID_PCH if a PCH file is found but wasn't valid. */
272
Neil Boothe5eba702001-08-21 19:23:24 +0000273static bool
Geoffrey Keating3d67ba12003-11-08 02:17:51 +0000274pch_open_file (cpp_reader *pfile, _cpp_file *file, bool *invalid_pch)
Zack Weinberga58d32c2000-09-12 03:42:30 +0000275{
Neil Booth8f9b4002003-07-29 22:26:13 +0000276 static const char extension[] = ".gch";
277 const char *path = file->path;
278 size_t len, flen;
279 char *pchname;
280 struct stat st;
281 bool valid = false;
Neil Booth51d0f322001-02-19 19:50:21 +0000282
Neil Booth8f9b4002003-07-29 22:26:13 +0000283 /* No PCH on <stdin> or if not requested. */
284 if (file->name[0] == '\0' || !pfile->cb.valid_pch)
Neil Boothe5eba702001-08-21 19:23:24 +0000285 return false;
286
Neil Booth8f9b4002003-07-29 22:26:13 +0000287 flen = strlen (path);
288 len = flen + sizeof (extension);
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000289 pchname = XNEWVEC (char, len);
Neil Booth8f9b4002003-07-29 22:26:13 +0000290 memcpy (pchname, path, flen);
291 memcpy (pchname + flen, extension, sizeof (extension));
Neil Booth51d0f322001-02-19 19:50:21 +0000292
Neil Booth8f9b4002003-07-29 22:26:13 +0000293 if (stat (pchname, &st) == 0)
Neil Booth182d89a2002-08-14 22:34:50 +0000294 {
Neil Booth8f9b4002003-07-29 22:26:13 +0000295 DIR *pchdir;
296 struct dirent *d;
297 size_t dlen, plen = len;
298
299 if (!S_ISDIR (st.st_mode))
300 valid = validate_pch (pfile, file, pchname);
301 else if ((pchdir = opendir (pchname)) != NULL)
302 {
303 pchname[plen - 1] = '/';
304 while ((d = readdir (pchdir)) != NULL)
305 {
306 dlen = strlen (d->d_name) + 1;
Phil Edwards230fcd32003-09-25 04:46:44 +0000307 if ((strcmp (d->d_name, ".") == 0)
308 || (strcmp (d->d_name, "..") == 0))
309 continue;
Neil Booth8f9b4002003-07-29 22:26:13 +0000310 if (dlen + plen > len)
311 {
312 len += dlen + 64;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000313 pchname = XRESIZEVEC (char, pchname, len);
Neil Booth8f9b4002003-07-29 22:26:13 +0000314 }
315 memcpy (pchname + plen, d->d_name, dlen);
316 valid = validate_pch (pfile, file, pchname);
317 if (valid)
318 break;
319 }
320 closedir (pchdir);
321 }
Jakub Jelinekd4c32e12008-04-01 12:58:02 +0200322 if (!valid)
Roger Saylebcad4ca2003-12-31 05:11:44 +0000323 *invalid_pch = true;
Neil Booth182d89a2002-08-14 22:34:50 +0000324 }
Neil Booth51d0f322001-02-19 19:50:21 +0000325
Neil Booth8f9b4002003-07-29 22:26:13 +0000326 if (valid)
327 file->pchname = pchname;
328 else
329 free (pchname);
330
331 return valid;
332}
333
334/* Try to open the path FILE->name appended to FILE->dir. This is
Neil Boothcf1ee302003-08-02 12:44:27 +0000335 where remap and PCH intercept the file lookup process. Return true
Eric Christopher16dd5cf2004-02-02 20:20:58 +0000336 if the file was found, whether or not the open was successful.
Geoffrey Keating3d67ba12003-11-08 02:17:51 +0000337 Set *INVALID_PCH to true if a PCH file is found but wasn't valid. */
338
Neil Booth8f9b4002003-07-29 22:26:13 +0000339static bool
Geoffrey Keating3d67ba12003-11-08 02:17:51 +0000340find_file_in_dir (cpp_reader *pfile, _cpp_file *file, bool *invalid_pch)
Neil Booth8f9b4002003-07-29 22:26:13 +0000341{
342 char *path;
343
344 if (CPP_OPTION (pfile, remap) && (path = remap_filename (pfile, file)))
345 ;
346 else
Mike Stump94d16132004-03-04 00:18:54 +0000347 if (file->dir->construct)
348 path = file->dir->construct (file->name, file->dir);
349 else
350 path = append_file_to_dir (file->name, file->dir);
Neil Booth8f9b4002003-07-29 22:26:13 +0000351
Mike Stump94d16132004-03-04 00:18:54 +0000352 if (path)
Neil Boothcf1ee302003-08-02 12:44:27 +0000353 {
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +0000354 hashval_t hv = htab_hash_string (path);
355 char *copy;
356 void **pp;
357
358 if (htab_find_with_hash (pfile->nonexistent_file_hash, path, hv) != NULL)
359 {
360 file->err_no = ENOENT;
361 return false;
362 }
363
Mike Stump94d16132004-03-04 00:18:54 +0000364 file->path = path;
365 if (pch_open_file (pfile, file, invalid_pch))
366 return true;
367
368 if (open_file (file))
369 return true;
370
371 if (file->err_no != ENOENT)
372 {
James E Wilson6568f342005-10-21 10:54:20 -0700373 open_file_failed (pfile, file, 0);
Mike Stump94d16132004-03-04 00:18:54 +0000374 return true;
375 }
376
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +0000377 /* We copy the path name onto an obstack partly so that we don't
378 leak the memory, but mostly so that we don't fragment the
379 heap. */
380 copy = obstack_copy0 (&pfile->nonexistent_file_ob, path,
381 strlen (path));
Mike Stump94d16132004-03-04 00:18:54 +0000382 free (path);
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +0000383 pp = htab_find_slot_with_hash (pfile->nonexistent_file_hash,
384 copy, hv, INSERT);
385 *pp = copy;
386
Mike Stump94d16132004-03-04 00:18:54 +0000387 file->path = file->name;
388 }
389 else
390 {
391 file->err_no = ENOENT;
392 file->path = NULL;
Neil Boothcf1ee302003-08-02 12:44:27 +0000393 }
394
Mike Stump94d16132004-03-04 00:18:54 +0000395 return false;
396}
397
398/* Return tue iff the missing_header callback found the given HEADER. */
399static bool
400search_path_exhausted (cpp_reader *pfile, const char *header, _cpp_file *file)
401{
402 missing_header_cb func = pfile->cb.missing_header;
403
404 /* When the regular search path doesn't work, try context dependent
405 headers search paths. */
406 if (func
407 && file->dir == NULL)
408 {
Mike Stumpe3c287c2004-05-05 18:25:52 +0000409 if ((file->path = func (pfile, header, &file->dir)) != NULL)
Mike Stump94d16132004-03-04 00:18:54 +0000410 {
411 if (open_file (file))
412 return true;
413 free ((void *)file->path);
414 }
415 file->path = file->name;
416 }
417
Neil Booth8f9b4002003-07-29 22:26:13 +0000418 return false;
419}
420
Per Bothner4dc299f2003-10-02 07:23:27 +0000421bool
422_cpp_find_failed (_cpp_file *file)
423{
424 return file->err_no != 0;
425}
426
Neil Booth8f9b4002003-07-29 22:26:13 +0000427/* Given a filename FNAME search for such a file in the include path
428 starting from START_DIR. If FNAME is the empty string it is
Kazu Hirata1ae58c32004-04-30 16:27:30 +0000429 interpreted as STDIN if START_DIR is PFILE->no_search_path.
Neil Booth8f9b4002003-07-29 22:26:13 +0000430
431 If the file is not found in the file cache fall back to the O/S and
432 add the result to our cache.
433
434 If the file was not found in the filesystem, or there was an error
Kazu Hirata02fa63c2003-08-19 21:09:36 +0000435 opening it, then ERR_NO is nonzero and FD is -1. If the file was
Neil Booth8f9b4002003-07-29 22:26:13 +0000436 found, then ERR_NO is zero and FD could be -1 or an open file
437 descriptor. FD can be -1 if the file was found in the cache and
438 had previously been closed. To open it again pass the return value
439 to open_file().
440*/
Per Bothner4dc299f2003-10-02 07:23:27 +0000441_cpp_file *
James E Wilson6568f342005-10-21 10:54:20 -0700442_cpp_find_file (cpp_reader *pfile, const char *fname, cpp_dir *start_dir, bool fake, int angle_brackets)
Neil Booth8f9b4002003-07-29 22:26:13 +0000443{
444 struct file_hash_entry *entry, **hash_slot;
445 _cpp_file *file;
Geoffrey Keating3d67ba12003-11-08 02:17:51 +0000446 bool invalid_pch = false;
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +0000447 bool saw_bracket_include = false;
448 bool saw_quote_include = false;
449 struct cpp_dir *found_in_cache = NULL;
Neil Booth8f9b4002003-07-29 22:26:13 +0000450
451 /* Ensure we get no confusion between cached files and directories. */
452 if (start_dir == NULL)
John David Anglin0527bc42003-11-01 22:56:54 +0000453 cpp_error (pfile, CPP_DL_ICE, "NULL directory in find_file");
Neil Booth8f9b4002003-07-29 22:26:13 +0000454
455 hash_slot = (struct file_hash_entry **)
Per Bothnerb92be662003-12-05 22:50:53 +0000456 htab_find_slot_with_hash (pfile->file_hash, fname,
457 htab_hash_string (fname),
458 INSERT);
Neil Booth8f9b4002003-07-29 22:26:13 +0000459
460 /* First check the cache before we resort to memory allocation. */
Zack Weinberge83d8d42004-06-26 17:39:40 +0000461 entry = search_cache (*hash_slot, start_dir);
Neil Booth8f9b4002003-07-29 22:26:13 +0000462 if (entry)
463 return entry->u.file;
464
465 file = make_cpp_file (pfile, start_dir, fname);
466
467 /* Try each path in the include chain. */
468 for (; !fake ;)
Geoffrey Keating17211ab2003-01-10 02:22:34 +0000469 {
Geoffrey Keating3d67ba12003-11-08 02:17:51 +0000470 if (find_file_in_dir (pfile, file, &invalid_pch))
Neil Booth8f9b4002003-07-29 22:26:13 +0000471 break;
472
Neil Boothcf1ee302003-08-02 12:44:27 +0000473 file->dir = file->dir->next;
474 if (file->dir == NULL)
Neil Booth8f9b4002003-07-29 22:26:13 +0000475 {
Mike Stump94d16132004-03-04 00:18:54 +0000476 if (search_path_exhausted (pfile, fname, file))
Geoffrey Keating942926a2005-01-04 02:13:56 +0000477 {
478 /* Although this file must not go in the cache, because
479 the file found might depend on things (like the current file)
480 that aren't represented in the cache, it still has to go in
481 the list of all files so that #import works. */
482 file->next_file = pfile->all_files;
483 pfile->all_files = file;
484 return file;
485 }
Mike Stump94d16132004-03-04 00:18:54 +0000486
James E Wilson6568f342005-10-21 10:54:20 -0700487 open_file_failed (pfile, file, angle_brackets);
Geoffrey Keating3d67ba12003-11-08 02:17:51 +0000488 if (invalid_pch)
489 {
Eric Christopher16dd5cf2004-02-02 20:20:58 +0000490 cpp_error (pfile, CPP_DL_ERROR,
Geoffrey Keatinge235d8b2003-11-14 19:00:04 +0000491 "one or more PCH files were found, but they were invalid");
492 if (!cpp_get_options (pfile)->warn_invalid_pch)
Eric Christopher16dd5cf2004-02-02 20:20:58 +0000493 cpp_error (pfile, CPP_DL_ERROR,
Geoffrey Keatinge235d8b2003-11-14 19:00:04 +0000494 "use -Winvalid-pch for more information");
Geoffrey Keating3d67ba12003-11-08 02:17:51 +0000495 }
Neil Booth8f9b4002003-07-29 22:26:13 +0000496 break;
497 }
Jakub Jelinekf5eab472005-08-30 08:28:21 +0200498
499 /* Only check the cache for the starting location (done above)
500 and the quote and bracket chain heads because there are no
501 other possible starting points for searches. */
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +0000502 if (file->dir == pfile->bracket_include)
503 saw_bracket_include = true;
504 else if (file->dir == pfile->quote_include)
505 saw_quote_include = true;
506 else
Jakub Jelinekf5eab472005-08-30 08:28:21 +0200507 continue;
508
509 entry = search_cache (*hash_slot, file->dir);
510 if (entry)
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +0000511 {
512 found_in_cache = file->dir;
513 break;
514 }
Neil Booth49634b32003-08-02 16:29:46 +0000515 }
516
Jakub Jelinekf5eab472005-08-30 08:28:21 +0200517 if (entry)
Zack Weinbergc6e83802004-06-05 20:58:06 +0000518 {
Jakub Jelinekf5eab472005-08-30 08:28:21 +0200519 /* Cache for START_DIR too, sharing the _cpp_file structure. */
520 free ((char *) file->name);
521 free (file);
522 file = entry->u.file;
523 }
524 else
525 {
526 /* This is a new file; put it in the list. */
527 file->next_file = pfile->all_files;
528 pfile->all_files = file;
Zack Weinbergc6e83802004-06-05 20:58:06 +0000529 }
530
Neil Booth8f9b4002003-07-29 22:26:13 +0000531 /* Store this new result in the hash table. */
532 entry = new_file_hash_entry (pfile);
533 entry->next = *hash_slot;
534 entry->start_dir = start_dir;
Tom Tromeyf1e20712007-11-12 00:38:48 +0000535 entry->location = pfile->line_table->highest_location;
Neil Booth8f9b4002003-07-29 22:26:13 +0000536 entry->u.file = file;
537 *hash_slot = entry;
538
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +0000539 /* If we passed the quote or bracket chain heads, cache them also.
540 This speeds up processing if there are lots of -I options. */
541 if (saw_bracket_include
542 && pfile->bracket_include != start_dir
543 && found_in_cache != pfile->bracket_include)
544 {
545 entry = new_file_hash_entry (pfile);
546 entry->next = *hash_slot;
547 entry->start_dir = pfile->bracket_include;
Tom Tromeyf1e20712007-11-12 00:38:48 +0000548 entry->location = pfile->line_table->highest_location;
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +0000549 entry->u.file = file;
550 *hash_slot = entry;
551 }
552 if (saw_quote_include
553 && pfile->quote_include != start_dir
554 && found_in_cache != pfile->quote_include)
555 {
556 entry = new_file_hash_entry (pfile);
557 entry->next = *hash_slot;
558 entry->start_dir = pfile->quote_include;
Tom Tromeyf1e20712007-11-12 00:38:48 +0000559 entry->location = pfile->line_table->highest_location;
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +0000560 entry->u.file = file;
561 *hash_slot = entry;
562 }
563
Neil Booth8f9b4002003-07-29 22:26:13 +0000564 return file;
565}
566
567/* Read a file into FILE->buffer, returning true on success.
568
569 If FILE->fd is something weird, like a block device, we don't want
570 to read it at all. Don't even try to figure out what something is,
571 except for plain files and block devices, since there is no
572 reliable portable way of doing this.
573
574 FIXME: Flush file cache and try again if we run out of memory. */
575static bool
576read_file_guts (cpp_reader *pfile, _cpp_file *file)
577{
578 ssize_t size, total, count;
579 uchar *buf;
580 bool regular;
Eric Christopher16dd5cf2004-02-02 20:20:58 +0000581
Neil Booth8f9b4002003-07-29 22:26:13 +0000582 if (S_ISBLK (file->st.st_mode))
583 {
John David Anglin0527bc42003-11-01 22:56:54 +0000584 cpp_error (pfile, CPP_DL_ERROR, "%s is a block device", file->path);
Geoffrey Keating17211ab2003-01-10 02:22:34 +0000585 return false;
586 }
587
Neil Booth8f9b4002003-07-29 22:26:13 +0000588 regular = S_ISREG (file->st.st_mode);
589 if (regular)
Zack Weinberga58d32c2000-09-12 03:42:30 +0000590 {
591 /* off_t might have a wider range than ssize_t - in other words,
592 the max size of a file might be bigger than the address
593 space. We can't handle a file that large. (Anyone with
594 a single source file bigger than 2GB needs to rethink
595 their coding style.) Some systems (e.g. AIX 4.1) define
596 SSIZE_MAX to be much smaller than the actual range of the
597 type. Use INTTYPE_MAXIMUM unconditionally to ensure this
598 does not bite us. */
Neil Booth8f9b4002003-07-29 22:26:13 +0000599 if (file->st.st_size > INTTYPE_MAXIMUM (ssize_t))
Zack Weinberga58d32c2000-09-12 03:42:30 +0000600 {
John David Anglin0527bc42003-11-01 22:56:54 +0000601 cpp_error (pfile, CPP_DL_ERROR, "%s is too large", file->path);
Neil Booth8f9b4002003-07-29 22:26:13 +0000602 return false;
Zack Weinberga58d32c2000-09-12 03:42:30 +0000603 }
Zack Weinberga58d32c2000-09-12 03:42:30 +0000604
Neil Booth8f9b4002003-07-29 22:26:13 +0000605 size = file->st.st_size;
Zack Weinberga58d32c2000-09-12 03:42:30 +0000606 }
Zack Weinberga58d32c2000-09-12 03:42:30 +0000607 else
Neil Booth8f9b4002003-07-29 22:26:13 +0000608 /* 8 kilobytes is a sensible starting size. It ought to be bigger
609 than the kernel pipe buffer, and it's definitely bigger than
610 the majority of C source files. */
611 size = 8 * 1024;
Zack Weinberga58d32c2000-09-12 03:42:30 +0000612
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000613 buf = XNEWVEC (uchar, size + 1);
Neil Booth8f9b4002003-07-29 22:26:13 +0000614 total = 0;
615 while ((count = read (file->fd, buf + total, size - total)) > 0)
616 {
617 total += count;
618
619 if (total == size)
Zack Weinberga58d32c2000-09-12 03:42:30 +0000620 {
Neil Booth8f9b4002003-07-29 22:26:13 +0000621 if (regular)
622 break;
623 size *= 2;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000624 buf = XRESIZEVEC (uchar, buf, size + 1);
Zack Weinberga58d32c2000-09-12 03:42:30 +0000625 }
Zack Weinberga58d32c2000-09-12 03:42:30 +0000626 }
627
Neil Booth8f9b4002003-07-29 22:26:13 +0000628 if (count < 0)
629 {
John David Anglin0527bc42003-11-01 22:56:54 +0000630 cpp_errno (pfile, CPP_DL_ERROR, file->path);
Neil Booth8f9b4002003-07-29 22:26:13 +0000631 return false;
632 }
Zack Weinberga58d32c2000-09-12 03:42:30 +0000633
Neil Booth8f9b4002003-07-29 22:26:13 +0000634 if (regular && total != size && STAT_SIZE_RELIABLE (file->st))
John David Anglin0527bc42003-11-01 22:56:54 +0000635 cpp_error (pfile, CPP_DL_WARNING,
636 "%s is shorter than expected", file->path);
Neil Booth8f9b4002003-07-29 22:26:13 +0000637
Eric Christopher16dd5cf2004-02-02 20:20:58 +0000638 file->buffer = _cpp_convert_input (pfile, CPP_OPTION (pfile, input_charset),
639 buf, size, total, &file->st.st_size);
Neil Booth8f9b4002003-07-29 22:26:13 +0000640 file->buffer_valid = true;
641
642 return true;
Zack Weinberga58d32c2000-09-12 03:42:30 +0000643}
644
Neil Booth8f9b4002003-07-29 22:26:13 +0000645/* Convenience wrapper around read_file_guts that opens the file if
Kazu Hirataa98ebe22003-08-19 23:22:00 +0000646 necessary and closes the file descriptor after reading. FILE must
Neil Booth8f9b4002003-07-29 22:26:13 +0000647 have been passed through find_file() at some stage. */
648static bool
649read_file (cpp_reader *pfile, _cpp_file *file)
Zack Weinberga58d32c2000-09-12 03:42:30 +0000650{
Neil Booth8f9b4002003-07-29 22:26:13 +0000651 /* If we already have its contents in memory, succeed immediately. */
652 if (file->buffer_valid)
653 return true;
654
655 /* If an earlier read failed for some reason don't try again. */
656 if (file->dont_read || file->err_no)
657 return false;
658
659 if (file->fd == -1 && !open_file (file))
660 {
James E Wilson6568f342005-10-21 10:54:20 -0700661 open_file_failed (pfile, file, 0);
Neil Booth8f9b4002003-07-29 22:26:13 +0000662 return false;
663 }
664
665 file->dont_read = !read_file_guts (pfile, file);
666 close (file->fd);
667 file->fd = -1;
668
669 return !file->dont_read;
Zack Weinbergadd70911998-10-29 11:54:13 +0000670}
671
Neil Boothcf1ee302003-08-02 12:44:27 +0000672/* Returns TRUE if FILE's contents have been successfully placed in
673 FILE->buffer and the file should be stacked, otherwise false. */
674static bool
675should_stack_file (cpp_reader *pfile, _cpp_file *file, bool import)
676{
677 _cpp_file *f;
678
Neil Booth49634b32003-08-02 16:29:46 +0000679 /* Skip once-only files. */
680 if (file->once_only)
681 return false;
682
Eric Christopher16dd5cf2004-02-02 20:20:58 +0000683 /* We must mark the file once-only if #import now, before header
Neil Booth49634b32003-08-02 16:29:46 +0000684 guard checks. Otherwise, undefining the header guard might
685 cause the file to be re-stacked. */
686 if (import)
687 {
688 _cpp_mark_file_once_only (pfile, file);
689
690 /* Don't stack files that have been stacked before. */
691 if (file->stack_count)
692 return false;
693 }
694
Neil Boothcf1ee302003-08-02 12:44:27 +0000695 /* Skip if the file had a header guard and the macro is defined.
696 PCH relies on this appearing before the PCH handler below. */
697 if (file->cmacro && file->cmacro->type == NT_MACRO)
698 return false;
699
700 /* Handle PCH files immediately; don't stack them. */
Jakub Jelinekd4c32e12008-04-01 12:58:02 +0200701 if (file->pchname)
Neil Boothcf1ee302003-08-02 12:44:27 +0000702 {
Geoffrey Keatingc0d578e2004-06-22 06:51:56 +0000703 pfile->cb.read_pch (pfile, file->pchname, file->fd, file->path);
Neil Boothcf1ee302003-08-02 12:44:27 +0000704 file->fd = -1;
Jakub Jelinekd4c32e12008-04-01 12:58:02 +0200705 free ((void *) file->pchname);
706 file->pchname = NULL;
Neil Boothcf1ee302003-08-02 12:44:27 +0000707 return false;
708 }
709
Neil Boothcf1ee302003-08-02 12:44:27 +0000710 if (!read_file (pfile, file))
711 return false;
712
Geoffrey Keating73e61092004-01-17 00:37:47 +0000713 /* Check the file against the PCH file. This is done before
714 checking against files we've already seen, since it may save on
715 I/O. */
716 if (check_file_against_entries (pfile, file, import))
717 {
718 /* If this isn't a #import, but yet we can't include the file,
719 that means that it was #import-ed in the PCH file,
720 so we can never include it again. */
721 if (! import)
722 _cpp_mark_file_once_only (pfile, file);
723 return false;
724 }
725
Neil Booth49634b32003-08-02 16:29:46 +0000726 /* Now we've read the file's contents, we can stack it if there
727 are no once-only files. */
728 if (!pfile->seen_once_only)
Neil Boothcf1ee302003-08-02 12:44:27 +0000729 return true;
730
Neil Booth49634b32003-08-02 16:29:46 +0000731 /* We may have read the file under a different name. Look
Neil Boothcf1ee302003-08-02 12:44:27 +0000732 for likely candidates and compare file contents to be sure. */
Neil Booth49634b32003-08-02 16:29:46 +0000733 for (f = pfile->all_files; f; f = f->next_file)
Neil Boothcf1ee302003-08-02 12:44:27 +0000734 {
735 if (f == file)
736 continue;
737
Neil Booth49634b32003-08-02 16:29:46 +0000738 if ((import || f->once_only)
739 && f->err_no == 0
Neil Boothcf1ee302003-08-02 12:44:27 +0000740 && f->st.st_mtime == file->st.st_mtime
Eric Botcazou1b449372004-12-15 14:31:28 +0100741 && f->st.st_size == file->st.st_size)
742 {
743 _cpp_file *ref_file;
744 bool same_file_p = false;
745
746 if (f->buffer && !f->buffer_valid)
747 {
748 /* We already have a buffer but it is not valid, because
749 the file is still stacked. Make a new one. */
750 ref_file = make_cpp_file (pfile, f->dir, f->name);
751 ref_file->path = f->path;
752 }
753 else
754 /* The file is not stacked anymore. We can reuse it. */
755 ref_file = f;
756
757 same_file_p = read_file (pfile, ref_file)
758 /* Size might have changed in read_file(). */
759 && ref_file->st.st_size == file->st.st_size
760 && !memcmp (ref_file->buffer,
761 file->buffer,
762 file->st.st_size);
763
764 if (f->buffer && !f->buffer_valid)
765 {
766 ref_file->path = 0;
767 destroy_cpp_file (ref_file);
768 }
769
770 if (same_file_p)
771 break;
772 }
Neil Boothcf1ee302003-08-02 12:44:27 +0000773 }
774
Neil Boothcf1ee302003-08-02 12:44:27 +0000775 return f == NULL;
776}
777
Neil Booth8f9b4002003-07-29 22:26:13 +0000778/* Place the file referenced by FILE into a new buffer on the buffer
779 stack if possible. IMPORT is true if this stacking attempt is
780 because of a #import directive. Returns true if a buffer is
781 stacked. */
Per Bothner4dc299f2003-10-02 07:23:27 +0000782bool
783_cpp_stack_file (cpp_reader *pfile, _cpp_file *file, bool import)
Zack Weinbergb0699da2000-03-07 20:58:47 +0000784{
Neil Booth8f9b4002003-07-29 22:26:13 +0000785 cpp_buffer *buffer;
786 int sysp;
Zack Weinbergb0699da2000-03-07 20:58:47 +0000787
Neil Boothcf1ee302003-08-02 12:44:27 +0000788 if (!should_stack_file (pfile, file, import))
Neil Booth8f9b4002003-07-29 22:26:13 +0000789 return false;
790
Per Bothner12f9df42004-02-11 07:29:30 -0800791 if (pfile->buffer == NULL || file->dir == NULL)
792 sysp = 0;
793 else
794 sysp = MAX (pfile->buffer->sysp, file->dir->sysp);
Neil Booth8f9b4002003-07-29 22:26:13 +0000795
796 /* Add the file to the dependencies on its first inclusion. */
797 if (CPP_OPTION (pfile, deps.style) > !!sysp && !file->stack_count)
Zack Weinbergf2d5f0c2000-04-14 23:29:45 +0000798 {
Neil Booth8f9b4002003-07-29 22:26:13 +0000799 if (!file->main_file || !CPP_OPTION (pfile, deps.ignore_main_file))
Neil Boothf0babc92003-07-30 22:30:40 +0000800 deps_add_dep (pfile->deps, file->path);
Zack Weinbergf2d5f0c2000-04-14 23:29:45 +0000801 }
Kazu Hiratadf383482002-05-22 22:02:16 +0000802
Neil Booth8f9b4002003-07-29 22:26:13 +0000803 /* Clear buffer_valid since _cpp_clean_line messes it up. */
804 file->buffer_valid = false;
805 file->stack_count++;
Zack Weinberge576beb2000-03-15 22:03:37 +0000806
Neil Booth8f9b4002003-07-29 22:26:13 +0000807 /* Stack the buffer. */
808 buffer = cpp_push_buffer (pfile, file->buffer, file->st.st_size,
Ollie Wildccfc4c92007-07-30 18:29:20 +0000809 CPP_OPTION (pfile, preprocessed)
810 && !CPP_OPTION (pfile, directives_only));
Neil Booth8f9b4002003-07-29 22:26:13 +0000811 buffer->file = file;
Per Bothner12f9df42004-02-11 07:29:30 -0800812 buffer->sysp = sysp;
Zack Weinbergadd70911998-10-29 11:54:13 +0000813
Neil Booth8f9b4002003-07-29 22:26:13 +0000814 /* Initialize controlling macro state. */
815 pfile->mi_valid = true;
816 pfile->mi_cmacro = 0;
817
818 /* Generate the call back. */
Neil Booth76bf2c92003-08-03 09:28:25 +0000819 _cpp_do_file_change (pfile, LC_ENTER, file->path, 1, sysp);
Neil Booth8f9b4002003-07-29 22:26:13 +0000820
821 return true;
822}
823
Neil Booth49634b32003-08-02 16:29:46 +0000824/* Mark FILE to be included once only. */
Neil Booth8f9b4002003-07-29 22:26:13 +0000825void
Neil Booth49634b32003-08-02 16:29:46 +0000826_cpp_mark_file_once_only (cpp_reader *pfile, _cpp_file *file)
Neil Booth8f9b4002003-07-29 22:26:13 +0000827{
Neil Booth49634b32003-08-02 16:29:46 +0000828 pfile->seen_once_only = true;
829 file->once_only = true;
Neil Booth8f9b4002003-07-29 22:26:13 +0000830}
831
832/* Return the directory from which searching for FNAME should start,
Kazu Hirata2067c112003-10-05 19:50:56 +0000833 considering the directive TYPE and ANGLE_BRACKETS. If there is
Neil Booth8f9b4002003-07-29 22:26:13 +0000834 nothing left in the path, returns NULL. */
835static struct cpp_dir *
836search_path_head (cpp_reader *pfile, const char *fname, int angle_brackets,
837 enum include_type type)
838{
839 cpp_dir *dir;
840 _cpp_file *file;
841
Zack Weinberg3dce1402003-07-03 04:24:01 +0000842 if (IS_ABSOLUTE_PATH (fname))
Neil Booth8f9b4002003-07-29 22:26:13 +0000843 return &pfile->no_search_path;
844
Per Bothner4dc299f2003-10-02 07:23:27 +0000845 /* pfile->buffer is NULL when processing an -include command-line flag. */
846 file = pfile->buffer == NULL ? pfile->main_file : pfile->buffer->file;
Neil Booth41947a52001-03-13 23:55:10 +0000847
848 /* For #include_next, skip in the search path past the dir in which
Neil Boothe7182662001-03-14 19:35:08 +0000849 the current file was found, but if it was found via an absolute
850 path use the normal search logic. */
Michael Matzb0f48072007-11-16 13:46:57 +0000851 if (type == IT_INCLUDE_NEXT && file->dir
852 && file->dir != &pfile->no_search_path)
Neil Booth8f9b4002003-07-29 22:26:13 +0000853 dir = file->dir->next;
Neil Booth74eb4b32003-04-21 19:21:59 +0000854 else if (angle_brackets)
Neil Booth8f9b4002003-07-29 22:26:13 +0000855 dir = pfile->bracket_include;
856 else if (type == IT_CMDLINE)
857 /* -include and -imacros use the #include "" chain with the
858 preprocessor's cwd prepended. */
859 return make_cpp_dir (pfile, "./", false);
860 else if (pfile->quote_ignores_source_dir)
861 dir = pfile->quote_include;
Neil Booth41947a52001-03-13 23:55:10 +0000862 else
Per Bothner12f9df42004-02-11 07:29:30 -0800863 return make_cpp_dir (pfile, dir_name_of_file (file),
864 pfile->buffer ? pfile->buffer->sysp : 0);
Neil Booth41947a52001-03-13 23:55:10 +0000865
Neil Booth8f9b4002003-07-29 22:26:13 +0000866 if (dir == NULL)
John David Anglin0527bc42003-11-01 22:56:54 +0000867 cpp_error (pfile, CPP_DL_ERROR,
Neil Booth8f9b4002003-07-29 22:26:13 +0000868 "no include path in which to search for %s", fname);
869
870 return dir;
871}
872
873/* Strip the basename from the file's path. It ends with a slash if
Kazu Hirata02fa63c2003-08-19 21:09:36 +0000874 of nonzero length. Note that this procedure also works for
Neil Booth8f9b4002003-07-29 22:26:13 +0000875 <stdin>, which is represented by the empty string. */
876static const char *
877dir_name_of_file (_cpp_file *file)
878{
879 if (!file->dir_name)
Neil Booth41947a52001-03-13 23:55:10 +0000880 {
Neil Booth8f9b4002003-07-29 22:26:13 +0000881 size_t len = lbasename (file->path) - file->path;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000882 char *dir_name = XNEWVEC (char, len + 1);
Neil Booth8f9b4002003-07-29 22:26:13 +0000883
884 memcpy (dir_name, file->path, len);
885 dir_name[len] = '\0';
886 file->dir_name = dir_name;
Neil Booth41947a52001-03-13 23:55:10 +0000887 }
888
Neil Booth8f9b4002003-07-29 22:26:13 +0000889 return file->dir_name;
890}
891
Neil Booth8f9b4002003-07-29 22:26:13 +0000892/* Handles #include-family directives (distinguished by TYPE),
893 including HEADER, and the command line -imacros and -include.
894 Returns true if a buffer was stacked. */
895bool
896_cpp_stack_include (cpp_reader *pfile, const char *fname, int angle_brackets,
897 enum include_type type)
898{
899 struct cpp_dir *dir;
Per Bothner22234f52004-02-18 14:02:39 -0800900 _cpp_file *file;
Neil Booth8f9b4002003-07-29 22:26:13 +0000901
902 dir = search_path_head (pfile, fname, angle_brackets, type);
903 if (!dir)
904 return false;
905
James E Wilson6568f342005-10-21 10:54:20 -0700906 file = _cpp_find_file (pfile, fname, dir, false, angle_brackets);
Per Bothner22234f52004-02-18 14:02:39 -0800907
908 /* Compensate for the increment in linemap_add. In the case of a
909 normal #include, we're currently at the start of the line
910 *following* the #include. A separate source_location for this
911 location makes no sense (until we do the LC_LEAVE), and
912 complicates LAST_SOURCE_LINE_LOCATION. This does not apply if we
913 found a PCH file (in which case linemap_add is not called) or we
914 were included from the command-line. */
Jakub Jelinekd4c32e12008-04-01 12:58:02 +0200915 if (file->pchname == NULL && file->err_no == 0 && type != IT_CMDLINE)
Per Bothner22234f52004-02-18 14:02:39 -0800916 pfile->line_table->highest_location--;
917
918 return _cpp_stack_file (pfile, file, type == IT_IMPORT);
Neil Booth8f9b4002003-07-29 22:26:13 +0000919}
920
921/* Could not open FILE. The complication is dependency output. */
922static void
James E Wilson6568f342005-10-21 10:54:20 -0700923open_file_failed (cpp_reader *pfile, _cpp_file *file, int angle_brackets)
Neil Booth8f9b4002003-07-29 22:26:13 +0000924{
Per Bothner500bee02004-04-22 19:22:27 -0700925 int sysp = pfile->line_table->highest_line > 1 && pfile->buffer ? pfile->buffer->sysp : 0;
James E Wilson6568f342005-10-21 10:54:20 -0700926 bool print_dep = CPP_OPTION (pfile, deps.style) > (angle_brackets || !!sysp);
Neil Booth8f9b4002003-07-29 22:26:13 +0000927
928 errno = file->err_no;
929 if (print_dep && CPP_OPTION (pfile, deps.missing_files) && errno == ENOENT)
Neil Boothbf42e452003-08-01 14:04:02 +0000930 deps_add_dep (pfile->deps, file->name);
Neil Booth8f9b4002003-07-29 22:26:13 +0000931 else
Zack Weinbergadd70911998-10-29 11:54:13 +0000932 {
Neil Booth8f9b4002003-07-29 22:26:13 +0000933 /* If we are outputting dependencies but not for this file then
934 don't error because we can still produce correct output. */
935 if (CPP_OPTION (pfile, deps.style) && ! print_dep)
John David Anglin0527bc42003-11-01 22:56:54 +0000936 cpp_errno (pfile, CPP_DL_WARNING, file->path);
Neil Boothe7182662001-03-14 19:35:08 +0000937 else
John David Anglin0527bc42003-11-01 22:56:54 +0000938 cpp_errno (pfile, CPP_DL_ERROR, file->path);
Zack Weinbergd35364d2000-03-12 23:46:05 +0000939 }
Neil Booth8f9b4002003-07-29 22:26:13 +0000940}
Neil Booth591e15a2001-03-02 07:35:12 +0000941
Neil Booth8f9b4002003-07-29 22:26:13 +0000942/* Search in the chain beginning at HEAD for a file whose search path
943 started at START_DIR != NULL. */
944static struct file_hash_entry *
Zack Weinberge83d8d42004-06-26 17:39:40 +0000945search_cache (struct file_hash_entry *head, const cpp_dir *start_dir)
Neil Booth8f9b4002003-07-29 22:26:13 +0000946{
Jakub Jelinekf5eab472005-08-30 08:28:21 +0200947 while (head && head->start_dir != start_dir)
948 head = head->next;
Neil Booth8f9b4002003-07-29 22:26:13 +0000949
Jakub Jelinekf5eab472005-08-30 08:28:21 +0200950 return head;
Neil Booth8f9b4002003-07-29 22:26:13 +0000951}
952
953/* Allocate a new _cpp_file structure. */
954static _cpp_file *
955make_cpp_file (cpp_reader *pfile, cpp_dir *dir, const char *fname)
956{
957 _cpp_file *file;
958
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000959 file = XCNEW (_cpp_file);
Neil Booth8f9b4002003-07-29 22:26:13 +0000960 file->main_file = !pfile->buffer;
961 file->fd = -1;
962 file->dir = dir;
963 file->name = xstrdup (fname);
964
965 return file;
966}
967
Eric Botcazou1b449372004-12-15 14:31:28 +0100968/* Release a _cpp_file structure. */
969static void
970destroy_cpp_file (_cpp_file *file)
971{
972 if (file->buffer)
973 free ((void *) file->buffer);
974 free ((void *) file->name);
975 free (file);
976}
977
Tom Tromey97f6bd42007-12-06 18:56:26 +0000978/* Release all the files allocated by this reader. */
979static void
980destroy_all_cpp_files (cpp_reader *pfile)
981{
982 _cpp_file *iter = pfile->all_files;
983 while (iter)
984 {
985 _cpp_file *next = iter->next_file;
986 destroy_cpp_file (iter);
987 iter = next;
988 }
989}
990
Neil Booth8f9b4002003-07-29 22:26:13 +0000991/* A hash of directory names. The directory names are the path names
992 of files which contain a #include "", the included file name is
993 appended to this directories.
994
995 To avoid duplicate entries we follow the convention that all
996 non-empty directory names should end in a '/'. DIR_NAME must be
997 stored in permanently allocated memory. */
998static cpp_dir *
999make_cpp_dir (cpp_reader *pfile, const char *dir_name, int sysp)
1000{
1001 struct file_hash_entry *entry, **hash_slot;
1002 cpp_dir *dir;
1003
1004 hash_slot = (struct file_hash_entry **)
Andris Pavenisa23ee062004-07-16 20:07:01 +03001005 htab_find_slot_with_hash (pfile->dir_hash, dir_name,
Per Bothnerb92be662003-12-05 22:50:53 +00001006 htab_hash_string (dir_name),
1007 INSERT);
Neil Booth8f9b4002003-07-29 22:26:13 +00001008
1009 /* Have we already hashed this directory? */
1010 for (entry = *hash_slot; entry; entry = entry->next)
1011 if (entry->start_dir == NULL)
1012 return entry->u.dir;
1013
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001014 dir = XCNEW (cpp_dir);
Neil Booth8f9b4002003-07-29 22:26:13 +00001015 dir->next = pfile->quote_include;
1016 dir->name = (char *) dir_name;
1017 dir->len = strlen (dir_name);
1018 dir->sysp = sysp;
Mike Stump94d16132004-03-04 00:18:54 +00001019 dir->construct = 0;
Neil Booth8f9b4002003-07-29 22:26:13 +00001020
1021 /* Store this new result in the hash table. */
1022 entry = new_file_hash_entry (pfile);
1023 entry->next = *hash_slot;
1024 entry->start_dir = NULL;
Tom Tromeyf1e20712007-11-12 00:38:48 +00001025 entry->location = pfile->line_table->highest_location;
Neil Booth8f9b4002003-07-29 22:26:13 +00001026 entry->u.dir = dir;
1027 *hash_slot = entry;
1028
1029 return dir;
1030}
1031
1032/* Create a new block of memory for file hash entries. */
1033static void
1034allocate_file_hash_entries (cpp_reader *pfile)
1035{
Tom Tromey97f6bd42007-12-06 18:56:26 +00001036 struct file_hash_entry_pool *pool = XNEW (struct file_hash_entry_pool);
1037 pool->file_hash_entries_used = 0;
1038 pool->next = pfile->file_hash_entries;
1039 pfile->file_hash_entries = pool;
Neil Booth8f9b4002003-07-29 22:26:13 +00001040}
1041
1042/* Return a new file hash entry. */
1043static struct file_hash_entry *
1044new_file_hash_entry (cpp_reader *pfile)
1045{
Tom Tromey97f6bd42007-12-06 18:56:26 +00001046 unsigned int idx;
1047 if (pfile->file_hash_entries->file_hash_entries_used == FILE_HASH_POOL_SIZE)
Neil Booth8f9b4002003-07-29 22:26:13 +00001048 allocate_file_hash_entries (pfile);
1049
Tom Tromey97f6bd42007-12-06 18:56:26 +00001050 idx = pfile->file_hash_entries->file_hash_entries_used++;
1051 return &pfile->file_hash_entries->pool[idx];
1052}
1053
1054/* Free the file hash entry pools. */
1055static void
1056free_file_hash_entries (cpp_reader *pfile)
1057{
1058 struct file_hash_entry_pool *iter = pfile->file_hash_entries;
1059 while (iter)
1060 {
1061 struct file_hash_entry_pool *next = iter->next;
1062 free (iter);
1063 iter = next;
1064 }
Neil Booth8f9b4002003-07-29 22:26:13 +00001065}
1066
1067/* Returns TRUE if a file FNAME has ever been successfully opened.
1068 This routine is not intended to correctly handle filenames aliased
1069 by links or redundant . or .. traversals etc. */
1070bool
1071cpp_included (cpp_reader *pfile, const char *fname)
1072{
1073 struct file_hash_entry *entry;
1074
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001075 entry = (struct file_hash_entry *)
1076 htab_find_with_hash (pfile->file_hash, fname, htab_hash_string (fname));
Neil Booth8f9b4002003-07-29 22:26:13 +00001077
1078 while (entry && (entry->start_dir == NULL || entry->u.file->err_no))
1079 entry = entry->next;
1080
1081 return entry != NULL;
1082}
1083
Tom Tromeyf1e20712007-11-12 00:38:48 +00001084/* Returns TRUE if a file FNAME has ever been successfully opened
1085 before LOCATION. This routine is not intended to correctly handle
1086 filenames aliased by links or redundant . or .. traversals etc. */
1087bool
1088cpp_included_before (cpp_reader *pfile, const char *fname,
1089 source_location location)
1090{
1091 struct file_hash_entry *entry;
1092
1093 entry = (struct file_hash_entry *)
1094 htab_find_with_hash (pfile->file_hash, fname, htab_hash_string (fname));
1095
1096 while (entry && (entry->start_dir == NULL || entry->u.file->err_no
1097 || entry->location > location))
1098 entry = entry->next;
1099
1100 return entry != NULL;
1101}
1102
Kazu Hirata6614fd42003-12-21 14:08:35 +00001103/* Calculate the hash value of a file hash entry P. */
Per Bothnerb92be662003-12-05 22:50:53 +00001104
1105static hashval_t
1106file_hash_hash (const void *p)
1107{
1108 struct file_hash_entry *entry = (struct file_hash_entry *) p;
1109 const char *hname;
1110 if (entry->start_dir)
1111 hname = entry->u.file->name;
1112 else
1113 hname = entry->u.dir->name;
1114
1115 return htab_hash_string (hname);
1116}
1117
Neil Booth8f9b4002003-07-29 22:26:13 +00001118/* Compare a string Q against a file hash entry P. */
1119static int
Per Bothnerb92be662003-12-05 22:50:53 +00001120file_hash_eq (const void *p, const void *q)
Neil Booth8f9b4002003-07-29 22:26:13 +00001121{
1122 struct file_hash_entry *entry = (struct file_hash_entry *) p;
1123 const char *fname = (const char *) q;
1124 const char *hname;
1125
1126 if (entry->start_dir)
1127 hname = entry->u.file->name;
1128 else
1129 hname = entry->u.dir->name;
1130
1131 return strcmp (hname, fname) == 0;
1132}
1133
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +00001134/* Compare entries in the nonexistent file hash table. These are just
1135 strings. */
1136static int
1137nonexistent_file_hash_eq (const void *p, const void *q)
1138{
1139 return strcmp (p, q) == 0;
1140}
1141
Neil Booth8f9b4002003-07-29 22:26:13 +00001142/* Initialize everything in this source file. */
1143void
1144_cpp_init_files (cpp_reader *pfile)
1145{
Per Bothnerb92be662003-12-05 22:50:53 +00001146 pfile->file_hash = htab_create_alloc (127, file_hash_hash, file_hash_eq,
Neil Booth8f9b4002003-07-29 22:26:13 +00001147 NULL, xcalloc, free);
Andris Pavenisa23ee062004-07-16 20:07:01 +03001148 pfile->dir_hash = htab_create_alloc (127, file_hash_hash, file_hash_eq,
1149 NULL, xcalloc, free);
Neil Booth8f9b4002003-07-29 22:26:13 +00001150 allocate_file_hash_entries (pfile);
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +00001151 pfile->nonexistent_file_hash = htab_create_alloc (127, htab_hash_string,
1152 nonexistent_file_hash_eq,
1153 NULL, xcalloc, free);
1154 _obstack_begin (&pfile->nonexistent_file_ob, 0, 0,
1155 (void *(*) (long)) xmalloc,
1156 (void (*) (void *)) free);
Neil Booth8f9b4002003-07-29 22:26:13 +00001157}
1158
1159/* Finalize everything in this source file. */
1160void
1161_cpp_cleanup_files (cpp_reader *pfile)
1162{
1163 htab_delete (pfile->file_hash);
Andris Pavenisa23ee062004-07-16 20:07:01 +03001164 htab_delete (pfile->dir_hash);
Ian Lance Taylor0b4cafe2007-05-21 23:43:53 +00001165 htab_delete (pfile->nonexistent_file_hash);
1166 obstack_free (&pfile->nonexistent_file_ob, 0);
Tom Tromey97f6bd42007-12-06 18:56:26 +00001167 free_file_hash_entries (pfile);
1168 destroy_all_cpp_files (pfile);
1169}
1170
1171/* Make the parser forget about files it has seen. This can be useful
1172 for resetting the parser to start another run. */
1173void
1174cpp_clear_file_cache (cpp_reader *pfile)
1175{
1176 _cpp_cleanup_files (pfile);
1177 pfile->file_hash_entries = NULL;
1178 pfile->all_files = NULL;
1179 _cpp_init_files (pfile);
Neil Booth8f9b4002003-07-29 22:26:13 +00001180}
1181
1182/* Enter a file name in the hash for the sake of cpp_included. */
1183void
1184_cpp_fake_include (cpp_reader *pfile, const char *fname)
1185{
James E Wilson6568f342005-10-21 10:54:20 -07001186 _cpp_find_file (pfile, fname, pfile->buffer->file->dir, true, 0);
Zack Weinbergadd70911998-10-29 11:54:13 +00001187}
1188
Zack Weinberge605b042000-06-21 23:08:17 +00001189/* Not everyone who wants to set system-header-ness on a buffer can
Neil Booth642ce432000-12-07 23:17:56 +00001190 see the details of a buffer. This is an exported interface because
1191 fix-header needs it. */
Zack Weinberge605b042000-06-21 23:08:17 +00001192void
Zack Weinberg6cf87ca2003-06-17 06:17:44 +00001193cpp_make_system_header (cpp_reader *pfile, int syshdr, int externc)
Zack Weinberge605b042000-06-21 23:08:17 +00001194{
Neil Booth614c7d32000-12-04 07:32:04 +00001195 int flags = 0;
Per Bothner500bee02004-04-22 19:22:27 -07001196 const struct line_maps *line_table = pfile->line_table;
1197 const struct line_map *map = &line_table->maps[line_table->used-1];
Neil Booth614c7d32000-12-04 07:32:04 +00001198
1199 /* 1 = system header, 2 = system header to be treated as C. */
1200 if (syshdr)
1201 flags = 1 + (externc != 0);
Per Bothner12f9df42004-02-11 07:29:30 -08001202 pfile->buffer->sysp = flags;
1203 _cpp_do_file_change (pfile, LC_RENAME, map->to_file,
Per Bothner500bee02004-04-22 19:22:27 -07001204 SOURCE_LINE (map, pfile->line_table->highest_line), flags);
Zack Weinberge605b042000-06-21 23:08:17 +00001205}
1206
Per Bothnerb4e46ce2003-03-20 16:46:18 +00001207/* Allow the client to change the current file. Used by the front end
1208 to achieve pseudo-file names like <built-in>.
1209 If REASON is LC_LEAVE, then NEW_NAME must be NULL. */
Neil Boothc19b12c2003-03-12 21:31:51 +00001210void
Zack Weinberg6cf87ca2003-06-17 06:17:44 +00001211cpp_change_file (cpp_reader *pfile, enum lc_reason reason,
1212 const char *new_name)
Neil Boothc19b12c2003-03-12 21:31:51 +00001213{
Per Bothnerb4e46ce2003-03-20 16:46:18 +00001214 _cpp_do_file_change (pfile, reason, new_name, 1, 0);
Neil Boothc19b12c2003-03-12 21:31:51 +00001215}
1216
Neil Booth8f9b4002003-07-29 22:26:13 +00001217/* Callback function for htab_traverse. */
1218static int
1219report_missing_guard (void **slot, void *b)
1220{
1221 struct file_hash_entry *entry = (struct file_hash_entry *) *slot;
1222 int *bannerp = (int *) b;
1223
1224 /* Skip directories. */
1225 if (entry->start_dir != NULL)
1226 {
1227 _cpp_file *file = entry->u.file;
1228
1229 /* We don't want MI guard advice for the main file. */
1230 if (file->cmacro == NULL && file->stack_count == 1 && !file->main_file)
1231 {
1232 if (*bannerp == 0)
1233 {
1234 fputs (_("Multiple include guards may be useful for:\n"),
1235 stderr);
1236 *bannerp = 1;
1237 }
1238
1239 fputs (entry->u.file->path, stderr);
1240 putc ('\n', stderr);
1241 }
1242 }
1243
1244 return 0;
1245}
1246
Zack Weinbergc71f8352000-07-05 05:33:57 +00001247/* Report on all files that might benefit from a multiple include guard.
1248 Triggered by -H. */
1249void
Zack Weinberg6cf87ca2003-06-17 06:17:44 +00001250_cpp_report_missing_guards (cpp_reader *pfile)
Zack Weinbergc71f8352000-07-05 05:33:57 +00001251{
1252 int banner = 0;
Zack Weinbergc71f8352000-07-05 05:33:57 +00001253
Neil Booth8f9b4002003-07-29 22:26:13 +00001254 htab_traverse (pfile->file_hash, report_missing_guard, &banner);
Zack Weinbergc31a6502000-06-21 18:33:51 +00001255}
1256
Neil Booth41947a52001-03-13 23:55:10 +00001257/* Locate HEADER, and determine whether it is newer than the current
Martin Schaffner48c47212003-06-25 23:01:10 +02001258 file. If it cannot be located or dated, return -1, if it is
Neil Booth41947a52001-03-13 23:55:10 +00001259 newer, return 1, otherwise 0. */
Nathan Sidwellf3f751a2000-06-30 09:47:49 +00001260int
Zack Weinberg6cf87ca2003-06-17 06:17:44 +00001261_cpp_compare_file_date (cpp_reader *pfile, const char *fname,
1262 int angle_brackets)
Nathan Sidwellf3f751a2000-06-30 09:47:49 +00001263{
Neil Booth8f9b4002003-07-29 22:26:13 +00001264 _cpp_file *file;
1265 struct cpp_dir *dir;
Kazu Hiratadf383482002-05-22 22:02:16 +00001266
Neil Booth8f9b4002003-07-29 22:26:13 +00001267 dir = search_path_head (pfile, fname, angle_brackets, IT_INCLUDE);
1268 if (!dir)
Nathan Sidwellf3f751a2000-06-30 09:47:49 +00001269 return -1;
Neil Booth41947a52001-03-13 23:55:10 +00001270
James E Wilson6568f342005-10-21 10:54:20 -07001271 file = _cpp_find_file (pfile, fname, dir, false, angle_brackets);
Neil Booth8f9b4002003-07-29 22:26:13 +00001272 if (file->err_no)
1273 return -1;
1274
1275 if (file->fd != -1)
Nathan Sidwellf3f751a2000-06-30 09:47:49 +00001276 {
Neil Booth8f9b4002003-07-29 22:26:13 +00001277 close (file->fd);
1278 file->fd = -1;
Nathan Sidwellf3f751a2000-06-30 09:47:49 +00001279 }
Kazu Hiratadf383482002-05-22 22:02:16 +00001280
Neil Booth8f9b4002003-07-29 22:26:13 +00001281 return file->st.st_mtime > pfile->buffer->file->st.st_mtime;
Zack Weinbergc31a6502000-06-21 18:33:51 +00001282}
Zack Weinbergf2d5f0c2000-04-14 23:29:45 +00001283
Neil Boothc19b12c2003-03-12 21:31:51 +00001284/* Pushes the given file onto the buffer stack. Returns nonzero if
1285 successful. */
1286bool
Neil Booth8f9b4002003-07-29 22:26:13 +00001287cpp_push_include (cpp_reader *pfile, const char *fname)
Neil Boothc19b12c2003-03-12 21:31:51 +00001288{
Neil Booth8f9b4002003-07-29 22:26:13 +00001289 return _cpp_stack_include (pfile, fname, false, IT_CMDLINE);
Neil Boothc19b12c2003-03-12 21:31:51 +00001290}
1291
Neil Booth5d8ebbd2002-01-03 21:43:09 +00001292/* Do appropriate cleanup when a file INC's buffer is popped off the
Neil Boothaf0d16c2002-04-22 17:48:02 +00001293 input stack. */
1294void
Neil Booth8f9b4002003-07-29 22:26:13 +00001295_cpp_pop_file_buffer (cpp_reader *pfile, _cpp_file *file)
Zack Weinbergf9a0e962000-07-13 02:32:41 +00001296{
Neil Boothba133c92001-03-15 07:57:13 +00001297 /* Record the inclusion-preventing macro, which could be NULL
Neil Booth6d18adb2001-07-29 17:27:57 +00001298 meaning no controlling macro. */
Neil Booth8f9b4002003-07-29 22:26:13 +00001299 if (pfile->mi_valid && file->cmacro == NULL)
1300 file->cmacro = pfile->mi_cmacro;
Neil Booth93c803682000-10-28 17:59:06 +00001301
1302 /* Invalidate control macros in the #including file. */
Neil Booth6d18adb2001-07-29 17:27:57 +00001303 pfile->mi_valid = false;
Neil Booth93c803682000-10-28 17:59:06 +00001304
Neil Booth8f9b4002003-07-29 22:26:13 +00001305 if (file->buffer)
Neil Booth591e15a2001-03-02 07:35:12 +00001306 {
Neil Booth8f9b4002003-07-29 22:26:13 +00001307 free ((void *) file->buffer);
1308 file->buffer = NULL;
James E Wilson5571f742005-11-03 18:10:19 -08001309 file->buffer_valid = false;
Neil Boothba133c92001-03-15 07:57:13 +00001310 }
Neil Booth591e15a2001-03-02 07:35:12 +00001311}
1312
Grigory Zagorodnevbe8ac3e2006-02-18 09:25:31 +00001313/* Inteface to file statistics record in _cpp_file structure. */
1314struct stat *
1315_cpp_get_file_stat (_cpp_file *file)
1316{
1317 return &file->st;
1318}
1319
Neil Booth8f9b4002003-07-29 22:26:13 +00001320/* Set the include chain for "" to QUOTE, for <> to BRACKET. If
1321 QUOTE_IGNORES_SOURCE_DIR, then "" includes do not look in the
1322 directory of the including file.
Zack Weinbergadd70911998-10-29 11:54:13 +00001323
Neil Booth8f9b4002003-07-29 22:26:13 +00001324 If BRACKET does not lie in the QUOTE chain, it is set to QUOTE. */
1325void
1326cpp_set_include_chains (cpp_reader *pfile, cpp_dir *quote, cpp_dir *bracket,
1327 int quote_ignores_source_dir)
1328{
1329 pfile->quote_include = quote;
1330 pfile->bracket_include = quote;
1331 pfile->quote_ignores_source_dir = quote_ignores_source_dir;
1332
1333 for (; quote; quote = quote->next)
1334 {
1335 quote->name_map = NULL;
1336 quote->len = strlen (quote->name);
1337 if (quote == bracket)
1338 pfile->bracket_include = bracket;
1339 }
1340}
1341
1342/* Append the file name to the directory to create the path, but don't
1343 turn / into // or // into ///; // may be a namespace escape. */
1344static char *
1345append_file_to_dir (const char *fname, cpp_dir *dir)
1346{
1347 size_t dlen, flen;
1348 char *path;
1349
1350 dlen = dir->len;
1351 flen = strlen (fname);
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001352 path = XNEWVEC (char, dlen + 1 + flen + 1);
Neil Booth8f9b4002003-07-29 22:26:13 +00001353 memcpy (path, dir->name, dlen);
1354 if (dlen && path[dlen - 1] != '/')
1355 path[dlen++] = '/';
1356 memcpy (&path[dlen], fname, flen + 1);
1357
1358 return path;
1359}
Zack Weinbergadd70911998-10-29 11:54:13 +00001360
1361/* Read a space delimited string of unlimited length from a stdio
Neil Booth5d8ebbd2002-01-03 21:43:09 +00001362 file F. */
Zack Weinbergadd70911998-10-29 11:54:13 +00001363static char *
Zack Weinberg6cf87ca2003-06-17 06:17:44 +00001364read_filename_string (int ch, FILE *f)
Zack Weinbergadd70911998-10-29 11:54:13 +00001365{
1366 char *alloc, *set;
1367 int len;
1368
1369 len = 20;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001370 set = alloc = XNEWVEC (char, len + 1);
Kazu Hiratadc65cd62002-11-19 06:55:04 +00001371 if (! is_space (ch))
Zack Weinbergadd70911998-10-29 11:54:13 +00001372 {
1373 *set++ = ch;
Kazu Hiratadc65cd62002-11-19 06:55:04 +00001374 while ((ch = getc (f)) != EOF && ! is_space (ch))
Zack Weinbergadd70911998-10-29 11:54:13 +00001375 {
1376 if (set - alloc == len)
1377 {
1378 len *= 2;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001379 alloc = XRESIZEVEC (char, alloc, len + 1);
Zack Weinbergadd70911998-10-29 11:54:13 +00001380 set = alloc + len / 2;
1381 }
1382 *set++ = ch;
1383 }
1384 }
1385 *set = '\0';
1386 ungetc (ch, f);
1387 return alloc;
1388}
1389
Neil Booth8f9b4002003-07-29 22:26:13 +00001390/* Read the file name map file for DIR. */
1391static void
1392read_name_map (cpp_dir *dir)
Zack Weinbergadd70911998-10-29 11:54:13 +00001393{
Neil Booth8f9b4002003-07-29 22:26:13 +00001394 static const char FILE_NAME_MAP_FILE[] = "header.gcc";
Zack Weinbergadd70911998-10-29 11:54:13 +00001395 char *name;
1396 FILE *f;
Neil Booth8f9b4002003-07-29 22:26:13 +00001397 size_t len, count = 0, room = 9;
Zack Weinbergadd70911998-10-29 11:54:13 +00001398
Neil Booth8f9b4002003-07-29 22:26:13 +00001399 len = dir->len;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001400 name = (char *) alloca (len + sizeof (FILE_NAME_MAP_FILE) + 1);
Neil Booth8f9b4002003-07-29 22:26:13 +00001401 memcpy (name, dir->name, len);
1402 if (len && name[len - 1] != '/')
1403 name[len++] = '/';
1404 strcpy (name + len, FILE_NAME_MAP_FILE);
Zack Weinbergadd70911998-10-29 11:54:13 +00001405 f = fopen (name, "r");
Neil Booth8767c892000-12-13 19:20:14 +00001406
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001407 dir->name_map = XNEWVEC (const char *, room);
Neil Booth8f9b4002003-07-29 22:26:13 +00001408
Neil Booth8767c892000-12-13 19:20:14 +00001409 /* Silently return NULL if we cannot open. */
1410 if (f)
Zack Weinbergadd70911998-10-29 11:54:13 +00001411 {
1412 int ch;
Zack Weinbergadd70911998-10-29 11:54:13 +00001413
1414 while ((ch = getc (f)) != EOF)
1415 {
Neil Booth8f9b4002003-07-29 22:26:13 +00001416 char *to;
Zack Weinbergadd70911998-10-29 11:54:13 +00001417
Kazu Hiratadc65cd62002-11-19 06:55:04 +00001418 if (is_space (ch))
Zack Weinbergadd70911998-10-29 11:54:13 +00001419 continue;
Neil Booth8f9b4002003-07-29 22:26:13 +00001420
1421 if (count + 2 > room)
1422 {
1423 room += 8;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001424 dir->name_map = XRESIZEVEC (const char *, dir->name_map, room);
Neil Booth8f9b4002003-07-29 22:26:13 +00001425 }
1426
1427 dir->name_map[count] = read_filename_string (ch, f);
Kazu Hiratadc65cd62002-11-19 06:55:04 +00001428 while ((ch = getc (f)) != EOF && is_hspace (ch))
Zack Weinbergadd70911998-10-29 11:54:13 +00001429 ;
Neil Booth8f9b4002003-07-29 22:26:13 +00001430
Zack Weinbergadd70911998-10-29 11:54:13 +00001431 to = read_filename_string (ch, f);
Zack Weinberg3dce1402003-07-03 04:24:01 +00001432 if (IS_ABSOLUTE_PATH (to))
Neil Booth8f9b4002003-07-29 22:26:13 +00001433 dir->name_map[count + 1] = to;
Zack Weinbergadd70911998-10-29 11:54:13 +00001434 else
1435 {
Neil Booth8f9b4002003-07-29 22:26:13 +00001436 dir->name_map[count + 1] = append_file_to_dir (to, dir);
Zack Weinbergadd70911998-10-29 11:54:13 +00001437 free (to);
Kazu Hiratadf383482002-05-22 22:02:16 +00001438 }
Zack Weinbergadd70911998-10-29 11:54:13 +00001439
Neil Booth8f9b4002003-07-29 22:26:13 +00001440 count += 2;
Zack Weinbergadd70911998-10-29 11:54:13 +00001441 while ((ch = getc (f)) != '\n')
1442 if (ch == EOF)
1443 break;
1444 }
Neil Booth8f9b4002003-07-29 22:26:13 +00001445
Zack Weinbergadd70911998-10-29 11:54:13 +00001446 fclose (f);
1447 }
Kazu Hiratadf383482002-05-22 22:02:16 +00001448
Neil Booth8f9b4002003-07-29 22:26:13 +00001449 /* Terminate the list of maps. */
1450 dir->name_map[count] = NULL;
Kazu Hiratadf383482002-05-22 22:02:16 +00001451}
Zack Weinbergadd70911998-10-29 11:54:13 +00001452
Neil Booth8f9b4002003-07-29 22:26:13 +00001453/* Remap a FILE's name based on the file_name_map, if any, for
1454 FILE->dir. If the file name has any directory separators,
1455 recursively check those directories too. */
Zack Weinberg0b3d7761998-11-25 11:56:54 +00001456static char *
Neil Booth8f9b4002003-07-29 22:26:13 +00001457remap_filename (cpp_reader *pfile, _cpp_file *file)
Zack Weinbergadd70911998-10-29 11:54:13 +00001458{
Neil Booth8f9b4002003-07-29 22:26:13 +00001459 const char *fname, *p;
1460 char *new_dir;
1461 cpp_dir *dir;
1462 size_t index, len;
Zack Weinberg0b3d7761998-11-25 11:56:54 +00001463
Neil Booth8f9b4002003-07-29 22:26:13 +00001464 dir = file->dir;
1465 fname = file->name;
Neil Boothe7182662001-03-14 19:35:08 +00001466
Neil Booth986b1f12003-03-02 17:44:18 +00001467 for (;;)
1468 {
Neil Booth8f9b4002003-07-29 22:26:13 +00001469 if (!dir->name_map)
1470 read_name_map (dir);
Neil Booth986b1f12003-03-02 17:44:18 +00001471
Neil Booth8f9b4002003-07-29 22:26:13 +00001472 for (index = 0; dir->name_map[index]; index += 2)
1473 if (!strcmp (dir->name_map[index], fname))
1474 return xstrdup (dir->name_map[index + 1]);
Neil Booth986b1f12003-03-02 17:44:18 +00001475
Neil Booth8f9b4002003-07-29 22:26:13 +00001476 p = strchr (fname, '/');
1477 if (!p || p == fname)
1478 return NULL;
Neil Booth986b1f12003-03-02 17:44:18 +00001479
Neil Booth8f9b4002003-07-29 22:26:13 +00001480 len = dir->len + (p - fname + 1);
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001481 new_dir = XNEWVEC (char, len + 1);
Neil Booth8f9b4002003-07-29 22:26:13 +00001482 memcpy (new_dir, dir->name, dir->len);
1483 memcpy (new_dir + dir->len, fname, p - fname + 1);
1484 new_dir[len] = '\0';
1485
1486 dir = make_cpp_dir (pfile, new_dir, dir->sysp);
1487 fname = p + 1;
1488 }
1489}
1490
Neil Booth8f9b4002003-07-29 22:26:13 +00001491/* Returns true if PCHNAME is a valid PCH file for FILE. */
1492static bool
1493validate_pch (cpp_reader *pfile, _cpp_file *file, const char *pchname)
1494{
1495 const char *saved_path = file->path;
Phil Edwards230fcd32003-09-25 04:46:44 +00001496 bool valid = false;
Neil Booth8f9b4002003-07-29 22:26:13 +00001497
1498 file->path = pchname;
1499 if (open_file (file))
1500 {
Phil Edwards230fcd32003-09-25 04:46:44 +00001501 valid = 1 & pfile->cb.valid_pch (pfile, pchname, file->fd);
Neil Booth8f9b4002003-07-29 22:26:13 +00001502
Phil Edwards230fcd32003-09-25 04:46:44 +00001503 if (!valid)
Neil Booth986b1f12003-03-02 17:44:18 +00001504 {
Neil Booth8f9b4002003-07-29 22:26:13 +00001505 close (file->fd);
1506 file->fd = -1;
Neil Booth986b1f12003-03-02 17:44:18 +00001507 }
1508
Neil Booth8f9b4002003-07-29 22:26:13 +00001509 if (CPP_OPTION (pfile, print_include_names))
1510 {
1511 unsigned int i;
Per Bothner54020b22004-01-19 23:35:21 -08001512 for (i = 1; i < pfile->line_table->depth; i++)
Neil Booth8f9b4002003-07-29 22:26:13 +00001513 putc ('.', stderr);
1514 fprintf (stderr, "%c %s\n",
Phil Edwards230fcd32003-09-25 04:46:44 +00001515 valid ? '!' : 'x', pchname);
Neil Booth8f9b4002003-07-29 22:26:13 +00001516 }
Neil Booth986b1f12003-03-02 17:44:18 +00001517 }
1518
Neil Booth8f9b4002003-07-29 22:26:13 +00001519 file->path = saved_path;
Phil Edwards230fcd32003-09-25 04:46:44 +00001520 return valid;
Neil Booth986b1f12003-03-02 17:44:18 +00001521}
Mike Stump94d16132004-03-04 00:18:54 +00001522
1523/* Get the path associated with the _cpp_file F. The path includes
1524 the base name from the include directive and the directory it was
1525 found in via the search path. */
1526
1527const char *
1528cpp_get_path (struct _cpp_file *f)
1529{
1530 return f->path;
1531}
1532
Mike Stumpe3c287c2004-05-05 18:25:52 +00001533/* Get the directory associated with the _cpp_file F. */
1534
1535cpp_dir *
1536cpp_get_dir (struct _cpp_file *f)
1537{
1538 return f->dir;
1539}
1540
Mike Stump94d16132004-03-04 00:18:54 +00001541/* Get the cpp_buffer currently associated with the cpp_reader
1542 PFILE. */
1543
1544cpp_buffer *
1545cpp_get_buffer (cpp_reader *pfile)
1546{
1547 return pfile->buffer;
1548}
1549
1550/* Get the _cpp_file associated with the cpp_buffer B. */
1551
1552_cpp_file *
1553cpp_get_file (cpp_buffer *b)
1554{
1555 return b->file;
1556}
1557
1558/* Get the previous cpp_buffer given a cpp_buffer B. The previous
1559 buffer is the buffer that included the given buffer. */
1560
1561cpp_buffer *
1562cpp_get_prev (cpp_buffer *b)
1563{
1564 return b->prev;
1565}
Geoffrey Keating73e61092004-01-17 00:37:47 +00001566
Kazu Hirata1ae58c32004-04-30 16:27:30 +00001567/* This data structure holds the list of header files that were seen
Geoffrey Keating73e61092004-01-17 00:37:47 +00001568 while the PCH was being built. The 'entries' field is kept sorted
1569 in memcmp() order; yes, this means that on little-endian systems,
1570 it's sorted initially by the least-significant byte of 'size', but
1571 that's OK. The code does rely on having entries with the same size
1572 next to each other. */
1573
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001574struct pchf_entry {
1575 /* The size of this file. This is used to save running a MD5 checksum
1576 if the sizes don't match. */
1577 off_t size;
1578 /* The MD5 checksum of this file. */
1579 unsigned char sum[16];
1580 /* Is this file to be included only once? */
1581 bool once_only;
1582};
1583
Geoffrey Keating73e61092004-01-17 00:37:47 +00001584struct pchf_data {
1585 /* Number of pchf_entry structures. */
1586 size_t count;
1587
1588 /* Are there any values with once_only set?
1589 This is used as an optimisation, it means we don't have to search
1590 the structure if we're processing a regular #include. */
1591 bool have_once_only;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001592
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001593 struct pchf_entry entries[1];
Geoffrey Keating73e61092004-01-17 00:37:47 +00001594};
1595
1596static struct pchf_data *pchf;
1597
Geoffrey Keating73e61092004-01-17 00:37:47 +00001598/* A qsort ordering function for pchf_entry structures. */
1599
1600static int
1601pchf_save_compare (const void *e1, const void *e2)
1602{
1603 return memcmp (e1, e2, sizeof (struct pchf_entry));
1604}
1605
1606/* Create and write to F a pchf_data structure. */
1607
1608bool
Mike Stumpecddfb32005-02-09 01:23:56 +00001609_cpp_save_file_entries (cpp_reader *pfile, FILE *fp)
Geoffrey Keating73e61092004-01-17 00:37:47 +00001610{
1611 size_t count = 0;
1612 struct pchf_data *result;
1613 size_t result_size;
Mike Stumpecddfb32005-02-09 01:23:56 +00001614 _cpp_file *f;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001615
Mike Stumpecddfb32005-02-09 01:23:56 +00001616 for (f = pfile->all_files; f; f = f->next_file)
1617 ++count;
1618
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001619 result_size = (sizeof (struct pchf_data)
Geoffrey Keating73e61092004-01-17 00:37:47 +00001620 + sizeof (struct pchf_entry) * (count - 1));
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001621 result = XCNEWVAR (struct pchf_data, result_size);
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001622
Geoffrey Keating73e61092004-01-17 00:37:47 +00001623 result->count = 0;
1624 result->have_once_only = false;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001625
Mike Stumpecddfb32005-02-09 01:23:56 +00001626 for (f = pfile->all_files; f; f = f->next_file)
1627 {
1628 size_t count;
1629
1630 /* This should probably never happen, since if a read error occurred
1631 the PCH file shouldn't be written... */
1632 if (f->dont_read || f->err_no)
1633 continue;
1634
1635 if (f->stack_count == 0)
1636 continue;
1637
1638 count = result->count++;
1639
1640 result->entries[count].once_only = f->once_only;
1641 /* |= is avoided in the next line because of an HP C compiler bug */
1642 result->have_once_only = result->have_once_only | f->once_only;
1643 if (f->buffer_valid)
1644 md5_buffer ((const char *)f->buffer,
1645 f->st.st_size, result->entries[count].sum);
1646 else
1647 {
1648 FILE *ff;
1649 int oldfd = f->fd;
1650
1651 if (!open_file (f))
1652 {
James E Wilson6568f342005-10-21 10:54:20 -07001653 open_file_failed (pfile, f, 0);
Mike Stumpecddfb32005-02-09 01:23:56 +00001654 return false;
1655 }
1656 ff = fdopen (f->fd, "rb");
1657 md5_stream (ff, result->entries[count].sum);
1658 fclose (ff);
1659 f->fd = oldfd;
1660 }
1661 result->entries[count].size = f->st.st_size;
1662 }
Geoffrey Keating73e61092004-01-17 00:37:47 +00001663
1664 result_size = (sizeof (struct pchf_data)
1665 + sizeof (struct pchf_entry) * (result->count - 1));
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001666
Geoffrey Keating73e61092004-01-17 00:37:47 +00001667 qsort (result->entries, result->count, sizeof (struct pchf_entry),
1668 pchf_save_compare);
1669
Mike Stumpecddfb32005-02-09 01:23:56 +00001670 return fwrite (result, result_size, 1, fp) == 1;
Geoffrey Keating73e61092004-01-17 00:37:47 +00001671}
1672
1673/* Read the pchf_data structure from F. */
1674
1675bool
1676_cpp_read_file_entries (cpp_reader *pfile ATTRIBUTE_UNUSED, FILE *f)
1677{
1678 struct pchf_data d;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001679
Geoffrey Keating73e61092004-01-17 00:37:47 +00001680 if (fread (&d, sizeof (struct pchf_data) - sizeof (struct pchf_entry), 1, f)
1681 != 1)
1682 return false;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001683
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001684 pchf = XNEWVAR (struct pchf_data, sizeof (struct pchf_data)
Geoffrey Keating73e61092004-01-17 00:37:47 +00001685 + sizeof (struct pchf_entry) * (d.count - 1));
1686 memcpy (pchf, &d, sizeof (struct pchf_data) - sizeof (struct pchf_entry));
1687 if (fread (pchf->entries, sizeof (struct pchf_entry), d.count, f)
1688 != d.count)
1689 return false;
1690 return true;
1691}
1692
1693/* The parameters for pchf_compare. */
1694
1695struct pchf_compare_data
1696{
1697 /* The size of the file we're looking for. */
1698 off_t size;
1699
1700 /* The MD5 checksum of the file, if it's been computed. */
1701 unsigned char sum[16];
1702
1703 /* Is SUM valid? */
1704 bool sum_computed;
1705
1706 /* Do we need to worry about entries that don't have ONCE_ONLY set? */
1707 bool check_included;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001708
Geoffrey Keating73e61092004-01-17 00:37:47 +00001709 /* The file that we're searching for. */
1710 _cpp_file *f;
1711};
1712
1713/* bsearch comparison function; look for D_P in E_P. */
1714
1715static int
1716pchf_compare (const void *d_p, const void *e_p)
1717{
1718 const struct pchf_entry *e = (const struct pchf_entry *)e_p;
1719 struct pchf_compare_data *d = (struct pchf_compare_data *)d_p;
1720 int result;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001721
Geoffrey Keating73e61092004-01-17 00:37:47 +00001722 result = memcmp (&d->size, &e->size, sizeof (off_t));
1723 if (result != 0)
1724 return result;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001725
Geoffrey Keating73e61092004-01-17 00:37:47 +00001726 if (! d->sum_computed)
1727 {
1728 _cpp_file *const f = d->f;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001729
Geoffrey Keating73e61092004-01-17 00:37:47 +00001730 md5_buffer ((const char *)f->buffer, f->st.st_size, d->sum);
1731 d->sum_computed = true;
1732 }
1733
1734 result = memcmp (d->sum, e->sum, 16);
1735 if (result != 0)
1736 return result;
1737
1738 if (d->check_included || e->once_only)
1739 return 0;
1740 else
1741 return 1;
1742}
1743
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001744/* Check that F is not in a list read from a PCH file (if any).
Geoffrey Keating73e61092004-01-17 00:37:47 +00001745 Assumes that f->buffer_valid is true. Return TRUE if the file
1746 should not be read. */
1747
1748static bool
1749check_file_against_entries (cpp_reader *pfile ATTRIBUTE_UNUSED,
1750 _cpp_file *f,
1751 bool check_included)
1752{
1753 struct pchf_compare_data d;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001754
Geoffrey Keating73e61092004-01-17 00:37:47 +00001755 if (pchf == NULL
1756 || (! check_included && ! pchf->have_once_only))
1757 return false;
1758
1759 d.size = f->st.st_size;
1760 d.sum_computed = false;
1761 d.f = f;
1762 d.check_included = check_included;
1763 return bsearch (&d, pchf->entries, pchf->count, sizeof (struct pchf_entry),
1764 pchf_compare) != NULL;
1765}