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