]> git.ipfire.org Git - thirdparty/gcc.git/blame - libcpp/pch.c
Avoid valid Coverity warning for comparing array to zero.
[thirdparty/gcc.git] / libcpp / pch.c
CommitLineData
17211ab5 1/* Part of CPP library. (Precompiled header reading/writing.)
99dee823 2 Copyright (C) 2000-2021 Free Software Foundation, Inc.
17211ab5
GK
3
4This program is free software; you can redistribute it and/or modify it
5under the terms of the GNU General Public License as published by the
748086b7 6Free Software Foundation; either version 3, or (at your option) any
17211ab5
GK
7later version.
8
9This program is distributed in the hope that it will be useful,
10but WITHOUT ANY WARRANTY; without even the implied warranty of
11MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12GNU General Public License for more details.
13
14You should have received a copy of the GNU General Public License
748086b7
JJ
15along with this program; see the file COPYING3. If not see
16<http://www.gnu.org/licenses/>. */
17211ab5
GK
17
18#include "config.h"
19#include "system.h"
17211ab5 20#include "cpplib.h"
4f4e53dd 21#include "internal.h"
17211ab5
GK
22#include "hashtab.h"
23#include "mkdeps.h"
24
6cf87ca4
ZW
25static int write_macdef (cpp_reader *, cpp_hashnode *, void *);
26static int save_idents (cpp_reader *, cpp_hashnode *, void *);
27static hashval_t hashmem (const void *, size_t);
28static hashval_t cpp_string_hash (const void *);
29static int cpp_string_eq (const void *, const void *);
30static int count_defs (cpp_reader *, cpp_hashnode *, void *);
31static int comp_hashnodes (const void *, const void *);
32static int collect_ht_nodes (cpp_reader *, cpp_hashnode *, void *);
33static int write_defs (cpp_reader *, cpp_hashnode *, void *);
34static int save_macros (cpp_reader *, cpp_hashnode *, void *);
17e7cb85
KT
35static int _cpp_save_pushed_macros (cpp_reader *, FILE *);
36static int _cpp_restore_pushed_macros (cpp_reader *, FILE *);
17211ab5
GK
37
38/* This structure represents a macro definition on disk. */
b699150b 39struct macrodef_struct
17211ab5
GK
40{
41 unsigned int definition_length;
42 unsigned short name_length;
43 unsigned short flags;
44};
45
b699150b 46/* This is how we write out a macro definition.
17211ab5
GK
47 Suitable for being called by cpp_forall_identifiers. */
48
49static int
6cf87ca4 50write_macdef (cpp_reader *pfile, cpp_hashnode *hn, void *file_p)
17211ab5
GK
51{
52 FILE *f = (FILE *) file_p;
a570d97f 53 bool is_void = false;
17211ab5
GK
54 switch (hn->type)
55 {
56 case NT_VOID:
57 if (! (hn->flags & NODE_POISONED))
58 return 1;
a570d97f
NS
59 is_void = true;
60 goto poisoned;
b699150b 61
a570d97f 62 case NT_BUILTIN_MACRO:
17211ab5 63 return 1;
b699150b 64
a570d97f
NS
65 case NT_USER_MACRO:
66 if (hn->value.macro->kind != cmk_assert)
67 {
68 poisoned:
69 struct macrodef_struct s;
70 const unsigned char *defn;
71
72 s.name_length = NODE_LEN (hn);
73 s.flags = hn->flags & NODE_POISONED;
74
75 if (is_void)
76 {
77 defn = NODE_NAME (hn);
78 s.definition_length = s.name_length;
79 }
80 else
81 {
82 defn = cpp_macro_definition (pfile, hn);
83 s.definition_length = ustrlen (defn);
84 }
85
86 if (fwrite (&s, sizeof (s), 1, f) != 1
87 || fwrite (defn, 1, s.definition_length, f) != s.definition_length)
88 {
89 cpp_errno (pfile, CPP_DL_ERROR,
90 "while writing precompiled header");
91 return 0;
92 }
93 }
17211ab5
GK
94 return 1;
95
96 default:
97 abort ();
98 }
99}
100
101/* This structure records the names of the defined macros.
102 It's also used as a callback structure for size_initial_idents
103 and save_idents. */
104
105struct cpp_savedstate
106{
107 /* A hash table of the defined identifiers. */
108 htab_t definedhash;
109 /* The size of the definitions of those identifiers (the size of
110 'definedstrs'). */
111 size_t hashsize;
c419b113
MA
112 /* Number of definitions */
113 size_t n_defs;
71c0e7fc 114 /* Array of definitions. In cpp_write_pch_deps it is used for sorting. */
c419b113 115 cpp_hashnode **defs;
17211ab5
GK
116 /* Space for the next definition. Definitions are null-terminated
117 strings. */
118 unsigned char *definedstrs;
119};
120
121/* Save this identifier into the state: put it in the hash table,
122 put the definition in 'definedstrs'. */
123
124static int
6cf87ca4 125save_idents (cpp_reader *pfile ATTRIBUTE_UNUSED, cpp_hashnode *hn, void *ss_p)
17211ab5
GK
126{
127 struct cpp_savedstate *const ss = (struct cpp_savedstate *)ss_p;
b699150b 128
17211ab5
GK
129 if (hn->type != NT_VOID)
130 {
131 struct cpp_string news;
132 void **slot;
133
134 news.len = NODE_LEN (hn);
135 news.text= NODE_NAME (hn);
136 slot = htab_find_slot (ss->definedhash, &news, INSERT);
137 if (*slot == NULL)
138 {
139 struct cpp_string *sp;
140 unsigned char *text;
b699150b 141
c3f829c1 142 sp = XNEW (struct cpp_string);
17211ab5
GK
143 *slot = sp;
144
145 sp->len = NODE_LEN (hn);
c3f829c1 146 sp->text = text = XNEWVEC (unsigned char, NODE_LEN (hn));
17211ab5
GK
147 memcpy (text, NODE_NAME (hn), NODE_LEN (hn));
148 }
149 }
150
151 return 1;
152}
153
154/* Hash some memory in a generic way. */
155
156static hashval_t
6cf87ca4 157hashmem (const void *p_p, size_t sz)
17211ab5
GK
158{
159 const unsigned char *p = (const unsigned char *)p_p;
160 size_t i;
161 hashval_t h;
b699150b 162
17211ab5
GK
163 h = 0;
164 for (i = 0; i < sz; i++)
165 h = h * 67 - (*p++ - 113);
166 return h;
167}
168
169/* Hash a cpp string for the hashtable machinery. */
170
171static hashval_t
6cf87ca4 172cpp_string_hash (const void *a_p)
17211ab5
GK
173{
174 const struct cpp_string *a = (const struct cpp_string *) a_p;
175 return hashmem (a->text, a->len);
176}
177
178/* Compare two cpp strings for the hashtable machinery. */
179
180static int
6cf87ca4 181cpp_string_eq (const void *a_p, const void *b_p)
17211ab5
GK
182{
183 const struct cpp_string *a = (const struct cpp_string *) a_p;
184 const struct cpp_string *b = (const struct cpp_string *) b_p;
185 return (a->len == b->len
186 && memcmp (a->text, b->text, a->len) == 0);
187}
188
3b8af25b
JJ
189/* Free memory associated with cpp_string. */
190
191static void
192cpp_string_free (void *a_p)
193{
194 struct cpp_string *a = (struct cpp_string *) a_p;
195 free ((void *) a->text);
196 free (a);
197}
198
17211ab5
GK
199/* Save the current definitions of the cpp_reader for dependency
200 checking purposes. When writing a precompiled header, this should
201 be called at the same point in the compilation as cpp_valid_state
202 would be called when reading the precompiled header back in. */
203
204int
6cf87ca4 205cpp_save_state (cpp_reader *r, FILE *f)
17211ab5
GK
206{
207 /* Save the list of non-void identifiers for the dependency checking. */
c3f829c1 208 r->savedstate = XNEW (struct cpp_savedstate);
b699150b 209 r->savedstate->definedhash = htab_create (100, cpp_string_hash,
3b8af25b 210 cpp_string_eq, cpp_string_free);
17211ab5 211 cpp_forall_identifiers (r, save_idents, r->savedstate);
b699150b 212
17211ab5
GK
213 /* Write out the list of defined identifiers. */
214 cpp_forall_identifiers (r, write_macdef, f);
215
216 return 0;
217}
218
219/* Calculate the 'hashsize' field of the saved state. */
220
221static int
6cf87ca4 222count_defs (cpp_reader *pfile ATTRIBUTE_UNUSED, cpp_hashnode *hn, void *ss_p)
17211ab5
GK
223{
224 struct cpp_savedstate *const ss = (struct cpp_savedstate *)ss_p;
b699150b 225
17211ab5
GK
226 switch (hn->type)
227 {
a570d97f
NS
228 case NT_BUILTIN_MACRO:
229 return 1;
230
231 case NT_USER_MACRO:
232 if (hn->value.macro->kind == cmk_assert)
17211ab5 233 return 1;
b699150b 234
191816a3 235 /* fall through. */
17211ab5
GK
236
237 case NT_VOID:
238 {
239 struct cpp_string news;
240 void **slot;
b699150b 241
17211ab5
GK
242 news.len = NODE_LEN (hn);
243 news.text = NODE_NAME (hn);
c3f829c1 244 slot = (void **) htab_find (ss->definedhash, &news);
17211ab5 245 if (slot == NULL)
c419b113
MA
246 {
247 ss->hashsize += NODE_LEN (hn) + 1;
248 ss->n_defs += 1;
249 }
17211ab5
GK
250 }
251 return 1;
252
17211ab5
GK
253 default:
254 abort ();
255 }
256}
257
71c0e7fc 258/* Collect the identifiers into the state's string table. */
17211ab5 259static int
6cf87ca4 260write_defs (cpp_reader *pfile ATTRIBUTE_UNUSED, cpp_hashnode *hn, void *ss_p)
17211ab5
GK
261{
262 struct cpp_savedstate *const ss = (struct cpp_savedstate *)ss_p;
b699150b 263
17211ab5
GK
264 switch (hn->type)
265 {
a570d97f
NS
266 case NT_BUILTIN_MACRO:
267 return 1;
268
269 case NT_USER_MACRO:
270 if (hn->value.macro->kind == cmk_assert)
17211ab5 271 return 1;
b699150b 272
191816a3 273 /* fall through. */
17211ab5
GK
274
275 case NT_VOID:
276 {
277 struct cpp_string news;
278 void **slot;
b699150b 279
17211ab5
GK
280 news.len = NODE_LEN (hn);
281 news.text = NODE_NAME (hn);
c3f829c1 282 slot = (void **) htab_find (ss->definedhash, &news);
17211ab5
GK
283 if (slot == NULL)
284 {
c419b113
MA
285 ss->defs[ss->n_defs] = hn;
286 ss->n_defs += 1;
17211ab5
GK
287 }
288 }
289 return 1;
290
17211ab5
GK
291 default:
292 abort ();
293 }
294}
295
c419b113
MA
296/* Comparison function for qsort. The arguments point to pointers of
297 type ht_hashnode *. */
298static int
6cf87ca4 299comp_hashnodes (const void *px, const void *py)
c419b113
MA
300{
301 cpp_hashnode *x = *(cpp_hashnode **) px;
302 cpp_hashnode *y = *(cpp_hashnode **) py;
303 return ustrcmp (NODE_NAME (x), NODE_NAME (y));
304}
305
17211ab5
GK
306/* Write out the remainder of the dependency information. This should be
307 called after the PCH is ready to be saved. */
308
309int
6cf87ca4 310cpp_write_pch_deps (cpp_reader *r, FILE *f)
17211ab5
GK
311{
312 struct macrodef_struct z;
313 struct cpp_savedstate *const ss = r->savedstate;
314 unsigned char *definedstrs;
c419b113 315 size_t i;
b699150b 316
c419b113 317 /* Collect the list of identifiers which have been seen and
17211ab5 318 weren't defined to anything previously. */
c419b113
MA
319 ss->hashsize = 0;
320 ss->n_defs = 0;
17211ab5 321 cpp_forall_identifiers (r, count_defs, ss);
c419b113 322
c3f829c1 323 ss->defs = XNEWVEC (cpp_hashnode *, ss->n_defs);
c419b113 324 ss->n_defs = 0;
17211ab5 325 cpp_forall_identifiers (r, write_defs, ss);
c419b113 326
71c0e7fc 327 /* Sort the list, copy it into a buffer, and write it out. */
c419b113 328 qsort (ss->defs, ss->n_defs, sizeof (cpp_hashnode *), &comp_hashnodes);
c3f829c1 329 definedstrs = ss->definedstrs = XNEWVEC (unsigned char, ss->hashsize);
c419b113
MA
330 for (i = 0; i < ss->n_defs; ++i)
331 {
332 size_t len = NODE_LEN (ss->defs[i]);
333 memcpy (definedstrs, NODE_NAME (ss->defs[i]), len + 1);
334 definedstrs += len + 1;
335 }
336
17211ab5
GK
337 memset (&z, 0, sizeof (z));
338 z.definition_length = ss->hashsize;
339 if (fwrite (&z, sizeof (z), 1, f) != 1
c419b113 340 || fwrite (ss->definedstrs, ss->hashsize, 1, f) != 1)
17211ab5 341 {
0527bc4e 342 cpp_errno (r, CPP_DL_ERROR, "while writing precompiled header");
17211ab5
GK
343 return -1;
344 }
c419b113 345 free (ss->definedstrs);
3b8af25b
JJ
346 free (ss->defs);
347 htab_delete (ss->definedhash);
17211ab5
GK
348
349 /* Free the saved state. */
350 free (ss);
351 r->savedstate = NULL;
a702045a
OW
352
353 /* Save the next value of __COUNTER__. */
354 if (fwrite (&r->counter, sizeof (r->counter), 1, f) != 1)
355 {
356 cpp_errno (r, CPP_DL_ERROR, "while writing precompiled header");
357 return -1;
358 }
359
17211ab5
GK
360 return 0;
361}
362
363/* Write out the definitions of the preprocessor, in a form suitable for
364 cpp_read_state. */
365
366int
6cf87ca4 367cpp_write_pch_state (cpp_reader *r, FILE *f)
17211ab5 368{
17211ab5
GK
369 if (!r->deps)
370 r->deps = deps_init ();
371
372 if (deps_save (r->deps, f) != 0)
373 {
0527bc4e 374 cpp_errno (r, CPP_DL_ERROR, "while writing precompiled header");
17211ab5
GK
375 return -1;
376 }
377
73e61092
GK
378 if (! _cpp_save_file_entries (r, f))
379 {
380 cpp_errno (r, CPP_DL_ERROR, "while writing precompiled header");
381 return -1;
382 }
383
a702045a
OW
384 /* Save the next __COUNTER__ value. When we include a precompiled header,
385 we need to start at the offset we would have if the header had been
386 included normally. */
387 if (fwrite (&r->counter, sizeof (r->counter), 1, f) != 1)
388 {
389 cpp_errno (r, CPP_DL_ERROR, "while writing precompiled header");
390 return -1;
391 }
392
17e7cb85
KT
393 /* Write saved macros. */
394 if (! _cpp_save_pushed_macros (r, f))
395 {
396 cpp_errno (r, CPP_DL_ERROR, "while writing precompiled header");
397 return -1;
398 }
399
17211ab5
GK
400 return 0;
401}
402
17e7cb85
KT
403static int
404_cpp_restore_pushed_macros (cpp_reader *r, FILE *f)
405{
406 size_t count_saved = 0;
407 size_t i;
408 struct def_pragma_macro *p;
409 size_t nlen;
17e7cb85
KT
410 uchar *defn;
411 size_t defnlen;
412
413 if (fread (&count_saved, sizeof (count_saved), 1, f) != 1)
414 return 0;
415 if (! count_saved)
416 return 1;
417 for (i = 0; i < count_saved; i++)
418 {
419 if (fread (&nlen, sizeof (nlen), 1, f) != 1)
420 return 0;
421 p = XNEW (struct def_pragma_macro);
d6874138 422 memset (p, 0, sizeof (struct def_pragma_macro));
17e7cb85
KT
423 p->name = XNEWVAR (char, nlen + 1);
424 p->name[nlen] = 0;
425 if (fread (p->name, nlen, 1, f) != 1)
426 return 0;
17e7cb85
KT
427 if (fread (&defnlen, sizeof (defnlen), 1, f) != 1)
428 return 0;
d6874138
KT
429 if (defnlen == 0)
430 p->is_undef = 1;
431 else
432 {
433 defn = XNEWVEC (uchar, defnlen + 1);
434 defn[defnlen] = 0;
435
436 if (fread (defn, defnlen, 1, f) != 1)
437 return 0;
17e7cb85 438
d6874138 439 p->definition = defn;
620e594b 440 if (fread (&(p->line), sizeof (location_t), 1, f) != 1)
d6874138
KT
441 return 0;
442 defnlen = 0;
443 if (fread (&defnlen, sizeof (defnlen), 1, f) != 1)
444 return 0;
445 p->syshdr = ((defnlen & 1) != 0 ? 1 : 0);
446 p->used = ((defnlen & 2) != 0 ? 1 : 0);
447 }
17e7cb85 448
17e7cb85
KT
449 p->next = r->pushed_macros;
450 r->pushed_macros = p;
17e7cb85
KT
451 }
452 return 1;
453}
454
455static int
456_cpp_save_pushed_macros (cpp_reader *r, FILE *f)
457{
458 size_t count_saved = 0;
459 size_t i;
460 struct def_pragma_macro *p,**pp;
17e7cb85 461 size_t defnlen;
17e7cb85
KT
462
463 /* Get count. */
464 p = r->pushed_macros;
465 while (p != NULL)
466 {
467 count_saved++;
468 p = p->next;
469 }
470 if (fwrite (&count_saved, sizeof (count_saved), 1, f) != 1)
471 return 0;
472 if (!count_saved)
473 return 1;
474
475 pp = (struct def_pragma_macro **) alloca (sizeof (struct def_pragma_macro *)
476 * count_saved);
477 /* Store them in reverse order. */
478 p = r->pushed_macros;
479 i = count_saved;
480 while (p != NULL)
481 {
482 --i;
483 pp[i] = p;
484 p = p->next;
485 }
486 for (i = 0; i < count_saved; i++)
487 {
17e7cb85
KT
488 defnlen = strlen (pp[i]->name);
489 if (fwrite (&defnlen, sizeof (size_t), 1, f) != 1
490 || fwrite (pp[i]->name, defnlen, 1, f) != 1)
491 return 0;
d6874138
KT
492 if (pp[i]->is_undef)
493 {
494 defnlen = 0;
495 if (fwrite (&defnlen, sizeof (size_t), 1, f) != 1)
496 return 0;
497 }
498 else
499 {
500 defnlen = ustrlen (pp[i]->definition);
501 if (fwrite (&defnlen, sizeof (size_t), 1, f) != 1
502 || fwrite (pp[i]->definition, defnlen, 1, f) != 1)
503 return 0;
620e594b 504 if (fwrite (&(pp[i]->line), sizeof (location_t), 1, f) != 1)
d6874138
KT
505 return 0;
506 defnlen = 0;
507 defnlen |= (pp[i]->syshdr != 0 ? 1 : 0);
508 defnlen |= (pp[i]->used != 0 ? 2 : 0);
509 if (fwrite (&defnlen, sizeof (defnlen), 1, f) != 1)
510 return 0;
511 }
17e7cb85
KT
512 }
513 return 1;
514}
515
c419b113
MA
516
517/* Data structure to transform hash table nodes into a sorted list */
518
519struct ht_node_list
520{
521 /* Array of nodes */
522 cpp_hashnode **defs;
523 /* Number of nodes in the array */
524 size_t n_defs;
525 /* Size of the allocated array */
526 size_t asize;
527};
528
529/* Callback for collecting identifiers from hash table */
530
531static int
6cf87ca4
ZW
532collect_ht_nodes (cpp_reader *pfile ATTRIBUTE_UNUSED, cpp_hashnode *hn,
533 void *nl_p)
c419b113
MA
534{
535 struct ht_node_list *const nl = (struct ht_node_list *)nl_p;
536
537 if (hn->type != NT_VOID || hn->flags & NODE_POISONED)
538 {
539 if (nl->n_defs == nl->asize)
540 {
541 nl->asize *= 2;
c3f829c1 542 nl->defs = XRESIZEVEC (cpp_hashnode *, nl->defs, nl->asize);
c419b113
MA
543 }
544
545 nl->defs[nl->n_defs] = hn;
546 ++nl->n_defs;
547 }
548 return 1;
549}
550
551
17211ab5
GK
552/* Return nonzero if FD is a precompiled header which is consistent
553 with the preprocessor's current definitions. It will be consistent
554 when:
555
b699150b 556 - anything that was defined just before the PCH was generated
17211ab5
GK
557 is defined the same way now; and
558 - anything that was not defined then, but is defined now, was not
559 used by the PCH.
560
561 NAME is used to print warnings if `warn_invalid_pch' is set in the
562 reader's flags.
563*/
564
565int
6cf87ca4 566cpp_valid_state (cpp_reader *r, const char *name, int fd)
17211ab5
GK
567{
568 struct macrodef_struct m;
569 size_t namebufsz = 256;
c3f829c1 570 unsigned char *namebuf = XNEWVEC (unsigned char, namebufsz);
17211ab5 571 unsigned char *undeftab = NULL;
36801818 572 struct ht_node_list nl = { 0, 0, 0 };
c419b113 573 unsigned char *first, *last;
17211ab5 574 unsigned int i;
a702045a 575 unsigned int counter;
b699150b 576
17211ab5
GK
577 /* Read in the list of identifiers that must be defined
578 Check that they are defined in the same way. */
579 for (;;)
580 {
581 cpp_hashnode *h;
582 const unsigned char *newdefn;
b699150b 583
17211ab5
GK
584 if (read (fd, &m, sizeof (m)) != sizeof (m))
585 goto error;
b699150b 586
17211ab5
GK
587 if (m.name_length == 0)
588 break;
589
c0d578e6
GK
590 /* If this file is already preprocessed, there won't be any
591 macros defined, and that's OK. */
592 if (CPP_OPTION (r, preprocessed))
593 {
594 if (lseek (fd, m.definition_length, SEEK_CUR) == -1)
595 goto error;
596 continue;
597 }
598
17211ab5
GK
599 if (m.definition_length > namebufsz)
600 {
601 free (namebuf);
602 namebufsz = m.definition_length + 256;
c3f829c1 603 namebuf = XNEWVEC (unsigned char, namebufsz);
17211ab5 604 }
c0d578e6 605
b699150b 606 if ((size_t)read (fd, namebuf, m.definition_length)
17211ab5
GK
607 != m.definition_length)
608 goto error;
b699150b 609
17211ab5
GK
610 h = cpp_lookup (r, namebuf, m.name_length);
611 if (m.flags & NODE_POISONED
17211ab5
GK
612 || h->flags & NODE_POISONED)
613 {
db89a3be 614 if (CPP_OPTION (r, warn_invalid_pch))
87cf0651
SB
615 cpp_warning_syshdr (r, CPP_W_INVALID_PCH,
616 "%s: not used because `%.*s' is poisoned",
617 name, m.name_length, namebuf);
db89a3be
AO
618 goto fail;
619 }
620
a570d97f 621 if (h->type == NT_VOID)
db89a3be
AO
622 {
623 /* It's ok if __GCC_HAVE_DWARF2_CFI_ASM becomes undefined,
624 as in, when the PCH file is created with -g and we're
625 attempting to use it without -g. Restoring the PCH file
626 is supposed to bring in this definition *and* enable the
627 generation of call frame information, so that precompiled
5764ee3c 628 definitions that take this macro into account, to decide
db89a3be
AO
629 what asm to emit, won't issue .cfi directives when the
630 compiler doesn't. */
631 if (!(h->flags & NODE_USED)
632 && m.name_length == sizeof ("__GCC_HAVE_DWARF2_CFI_ASM") - 1
633 && !memcmp (namebuf, "__GCC_HAVE_DWARF2_CFI_ASM", m.name_length))
634 continue;
635
17211ab5 636 if (CPP_OPTION (r, warn_invalid_pch))
87cf0651
SB
637 cpp_warning_syshdr (r, CPP_W_INVALID_PCH,
638 "%s: not used because `%.*s' not defined",
639 name, m.name_length, namebuf);
17211ab5
GK
640 goto fail;
641 }
642
643 newdefn = cpp_macro_definition (r, h);
b699150b 644
17211ab5
GK
645 if (m.definition_length != ustrlen (newdefn)
646 || memcmp (namebuf, newdefn, m.definition_length) != 0)
647 {
648 if (CPP_OPTION (r, warn_invalid_pch))
87cf0651 649 cpp_warning_syshdr (r, CPP_W_INVALID_PCH,
17211ab5
GK
650 "%s: not used because `%.*s' defined as `%s' not `%.*s'",
651 name, m.name_length, namebuf, newdefn + m.name_length,
652 m.definition_length - m.name_length,
653 namebuf + m.name_length);
654 goto fail;
655 }
656 }
657 free (namebuf);
658 namebuf = NULL;
659
660 /* Read in the list of identifiers that must not be defined.
661 Check that they really aren't. */
c3f829c1 662 undeftab = XNEWVEC (unsigned char, m.definition_length);
17211ab5
GK
663 if ((size_t) read (fd, undeftab, m.definition_length) != m.definition_length)
664 goto error;
c419b113
MA
665
666 /* Collect identifiers from the current hash table. */
667 nl.n_defs = 0;
668 nl.asize = 10;
c3f829c1 669 nl.defs = XNEWVEC (cpp_hashnode *, nl.asize);
c419b113
MA
670 cpp_forall_identifiers (r, &collect_ht_nodes, &nl);
671 qsort (nl.defs, nl.n_defs, sizeof (cpp_hashnode *), &comp_hashnodes);
b699150b 672
c419b113 673 /* Loop through nl.defs and undeftab, both of which are sorted lists.
71c0e7fc 674 There should be no matches. */
c419b113
MA
675 first = undeftab;
676 last = undeftab + m.definition_length;
677 i = 0;
b699150b 678
c419b113 679 while (first < last && i < nl.n_defs)
17211ab5 680 {
c419b113 681 int cmp = ustrcmp (first, NODE_NAME (nl.defs[i]));
b699150b 682
c419b113
MA
683 if (cmp < 0)
684 first += ustrlen (first) + 1;
685 else if (cmp > 0)
686 ++i;
687 else
ccc01444
GK
688 {
689 if (CPP_OPTION (r, warn_invalid_pch))
87cf0651
SB
690 cpp_warning_syshdr (r, CPP_W_INVALID_PCH,
691 "%s: not used because `%s' is defined",
692 name, first);
ccc01444
GK
693 goto fail;
694 }
17211ab5 695 }
b699150b 696
c419b113 697 free(nl.defs);
a702045a 698 nl.defs = NULL;
17211ab5 699 free (undeftab);
a702045a
OW
700 undeftab = NULL;
701
702 /* Read in the next value of __COUNTER__.
703 Check that (a) __COUNTER__ was not used in the pch or (b) __COUNTER__
704 has not been used in this translation unit. */
705 if (read (fd, &counter, sizeof (counter)) != sizeof (counter))
706 goto error;
707 if (counter && r->counter)
708 {
709 if (CPP_OPTION (r, warn_invalid_pch))
87cf0651
SB
710 cpp_warning_syshdr (r, CPP_W_INVALID_PCH,
711 "%s: not used because `__COUNTER__' is invalid",
712 name);
21c0a521 713 goto fail;
a702045a 714 }
17211ab5
GK
715
716 /* We win! */
717 return 0;
718
719 error:
0527bc4e 720 cpp_errno (r, CPP_DL_ERROR, "while reading precompiled header");
17211ab5
GK
721
722 fail:
04695783
JM
723 free (namebuf);
724 free (undeftab);
725 free (nl.defs);
17211ab5
GK
726 return 1;
727}
728
d8044160 729/* Save all the existing macros. */
17211ab5 730
b699150b 731struct save_macro_data
17211ab5 732{
d8044160 733 uchar **defns;
17211ab5 734 size_t count;
d8044160 735 size_t array_size;
17211ab5
GK
736 char **saved_pragmas;
737};
738
d8044160
GK
739/* Save the definition of a single macro, so that it will persist
740 across a PCH restore. Because macro data is in GCed memory, which
741 will be blown away by PCH, it must be temporarily copied to
742 malloced memory. (The macros will refer to identifier nodes which
743 are also GCed and so on, so the copying is done by turning them
744 into self-contained strings.) The assumption is that most macro
745 definitions will come from the PCH file, not from the compilation
746 before the PCH file is loaded, so it doesn't matter that this is
747 a little expensive.
748
749 It would reduce the cost even further if macros defined in the PCH
750 file were not saved in this way, but this is not done (yet), except
751 for builtins, and for #assert by default. */
17211ab5 752
b699150b 753static int
d8044160 754save_macros (cpp_reader *r, cpp_hashnode *h, void *data_p)
17211ab5
GK
755{
756 struct save_macro_data *data = (struct save_macro_data *)data_p;
8e680db5 757
a570d97f 758 if (cpp_user_macro_p (h))
17211ab5 759 {
d8044160
GK
760 if (data->count == data->array_size)
761 {
762 data->array_size *= 2;
b699150b 763 data->defns = XRESIZEVEC (uchar *, data->defns, (data->array_size));
d8044160 764 }
b699150b 765
a570d97f
NS
766 const uchar * defn = cpp_macro_definition (r, h);
767 size_t defnlen = ustrlen (defn);
d8044160 768
a570d97f
NS
769 data->defns[data->count] = (uchar *) xmemdup (defn, defnlen, defnlen + 2);
770 data->defns[data->count][defnlen] = '\n';
17211ab5 771 data->count++;
17211ab5 772 }
a570d97f 773
17211ab5
GK
774 return 1;
775}
776
777/* Prepare to restore the state, by saving the currently-defined
778 macros in 'data'. */
779
780void
6cf87ca4 781cpp_prepare_state (cpp_reader *r, struct save_macro_data **data)
17211ab5 782{
c3f829c1 783 struct save_macro_data *d = XNEW (struct save_macro_data);
b699150b 784
d8044160 785 d->array_size = 512;
c3f829c1 786 d->defns = XNEWVEC (uchar *, d->array_size);
d8044160 787 d->count = 0;
17211ab5
GK
788 cpp_forall_identifiers (r, save_macros, d);
789 d->saved_pragmas = _cpp_save_pragma_names (r);
790 *data = d;
791}
792
17211ab5 793/* Given a precompiled header that was previously determined to be valid,
b699150b 794 apply all its definitions (and undefinitions) to the current state.
17211ab5
GK
795 DEPNAME is passed to deps_restore. */
796
797int
6cf87ca4
ZW
798cpp_read_state (cpp_reader *r, const char *name, FILE *f,
799 struct save_macro_data *data)
17211ab5 800{
646544e3 801 size_t i;
d8044160 802 struct lexer_state old_state;
a702045a 803 unsigned int counter;
17211ab5 804
b699150b 805 /* Restore spec_nodes, which will be full of references to the old
17211ab5
GK
806 hashtable entries and so will now be invalid. */
807 {
808 struct spec_nodes *s = &r->spec_nodes;
809 s->n_defined = cpp_lookup (r, DSC("defined"));
810 s->n_true = cpp_lookup (r, DSC("true"));
811 s->n_false = cpp_lookup (r, DSC("false"));
812 s->n__VA_ARGS__ = cpp_lookup (r, DSC("__VA_ARGS__"));
fb771b9d 813 s->n__VA_OPT__ = cpp_lookup (r, DSC("__VA_OPT__"));
17211ab5
GK
814 }
815
17211ab5 816 old_state = r->state;
17211ab5
GK
817 r->state.in_directive = 1;
818 r->state.prevent_expansion = 1;
819 r->state.angled_headers = 0;
820
d8044160
GK
821 /* Run through the carefully-saved macros, insert them. */
822 for (i = 0; i < data->count; i++)
17211ab5
GK
823 {
824 cpp_hashnode *h;
d8044160
GK
825 size_t namelen;
826 uchar *defn;
17211ab5 827
be0f1e54 828 namelen = ustrcspn (data->defns[i], "( \n");
d8044160
GK
829 h = cpp_lookup (r, data->defns[i], namelen);
830 defn = data->defns[i] + namelen;
17211ab5 831
d8044160
GK
832 /* The PCH file is valid, so we know that if there is a definition
833 from the PCH file it must be the same as the one we had
834 originally, and so do not need to restore it. */
835 if (h->type == NT_VOID)
17211ab5 836 {
d8044160 837 if (cpp_push_buffer (r, defn, ustrchr (defn, '\n') - defn, true)
40de9f76 838 != NULL)
17211ab5 839 {
26aea073 840 _cpp_clean_line (r);
17211ab5
GK
841 if (!_cpp_create_definition (r, h))
842 abort ();
843 _cpp_pop_buffer (r);
844 }
845 else
846 abort ();
847 }
17211ab5 848
d8044160
GK
849 free (data->defns[i]);
850 }
17211ab5 851 r->state = old_state;
d8044160
GK
852
853 _cpp_restore_pragma_names (r, data->saved_pragmas);
854
855 free (data);
17211ab5
GK
856
857 if (deps_restore (r->deps, f, CPP_OPTION (r, restore_pch_deps) ? name : NULL)
858 != 0)
859 goto error;
860
73e61092
GK
861 if (! _cpp_read_file_entries (r, f))
862 goto error;
863
a702045a
OW
864 if (fread (&counter, sizeof (counter), 1, f) != 1)
865 goto error;
866
867 if (!r->counter)
868 r->counter = counter;
869
17e7cb85
KT
870 /* Read pushed macros. */
871 if (! _cpp_restore_pushed_macros (r, f))
872 goto error;
17211ab5 873 return 0;
b699150b 874
17211ab5 875 error:
0527bc4e 876 cpp_errno (r, CPP_DL_ERROR, "while reading precompiled header");
17211ab5
GK
877 return -1;
878}