1 /* CPP Library. (Directive handling.)
2 Copyright (C) 1986, 1987, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
4 Contributed by Per Bothner, 1994-95.
5 Based on CCCP program by Paul Rubin, June 1986
6 Adapted to ANSI C, Richard Stallman, Jan 1987
8 This program is free software; you can redistribute it and/or modify it
9 under the terms of the GNU General Public License as published by the
10 Free Software Foundation; either version 2, or (at your option) any
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
29 /* Stack of conditionals currently in progress
30 (including both successful and failing conditionals). */
33 struct if_stack
*next
;
34 unsigned int line
; /* Line where condition started. */
35 const cpp_hashnode
*mi_cmacro
;/* macro name for #ifndef around entire file */
36 bool skip_elses
; /* Can future #else / #elif be skipped? */
37 bool was_skipping
; /* If were skipping on entry. */
38 int type
; /* Most recent conditional for diagnostics. */
41 /* Contains a registered pragma or pragma namespace. */
42 typedef void (*pragma_cb
) (cpp_reader
*);
45 struct pragma_entry
*next
;
46 const cpp_hashnode
*pragma
; /* Name and length. */
52 struct pragma_entry
*space
;
56 /* Values for the origin field of struct directive. KANDR directives
57 come from traditional (K&R) C. STDC89 directives come from the
58 1989 C standard. EXTENSION directives are extensions. */
63 /* Values for the flags field of struct directive. COND indicates a
64 conditional; IF_COND an opening conditional. INCL means to treat
65 "..." and <...> as q-char and h-char sequences respectively. IN_I
66 means this directive should be handled even if -fpreprocessed is in
67 effect (these are the directives with callback hooks).
69 EXPAND is set on directives that are always macro-expanded. */
71 #define IF_COND (1 << 1)
74 #define EXPAND (1 << 4)
76 /* Defines one #-directive, including how to handle it. */
77 typedef void (*directive_handler
) (cpp_reader
*);
78 typedef struct directive directive
;
81 directive_handler handler
; /* Function to handle directive. */
82 const uchar
*name
; /* Name of directive. */
83 unsigned short length
; /* Length of name. */
84 unsigned char origin
; /* Origin of directive. */
85 unsigned char flags
; /* Flags describing this directive. */
88 /* Forward declarations. */
90 static void skip_rest_of_line (cpp_reader
*);
91 static void check_eol (cpp_reader
*);
92 static void start_directive (cpp_reader
*);
93 static void prepare_directive_trad (cpp_reader
*);
94 static void end_directive (cpp_reader
*, int);
95 static void directive_diagnostics (cpp_reader
*, const directive
*, int);
96 static void run_directive (cpp_reader
*, int, const char *, size_t);
97 static char *glue_header_name (cpp_reader
*);
98 static const char *parse_include (cpp_reader
*, int *);
99 static void push_conditional (cpp_reader
*, int, int, const cpp_hashnode
*);
100 static unsigned int read_flag (cpp_reader
*, unsigned int);
101 static int strtoul_for_line (const uchar
*, unsigned int, unsigned long *);
102 static void do_diagnostic (cpp_reader
*, int, int);
103 static cpp_hashnode
*lex_macro_node (cpp_reader
*);
104 static int undefine_macros (cpp_reader
*, cpp_hashnode
*, void *);
105 static void do_include_common (cpp_reader
*, enum include_type
);
106 static struct pragma_entry
*lookup_pragma_entry (struct pragma_entry
*,
107 const cpp_hashnode
*);
108 static struct pragma_entry
*insert_pragma_entry (cpp_reader
*,
109 struct pragma_entry
**,
110 const cpp_hashnode
*,
113 static void register_pragma (cpp_reader
*, const char *, const char *,
114 pragma_cb
, bool, bool);
115 static int count_registered_pragmas (struct pragma_entry
*);
116 static char ** save_registered_pragmas (struct pragma_entry
*, char **);
117 static char ** restore_registered_pragmas (cpp_reader
*, struct pragma_entry
*,
119 static void do_pragma_once (cpp_reader
*);
120 static void do_pragma_poison (cpp_reader
*);
121 static void do_pragma_system_header (cpp_reader
*);
122 static void do_pragma_dependency (cpp_reader
*);
123 static void do_linemarker (cpp_reader
*);
124 static const cpp_token
*get_token_no_padding (cpp_reader
*);
125 static const cpp_token
*get__Pragma_string (cpp_reader
*);
126 static void destringize_and_run (cpp_reader
*, const cpp_string
*);
127 static int parse_answer (cpp_reader
*, struct answer
**, int);
128 static cpp_hashnode
*parse_assertion (cpp_reader
*, struct answer
**, int);
129 static struct answer
** find_answer (cpp_hashnode
*, const struct answer
*);
130 static void handle_assertion (cpp_reader
*, const char *, int);
132 /* This is the table of directive handlers. It is ordered by
133 frequency of occurrence; the numbers at the end are directive
134 counts from all the source code I have lying around (egcs and libc
135 CVS as of 1999-05-18, plus grub-0.5.91, linux-2.2.9, and
136 pcmcia-cs-3.0.9). This is no longer important as directive lookup
137 is now O(1). All extensions other than #warning and #include_next
138 are deprecated. The name is where the extension appears to have
141 #define DIRECTIVE_TABLE \
142 D(define, T_DEFINE = 0, KANDR, IN_I) /* 270554 */ \
143 D(include, T_INCLUDE, KANDR, INCL | EXPAND) /* 52262 */ \
144 D(endif, T_ENDIF, KANDR, COND) /* 45855 */ \
145 D(ifdef, T_IFDEF, KANDR, COND | IF_COND) /* 22000 */ \
146 D(if, T_IF, KANDR, COND | IF_COND | EXPAND) /* 18162 */ \
147 D(else, T_ELSE, KANDR, COND) /* 9863 */ \
148 D(ifndef, T_IFNDEF, KANDR, COND | IF_COND) /* 9675 */ \
149 D(undef, T_UNDEF, KANDR, IN_I) /* 4837 */ \
150 D(line, T_LINE, KANDR, EXPAND) /* 2465 */ \
151 D(elif, T_ELIF, STDC89, COND | EXPAND) /* 610 */ \
152 D(error, T_ERROR, STDC89, 0) /* 475 */ \
153 D(pragma, T_PRAGMA, STDC89, IN_I) /* 195 */ \
154 D(warning, T_WARNING, EXTENSION, 0) /* 22 */ \
155 D(include_next, T_INCLUDE_NEXT, EXTENSION, INCL | EXPAND) /* 19 */ \
156 D(ident, T_IDENT, EXTENSION, IN_I) /* 11 */ \
157 D(import, T_IMPORT, EXTENSION, INCL | EXPAND) /* 0 ObjC */ \
158 D(assert, T_ASSERT, EXTENSION, 0) /* 0 SVR4 */ \
159 D(unassert, T_UNASSERT, EXTENSION, 0) /* 0 SVR4 */ \
160 D(sccs, T_SCCS, EXTENSION, 0) /* 0 SVR4? */
162 /* Use the table to generate a series of prototypes, an enum for the
163 directive names, and an array of directive handlers. */
165 #define D(name, t, o, f) static void do_##name (cpp_reader *);
169 #define D(n, tag, o, f) tag,
177 #define D(name, t, origin, flags) \
178 { do_##name, (const uchar *) #name, \
179 sizeof #name - 1, origin, flags },
180 static const directive dtable
[] =
185 #undef DIRECTIVE_TABLE
187 /* Wrapper struct directive for linemarkers.
188 The origin is more or less true - the original K+R cpp
189 did use this notation in its preprocessed output. */
190 static const directive linemarker_dir
=
192 do_linemarker
, U
"#", 1, KANDR
, IN_I
195 #define SEEN_EOL() (pfile->cur_token[-1].type == CPP_EOF)
197 /* Skip any remaining tokens in a directive. */
199 skip_rest_of_line (cpp_reader
*pfile
)
201 /* Discard all stacked contexts. */
202 while (pfile
->context
->prev
)
203 _cpp_pop_context (pfile
);
205 /* Sweep up all tokens remaining on the line. */
207 while (_cpp_lex_token (pfile
)->type
!= CPP_EOF
)
211 /* Ensure there are no stray tokens at the end of a directive. */
213 check_eol (cpp_reader
*pfile
)
215 if (! SEEN_EOL () && _cpp_lex_token (pfile
)->type
!= CPP_EOF
)
216 cpp_error (pfile
, CPP_DL_PEDWARN
, "extra tokens at end of #%s directive",
217 pfile
->directive
->name
);
220 /* Called when entering a directive, _Pragma or command-line directive. */
222 start_directive (cpp_reader
*pfile
)
224 /* Setup in-directive state. */
225 pfile
->state
.in_directive
= 1;
226 pfile
->state
.save_comments
= 0;
227 pfile
->directive_result
.type
= CPP_PADDING
;
229 /* Some handlers need the position of the # for diagnostics. */
230 pfile
->directive_line
= pfile
->line_table
->highest_line
;
233 /* Called when leaving a directive, _Pragma or command-line directive. */
235 end_directive (cpp_reader
*pfile
, int skip_line
)
237 if (CPP_OPTION (pfile
, traditional
))
239 /* Revert change of prepare_directive_trad. */
240 pfile
->state
.prevent_expansion
--;
242 if (pfile
->directive
!= &dtable
[T_DEFINE
])
243 _cpp_remove_overlay (pfile
);
245 /* We don't skip for an assembler #. */
248 skip_rest_of_line (pfile
);
249 if (!pfile
->keep_tokens
)
251 pfile
->cur_run
= &pfile
->base_run
;
252 pfile
->cur_token
= pfile
->base_run
.base
;
257 pfile
->state
.save_comments
= ! CPP_OPTION (pfile
, discard_comments
);
258 pfile
->state
.in_directive
= 0;
259 pfile
->state
.in_expression
= 0;
260 pfile
->state
.angled_headers
= 0;
261 pfile
->directive
= 0;
264 /* Prepare to handle the directive in pfile->directive. */
266 prepare_directive_trad (cpp_reader
*pfile
)
268 if (pfile
->directive
!= &dtable
[T_DEFINE
])
270 bool no_expand
= (pfile
->directive
271 && ! (pfile
->directive
->flags
& EXPAND
));
272 bool was_skipping
= pfile
->state
.skipping
;
274 pfile
->state
.in_expression
= (pfile
->directive
== &dtable
[T_IF
]
275 || pfile
->directive
== &dtable
[T_ELIF
]);
276 if (pfile
->state
.in_expression
)
277 pfile
->state
.skipping
= false;
280 pfile
->state
.prevent_expansion
++;
281 _cpp_scan_out_logical_line (pfile
, NULL
);
283 pfile
->state
.prevent_expansion
--;
285 pfile
->state
.skipping
= was_skipping
;
286 _cpp_overlay_buffer (pfile
, pfile
->out
.base
,
287 pfile
->out
.cur
- pfile
->out
.base
);
290 /* Stop ISO C from expanding anything. */
291 pfile
->state
.prevent_expansion
++;
294 /* Output diagnostics for a directive DIR. INDENTED is nonzero if
295 the '#' was indented. */
297 directive_diagnostics (cpp_reader
*pfile
, const directive
*dir
, int indented
)
299 /* Issue -pedantic warnings for extensions. */
300 if (CPP_PEDANTIC (pfile
)
301 && ! pfile
->state
.skipping
302 && dir
->origin
== EXTENSION
)
303 cpp_error (pfile
, CPP_DL_PEDWARN
, "#%s is a GCC extension", dir
->name
);
305 /* Traditionally, a directive is ignored unless its # is in
306 column 1. Therefore in code intended to work with K+R
307 compilers, directives added by C89 must have their #
308 indented, and directives present in traditional C must not.
309 This is true even of directives in skipped conditional
310 blocks. #elif cannot be used at all. */
311 if (CPP_WTRADITIONAL (pfile
))
313 if (dir
== &dtable
[T_ELIF
])
314 cpp_error (pfile
, CPP_DL_WARNING
,
315 "suggest not using #elif in traditional C");
316 else if (indented
&& dir
->origin
== KANDR
)
317 cpp_error (pfile
, CPP_DL_WARNING
,
318 "traditional C ignores #%s with the # indented",
320 else if (!indented
&& dir
->origin
!= KANDR
)
321 cpp_error (pfile
, CPP_DL_WARNING
,
322 "suggest hiding #%s from traditional C with an indented #",
327 /* Check if we have a known directive. INDENTED is nonzero if the
328 '#' of the directive was indented. This function is in this file
329 to save unnecessarily exporting dtable etc. to cpplex.c. Returns
330 nonzero if the line of tokens has been handled, zero if we should
331 continue processing the line. */
333 _cpp_handle_directive (cpp_reader
*pfile
, int indented
)
335 const directive
*dir
= 0;
336 const cpp_token
*dname
;
337 bool was_parsing_args
= pfile
->state
.parsing_args
;
338 bool was_discarding_output
= pfile
->state
.discarding_output
;
341 if (was_discarding_output
)
342 pfile
->state
.prevent_expansion
= 0;
344 if (was_parsing_args
)
346 if (CPP_OPTION (pfile
, pedantic
))
347 cpp_error (pfile
, CPP_DL_PEDWARN
,
348 "embedding a directive within macro arguments is not portable");
349 pfile
->state
.parsing_args
= 0;
350 pfile
->state
.prevent_expansion
= 0;
352 start_directive (pfile
);
353 dname
= _cpp_lex_token (pfile
);
355 if (dname
->type
== CPP_NAME
)
357 if (dname
->val
.node
->is_directive
)
358 dir
= &dtable
[dname
->val
.node
->directive_index
];
360 /* We do not recognize the # followed by a number extension in
362 else if (dname
->type
== CPP_NUMBER
&& CPP_OPTION (pfile
, lang
) != CLK_ASM
)
364 dir
= &linemarker_dir
;
365 if (CPP_PEDANTIC (pfile
) && ! CPP_OPTION (pfile
, preprocessed
)
366 && ! pfile
->state
.skipping
)
367 cpp_error (pfile
, CPP_DL_PEDWARN
,
368 "style of line directive is a GCC extension");
373 /* If we have a directive that is not an opening conditional,
374 invalidate any control macro. */
375 if (! (dir
->flags
& IF_COND
))
376 pfile
->mi_valid
= false;
378 /* Kluge alert. In order to be sure that code like this
383 does not cause '#define foo bar' to get executed when
384 compiled with -save-temps, we recognize directives in
385 -fpreprocessed mode only if the # is in column 1. cppmacro.c
386 puts a space in front of any '#' at the start of a macro. */
387 if (CPP_OPTION (pfile
, preprocessed
)
388 && (indented
|| !(dir
->flags
& IN_I
)))
395 /* In failed conditional groups, all non-conditional
396 directives are ignored. Before doing that, whether
397 skipping or not, we should lex angle-bracketed headers
398 correctly, and maybe output some diagnostics. */
399 pfile
->state
.angled_headers
= dir
->flags
& INCL
;
400 pfile
->state
.directive_wants_padding
= dir
->flags
& INCL
;
401 if (! CPP_OPTION (pfile
, preprocessed
))
402 directive_diagnostics (pfile
, dir
, indented
);
403 if (pfile
->state
.skipping
&& !(dir
->flags
& COND
))
407 else if (dname
->type
== CPP_EOF
)
408 ; /* CPP_EOF is the "null directive". */
411 /* An unknown directive. Don't complain about it in assembly
412 source: we don't know where the comments are, and # may
413 introduce assembler pseudo-ops. Don't complain about invalid
414 directives in skipped conditional groups (6.10 p4). */
415 if (CPP_OPTION (pfile
, lang
) == CLK_ASM
)
417 else if (!pfile
->state
.skipping
)
418 cpp_error (pfile
, CPP_DL_ERROR
, "invalid preprocessing directive #%s",
419 cpp_token_as_text (pfile
, dname
));
422 pfile
->directive
= dir
;
423 if (CPP_OPTION (pfile
, traditional
))
424 prepare_directive_trad (pfile
);
427 pfile
->directive
->handler (pfile
);
429 _cpp_backup_tokens (pfile
, 1);
431 end_directive (pfile
, skip
);
432 if (was_parsing_args
)
434 /* Restore state when within macro args. */
435 pfile
->state
.parsing_args
= 2;
436 pfile
->state
.prevent_expansion
= 1;
438 if (was_discarding_output
)
439 pfile
->state
.prevent_expansion
= 1;
443 /* Directive handler wrapper used by the command line option
444 processor. BUF is \n terminated. */
446 run_directive (cpp_reader
*pfile
, int dir_no
, const char *buf
, size_t count
)
448 cpp_push_buffer (pfile
, (const uchar
*) buf
, count
,
449 /* from_stage3 */ true);
450 /* Disgusting hack. */
451 if (dir_no
== T_PRAGMA
&& pfile
->buffer
->prev
)
452 pfile
->buffer
->file
= pfile
->buffer
->prev
->file
;
453 start_directive (pfile
);
455 /* This is a short-term fix to prevent a leading '#' being
456 interpreted as a directive. */
457 _cpp_clean_line (pfile
);
459 pfile
->directive
= &dtable
[dir_no
];
460 if (CPP_OPTION (pfile
, traditional
))
461 prepare_directive_trad (pfile
);
462 pfile
->directive
->handler (pfile
);
463 end_directive (pfile
, 1);
464 if (dir_no
== T_PRAGMA
)
465 pfile
->buffer
->file
= NULL
;
466 _cpp_pop_buffer (pfile
);
469 /* Checks for validity the macro name in #define, #undef, #ifdef and
470 #ifndef directives. */
471 static cpp_hashnode
*
472 lex_macro_node (cpp_reader
*pfile
)
474 const cpp_token
*token
= _cpp_lex_token (pfile
);
476 /* The token immediately after #define must be an identifier. That
477 identifier may not be "defined", per C99 6.10.8p4.
478 In C++, it may not be any of the "named operators" either,
479 per C++98 [lex.digraph], [lex.key].
480 Finally, the identifier may not have been poisoned. (In that case
481 the lexer has issued the error message for us.) */
483 if (token
->type
== CPP_NAME
)
485 cpp_hashnode
*node
= token
->val
.node
;
487 if (node
== pfile
->spec_nodes
.n_defined
)
488 cpp_error (pfile
, CPP_DL_ERROR
,
489 "\"defined\" cannot be used as a macro name");
490 else if (! (node
->flags
& NODE_POISONED
))
493 else if (token
->flags
& NAMED_OP
)
494 cpp_error (pfile
, CPP_DL_ERROR
,
495 "\"%s\" cannot be used as a macro name as it is an operator in C++",
496 NODE_NAME (token
->val
.node
));
497 else if (token
->type
== CPP_EOF
)
498 cpp_error (pfile
, CPP_DL_ERROR
, "no macro name given in #%s directive",
499 pfile
->directive
->name
);
501 cpp_error (pfile
, CPP_DL_ERROR
, "macro names must be identifiers");
506 /* Process a #define directive. Most work is done in cppmacro.c. */
508 do_define (cpp_reader
*pfile
)
510 cpp_hashnode
*node
= lex_macro_node (pfile
);
514 /* If we have been requested to expand comments into macros,
515 then re-enable saving of comments. */
516 pfile
->state
.save_comments
=
517 ! CPP_OPTION (pfile
, discard_comments_in_macro_exp
);
519 if (_cpp_create_definition (pfile
, node
))
520 if (pfile
->cb
.define
)
521 pfile
->cb
.define (pfile
, pfile
->directive_line
, node
);
525 /* Handle #undef. Mark the identifier NT_VOID in the hash table. */
527 do_undef (cpp_reader
*pfile
)
529 cpp_hashnode
*node
= lex_macro_node (pfile
);
534 pfile
->cb
.undef (pfile
, pfile
->directive_line
, node
);
536 /* 6.10.3.5 paragraph 2: [#undef] is ignored if the specified
537 identifier is not currently defined as a macro name. */
538 if (node
->type
== NT_MACRO
)
540 if (node
->flags
& NODE_WARN
)
541 cpp_error (pfile
, CPP_DL_WARNING
,
542 "undefining \"%s\"", NODE_NAME (node
));
544 if (CPP_OPTION (pfile
, warn_unused_macros
))
545 _cpp_warn_if_unused_macro (pfile
, node
, NULL
);
547 _cpp_free_definition (node
);
554 /* Undefine a single macro/assertion/whatever. */
557 undefine_macros (cpp_reader
*pfile ATTRIBUTE_UNUSED
, cpp_hashnode
*h
,
558 void *data_p ATTRIBUTE_UNUSED
)
560 /* Body of _cpp_free_definition inlined here for speed.
561 Macros and assertions no longer have anything to free. */
563 h
->flags
&= ~(NODE_POISONED
|NODE_BUILTIN
|NODE_DISABLED
);
567 /* Undefine all macros and assertions. */
570 cpp_undef_all (cpp_reader
*pfile
)
572 cpp_forall_identifiers (pfile
, undefine_macros
, NULL
);
576 /* Helper routine used by parse_include. Reinterpret the current line
577 as an h-char-sequence (< ... >); we are looking at the first token
578 after the <. Returns a malloced filename. */
580 glue_header_name (cpp_reader
*pfile
)
582 const cpp_token
*token
;
584 size_t len
, total_len
= 0, capacity
= 1024;
586 /* To avoid lexed tokens overwriting our glued name, we can only
587 allocate from the string pool once we've lexed everything. */
588 buffer
= xmalloc (capacity
);
591 token
= get_token_no_padding (pfile
);
593 if (token
->type
== CPP_GREATER
)
595 if (token
->type
== CPP_EOF
)
597 cpp_error (pfile
, CPP_DL_ERROR
, "missing terminating > character");
601 len
= cpp_token_len (token
) + 2; /* Leading space, terminating \0. */
602 if (total_len
+ len
> capacity
)
604 capacity
= (capacity
+ len
) * 2;
605 buffer
= xrealloc (buffer
, capacity
);
608 if (token
->flags
& PREV_WHITE
)
609 buffer
[total_len
++] = ' ';
611 total_len
= (cpp_spell_token (pfile
, token
, (uchar
*) &buffer
[total_len
])
615 buffer
[total_len
] = '\0';
619 /* Returns the file name of #include, #include_next, #import and
620 #pragma dependency. The string is malloced and the caller should
621 free it. Returns NULL on error. */
623 parse_include (cpp_reader
*pfile
, int *pangle_brackets
)
626 const cpp_token
*header
;
628 /* Allow macro expansion. */
629 header
= get_token_no_padding (pfile
);
630 if (header
->type
== CPP_STRING
|| header
->type
== CPP_HEADER_NAME
)
632 fname
= xmalloc (header
->val
.str
.len
- 1);
633 memcpy (fname
, header
->val
.str
.text
+ 1, header
->val
.str
.len
- 2);
634 fname
[header
->val
.str
.len
- 2] = '\0';
635 *pangle_brackets
= header
->type
== CPP_HEADER_NAME
;
637 else if (header
->type
== CPP_LESS
)
639 fname
= glue_header_name (pfile
);
640 *pangle_brackets
= 1;
644 const unsigned char *dir
;
646 if (pfile
->directive
== &dtable
[T_PRAGMA
])
647 dir
= U
"pragma dependency";
649 dir
= pfile
->directive
->name
;
650 cpp_error (pfile
, CPP_DL_ERROR
, "#%s expects \"FILENAME\" or <FILENAME>",
660 /* Handle #include, #include_next and #import. */
662 do_include_common (cpp_reader
*pfile
, enum include_type type
)
667 fname
= parse_include (pfile
, &angle_brackets
);
671 /* Prevent #include recursion. */
672 if (pfile
->line_table
->depth
>= CPP_STACK_MAX
)
673 cpp_error (pfile
, CPP_DL_ERROR
, "#include nested too deeply");
676 /* Get out of macro context, if we are. */
677 skip_rest_of_line (pfile
);
679 if (pfile
->cb
.include
)
680 pfile
->cb
.include (pfile
, pfile
->directive_line
,
681 pfile
->directive
->name
, fname
, angle_brackets
);
683 _cpp_stack_include (pfile
, fname
, angle_brackets
, type
);
686 free ((void *) fname
);
690 do_include (cpp_reader
*pfile
)
692 do_include_common (pfile
, IT_INCLUDE
);
696 do_import (cpp_reader
*pfile
)
698 do_include_common (pfile
, IT_IMPORT
);
702 do_include_next (cpp_reader
*pfile
)
704 enum include_type type
= IT_INCLUDE_NEXT
;
706 /* If this is the primary source file, warn and use the normal
708 if (! pfile
->buffer
->prev
)
710 cpp_error (pfile
, CPP_DL_WARNING
,
711 "#include_next in primary source file");
714 do_include_common (pfile
, type
);
717 /* Subroutine of do_linemarker. Read possible flags after file name.
718 LAST is the last flag seen; 0 if this is the first flag. Return the
719 flag if it is valid, 0 at the end of the directive. Otherwise
722 read_flag (cpp_reader
*pfile
, unsigned int last
)
724 const cpp_token
*token
= _cpp_lex_token (pfile
);
726 if (token
->type
== CPP_NUMBER
&& token
->val
.str
.len
== 1)
728 unsigned int flag
= token
->val
.str
.text
[0] - '0';
730 if (flag
> last
&& flag
<= 4
731 && (flag
!= 4 || last
== 3)
732 && (flag
!= 2 || last
== 0))
736 if (token
->type
!= CPP_EOF
)
737 cpp_error (pfile
, CPP_DL_ERROR
, "invalid flag \"%s\" in line directive",
738 cpp_token_as_text (pfile
, token
));
742 /* Subroutine of do_line and do_linemarker. Convert a number in STR,
743 of length LEN, to binary; store it in NUMP, and return 0 if the
744 number was well-formed, 1 if not. Temporary, hopefully. */
746 strtoul_for_line (const uchar
*str
, unsigned int len
, long unsigned int *nump
)
748 unsigned long reg
= 0;
762 /* Interpret #line command.
763 Note that the filename string (if any) is a true string constant
764 (escapes are interpreted), unlike in #line. */
766 do_line (cpp_reader
*pfile
)
768 const struct line_maps
*line_table
= pfile
->line_table
;
769 const struct line_map
*map
= &line_table
->maps
[line_table
->used
- 1];
770 const cpp_token
*token
;
771 const char *new_file
= map
->to_file
;
772 unsigned long new_lineno
;
774 /* C99 raised the minimum limit on #line numbers. */
775 unsigned int cap
= CPP_OPTION (pfile
, c99
) ? 2147483647 : 32767;
777 /* #line commands expand macros. */
778 token
= cpp_get_token (pfile
);
779 if (token
->type
!= CPP_NUMBER
780 || strtoul_for_line (token
->val
.str
.text
, token
->val
.str
.len
,
783 cpp_error (pfile
, CPP_DL_ERROR
,
784 "\"%s\" after #line is not a positive integer",
785 cpp_token_as_text (pfile
, token
));
789 if (CPP_PEDANTIC (pfile
) && (new_lineno
== 0 || new_lineno
> cap
))
790 cpp_error (pfile
, CPP_DL_PEDWARN
, "line number out of range");
792 token
= cpp_get_token (pfile
);
793 if (token
->type
== CPP_STRING
)
795 cpp_string s
= { 0, 0 };
796 if (cpp_interpret_string_notranslate (pfile
, &token
->val
.str
, 1,
798 new_file
= (const char *)s
.text
;
801 else if (token
->type
!= CPP_EOF
)
803 cpp_error (pfile
, CPP_DL_ERROR
, "\"%s\" is not a valid filename",
804 cpp_token_as_text (pfile
, token
));
808 skip_rest_of_line (pfile
);
809 _cpp_do_file_change (pfile
, LC_RENAME
, new_file
, new_lineno
,
813 /* Interpret the # 44 "file" [flags] notation, which has slightly
814 different syntax and semantics from #line: Flags are allowed,
815 and we never complain about the line number being too big. */
817 do_linemarker (cpp_reader
*pfile
)
819 const struct line_maps
*line_table
= pfile
->line_table
;
820 const struct line_map
*map
= &line_table
->maps
[line_table
->used
- 1];
821 const cpp_token
*token
;
822 const char *new_file
= map
->to_file
;
823 unsigned long new_lineno
;
824 unsigned int new_sysp
= map
->sysp
;
825 enum lc_reason reason
= LC_RENAME
;
828 /* Back up so we can get the number again. Putting this in
829 _cpp_handle_directive risks two calls to _cpp_backup_tokens in
830 some circumstances, which can segfault. */
831 _cpp_backup_tokens (pfile
, 1);
833 /* #line commands expand macros. */
834 token
= cpp_get_token (pfile
);
835 if (token
->type
!= CPP_NUMBER
836 || strtoul_for_line (token
->val
.str
.text
, token
->val
.str
.len
,
839 cpp_error (pfile
, CPP_DL_ERROR
,
840 "\"%s\" after # is not a positive integer",
841 cpp_token_as_text (pfile
, token
));
845 token
= cpp_get_token (pfile
);
846 if (token
->type
== CPP_STRING
)
848 cpp_string s
= { 0, 0 };
849 if (cpp_interpret_string_notranslate (pfile
, &token
->val
.str
,
851 new_file
= (const char *)s
.text
;
854 flag
= read_flag (pfile
, 0);
858 /* Fake an include for cpp_included (). */
859 _cpp_fake_include (pfile
, new_file
);
860 flag
= read_flag (pfile
, flag
);
865 flag
= read_flag (pfile
, flag
);
870 flag
= read_flag (pfile
, flag
);
873 pfile
->buffer
->sysp
= new_sysp
;
878 else if (token
->type
!= CPP_EOF
)
880 cpp_error (pfile
, CPP_DL_ERROR
, "\"%s\" is not a valid filename",
881 cpp_token_as_text (pfile
, token
));
885 skip_rest_of_line (pfile
);
886 _cpp_do_file_change (pfile
, reason
, new_file
, new_lineno
, new_sysp
);
889 /* Arrange the file_change callback. pfile->line has changed to
890 FILE_LINE of TO_FILE, for reason REASON. SYSP is 1 for a system
891 header, 2 for a system header that needs to be extern "C" protected,
892 and zero otherwise. */
894 _cpp_do_file_change (cpp_reader
*pfile
, enum lc_reason reason
,
895 const char *to_file
, unsigned int file_line
,
898 const struct line_map
*map
= linemap_add (pfile
->line_table
, reason
, sysp
,
901 linemap_line_start (pfile
->line_table
, map
->to_line
, 127);
903 if (pfile
->cb
.file_change
)
904 pfile
->cb
.file_change (pfile
, map
);
907 /* Report a warning or error detected by the program we are
908 processing. Use the directive's tokens in the error message. */
910 do_diagnostic (cpp_reader
*pfile
, int code
, int print_dir
)
912 if (_cpp_begin_message (pfile
, code
, pfile
->cur_token
[-1].src_loc
, 0))
915 fprintf (stderr
, "#%s ", pfile
->directive
->name
);
916 pfile
->state
.prevent_expansion
++;
917 cpp_output_line (pfile
, stderr
);
918 pfile
->state
.prevent_expansion
--;
923 do_error (cpp_reader
*pfile
)
925 do_diagnostic (pfile
, CPP_DL_ERROR
, 1);
929 do_warning (cpp_reader
*pfile
)
931 /* We want #warning diagnostics to be emitted in system headers too. */
932 do_diagnostic (pfile
, CPP_DL_WARNING_SYSHDR
, 1);
935 /* Report program identification. */
937 do_ident (cpp_reader
*pfile
)
939 const cpp_token
*str
= cpp_get_token (pfile
);
941 if (str
->type
!= CPP_STRING
)
942 cpp_error (pfile
, CPP_DL_ERROR
, "invalid #ident directive");
943 else if (pfile
->cb
.ident
)
944 pfile
->cb
.ident (pfile
, pfile
->directive_line
, &str
->val
.str
);
949 /* Lookup a PRAGMA name in a singly-linked CHAIN. Returns the
950 matching entry, or NULL if none is found. The returned entry could
951 be the start of a namespace chain, or a pragma. */
952 static struct pragma_entry
*
953 lookup_pragma_entry (struct pragma_entry
*chain
, const cpp_hashnode
*pragma
)
955 while (chain
&& chain
->pragma
!= pragma
)
961 /* Create and insert a pragma entry for NAME at the beginning of a
962 singly-linked CHAIN. If handler is NULL, it is a namespace,
963 otherwise it is a pragma and its handler. If INTERNAL is true
964 this pragma is being inserted by libcpp itself. */
965 static struct pragma_entry
*
966 insert_pragma_entry (cpp_reader
*pfile
, struct pragma_entry
**chain
,
967 const cpp_hashnode
*pragma
, pragma_cb handler
,
968 bool allow_expansion
, bool internal
)
970 struct pragma_entry
*new;
972 new = (struct pragma_entry
*)
973 _cpp_aligned_alloc (pfile
, sizeof (struct pragma_entry
));
974 new->pragma
= pragma
;
978 new->u
.handler
= handler
;
986 new->allow_expansion
= allow_expansion
;
987 new->is_internal
= internal
;
993 /* Register a pragma NAME in namespace SPACE. If SPACE is null, it
994 goes in the global namespace. HANDLER is the handler it will call,
995 which must be non-NULL. If ALLOW_EXPANSION is set, allow macro
996 expansion while parsing pragma NAME. INTERNAL is true if this is a
997 pragma registered by cpplib itself, false if it is registered via
998 cpp_register_pragma */
1000 register_pragma (cpp_reader
*pfile
, const char *space
, const char *name
,
1001 pragma_cb handler
, bool allow_expansion
, bool internal
)
1003 struct pragma_entry
**chain
= &pfile
->pragmas
;
1004 struct pragma_entry
*entry
;
1005 const cpp_hashnode
*node
;
1012 node
= cpp_lookup (pfile
, U space
, strlen (space
));
1013 entry
= lookup_pragma_entry (*chain
, node
);
1015 entry
= insert_pragma_entry (pfile
, chain
, node
, NULL
,
1016 allow_expansion
, internal
);
1017 else if (!entry
->is_nspace
)
1019 chain
= &entry
->u
.space
;
1022 /* Check for duplicates. */
1023 node
= cpp_lookup (pfile
, U name
, strlen (name
));
1024 entry
= lookup_pragma_entry (*chain
, node
);
1027 if (entry
->is_nspace
)
1029 cpp_error (pfile
, CPP_DL_ICE
,
1030 "registering \"%s\" as both a pragma and a pragma namespace",
1033 cpp_error (pfile
, CPP_DL_ICE
, "#pragma %s %s is already registered",
1036 cpp_error (pfile
, CPP_DL_ICE
, "#pragma %s is already registered", name
);
1039 insert_pragma_entry (pfile
, chain
, node
, handler
, allow_expansion
,
1043 /* Register a pragma NAME in namespace SPACE. If SPACE is null, it
1044 goes in the global namespace. HANDLER is the handler it will call,
1045 which must be non-NULL. If ALLOW_EXPANSION is set, allow macro
1046 expansion while parsing pragma NAME. This function is exported
1049 cpp_register_pragma (cpp_reader
*pfile
, const char *space
, const char *name
,
1050 pragma_cb handler
, bool allow_expansion
)
1052 register_pragma (pfile
, space
, name
, handler
, allow_expansion
, false);
1055 /* Register the pragmas the preprocessor itself handles. */
1057 _cpp_init_internal_pragmas (cpp_reader
*pfile
)
1059 /* Pragmas in the global namespace. */
1060 register_pragma (pfile
, 0, "once", do_pragma_once
, false, true);
1062 /* New GCC-specific pragmas should be put in the GCC namespace. */
1063 register_pragma (pfile
, "GCC", "poison", do_pragma_poison
, false, true);
1064 register_pragma (pfile
, "GCC", "system_header", do_pragma_system_header
,
1066 register_pragma (pfile
, "GCC", "dependency", do_pragma_dependency
,
1070 /* Return the number of registered pragmas in PE. */
1073 count_registered_pragmas (struct pragma_entry
*pe
)
1076 for (; pe
!= NULL
; pe
= pe
->next
)
1079 ct
+= count_registered_pragmas (pe
->u
.space
);
1085 /* Save into SD the names of the registered pragmas referenced by PE,
1086 and return a pointer to the next free space in SD. */
1089 save_registered_pragmas (struct pragma_entry
*pe
, char **sd
)
1091 for (; pe
!= NULL
; pe
= pe
->next
)
1094 sd
= save_registered_pragmas (pe
->u
.space
, sd
);
1095 *sd
++ = xmemdup (HT_STR (&pe
->pragma
->ident
),
1096 HT_LEN (&pe
->pragma
->ident
),
1097 HT_LEN (&pe
->pragma
->ident
) + 1);
1102 /* Return a newly-allocated array which saves the names of the
1103 registered pragmas. */
1106 _cpp_save_pragma_names (cpp_reader
*pfile
)
1108 int ct
= count_registered_pragmas (pfile
->pragmas
);
1109 char **result
= XNEWVEC (char *, ct
);
1110 (void) save_registered_pragmas (pfile
->pragmas
, result
);
1114 /* Restore from SD the names of the registered pragmas referenced by PE,
1115 and return a pointer to the next unused name in SD. */
1118 restore_registered_pragmas (cpp_reader
*pfile
, struct pragma_entry
*pe
,
1121 for (; pe
!= NULL
; pe
= pe
->next
)
1124 sd
= restore_registered_pragmas (pfile
, pe
->u
.space
, sd
);
1125 pe
->pragma
= cpp_lookup (pfile
, U
*sd
, strlen (*sd
));
1132 /* Restore the names of the registered pragmas from SAVED. */
1135 _cpp_restore_pragma_names (cpp_reader
*pfile
, char **saved
)
1137 (void) restore_registered_pragmas (pfile
, pfile
->pragmas
, saved
);
1141 /* Pragmata handling. We handle some, and pass the rest on to the
1142 front end. C99 defines three pragmas and says that no macro
1143 expansion is to be performed on them; whether or not macro
1144 expansion happens for other pragmas is implementation defined.
1145 This implementation never macro-expands the text after #pragma.
1147 The library user has the option of deferring execution of
1148 #pragmas not handled by cpplib, in which case they are converted
1149 to CPP_PRAGMA tokens and inserted into the output stream. */
1151 do_pragma (cpp_reader
*pfile
)
1153 const struct pragma_entry
*p
= NULL
;
1154 const cpp_token
*token
, *pragma_token
= pfile
->cur_token
;
1155 unsigned int count
= 1;
1157 /* Save the current position so that defer_pragmas mode can
1158 copy the entire current line to a string. It will not work
1159 to use _cpp_backup_tokens as that does not reverse buffer->cur. */
1160 const uchar
*line_start
= CPP_BUFFER (pfile
)->cur
;
1162 pfile
->state
.prevent_expansion
++;
1164 token
= cpp_get_token (pfile
);
1165 if (token
->type
== CPP_NAME
)
1167 p
= lookup_pragma_entry (pfile
->pragmas
, token
->val
.node
);
1168 if (p
&& p
->is_nspace
)
1171 token
= cpp_get_token (pfile
);
1172 if (token
->type
== CPP_NAME
)
1173 p
= lookup_pragma_entry (p
->u
.space
, token
->val
.node
);
1181 if (p
->is_internal
|| !CPP_OPTION (pfile
, defer_pragmas
))
1183 /* Since the handler below doesn't get the line number, that it
1184 might need for diagnostics, make sure it has the right
1185 numbers in place. */
1186 if (pfile
->cb
.line_change
)
1187 (*pfile
->cb
.line_change
) (pfile
, pragma_token
, false);
1188 /* Never expand macros if handling a deferred pragma, since
1189 the macro definitions now applicable may be different
1190 from those at the point the pragma appeared. */
1191 if (p
->allow_expansion
&& !pfile
->state
.in_deferred_pragma
)
1192 pfile
->state
.prevent_expansion
--;
1193 (*p
->u
.handler
) (pfile
);
1194 if (p
->allow_expansion
&& !pfile
->state
.in_deferred_pragma
)
1195 pfile
->state
.prevent_expansion
++;
1199 /* Squirrel away the pragma text. Pragmas are
1200 newline-terminated. */
1201 const uchar
*line_end
;
1206 line_end
= ustrchr (line_start
, '\n');
1208 body
.len
= (line_end
- line_start
) + 1;
1209 s
= _cpp_unaligned_alloc (pfile
, body
.len
+ 1);
1210 memcpy (s
, line_start
, body
.len
);
1214 /* Create a CPP_PRAGMA token. */
1215 ptok
= &pfile
->directive_result
;
1216 ptok
->src_loc
= pragma_token
->src_loc
;
1217 ptok
->type
= CPP_PRAGMA
;
1218 ptok
->flags
= pragma_token
->flags
| NO_EXPAND
;
1219 ptok
->val
.str
= body
;
1222 else if (pfile
->cb
.def_pragma
)
1224 _cpp_backup_tokens (pfile
, count
);
1225 pfile
->cb
.def_pragma (pfile
, pfile
->directive_line
);
1228 pfile
->state
.prevent_expansion
--;
1231 /* Handle #pragma once. */
1233 do_pragma_once (cpp_reader
*pfile
)
1235 if (pfile
->buffer
->prev
== NULL
)
1236 cpp_error (pfile
, CPP_DL_WARNING
, "#pragma once in main file");
1239 _cpp_mark_file_once_only (pfile
, pfile
->buffer
->file
);
1242 /* Handle #pragma GCC poison, to poison one or more identifiers so
1243 that the lexer produces a hard error for each subsequent usage. */
1245 do_pragma_poison (cpp_reader
*pfile
)
1247 const cpp_token
*tok
;
1250 pfile
->state
.poisoned_ok
= 1;
1253 tok
= _cpp_lex_token (pfile
);
1254 if (tok
->type
== CPP_EOF
)
1256 if (tok
->type
!= CPP_NAME
)
1258 cpp_error (pfile
, CPP_DL_ERROR
,
1259 "invalid #pragma GCC poison directive");
1264 if (hp
->flags
& NODE_POISONED
)
1267 if (hp
->type
== NT_MACRO
)
1268 cpp_error (pfile
, CPP_DL_WARNING
, "poisoning existing macro \"%s\"",
1270 _cpp_free_definition (hp
);
1271 hp
->flags
|= NODE_POISONED
| NODE_DIAGNOSTIC
;
1273 pfile
->state
.poisoned_ok
= 0;
1276 /* Mark the current header as a system header. This will suppress
1277 some categories of warnings (notably those from -pedantic). It is
1278 intended for use in system libraries that cannot be implemented in
1279 conforming C, but cannot be certain that their headers appear in a
1280 system include directory. To prevent abuse, it is rejected in the
1281 primary source file. */
1283 do_pragma_system_header (cpp_reader
*pfile
)
1285 cpp_buffer
*buffer
= pfile
->buffer
;
1287 if (buffer
->prev
== 0)
1288 cpp_error (pfile
, CPP_DL_WARNING
,
1289 "#pragma system_header ignored outside include file");
1293 skip_rest_of_line (pfile
);
1294 cpp_make_system_header (pfile
, 1, 0);
1298 /* Check the modified date of the current include file against a specified
1299 file. Issue a diagnostic, if the specified file is newer. We use this to
1300 determine if a fixed header should be refixed. */
1302 do_pragma_dependency (cpp_reader
*pfile
)
1305 int angle_brackets
, ordering
;
1307 fname
= parse_include (pfile
, &angle_brackets
);
1311 ordering
= _cpp_compare_file_date (pfile
, fname
, angle_brackets
);
1313 cpp_error (pfile
, CPP_DL_WARNING
, "cannot find source file %s", fname
);
1314 else if (ordering
> 0)
1316 cpp_error (pfile
, CPP_DL_WARNING
,
1317 "current file is older than %s", fname
);
1318 if (cpp_get_token (pfile
)->type
!= CPP_EOF
)
1320 _cpp_backup_tokens (pfile
, 1);
1321 do_diagnostic (pfile
, CPP_DL_WARNING
, 0);
1325 free ((void *) fname
);
1328 /* Get a token but skip padding. */
1329 static const cpp_token
*
1330 get_token_no_padding (cpp_reader
*pfile
)
1334 const cpp_token
*result
= cpp_get_token (pfile
);
1335 if (result
->type
!= CPP_PADDING
)
1340 /* Check syntax is "(string-literal)". Returns the string on success,
1341 or NULL on failure. */
1342 static const cpp_token
*
1343 get__Pragma_string (cpp_reader
*pfile
)
1345 const cpp_token
*string
;
1347 if (get_token_no_padding (pfile
)->type
!= CPP_OPEN_PAREN
)
1350 string
= get_token_no_padding (pfile
);
1351 if (string
->type
!= CPP_STRING
&& string
->type
!= CPP_WSTRING
)
1354 if (get_token_no_padding (pfile
)->type
!= CPP_CLOSE_PAREN
)
1360 /* Destringize IN into a temporary buffer, by removing the first \ of
1361 \" and \\ sequences, and process the result as a #pragma directive. */
1363 destringize_and_run (cpp_reader
*pfile
, const cpp_string
*in
)
1365 const unsigned char *src
, *limit
;
1366 char *dest
, *result
;
1368 dest
= result
= alloca (in
->len
- 1);
1369 src
= in
->text
+ 1 + (in
->text
[0] == 'L');
1370 limit
= in
->text
+ in
->len
- 1;
1373 /* We know there is a character following the backslash. */
1374 if (*src
== '\\' && (src
[1] == '\\' || src
[1] == '"'))
1380 /* Ugh; an awful kludge. We are really not set up to be lexing
1381 tokens when in the middle of a macro expansion. Use a new
1382 context to force cpp_get_token to lex, and so skip_rest_of_line
1383 doesn't go beyond the end of the text. Also, remember the
1384 current lexing position so we can return to it later.
1386 Something like line-at-a-time lexing should remove the need for
1389 cpp_context
*saved_context
= pfile
->context
;
1390 cpp_token
*saved_cur_token
= pfile
->cur_token
;
1391 tokenrun
*saved_cur_run
= pfile
->cur_run
;
1393 pfile
->context
= XNEW (cpp_context
);
1394 pfile
->context
->macro
= 0;
1395 pfile
->context
->prev
= 0;
1396 run_directive (pfile
, T_PRAGMA
, result
, dest
- result
);
1397 XDELETE (pfile
->context
);
1398 pfile
->context
= saved_context
;
1399 pfile
->cur_token
= saved_cur_token
;
1400 pfile
->cur_run
= saved_cur_run
;
1403 /* See above comment. For the moment, we'd like
1405 token1 _Pragma ("foo") token2
1415 Getting the line markers is a little tricky. */
1416 if (pfile
->cb
.line_change
)
1417 pfile
->cb
.line_change (pfile
, pfile
->cur_token
, false);
1420 /* Handle the _Pragma operator. */
1422 _cpp_do__Pragma (cpp_reader
*pfile
)
1424 const cpp_token
*string
= get__Pragma_string (pfile
);
1425 pfile
->directive_result
.type
= CPP_PADDING
;
1428 destringize_and_run (pfile
, &string
->val
.str
);
1430 cpp_error (pfile
, CPP_DL_ERROR
,
1431 "_Pragma takes a parenthesized string literal");
1434 /* Handle a pragma that the front end deferred until now. */
1436 cpp_handle_deferred_pragma (cpp_reader
*pfile
, const cpp_string
*s
)
1438 cpp_context
*saved_context
= pfile
->context
;
1439 cpp_token
*saved_cur_token
= pfile
->cur_token
;
1440 tokenrun
*saved_cur_run
= pfile
->cur_run
;
1441 bool saved_defer_pragmas
= CPP_OPTION (pfile
, defer_pragmas
);
1442 void (*saved_line_change
) (cpp_reader
*, const cpp_token
*, int)
1443 = pfile
->cb
.line_change
;
1445 pfile
->context
= XNEW (cpp_context
);
1446 pfile
->context
->macro
= 0;
1447 pfile
->context
->prev
= 0;
1448 pfile
->cb
.line_change
= NULL
;
1449 pfile
->state
.in_deferred_pragma
= true;
1450 CPP_OPTION (pfile
, defer_pragmas
) = false;
1452 run_directive (pfile
, T_PRAGMA
, (const char *)s
->text
, s
->len
);
1454 XDELETE (pfile
->context
);
1455 pfile
->context
= saved_context
;
1456 pfile
->cur_token
= saved_cur_token
;
1457 pfile
->cur_run
= saved_cur_run
;
1458 pfile
->cb
.line_change
= saved_line_change
;
1459 pfile
->state
.in_deferred_pragma
= false;
1460 CPP_OPTION (pfile
, defer_pragmas
) = saved_defer_pragmas
;
1463 /* Ignore #sccs on all systems. */
1465 do_sccs (cpp_reader
*pfile ATTRIBUTE_UNUSED
)
1469 /* Handle #ifdef. */
1471 do_ifdef (cpp_reader
*pfile
)
1475 if (! pfile
->state
.skipping
)
1477 const cpp_hashnode
*node
= lex_macro_node (pfile
);
1481 skip
= node
->type
!= NT_MACRO
;
1482 _cpp_mark_macro_used (node
);
1487 push_conditional (pfile
, skip
, T_IFDEF
, 0);
1490 /* Handle #ifndef. */
1492 do_ifndef (cpp_reader
*pfile
)
1495 const cpp_hashnode
*node
= 0;
1497 if (! pfile
->state
.skipping
)
1499 node
= lex_macro_node (pfile
);
1503 skip
= node
->type
== NT_MACRO
;
1504 _cpp_mark_macro_used (node
);
1509 push_conditional (pfile
, skip
, T_IFNDEF
, node
);
1512 /* _cpp_parse_expr puts a macro in a "#if !defined ()" expression in
1513 pfile->mi_ind_cmacro so we can handle multiple-include
1514 optimizations. If macro expansion occurs in the expression, we
1515 cannot treat it as a controlling conditional, since the expansion
1516 could change in the future. That is handled by cpp_get_token. */
1518 do_if (cpp_reader
*pfile
)
1522 if (! pfile
->state
.skipping
)
1523 skip
= _cpp_parse_expr (pfile
) == false;
1525 push_conditional (pfile
, skip
, T_IF
, pfile
->mi_ind_cmacro
);
1528 /* Flip skipping state if appropriate and continue without changing
1529 if_stack; this is so that the error message for missing #endif's
1530 etc. will point to the original #if. */
1532 do_else (cpp_reader
*pfile
)
1534 cpp_buffer
*buffer
= pfile
->buffer
;
1535 struct if_stack
*ifs
= buffer
->if_stack
;
1538 cpp_error (pfile
, CPP_DL_ERROR
, "#else without #if");
1541 if (ifs
->type
== T_ELSE
)
1543 cpp_error (pfile
, CPP_DL_ERROR
, "#else after #else");
1544 cpp_error_with_line (pfile
, CPP_DL_ERROR
, ifs
->line
, 0,
1545 "the conditional began here");
1549 /* Skip any future (erroneous) #elses or #elifs. */
1550 pfile
->state
.skipping
= ifs
->skip_elses
;
1551 ifs
->skip_elses
= true;
1553 /* Invalidate any controlling macro. */
1556 /* Only check EOL if was not originally skipping. */
1557 if (!ifs
->was_skipping
&& CPP_OPTION (pfile
, warn_endif_labels
))
1562 /* Handle a #elif directive by not changing if_stack either. See the
1563 comment above do_else. */
1565 do_elif (cpp_reader
*pfile
)
1567 cpp_buffer
*buffer
= pfile
->buffer
;
1568 struct if_stack
*ifs
= buffer
->if_stack
;
1571 cpp_error (pfile
, CPP_DL_ERROR
, "#elif without #if");
1574 if (ifs
->type
== T_ELSE
)
1576 cpp_error (pfile
, CPP_DL_ERROR
, "#elif after #else");
1577 cpp_error_with_line (pfile
, CPP_DL_ERROR
, ifs
->line
, 0,
1578 "the conditional began here");
1582 /* Only evaluate this if we aren't skipping elses. During
1583 evaluation, set skipping to false to get lexer warnings. */
1584 if (ifs
->skip_elses
)
1585 pfile
->state
.skipping
= 1;
1588 pfile
->state
.skipping
= 0;
1589 pfile
->state
.skipping
= ! _cpp_parse_expr (pfile
);
1590 ifs
->skip_elses
= ! pfile
->state
.skipping
;
1593 /* Invalidate any controlling macro. */
1598 /* #endif pops the if stack and resets pfile->state.skipping. */
1600 do_endif (cpp_reader
*pfile
)
1602 cpp_buffer
*buffer
= pfile
->buffer
;
1603 struct if_stack
*ifs
= buffer
->if_stack
;
1606 cpp_error (pfile
, CPP_DL_ERROR
, "#endif without #if");
1609 /* Only check EOL if was not originally skipping. */
1610 if (!ifs
->was_skipping
&& CPP_OPTION (pfile
, warn_endif_labels
))
1613 /* If potential control macro, we go back outside again. */
1614 if (ifs
->next
== 0 && ifs
->mi_cmacro
)
1616 pfile
->mi_valid
= true;
1617 pfile
->mi_cmacro
= ifs
->mi_cmacro
;
1620 buffer
->if_stack
= ifs
->next
;
1621 pfile
->state
.skipping
= ifs
->was_skipping
;
1622 obstack_free (&pfile
->buffer_ob
, ifs
);
1626 /* Push an if_stack entry for a preprocessor conditional, and set
1627 pfile->state.skipping to SKIP. If TYPE indicates the conditional
1628 is #if or #ifndef, CMACRO is a potentially controlling macro, and
1629 we need to check here that we are at the top of the file. */
1631 push_conditional (cpp_reader
*pfile
, int skip
, int type
,
1632 const cpp_hashnode
*cmacro
)
1634 struct if_stack
*ifs
;
1635 cpp_buffer
*buffer
= pfile
->buffer
;
1637 ifs
= XOBNEW (&pfile
->buffer_ob
, struct if_stack
);
1638 ifs
->line
= pfile
->directive_line
;
1639 ifs
->next
= buffer
->if_stack
;
1640 ifs
->skip_elses
= pfile
->state
.skipping
|| !skip
;
1641 ifs
->was_skipping
= pfile
->state
.skipping
;
1643 /* This condition is effectively a test for top-of-file. */
1644 if (pfile
->mi_valid
&& pfile
->mi_cmacro
== 0)
1645 ifs
->mi_cmacro
= cmacro
;
1649 pfile
->state
.skipping
= skip
;
1650 buffer
->if_stack
= ifs
;
1653 /* Read the tokens of the answer into the macro pool, in a directive
1654 of type TYPE. Only commit the memory if we intend it as permanent
1655 storage, i.e. the #assert case. Returns 0 on success, and sets
1656 ANSWERP to point to the answer. */
1658 parse_answer (cpp_reader
*pfile
, struct answer
**answerp
, int type
)
1660 const cpp_token
*paren
;
1661 struct answer
*answer
;
1662 unsigned int acount
;
1664 /* In a conditional, it is legal to not have an open paren. We
1665 should save the following token in this case. */
1666 paren
= cpp_get_token (pfile
);
1668 /* If not a paren, see if we're OK. */
1669 if (paren
->type
!= CPP_OPEN_PAREN
)
1671 /* In a conditional no answer is a test for any answer. It
1672 could be followed by any token. */
1675 _cpp_backup_tokens (pfile
, 1);
1679 /* #unassert with no answer is valid - it removes all answers. */
1680 if (type
== T_UNASSERT
&& paren
->type
== CPP_EOF
)
1683 cpp_error (pfile
, CPP_DL_ERROR
, "missing '(' after predicate");
1687 for (acount
= 0;; acount
++)
1690 const cpp_token
*token
= cpp_get_token (pfile
);
1693 if (token
->type
== CPP_CLOSE_PAREN
)
1696 if (token
->type
== CPP_EOF
)
1698 cpp_error (pfile
, CPP_DL_ERROR
, "missing ')' to complete answer");
1702 /* struct answer includes the space for one token. */
1703 room_needed
= (sizeof (struct answer
) + acount
* sizeof (cpp_token
));
1705 if (BUFF_ROOM (pfile
->a_buff
) < room_needed
)
1706 _cpp_extend_buff (pfile
, &pfile
->a_buff
, sizeof (struct answer
));
1708 dest
= &((struct answer
*) BUFF_FRONT (pfile
->a_buff
))->first
[acount
];
1711 /* Drop whitespace at start, for answer equivalence purposes. */
1713 dest
->flags
&= ~PREV_WHITE
;
1718 cpp_error (pfile
, CPP_DL_ERROR
, "predicate's answer is empty");
1722 answer
= (struct answer
*) BUFF_FRONT (pfile
->a_buff
);
1723 answer
->count
= acount
;
1724 answer
->next
= NULL
;
1730 /* Parses an assertion directive of type TYPE, returning a pointer to
1731 the hash node of the predicate, or 0 on error. If an answer was
1732 supplied, it is placed in ANSWERP, otherwise it is set to 0. */
1733 static cpp_hashnode
*
1734 parse_assertion (cpp_reader
*pfile
, struct answer
**answerp
, int type
)
1736 cpp_hashnode
*result
= 0;
1737 const cpp_token
*predicate
;
1739 /* We don't expand predicates or answers. */
1740 pfile
->state
.prevent_expansion
++;
1743 predicate
= cpp_get_token (pfile
);
1744 if (predicate
->type
== CPP_EOF
)
1745 cpp_error (pfile
, CPP_DL_ERROR
, "assertion without predicate");
1746 else if (predicate
->type
!= CPP_NAME
)
1747 cpp_error (pfile
, CPP_DL_ERROR
, "predicate must be an identifier");
1748 else if (parse_answer (pfile
, answerp
, type
) == 0)
1750 unsigned int len
= NODE_LEN (predicate
->val
.node
);
1751 unsigned char *sym
= alloca (len
+ 1);
1753 /* Prefix '#' to get it out of macro namespace. */
1755 memcpy (sym
+ 1, NODE_NAME (predicate
->val
.node
), len
);
1756 result
= cpp_lookup (pfile
, sym
, len
+ 1);
1759 pfile
->state
.prevent_expansion
--;
1763 /* Returns a pointer to the pointer to CANDIDATE in the answer chain,
1764 or a pointer to NULL if the answer is not in the chain. */
1765 static struct answer
**
1766 find_answer (cpp_hashnode
*node
, const struct answer
*candidate
)
1769 struct answer
**result
;
1771 for (result
= &node
->value
.answers
; *result
; result
= &(*result
)->next
)
1773 struct answer
*answer
= *result
;
1775 if (answer
->count
== candidate
->count
)
1777 for (i
= 0; i
< answer
->count
; i
++)
1778 if (! _cpp_equiv_tokens (&answer
->first
[i
], &candidate
->first
[i
]))
1781 if (i
== answer
->count
)
1789 /* Test an assertion within a preprocessor conditional. Returns
1790 nonzero on failure, zero on success. On success, the result of
1791 the test is written into VALUE, otherwise the value 0. */
1793 _cpp_test_assertion (cpp_reader
*pfile
, unsigned int *value
)
1795 struct answer
*answer
;
1798 node
= parse_assertion (pfile
, &answer
, T_IF
);
1800 /* For recovery, an erroneous assertion expression is handled as a
1801 failing assertion. */
1805 *value
= (node
->type
== NT_ASSERTION
&&
1806 (answer
== 0 || *find_answer (node
, answer
) != 0));
1807 else if (pfile
->cur_token
[-1].type
== CPP_EOF
)
1808 _cpp_backup_tokens (pfile
, 1);
1810 /* We don't commit the memory for the answer - it's temporary only. */
1814 /* Handle #assert. */
1816 do_assert (cpp_reader
*pfile
)
1818 struct answer
*new_answer
;
1821 node
= parse_assertion (pfile
, &new_answer
, T_ASSERT
);
1826 /* Place the new answer in the answer list. First check there
1827 is not a duplicate. */
1828 new_answer
->next
= 0;
1829 if (node
->type
== NT_ASSERTION
)
1831 if (*find_answer (node
, new_answer
))
1833 cpp_error (pfile
, CPP_DL_WARNING
, "\"%s\" re-asserted",
1834 NODE_NAME (node
) + 1);
1837 new_answer
->next
= node
->value
.answers
;
1840 answer_size
= sizeof (struct answer
) + ((new_answer
->count
- 1)
1841 * sizeof (cpp_token
));
1842 /* Commit or allocate storage for the object. */
1843 if (pfile
->hash_table
->alloc_subobject
)
1845 struct answer
*temp_answer
= new_answer
;
1846 new_answer
= pfile
->hash_table
->alloc_subobject (answer_size
);
1847 memcpy (new_answer
, temp_answer
, answer_size
);
1850 BUFF_FRONT (pfile
->a_buff
) += answer_size
;
1852 node
->type
= NT_ASSERTION
;
1853 node
->value
.answers
= new_answer
;
1858 /* Handle #unassert. */
1860 do_unassert (cpp_reader
*pfile
)
1863 struct answer
*answer
;
1865 node
= parse_assertion (pfile
, &answer
, T_UNASSERT
);
1866 /* It isn't an error to #unassert something that isn't asserted. */
1867 if (node
&& node
->type
== NT_ASSERTION
)
1871 struct answer
**p
= find_answer (node
, answer
), *temp
;
1873 /* Remove the answer from the list. */
1878 /* Did we free the last answer? */
1879 if (node
->value
.answers
== 0)
1880 node
->type
= NT_VOID
;
1885 _cpp_free_definition (node
);
1888 /* We don't commit the memory for the answer - it's temporary only. */
1891 /* These are for -D, -U, -A. */
1893 /* Process the string STR as if it appeared as the body of a #define.
1894 If STR is just an identifier, define it with value 1.
1895 If STR has anything after the identifier, then it should
1896 be identifier=definition. */
1898 cpp_define (cpp_reader
*pfile
, const char *str
)
1903 /* Copy the entire option so we can modify it.
1904 Change the first "=" in the string to a space. If there is none,
1905 tack " 1" on the end. */
1907 count
= strlen (str
);
1908 buf
= alloca (count
+ 3);
1909 memcpy (buf
, str
, count
);
1911 p
= strchr (str
, '=');
1921 run_directive (pfile
, T_DEFINE
, buf
, count
);
1924 /* Slight variant of the above for use by initialize_builtins. */
1926 _cpp_define_builtin (cpp_reader
*pfile
, const char *str
)
1928 size_t len
= strlen (str
);
1929 char *buf
= alloca (len
+ 1);
1930 memcpy (buf
, str
, len
);
1932 run_directive (pfile
, T_DEFINE
, buf
, len
);
1935 /* Process MACRO as if it appeared as the body of an #undef. */
1937 cpp_undef (cpp_reader
*pfile
, const char *macro
)
1939 size_t len
= strlen (macro
);
1940 char *buf
= alloca (len
+ 1);
1941 memcpy (buf
, macro
, len
);
1943 run_directive (pfile
, T_UNDEF
, buf
, len
);
1946 /* Process the string STR as if it appeared as the body of a #assert. */
1948 cpp_assert (cpp_reader
*pfile
, const char *str
)
1950 handle_assertion (pfile
, str
, T_ASSERT
);
1953 /* Process STR as if it appeared as the body of an #unassert. */
1955 cpp_unassert (cpp_reader
*pfile
, const char *str
)
1957 handle_assertion (pfile
, str
, T_UNASSERT
);
1960 /* Common code for cpp_assert (-A) and cpp_unassert (-A-). */
1962 handle_assertion (cpp_reader
*pfile
, const char *str
, int type
)
1964 size_t count
= strlen (str
);
1965 const char *p
= strchr (str
, '=');
1967 /* Copy the entire option so we can modify it. Change the first
1968 "=" in the string to a '(', and tack a ')' on the end. */
1969 char *buf
= alloca (count
+ 2);
1971 memcpy (buf
, str
, count
);
1980 run_directive (pfile
, type
, str
, count
);
1983 /* The number of errors for a given reader. */
1985 cpp_errors (cpp_reader
*pfile
)
1987 return pfile
->errors
;
1990 /* The options structure. */
1992 cpp_get_options (cpp_reader
*pfile
)
1994 return &pfile
->opts
;
1997 /* The callbacks structure. */
1999 cpp_get_callbacks (cpp_reader
*pfile
)
2004 /* Copy the given callbacks structure to our own. */
2006 cpp_set_callbacks (cpp_reader
*pfile
, cpp_callbacks
*cb
)
2011 /* The dependencies structure. (Creates one if it hasn't already been.) */
2013 cpp_get_deps (cpp_reader
*pfile
)
2016 pfile
->deps
= deps_init ();
2020 /* Push a new buffer on the buffer stack. Returns the new buffer; it
2021 doesn't fail. It does not generate a file change call back; that
2022 is the responsibility of the caller. */
2024 cpp_push_buffer (cpp_reader
*pfile
, const uchar
*buffer
, size_t len
,
2027 cpp_buffer
*new = XOBNEW (&pfile
->buffer_ob
, cpp_buffer
);
2029 /* Clears, amongst other things, if_stack and mi_cmacro. */
2030 memset (new, 0, sizeof (cpp_buffer
));
2032 new->next_line
= new->buf
= buffer
;
2033 new->rlimit
= buffer
+ len
;
2034 new->from_stage3
= from_stage3
;
2035 new->prev
= pfile
->buffer
;
2036 new->need_line
= true;
2038 pfile
->buffer
= new;
2043 /* Pops a single buffer, with a file change call-back if appropriate.
2044 Then pushes the next -include file, if any remain. */
2046 _cpp_pop_buffer (cpp_reader
*pfile
)
2048 cpp_buffer
*buffer
= pfile
->buffer
;
2049 struct _cpp_file
*inc
= buffer
->file
;
2050 struct if_stack
*ifs
;
2052 /* Walk back up the conditional stack till we reach its level at
2053 entry to this file, issuing error messages. */
2054 for (ifs
= buffer
->if_stack
; ifs
; ifs
= ifs
->next
)
2055 cpp_error_with_line (pfile
, CPP_DL_ERROR
, ifs
->line
, 0,
2056 "unterminated #%s", dtable
[ifs
->type
].name
);
2058 /* In case of a missing #endif. */
2059 pfile
->state
.skipping
= 0;
2061 /* _cpp_do_file_change expects pfile->buffer to be the new one. */
2062 pfile
->buffer
= buffer
->prev
;
2064 free (buffer
->notes
);
2066 /* Free the buffer object now; we may want to push a new buffer
2067 in _cpp_push_next_include_file. */
2068 obstack_free (&pfile
->buffer_ob
, buffer
);
2072 _cpp_pop_file_buffer (pfile
, inc
);
2074 _cpp_do_file_change (pfile
, LC_LEAVE
, 0, 0, 0);
2078 /* Enter all recognized directives in the hash table. */
2080 _cpp_init_directives (cpp_reader
*pfile
)
2085 for (i
= 0; i
< (unsigned int) N_DIRECTIVES
; i
++)
2087 node
= cpp_lookup (pfile
, dtable
[i
].name
, dtable
[i
].length
);
2088 node
->is_directive
= 1;
2089 node
->directive_index
= i
;