Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 1 | /* Definitions for CPP library. |
Jakub Jelinek | 85ec4fe | 2018-01-03 11:03:58 +0100 | [diff] [blame] | 2 | Copyright (C) 1995-2018 Free Software Foundation, Inc. |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 3 | Written by Per Bothner, 1994-95. |
| 4 | |
| 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 |
Jakub Jelinek | 748086b | 2009-04-09 17:00:19 +0200 | [diff] [blame] | 7 | Free Software Foundation; either version 3, or (at your option) any |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 8 | later version. |
| 9 | |
| 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. |
| 14 | |
| 15 | You should have received a copy of the GNU General Public License |
Jakub Jelinek | 748086b | 2009-04-09 17:00:19 +0200 | [diff] [blame] | 16 | along with this program; see the file COPYING3. If not see |
| 17 | <http://www.gnu.org/licenses/>. |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 18 | |
| 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! */ |
Paolo Bonzini | 4f4e53dd | 2004-05-24 10:50:45 +0000 | [diff] [blame] | 22 | #ifndef LIBCPP_CPPLIB_H |
| 23 | #define LIBCPP_CPPLIB_H |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 24 | |
| 25 | #include <sys/types.h> |
Paolo Bonzini | 4f4e53dd | 2004-05-24 10:50:45 +0000 | [diff] [blame] | 26 | #include "symtab.h" |
Neil Booth | d82fc10 | 2001-08-02 23:03:31 +0000 | [diff] [blame] | 27 | #include "line-map.h" |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 28 | |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 29 | typedef struct cpp_reader cpp_reader; |
| 30 | typedef struct cpp_buffer cpp_buffer; |
| 31 | typedef struct cpp_options cpp_options; |
Zack Weinberg | 1368ee7 | 2000-04-20 19:33:11 +0000 | [diff] [blame] | 32 | typedef struct cpp_token cpp_token; |
Zack Weinberg | bfb9dc7 | 2000-07-08 19:00:39 +0000 | [diff] [blame] | 33 | typedef struct cpp_string cpp_string; |
Neil Booth | a50882d | 2001-05-16 21:55:14 +0000 | [diff] [blame] | 34 | typedef struct cpp_hashnode cpp_hashnode; |
Neil Booth | 93c80368 | 2000-10-28 17:59:06 +0000 | [diff] [blame] | 35 | typedef struct cpp_macro cpp_macro; |
Neil Booth | 7e96d76 | 2001-01-13 01:00:01 +0000 | [diff] [blame] | 36 | typedef struct cpp_callbacks cpp_callbacks; |
Neil Booth | 8f9b400 | 2003-07-29 22:26:13 +0000 | [diff] [blame] | 37 | typedef struct cpp_dir cpp_dir; |
Neil Booth | 93c80368 | 2000-10-28 17:59:06 +0000 | [diff] [blame] | 38 | |
Mike Stump | 94d1613 | 2004-03-04 00:18:54 +0000 | [diff] [blame] | 39 | struct _cpp_file; |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 40 | |
Neil Booth | f8b954f | 2002-04-26 06:32:50 +0000 | [diff] [blame] | 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. |
Zack Weinberg | c5a0473 | 2000-04-25 19:32:36 +0000 | [diff] [blame] | 44 | |
| 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 |
Steve Ellcey | b52dbbf | 2006-08-14 23:13:54 +0000 | [diff] [blame] | 47 | the same order as their counterparts without the '=', like ">>". |
| 48 | |
| 49 | See the cpp_operator table optab in expr.c if you change the order or |
| 50 | add or remove anything in the first group. */ |
Zack Weinberg | c5a0473 | 2000-04-25 19:32:36 +0000 | [diff] [blame] | 51 | |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 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, "<<") \ |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 67 | \ |
| 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 | \ |
| 82 | /* These two are unary + / - in preprocessor expressions. */ \ |
| 83 | OP(PLUS_EQ, "+=") /* math */ \ |
| 84 | OP(MINUS_EQ, "-=") \ |
| 85 | \ |
| 86 | OP(MULT_EQ, "*=") \ |
| 87 | OP(DIV_EQ, "/=") \ |
| 88 | OP(MOD_EQ, "%=") \ |
| 89 | OP(AND_EQ, "&=") /* bit ops */ \ |
| 90 | OP(OR_EQ, "|=") \ |
| 91 | OP(XOR_EQ, "^=") \ |
| 92 | OP(RSHIFT_EQ, ">>=") \ |
| 93 | OP(LSHIFT_EQ, "<<=") \ |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 94 | /* Digraphs together, beginning with CPP_FIRST_DIGRAPH. */ \ |
| 95 | OP(HASH, "#") /* digraphs */ \ |
| 96 | OP(PASTE, "##") \ |
| 97 | OP(OPEN_SQUARE, "[") \ |
| 98 | OP(CLOSE_SQUARE, "]") \ |
| 99 | OP(OPEN_BRACE, "{") \ |
| 100 | OP(CLOSE_BRACE, "}") \ |
| 101 | /* The remainder of the punctuation. Order is not significant. */ \ |
| 102 | OP(SEMICOLON, ";") /* structure */ \ |
| 103 | OP(ELLIPSIS, "...") \ |
| 104 | OP(PLUS_PLUS, "++") /* increment */ \ |
| 105 | OP(MINUS_MINUS, "--") \ |
| 106 | OP(DEREF, "->") /* accessors */ \ |
| 107 | OP(DOT, ".") \ |
| 108 | OP(SCOPE, "::") \ |
| 109 | OP(DEREF_STAR, "->*") \ |
| 110 | OP(DOT_STAR, ".*") \ |
| 111 | OP(ATSIGN, "@") /* used in Objective-C */ \ |
| 112 | \ |
| 113 | TK(NAME, IDENT) /* word */ \ |
| 114 | TK(AT_NAME, IDENT) /* @word - Objective-C */ \ |
| 115 | TK(NUMBER, LITERAL) /* 34_be+ta */ \ |
| 116 | \ |
| 117 | TK(CHAR, LITERAL) /* 'char' */ \ |
| 118 | TK(WCHAR, LITERAL) /* L'char' */ \ |
Kris Van Hees | b6baa67 | 2008-04-18 13:58:08 +0000 | [diff] [blame] | 119 | TK(CHAR16, LITERAL) /* u'char' */ \ |
| 120 | TK(CHAR32, LITERAL) /* U'char' */ \ |
Edward Smith-Rowland | fe95b03 | 2015-06-30 12:58:48 +0000 | [diff] [blame] | 121 | TK(UTF8CHAR, LITERAL) /* u8'char' */ \ |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 122 | TK(OTHER, LITERAL) /* stray punctuation */ \ |
| 123 | \ |
| 124 | TK(STRING, LITERAL) /* "string" */ \ |
| 125 | TK(WSTRING, LITERAL) /* L"string" */ \ |
Kris Van Hees | b6baa67 | 2008-04-18 13:58:08 +0000 | [diff] [blame] | 126 | TK(STRING16, LITERAL) /* u"string" */ \ |
| 127 | TK(STRING32, LITERAL) /* U"string" */ \ |
Jakub Jelinek | 2c6e3f5 | 2009-10-19 23:41:15 +0200 | [diff] [blame] | 128 | TK(UTF8STRING, LITERAL) /* u8"string" */ \ |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 129 | TK(OBJC_STRING, LITERAL) /* @"string" - Objective-C */ \ |
| 130 | TK(HEADER_NAME, LITERAL) /* <stdio.h> in #include */ \ |
| 131 | \ |
Ed Smith-Rowland | 3ce4f9e | 2011-10-26 19:30:59 +0000 | [diff] [blame] | 132 | TK(CHAR_USERDEF, LITERAL) /* 'char'_suffix - C++-0x */ \ |
| 133 | TK(WCHAR_USERDEF, LITERAL) /* L'char'_suffix - C++-0x */ \ |
| 134 | TK(CHAR16_USERDEF, LITERAL) /* u'char'_suffix - C++-0x */ \ |
| 135 | TK(CHAR32_USERDEF, LITERAL) /* U'char'_suffix - C++-0x */ \ |
Edward Smith-Rowland | fe95b03 | 2015-06-30 12:58:48 +0000 | [diff] [blame] | 136 | TK(UTF8CHAR_USERDEF, LITERAL) /* u8'char'_suffix - C++-0x */ \ |
Ed Smith-Rowland | 3ce4f9e | 2011-10-26 19:30:59 +0000 | [diff] [blame] | 137 | TK(STRING_USERDEF, LITERAL) /* "string"_suffix - C++-0x */ \ |
| 138 | TK(WSTRING_USERDEF, LITERAL) /* L"string"_suffix - C++-0x */ \ |
| 139 | TK(STRING16_USERDEF, LITERAL) /* u"string"_suffix - C++-0x */ \ |
| 140 | TK(STRING32_USERDEF, LITERAL) /* U"string"_suffix - C++-0x */ \ |
| 141 | TK(UTF8STRING_USERDEF,LITERAL) /* u8"string"_suffix - C++-0x */ \ |
| 142 | \ |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 143 | TK(COMMENT, LITERAL) /* Only if output comments. */ \ |
| 144 | /* SPELL_LITERAL happens to DTRT. */ \ |
| 145 | TK(MACRO_ARG, NONE) /* Macro argument. */ \ |
Richard Henderson | bc4071d | 2006-01-04 08:33:38 -0800 | [diff] [blame] | 146 | TK(PRAGMA, NONE) /* Only for deferred pragmas. */ \ |
| 147 | TK(PRAGMA_EOL, NONE) /* End-of-line for deferred pragmas. */ \ |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 148 | TK(PADDING, NONE) /* Whitespace for -E. */ |
Zack Weinberg | c5a0473 | 2000-04-25 19:32:36 +0000 | [diff] [blame] | 149 | |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 150 | #define OP(e, s) CPP_ ## e, |
| 151 | #define TK(e, s) CPP_ ## e, |
Zack Weinberg | 3a2b2c7 | 2000-04-11 08:29:34 +0000 | [diff] [blame] | 152 | enum cpp_ttype |
Zack Weinberg | c45da1c | 2000-03-02 20:14:32 +0000 | [diff] [blame] | 153 | { |
Zack Weinberg | 1368ee7 | 2000-04-20 19:33:11 +0000 | [diff] [blame] | 154 | TTYPE_TABLE |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 155 | N_TTYPES, |
| 156 | |
Marek Polacek | 083e891 | 2014-09-24 17:23:56 +0000 | [diff] [blame] | 157 | /* A token type for keywords, as opposed to ordinary identifiers. */ |
| 158 | CPP_KEYWORD, |
| 159 | |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 160 | /* Positions in the table. */ |
Steve Ellcey | b52dbbf | 2006-08-14 23:13:54 +0000 | [diff] [blame] | 161 | CPP_LAST_EQ = CPP_LSHIFT, |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 162 | CPP_FIRST_DIGRAPH = CPP_HASH, |
Steve Ellcey | b52dbbf | 2006-08-14 23:13:54 +0000 | [diff] [blame] | 163 | CPP_LAST_PUNCTUATOR= CPP_ATSIGN, |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 164 | CPP_LAST_CPP_OP = CPP_LESS_EQ |
Zack Weinberg | 1368ee7 | 2000-04-20 19:33:11 +0000 | [diff] [blame] | 165 | }; |
Zack Weinberg | 96be699 | 2000-07-18 23:25:06 +0000 | [diff] [blame] | 166 | #undef OP |
| 167 | #undef TK |
Zack Weinberg | 1368ee7 | 2000-04-20 19:33:11 +0000 | [diff] [blame] | 168 | |
Tobias Schlüter | ecfd72e | 2005-01-11 19:19:56 +0100 | [diff] [blame] | 169 | /* C language kind, used when calling cpp_create_reader. */ |
Joseph Myers | c76dc9c | 2017-10-30 12:17:40 +0000 | [diff] [blame] | 170 | enum c_lang {CLK_GNUC89 = 0, CLK_GNUC99, CLK_GNUC11, CLK_GNUC17, |
| 171 | CLK_STDC89, CLK_STDC94, CLK_STDC99, CLK_STDC11, CLK_STDC17, |
Paolo Carlini | 6194915 | 2013-04-24 19:33:54 +0000 | [diff] [blame] | 172 | CLK_GNUCXX, CLK_CXX98, CLK_GNUCXX11, CLK_CXX11, |
Andrew Sutton | 026a79f | 2017-09-15 21:16:37 +0000 | [diff] [blame] | 173 | CLK_GNUCXX14, CLK_CXX14, CLK_GNUCXX17, CLK_CXX17, |
| 174 | CLK_GNUCXX2A, CLK_CXX2A, CLK_ASM}; |
Neil Booth | dd07b88 | 2000-11-20 18:27:32 +0000 | [diff] [blame] | 175 | |
Neil Booth | 5d8ebbd | 2002-01-03 21:43:09 +0000 | [diff] [blame] | 176 | /* Payload of a NUMBER, STRING, CHAR or COMMENT token. */ |
Taras Glek | d1b3820 | 2009-04-22 18:29:36 +0000 | [diff] [blame] | 177 | struct GTY(()) cpp_string { |
Zack Weinberg | 1368ee7 | 2000-04-20 19:33:11 +0000 | [diff] [blame] | 178 | unsigned int len; |
Neil Booth | f617b8e | 2000-05-14 22:42:58 +0000 | [diff] [blame] | 179 | const unsigned char *text; |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 180 | }; |
| 181 | |
Zack Weinberg | c5a0473 | 2000-04-25 19:32:36 +0000 | [diff] [blame] | 182 | /* Flags for the cpp_token structure. */ |
Zack Weinberg | 041c319 | 2000-07-04 01:58:21 +0000 | [diff] [blame] | 183 | #define PREV_WHITE (1 << 0) /* If whitespace before this token. */ |
Neil Booth | 93c80368 | 2000-10-28 17:59:06 +0000 | [diff] [blame] | 184 | #define DIGRAPH (1 << 1) /* If it was a digraph. */ |
| 185 | #define STRINGIFY_ARG (1 << 2) /* If macro argument to be stringified. */ |
| 186 | #define PASTE_LEFT (1 << 3) /* If on LHS of a ## operator. */ |
Neil Booth | dd07b88 | 2000-11-20 18:27:32 +0000 | [diff] [blame] | 187 | #define NAMED_OP (1 << 4) /* C++ named operators. */ |
Marek Polacek | 81fea42 | 2016-09-26 09:42:50 +0000 | [diff] [blame] | 188 | #define PREV_FALLTHROUGH (1 << 5) /* On a token preceeded by FALLTHROUGH |
| 189 | comment. */ |
Neil Booth | 4ed5bcf | 2001-09-24 22:53:12 +0000 | [diff] [blame] | 190 | #define BOL (1 << 6) /* Token at beginning of line. */ |
Volker Reichelt | ab84748 | 2005-12-22 12:01:44 +0000 | [diff] [blame] | 191 | #define PURE_ZERO (1 << 7) /* Single 0 digit, used by the C++ frontend, |
| 192 | set in c-lex.c. */ |
Joseph Myers | aa50850 | 2009-04-19 18:10:56 +0100 | [diff] [blame] | 193 | #define SP_DIGRAPH (1 << 8) /* # or ## token was a digraph. */ |
| 194 | #define SP_PREV_WHITE (1 << 9) /* If whitespace before a ## |
| 195 | operator, or before this token |
| 196 | after a # operator. */ |
Marek Polacek | 81fea42 | 2016-09-26 09:42:50 +0000 | [diff] [blame] | 197 | #define NO_EXPAND (1 << 10) /* Do not macro-expand this token. */ |
Zack Weinberg | 9e62c81 | 2000-04-21 17:18:50 +0000 | [diff] [blame] | 198 | |
Geoffrey Keating | d804416 | 2004-06-09 20:10:13 +0000 | [diff] [blame] | 199 | /* Specify which field, if any, of the cpp_token union is used. */ |
| 200 | |
| 201 | enum cpp_token_fld_kind { |
| 202 | CPP_TOKEN_FLD_NODE, |
| 203 | CPP_TOKEN_FLD_SOURCE, |
| 204 | CPP_TOKEN_FLD_STR, |
| 205 | CPP_TOKEN_FLD_ARG_NO, |
Joseph Myers | 9a0c618 | 2009-05-10 15:27:32 +0100 | [diff] [blame] | 206 | CPP_TOKEN_FLD_TOKEN_NO, |
Richard Henderson | bc4071d | 2006-01-04 08:33:38 -0800 | [diff] [blame] | 207 | CPP_TOKEN_FLD_PRAGMA, |
Geoffrey Keating | d804416 | 2004-06-09 20:10:13 +0000 | [diff] [blame] | 208 | CPP_TOKEN_FLD_NONE |
| 209 | }; |
| 210 | |
Joseph Myers | 9a0c618 | 2009-05-10 15:27:32 +0100 | [diff] [blame] | 211 | /* A macro argument in the cpp_token union. */ |
| 212 | struct GTY(()) cpp_macro_arg { |
| 213 | /* Argument number. */ |
| 214 | unsigned int arg_no; |
Joseph Myers | be5ffc5 | 2014-11-06 21:08:52 +0000 | [diff] [blame] | 215 | /* The original spelling of the macro argument token. */ |
| 216 | cpp_hashnode * |
| 217 | GTY ((nested_ptr (union tree_node, |
| 218 | "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL", |
| 219 | "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL"))) |
| 220 | spelling; |
Joseph Myers | 9a0c618 | 2009-05-10 15:27:32 +0100 | [diff] [blame] | 221 | }; |
| 222 | |
| 223 | /* An identifier in the cpp_token union. */ |
| 224 | struct GTY(()) cpp_identifier { |
| 225 | /* The canonical (UTF-8) spelling of the identifier. */ |
| 226 | cpp_hashnode * |
| 227 | GTY ((nested_ptr (union tree_node, |
| 228 | "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL", |
| 229 | "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL"))) |
| 230 | node; |
Joseph Myers | be5ffc5 | 2014-11-06 21:08:52 +0000 | [diff] [blame] | 231 | /* The original spelling of the identifier. */ |
| 232 | cpp_hashnode * |
| 233 | GTY ((nested_ptr (union tree_node, |
| 234 | "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL", |
| 235 | "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL"))) |
| 236 | spelling; |
Joseph Myers | 9a0c618 | 2009-05-10 15:27:32 +0100 | [diff] [blame] | 237 | }; |
| 238 | |
Zack Weinberg | 1920de4 | 2000-05-03 15:35:47 +0000 | [diff] [blame] | 239 | /* A preprocessing token. This has been carefully packed and should |
Neil Booth | 644edda | 2001-10-02 12:57:24 +0000 | [diff] [blame] | 240 | occupy 16 bytes on 32-bit hosts and 24 bytes on 64-bit hosts. */ |
Taras Glek | d1b3820 | 2009-04-22 18:29:36 +0000 | [diff] [blame] | 241 | struct GTY(()) cpp_token { |
David Malcolm | ebedc9a | 2015-11-13 16:29:59 +0000 | [diff] [blame] | 242 | source_location src_loc; /* Location of first char of token, |
| 243 | together with range of full token. */ |
Zack Weinberg | 041c319 | 2000-07-04 01:58:21 +0000 | [diff] [blame] | 244 | ENUM_BITFIELD(cpp_ttype) type : CHAR_BIT; /* token type */ |
Joseph Myers | aa50850 | 2009-04-19 18:10:56 +0100 | [diff] [blame] | 245 | unsigned short flags; /* flags - see above */ |
Zack Weinberg | 041c319 | 2000-07-04 01:58:21 +0000 | [diff] [blame] | 246 | |
Geoffrey Keating | d804416 | 2004-06-09 20:10:13 +0000 | [diff] [blame] | 247 | union cpp_token_u |
Zack Weinberg | 1368ee7 | 2000-04-20 19:33:11 +0000 | [diff] [blame] | 248 | { |
Geoffrey Keating | d804416 | 2004-06-09 20:10:13 +0000 | [diff] [blame] | 249 | /* An identifier. */ |
Joseph Myers | 9a0c618 | 2009-05-10 15:27:32 +0100 | [diff] [blame] | 250 | struct cpp_identifier GTY ((tag ("CPP_TOKEN_FLD_NODE"))) node; |
Geoffrey Keating | d804416 | 2004-06-09 20:10:13 +0000 | [diff] [blame] | 251 | |
| 252 | /* Inherit padding from this token. */ |
| 253 | cpp_token * GTY ((tag ("CPP_TOKEN_FLD_SOURCE"))) source; |
| 254 | |
| 255 | /* A string, or number. */ |
| 256 | struct cpp_string GTY ((tag ("CPP_TOKEN_FLD_STR"))) str; |
| 257 | |
Joseph Myers | be5ffc5 | 2014-11-06 21:08:52 +0000 | [diff] [blame] | 258 | /* Argument no. (and original spelling) for a CPP_MACRO_ARG. */ |
Joseph Myers | 9a0c618 | 2009-05-10 15:27:32 +0100 | [diff] [blame] | 259 | struct cpp_macro_arg GTY ((tag ("CPP_TOKEN_FLD_ARG_NO"))) macro_arg; |
| 260 | |
| 261 | /* Original token no. for a CPP_PASTE (from a sequence of |
| 262 | consecutive paste tokens in a macro expansion). */ |
| 263 | unsigned int GTY ((tag ("CPP_TOKEN_FLD_TOKEN_NO"))) token_no; |
Richard Henderson | bc4071d | 2006-01-04 08:33:38 -0800 | [diff] [blame] | 264 | |
| 265 | /* Caller-supplied identifier for a CPP_PRAGMA. */ |
| 266 | unsigned int GTY ((tag ("CPP_TOKEN_FLD_PRAGMA"))) pragma; |
Geoffrey Keating | d804416 | 2004-06-09 20:10:13 +0000 | [diff] [blame] | 267 | } GTY ((desc ("cpp_token_val_index (&%1)"))) val; |
Zack Weinberg | 1368ee7 | 2000-04-20 19:33:11 +0000 | [diff] [blame] | 268 | }; |
| 269 | |
Geoffrey Keating | d804416 | 2004-06-09 20:10:13 +0000 | [diff] [blame] | 270 | /* Say which field is in use. */ |
Jakub Jelinek | c26302d | 2013-07-10 18:49:24 +0200 | [diff] [blame] | 271 | extern enum cpp_token_fld_kind cpp_token_val_index (const cpp_token *tok); |
Geoffrey Keating | d804416 | 2004-06-09 20:10:13 +0000 | [diff] [blame] | 272 | |
Neil Booth | 4268e8b | 2002-05-04 07:30:32 +0000 | [diff] [blame] | 273 | /* A type wide enough to hold any multibyte source character. |
Neil Booth | 625458d | 2002-05-04 19:42:01 +0000 | [diff] [blame] | 274 | cpplib's character constant interpreter requires an unsigned type. |
Zack Weinberg | 4383964 | 2003-07-13 17:34:18 +0000 | [diff] [blame] | 275 | Also, a typedef for the signed equivalent. |
| 276 | The width of this type is capped at 32 bits; there do exist targets |
| 277 | where wchar_t is 64 bits, but only in a non-default mode, and there |
| 278 | would be no meaningful interpretation for a wchar_t value greater |
| 279 | than 2^32 anyway -- the widest wide-character encoding around is |
| 280 | ISO 10646, which stops at 2^31. */ |
| 281 | #if CHAR_BIT * SIZEOF_INT >= 32 |
Neil Booth | 625458d | 2002-05-04 19:42:01 +0000 | [diff] [blame] | 282 | # define CPPCHAR_SIGNED_T int |
Zack Weinberg | 4383964 | 2003-07-13 17:34:18 +0000 | [diff] [blame] | 283 | #elif CHAR_BIT * SIZEOF_LONG >= 32 |
| 284 | # define CPPCHAR_SIGNED_T long |
Neil Booth | 625458d | 2002-05-04 19:42:01 +0000 | [diff] [blame] | 285 | #else |
Zack Weinberg | 4383964 | 2003-07-13 17:34:18 +0000 | [diff] [blame] | 286 | # error "Cannot find a least-32-bit signed integer type" |
Neil Booth | 625458d | 2002-05-04 19:42:01 +0000 | [diff] [blame] | 287 | #endif |
| 288 | typedef unsigned CPPCHAR_SIGNED_T cppchar_t; |
| 289 | typedef CPPCHAR_SIGNED_T cppchar_signed_t; |
Neil Booth | 0d9f234 | 2000-09-18 18:43:05 +0000 | [diff] [blame] | 290 | |
Bernardo Innocenti | 72bb2c3 | 2004-07-24 20:04:42 +0200 | [diff] [blame] | 291 | /* Style of header dependencies to generate. */ |
| 292 | enum cpp_deps_style { DEPS_NONE = 0, DEPS_USER, DEPS_SYSTEM }; |
| 293 | |
Geoffrey Keating | 50668cf | 2005-03-15 00:36:33 +0000 | [diff] [blame] | 294 | /* The possible normalization levels, from most restrictive to least. */ |
| 295 | enum cpp_normalize_level { |
| 296 | /* In NFKC. */ |
| 297 | normalized_KC = 0, |
| 298 | /* In NFC. */ |
| 299 | normalized_C, |
| 300 | /* In NFC, except for subsequences where being in NFC would make |
| 301 | the identifier invalid. */ |
| 302 | normalized_identifier_C, |
| 303 | /* Not normalized at all. */ |
| 304 | normalized_none |
| 305 | }; |
| 306 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 307 | /* This structure is nested inside struct cpp_reader, and |
| 308 | carries all the options visible to the command line. */ |
| 309 | struct cpp_options |
| 310 | { |
Neil Booth | 6ab3e7d | 2000-05-18 11:09:27 +0000 | [diff] [blame] | 311 | /* Characters between tab stops. */ |
| 312 | unsigned int tabstop; |
| 313 | |
Neil Booth | bdb05a7 | 2000-11-26 17:31:13 +0000 | [diff] [blame] | 314 | /* The language we're preprocessing. */ |
| 315 | enum c_lang lang; |
| 316 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 317 | /* Nonzero means use extra default include directories for C++. */ |
| 318 | unsigned char cplusplus; |
| 319 | |
Kazu Hirata | 6614fd4 | 2003-12-21 14:08:35 +0000 | [diff] [blame] | 320 | /* Nonzero means handle cplusplus style comments. */ |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 321 | unsigned char cplusplus_comments; |
| 322 | |
Tom Tromey | 899015a | 2008-05-13 14:50:27 +0000 | [diff] [blame] | 323 | /* Nonzero means define __OBJC__, treat @ as a special token, use |
| 324 | the OBJC[PLUS]_INCLUDE_PATH environment variable, and allow |
| 325 | "#import". */ |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 326 | unsigned char objc; |
| 327 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 328 | /* Nonzero means don't copy comments into the output file. */ |
| 329 | unsigned char discard_comments; |
| 330 | |
Jason Thorpe | 477cdac | 2002-04-07 03:12:23 +0000 | [diff] [blame] | 331 | /* Nonzero means don't copy comments into the output file during |
| 332 | macro expansion. */ |
| 333 | unsigned char discard_comments_in_macro_exp; |
| 334 | |
Zack Weinberg | 041c319 | 2000-07-04 01:58:21 +0000 | [diff] [blame] | 335 | /* Nonzero means process the ISO trigraph sequences. */ |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 336 | unsigned char trigraphs; |
| 337 | |
Neil Booth | 9b55f29 | 2000-07-11 08:58:28 +0000 | [diff] [blame] | 338 | /* Nonzero means process the ISO digraph sequences. */ |
| 339 | unsigned char digraphs; |
| 340 | |
Neil Booth | bdb05a7 | 2000-11-26 17:31:13 +0000 | [diff] [blame] | 341 | /* Nonzero means to allow hexadecimal floats and LL suffixes. */ |
| 342 | unsigned char extended_numbers; |
| 343 | |
Kris Van Hees | b6baa67 | 2008-04-18 13:58:08 +0000 | [diff] [blame] | 344 | /* Nonzero means process u/U prefix literals (UTF-16/32). */ |
| 345 | unsigned char uliterals; |
| 346 | |
Edward Smith-Rowland | fe95b03 | 2015-06-30 12:58:48 +0000 | [diff] [blame] | 347 | /* Nonzero means process u8 prefixed character literals (UTF-8). */ |
| 348 | unsigned char utf8_char_literals; |
| 349 | |
Joseph Myers | 7c1ffff | 2011-08-18 16:24:45 +0100 | [diff] [blame] | 350 | /* Nonzero means process r/R raw strings. If this is set, uliterals |
Joseph Myers | a48e3dd | 2011-08-18 16:13:49 +0100 | [diff] [blame] | 351 | must be set as well. */ |
| 352 | unsigned char rliterals; |
| 353 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 354 | /* Nonzero means print names of header files (-H). */ |
| 355 | unsigned char print_include_names; |
| 356 | |
Jason Merrill | 9fbd3e4 | 2003-01-28 14:30:00 -0500 | [diff] [blame] | 357 | /* Nonzero means complain about deprecated features. */ |
Joseph Myers | e3339d0 | 2010-09-29 15:49:14 +0100 | [diff] [blame] | 358 | unsigned char cpp_warn_deprecated; |
Jason Merrill | 9fbd3e4 | 2003-01-28 14:30:00 -0500 | [diff] [blame] | 359 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 360 | /* Nonzero means warn if slash-star appears in a comment. */ |
| 361 | unsigned char warn_comments; |
| 362 | |
Tobias Burnus | e8ff519 | 2013-11-05 21:27:22 +0100 | [diff] [blame] | 363 | /* Nonzero means to warn about __DATA__, __TIME__ and __TIMESTAMP__ usage. */ |
| 364 | unsigned char warn_date_time; |
| 365 | |
Ben Elliston | b02398b | 2004-05-22 02:39:35 +0000 | [diff] [blame] | 366 | /* Nonzero means warn if a user-supplied include directory does not |
| 367 | exist. */ |
| 368 | unsigned char warn_missing_include_dirs; |
| 369 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 370 | /* Nonzero means warn if there are any trigraphs. */ |
| 371 | unsigned char warn_trigraphs; |
| 372 | |
Neil Booth | a5a4944 | 2002-05-06 22:53:10 +0000 | [diff] [blame] | 373 | /* Nonzero means warn about multicharacter charconsts. */ |
| 374 | unsigned char warn_multichar; |
| 375 | |
Zack Weinberg | f9a0e96 | 2000-07-13 02:32:41 +0000 | [diff] [blame] | 376 | /* Nonzero means warn about various incompatibilities with |
| 377 | traditional C. */ |
Joseph Myers | e3339d0 | 2010-09-29 15:49:14 +0100 | [diff] [blame] | 378 | unsigned char cpp_warn_traditional; |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 379 | |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 380 | /* Nonzero means warn about long long numeric constants. */ |
Joseph Myers | e3339d0 | 2010-09-29 15:49:14 +0100 | [diff] [blame] | 381 | unsigned char cpp_warn_long_long; |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 382 | |
Phil Edwards | 909de5d | 2002-03-22 21:59:04 +0000 | [diff] [blame] | 383 | /* Nonzero means warn about text after an #endif (or #else). */ |
| 384 | unsigned char warn_endif_labels; |
| 385 | |
Neil Booth | 68e65275 | 2002-07-20 13:31:56 +0000 | [diff] [blame] | 386 | /* Nonzero means warn about implicit sign changes owing to integer |
| 387 | promotions. */ |
| 388 | unsigned char warn_num_sign_change; |
| 389 | |
Richard Henderson | e5b7921 | 2004-02-19 14:18:50 -0800 | [diff] [blame] | 390 | /* Zero means don't warn about __VA_ARGS__ usage in c89 pedantic mode. |
| 391 | Presumably the usage is protected by the appropriate #ifdef. */ |
| 392 | unsigned char warn_variadic_macros; |
| 393 | |
Simon Baldwin | c047ce9 | 2008-09-18 15:39:08 +0000 | [diff] [blame] | 394 | /* Nonzero means warn about builtin macros that are redefined or |
| 395 | explicitly undefined. */ |
| 396 | unsigned char warn_builtin_macro_redefined; |
| 397 | |
Jakub Jelinek | 70f6d5e | 2016-10-12 01:19:06 +0200 | [diff] [blame] | 398 | /* Different -Wimplicit-fallthrough= levels. */ |
| 399 | unsigned char cpp_warn_implicit_fallthrough; |
| 400 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 401 | /* Nonzero means we should look for header.gcc files that remap file |
| 402 | names. */ |
| 403 | unsigned char remap; |
| 404 | |
Kazu Hirata | eebedaa | 2001-10-11 12:43:43 +0000 | [diff] [blame] | 405 | /* Zero means dollar signs are punctuation. */ |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 406 | unsigned char dollars_in_ident; |
| 407 | |
Joseph Myers | af15a2f | 2005-09-20 21:31:37 +0100 | [diff] [blame] | 408 | /* Nonzero means UCNs are accepted in identifiers. */ |
| 409 | unsigned char extended_identifiers; |
| 410 | |
Hans-Peter Nilsson | 78b8811 | 2003-06-12 06:09:15 +0000 | [diff] [blame] | 411 | /* True if we should warn about dollars in identifiers or numbers |
| 412 | for this translation unit. */ |
| 413 | unsigned char warn_dollars; |
| 414 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 415 | /* Nonzero means warn if undefined identifiers are evaluated in an #if. */ |
| 416 | unsigned char warn_undef; |
| 417 | |
Paolo Bonzini | fb2675c | 2016-11-23 10:06:07 +0000 | [diff] [blame] | 418 | /* Nonzero means warn if "defined" is encountered in a place other than |
| 419 | an #if. */ |
| 420 | unsigned char warn_expansion_to_defined; |
| 421 | |
Neil Booth | a69cbaa | 2002-07-23 22:57:49 +0000 | [diff] [blame] | 422 | /* Nonzero means warn of unused macros from the main file. */ |
| 423 | unsigned char warn_unused_macros; |
| 424 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 425 | /* Nonzero for the 1999 C Standard, including corrigenda and amendments. */ |
| 426 | unsigned char c99; |
| 427 | |
Neil Booth | 58551c2 | 2002-08-06 20:35:46 +0000 | [diff] [blame] | 428 | /* Nonzero if we are conforming to a specific C or C++ standard. */ |
| 429 | unsigned char std; |
| 430 | |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 431 | /* Nonzero means give all the error messages the ANSI standard requires. */ |
Joseph Myers | e3339d0 | 2010-09-29 15:49:14 +0100 | [diff] [blame] | 432 | unsigned char cpp_pedantic; |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 433 | |
| 434 | /* Nonzero means we're looking at already preprocessed code, so don't |
| 435 | bother trying to do macro expansion and whatnot. */ |
| 436 | unsigned char preprocessed; |
Tom Tromey | 847e697 | 2011-10-17 09:59:40 +0000 | [diff] [blame] | 437 | |
| 438 | /* Nonzero means we are going to emit debugging logs during |
| 439 | preprocessing. */ |
| 440 | unsigned char debug; |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 441 | |
Tom Tromey | 92582b7 | 2011-10-17 09:59:12 +0000 | [diff] [blame] | 442 | /* Nonzero means we are tracking locations of tokens involved in |
| 443 | macro expansion. 1 Means we track the location in degraded mode |
| 444 | where we do not track locations of tokens resulting from the |
| 445 | expansion of arguments of function-like macro. 2 Means we do |
| 446 | track all macro expansions. This last option is the one that |
| 447 | consumes the highest amount of memory. */ |
| 448 | unsigned char track_macro_expansion; |
| 449 | |
Neil Booth | 644edda | 2001-10-02 12:57:24 +0000 | [diff] [blame] | 450 | /* Nonzero means handle C++ alternate operator names. */ |
Jakub Jelinek | be76805 | 2000-12-15 16:49:28 +0100 | [diff] [blame] | 451 | unsigned char operator_names; |
Neil Booth | 7e96d76 | 2001-01-13 01:00:01 +0000 | [diff] [blame] | 452 | |
Ian Lance Taylor | 3d8b2a9 | 2009-06-12 19:43:25 +0000 | [diff] [blame] | 453 | /* Nonzero means warn about use of C++ alternate operator names. */ |
| 454 | unsigned char warn_cxx_operator_names; |
| 455 | |
Neil Booth | 004cb26 | 2002-05-17 20:16:48 +0000 | [diff] [blame] | 456 | /* True for traditional preprocessing. */ |
| 457 | unsigned char traditional; |
| 458 | |
Jakub Jelinek | 01187df | 2013-04-28 23:36:57 +0200 | [diff] [blame] | 459 | /* Nonzero for C++ 2011 Standard user-defined literals. */ |
Ed Smith-Rowland | 3ce4f9e | 2011-10-26 19:30:59 +0000 | [diff] [blame] | 460 | unsigned char user_literals; |
| 461 | |
Ollie Wild | 7f5f5f9 | 2012-04-27 14:29:32 +0000 | [diff] [blame] | 462 | /* Nonzero means warn when a string or character literal is followed by a |
| 463 | ud-suffix which does not beging with an underscore. */ |
| 464 | unsigned char warn_literal_suffix; |
| 465 | |
Ed Smith-Rowland | a4a0016 | 2012-11-10 00:08:49 +0000 | [diff] [blame] | 466 | /* Nonzero means interpret imaginary, fixed-point, or other gnu extension |
| 467 | literal number suffixes as user-defined literal number suffixes. */ |
| 468 | unsigned char ext_numeric_literals; |
| 469 | |
Joseph Myers | d3f4ff8 | 2013-11-16 00:05:08 +0000 | [diff] [blame] | 470 | /* Nonzero means extended identifiers allow the characters specified |
| 471 | in C11 and C++11. */ |
| 472 | unsigned char c11_identifiers; |
| 473 | |
Jakub Jelinek | 01187df | 2013-04-28 23:36:57 +0200 | [diff] [blame] | 474 | /* Nonzero for C++ 2014 Standard binary constants. */ |
| 475 | unsigned char binary_constants; |
| 476 | |
Edward Smith-Rowland | 7057e64 | 2013-10-31 14:01:23 +0000 | [diff] [blame] | 477 | /* Nonzero for C++ 2014 Standard digit separators. */ |
| 478 | unsigned char digit_separators; |
| 479 | |
Tom Tromey | fb771b9 | 2017-11-13 20:17:42 +0000 | [diff] [blame] | 480 | /* Nonzero for C++2a __VA_OPT__ feature. */ |
| 481 | unsigned char va_opt; |
| 482 | |
Zack Weinberg | e6cc3a2 | 2003-07-05 00:24:00 +0000 | [diff] [blame] | 483 | /* Holds the name of the target (execution) character set. */ |
| 484 | const char *narrow_charset; |
| 485 | |
| 486 | /* Holds the name of the target wide character set. */ |
| 487 | const char *wide_charset; |
| 488 | |
Eric Christopher | cf551fb | 2004-01-16 22:37:49 +0000 | [diff] [blame] | 489 | /* Holds the name of the input character set. */ |
| 490 | const char *input_charset; |
| 491 | |
Geoffrey Keating | 50668cf | 2005-03-15 00:36:33 +0000 | [diff] [blame] | 492 | /* The minimum permitted level of normalization before a warning |
Manuel López-Ibáñez | 1ef33fd | 2014-09-09 21:41:43 +0000 | [diff] [blame] | 493 | is generated. See enum cpp_normalize_level. */ |
| 494 | int warn_normalize; |
Geoffrey Keating | 50668cf | 2005-03-15 00:36:33 +0000 | [diff] [blame] | 495 | |
Neil Booth | 783e298 | 2003-03-17 06:41:06 +0000 | [diff] [blame] | 496 | /* True to warn about precompiled header files we couldn't use. */ |
| 497 | bool warn_invalid_pch; |
| 498 | |
| 499 | /* True if dependencies should be restored from a precompiled header. */ |
| 500 | bool restore_pch_deps; |
| 501 | |
Marek Polacek | f3bede7 | 2014-08-10 06:10:49 +0000 | [diff] [blame] | 502 | /* True if warn about differences between C90 and C99. */ |
Marek Polacek | dd3ff07 | 2014-08-20 04:12:58 +0000 | [diff] [blame] | 503 | signed char cpp_warn_c90_c99_compat; |
Marek Polacek | f3bede7 | 2014-08-10 06:10:49 +0000 | [diff] [blame] | 504 | |
Jason Merrill | fe19130 | 2015-05-09 00:50:10 -0400 | [diff] [blame] | 505 | /* True if warn about differences between C++98 and C++11. */ |
| 506 | bool cpp_warn_cxx11_compat; |
| 507 | |
Neil Booth | f4ff5a6 | 2002-08-12 22:44:30 +0000 | [diff] [blame] | 508 | /* Dependency generation. */ |
| 509 | struct |
| 510 | { |
| 511 | /* Style of header dependencies to generate. */ |
Bernardo Innocenti | 72bb2c3 | 2004-07-24 20:04:42 +0200 | [diff] [blame] | 512 | enum cpp_deps_style style; |
Neil Booth | f4ff5a6 | 2002-08-12 22:44:30 +0000 | [diff] [blame] | 513 | |
| 514 | /* Assume missing files are generated files. */ |
| 515 | bool missing_files; |
| 516 | |
| 517 | /* Generate phony targets for each dependency apart from the first |
| 518 | one. */ |
| 519 | bool phony_targets; |
Neil Booth | 182d89a | 2002-08-14 22:34:50 +0000 | [diff] [blame] | 520 | |
| 521 | /* If true, no dependency is generated on the main file. */ |
| 522 | bool ignore_main_file; |
Chris Demetriou | 74dc6a1 | 2009-09-18 23:15:21 -0700 | [diff] [blame] | 523 | |
| 524 | /* If true, intend to use the preprocessor output (e.g., for compilation) |
| 525 | in addition to the dependency info. */ |
| 526 | bool need_preprocessor_output; |
Neil Booth | f4ff5a6 | 2002-08-12 22:44:30 +0000 | [diff] [blame] | 527 | } deps; |
| 528 | |
Neil Booth | 44a147a | 2002-05-07 21:07:24 +0000 | [diff] [blame] | 529 | /* Target-specific features set by the front end or client. */ |
| 530 | |
| 531 | /* Precision for target CPP arithmetic, target characters, target |
| 532 | ints and target wide characters, respectively. */ |
| 533 | size_t precision, char_precision, int_precision, wchar_precision; |
| 534 | |
Neil Booth | 23ff022 | 2002-07-17 17:27:14 +0000 | [diff] [blame] | 535 | /* True means chars (wide chars) are unsigned. */ |
| 536 | bool unsigned_char, unsigned_wchar; |
Zack Weinberg | 5279d73 | 2002-05-16 19:03:02 +0000 | [diff] [blame] | 537 | |
Zack Weinberg | e6cc3a2 | 2003-07-05 00:24:00 +0000 | [diff] [blame] | 538 | /* True if the most significant byte in a word has the lowest |
| 539 | address in memory. */ |
| 540 | bool bytes_big_endian; |
Neil Booth | 783e298 | 2003-03-17 06:41:06 +0000 | [diff] [blame] | 541 | |
Zack Weinberg | 5279d73 | 2002-05-16 19:03:02 +0000 | [diff] [blame] | 542 | /* Nonzero means __STDC__ should have the value 0 in system headers. */ |
| 543 | unsigned char stdc_0_in_system_headers; |
Zack Weinberg | 21b1149 | 2004-09-09 19:16:56 +0000 | [diff] [blame] | 544 | |
Ollie Wild | ccfc4c9 | 2007-07-30 18:29:20 +0000 | [diff] [blame] | 545 | /* True disables tokenization outside of preprocessing directives. */ |
| 546 | bool directives_only; |
Simon Baldwin | 5dc99c4 | 2012-11-16 17:14:05 +0000 | [diff] [blame] | 547 | |
| 548 | /* True enables canonicalization of system header file paths. */ |
| 549 | bool canonical_system_headers; |
Zack Weinberg | ae79697 | 2000-03-31 23:16:11 +0000 | [diff] [blame] | 550 | }; |
| 551 | |
Mike Stump | 94d1613 | 2004-03-04 00:18:54 +0000 | [diff] [blame] | 552 | /* Callback for header lookup for HEADER, which is the name of a |
| 553 | source file. It is used as a method of last resort to find headers |
| 554 | that are not otherwise found during the normal include processing. |
| 555 | The return value is the malloced name of a header to try and open, |
| 556 | if any, or NULL otherwise. This callback is called only if the |
| 557 | header is otherwise unfound. */ |
Mike Stump | e3c287c | 2004-05-05 18:25:52 +0000 | [diff] [blame] | 558 | typedef const char *(*missing_header_cb)(cpp_reader *, const char *header, cpp_dir **); |
Mike Stump | 94d1613 | 2004-03-04 00:18:54 +0000 | [diff] [blame] | 559 | |
Martin Schaffner | 48c4721 | 2003-06-25 23:01:10 +0200 | [diff] [blame] | 560 | /* Call backs to cpplib client. */ |
Neil Booth | 7e96d76 | 2001-01-13 01:00:01 +0000 | [diff] [blame] | 561 | struct cpp_callbacks |
| 562 | { |
Neil Booth | 9729389 | 2001-09-14 22:04:46 +0000 | [diff] [blame] | 563 | /* Called when a new line of preprocessed output is started. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 564 | void (*line_change) (cpp_reader *, const cpp_token *, int); |
Per Bothner | 4dc299f | 2003-10-02 07:23:27 +0000 | [diff] [blame] | 565 | |
| 566 | /* Called when switching to/from a new file. |
| 567 | The line_map is for the new file. It is NULL if there is no new file. |
| 568 | (In C this happens when done with <built-in>+<command line> and also |
| 569 | when done with a main file.) This can be used for resource cleanup. */ |
David Malcolm | 0e50b62 | 2015-05-19 13:18:01 +0000 | [diff] [blame] | 570 | void (*file_change) (cpp_reader *, const line_map_ordinary *); |
Per Bothner | 4dc299f | 2003-10-02 07:23:27 +0000 | [diff] [blame] | 571 | |
Alexandre Oliva | b20d9f0 | 2003-08-05 21:15:57 +0000 | [diff] [blame] | 572 | void (*dir_change) (cpp_reader *, const char *); |
Dodji Seketeli | d0a9fbe | 2011-07-15 21:34:02 +0000 | [diff] [blame] | 573 | void (*include) (cpp_reader *, source_location, const unsigned char *, |
Ian Lance Taylor | cbc43ae | 2005-10-04 18:06:19 +0000 | [diff] [blame] | 574 | const char *, int, const cpp_token **); |
Dodji Seketeli | d0a9fbe | 2011-07-15 21:34:02 +0000 | [diff] [blame] | 575 | void (*define) (cpp_reader *, source_location, cpp_hashnode *); |
| 576 | void (*undef) (cpp_reader *, source_location, cpp_hashnode *); |
| 577 | void (*ident) (cpp_reader *, source_location, const cpp_string *); |
| 578 | void (*def_pragma) (cpp_reader *, source_location); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 579 | int (*valid_pch) (cpp_reader *, const char *, int); |
| 580 | void (*read_pch) (cpp_reader *, const char *, int, const char *); |
Mike Stump | 94d1613 | 2004-03-04 00:18:54 +0000 | [diff] [blame] | 581 | missing_header_cb missing_header; |
Joseph Myers | 178b58b | 2005-11-03 23:08:18 +0000 | [diff] [blame] | 582 | |
Ben Elliston | 5950c3c | 2008-07-14 05:09:48 +0000 | [diff] [blame] | 583 | /* Context-sensitive macro support. Returns macro (if any) that should |
| 584 | be expanded. */ |
| 585 | cpp_hashnode * (*macro_to_expand) (cpp_reader *, const cpp_token *); |
| 586 | |
Joseph Myers | 148e421 | 2009-03-29 23:56:07 +0100 | [diff] [blame] | 587 | /* Called to emit a diagnostic. This callback receives the |
| 588 | translated message. */ |
David Malcolm | 8a64515 | 2015-11-06 19:50:50 +0000 | [diff] [blame] | 589 | bool (*error) (cpp_reader *, int, int, rich_location *, |
Joseph Myers | 148e421 | 2009-03-29 23:56:07 +0100 | [diff] [blame] | 590 | const char *, va_list *) |
David Malcolm | 8a64515 | 2015-11-06 19:50:50 +0000 | [diff] [blame] | 591 | ATTRIBUTE_FPTR_PRINTF(5,0); |
Joseph Myers | 93d45d9 | 2008-04-02 20:42:53 +0100 | [diff] [blame] | 592 | |
| 593 | /* Callbacks for when a macro is expanded, or tested (whether |
| 594 | defined or not at the time) in #ifdef, #ifndef or "defined". */ |
Dodji Seketeli | d0a9fbe | 2011-07-15 21:34:02 +0000 | [diff] [blame] | 595 | void (*used_define) (cpp_reader *, source_location, cpp_hashnode *); |
| 596 | void (*used_undef) (cpp_reader *, source_location, cpp_hashnode *); |
Joseph Myers | 93d45d9 | 2008-04-02 20:42:53 +0100 | [diff] [blame] | 597 | /* Called before #define and #undef or other macro definition |
| 598 | changes are processed. */ |
| 599 | void (*before_define) (cpp_reader *); |
Arnaud Charlet | 3de8a54 | 2009-11-20 08:18:16 +0000 | [diff] [blame] | 600 | /* Called whenever a macro is expanded or tested. |
| 601 | Second argument is the location of the start of the current expansion. */ |
| 602 | void (*used) (cpp_reader *, source_location, cpp_hashnode *); |
Jakub Jelinek | 8e680db | 2010-06-11 20:37:34 +0200 | [diff] [blame] | 603 | |
Edward Smith-Rowland | 42fd12b | 2014-11-10 15:53:12 +0000 | [diff] [blame] | 604 | /* Callback to identify whether an attribute exists. */ |
| 605 | int (*has_attribute) (cpp_reader *); |
| 606 | |
Nathan Sidwell | 800c0e9 | 2018-08-17 23:18:11 +0000 | [diff] [blame] | 607 | /* Callback that can change a user lazy into normal macro. */ |
| 608 | void (*user_lazy_macro) (cpp_reader *, cpp_macro *, unsigned); |
Eduard Sanou | 15c98b2 | 2016-06-01 16:42:41 +0000 | [diff] [blame] | 609 | |
| 610 | /* Callback to parse SOURCE_DATE_EPOCH from environment. */ |
| 611 | time_t (*get_source_date_epoch) (cpp_reader *); |
David Malcolm | cb18fd0 | 2016-08-18 18:52:43 +0000 | [diff] [blame] | 612 | |
| 613 | /* Callback for providing suggestions for misspelled directives. */ |
| 614 | const char *(*get_suggestion) (cpp_reader *, const char *, const char *const *); |
David Malcolm | 05945a1 | 2017-06-05 20:53:06 +0000 | [diff] [blame] | 615 | |
| 616 | /* Callback for when a comment is encountered, giving the location |
| 617 | of the opening slash, a pointer to the content (which is not |
| 618 | necessarily 0-terminated), and the length of the content. |
| 619 | The content contains the opening slash-star (or slash-slash), |
| 620 | and for C-style comments contains the closing star-slash. For |
| 621 | C++-style comments it does not include the terminating newline. */ |
| 622 | void (*comment) (cpp_reader *, source_location, const unsigned char *, |
| 623 | size_t); |
Boris Kolpackov | 7365279f | 2018-01-18 13:17:37 +0000 | [diff] [blame] | 624 | |
| 625 | /* Callback for filename remapping in __FILE__ and __BASE_FILE__ macro |
| 626 | expansions. */ |
| 627 | const char *(*remap_filename) (const char*); |
Neil Booth | 7e96d76 | 2001-01-13 01:00:01 +0000 | [diff] [blame] | 628 | }; |
| 629 | |
Douglas B Rupp | 0c539b4 | 2009-07-27 17:27:10 +0000 | [diff] [blame] | 630 | #ifdef VMS |
| 631 | #define INO_T_CPP ino_t ino[3] |
| 632 | #else |
| 633 | #define INO_T_CPP ino_t ino |
| 634 | #endif |
| 635 | |
Neil Booth | 5793b27 | 2003-03-01 14:31:21 +0000 | [diff] [blame] | 636 | /* Chain of directories to look for include files in. */ |
Neil Booth | 8f9b400 | 2003-07-29 22:26:13 +0000 | [diff] [blame] | 637 | struct cpp_dir |
Neil Booth | 5793b27 | 2003-03-01 14:31:21 +0000 | [diff] [blame] | 638 | { |
| 639 | /* NULL-terminated singly-linked list. */ |
Neil Booth | 8f9b400 | 2003-07-29 22:26:13 +0000 | [diff] [blame] | 640 | struct cpp_dir *next; |
Neil Booth | 5793b27 | 2003-03-01 14:31:21 +0000 | [diff] [blame] | 641 | |
Neil Booth | 8f9b400 | 2003-07-29 22:26:13 +0000 | [diff] [blame] | 642 | /* NAME of the directory, NUL-terminated. */ |
Neil Booth | 5793b27 | 2003-03-01 14:31:21 +0000 | [diff] [blame] | 643 | char *name; |
| 644 | unsigned int len; |
| 645 | |
| 646 | /* One if a system header, two if a system header that has extern |
| 647 | "C" guards for C++. */ |
| 648 | unsigned char sysp; |
| 649 | |
Jakub Jelinek | 8f5929e | 2009-03-18 18:04:26 +0100 | [diff] [blame] | 650 | /* Is this a user-supplied directory? */ |
| 651 | bool user_supplied_p; |
| 652 | |
| 653 | /* The canonicalized NAME as determined by lrealpath. This field |
| 654 | is only used by hosts that lack reliable inode numbers. */ |
| 655 | char *canonical_name; |
| 656 | |
Neil Booth | 8f9b400 | 2003-07-29 22:26:13 +0000 | [diff] [blame] | 657 | /* Mapping of file names for this directory for MS-DOS and related |
| 658 | platforms. A NULL-terminated array of (from, to) pairs. */ |
| 659 | const char **name_map; |
Eric Christopher | cf551fb | 2004-01-16 22:37:49 +0000 | [diff] [blame] | 660 | |
Mike Stump | 94d1613 | 2004-03-04 00:18:54 +0000 | [diff] [blame] | 661 | /* Routine to construct pathname, given the search path name and the |
| 662 | HEADER we are trying to find, return a constructed pathname to |
| 663 | try and open. If this is NULL, the constructed pathname is as |
| 664 | constructed by append_file_to_dir. */ |
| 665 | char *(*construct) (const char *header, cpp_dir *dir); |
| 666 | |
Neil Booth | 5793b27 | 2003-03-01 14:31:21 +0000 | [diff] [blame] | 667 | /* The C front end uses these to recognize duplicated |
| 668 | directories in the search path. */ |
Douglas B Rupp | 0c539b4 | 2009-07-27 17:27:10 +0000 | [diff] [blame] | 669 | INO_T_CPP; |
Neil Booth | 5793b27 | 2003-03-01 14:31:21 +0000 | [diff] [blame] | 670 | dev_t dev; |
| 671 | }; |
| 672 | |
Nathan Sidwell | 10f0491 | 2018-08-17 16:07:19 +0000 | [diff] [blame] | 673 | /* The kind of the cpp_macro. */ |
| 674 | enum cpp_macro_kind { |
| 675 | cmk_macro, /* An ISO macro (token expansion). */ |
Nathan Sidwell | 3fb558b | 2018-08-20 12:39:36 +0000 | [diff] [blame] | 676 | cmk_assert, /* An assertion. */ |
Nathan Sidwell | 7692e25 | 2018-08-20 15:28:15 +0000 | [diff] [blame] | 677 | cmk_traditional /* A traditional macro (text expansion). */ |
Nathan Sidwell | 10f0491 | 2018-08-17 16:07:19 +0000 | [diff] [blame] | 678 | }; |
| 679 | |
Nathan Sidwell | c5d725c | 2018-08-17 12:04:13 +0000 | [diff] [blame] | 680 | /* Each macro definition is recorded in a cpp_macro structure. |
| 681 | Variadic macros cannot occur with traditional cpp. */ |
| 682 | struct GTY(()) cpp_macro { |
Nathan Sidwell | 3fb558b | 2018-08-20 12:39:36 +0000 | [diff] [blame] | 683 | union cpp_parm_u |
| 684 | { |
| 685 | /* Parameters, if any. If parameter names use extended identifiers, |
| 686 | the original spelling of those identifiers, not the canonical |
| 687 | UTF-8 spelling, goes here. */ |
| 688 | cpp_hashnode ** GTY ((tag ("false"), |
| 689 | nested_ptr (union tree_node, |
| 690 | "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL", |
| 691 | "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL"), |
| 692 | length ("%1.paramc"))) params; |
| 693 | |
| 694 | /* If this is an assertion, the next one in the chain. */ |
| 695 | cpp_macro *GTY ((tag ("true"))) next; |
| 696 | } GTY ((desc ("%1.kind == cmk_assert"))) parm; |
Nathan Sidwell | c5d725c | 2018-08-17 12:04:13 +0000 | [diff] [blame] | 697 | |
Nathan Sidwell | c5d725c | 2018-08-17 12:04:13 +0000 | [diff] [blame] | 698 | /* Definition line number. */ |
| 699 | source_location line; |
| 700 | |
Nathan Sidwell | 3fb558b | 2018-08-20 12:39:36 +0000 | [diff] [blame] | 701 | /* Number of tokens in body, or bytes for traditional macros. */ |
| 702 | /* Do we really need 2^32-1 range here? */ |
Nathan Sidwell | c5d725c | 2018-08-17 12:04:13 +0000 | [diff] [blame] | 703 | unsigned int count; |
| 704 | |
| 705 | /* Number of parameters. */ |
| 706 | unsigned short paramc; |
| 707 | |
Nathan Sidwell | 800c0e9 | 2018-08-17 23:18:11 +0000 | [diff] [blame] | 708 | /* Non-zero if this is a user-lazy macro, value provided by user. */ |
| 709 | unsigned char lazy; |
| 710 | |
Nathan Sidwell | 10f0491 | 2018-08-17 16:07:19 +0000 | [diff] [blame] | 711 | /* The kind of this macro (ISO, trad or assert) */ |
| 712 | unsigned kind : 2; |
| 713 | |
Nathan Sidwell | c5d725c | 2018-08-17 12:04:13 +0000 | [diff] [blame] | 714 | /* If a function-like macro. */ |
| 715 | unsigned int fun_like : 1; |
| 716 | |
| 717 | /* If a variadic macro. */ |
| 718 | unsigned int variadic : 1; |
| 719 | |
| 720 | /* If macro defined in system header. */ |
| 721 | unsigned int syshdr : 1; |
| 722 | |
| 723 | /* Nonzero if it has been expanded or had its existence tested. */ |
| 724 | unsigned int used : 1; |
| 725 | |
Nathan Sidwell | c5d725c | 2018-08-17 12:04:13 +0000 | [diff] [blame] | 726 | /* Indicate whether the tokens include extra CPP_PASTE tokens at the |
| 727 | end to track invalid redefinitions with consecutive CPP_PASTE |
| 728 | tokens. */ |
| 729 | unsigned int extra_tokens : 1; |
Nathan Sidwell | 10f0491 | 2018-08-17 16:07:19 +0000 | [diff] [blame] | 730 | |
| 731 | /* 1 bits spare (32-bit). 33 on 64-bit target. */ |
| 732 | |
| 733 | union cpp_exp_u |
| 734 | { |
| 735 | /* Trailing array of replacement tokens (ISO), or assertion body value. */ |
| 736 | cpp_token GTY ((tag ("false"), length ("%1.count"))) tokens[1]; |
| 737 | |
| 738 | /* Pointer to replacement text (traditional). See comment at top |
| 739 | of cpptrad.c for how traditional function-like macros are |
| 740 | encoded. */ |
| 741 | const unsigned char *GTY ((tag ("true"))) text; |
| 742 | } GTY ((desc ("%1.kind == cmk_traditional"))) exp; |
Nathan Sidwell | c5d725c | 2018-08-17 12:04:13 +0000 | [diff] [blame] | 743 | }; |
| 744 | |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 745 | /* Poisoned identifiers are flagged NODE_POISONED. NODE_OPERATOR (C++ |
| 746 | only) indicates an identifier that behaves like an operator such as |
| 747 | "xor". NODE_DIAGNOSTIC is for speed in lex_token: it indicates a |
Neil Booth | 93c80368 | 2000-10-28 17:59:06 +0000 | [diff] [blame] | 748 | diagnostic may be required for this node. Currently this only |
Ian Lance Taylor | 3d8b2a9 | 2009-06-12 19:43:25 +0000 | [diff] [blame] | 749 | applies to __VA_ARGS__, poisoned identifiers, and -Wc++-compat |
| 750 | warnings about NODE_OPERATOR. */ |
Zack Weinberg | f8f769e | 2000-05-28 05:56:38 +0000 | [diff] [blame] | 751 | |
Neil Booth | 93c80368 | 2000-10-28 17:59:06 +0000 | [diff] [blame] | 752 | /* Hash node flags. */ |
| 753 | #define NODE_OPERATOR (1 << 0) /* C++ named operator. */ |
| 754 | #define NODE_POISONED (1 << 1) /* Poisoned identifier. */ |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 755 | #define NODE_DIAGNOSTIC (1 << 2) /* Possible diagnostic when lexed. */ |
| 756 | #define NODE_WARN (1 << 3) /* Warn if redefined or undefined. */ |
| 757 | #define NODE_DISABLED (1 << 4) /* A disabled macro. */ |
| 758 | #define NODE_USED (1 << 5) /* Dumped with -dU. */ |
| 759 | #define NODE_CONDITIONAL (1 << 6) /* Conditional macro */ |
| 760 | #define NODE_WARN_OPERATOR (1 << 7) /* Warn about C++ named operator. */ |
Neil Booth | 93c80368 | 2000-10-28 17:59:06 +0000 | [diff] [blame] | 761 | |
| 762 | /* Different flavors of hash node. */ |
Zack Weinberg | f8f769e | 2000-05-28 05:56:38 +0000 | [diff] [blame] | 763 | enum node_type |
| 764 | { |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 765 | NT_VOID = 0, /* Maybe an assert? */ |
| 766 | NT_MACRO_ARG, /* A macro arg. */ |
| 767 | NT_USER_MACRO, /* A user macro. */ |
| 768 | NT_BUILTIN_MACRO, /* A builtin macro. */ |
| 769 | NT_MACRO_MASK = NT_USER_MACRO /* Mask for either macro kind. */ |
Neil Booth | 93c80368 | 2000-10-28 17:59:06 +0000 | [diff] [blame] | 770 | }; |
| 771 | |
Neil Booth | 644edda | 2001-10-02 12:57:24 +0000 | [diff] [blame] | 772 | /* Different flavors of builtin macro. _Pragma is an operator, but we |
| 773 | handle it with the builtin code for efficiency reasons. */ |
Ian Lance Taylor | 7e5487a | 2009-05-16 06:54:11 +0000 | [diff] [blame] | 774 | enum cpp_builtin_type |
Neil Booth | 93c80368 | 2000-10-28 17:59:06 +0000 | [diff] [blame] | 775 | { |
| 776 | BT_SPECLINE = 0, /* `__LINE__' */ |
| 777 | BT_DATE, /* `__DATE__' */ |
| 778 | BT_FILE, /* `__FILE__' */ |
| 779 | BT_BASE_FILE, /* `__BASE_FILE__' */ |
| 780 | BT_INCLUDE_LEVEL, /* `__INCLUDE_LEVEL__' */ |
| 781 | BT_TIME, /* `__TIME__' */ |
Neil Booth | 644edda | 2001-10-02 12:57:24 +0000 | [diff] [blame] | 782 | BT_STDC, /* `__STDC__' */ |
Grigory Zagorodnev | be8ac3e | 2006-02-18 09:25:31 +0000 | [diff] [blame] | 783 | BT_PRAGMA, /* `_Pragma' operator */ |
Ollie Wild | a702045 | 2007-05-24 20:55:36 +0000 | [diff] [blame] | 784 | BT_TIMESTAMP, /* `__TIMESTAMP__' */ |
Jakub Jelinek | 8e680db | 2010-06-11 20:37:34 +0200 | [diff] [blame] | 785 | BT_COUNTER, /* `__COUNTER__' */ |
Nathan Sidwell | 800c0e9 | 2018-08-17 23:18:11 +0000 | [diff] [blame] | 786 | BT_HAS_ATTRIBUTE /* `__has_attribute__(x)' */ |
Zack Weinberg | f8f769e | 2000-05-28 05:56:38 +0000 | [diff] [blame] | 787 | }; |
| 788 | |
Neil Booth | 2a967f3 | 2001-05-20 06:26:45 +0000 | [diff] [blame] | 789 | #define CPP_HASHNODE(HNODE) ((cpp_hashnode *) (HNODE)) |
| 790 | #define HT_NODE(NODE) ((ht_identifier *) (NODE)) |
| 791 | #define NODE_LEN(NODE) HT_LEN (&(NODE)->ident) |
| 792 | #define NODE_NAME(NODE) HT_STR (&(NODE)->ident) |
Zack Weinberg | f8f769e | 2000-05-28 05:56:38 +0000 | [diff] [blame] | 793 | |
Neil Booth | 2a967f3 | 2001-05-20 06:26:45 +0000 | [diff] [blame] | 794 | /* The common part of an identifier node shared amongst all 3 C front |
| 795 | ends. Also used to store CPP identifiers, which are a superset of |
| 796 | identifiers in the grammatical sense. */ |
Gabriel Dos Reis | c3f829c | 2005-05-28 15:52:48 +0000 | [diff] [blame] | 797 | |
Taras Glek | d1b3820 | 2009-04-22 18:29:36 +0000 | [diff] [blame] | 798 | union GTY(()) _cpp_hashnode_value { |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 799 | /* Assert (maybe NULL) */ |
| 800 | cpp_macro * GTY((tag ("NT_VOID"))) answers; |
| 801 | /* Macro (never NULL) */ |
| 802 | cpp_macro * GTY((tag ("NT_USER_MACRO"))) macro; |
Gabriel Dos Reis | c3f829c | 2005-05-28 15:52:48 +0000 | [diff] [blame] | 803 | /* Code for a builtin macro. */ |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 804 | enum cpp_builtin_type GTY ((tag ("NT_BUILTIN_MACRO"))) builtin; |
Gabriel Dos Reis | c3f829c | 2005-05-28 15:52:48 +0000 | [diff] [blame] | 805 | /* Macro argument index. */ |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 806 | unsigned short GTY ((tag ("NT_MACRO_ARG"))) arg_index; |
Gabriel Dos Reis | c3f829c | 2005-05-28 15:52:48 +0000 | [diff] [blame] | 807 | }; |
| 808 | |
Taras Glek | d1b3820 | 2009-04-22 18:29:36 +0000 | [diff] [blame] | 809 | struct GTY(()) cpp_hashnode { |
Neil Booth | 2a967f3 | 2001-05-20 06:26:45 +0000 | [diff] [blame] | 810 | struct ht_identifier ident; |
Zack Weinberg | 4977bab | 2002-12-16 18:23:00 +0000 | [diff] [blame] | 811 | unsigned int is_directive : 1; |
Eric Christopher | cf551fb | 2004-01-16 22:37:49 +0000 | [diff] [blame] | 812 | unsigned int directive_index : 7; /* If is_directive, |
Zack Weinberg | 4977bab | 2002-12-16 18:23:00 +0000 | [diff] [blame] | 813 | then index into directive table. |
Kazu Hirata | 71c0e7f | 2003-06-23 15:27:37 +0000 | [diff] [blame] | 814 | Otherwise, a NODE_OPERATOR. */ |
Neil Booth | 2a967f3 | 2001-05-20 06:26:45 +0000 | [diff] [blame] | 815 | unsigned char rid_code; /* Rid code - for front ends. */ |
Nathan Sidwell | a5a3524 | 2018-08-20 17:45:42 +0000 | [diff] [blame^] | 816 | ENUM_BITFIELD(node_type) type : 2; /* CPP node type. */ |
| 817 | unsigned int flags : 8; /* CPP flags. */ |
| 818 | |
| 819 | /* 6 bits spare (plus another 32 on 64-bit hosts). */ |
Zack Weinberg | f8f769e | 2000-05-28 05:56:38 +0000 | [diff] [blame] | 820 | |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 821 | union _cpp_hashnode_value GTY ((desc ("%1.type"))) value; |
Zack Weinberg | f8f769e | 2000-05-28 05:56:38 +0000 | [diff] [blame] | 822 | }; |
| 823 | |
David Malcolm | 88fa555 | 2016-08-05 18:08:33 +0000 | [diff] [blame] | 824 | /* A class for iterating through the source locations within a |
| 825 | string token (before escapes are interpreted, and before |
| 826 | concatenation). */ |
| 827 | |
| 828 | class cpp_string_location_reader { |
| 829 | public: |
| 830 | cpp_string_location_reader (source_location src_loc, |
| 831 | line_maps *line_table); |
| 832 | |
| 833 | source_range get_next (); |
| 834 | |
| 835 | private: |
| 836 | source_location m_loc; |
| 837 | int m_offset_per_column; |
| 838 | line_maps *m_line_table; |
| 839 | }; |
| 840 | |
| 841 | /* A class for storing the source ranges of all of the characters within |
| 842 | a string literal, after escapes are interpreted, and after |
| 843 | concatenation. |
| 844 | |
| 845 | This is not GTY-marked, as instances are intended to be temporary. */ |
| 846 | |
| 847 | class cpp_substring_ranges |
| 848 | { |
| 849 | public: |
| 850 | cpp_substring_ranges (); |
| 851 | ~cpp_substring_ranges (); |
| 852 | |
| 853 | int get_num_ranges () const { return m_num_ranges; } |
| 854 | source_range get_range (int idx) const |
| 855 | { |
| 856 | linemap_assert (idx < m_num_ranges); |
| 857 | return m_ranges[idx]; |
| 858 | } |
| 859 | |
| 860 | void add_range (source_range range); |
| 861 | void add_n_ranges (int num, cpp_string_location_reader &loc_reader); |
| 862 | |
| 863 | private: |
| 864 | source_range *m_ranges; |
| 865 | int m_num_ranges; |
| 866 | int m_alloc_ranges; |
| 867 | }; |
| 868 | |
Per Bothner | b4e46ce | 2003-03-20 16:46:18 +0000 | [diff] [blame] | 869 | /* Call this first to get a handle to pass to other functions. |
| 870 | |
| 871 | If you want cpplib to manage its own hashtable, pass in a NULL |
| 872 | pointer. Otherwise you should pass in an initialized hash table |
| 873 | that cpplib will share; this technique is used by the C front |
| 874 | ends. */ |
Per Bothner | 50f59cd | 2004-01-19 21:30:18 -0800 | [diff] [blame] | 875 | extern cpp_reader *cpp_create_reader (enum c_lang, struct ht *, |
| 876 | struct line_maps *); |
Neil Booth | 400023a | 2001-01-14 22:00:20 +0000 | [diff] [blame] | 877 | |
Tom Tromey | 5ffeb913 | 2007-09-06 16:24:05 +0000 | [diff] [blame] | 878 | /* Reset the cpp_reader's line_map. This is only used after reading a |
| 879 | PCH file. */ |
| 880 | extern void cpp_set_line_map (cpp_reader *, struct line_maps *); |
| 881 | |
Neil Booth | f749a36 | 2002-08-10 20:58:45 +0000 | [diff] [blame] | 882 | /* Call this to change the selected language standard (e.g. because of |
| 883 | command line options). */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 884 | extern void cpp_set_lang (cpp_reader *, enum c_lang); |
Neil Booth | f749a36 | 2002-08-10 20:58:45 +0000 | [diff] [blame] | 885 | |
Neil Booth | 5793b27 | 2003-03-01 14:31:21 +0000 | [diff] [blame] | 886 | /* Set the include paths. */ |
Neil Booth | 8f9b400 | 2003-07-29 22:26:13 +0000 | [diff] [blame] | 887 | extern void cpp_set_include_chains (cpp_reader *, cpp_dir *, cpp_dir *, int); |
Neil Booth | 5793b27 | 2003-03-01 14:31:21 +0000 | [diff] [blame] | 888 | |
Zack Weinberg | c6e8380 | 2004-06-05 20:58:06 +0000 | [diff] [blame] | 889 | /* Call these to get pointers to the options, callback, and deps |
| 890 | structures for a given reader. These pointers are good until you |
| 891 | call cpp_finish on that reader. You can either edit the callbacks |
Neil Booth | 7e96d76 | 2001-01-13 01:00:01 +0000 | [diff] [blame] | 892 | through the pointer returned from cpp_get_callbacks, or set them |
| 893 | with cpp_set_callbacks. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 894 | extern cpp_options *cpp_get_options (cpp_reader *); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 895 | extern cpp_callbacks *cpp_get_callbacks (cpp_reader *); |
| 896 | extern void cpp_set_callbacks (cpp_reader *, cpp_callbacks *); |
Zack Weinberg | c6e8380 | 2004-06-05 20:58:06 +0000 | [diff] [blame] | 897 | extern struct deps *cpp_get_deps (cpp_reader *); |
Neil Booth | 7e96d76 | 2001-01-13 01:00:01 +0000 | [diff] [blame] | 898 | |
Per Bothner | 8e9ea4d | 2004-02-04 22:52:26 -0800 | [diff] [blame] | 899 | /* This function reads the file, but does not start preprocessing. It |
| 900 | returns the name of the original file; this is the same as the |
| 901 | input file, except for preprocessed input. This will generate at |
| 902 | least one file change callback, and possibly a line change callback |
Kazu Hirata | 9ac9746 | 2004-02-16 14:20:10 +0000 | [diff] [blame] | 903 | too. If there was an error opening the file, it returns NULL. */ |
Per Bothner | 8e9ea4d | 2004-02-04 22:52:26 -0800 | [diff] [blame] | 904 | extern const char *cpp_read_main_file (cpp_reader *, const char *); |
Neil Booth | f5e9945 | 2001-11-15 10:01:10 +0000 | [diff] [blame] | 905 | |
Ollie Wild | ccfc4c9 | 2007-07-30 18:29:20 +0000 | [diff] [blame] | 906 | /* Set up built-ins with special behavior. Use cpp_init_builtins() |
| 907 | instead unless your know what you are doing. */ |
| 908 | extern void cpp_init_special_builtins (cpp_reader *); |
| 909 | |
Neil Booth | c1bad96 | 2003-03-15 12:18:47 +0000 | [diff] [blame] | 910 | /* Set up built-ins like __FILE__. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 911 | extern void cpp_init_builtins (cpp_reader *, int); |
Neil Booth | f5e9945 | 2001-11-15 10:01:10 +0000 | [diff] [blame] | 912 | |
Per Bothner | 4169c32 | 2003-08-09 22:14:07 +0000 | [diff] [blame] | 913 | /* This is called after options have been parsed, and partially |
Kazu Hirata | 59e4e21 | 2003-08-19 21:04:38 +0000 | [diff] [blame] | 914 | processed. */ |
Per Bothner | 4169c32 | 2003-08-09 22:14:07 +0000 | [diff] [blame] | 915 | extern void cpp_post_options (cpp_reader *); |
| 916 | |
Zack Weinberg | e6cc3a2 | 2003-07-05 00:24:00 +0000 | [diff] [blame] | 917 | /* Set up translation to the target character set. */ |
| 918 | extern void cpp_init_iconv (cpp_reader *); |
| 919 | |
Neil Booth | f4ff5a6 | 2002-08-12 22:44:30 +0000 | [diff] [blame] | 920 | /* Call this to finish preprocessing. If you requested dependency |
| 921 | generation, pass an open stream to write the information to, |
Joseph Myers | 148e421 | 2009-03-29 23:56:07 +0100 | [diff] [blame] | 922 | otherwise NULL. It is your responsibility to close the stream. */ |
| 923 | extern void cpp_finish (cpp_reader *, FILE *deps_stream); |
Neil Booth | f4ff5a6 | 2002-08-12 22:44:30 +0000 | [diff] [blame] | 924 | |
Neil Booth | f5e9945 | 2001-11-15 10:01:10 +0000 | [diff] [blame] | 925 | /* Call this to release the handle at the end of preprocessing. Any |
Joseph Myers | 148e421 | 2009-03-29 23:56:07 +0100 | [diff] [blame] | 926 | use of the handle after this function returns is invalid. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 927 | extern void cpp_destroy (cpp_reader *); |
Neil Booth | f5e9945 | 2001-11-15 10:01:10 +0000 | [diff] [blame] | 928 | |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 929 | extern unsigned int cpp_token_len (const cpp_token *); |
| 930 | extern unsigned char *cpp_token_as_text (cpp_reader *, const cpp_token *); |
| 931 | extern unsigned char *cpp_spell_token (cpp_reader *, const cpp_token *, |
Geoffrey Keating | 47e2049 | 2005-03-12 10:44:06 +0000 | [diff] [blame] | 932 | unsigned char *, bool); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 933 | extern void cpp_register_pragma (cpp_reader *, const char *, const char *, |
Daniel Jacobowitz | b5b3e36 | 2004-11-23 23:25:40 +0000 | [diff] [blame] | 934 | void (*) (cpp_reader *), bool); |
Richard Henderson | bc4071d | 2006-01-04 08:33:38 -0800 | [diff] [blame] | 935 | extern void cpp_register_deferred_pragma (cpp_reader *, const char *, |
| 936 | const char *, unsigned, bool, bool); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 937 | extern int cpp_avoid_paste (cpp_reader *, const cpp_token *, |
| 938 | const cpp_token *); |
| 939 | extern const cpp_token *cpp_get_token (cpp_reader *); |
Tom Tromey | 5ffeb913 | 2007-09-06 16:24:05 +0000 | [diff] [blame] | 940 | extern const cpp_token *cpp_get_token_with_location (cpp_reader *, |
| 941 | source_location *); |
Nathan Sidwell | 3f6677f | 2018-08-16 13:51:38 +0000 | [diff] [blame] | 942 | inline bool cpp_user_macro_p (const cpp_hashnode *node) |
| 943 | { |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 944 | return node->type == NT_USER_MACRO; |
Nathan Sidwell | 3f6677f | 2018-08-16 13:51:38 +0000 | [diff] [blame] | 945 | } |
| 946 | inline bool cpp_builtin_macro_p (const cpp_hashnode *node) |
| 947 | { |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 948 | return node->type == NT_BUILTIN_MACRO; |
Nathan Sidwell | 3f6677f | 2018-08-16 13:51:38 +0000 | [diff] [blame] | 949 | } |
| 950 | inline bool cpp_macro_p (const cpp_hashnode *node) |
| 951 | { |
Nathan Sidwell | a570d97 | 2018-08-20 16:32:29 +0000 | [diff] [blame] | 952 | return node->type & NT_MACRO_MASK; |
Nathan Sidwell | 3f6677f | 2018-08-16 13:51:38 +0000 | [diff] [blame] | 953 | } |
Nathan Sidwell | a5a3524 | 2018-08-20 17:45:42 +0000 | [diff] [blame^] | 954 | |
Nathan Sidwell | 3f6677f | 2018-08-16 13:51:38 +0000 | [diff] [blame] | 955 | /* Returns true if NODE is a function-like user macro. */ |
Nathan Sidwell | 7692e25 | 2018-08-20 15:28:15 +0000 | [diff] [blame] | 956 | inline bool cpp_fun_like_macro_p (cpp_hashnode *node) |
| 957 | { |
| 958 | return cpp_user_macro_p (node) && node->value.macro->fun_like; |
| 959 | } |
Nathan Sidwell | 3f6677f | 2018-08-16 13:51:38 +0000 | [diff] [blame] | 960 | |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 961 | extern const unsigned char *cpp_macro_definition (cpp_reader *, |
Jakub Jelinek | 8e680db | 2010-06-11 20:37:34 +0200 | [diff] [blame] | 962 | cpp_hashnode *); |
David Malcolm | 01ada12 | 2017-11-21 00:40:53 +0000 | [diff] [blame] | 963 | extern source_location cpp_macro_definition_location (cpp_hashnode *); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 964 | extern void _cpp_backup_tokens (cpp_reader *, unsigned int); |
Ben Elliston | 5950c3c | 2008-07-14 05:09:48 +0000 | [diff] [blame] | 965 | extern const cpp_token *cpp_peek_token (cpp_reader *, int); |
Zack Weinberg | 041c319 | 2000-07-04 01:58:21 +0000 | [diff] [blame] | 966 | |
Jakub Jelinek | 2c6e3f5 | 2009-10-19 23:41:15 +0200 | [diff] [blame] | 967 | /* Evaluate a CPP_*CHAR* token. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 968 | extern cppchar_t cpp_interpret_charconst (cpp_reader *, const cpp_token *, |
| 969 | unsigned int *, int *); |
Jakub Jelinek | 2c6e3f5 | 2009-10-19 23:41:15 +0200 | [diff] [blame] | 970 | /* Evaluate a vector of CPP_*STRING* tokens. */ |
Zack Weinberg | e6cc3a2 | 2003-07-05 00:24:00 +0000 | [diff] [blame] | 971 | extern bool cpp_interpret_string (cpp_reader *, |
| 972 | const cpp_string *, size_t, |
Kris Van Hees | b6baa67 | 2008-04-18 13:58:08 +0000 | [diff] [blame] | 973 | cpp_string *, enum cpp_ttype); |
David Malcolm | 88fa555 | 2016-08-05 18:08:33 +0000 | [diff] [blame] | 974 | extern const char *cpp_interpret_string_ranges (cpp_reader *pfile, |
| 975 | const cpp_string *from, |
| 976 | cpp_string_location_reader *, |
| 977 | size_t count, |
| 978 | cpp_substring_ranges *out, |
| 979 | enum cpp_ttype type); |
Eric Christopher | 423e95e | 2004-02-12 02:25:03 +0000 | [diff] [blame] | 980 | extern bool cpp_interpret_string_notranslate (cpp_reader *, |
| 981 | const cpp_string *, size_t, |
Kris Van Hees | b6baa67 | 2008-04-18 13:58:08 +0000 | [diff] [blame] | 982 | cpp_string *, enum cpp_ttype); |
Neil Booth | c8a9607 | 2001-05-11 23:48:21 +0000 | [diff] [blame] | 983 | |
Zack Weinberg | c5ff069 | 2005-02-20 17:01:32 +0000 | [diff] [blame] | 984 | /* Convert a host character constant to the execution character set. */ |
| 985 | extern cppchar_t cpp_host_to_exec_charset (cpp_reader *, cppchar_t); |
| 986 | |
Neil Booth | c1bad96 | 2003-03-15 12:18:47 +0000 | [diff] [blame] | 987 | /* Used to register macros and assertions, perhaps from the command line. |
Neil Booth | 3d90d29 | 2002-05-04 20:15:00 +0000 | [diff] [blame] | 988 | The text is the same as the command line argument. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 989 | extern void cpp_define (cpp_reader *, const char *); |
Daniel Franke | 28f6862 | 2008-04-22 14:04:32 -0400 | [diff] [blame] | 990 | extern void cpp_define_formatted (cpp_reader *pfile, |
| 991 | const char *fmt, ...) ATTRIBUTE_PRINTF_2; |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 992 | extern void cpp_assert (cpp_reader *, const char *); |
| 993 | extern void cpp_undef (cpp_reader *, const char *); |
| 994 | extern void cpp_unassert (cpp_reader *, const char *); |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 995 | |
Nathan Sidwell | 800c0e9 | 2018-08-17 23:18:11 +0000 | [diff] [blame] | 996 | /* Mark a node as a lazily defined macro. */ |
| 997 | extern void cpp_define_lazily (cpp_reader *, cpp_hashnode *node, unsigned N); |
| 998 | |
Geoffrey Keating | d1bd0de | 2003-07-11 08:33:21 +0000 | [diff] [blame] | 999 | /* Undefine all macros and assertions. */ |
| 1000 | extern void cpp_undef_all (cpp_reader *); |
| 1001 | |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1002 | extern cpp_buffer *cpp_push_buffer (cpp_reader *, const unsigned char *, |
Per Bothner | 4dc299f | 2003-10-02 07:23:27 +0000 | [diff] [blame] | 1003 | size_t, int); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1004 | extern int cpp_defined (cpp_reader *, const unsigned char *, int); |
Zack Weinberg | c5a0473 | 2000-04-25 19:32:36 +0000 | [diff] [blame] | 1005 | |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 1006 | /* A preprocessing number. Code assumes that any unused high bits of |
| 1007 | the double integer are set to zero. */ |
Richard Biener | 54da09e | 2014-05-20 08:01:32 +0000 | [diff] [blame] | 1008 | |
Richard Biener | edf6ddf | 2014-05-26 08:19:02 +0000 | [diff] [blame] | 1009 | /* This type has to be equal to unsigned HOST_WIDE_INT, see |
Richard Biener | 54da09e | 2014-05-20 08:01:32 +0000 | [diff] [blame] | 1010 | gcc/c-family/c-lex.c. */ |
Richard Biener | edf6ddf | 2014-05-26 08:19:02 +0000 | [diff] [blame] | 1011 | typedef uint64_t cpp_num_part; |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 1012 | typedef struct cpp_num cpp_num; |
| 1013 | struct cpp_num |
| 1014 | { |
| 1015 | cpp_num_part high; |
| 1016 | cpp_num_part low; |
| 1017 | bool unsignedp; /* True if value should be treated as unsigned. */ |
| 1018 | bool overflow; /* True if the most recent calculation overflowed. */ |
| 1019 | }; |
| 1020 | |
| 1021 | /* cpplib provides two interfaces for interpretation of preprocessing |
| 1022 | numbers. |
| 1023 | |
| 1024 | cpp_classify_number categorizes numeric constants according to |
| 1025 | their field (integer, floating point, or invalid), radix (decimal, |
| 1026 | octal, hexadecimal), and type suffixes. */ |
| 1027 | |
| 1028 | #define CPP_N_CATEGORY 0x000F |
| 1029 | #define CPP_N_INVALID 0x0000 |
| 1030 | #define CPP_N_INTEGER 0x0001 |
| 1031 | #define CPP_N_FLOATING 0x0002 |
| 1032 | |
| 1033 | #define CPP_N_WIDTH 0x00F0 |
Andreas Schwab | 8204be6 | 2016-08-01 12:45:32 +0000 | [diff] [blame] | 1034 | #define CPP_N_SMALL 0x0010 /* int, float, short _Fract/Accum */ |
Chao-ying Fu | ac6b1c6 | 2007-08-30 23:05:17 +0000 | [diff] [blame] | 1035 | #define CPP_N_MEDIUM 0x0020 /* long, double, long _Fract/_Accum. */ |
| 1036 | #define CPP_N_LARGE 0x0040 /* long long, long double, |
| 1037 | long long _Fract/Accum. */ |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 1038 | |
Uros Bizjak | c77cd3d | 2007-07-03 07:53:58 +0200 | [diff] [blame] | 1039 | #define CPP_N_WIDTH_MD 0xF0000 /* machine defined. */ |
| 1040 | #define CPP_N_MD_W 0x10000 |
| 1041 | #define CPP_N_MD_Q 0x20000 |
| 1042 | |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 1043 | #define CPP_N_RADIX 0x0F00 |
| 1044 | #define CPP_N_DECIMAL 0x0100 |
| 1045 | #define CPP_N_HEX 0x0200 |
| 1046 | #define CPP_N_OCTAL 0x0400 |
Joerg Wunsch | f7fd775 | 2007-06-05 22:25:27 +0000 | [diff] [blame] | 1047 | #define CPP_N_BINARY 0x0800 |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 1048 | |
| 1049 | #define CPP_N_UNSIGNED 0x1000 /* Properties. */ |
| 1050 | #define CPP_N_IMAGINARY 0x2000 |
Jon Grimm | ad6ed77 | 2005-12-06 23:13:15 +0000 | [diff] [blame] | 1051 | #define CPP_N_DFLOAT 0x4000 |
Janis Johnson | 839a3b8 | 2009-04-01 17:31:26 +0000 | [diff] [blame] | 1052 | #define CPP_N_DEFAULT 0x8000 |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 1053 | |
Chao-ying Fu | ac6b1c6 | 2007-08-30 23:05:17 +0000 | [diff] [blame] | 1054 | #define CPP_N_FRACT 0x100000 /* Fract types. */ |
| 1055 | #define CPP_N_ACCUM 0x200000 /* Accum types. */ |
Joseph Myers | c65699e | 2016-08-19 18:43:26 +0100 | [diff] [blame] | 1056 | #define CPP_N_FLOATN 0x400000 /* _FloatN types. */ |
| 1057 | #define CPP_N_FLOATNX 0x800000 /* _FloatNx types. */ |
Chao-ying Fu | ac6b1c6 | 2007-08-30 23:05:17 +0000 | [diff] [blame] | 1058 | |
Ed Smith-Rowland | 3ce4f9e | 2011-10-26 19:30:59 +0000 | [diff] [blame] | 1059 | #define CPP_N_USERDEF 0x1000000 /* C++0x user-defined literal. */ |
| 1060 | |
Joseph Myers | c65699e | 2016-08-19 18:43:26 +0100 | [diff] [blame] | 1061 | #define CPP_N_WIDTH_FLOATN_NX 0xF0000000 /* _FloatN / _FloatNx value |
| 1062 | of N, divided by 16. */ |
| 1063 | #define CPP_FLOATN_SHIFT 24 |
| 1064 | #define CPP_FLOATN_MAX 0xF0 |
| 1065 | |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 1066 | /* Classify a CPP_NUMBER token. The return value is a combination of |
| 1067 | the flags from the above sets. */ |
Ed Smith-Rowland | 3ce4f9e | 2011-10-26 19:30:59 +0000 | [diff] [blame] | 1068 | extern unsigned cpp_classify_number (cpp_reader *, const cpp_token *, |
Dodji Seketeli | 0b2c4be | 2012-05-16 10:51:15 +0000 | [diff] [blame] | 1069 | const char **, source_location); |
Ed Smith-Rowland | 3ce4f9e | 2011-10-26 19:30:59 +0000 | [diff] [blame] | 1070 | |
| 1071 | /* Return the classification flags for a float suffix. */ |
Ed Smith-Rowland | a4a0016 | 2012-11-10 00:08:49 +0000 | [diff] [blame] | 1072 | extern unsigned int cpp_interpret_float_suffix (cpp_reader *, const char *, |
| 1073 | size_t); |
Ed Smith-Rowland | 3ce4f9e | 2011-10-26 19:30:59 +0000 | [diff] [blame] | 1074 | |
| 1075 | /* Return the classification flags for an int suffix. */ |
Ed Smith-Rowland | a4a0016 | 2012-11-10 00:08:49 +0000 | [diff] [blame] | 1076 | extern unsigned int cpp_interpret_int_suffix (cpp_reader *, const char *, |
| 1077 | size_t); |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 1078 | |
| 1079 | /* Evaluate a token classified as category CPP_N_INTEGER. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1080 | extern cpp_num cpp_interpret_integer (cpp_reader *, const cpp_token *, |
Ed Smith-Rowland | 3ce4f9e | 2011-10-26 19:30:59 +0000 | [diff] [blame] | 1081 | unsigned int); |
Neil Booth | cd7ab83 | 2002-05-29 17:15:42 +0000 | [diff] [blame] | 1082 | |
Neil Booth | ceeedfc | 2002-06-02 19:37:34 +0000 | [diff] [blame] | 1083 | /* Sign extend a number, with PRECISION significant bits and all |
| 1084 | others assumed clear, to fill out a cpp_num structure. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1085 | cpp_num cpp_num_sign_extend (cpp_num, size_t); |
Neil Booth | ceeedfc | 2002-06-02 19:37:34 +0000 | [diff] [blame] | 1086 | |
Kazu Hirata | 95bd1dd | 2003-01-18 02:26:43 +0000 | [diff] [blame] | 1087 | /* Diagnostic levels. To get a diagnostic without associating a |
Neil Booth | ebef4e8 | 2002-04-14 18:42:47 +0000 | [diff] [blame] | 1088 | position in the translation unit with it, use cpp_error_with_line |
| 1089 | with a line number of zero. */ |
| 1090 | |
Simon Baldwin | 87cf065 | 2010-04-07 17:18:10 +0000 | [diff] [blame] | 1091 | enum { |
| 1092 | /* Warning, an error with -Werror. */ |
| 1093 | CPP_DL_WARNING = 0, |
| 1094 | /* Same as CPP_DL_WARNING, except it is not suppressed in system headers. */ |
| 1095 | CPP_DL_WARNING_SYSHDR, |
| 1096 | /* Warning, an error with -pedantic-errors or -Werror. */ |
| 1097 | CPP_DL_PEDWARN, |
| 1098 | /* An error. */ |
| 1099 | CPP_DL_ERROR, |
| 1100 | /* An internal consistency check failed. Prints "internal error: ", |
| 1101 | otherwise the same as CPP_DL_ERROR. */ |
| 1102 | CPP_DL_ICE, |
| 1103 | /* An informative note following a warning. */ |
| 1104 | CPP_DL_NOTE, |
| 1105 | /* A fatal error. */ |
| 1106 | CPP_DL_FATAL |
| 1107 | }; |
| 1108 | |
| 1109 | /* Warning reason codes. Use a reason code of zero for unclassified warnings |
| 1110 | and errors that are not warnings. */ |
| 1111 | enum { |
| 1112 | CPP_W_NONE = 0, |
| 1113 | CPP_W_DEPRECATED, |
| 1114 | CPP_W_COMMENTS, |
| 1115 | CPP_W_MISSING_INCLUDE_DIRS, |
| 1116 | CPP_W_TRIGRAPHS, |
| 1117 | CPP_W_MULTICHAR, |
| 1118 | CPP_W_TRADITIONAL, |
| 1119 | CPP_W_LONG_LONG, |
| 1120 | CPP_W_ENDIF_LABELS, |
| 1121 | CPP_W_NUM_SIGN_CHANGE, |
| 1122 | CPP_W_VARIADIC_MACROS, |
| 1123 | CPP_W_BUILTIN_MACRO_REDEFINED, |
| 1124 | CPP_W_DOLLARS, |
| 1125 | CPP_W_UNDEF, |
| 1126 | CPP_W_UNUSED_MACROS, |
| 1127 | CPP_W_CXX_OPERATOR_NAMES, |
| 1128 | CPP_W_NORMALIZE, |
| 1129 | CPP_W_INVALID_PCH, |
Ollie Wild | 7f5f5f9 | 2012-04-27 14:29:32 +0000 | [diff] [blame] | 1130 | CPP_W_WARNING_DIRECTIVE, |
Tobias Burnus | e8ff519 | 2013-11-05 21:27:22 +0100 | [diff] [blame] | 1131 | CPP_W_LITERAL_SUFFIX, |
Manuel López-Ibáñez | 2b71f4a | 2014-09-04 15:13:40 +0000 | [diff] [blame] | 1132 | CPP_W_DATE_TIME, |
| 1133 | CPP_W_PEDANTIC, |
Jason Merrill | fe19130 | 2015-05-09 00:50:10 -0400 | [diff] [blame] | 1134 | CPP_W_C90_C99_COMPAT, |
Paolo Bonzini | fb2675c | 2016-11-23 10:06:07 +0000 | [diff] [blame] | 1135 | CPP_W_CXX11_COMPAT, |
| 1136 | CPP_W_EXPANSION_TO_DEFINED |
Simon Baldwin | 87cf065 | 2010-04-07 17:18:10 +0000 | [diff] [blame] | 1137 | }; |
Neil Booth | ebef4e8 | 2002-04-14 18:42:47 +0000 | [diff] [blame] | 1138 | |
Neil Booth | ebef4e8 | 2002-04-14 18:42:47 +0000 | [diff] [blame] | 1139 | /* Output a diagnostic of some kind. */ |
Joseph Myers | 148e421 | 2009-03-29 23:56:07 +0100 | [diff] [blame] | 1140 | extern bool cpp_error (cpp_reader *, int, const char *msgid, ...) |
Neil Booth | ebef4e8 | 2002-04-14 18:42:47 +0000 | [diff] [blame] | 1141 | ATTRIBUTE_PRINTF_3; |
Simon Baldwin | 87cf065 | 2010-04-07 17:18:10 +0000 | [diff] [blame] | 1142 | extern bool cpp_warning (cpp_reader *, int, const char *msgid, ...) |
| 1143 | ATTRIBUTE_PRINTF_3; |
| 1144 | extern bool cpp_pedwarning (cpp_reader *, int, const char *msgid, ...) |
| 1145 | ATTRIBUTE_PRINTF_3; |
| 1146 | extern bool cpp_warning_syshdr (cpp_reader *, int, const char *msgid, ...) |
| 1147 | ATTRIBUTE_PRINTF_3; |
Neil Booth | ebef4e8 | 2002-04-14 18:42:47 +0000 | [diff] [blame] | 1148 | |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1149 | /* Output a diagnostic with "MSGID: " preceding the |
Neil Booth | ebef4e8 | 2002-04-14 18:42:47 +0000 | [diff] [blame] | 1150 | error string of errno. No location is printed. */ |
Joseph Myers | 148e421 | 2009-03-29 23:56:07 +0100 | [diff] [blame] | 1151 | extern bool cpp_errno (cpp_reader *, int, const char *msgid); |
Jakub Jelinek | 46ce03d | 2015-11-19 09:27:12 +0100 | [diff] [blame] | 1152 | /* Similarly, but with "FILENAME: " instead of "MSGID: ", where |
| 1153 | the filename is not localized. */ |
David Malcolm | ac81cf0 | 2016-06-22 15:29:21 +0000 | [diff] [blame] | 1154 | extern bool cpp_errno_filename (cpp_reader *, int, const char *filename, |
| 1155 | source_location loc); |
Neil Booth | ebef4e8 | 2002-04-14 18:42:47 +0000 | [diff] [blame] | 1156 | |
| 1157 | /* Same as cpp_error, except additionally specifies a position as a |
| 1158 | (translation unit) physical line and physical column. If the line is |
| 1159 | zero, then no location is printed. */ |
Simon Baldwin | 87cf065 | 2010-04-07 17:18:10 +0000 | [diff] [blame] | 1160 | extern bool cpp_error_with_line (cpp_reader *, int, source_location, |
| 1161 | unsigned, const char *msgid, ...) |
| 1162 | ATTRIBUTE_PRINTF_5; |
| 1163 | extern bool cpp_warning_with_line (cpp_reader *, int, source_location, |
| 1164 | unsigned, const char *msgid, ...) |
| 1165 | ATTRIBUTE_PRINTF_5; |
| 1166 | extern bool cpp_pedwarning_with_line (cpp_reader *, int, source_location, |
| 1167 | unsigned, const char *msgid, ...) |
| 1168 | ATTRIBUTE_PRINTF_5; |
| 1169 | extern bool cpp_warning_with_line_syshdr (cpp_reader *, int, source_location, |
| 1170 | unsigned, const char *msgid, ...) |
| 1171 | ATTRIBUTE_PRINTF_5; |
Per Bothner | 7f2935c | 1995-03-16 13:59:07 -0800 | [diff] [blame] | 1172 | |
David Malcolm | ac81cf0 | 2016-06-22 15:29:21 +0000 | [diff] [blame] | 1173 | extern bool cpp_error_at (cpp_reader * pfile, int level, |
| 1174 | source_location src_loc, const char *msgid, ...) |
| 1175 | ATTRIBUTE_PRINTF_4; |
| 1176 | |
David Malcolm | 64a5912 | 2017-10-31 20:21:58 +0000 | [diff] [blame] | 1177 | extern bool cpp_error_at (cpp_reader * pfile, int level, |
| 1178 | rich_location *richloc, const char *msgid, |
| 1179 | ...) |
David Malcolm | cb18fd0 | 2016-08-18 18:52:43 +0000 | [diff] [blame] | 1180 | ATTRIBUTE_PRINTF_4; |
| 1181 | |
Daniel Franke | 28f6862 | 2008-04-22 14:04:32 -0400 | [diff] [blame] | 1182 | /* In lex.c */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1183 | extern int cpp_ideq (const cpp_token *, const char *); |
| 1184 | extern void cpp_output_line (cpp_reader *, FILE *); |
Tom Tromey | 5d6342e | 2008-05-21 21:52:57 +0000 | [diff] [blame] | 1185 | extern unsigned char *cpp_output_line_to_string (cpp_reader *, |
| 1186 | const unsigned char *); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1187 | extern void cpp_output_token (const cpp_token *, FILE *); |
Manuel López-Ibáñez | cfc9353 | 2009-04-22 15:32:18 +0000 | [diff] [blame] | 1188 | extern const char *cpp_type2name (enum cpp_ttype, unsigned char flags); |
Neil Booth | 4268e8b | 2002-05-04 07:30:32 +0000 | [diff] [blame] | 1189 | /* Returns the value of an escape sequence, truncated to the correct |
| 1190 | target precision. PSTR points to the input pointer, which is just |
| 1191 | after the backslash. LIMIT is how much text we have. WIDE is true |
| 1192 | if the escape sequence is part of a wide character constant or |
| 1193 | string literal. Handles all relevant diagnostics. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1194 | extern cppchar_t cpp_parse_escape (cpp_reader *, const unsigned char ** pstr, |
| 1195 | const unsigned char *limit, int wide); |
Zack Weinberg | 1368ee7 | 2000-04-20 19:33:11 +0000 | [diff] [blame] | 1196 | |
Matthew Gingell | 631d0d3 | 2008-10-05 12:35:36 +0000 | [diff] [blame] | 1197 | /* Structure used to hold a comment block at a given location in the |
| 1198 | source code. */ |
| 1199 | |
| 1200 | typedef struct |
| 1201 | { |
| 1202 | /* Text of the comment including the terminators. */ |
| 1203 | char *comment; |
| 1204 | |
| 1205 | /* source location for the given comment. */ |
| 1206 | source_location sloc; |
| 1207 | } cpp_comment; |
| 1208 | |
| 1209 | /* Structure holding all comments for a given cpp_reader. */ |
| 1210 | |
| 1211 | typedef struct |
| 1212 | { |
| 1213 | /* table of comment entries. */ |
| 1214 | cpp_comment *entries; |
| 1215 | |
| 1216 | /* number of actual entries entered in the table. */ |
| 1217 | int count; |
| 1218 | |
| 1219 | /* number of entries allocated currently. */ |
| 1220 | int allocated; |
| 1221 | } cpp_comment_table; |
| 1222 | |
| 1223 | /* Returns the table of comments encountered by the preprocessor. This |
| 1224 | table is only populated when pfile->state.save_comments is true. */ |
| 1225 | extern cpp_comment_table *cpp_get_comments (cpp_reader *); |
| 1226 | |
Daniel Franke | 28f6862 | 2008-04-22 14:04:32 -0400 | [diff] [blame] | 1227 | /* In hash.c */ |
Neil Booth | 2a967f3 | 2001-05-20 06:26:45 +0000 | [diff] [blame] | 1228 | |
| 1229 | /* Lookup an identifier in the hashtable. Puts the identifier in the |
| 1230 | table if it is not already there. */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1231 | extern cpp_hashnode *cpp_lookup (cpp_reader *, const unsigned char *, |
| 1232 | unsigned int); |
Neil Booth | 2a967f3 | 2001-05-20 06:26:45 +0000 | [diff] [blame] | 1233 | |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1234 | typedef int (*cpp_cb) (cpp_reader *, cpp_hashnode *, void *); |
| 1235 | extern void cpp_forall_identifiers (cpp_reader *, cpp_cb, void *); |
Geoff Keating | 926c567 | 2000-10-29 07:07:20 +0000 | [diff] [blame] | 1236 | |
Daniel Franke | 28f6862 | 2008-04-22 14:04:32 -0400 | [diff] [blame] | 1237 | /* In macro.c */ |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1238 | extern void cpp_scan_nooutput (cpp_reader *); |
| 1239 | extern int cpp_sys_macro_p (cpp_reader *); |
| 1240 | extern unsigned char *cpp_quote_string (unsigned char *, const unsigned char *, |
| 1241 | unsigned int); |
Zack Weinberg | 6de1e2a | 1999-02-18 15:35:49 +0000 | [diff] [blame] | 1242 | |
Daniel Franke | 28f6862 | 2008-04-22 14:04:32 -0400 | [diff] [blame] | 1243 | /* In files.c */ |
Neil Booth | 8f9b400 | 2003-07-29 22:26:13 +0000 | [diff] [blame] | 1244 | extern bool cpp_included (cpp_reader *, const char *); |
Tom Tromey | f1e2071 | 2007-11-12 00:38:48 +0000 | [diff] [blame] | 1245 | extern bool cpp_included_before (cpp_reader *, const char *, source_location); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1246 | extern void cpp_make_system_header (cpp_reader *, int, int); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1247 | extern bool cpp_push_include (cpp_reader *, const char *); |
Joseph Myers | 1efcb8c | 2012-10-23 15:55:55 +0100 | [diff] [blame] | 1248 | extern bool cpp_push_default_include (cpp_reader *, const char *); |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1249 | extern void cpp_change_file (cpp_reader *, enum lc_reason, const char *); |
Mike Stump | 94d1613 | 2004-03-04 00:18:54 +0000 | [diff] [blame] | 1250 | extern const char *cpp_get_path (struct _cpp_file *); |
Mike Stump | e3c287c | 2004-05-05 18:25:52 +0000 | [diff] [blame] | 1251 | extern cpp_dir *cpp_get_dir (struct _cpp_file *); |
Mike Stump | 94d1613 | 2004-03-04 00:18:54 +0000 | [diff] [blame] | 1252 | extern cpp_buffer *cpp_get_buffer (cpp_reader *); |
| 1253 | extern struct _cpp_file *cpp_get_file (cpp_buffer *); |
| 1254 | extern cpp_buffer *cpp_get_prev (cpp_buffer *); |
Tom Tromey | 97f6bd4 | 2007-12-06 18:56:26 +0000 | [diff] [blame] | 1255 | extern void cpp_clear_file_cache (cpp_reader *); |
Zack Weinberg | b0699da | 2000-03-07 20:58:47 +0000 | [diff] [blame] | 1256 | |
Daniel Franke | 28f6862 | 2008-04-22 14:04:32 -0400 | [diff] [blame] | 1257 | /* In pch.c */ |
Geoffrey Keating | 17211ab | 2003-01-10 02:22:34 +0000 | [diff] [blame] | 1258 | struct save_macro_data; |
Zack Weinberg | 6cf87ca | 2003-06-17 06:17:44 +0000 | [diff] [blame] | 1259 | extern int cpp_save_state (cpp_reader *, FILE *); |
| 1260 | extern int cpp_write_pch_deps (cpp_reader *, FILE *); |
| 1261 | extern int cpp_write_pch_state (cpp_reader *, FILE *); |
| 1262 | extern int cpp_valid_state (cpp_reader *, const char *, int); |
| 1263 | extern void cpp_prepare_state (cpp_reader *, struct save_macro_data **); |
| 1264 | extern int cpp_read_state (cpp_reader *, const char *, FILE *, |
| 1265 | struct save_macro_data *); |
Geoffrey Keating | 17211ab | 2003-01-10 02:22:34 +0000 | [diff] [blame] | 1266 | |
Gabriel Charette | e3dfef4 | 2011-08-22 20:41:07 +0000 | [diff] [blame] | 1267 | /* In lex.c */ |
| 1268 | extern void cpp_force_token_locations (cpp_reader *, source_location *); |
| 1269 | extern void cpp_stop_forcing_token_locations (cpp_reader *); |
| 1270 | |
Ed Smith-Rowland | 3ce4f9e | 2011-10-26 19:30:59 +0000 | [diff] [blame] | 1271 | /* In expr.c */ |
| 1272 | extern enum cpp_ttype cpp_userdef_string_remove_type |
| 1273 | (enum cpp_ttype type); |
| 1274 | extern enum cpp_ttype cpp_userdef_string_add_type |
| 1275 | (enum cpp_ttype type); |
| 1276 | extern enum cpp_ttype cpp_userdef_char_remove_type |
| 1277 | (enum cpp_ttype type); |
| 1278 | extern enum cpp_ttype cpp_userdef_char_add_type |
| 1279 | (enum cpp_ttype type); |
| 1280 | extern bool cpp_userdef_string_p |
| 1281 | (enum cpp_ttype type); |
| 1282 | extern bool cpp_userdef_char_p |
| 1283 | (enum cpp_ttype type); |
| 1284 | extern const char * cpp_get_userdef_suffix |
| 1285 | (const cpp_token *); |
| 1286 | |
Paolo Bonzini | 4f4e53dd | 2004-05-24 10:50:45 +0000 | [diff] [blame] | 1287 | #endif /* ! LIBCPP_CPPLIB_H */ |