p1689r5: initial support
[official-gcc.git] / libcpp / include / cpplib.h
blobc0af82c0b1c883f5b173df3b233bb31fc030b17b
1 /* Definitions for CPP library.
2 Copyright (C) 1995-2023 Free Software Foundation, Inc.
3 Written by Per Bothner, 1994-95.
5 This program is free software; you can redistribute it and/or modify it
6 under the terms of the GNU General Public License as published by the
7 Free Software Foundation; either version 3, or (at your option) any
8 later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program; see the file COPYING3. If not see
17 <http://www.gnu.org/licenses/>.
19 In other words, you are welcome to use, share and improve this program.
20 You are forbidden to forbid anyone else to use, share and improve
21 what you give them. Help stamp out software-hoarding! */
22 #ifndef LIBCPP_CPPLIB_H
23 #define LIBCPP_CPPLIB_H
25 #include <sys/types.h>
26 #include "symtab.h"
27 #include "line-map.h"
29 typedef struct cpp_reader cpp_reader;
30 typedef struct cpp_buffer cpp_buffer;
31 typedef struct cpp_options cpp_options;
32 typedef struct cpp_token cpp_token;
33 typedef struct cpp_string cpp_string;
34 typedef struct cpp_hashnode cpp_hashnode;
35 typedef struct cpp_macro cpp_macro;
36 typedef struct cpp_callbacks cpp_callbacks;
37 typedef struct cpp_dir cpp_dir;
39 struct _cpp_file;
41 /* The first three groups, apart from '=', can appear in preprocessor
42 expressions (+= and -= are used to indicate unary + and - resp.).
43 This allows a lookup table to be implemented in _cpp_parse_expr.
45 The first group, to CPP_LAST_EQ, can be immediately followed by an
46 '='. The lexer needs operators ending in '=', like ">>=", to be in
47 the same order as their counterparts without the '=', like ">>".
49 See the cpp_operator table optab in expr.cc if you change the order or
50 add or remove anything in the first group. */
52 #define TTYPE_TABLE \
53 OP(EQ, "=") \
54 OP(NOT, "!") \
55 OP(GREATER, ">") /* compare */ \
56 OP(LESS, "<") \
57 OP(PLUS, "+") /* math */ \
58 OP(MINUS, "-") \
59 OP(MULT, "*") \
60 OP(DIV, "/") \
61 OP(MOD, "%") \
62 OP(AND, "&") /* bit ops */ \
63 OP(OR, "|") \
64 OP(XOR, "^") \
65 OP(RSHIFT, ">>") \
66 OP(LSHIFT, "<<") \
68 OP(COMPL, "~") \
69 OP(AND_AND, "&&") /* logical */ \
70 OP(OR_OR, "||") \
71 OP(QUERY, "?") \
72 OP(COLON, ":") \
73 OP(COMMA, ",") /* grouping */ \
74 OP(OPEN_PAREN, "(") \
75 OP(CLOSE_PAREN, ")") \
76 TK(EOF, NONE) \
77 OP(EQ_EQ, "==") /* compare */ \
78 OP(NOT_EQ, "!=") \
79 OP(GREATER_EQ, ">=") \
80 OP(LESS_EQ, "<=") \
81 OP(SPACESHIP, "<=>") \
83 /* These two are unary + / - in preprocessor expressions. */ \
84 OP(PLUS_EQ, "+=") /* math */ \
85 OP(MINUS_EQ, "-=") \
87 OP(MULT_EQ, "*=") \
88 OP(DIV_EQ, "/=") \
89 OP(MOD_EQ, "%=") \
90 OP(AND_EQ, "&=") /* bit ops */ \
91 OP(OR_EQ, "|=") \
92 OP(XOR_EQ, "^=") \
93 OP(RSHIFT_EQ, ">>=") \
94 OP(LSHIFT_EQ, "<<=") \
95 /* Digraphs together, beginning with CPP_FIRST_DIGRAPH. */ \
96 OP(HASH, "#") /* digraphs */ \
97 OP(PASTE, "##") \
98 OP(OPEN_SQUARE, "[") \
99 OP(CLOSE_SQUARE, "]") \
100 OP(OPEN_BRACE, "{") \
101 OP(CLOSE_BRACE, "}") \
102 /* The remainder of the punctuation. Order is not significant. */ \
103 OP(SEMICOLON, ";") /* structure */ \
104 OP(ELLIPSIS, "...") \
105 OP(PLUS_PLUS, "++") /* increment */ \
106 OP(MINUS_MINUS, "--") \
107 OP(DEREF, "->") /* accessors */ \
108 OP(DOT, ".") \
109 OP(SCOPE, "::") \
110 OP(DEREF_STAR, "->*") \
111 OP(DOT_STAR, ".*") \
112 OP(ATSIGN, "@") /* used in Objective-C */ \
114 TK(NAME, IDENT) /* word */ \
115 TK(AT_NAME, IDENT) /* @word - Objective-C */ \
116 TK(NUMBER, LITERAL) /* 34_be+ta */ \
118 TK(CHAR, LITERAL) /* 'char' */ \
119 TK(WCHAR, LITERAL) /* L'char' */ \
120 TK(CHAR16, LITERAL) /* u'char' */ \
121 TK(CHAR32, LITERAL) /* U'char' */ \
122 TK(UTF8CHAR, LITERAL) /* u8'char' */ \
123 TK(OTHER, LITERAL) /* stray punctuation */ \
125 TK(STRING, LITERAL) /* "string" */ \
126 TK(WSTRING, LITERAL) /* L"string" */ \
127 TK(STRING16, LITERAL) /* u"string" */ \
128 TK(STRING32, LITERAL) /* U"string" */ \
129 TK(UTF8STRING, LITERAL) /* u8"string" */ \
130 TK(OBJC_STRING, LITERAL) /* @"string" - Objective-C */ \
131 TK(HEADER_NAME, LITERAL) /* <stdio.h> in #include */ \
133 TK(CHAR_USERDEF, LITERAL) /* 'char'_suffix - C++-0x */ \
134 TK(WCHAR_USERDEF, LITERAL) /* L'char'_suffix - C++-0x */ \
135 TK(CHAR16_USERDEF, LITERAL) /* u'char'_suffix - C++-0x */ \
136 TK(CHAR32_USERDEF, LITERAL) /* U'char'_suffix - C++-0x */ \
137 TK(UTF8CHAR_USERDEF, LITERAL) /* u8'char'_suffix - C++-0x */ \
138 TK(STRING_USERDEF, LITERAL) /* "string"_suffix - C++-0x */ \
139 TK(WSTRING_USERDEF, LITERAL) /* L"string"_suffix - C++-0x */ \
140 TK(STRING16_USERDEF, LITERAL) /* u"string"_suffix - C++-0x */ \
141 TK(STRING32_USERDEF, LITERAL) /* U"string"_suffix - C++-0x */ \
142 TK(UTF8STRING_USERDEF,LITERAL) /* u8"string"_suffix - C++-0x */ \
144 TK(COMMENT, LITERAL) /* Only if output comments. */ \
145 /* SPELL_LITERAL happens to DTRT. */ \
146 TK(MACRO_ARG, NONE) /* Macro argument. */ \
147 TK(PRAGMA, NONE) /* Only for deferred pragmas. */ \
148 TK(PRAGMA_EOL, NONE) /* End-of-line for deferred pragmas. */ \
149 TK(PADDING, NONE) /* Whitespace for -E. */
151 #define OP(e, s) CPP_ ## e,
152 #define TK(e, s) CPP_ ## e,
153 enum cpp_ttype
155 TTYPE_TABLE
156 N_TTYPES,
158 /* A token type for keywords, as opposed to ordinary identifiers. */
159 CPP_KEYWORD,
161 /* Positions in the table. */
162 CPP_LAST_EQ = CPP_LSHIFT,
163 CPP_FIRST_DIGRAPH = CPP_HASH,
164 CPP_LAST_PUNCTUATOR= CPP_ATSIGN,
165 CPP_LAST_CPP_OP = CPP_LESS_EQ
167 #undef OP
168 #undef TK
170 /* C language kind, used when calling cpp_create_reader. */
171 enum c_lang {CLK_GNUC89 = 0, CLK_GNUC99, CLK_GNUC11, CLK_GNUC17, CLK_GNUC2X,
172 CLK_STDC89, CLK_STDC94, CLK_STDC99, CLK_STDC11, CLK_STDC17,
173 CLK_STDC2X,
174 CLK_GNUCXX, CLK_CXX98, CLK_GNUCXX11, CLK_CXX11,
175 CLK_GNUCXX14, CLK_CXX14, CLK_GNUCXX17, CLK_CXX17,
176 CLK_GNUCXX20, CLK_CXX20, CLK_GNUCXX23, CLK_CXX23,
177 CLK_GNUCXX26, CLK_CXX26, CLK_ASM};
179 /* Payload of a NUMBER, STRING, CHAR or COMMENT token. */
180 struct GTY(()) cpp_string {
181 unsigned int len;
183 /* TEXT is always null terminated (terminator not included in len); but this
184 GTY markup arranges that PCH streaming works properly even if there is a
185 null byte in the middle of the string. */
186 const unsigned char * GTY((string_length ("1 + %h.len"))) text;
189 /* Flags for the cpp_token structure. */
190 #define PREV_WHITE (1 << 0) /* If whitespace before this token. */
191 #define DIGRAPH (1 << 1) /* If it was a digraph. */
192 #define STRINGIFY_ARG (1 << 2) /* If macro argument to be stringified. */
193 #define PASTE_LEFT (1 << 3) /* If on LHS of a ## operator. */
194 #define NAMED_OP (1 << 4) /* C++ named operators. */
195 #define PREV_FALLTHROUGH (1 << 5) /* On a token preceeded by FALLTHROUGH
196 comment. */
197 #define DECIMAL_INT (1 << 6) /* Decimal integer, set in c-lex.cc. */
198 #define PURE_ZERO (1 << 7) /* Single 0 digit, used by the C++ frontend,
199 set in c-lex.cc. */
200 #define SP_DIGRAPH (1 << 8) /* # or ## token was a digraph. */
201 #define SP_PREV_WHITE (1 << 9) /* If whitespace before a ##
202 operator, or before this token
203 after a # operator. */
204 #define NO_EXPAND (1 << 10) /* Do not macro-expand this token. */
205 #define PRAGMA_OP (1 << 11) /* _Pragma token. */
206 #define BOL (1 << 12) /* Token at beginning of line. */
208 /* Specify which field, if any, of the cpp_token union is used. */
210 enum cpp_token_fld_kind {
211 CPP_TOKEN_FLD_NODE,
212 CPP_TOKEN_FLD_SOURCE,
213 CPP_TOKEN_FLD_STR,
214 CPP_TOKEN_FLD_ARG_NO,
215 CPP_TOKEN_FLD_TOKEN_NO,
216 CPP_TOKEN_FLD_PRAGMA,
217 CPP_TOKEN_FLD_NONE
220 /* A macro argument in the cpp_token union. */
221 struct GTY(()) cpp_macro_arg {
222 /* Argument number. */
223 unsigned int arg_no;
224 /* The original spelling of the macro argument token. */
225 cpp_hashnode *
226 GTY ((nested_ptr (union tree_node,
227 "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL",
228 "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL")))
229 spelling;
232 /* An identifier in the cpp_token union. */
233 struct GTY(()) cpp_identifier {
234 /* The canonical (UTF-8) spelling of the identifier. */
235 cpp_hashnode *
236 GTY ((nested_ptr (union tree_node,
237 "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL",
238 "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL")))
239 node;
240 /* The original spelling of the identifier. */
241 cpp_hashnode *
242 GTY ((nested_ptr (union tree_node,
243 "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL",
244 "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL")))
245 spelling;
248 /* A preprocessing token. This has been carefully packed and should
249 occupy 16 bytes on 32-bit hosts and 24 bytes on 64-bit hosts. */
250 struct GTY(()) cpp_token {
252 /* Location of first char of token, together with range of full token. */
253 location_t src_loc;
255 ENUM_BITFIELD(cpp_ttype) type : CHAR_BIT; /* token type */
256 unsigned short flags; /* flags - see above */
258 union cpp_token_u
260 /* An identifier. */
261 struct cpp_identifier GTY ((tag ("CPP_TOKEN_FLD_NODE"))) node;
263 /* Inherit padding from this token. */
264 cpp_token * GTY ((tag ("CPP_TOKEN_FLD_SOURCE"))) source;
266 /* A string, or number. */
267 struct cpp_string GTY ((tag ("CPP_TOKEN_FLD_STR"))) str;
269 /* Argument no. (and original spelling) for a CPP_MACRO_ARG. */
270 struct cpp_macro_arg GTY ((tag ("CPP_TOKEN_FLD_ARG_NO"))) macro_arg;
272 /* Original token no. for a CPP_PASTE (from a sequence of
273 consecutive paste tokens in a macro expansion). */
274 unsigned int GTY ((tag ("CPP_TOKEN_FLD_TOKEN_NO"))) token_no;
276 /* Caller-supplied identifier for a CPP_PRAGMA. */
277 unsigned int GTY ((tag ("CPP_TOKEN_FLD_PRAGMA"))) pragma;
278 } GTY ((desc ("cpp_token_val_index (&%1)"))) val;
281 /* Say which field is in use. */
282 extern enum cpp_token_fld_kind cpp_token_val_index (const cpp_token *tok);
284 /* A type wide enough to hold any multibyte source character.
285 cpplib's character constant interpreter requires an unsigned type.
286 Also, a typedef for the signed equivalent.
287 The width of this type is capped at 32 bits; there do exist targets
288 where wchar_t is 64 bits, but only in a non-default mode, and there
289 would be no meaningful interpretation for a wchar_t value greater
290 than 2^32 anyway -- the widest wide-character encoding around is
291 ISO 10646, which stops at 2^31. */
292 #if CHAR_BIT * SIZEOF_INT >= 32
293 # define CPPCHAR_SIGNED_T int
294 #elif CHAR_BIT * SIZEOF_LONG >= 32
295 # define CPPCHAR_SIGNED_T long
296 #else
297 # error "Cannot find a least-32-bit signed integer type"
298 #endif
299 typedef unsigned CPPCHAR_SIGNED_T cppchar_t;
300 typedef CPPCHAR_SIGNED_T cppchar_signed_t;
302 /* Style of header dependencies to generate. */
303 enum cpp_deps_style { DEPS_NONE = 0, DEPS_USER, DEPS_SYSTEM };
305 /* Structured format of module dependencies to generate. */
306 enum cpp_fdeps_format { FDEPS_FMT_NONE = 0, FDEPS_FMT_P1689R5 };
308 /* The possible normalization levels, from most restrictive to least. */
309 enum cpp_normalize_level {
310 /* In NFKC. */
311 normalized_KC = 0,
312 /* In NFC. */
313 normalized_C,
314 /* In NFC, except for subsequences where being in NFC would make
315 the identifier invalid. */
316 normalized_identifier_C,
317 /* Not normalized at all. */
318 normalized_none
321 enum cpp_main_search
323 CMS_none, /* A regular source file. */
324 CMS_header, /* Is a directly-specified header file (eg PCH or
325 header-unit). */
326 CMS_user, /* Search the user INCLUDE path. */
327 CMS_system, /* Search the system INCLUDE path. */
330 /* The possible bidirectional control characters checking levels. */
331 enum cpp_bidirectional_level {
332 /* No checking. */
333 bidirectional_none = 0,
334 /* Only detect unpaired uses of bidirectional control characters. */
335 bidirectional_unpaired = 1,
336 /* Detect any use of bidirectional control characters. */
337 bidirectional_any = 2,
338 /* Also warn about UCNs. */
339 bidirectional_ucn = 4
342 /* This structure is nested inside struct cpp_reader, and
343 carries all the options visible to the command line. */
344 struct cpp_options
346 /* The language we're preprocessing. */
347 enum c_lang lang;
349 /* Nonzero means use extra default include directories for C++. */
350 unsigned char cplusplus;
352 /* Nonzero means handle cplusplus style comments. */
353 unsigned char cplusplus_comments;
355 /* Nonzero means define __OBJC__, treat @ as a special token, use
356 the OBJC[PLUS]_INCLUDE_PATH environment variable, and allow
357 "#import". */
358 unsigned char objc;
360 /* Nonzero means don't copy comments into the output file. */
361 unsigned char discard_comments;
363 /* Nonzero means don't copy comments into the output file during
364 macro expansion. */
365 unsigned char discard_comments_in_macro_exp;
367 /* Nonzero means process the ISO trigraph sequences. */
368 unsigned char trigraphs;
370 /* Nonzero means process the ISO digraph sequences. */
371 unsigned char digraphs;
373 /* Nonzero means to allow hexadecimal floats and LL suffixes. */
374 unsigned char extended_numbers;
376 /* Nonzero means process u/U prefix literals (UTF-16/32). */
377 unsigned char uliterals;
379 /* Nonzero means process u8 prefixed character literals (UTF-8). */
380 unsigned char utf8_char_literals;
382 /* Nonzero means process r/R raw strings. If this is set, uliterals
383 must be set as well. */
384 unsigned char rliterals;
386 /* Nonzero means print names of header files (-H). */
387 unsigned char print_include_names;
389 /* Nonzero means complain about deprecated features. */
390 unsigned char cpp_warn_deprecated;
392 /* Nonzero means warn if slash-star appears in a comment. */
393 unsigned char warn_comments;
395 /* Nonzero means to warn about __DATA__, __TIME__ and __TIMESTAMP__ usage. */
396 unsigned char warn_date_time;
398 /* Nonzero means warn if a user-supplied include directory does not
399 exist. */
400 unsigned char warn_missing_include_dirs;
402 /* Nonzero means warn if there are any trigraphs. */
403 unsigned char warn_trigraphs;
405 /* Nonzero means warn about multicharacter charconsts. */
406 unsigned char warn_multichar;
408 /* Nonzero means warn about various incompatibilities with
409 traditional C. */
410 unsigned char cpp_warn_traditional;
412 /* Nonzero means warn about long long numeric constants. */
413 unsigned char cpp_warn_long_long;
415 /* Nonzero means warn about text after an #endif (or #else). */
416 unsigned char warn_endif_labels;
418 /* Nonzero means warn about implicit sign changes owing to integer
419 promotions. */
420 unsigned char warn_num_sign_change;
422 /* Zero means don't warn about __VA_ARGS__ usage in c89 pedantic mode.
423 Presumably the usage is protected by the appropriate #ifdef. */
424 unsigned char warn_variadic_macros;
426 /* Nonzero means warn about builtin macros that are redefined or
427 explicitly undefined. */
428 unsigned char warn_builtin_macro_redefined;
430 /* Different -Wimplicit-fallthrough= levels. */
431 unsigned char cpp_warn_implicit_fallthrough;
433 /* Nonzero means we should look for header.gcc files that remap file
434 names. */
435 unsigned char remap;
437 /* Zero means dollar signs are punctuation. */
438 unsigned char dollars_in_ident;
440 /* Nonzero means UCNs are accepted in identifiers. */
441 unsigned char extended_identifiers;
443 /* True if we should warn about dollars in identifiers or numbers
444 for this translation unit. */
445 unsigned char warn_dollars;
447 /* Nonzero means warn if undefined identifiers are evaluated in an #if. */
448 unsigned char warn_undef;
450 /* Nonzero means warn if "defined" is encountered in a place other than
451 an #if. */
452 unsigned char warn_expansion_to_defined;
454 /* Nonzero means warn of unused macros from the main file. */
455 unsigned char warn_unused_macros;
457 /* Nonzero for the 1999 C Standard, including corrigenda and amendments. */
458 unsigned char c99;
460 /* Nonzero if we are conforming to a specific C or C++ standard. */
461 unsigned char std;
463 /* Nonzero means give all the error messages the ANSI standard requires. */
464 unsigned char cpp_pedantic;
466 /* Nonzero means we're looking at already preprocessed code, so don't
467 bother trying to do macro expansion and whatnot. */
468 unsigned char preprocessed;
470 /* Nonzero means we are going to emit debugging logs during
471 preprocessing. */
472 unsigned char debug;
474 /* Nonzero means we are tracking locations of tokens involved in
475 macro expansion. 1 Means we track the location in degraded mode
476 where we do not track locations of tokens resulting from the
477 expansion of arguments of function-like macro. 2 Means we do
478 track all macro expansions. This last option is the one that
479 consumes the highest amount of memory. */
480 unsigned char track_macro_expansion;
482 /* Nonzero means handle C++ alternate operator names. */
483 unsigned char operator_names;
485 /* Nonzero means warn about use of C++ alternate operator names. */
486 unsigned char warn_cxx_operator_names;
488 /* True for traditional preprocessing. */
489 unsigned char traditional;
491 /* Nonzero for C++ 2011 Standard user-defined literals. */
492 unsigned char user_literals;
494 /* Nonzero means warn when a string or character literal is followed by a
495 ud-suffix which does not beging with an underscore. */
496 unsigned char warn_literal_suffix;
498 /* Nonzero means interpret imaginary, fixed-point, or other gnu extension
499 literal number suffixes as user-defined literal number suffixes. */
500 unsigned char ext_numeric_literals;
502 /* Nonzero means extended identifiers allow the characters specified
503 in C11. */
504 unsigned char c11_identifiers;
506 /* Nonzero means extended identifiers allow the characters specified
507 by Unicode XID_Start and XID_Continue properties. */
508 unsigned char xid_identifiers;
510 /* Nonzero for C++ 2014 Standard binary constants. */
511 unsigned char binary_constants;
513 /* Nonzero for C++ 2014 Standard digit separators. */
514 unsigned char digit_separators;
516 /* Nonzero for C2X decimal floating-point constants. */
517 unsigned char dfp_constants;
519 /* Nonzero for C++20 __VA_OPT__ feature. */
520 unsigned char va_opt;
522 /* Nonzero for the '::' token. */
523 unsigned char scope;
525 /* Nonzero for the '#elifdef' and '#elifndef' directives. */
526 unsigned char elifdef;
528 /* Nonzero for the '#warning' directive. */
529 unsigned char warning_directive;
531 /* Nonzero means tokenize C++20 module directives. */
532 unsigned char module_directives;
534 /* Nonzero for C++23 size_t literals. */
535 unsigned char size_t_literals;
537 /* Nonzero for C++23 delimited escape sequences. */
538 unsigned char delimited_escape_seqs;
540 /* Nonzero for 'true' and 'false' in #if expressions. */
541 unsigned char true_false;
543 /* Holds the name of the target (execution) character set. */
544 const char *narrow_charset;
546 /* Holds the name of the target wide character set. */
547 const char *wide_charset;
549 /* Holds the name of the input character set. */
550 const char *input_charset;
552 /* The minimum permitted level of normalization before a warning
553 is generated. See enum cpp_normalize_level. */
554 int warn_normalize;
556 /* True to warn about precompiled header files we couldn't use. */
557 bool warn_invalid_pch;
559 /* True if dependencies should be restored from a precompiled header. */
560 bool restore_pch_deps;
562 /* True if warn about differences between C90 and C99. */
563 signed char cpp_warn_c90_c99_compat;
565 /* True if warn about differences between C11 and C2X. */
566 signed char cpp_warn_c11_c2x_compat;
568 /* True if warn about differences between C++98 and C++11. */
569 bool cpp_warn_cxx11_compat;
571 /* True if warn about differences between C++17 and C++20. */
572 bool cpp_warn_cxx20_compat;
574 /* Nonzero if bidirectional control characters checking is on. See enum
575 cpp_bidirectional_level. */
576 unsigned char cpp_warn_bidirectional;
578 /* True if libcpp should warn about invalid UTF-8 characters in comments.
579 2 if it should be a pedwarn. */
580 unsigned char cpp_warn_invalid_utf8;
582 /* True if libcpp should warn about invalid forms of delimited or named
583 escape sequences. */
584 bool cpp_warn_unicode;
586 /* True if -finput-charset= option has been used explicitly. */
587 bool cpp_input_charset_explicit;
589 /* Dependency generation. */
590 struct
592 /* Style of header dependencies to generate. */
593 enum cpp_deps_style style;
595 /* Structured format of module dependencies to generate. */
596 enum cpp_fdeps_format fdeps_format;
598 /* Assume missing files are generated files. */
599 bool missing_files;
601 /* Generate phony targets for each dependency apart from the first
602 one. */
603 bool phony_targets;
605 /* Generate dependency info for modules. */
606 bool modules;
608 /* If true, no dependency is generated on the main file. */
609 bool ignore_main_file;
611 /* If true, intend to use the preprocessor output (e.g., for compilation)
612 in addition to the dependency info. */
613 bool need_preprocessor_output;
614 } deps;
616 /* Target-specific features set by the front end or client. */
618 /* Precision for target CPP arithmetic, target characters, target
619 ints and target wide characters, respectively. */
620 size_t precision, char_precision, int_precision, wchar_precision;
622 /* True means chars (wide chars, UTF-8 chars) are unsigned. */
623 bool unsigned_char, unsigned_wchar, unsigned_utf8char;
625 /* True if the most significant byte in a word has the lowest
626 address in memory. */
627 bool bytes_big_endian;
629 /* Nonzero means __STDC__ should have the value 0 in system headers. */
630 unsigned char stdc_0_in_system_headers;
632 /* True disables tokenization outside of preprocessing directives. */
633 bool directives_only;
635 /* True enables canonicalization of system header file paths. */
636 bool canonical_system_headers;
638 /* The maximum depth of the nested #include. */
639 unsigned int max_include_depth;
641 cpp_main_search main_search : 8;
644 /* Diagnostic levels. To get a diagnostic without associating a
645 position in the translation unit with it, use cpp_error_with_line
646 with a line number of zero. */
648 enum cpp_diagnostic_level {
649 /* Warning, an error with -Werror. */
650 CPP_DL_WARNING = 0,
651 /* Same as CPP_DL_WARNING, except it is not suppressed in system headers. */
652 CPP_DL_WARNING_SYSHDR,
653 /* Warning, an error with -pedantic-errors or -Werror. */
654 CPP_DL_PEDWARN,
655 /* An error. */
656 CPP_DL_ERROR,
657 /* An internal consistency check failed. Prints "internal error: ",
658 otherwise the same as CPP_DL_ERROR. */
659 CPP_DL_ICE,
660 /* An informative note following a warning. */
661 CPP_DL_NOTE,
662 /* A fatal error. */
663 CPP_DL_FATAL
666 /* Warning reason codes. Use a reason code of CPP_W_NONE for unclassified
667 warnings and diagnostics that are not warnings. */
669 enum cpp_warning_reason {
670 CPP_W_NONE = 0,
671 CPP_W_DEPRECATED,
672 CPP_W_COMMENTS,
673 CPP_W_MISSING_INCLUDE_DIRS,
674 CPP_W_TRIGRAPHS,
675 CPP_W_MULTICHAR,
676 CPP_W_TRADITIONAL,
677 CPP_W_LONG_LONG,
678 CPP_W_ENDIF_LABELS,
679 CPP_W_NUM_SIGN_CHANGE,
680 CPP_W_VARIADIC_MACROS,
681 CPP_W_BUILTIN_MACRO_REDEFINED,
682 CPP_W_DOLLARS,
683 CPP_W_UNDEF,
684 CPP_W_UNUSED_MACROS,
685 CPP_W_CXX_OPERATOR_NAMES,
686 CPP_W_NORMALIZE,
687 CPP_W_INVALID_PCH,
688 CPP_W_WARNING_DIRECTIVE,
689 CPP_W_LITERAL_SUFFIX,
690 CPP_W_SIZE_T_LITERALS,
691 CPP_W_DATE_TIME,
692 CPP_W_PEDANTIC,
693 CPP_W_C90_C99_COMPAT,
694 CPP_W_C11_C2X_COMPAT,
695 CPP_W_CXX11_COMPAT,
696 CPP_W_CXX20_COMPAT,
697 CPP_W_EXPANSION_TO_DEFINED,
698 CPP_W_BIDIRECTIONAL,
699 CPP_W_INVALID_UTF8,
700 CPP_W_UNICODE
703 /* Callback for header lookup for HEADER, which is the name of a
704 source file. It is used as a method of last resort to find headers
705 that are not otherwise found during the normal include processing.
706 The return value is the malloced name of a header to try and open,
707 if any, or NULL otherwise. This callback is called only if the
708 header is otherwise unfound. */
709 typedef const char *(*missing_header_cb)(cpp_reader *, const char *header, cpp_dir **);
711 /* Call backs to cpplib client. */
712 struct cpp_callbacks
714 /* Called when a new line of preprocessed output is started. */
715 void (*line_change) (cpp_reader *, const cpp_token *, int);
717 /* Called when switching to/from a new file.
718 The line_map is for the new file. It is NULL if there is no new file.
719 (In C this happens when done with <built-in>+<command line> and also
720 when done with a main file.) This can be used for resource cleanup. */
721 void (*file_change) (cpp_reader *, const line_map_ordinary *);
723 void (*dir_change) (cpp_reader *, const char *);
724 void (*include) (cpp_reader *, location_t, const unsigned char *,
725 const char *, int, const cpp_token **);
726 void (*define) (cpp_reader *, location_t, cpp_hashnode *);
727 void (*undef) (cpp_reader *, location_t, cpp_hashnode *);
728 void (*ident) (cpp_reader *, location_t, const cpp_string *);
729 void (*def_pragma) (cpp_reader *, location_t);
730 int (*valid_pch) (cpp_reader *, const char *, int);
731 void (*read_pch) (cpp_reader *, const char *, int, const char *);
732 missing_header_cb missing_header;
734 /* Context-sensitive macro support. Returns macro (if any) that should
735 be expanded. */
736 cpp_hashnode * (*macro_to_expand) (cpp_reader *, const cpp_token *);
738 /* Called to emit a diagnostic. This callback receives the
739 translated message. */
740 bool (*diagnostic) (cpp_reader *,
741 enum cpp_diagnostic_level,
742 enum cpp_warning_reason,
743 rich_location *,
744 const char *, va_list *)
745 ATTRIBUTE_FPTR_PRINTF(5,0);
747 /* Callbacks for when a macro is expanded, or tested (whether
748 defined or not at the time) in #ifdef, #ifndef or "defined". */
749 void (*used_define) (cpp_reader *, location_t, cpp_hashnode *);
750 void (*used_undef) (cpp_reader *, location_t, cpp_hashnode *);
751 /* Called before #define and #undef or other macro definition
752 changes are processed. */
753 void (*before_define) (cpp_reader *);
754 /* Called whenever a macro is expanded or tested.
755 Second argument is the location of the start of the current expansion. */
756 void (*used) (cpp_reader *, location_t, cpp_hashnode *);
758 /* Callback to identify whether an attribute exists. */
759 int (*has_attribute) (cpp_reader *, bool);
761 /* Callback to determine whether a built-in function is recognized. */
762 int (*has_builtin) (cpp_reader *);
764 /* Callback that can change a user lazy into normal macro. */
765 void (*user_lazy_macro) (cpp_reader *, cpp_macro *, unsigned);
767 /* Callback to handle deferred cpp_macros. */
768 cpp_macro *(*user_deferred_macro) (cpp_reader *, location_t, cpp_hashnode *);
770 /* Callback to parse SOURCE_DATE_EPOCH from environment. */
771 time_t (*get_source_date_epoch) (cpp_reader *);
773 /* Callback for providing suggestions for misspelled directives. */
774 const char *(*get_suggestion) (cpp_reader *, const char *, const char *const *);
776 /* Callback for when a comment is encountered, giving the location
777 of the opening slash, a pointer to the content (which is not
778 necessarily 0-terminated), and the length of the content.
779 The content contains the opening slash-star (or slash-slash),
780 and for C-style comments contains the closing star-slash. For
781 C++-style comments it does not include the terminating newline. */
782 void (*comment) (cpp_reader *, location_t, const unsigned char *,
783 size_t);
785 /* Callback for filename remapping in __FILE__ and __BASE_FILE__ macro
786 expansions. */
787 const char *(*remap_filename) (const char*);
789 /* Maybe translate a #include into something else. Return a
790 cpp_buffer containing the translation if translating. */
791 char *(*translate_include) (cpp_reader *, line_maps *, location_t,
792 const char *path);
795 #ifdef VMS
796 #define INO_T_CPP ino_t ino[3]
797 #elif defined (_AIX) && SIZEOF_INO_T == 4
798 #define INO_T_CPP ino64_t ino
799 #else
800 #define INO_T_CPP ino_t ino
801 #endif
803 #if defined (_AIX) && SIZEOF_DEV_T == 4
804 #define DEV_T_CPP dev64_t dev
805 #else
806 #define DEV_T_CPP dev_t dev
807 #endif
809 /* Chain of directories to look for include files in. */
810 struct cpp_dir
812 /* NULL-terminated singly-linked list. */
813 struct cpp_dir *next;
815 /* NAME of the directory, NUL-terminated. */
816 char *name;
817 unsigned int len;
819 /* One if a system header, two if a system header that has extern
820 "C" guards for C++. */
821 unsigned char sysp;
823 /* Is this a user-supplied directory? */
824 bool user_supplied_p;
826 /* The canonicalized NAME as determined by lrealpath. This field
827 is only used by hosts that lack reliable inode numbers. */
828 char *canonical_name;
830 /* Mapping of file names for this directory for MS-DOS and related
831 platforms. A NULL-terminated array of (from, to) pairs. */
832 const char **name_map;
834 /* Routine to construct pathname, given the search path name and the
835 HEADER we are trying to find, return a constructed pathname to
836 try and open. If this is NULL, the constructed pathname is as
837 constructed by append_file_to_dir. */
838 char *(*construct) (const char *header, cpp_dir *dir);
840 /* The C front end uses these to recognize duplicated
841 directories in the search path. */
842 INO_T_CPP;
843 DEV_T_CPP;
846 /* The kind of the cpp_macro. */
847 enum cpp_macro_kind {
848 cmk_macro, /* An ISO macro (token expansion). */
849 cmk_assert, /* An assertion. */
850 cmk_traditional /* A traditional macro (text expansion). */
853 /* Each macro definition is recorded in a cpp_macro structure.
854 Variadic macros cannot occur with traditional cpp. */
855 struct GTY(()) cpp_macro {
856 union cpp_parm_u
858 /* Parameters, if any. If parameter names use extended identifiers,
859 the original spelling of those identifiers, not the canonical
860 UTF-8 spelling, goes here. */
861 cpp_hashnode ** GTY ((tag ("false"),
862 nested_ptr (union tree_node,
863 "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL",
864 "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL"),
865 length ("%1.paramc"))) params;
867 /* If this is an assertion, the next one in the chain. */
868 cpp_macro *GTY ((tag ("true"))) next;
869 } GTY ((desc ("%1.kind == cmk_assert"))) parm;
871 /* Definition line number. */
872 location_t line;
874 /* Number of tokens in body, or bytes for traditional macros. */
875 /* Do we really need 2^32-1 range here? */
876 unsigned int count;
878 /* Number of parameters. */
879 unsigned short paramc;
881 /* Non-zero if this is a user-lazy macro, value provided by user. */
882 unsigned char lazy;
884 /* The kind of this macro (ISO, trad or assert) */
885 unsigned kind : 2;
887 /* If a function-like macro. */
888 unsigned int fun_like : 1;
890 /* If a variadic macro. */
891 unsigned int variadic : 1;
893 /* If macro defined in system header. */
894 unsigned int syshdr : 1;
896 /* Nonzero if it has been expanded or had its existence tested. */
897 unsigned int used : 1;
899 /* Indicate whether the tokens include extra CPP_PASTE tokens at the
900 end to track invalid redefinitions with consecutive CPP_PASTE
901 tokens. */
902 unsigned int extra_tokens : 1;
904 /* Imported C++20 macro (from a header unit). */
905 unsigned int imported_p : 1;
907 /* 0 bits spare (32-bit). 32 on 64-bit target. */
909 union cpp_exp_u
911 /* Trailing array of replacement tokens (ISO), or assertion body value. */
912 cpp_token GTY ((tag ("false"), length ("%1.count"))) tokens[1];
914 /* Pointer to replacement text (traditional). See comment at top
915 of cpptrad.c for how traditional function-like macros are
916 encoded. */
917 const unsigned char *GTY ((tag ("true"))) text;
918 } GTY ((desc ("%1.kind == cmk_traditional"))) exp;
921 /* Poisoned identifiers are flagged NODE_POISONED. NODE_OPERATOR (C++
922 only) indicates an identifier that behaves like an operator such as
923 "xor". NODE_DIAGNOSTIC is for speed in lex_token: it indicates a
924 diagnostic may be required for this node. Currently this only
925 applies to __VA_ARGS__, poisoned identifiers, and -Wc++-compat
926 warnings about NODE_OPERATOR. */
928 /* Hash node flags. */
929 #define NODE_OPERATOR (1 << 0) /* C++ named operator. */
930 #define NODE_POISONED (1 << 1) /* Poisoned identifier. */
931 #define NODE_DIAGNOSTIC (1 << 2) /* Possible diagnostic when lexed. */
932 #define NODE_WARN (1 << 3) /* Warn if redefined or undefined. */
933 #define NODE_DISABLED (1 << 4) /* A disabled macro. */
934 #define NODE_USED (1 << 5) /* Dumped with -dU. */
935 #define NODE_CONDITIONAL (1 << 6) /* Conditional macro */
936 #define NODE_WARN_OPERATOR (1 << 7) /* Warn about C++ named operator. */
937 #define NODE_MODULE (1 << 8) /* C++-20 module-related name. */
939 /* Different flavors of hash node. */
940 enum node_type
942 NT_VOID = 0, /* Maybe an assert? */
943 NT_MACRO_ARG, /* A macro arg. */
944 NT_USER_MACRO, /* A user macro. */
945 NT_BUILTIN_MACRO, /* A builtin macro. */
946 NT_MACRO_MASK = NT_USER_MACRO /* Mask for either macro kind. */
949 /* Different flavors of builtin macro. _Pragma is an operator, but we
950 handle it with the builtin code for efficiency reasons. */
951 enum cpp_builtin_type
953 BT_SPECLINE = 0, /* `__LINE__' */
954 BT_DATE, /* `__DATE__' */
955 BT_FILE, /* `__FILE__' */
956 BT_FILE_NAME, /* `__FILE_NAME__' */
957 BT_BASE_FILE, /* `__BASE_FILE__' */
958 BT_INCLUDE_LEVEL, /* `__INCLUDE_LEVEL__' */
959 BT_TIME, /* `__TIME__' */
960 BT_STDC, /* `__STDC__' */
961 BT_PRAGMA, /* `_Pragma' operator */
962 BT_TIMESTAMP, /* `__TIMESTAMP__' */
963 BT_COUNTER, /* `__COUNTER__' */
964 BT_HAS_ATTRIBUTE, /* `__has_attribute(x)' */
965 BT_HAS_STD_ATTRIBUTE, /* `__has_c_attribute(x)' */
966 BT_HAS_BUILTIN, /* `__has_builtin(x)' */
967 BT_HAS_INCLUDE, /* `__has_include(x)' */
968 BT_HAS_INCLUDE_NEXT /* `__has_include_next(x)' */
971 #define CPP_HASHNODE(HNODE) ((cpp_hashnode *) (HNODE))
972 #define HT_NODE(NODE) (&(NODE)->ident)
973 #define NODE_LEN(NODE) HT_LEN (HT_NODE (NODE))
974 #define NODE_NAME(NODE) HT_STR (HT_NODE (NODE))
976 /* The common part of an identifier node shared amongst all 3 C front
977 ends. Also used to store CPP identifiers, which are a superset of
978 identifiers in the grammatical sense. */
980 union GTY(()) _cpp_hashnode_value {
981 /* Assert (maybe NULL) */
982 cpp_macro * GTY((tag ("NT_VOID"))) answers;
983 /* Macro (maybe NULL) */
984 cpp_macro * GTY((tag ("NT_USER_MACRO"))) macro;
985 /* Code for a builtin macro. */
986 enum cpp_builtin_type GTY ((tag ("NT_BUILTIN_MACRO"))) builtin;
987 /* Macro argument index. */
988 unsigned short GTY ((tag ("NT_MACRO_ARG"))) arg_index;
991 struct GTY(()) cpp_hashnode {
992 struct ht_identifier ident;
993 unsigned int is_directive : 1;
994 unsigned int directive_index : 7; /* If is_directive,
995 then index into directive table.
996 Otherwise, a NODE_OPERATOR. */
997 unsigned int rid_code : 8; /* Rid code - for front ends. */
998 unsigned int flags : 9; /* CPP flags. */
999 ENUM_BITFIELD(node_type) type : 2; /* CPP node type. */
1001 /* 5 bits spare. */
1003 /* The deferred cookie is applicable to NT_USER_MACRO or NT_VOID.
1004 The latter for when a macro had a prevailing undef.
1005 On a 64-bit system there would be 32-bits of padding to the value
1006 field. So placing the deferred index here is not costly. */
1007 unsigned deferred; /* Deferred cookie */
1009 union _cpp_hashnode_value GTY ((desc ("%1.type"))) value;
1012 /* A class for iterating through the source locations within a
1013 string token (before escapes are interpreted, and before
1014 concatenation). */
1016 class cpp_string_location_reader {
1017 public:
1018 cpp_string_location_reader (location_t src_loc,
1019 line_maps *line_table);
1021 source_range get_next ();
1023 private:
1024 location_t m_loc;
1025 int m_offset_per_column;
1028 /* A class for storing the source ranges of all of the characters within
1029 a string literal, after escapes are interpreted, and after
1030 concatenation.
1032 This is not GTY-marked, as instances are intended to be temporary. */
1034 class cpp_substring_ranges
1036 public:
1037 cpp_substring_ranges ();
1038 ~cpp_substring_ranges ();
1040 int get_num_ranges () const { return m_num_ranges; }
1041 source_range get_range (int idx) const
1043 linemap_assert (idx < m_num_ranges);
1044 return m_ranges[idx];
1047 void add_range (source_range range);
1048 void add_n_ranges (int num, cpp_string_location_reader &loc_reader);
1050 private:
1051 source_range *m_ranges;
1052 int m_num_ranges;
1053 int m_alloc_ranges;
1056 /* Call this first to get a handle to pass to other functions.
1058 If you want cpplib to manage its own hashtable, pass in a NULL
1059 pointer. Otherwise you should pass in an initialized hash table
1060 that cpplib will share; this technique is used by the C front
1061 ends. */
1062 extern cpp_reader *cpp_create_reader (enum c_lang, struct ht *,
1063 class line_maps *);
1065 /* Reset the cpp_reader's line_map. This is only used after reading a
1066 PCH file. */
1067 extern void cpp_set_line_map (cpp_reader *, class line_maps *);
1069 /* Call this to change the selected language standard (e.g. because of
1070 command line options). */
1071 extern void cpp_set_lang (cpp_reader *, enum c_lang);
1073 /* Set the include paths. */
1074 extern void cpp_set_include_chains (cpp_reader *, cpp_dir *, cpp_dir *, int);
1076 /* Call these to get pointers to the options, callback, and deps
1077 structures for a given reader. These pointers are good until you
1078 call cpp_finish on that reader. You can either edit the callbacks
1079 through the pointer returned from cpp_get_callbacks, or set them
1080 with cpp_set_callbacks. */
1081 extern cpp_options *cpp_get_options (cpp_reader *) ATTRIBUTE_PURE;
1082 extern cpp_callbacks *cpp_get_callbacks (cpp_reader *) ATTRIBUTE_PURE;
1083 extern void cpp_set_callbacks (cpp_reader *, cpp_callbacks *);
1084 extern class mkdeps *cpp_get_deps (cpp_reader *) ATTRIBUTE_PURE;
1086 extern const char *cpp_probe_header_unit (cpp_reader *, const char *file,
1087 bool angle_p, location_t);
1089 /* Call these to get name data about the various compile-time
1090 charsets. */
1091 extern const char *cpp_get_narrow_charset_name (cpp_reader *) ATTRIBUTE_PURE;
1092 extern const char *cpp_get_wide_charset_name (cpp_reader *) ATTRIBUTE_PURE;
1094 /* This function reads the file, but does not start preprocessing. It
1095 returns the name of the original file; this is the same as the
1096 input file, except for preprocessed input. This will generate at
1097 least one file change callback, and possibly a line change callback
1098 too. If there was an error opening the file, it returns NULL. */
1099 extern const char *cpp_read_main_file (cpp_reader *, const char *,
1100 bool injecting = false);
1101 extern location_t cpp_main_loc (const cpp_reader *);
1103 /* Adjust for the main file to be an include. */
1104 extern void cpp_retrofit_as_include (cpp_reader *);
1106 /* Set up built-ins with special behavior. Use cpp_init_builtins()
1107 instead unless your know what you are doing. */
1108 extern void cpp_init_special_builtins (cpp_reader *);
1110 /* Set up built-ins like __FILE__. */
1111 extern void cpp_init_builtins (cpp_reader *, int);
1113 /* This is called after options have been parsed, and partially
1114 processed. */
1115 extern void cpp_post_options (cpp_reader *);
1117 /* Set up translation to the target character set. */
1118 extern void cpp_init_iconv (cpp_reader *);
1120 /* Call this to finish preprocessing. If you requested dependency
1121 generation, pass open stream(s) to write the information to,
1122 otherwise NULL. It is your responsibility to close the stream(s). */
1123 extern void cpp_finish (cpp_reader *, FILE *deps_stream, FILE *fdeps_stream = NULL);
1125 /* Call this to release the handle at the end of preprocessing. Any
1126 use of the handle after this function returns is invalid. */
1127 extern void cpp_destroy (cpp_reader *);
1129 extern unsigned int cpp_token_len (const cpp_token *);
1130 extern unsigned char *cpp_token_as_text (cpp_reader *, const cpp_token *);
1131 extern unsigned char *cpp_spell_token (cpp_reader *, const cpp_token *,
1132 unsigned char *, bool);
1133 extern void cpp_register_pragma (cpp_reader *, const char *, const char *,
1134 void (*) (cpp_reader *), bool);
1135 extern void cpp_register_deferred_pragma (cpp_reader *, const char *,
1136 const char *, unsigned, bool, bool);
1137 extern int cpp_avoid_paste (cpp_reader *, const cpp_token *,
1138 const cpp_token *);
1139 extern const cpp_token *cpp_get_token (cpp_reader *);
1140 extern const cpp_token *cpp_get_token_with_location (cpp_reader *,
1141 location_t *);
1142 inline bool cpp_user_macro_p (const cpp_hashnode *node)
1144 return node->type == NT_USER_MACRO;
1146 inline bool cpp_builtin_macro_p (const cpp_hashnode *node)
1148 return node->type == NT_BUILTIN_MACRO;
1150 inline bool cpp_macro_p (const cpp_hashnode *node)
1152 return node->type & NT_MACRO_MASK;
1154 inline cpp_macro *cpp_set_deferred_macro (cpp_hashnode *node,
1155 cpp_macro *forced = NULL)
1157 cpp_macro *old = node->value.macro;
1159 node->value.macro = forced;
1160 node->type = NT_USER_MACRO;
1161 node->flags &= ~NODE_USED;
1163 return old;
1165 cpp_macro *cpp_get_deferred_macro (cpp_reader *, cpp_hashnode *, location_t);
1167 /* Returns true if NODE is a function-like user macro. */
1168 inline bool cpp_fun_like_macro_p (cpp_hashnode *node)
1170 return cpp_user_macro_p (node) && node->value.macro->fun_like;
1173 extern const unsigned char *cpp_macro_definition (cpp_reader *, cpp_hashnode *);
1174 extern const unsigned char *cpp_macro_definition (cpp_reader *, cpp_hashnode *,
1175 const cpp_macro *);
1176 inline location_t cpp_macro_definition_location (cpp_hashnode *node)
1178 const cpp_macro *macro = node->value.macro;
1179 return macro ? macro->line : 0;
1181 /* Return an idempotent time stamp (possibly from SOURCE_DATE_EPOCH). */
1182 enum class CPP_time_kind
1184 FIXED = -1, /* Fixed time via source epoch. */
1185 DYNAMIC = -2, /* Dynamic via time(2). */
1186 UNKNOWN = -3 /* Wibbly wobbly, timey wimey. */
1188 extern CPP_time_kind cpp_get_date (cpp_reader *, time_t *);
1190 extern void _cpp_backup_tokens (cpp_reader *, unsigned int);
1191 extern const cpp_token *cpp_peek_token (cpp_reader *, int);
1193 /* Evaluate a CPP_*CHAR* token. */
1194 extern cppchar_t cpp_interpret_charconst (cpp_reader *, const cpp_token *,
1195 unsigned int *, int *);
1196 /* Evaluate a vector of CPP_*STRING* tokens. */
1197 extern bool cpp_interpret_string (cpp_reader *,
1198 const cpp_string *, size_t,
1199 cpp_string *, enum cpp_ttype);
1200 extern const char *cpp_interpret_string_ranges (cpp_reader *pfile,
1201 const cpp_string *from,
1202 cpp_string_location_reader *,
1203 size_t count,
1204 cpp_substring_ranges *out,
1205 enum cpp_ttype type);
1206 extern bool cpp_interpret_string_notranslate (cpp_reader *,
1207 const cpp_string *, size_t,
1208 cpp_string *, enum cpp_ttype);
1210 /* Convert a host character constant to the execution character set. */
1211 extern cppchar_t cpp_host_to_exec_charset (cpp_reader *, cppchar_t);
1213 /* Used to register macros and assertions, perhaps from the command line.
1214 The text is the same as the command line argument. */
1215 extern void cpp_define (cpp_reader *, const char *);
1216 extern void cpp_define_unused (cpp_reader *, const char *);
1217 extern void cpp_define_formatted (cpp_reader *pfile,
1218 const char *fmt, ...) ATTRIBUTE_PRINTF_2;
1219 extern void cpp_define_formatted_unused (cpp_reader *pfile,
1220 const char *fmt,
1221 ...) ATTRIBUTE_PRINTF_2;
1222 extern void cpp_assert (cpp_reader *, const char *);
1223 extern void cpp_undef (cpp_reader *, const char *);
1224 extern void cpp_unassert (cpp_reader *, const char *);
1226 /* Mark a node as a lazily defined macro. */
1227 extern void cpp_define_lazily (cpp_reader *, cpp_hashnode *node, unsigned N);
1229 /* Undefine all macros and assertions. */
1230 extern void cpp_undef_all (cpp_reader *);
1232 extern cpp_buffer *cpp_push_buffer (cpp_reader *, const unsigned char *,
1233 size_t, int);
1234 extern int cpp_defined (cpp_reader *, const unsigned char *, int);
1236 /* A preprocessing number. Code assumes that any unused high bits of
1237 the double integer are set to zero. */
1239 /* This type has to be equal to unsigned HOST_WIDE_INT, see
1240 gcc/c-family/c-lex.cc. */
1241 typedef uint64_t cpp_num_part;
1242 typedef struct cpp_num cpp_num;
1243 struct cpp_num
1245 cpp_num_part high;
1246 cpp_num_part low;
1247 bool unsignedp; /* True if value should be treated as unsigned. */
1248 bool overflow; /* True if the most recent calculation overflowed. */
1251 /* cpplib provides two interfaces for interpretation of preprocessing
1252 numbers.
1254 cpp_classify_number categorizes numeric constants according to
1255 their field (integer, floating point, or invalid), radix (decimal,
1256 octal, hexadecimal), and type suffixes. */
1258 #define CPP_N_CATEGORY 0x000F
1259 #define CPP_N_INVALID 0x0000
1260 #define CPP_N_INTEGER 0x0001
1261 #define CPP_N_FLOATING 0x0002
1263 #define CPP_N_WIDTH 0x00F0
1264 #define CPP_N_SMALL 0x0010 /* int, float, short _Fract/Accum */
1265 #define CPP_N_MEDIUM 0x0020 /* long, double, long _Fract/_Accum. */
1266 #define CPP_N_LARGE 0x0040 /* long long, long double,
1267 long long _Fract/Accum. */
1269 #define CPP_N_WIDTH_MD 0xF0000 /* machine defined. */
1270 #define CPP_N_MD_W 0x10000
1271 #define CPP_N_MD_Q 0x20000
1273 #define CPP_N_RADIX 0x0F00
1274 #define CPP_N_DECIMAL 0x0100
1275 #define CPP_N_HEX 0x0200
1276 #define CPP_N_OCTAL 0x0400
1277 #define CPP_N_BINARY 0x0800
1279 #define CPP_N_UNSIGNED 0x1000 /* Properties. */
1280 #define CPP_N_IMAGINARY 0x2000
1281 #define CPP_N_DFLOAT 0x4000
1282 #define CPP_N_DEFAULT 0x8000
1284 #define CPP_N_FRACT 0x100000 /* Fract types. */
1285 #define CPP_N_ACCUM 0x200000 /* Accum types. */
1286 #define CPP_N_FLOATN 0x400000 /* _FloatN types. */
1287 #define CPP_N_FLOATNX 0x800000 /* _FloatNx types. */
1289 #define CPP_N_USERDEF 0x1000000 /* C++11 user-defined literal. */
1291 #define CPP_N_SIZE_T 0x2000000 /* C++23 size_t literal. */
1292 #define CPP_N_BFLOAT16 0x4000000 /* std::bfloat16_t type. */
1293 #define CPP_N_BITINT 0x8000000 /* C2X _BitInt literal. */
1295 #define CPP_N_WIDTH_FLOATN_NX 0xF0000000 /* _FloatN / _FloatNx value
1296 of N, divided by 16. */
1297 #define CPP_FLOATN_SHIFT 24
1298 #define CPP_FLOATN_MAX 0xF0
1300 /* Classify a CPP_NUMBER token. The return value is a combination of
1301 the flags from the above sets. */
1302 extern unsigned cpp_classify_number (cpp_reader *, const cpp_token *,
1303 const char **, location_t);
1305 /* Return the classification flags for a float suffix. */
1306 extern unsigned int cpp_interpret_float_suffix (cpp_reader *, const char *,
1307 size_t);
1309 /* Return the classification flags for an int suffix. */
1310 extern unsigned int cpp_interpret_int_suffix (cpp_reader *, const char *,
1311 size_t);
1313 /* Evaluate a token classified as category CPP_N_INTEGER. */
1314 extern cpp_num cpp_interpret_integer (cpp_reader *, const cpp_token *,
1315 unsigned int);
1317 /* Sign extend a number, with PRECISION significant bits and all
1318 others assumed clear, to fill out a cpp_num structure. */
1319 cpp_num cpp_num_sign_extend (cpp_num, size_t);
1321 /* Output a diagnostic of some kind. */
1322 extern bool cpp_error (cpp_reader *, enum cpp_diagnostic_level,
1323 const char *msgid, ...)
1324 ATTRIBUTE_PRINTF_3;
1325 extern bool cpp_warning (cpp_reader *, enum cpp_warning_reason,
1326 const char *msgid, ...)
1327 ATTRIBUTE_PRINTF_3;
1328 extern bool cpp_pedwarning (cpp_reader *, enum cpp_warning_reason,
1329 const char *msgid, ...)
1330 ATTRIBUTE_PRINTF_3;
1331 extern bool cpp_warning_syshdr (cpp_reader *, enum cpp_warning_reason reason,
1332 const char *msgid, ...)
1333 ATTRIBUTE_PRINTF_3;
1335 /* As their counterparts above, but use RICHLOC. */
1336 extern bool cpp_warning_at (cpp_reader *, enum cpp_warning_reason,
1337 rich_location *richloc, const char *msgid, ...)
1338 ATTRIBUTE_PRINTF_4;
1339 extern bool cpp_pedwarning_at (cpp_reader *, enum cpp_warning_reason,
1340 rich_location *richloc, const char *msgid, ...)
1341 ATTRIBUTE_PRINTF_4;
1343 /* Output a diagnostic with "MSGID: " preceding the
1344 error string of errno. No location is printed. */
1345 extern bool cpp_errno (cpp_reader *, enum cpp_diagnostic_level,
1346 const char *msgid);
1347 /* Similarly, but with "FILENAME: " instead of "MSGID: ", where
1348 the filename is not localized. */
1349 extern bool cpp_errno_filename (cpp_reader *, enum cpp_diagnostic_level,
1350 const char *filename, location_t loc);
1352 /* Same as cpp_error, except additionally specifies a position as a
1353 (translation unit) physical line and physical column. If the line is
1354 zero, then no location is printed. */
1355 extern bool cpp_error_with_line (cpp_reader *, enum cpp_diagnostic_level,
1356 location_t, unsigned,
1357 const char *msgid, ...)
1358 ATTRIBUTE_PRINTF_5;
1359 extern bool cpp_warning_with_line (cpp_reader *, enum cpp_warning_reason,
1360 location_t, unsigned,
1361 const char *msgid, ...)
1362 ATTRIBUTE_PRINTF_5;
1363 extern bool cpp_pedwarning_with_line (cpp_reader *, enum cpp_warning_reason,
1364 location_t, unsigned,
1365 const char *msgid, ...)
1366 ATTRIBUTE_PRINTF_5;
1367 extern bool cpp_warning_with_line_syshdr (cpp_reader *, enum cpp_warning_reason,
1368 location_t, unsigned,
1369 const char *msgid, ...)
1370 ATTRIBUTE_PRINTF_5;
1372 extern bool cpp_error_at (cpp_reader * pfile, enum cpp_diagnostic_level,
1373 location_t src_loc, const char *msgid, ...)
1374 ATTRIBUTE_PRINTF_4;
1376 extern bool cpp_error_at (cpp_reader * pfile, enum cpp_diagnostic_level,
1377 rich_location *richloc, const char *msgid, ...)
1378 ATTRIBUTE_PRINTF_4;
1380 /* In lex.cc */
1381 extern int cpp_ideq (const cpp_token *, const char *);
1382 extern void cpp_output_line (cpp_reader *, FILE *);
1383 extern unsigned char *cpp_output_line_to_string (cpp_reader *,
1384 const unsigned char *);
1385 extern const unsigned char *cpp_alloc_token_string
1386 (cpp_reader *, const unsigned char *, unsigned);
1387 extern void cpp_output_token (const cpp_token *, FILE *);
1388 extern const char *cpp_type2name (enum cpp_ttype, unsigned char flags);
1389 /* Returns the value of an escape sequence, truncated to the correct
1390 target precision. PSTR points to the input pointer, which is just
1391 after the backslash. LIMIT is how much text we have. WIDE is true
1392 if the escape sequence is part of a wide character constant or
1393 string literal. Handles all relevant diagnostics. */
1394 extern cppchar_t cpp_parse_escape (cpp_reader *, const unsigned char ** pstr,
1395 const unsigned char *limit, int wide);
1397 /* Structure used to hold a comment block at a given location in the
1398 source code. */
1400 typedef struct
1402 /* Text of the comment including the terminators. */
1403 char *comment;
1405 /* source location for the given comment. */
1406 location_t sloc;
1407 } cpp_comment;
1409 /* Structure holding all comments for a given cpp_reader. */
1411 typedef struct
1413 /* table of comment entries. */
1414 cpp_comment *entries;
1416 /* number of actual entries entered in the table. */
1417 int count;
1419 /* number of entries allocated currently. */
1420 int allocated;
1421 } cpp_comment_table;
1423 /* Returns the table of comments encountered by the preprocessor. This
1424 table is only populated when pfile->state.save_comments is true. */
1425 extern cpp_comment_table *cpp_get_comments (cpp_reader *);
1427 /* In hash.c */
1429 /* Lookup an identifier in the hashtable. Puts the identifier in the
1430 table if it is not already there. */
1431 extern cpp_hashnode *cpp_lookup (cpp_reader *, const unsigned char *,
1432 unsigned int);
1434 typedef int (*cpp_cb) (cpp_reader *, cpp_hashnode *, void *);
1435 extern void cpp_forall_identifiers (cpp_reader *, cpp_cb, void *);
1437 /* In macro.cc */
1438 extern void cpp_scan_nooutput (cpp_reader *);
1439 extern int cpp_sys_macro_p (cpp_reader *);
1440 extern unsigned char *cpp_quote_string (unsigned char *, const unsigned char *,
1441 unsigned int);
1442 extern bool cpp_compare_macros (const cpp_macro *macro1,
1443 const cpp_macro *macro2);
1445 /* In files.cc */
1446 extern bool cpp_included (cpp_reader *, const char *);
1447 extern bool cpp_included_before (cpp_reader *, const char *, location_t);
1448 extern void cpp_make_system_header (cpp_reader *, int, int);
1449 extern bool cpp_push_include (cpp_reader *, const char *);
1450 extern bool cpp_push_default_include (cpp_reader *, const char *);
1451 extern void cpp_change_file (cpp_reader *, enum lc_reason, const char *);
1452 extern const char *cpp_get_path (struct _cpp_file *);
1453 extern cpp_dir *cpp_get_dir (struct _cpp_file *);
1454 extern cpp_buffer *cpp_get_buffer (cpp_reader *);
1455 extern struct _cpp_file *cpp_get_file (cpp_buffer *);
1456 extern cpp_buffer *cpp_get_prev (cpp_buffer *);
1457 extern void cpp_clear_file_cache (cpp_reader *);
1459 /* cpp_get_converted_source returns the contents of the given file, as it exists
1460 after cpplib has read it and converted it from the input charset to the
1461 source charset. Return struct will be zero-filled if the data could not be
1462 read for any reason. The data starts at the DATA pointer, but the TO_FREE
1463 pointer is what should be passed to free(), as there may be an offset. */
1464 struct cpp_converted_source
1466 char *to_free;
1467 char *data;
1468 size_t len;
1470 cpp_converted_source cpp_get_converted_source (const char *fname,
1471 const char *input_charset);
1473 /* In pch.cc */
1474 struct save_macro_data;
1475 extern int cpp_save_state (cpp_reader *, FILE *);
1476 extern int cpp_write_pch_deps (cpp_reader *, FILE *);
1477 extern int cpp_write_pch_state (cpp_reader *, FILE *);
1478 extern int cpp_valid_state (cpp_reader *, const char *, int);
1479 extern void cpp_prepare_state (cpp_reader *, struct save_macro_data **);
1480 extern int cpp_read_state (cpp_reader *, const char *, FILE *,
1481 struct save_macro_data *);
1483 /* In lex.cc */
1484 extern void cpp_force_token_locations (cpp_reader *, location_t);
1485 extern void cpp_stop_forcing_token_locations (cpp_reader *);
1486 enum CPP_DO_task
1488 CPP_DO_print,
1489 CPP_DO_location,
1490 CPP_DO_token
1493 extern void cpp_directive_only_process (cpp_reader *pfile,
1494 void *data,
1495 void (*cb) (cpp_reader *,
1496 CPP_DO_task,
1497 void *data, ...));
1499 /* In expr.cc */
1500 extern enum cpp_ttype cpp_userdef_string_remove_type
1501 (enum cpp_ttype type);
1502 extern enum cpp_ttype cpp_userdef_string_add_type
1503 (enum cpp_ttype type);
1504 extern enum cpp_ttype cpp_userdef_char_remove_type
1505 (enum cpp_ttype type);
1506 extern enum cpp_ttype cpp_userdef_char_add_type
1507 (enum cpp_ttype type);
1508 extern bool cpp_userdef_string_p
1509 (enum cpp_ttype type);
1510 extern bool cpp_userdef_char_p
1511 (enum cpp_ttype type);
1512 extern const char * cpp_get_userdef_suffix
1513 (const cpp_token *);
1515 /* In charset.cc */
1517 /* The result of attempting to decode a run of UTF-8 bytes. */
1519 struct cpp_decoded_char
1521 const char *m_start_byte;
1522 const char *m_next_byte;
1524 bool m_valid_ch;
1525 cppchar_t m_ch;
1528 /* Information for mapping between code points and display columns.
1530 This is a tabstop value, along with a callback for getting the
1531 widths of characters. Normally this callback is cpp_wcwidth, but we
1532 support other schemes for escaping non-ASCII unicode as a series of
1533 ASCII chars when printing the user's source code in diagnostic-show-locus.cc
1535 For example, consider:
1536 - the Unicode character U+03C0 "GREEK SMALL LETTER PI" (UTF-8: 0xCF 0x80)
1537 - the Unicode character U+1F642 "SLIGHTLY SMILING FACE"
1538 (UTF-8: 0xF0 0x9F 0x99 0x82)
1539 - the byte 0xBF (a stray trailing byte of a UTF-8 character)
1540 Normally U+03C0 would occupy one display column, U+1F642
1541 would occupy two display columns, and the stray byte would be
1542 printed verbatim as one display column.
1544 However when escaping them as unicode code points as "<U+03C0>"
1545 and "<U+1F642>" they occupy 8 and 9 display columns respectively,
1546 and when escaping them as bytes as "<CF><80>" and "<F0><9F><99><82>"
1547 they occupy 8 and 16 display columns respectively. In both cases
1548 the stray byte is escaped to <BF> as 4 display columns. */
1550 struct cpp_char_column_policy
1552 cpp_char_column_policy (int tabstop,
1553 int (*width_cb) (cppchar_t c))
1554 : m_tabstop (tabstop),
1555 m_undecoded_byte_width (1),
1556 m_width_cb (width_cb)
1559 int m_tabstop;
1560 /* Width in display columns of a stray byte that isn't decodable
1561 as UTF-8. */
1562 int m_undecoded_byte_width;
1563 int (*m_width_cb) (cppchar_t c);
1566 /* A class to manage the state while converting a UTF-8 sequence to cppchar_t
1567 and computing the display width one character at a time. */
1568 class cpp_display_width_computation {
1569 public:
1570 cpp_display_width_computation (const char *data, int data_length,
1571 const cpp_char_column_policy &policy);
1572 const char *next_byte () const { return m_next; }
1573 int bytes_processed () const { return m_next - m_begin; }
1574 int bytes_left () const { return m_bytes_left; }
1575 bool done () const { return !bytes_left (); }
1576 int display_cols_processed () const { return m_display_cols; }
1578 int process_next_codepoint (cpp_decoded_char *out);
1579 int advance_display_cols (int n);
1581 private:
1582 const char *const m_begin;
1583 const char *m_next;
1584 size_t m_bytes_left;
1585 const cpp_char_column_policy &m_policy;
1586 int m_display_cols;
1589 /* Convenience functions that are simple use cases for class
1590 cpp_display_width_computation. Tab characters will be expanded to spaces
1591 as determined by POLICY.m_tabstop, and non-printable-ASCII characters
1592 will be escaped as per POLICY. */
1594 int cpp_byte_column_to_display_column (const char *data, int data_length,
1595 int column,
1596 const cpp_char_column_policy &policy);
1597 inline int cpp_display_width (const char *data, int data_length,
1598 const cpp_char_column_policy &policy)
1600 return cpp_byte_column_to_display_column (data, data_length, data_length,
1601 policy);
1603 int cpp_display_column_to_byte_column (const char *data, int data_length,
1604 int display_col,
1605 const cpp_char_column_policy &policy);
1606 int cpp_wcwidth (cppchar_t c);
1608 bool cpp_input_conversion_is_trivial (const char *input_charset);
1609 int cpp_check_utf8_bom (const char *data, size_t data_length);
1610 bool cpp_valid_utf8_p (const char *data, size_t num_bytes);
1612 bool cpp_is_combining_char (cppchar_t c);
1613 bool cpp_is_printable_char (cppchar_t c);
1615 #endif /* ! LIBCPP_CPPLIB_H */