]>
Commit | Line | Data |
---|---|---|
a852e3b1 | 1 | /* CPP Library. |
806a3d45 | 2 | Copyright (C) 1986-2014 Free Software Foundation, Inc. |
a852e3b1 | 3 | Contributed by Per Bothner, 1994-95. |
4 | Based on CCCP program by Paul Rubin, June 1986 | |
5 | Adapted to ANSI C, Richard Stallman, Jan 1987 | |
6 | ||
7 | This program is free software; you can redistribute it and/or modify it | |
8 | under the terms of the GNU General Public License as published by the | |
6bc9506f | 9 | Free Software Foundation; either version 3, or (at your option) any |
a852e3b1 | 10 | later version. |
11 | ||
12 | This program is distributed in the hope that it will be useful, | |
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | GNU General Public License for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
6bc9506f | 18 | along with this program; see the file COPYING3. If not see |
19 | <http://www.gnu.org/licenses/>. */ | |
a852e3b1 | 20 | |
a852e3b1 | 21 | #include "config.h" |
22 | #include "system.h" | |
6d71dc85 | 23 | #include "cpplib.h" |
d856c8a6 | 24 | #include "internal.h" |
62adb1fe | 25 | #include "mkdeps.h" |
21164c01 | 26 | #include "localedir.h" |
bb7824b5 | 27 | #include "filenames.h" |
1e8b9746 | 28 | |
52bc861d | 29 | #ifndef ENABLE_CANONICAL_SYSTEM_HEADERS |
1c9b820a | 30 | #ifdef HAVE_DOS_BASED_FILE_SYSTEM |
31 | #define ENABLE_CANONICAL_SYSTEM_HEADERS 1 | |
32 | #else | |
52bc861d | 33 | #define ENABLE_CANONICAL_SYSTEM_HEADERS 0 |
34 | #endif | |
1c9b820a | 35 | #endif |
52bc861d | 36 | |
f7fdd7a1 | 37 | static void init_library (void); |
2a6a6991 | 38 | static void mark_named_operators (cpp_reader *, int); |
f7fdd7a1 | 39 | static void read_original_filename (cpp_reader *); |
e7aa92b2 | 40 | static void read_original_directory (cpp_reader *); |
f7fdd7a1 | 41 | static void post_options (cpp_reader *); |
6d71dc85 | 42 | |
b3954366 | 43 | /* If we have designated initializers (GCC >2.7) these tables can be |
44 | initialized, constant data. Otherwise, they have to be filled in at | |
e057cf7c | 45 | runtime. */ |
b3954366 | 46 | #if HAVE_DESIGNATED_INITIALIZERS |
5ba37007 | 47 | |
8d1752de | 48 | #define init_trigraph_map() /* Nothing. */ |
b3954366 | 49 | #define TRIGRAPH_MAP \ |
b6d18b0a | 50 | __extension__ const uchar _cpp_trigraph_map[UCHAR_MAX + 1] = { |
b3954366 | 51 | |
5ba37007 | 52 | #define END }; |
4f98874d | 53 | #define s(p, v) [p] = v, |
b3954366 | 54 | |
5ba37007 | 55 | #else |
b3954366 | 56 | |
b6d18b0a | 57 | #define TRIGRAPH_MAP uchar _cpp_trigraph_map[UCHAR_MAX + 1] = { 0 }; \ |
f7fdd7a1 | 58 | static void init_trigraph_map (void) { \ |
b3954366 | 59 | unsigned char *x = _cpp_trigraph_map; |
60 | ||
2ff3ad1d | 61 | #define END } |
4f98874d | 62 | #define s(p, v) x[p] = v; |
b3954366 | 63 | |
5ba37007 | 64 | #endif |
6d71dc85 | 65 | |
b3954366 | 66 | TRIGRAPH_MAP |
67 | s('=', '#') s(')', ']') s('!', '|') | |
68 | s('(', '[') s('\'', '^') s('>', '}') | |
69 | s('/', '\\') s('<', '{') s('-', '~') | |
70 | END | |
71 | ||
5ba37007 | 72 | #undef s |
4f98874d | 73 | #undef END |
b3954366 | 74 | #undef TRIGRAPH_MAP |
6d71dc85 | 75 | |
e484a1cc | 76 | /* A set of booleans indicating what CPP features each source language |
77 | requires. */ | |
f48efcc3 | 78 | struct lang_flags |
79 | { | |
80 | char c99; | |
f48efcc3 | 81 | char cplusplus; |
82 | char extended_numbers; | |
865c4e44 | 83 | char extended_identifiers; |
460f52aa | 84 | char c11_identifiers; |
ed909a09 | 85 | char std; |
f48efcc3 | 86 | char digraphs; |
924bbf02 | 87 | char uliterals; |
6f6f3dd7 | 88 | char rliterals; |
244db24d | 89 | char user_literals; |
d8c8614f | 90 | char binary_constants; |
4d6f7dd4 | 91 | char digit_separators; |
4e454776 | 92 | char trigraphs; |
f48efcc3 | 93 | }; |
94 | ||
f48efcc3 | 95 | static const struct lang_flags lang_defaults[] = |
118b2dc7 | 96 | { /* c99 c++ xnum xid c11 std digr ulit rlit udlit bincst digsep trig */ |
97 | /* GNUC89 */ { 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 }, | |
95795723 | 98 | /* GNUC99 */ { 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0 }, |
99 | /* GNUC11 */ { 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0 }, | |
118b2dc7 | 100 | /* STDC89 */ { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1 }, |
101 | /* STDC94 */ { 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1 }, | |
95795723 | 102 | /* STDC99 */ { 1, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1 }, |
103 | /* STDC11 */ { 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1 }, | |
104 | /* GNUCXX */ { 0, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0 }, | |
105 | /* CXX98 */ { 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1 }, | |
106 | /* GNUCXX11 */ { 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0 }, | |
107 | /* CXX11 */ { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1 }, | |
108 | /* GNUCXX14 */ { 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0 }, | |
109 | /* CXX14 */ { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }, | |
110 | /* GNUCXX1Z */ { 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0 }, | |
111 | /* CXX1Z */ { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0 }, | |
118b2dc7 | 112 | /* ASM */ { 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } |
f48efcc3 | 113 | }; |
114 | ||
e484a1cc | 115 | /* Sets internal flags correctly for a given language. */ |
3ae4c9f3 | 116 | void |
f7fdd7a1 | 117 | cpp_set_lang (cpp_reader *pfile, enum c_lang lang) |
fad0ffbb | 118 | { |
f48efcc3 | 119 | const struct lang_flags *l = &lang_defaults[(int) lang]; |
b1a9ff83 | 120 | |
5db5d057 | 121 | CPP_OPTION (pfile, lang) = lang; |
fad0ffbb | 122 | |
865c4e44 | 123 | CPP_OPTION (pfile, c99) = l->c99; |
124 | CPP_OPTION (pfile, cplusplus) = l->cplusplus; | |
125 | CPP_OPTION (pfile, extended_numbers) = l->extended_numbers; | |
126 | CPP_OPTION (pfile, extended_identifiers) = l->extended_identifiers; | |
460f52aa | 127 | CPP_OPTION (pfile, c11_identifiers) = l->c11_identifiers; |
865c4e44 | 128 | CPP_OPTION (pfile, std) = l->std; |
865c4e44 | 129 | CPP_OPTION (pfile, digraphs) = l->digraphs; |
924bbf02 | 130 | CPP_OPTION (pfile, uliterals) = l->uliterals; |
6f6f3dd7 | 131 | CPP_OPTION (pfile, rliterals) = l->rliterals; |
244db24d | 132 | CPP_OPTION (pfile, user_literals) = l->user_literals; |
d8c8614f | 133 | CPP_OPTION (pfile, binary_constants) = l->binary_constants; |
4d6f7dd4 | 134 | CPP_OPTION (pfile, digit_separators) = l->digit_separators; |
4e454776 | 135 | CPP_OPTION (pfile, trigraphs) = l->trigraphs; |
fad0ffbb | 136 | } |
137 | ||
fc3c7720 | 138 | /* Initialize library global state. */ |
9751c00e | 139 | static void |
f7fdd7a1 | 140 | init_library (void) |
9751c00e | 141 | { |
b3a8144e | 142 | static int initialized = 0; |
143 | ||
144 | if (! initialized) | |
145 | { | |
146 | initialized = 1; | |
147 | ||
b735cc56 | 148 | _cpp_init_lexer (); |
149 | ||
b3a8144e | 150 | /* Set up the trigraph map. This doesn't need to do anything if |
151 | we were compiled with a compiler that supports C99 designated | |
152 | initializers. */ | |
153 | init_trigraph_map (); | |
d856c8a6 | 154 | |
155 | #ifdef ENABLE_NLS | |
1ed7d058 | 156 | (void) bindtextdomain (PACKAGE, LOCALEDIR); |
d856c8a6 | 157 | #endif |
b3a8144e | 158 | } |
9751c00e | 159 | } |
160 | ||
2c0e001b | 161 | /* Initialize a cpp_reader structure. */ |
9751c00e | 162 | cpp_reader * |
2b15d2ba | 163 | cpp_create_reader (enum c_lang lang, cpp_hash_table *table, |
ceec9c13 | 164 | struct line_maps *line_table) |
6d71dc85 | 165 | { |
b3a8144e | 166 | cpp_reader *pfile; |
79bd622b | 167 | |
457275b6 | 168 | /* Initialize this instance of the library if it hasn't been already. */ |
c77d825d | 169 | init_library (); |
b3a8144e | 170 | |
720aca92 | 171 | pfile = XCNEW (cpp_reader); |
ce70f433 | 172 | memset (&pfile->base_context, 0, sizeof (pfile->base_context)); |
79bd622b | 173 | |
3ae4c9f3 | 174 | cpp_set_lang (pfile, lang); |
318fdd81 | 175 | CPP_OPTION (pfile, warn_multichar) = 1; |
2ff3ad1d | 176 | CPP_OPTION (pfile, discard_comments) = 1; |
d3f7919d | 177 | CPP_OPTION (pfile, discard_comments_in_macro_exp) = 1; |
3b304865 | 178 | CPP_OPTION (pfile, tabstop) = 8; |
624a7570 | 179 | CPP_OPTION (pfile, operator_names) = 1; |
3078f2b2 | 180 | CPP_OPTION (pfile, warn_trigraphs) = 2; |
923acdd5 | 181 | CPP_OPTION (pfile, warn_endif_labels) = 1; |
04afd878 | 182 | CPP_OPTION (pfile, cpp_warn_c90_c99_compat) = -1; |
5ae82d58 | 183 | CPP_OPTION (pfile, cpp_warn_deprecated) = 1; |
184 | CPP_OPTION (pfile, cpp_warn_long_long) = 0; | |
14e33bb6 | 185 | CPP_OPTION (pfile, dollars_in_ident) = 1; |
f0c2775b | 186 | CPP_OPTION (pfile, warn_dollars) = 1; |
05d51900 | 187 | CPP_OPTION (pfile, warn_variadic_macros) = 1; |
2ad0b097 | 188 | CPP_OPTION (pfile, warn_builtin_macro_redefined) = 1; |
611f1003 | 189 | /* By default, track locations of tokens resulting from macro |
190 | expansion. The '2' means, track the locations with the highest | |
191 | accuracy. Read the comments for struct | |
192 | cpp_options::track_macro_expansion to learn about the other | |
193 | values. */ | |
194 | CPP_OPTION (pfile, track_macro_expansion) = 2; | |
bce47149 | 195 | CPP_OPTION (pfile, warn_normalize) = normalized_C; |
76d340ac | 196 | CPP_OPTION (pfile, warn_literal_suffix) = 1; |
52bc861d | 197 | CPP_OPTION (pfile, canonical_system_headers) |
198 | = ENABLE_CANONICAL_SYSTEM_HEADERS; | |
2dd00636 | 199 | CPP_OPTION (pfile, ext_numeric_literals) = 1; |
9148bda3 | 200 | CPP_OPTION (pfile, warn_date_time) = 0; |
2ff3ad1d | 201 | |
1893c11a | 202 | /* Default CPP arithmetic to something sensible for the host for the |
203 | benefit of dumb users like fix-header. */ | |
dc0b244f | 204 | CPP_OPTION (pfile, precision) = CHAR_BIT * sizeof (long); |
1893c11a | 205 | CPP_OPTION (pfile, char_precision) = CHAR_BIT; |
206 | CPP_OPTION (pfile, wchar_precision) = CHAR_BIT * sizeof (int); | |
207 | CPP_OPTION (pfile, int_precision) = CHAR_BIT * sizeof (int); | |
965e9876 | 208 | CPP_OPTION (pfile, unsigned_char) = 0; |
d932f956 | 209 | CPP_OPTION (pfile, unsigned_wchar) = 1; |
ebc03810 | 210 | CPP_OPTION (pfile, bytes_big_endian) = 1; /* does not matter */ |
211 | ||
212 | /* Default to no charset conversion. */ | |
57ba96e9 | 213 | CPP_OPTION (pfile, narrow_charset) = _cpp_default_encoding (); |
ebc03810 | 214 | CPP_OPTION (pfile, wide_charset) = 0; |
13c457e1 | 215 | |
57ba96e9 | 216 | /* Default the input character set to UTF-8. */ |
217 | CPP_OPTION (pfile, input_charset) = _cpp_default_encoding (); | |
787c3d1a | 218 | |
1824e2bd | 219 | /* A fake empty "directory" used as the starting point for files |
220 | looked up without a search path. Name cannot be '/' because we | |
221 | don't want to prepend anything at all to filenames using it. All | |
222 | other entries are correct zero-initialized. */ | |
223 | pfile->no_search_path.name = (char *) ""; | |
224 | ||
dbddc569 | 225 | /* Initialize the line map. */ |
ceec9c13 | 226 | pfile->line_table = line_table; |
38692459 | 227 | |
8d1752de | 228 | /* Initialize lexer state. */ |
79bd622b | 229 | pfile->state.save_comments = ! CPP_OPTION (pfile, discard_comments); |
230 | ||
f9b5f742 | 231 | /* Set up static tokens. */ |
f9b5f742 | 232 | pfile->avoid_paste.type = CPP_PADDING; |
233 | pfile->avoid_paste.val.source = NULL; | |
234 | pfile->eof.type = CPP_EOF; | |
235 | pfile->eof.flags = 0; | |
79bd622b | 236 | |
83dcbb5c | 237 | /* Create a token buffer for the lexer. */ |
238 | _cpp_init_tokenrun (&pfile->base_run, 250); | |
239 | pfile->cur_run = &pfile->base_run; | |
240 | pfile->cur_token = pfile->base_run.base; | |
83dcbb5c | 241 | |
457275b6 | 242 | /* Initialize the base context. */ |
79bd622b | 243 | pfile->context = &pfile->base_context; |
ce70f433 | 244 | pfile->base_context.c.macro = 0; |
79bd622b | 245 | pfile->base_context.prev = pfile->base_context.next = 0; |
246 | ||
e6a5f963 | 247 | /* Aligned and unaligned storage. */ |
248 | pfile->a_buff = _cpp_get_buff (pfile, 0); | |
1fdf6039 | 249 | pfile->u_buff = _cpp_get_buff (pfile, 0); |
79bd622b | 250 | |
038c21f1 | 251 | /* Initialize table for push_macro/pop_macro. */ |
252 | pfile->pushed_macros = 0; | |
253 | ||
6ea2c7a3 | 254 | /* Do not force token locations by default. */ |
255 | pfile->forced_token_location_p = NULL; | |
256 | ||
5bbf045f | 257 | /* The expression parser stack. */ |
258 | _cpp_expand_op_stack (pfile); | |
259 | ||
457275b6 | 260 | /* Initialize the buffer obstack. */ |
cc0a8c77 | 261 | obstack_specify_allocation (&pfile->buffer_ob, 0, 0, xmalloc, free); |
0d086e18 | 262 | |
1824e2bd | 263 | _cpp_init_files (pfile); |
9751c00e | 264 | |
568139e4 | 265 | _cpp_init_hashtable (pfile, table); |
266 | ||
9751c00e | 267 | return pfile; |
e2f9a79f | 268 | } |
269 | ||
931b0a0f | 270 | /* Set the line_table entry in PFILE. This is called after reading a |
271 | PCH file, as the old line_table will be incorrect. */ | |
272 | void | |
273 | cpp_set_line_map (cpp_reader *pfile, struct line_maps *line_table) | |
274 | { | |
275 | pfile->line_table = line_table; | |
276 | } | |
277 | ||
9bd97637 | 278 | /* Free resources used by PFILE. Accessing PFILE after this function |
974e2c0c | 279 | returns leads to undefined behavior. Returns the error count. */ |
6019c708 | 280 | void |
f7fdd7a1 | 281 | cpp_destroy (cpp_reader *pfile) |
6d71dc85 | 282 | { |
79bd622b | 283 | cpp_context *context, *contextn; |
038c21f1 | 284 | struct def_pragma_macro *pmacro; |
729d2022 | 285 | tokenrun *run, *runn; |
956c6108 | 286 | int i; |
11d10d3f | 287 | |
5bbf045f | 288 | free (pfile->op_stack); |
02516fb9 | 289 | |
5b201908 | 290 | while (CPP_BUFFER (pfile) != NULL) |
4dfe8b74 | 291 | _cpp_pop_buffer (pfile); |
6d71dc85 | 292 | |
dd045aee | 293 | free (pfile->out.base); |
0bb65704 | 294 | |
79bd622b | 295 | if (pfile->macro_buffer) |
8744fb7e | 296 | { |
b9a7cc69 | 297 | free (pfile->macro_buffer); |
8744fb7e | 298 | pfile->macro_buffer = NULL; |
299 | pfile->macro_buffer_len = 0; | |
300 | } | |
79bd622b | 301 | |
61191376 | 302 | if (pfile->deps) |
303 | deps_free (pfile->deps); | |
0d086e18 | 304 | obstack_free (&pfile->buffer_ob, 0); |
62adb1fe | 305 | |
0d086e18 | 306 | _cpp_destroy_hashtable (pfile); |
1824e2bd | 307 | _cpp_cleanup_files (pfile); |
ebc03810 | 308 | _cpp_destroy_iconv (pfile); |
11d10d3f | 309 | |
e6a5f963 | 310 | _cpp_free_buff (pfile->a_buff); |
1fdf6039 | 311 | _cpp_free_buff (pfile->u_buff); |
06c92cbc | 312 | _cpp_free_buff (pfile->free_buffs); |
79bd622b | 313 | |
729d2022 | 314 | for (run = &pfile->base_run; run; run = runn) |
315 | { | |
316 | runn = run->next; | |
317 | free (run->base); | |
318 | if (run != &pfile->base_run) | |
319 | free (run); | |
320 | } | |
321 | ||
79bd622b | 322 | for (context = pfile->base_context.next; context; context = contextn) |
323 | { | |
324 | contextn = context->next; | |
325 | free (context); | |
326 | } | |
9bd97637 | 327 | |
956c6108 | 328 | if (pfile->comments.entries) |
329 | { | |
330 | for (i = 0; i < pfile->comments.count; i++) | |
331 | free (pfile->comments.entries[i].comment); | |
332 | ||
333 | free (pfile->comments.entries); | |
334 | } | |
038c21f1 | 335 | if (pfile->pushed_macros) |
336 | { | |
337 | do | |
338 | { | |
339 | pmacro = pfile->pushed_macros; | |
340 | pfile->pushed_macros = pmacro->next; | |
341 | free (pmacro->name); | |
342 | free (pmacro); | |
343 | } | |
344 | while (pfile->pushed_macros); | |
345 | } | |
956c6108 | 346 | |
9bd97637 | 347 | free (pfile); |
6d71dc85 | 348 | } |
349 | ||
79bd622b | 350 | /* This structure defines one built-in identifier. A node will be |
06579c95 | 351 | entered in the hash table under the name NAME, with value VALUE. |
352 | ||
353 | There are two tables of these. builtin_array holds all the | |
354 | "builtin" macros: these are handled by builtin_macro() in | |
f03668bd | 355 | macro.c. Builtin is somewhat of a misnomer -- the property of |
06579c95 | 356 | interest is that these macros require special code to compute their |
ced52ffd | 357 | expansions. The value is a "cpp_builtin_type" enumerator. |
06579c95 | 358 | |
359 | operator_array holds the C++ named operators. These are keywords | |
360 | which act as aliases for punctuators. In C++, they cannot be | |
361 | altered through #define, and #if recognizes them as operators. In | |
362 | C, these are not entered into the hash table at all (but see | |
363 | <iso646.h>). The value is a token-type enumerator. */ | |
2ad0b097 | 364 | struct builtin_macro |
5ba37007 | 365 | { |
2ad0b097 | 366 | const uchar *const name; |
367 | const unsigned short len; | |
368 | const unsigned short value; | |
369 | const bool always_warn_if_redefined; | |
5ba37007 | 370 | }; |
79bd622b | 371 | |
2ad0b097 | 372 | #define B(n, t, f) { DSC(n), t, f } |
373 | static const struct builtin_macro builtin_array[] = | |
6d71dc85 | 374 | { |
2ad0b097 | 375 | B("__TIMESTAMP__", BT_TIMESTAMP, false), |
376 | B("__TIME__", BT_TIME, false), | |
377 | B("__DATE__", BT_DATE, false), | |
378 | B("__FILE__", BT_FILE, false), | |
379 | B("__BASE_FILE__", BT_BASE_FILE, false), | |
380 | B("__LINE__", BT_SPECLINE, true), | |
381 | B("__INCLUDE_LEVEL__", BT_INCLUDE_LEVEL, true), | |
382 | B("__COUNTER__", BT_COUNTER, true), | |
33058239 | 383 | B("__has_attribute", BT_HAS_ATTRIBUTE, true), |
384 | B("__has_cpp_attribute", BT_HAS_ATTRIBUTE, true), | |
9c343313 | 385 | /* Keep builtins not used for -traditional-cpp at the end, and |
386 | update init_builtins() if any more are added. */ | |
2ad0b097 | 387 | B("_Pragma", BT_PRAGMA, true), |
388 | B("__STDC__", BT_STDC, true), | |
389 | }; | |
390 | #undef B | |
391 | ||
392 | struct builtin_operator | |
393 | { | |
394 | const uchar *const name; | |
395 | const unsigned short len; | |
396 | const unsigned short value; | |
06579c95 | 397 | }; |
31674461 | 398 | |
2ad0b097 | 399 | #define B(n, t) { DSC(n), t } |
400 | static const struct builtin_operator operator_array[] = | |
06579c95 | 401 | { |
402 | B("and", CPP_AND_AND), | |
403 | B("and_eq", CPP_AND_EQ), | |
404 | B("bitand", CPP_AND), | |
405 | B("bitor", CPP_OR), | |
406 | B("compl", CPP_COMPL), | |
407 | B("not", CPP_NOT), | |
408 | B("not_eq", CPP_NOT_EQ), | |
409 | B("or", CPP_OR_OR), | |
410 | B("or_eq", CPP_OR_EQ), | |
411 | B("xor", CPP_XOR), | |
412 | B("xor_eq", CPP_XOR_EQ) | |
5ba37007 | 413 | }; |
e057cf7c | 414 | #undef B |
5ba37007 | 415 | |
df64d85e | 416 | /* Mark the C++ named operators in the hash table. */ |
417 | static void | |
2a6a6991 | 418 | mark_named_operators (cpp_reader *pfile, int flags) |
df64d85e | 419 | { |
2ad0b097 | 420 | const struct builtin_operator *b; |
df64d85e | 421 | |
422 | for (b = operator_array; | |
423 | b < (operator_array + ARRAY_SIZE (operator_array)); | |
424 | b++) | |
425 | { | |
426 | cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len); | |
2a6a6991 | 427 | hp->flags |= flags; |
805e22b2 | 428 | hp->is_directive = 0; |
429 | hp->directive_index = b->value; | |
df64d85e | 430 | } |
431 | } | |
432 | ||
ba99525e | 433 | /* Helper function of cpp_type2name. Return the string associated with |
434 | named operator TYPE. */ | |
435 | const char * | |
436 | cpp_named_operator2name (enum cpp_ttype type) | |
437 | { | |
438 | const struct builtin_operator *b; | |
439 | ||
440 | for (b = operator_array; | |
441 | b < (operator_array + ARRAY_SIZE (operator_array)); | |
442 | b++) | |
443 | { | |
444 | if (type == b->value) | |
445 | return (const char *) b->name; | |
446 | } | |
447 | ||
448 | return NULL; | |
449 | } | |
450 | ||
fc3c7720 | 451 | void |
fcde64dc | 452 | cpp_init_special_builtins (cpp_reader *pfile) |
5ba37007 | 453 | { |
2ad0b097 | 454 | const struct builtin_macro *b; |
9c343313 | 455 | size_t n = ARRAY_SIZE (builtin_array); |
4e464091 | 456 | |
9c343313 | 457 | if (CPP_OPTION (pfile, traditional)) |
458 | n -= 2; | |
31614f7c | 459 | else if (! CPP_OPTION (pfile, stdc_0_in_system_headers) |
460 | || CPP_OPTION (pfile, std)) | |
fcde64dc | 461 | n--; |
9c343313 | 462 | |
31614f7c | 463 | for (b = builtin_array; b < builtin_array + n; b++) |
6d71dc85 | 464 | { |
33058239 | 465 | if (b->value == BT_HAS_ATTRIBUTE |
466 | && (CPP_OPTION (pfile, lang) == CLK_ASM | |
467 | || pfile->cb.has_attribute == NULL)) | |
468 | continue; | |
06579c95 | 469 | cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len); |
470 | hp->type = NT_MACRO; | |
2ad0b097 | 471 | hp->flags |= NODE_BUILTIN; |
a7d2e480 | 472 | if (b->always_warn_if_redefined) |
2ad0b097 | 473 | hp->flags |= NODE_WARN; |
26dbec0a | 474 | hp->value.builtin = (enum cpp_builtin_type) b->value; |
6d71dc85 | 475 | } |
fcde64dc | 476 | } |
477 | ||
478 | /* Read the builtins table above and enter them, and language-specific | |
479 | macros, into the hash table. HOSTED is true if this is a hosted | |
480 | environment. */ | |
481 | void | |
482 | cpp_init_builtins (cpp_reader *pfile, int hosted) | |
483 | { | |
484 | cpp_init_special_builtins (pfile); | |
485 | ||
486 | if (!CPP_OPTION (pfile, traditional) | |
487 | && (! CPP_OPTION (pfile, stdc_0_in_system_headers) | |
488 | || CPP_OPTION (pfile, std))) | |
489 | _cpp_define_builtin (pfile, "__STDC__ 1"); | |
eef6c20f | 490 | |
491 | if (CPP_OPTION (pfile, cplusplus)) | |
de803ff2 | 492 | { |
4e454776 | 493 | if (CPP_OPTION (pfile, lang) == CLK_CXX1Z |
494 | || CPP_OPTION (pfile, lang) == CLK_GNUCXX1Z) | |
495 | _cpp_define_builtin (pfile, "__cplusplus 201500L"); | |
496 | else if (CPP_OPTION (pfile, lang) == CLK_CXX14 | |
497 | || CPP_OPTION (pfile, lang) == CLK_GNUCXX14) | |
498 | _cpp_define_builtin (pfile, "__cplusplus 201402L"); | |
1638c736 | 499 | else if (CPP_OPTION (pfile, lang) == CLK_CXX11 |
500 | || CPP_OPTION (pfile, lang) == CLK_GNUCXX11) | |
de803ff2 | 501 | _cpp_define_builtin (pfile, "__cplusplus 201103L"); |
502 | else | |
503 | _cpp_define_builtin (pfile, "__cplusplus 199711L"); | |
504 | } | |
965e9876 | 505 | else if (CPP_OPTION (pfile, lang) == CLK_ASM) |
506 | _cpp_define_builtin (pfile, "__ASSEMBLER__ 1"); | |
952e555e | 507 | else if (CPP_OPTION (pfile, lang) == CLK_STDC94) |
eef6c20f | 508 | _cpp_define_builtin (pfile, "__STDC_VERSION__ 199409L"); |
32074525 | 509 | else if (CPP_OPTION (pfile, lang) == CLK_STDC11 |
510 | || CPP_OPTION (pfile, lang) == CLK_GNUC11) | |
511 | _cpp_define_builtin (pfile, "__STDC_VERSION__ 201112L"); | |
eef6c20f | 512 | else if (CPP_OPTION (pfile, c99)) |
513 | _cpp_define_builtin (pfile, "__STDC_VERSION__ 199901L"); | |
514 | ||
6f6f3dd7 | 515 | if (CPP_OPTION (pfile, uliterals) |
4e454776 | 516 | && !(CPP_OPTION (pfile, cplusplus) |
517 | && (CPP_OPTION (pfile, lang) == CLK_GNUCXX | |
518 | || CPP_OPTION (pfile, lang) == CLK_CXX98))) | |
6f6f3dd7 | 519 | { |
520 | _cpp_define_builtin (pfile, "__STDC_UTF_16__ 1"); | |
521 | _cpp_define_builtin (pfile, "__STDC_UTF_32__ 1"); | |
522 | } | |
523 | ||
4a3ce7db | 524 | if (hosted) |
b47f91ec | 525 | _cpp_define_builtin (pfile, "__STDC_HOSTED__ 1"); |
4a3ce7db | 526 | else |
b47f91ec | 527 | _cpp_define_builtin (pfile, "__STDC_HOSTED__ 0"); |
4a3ce7db | 528 | |
952e555e | 529 | if (CPP_OPTION (pfile, objc)) |
530 | _cpp_define_builtin (pfile, "__OBJC__ 1"); | |
8d1752de | 531 | } |
532 | ||
1893c11a | 533 | /* Sanity-checks are dependent on command-line options, so it is |
534 | called as a subroutine of cpp_read_main_file (). */ | |
535 | #if ENABLE_CHECKING | |
f7fdd7a1 | 536 | static void sanity_checks (cpp_reader *); |
537 | static void sanity_checks (cpp_reader *pfile) | |
1893c11a | 538 | { |
539 | cppchar_t test = 0; | |
dc0b244f | 540 | size_t max_precision = 2 * CHAR_BIT * sizeof (cpp_num_part); |
1893c11a | 541 | |
542 | /* Sanity checks for assumptions about CPP arithmetic and target | |
543 | type precisions made by cpplib. */ | |
544 | test--; | |
545 | if (test < 1) | |
d80d2074 | 546 | cpp_error (pfile, CPP_DL_ICE, "cppchar_t must be an unsigned type"); |
1893c11a | 547 | |
dc0b244f | 548 | if (CPP_OPTION (pfile, precision) > max_precision) |
d80d2074 | 549 | cpp_error (pfile, CPP_DL_ICE, |
f7fdd7a1 | 550 | "preprocessor arithmetic has maximum precision of %lu bits;" |
551 | " target requires %lu bits", | |
dc0b244f | 552 | (unsigned long) max_precision, |
553 | (unsigned long) CPP_OPTION (pfile, precision)); | |
1893c11a | 554 | |
555 | if (CPP_OPTION (pfile, precision) < CPP_OPTION (pfile, int_precision)) | |
d80d2074 | 556 | cpp_error (pfile, CPP_DL_ICE, |
1893c11a | 557 | "CPP arithmetic must be at least as precise as a target int"); |
558 | ||
559 | if (CPP_OPTION (pfile, char_precision) < 8) | |
d80d2074 | 560 | cpp_error (pfile, CPP_DL_ICE, "target char is less than 8 bits wide"); |
1893c11a | 561 | |
562 | if (CPP_OPTION (pfile, wchar_precision) < CPP_OPTION (pfile, char_precision)) | |
d80d2074 | 563 | cpp_error (pfile, CPP_DL_ICE, |
1893c11a | 564 | "target wchar_t is narrower than target char"); |
565 | ||
566 | if (CPP_OPTION (pfile, int_precision) < CPP_OPTION (pfile, char_precision)) | |
d80d2074 | 567 | cpp_error (pfile, CPP_DL_ICE, |
1893c11a | 568 | "target int is narrower than target char"); |
569 | ||
dc0b244f | 570 | /* This is assumed in eval_token() and could be fixed if necessary. */ |
571 | if (sizeof (cppchar_t) > sizeof (cpp_num_part)) | |
d80d2074 | 572 | cpp_error (pfile, CPP_DL_ICE, |
573 | "CPP half-integer narrower than CPP character"); | |
dc0b244f | 574 | |
1893c11a | 575 | if (CPP_OPTION (pfile, wchar_precision) > BITS_PER_CPPCHAR_T) |
d80d2074 | 576 | cpp_error (pfile, CPP_DL_ICE, |
f7fdd7a1 | 577 | "CPP on this host cannot handle wide character constants over" |
578 | " %lu bits, but the target requires %lu bits", | |
dc0b244f | 579 | (unsigned long) BITS_PER_CPPCHAR_T, |
580 | (unsigned long) CPP_OPTION (pfile, wchar_precision)); | |
1893c11a | 581 | } |
582 | #else | |
583 | # define sanity_checks(PFILE) | |
584 | #endif | |
585 | ||
9ceb1c29 | 586 | /* This is called after options have been parsed, and partially |
7981458e | 587 | processed. */ |
c7f96907 | 588 | void |
589 | cpp_post_options (cpp_reader *pfile) | |
6d71dc85 | 590 | { |
2a6a6991 | 591 | int flags; |
592 | ||
1893c11a | 593 | sanity_checks (pfile); |
594 | ||
61191376 | 595 | post_options (pfile); |
596 | ||
9e36e267 | 597 | /* Mark named operators before handling command line macros. */ |
2a6a6991 | 598 | flags = 0; |
9e36e267 | 599 | if (CPP_OPTION (pfile, cplusplus) && CPP_OPTION (pfile, operator_names)) |
2a6a6991 | 600 | flags |= NODE_OPERATOR; |
601 | if (CPP_OPTION (pfile, warn_cxx_operator_names)) | |
602 | flags |= NODE_DIAGNOSTIC | NODE_WARN_OPERATOR; | |
603 | if (flags != 0) | |
604 | mark_named_operators (pfile, flags); | |
c7f96907 | 605 | } |
9e36e267 | 606 | |
64386834 | 607 | /* Setup for processing input from the file named FNAME, or stdin if |
d732fcf0 | 608 | it is the empty string. Return the original filename |
609 | on success (e.g. foo.i->foo.c), or NULL on failure. */ | |
610 | const char * | |
611 | cpp_read_main_file (cpp_reader *pfile, const char *fname) | |
c7f96907 | 612 | { |
61191376 | 613 | if (CPP_OPTION (pfile, deps.style) != DEPS_NONE) |
614 | { | |
615 | if (!pfile->deps) | |
616 | pfile->deps = deps_init (); | |
617 | ||
618 | /* Set the default target (if there is none already). */ | |
619 | deps_add_default_target (pfile->deps, fname); | |
620 | } | |
af808d7d | 621 | |
64386834 | 622 | pfile->main_file |
6adc88f8 | 623 | = _cpp_find_file (pfile, fname, &pfile->no_search_path, false, 0, false); |
64386834 | 624 | if (_cpp_find_failed (pfile->main_file)) |
30696602 | 625 | return NULL; |
9ceb1c29 | 626 | |
64386834 | 627 | _cpp_stack_file (pfile, pfile->main_file, false); |
628 | ||
629 | /* For foo.i, read the original filename foo.c now, for the benefit | |
630 | of the front ends. */ | |
631 | if (CPP_OPTION (pfile, preprocessed)) | |
d732fcf0 | 632 | { |
633 | read_original_filename (pfile); | |
97bfb9ef | 634 | fname = |
635 | ORDINARY_MAP_FILE_NAME | |
636 | ((LINEMAPS_LAST_ORDINARY_MAP (pfile->line_table))); | |
d732fcf0 | 637 | } |
638 | return fname; | |
9ceb1c29 | 639 | } |
640 | ||
641 | /* For preprocessed files, if the first tokens are of the form # NUM. | |
642 | handle the directive so we know the original file name. This will | |
643 | generate file_change callbacks, which the front ends must handle | |
644 | appropriately given their state of initialization. */ | |
645 | static void | |
f7fdd7a1 | 646 | read_original_filename (cpp_reader *pfile) |
9ceb1c29 | 647 | { |
648 | const cpp_token *token, *token1; | |
649 | ||
650 | /* Lex ahead; if the first tokens are of the form # NUM, then | |
651 | process the directive, otherwise back up. */ | |
652 | token = _cpp_lex_direct (pfile); | |
653 | if (token->type == CPP_HASH) | |
654 | { | |
0c5e3a3d | 655 | pfile->state.in_directive = 1; |
9ceb1c29 | 656 | token1 = _cpp_lex_direct (pfile); |
657 | _cpp_backup_tokens (pfile, 1); | |
0c5e3a3d | 658 | pfile->state.in_directive = 0; |
9ceb1c29 | 659 | |
660 | /* If it's a #line directive, handle it. */ | |
65f40615 | 661 | if (token1->type == CPP_NUMBER |
662 | && _cpp_handle_directive (pfile, token->flags & PREV_WHITE)) | |
9ceb1c29 | 663 | { |
e7aa92b2 | 664 | read_original_directory (pfile); |
9ceb1c29 | 665 | return; |
666 | } | |
667 | } | |
668 | ||
669 | /* Backup as if nothing happened. */ | |
670 | _cpp_backup_tokens (pfile, 1); | |
671 | } | |
672 | ||
e7aa92b2 | 673 | /* For preprocessed files, if the tokens following the first filename |
674 | line is of the form # <line> "/path/name//", handle the | |
675 | directive so we know the original current directory. */ | |
676 | static void | |
677 | read_original_directory (cpp_reader *pfile) | |
678 | { | |
679 | const cpp_token *hash, *token; | |
680 | ||
681 | /* Lex ahead; if the first tokens are of the form # NUM, then | |
682 | process the directive, otherwise back up. */ | |
683 | hash = _cpp_lex_direct (pfile); | |
684 | if (hash->type != CPP_HASH) | |
685 | { | |
686 | _cpp_backup_tokens (pfile, 1); | |
687 | return; | |
688 | } | |
689 | ||
690 | token = _cpp_lex_direct (pfile); | |
691 | ||
692 | if (token->type != CPP_NUMBER) | |
693 | { | |
694 | _cpp_backup_tokens (pfile, 2); | |
695 | return; | |
696 | } | |
697 | ||
698 | token = _cpp_lex_direct (pfile); | |
699 | ||
700 | if (token->type != CPP_STRING | |
701 | || ! (token->val.str.len >= 5 | |
bb7824b5 | 702 | && IS_DIR_SEPARATOR (token->val.str.text[token->val.str.len-2]) |
703 | && IS_DIR_SEPARATOR (token->val.str.text[token->val.str.len-3]))) | |
e7aa92b2 | 704 | { |
705 | _cpp_backup_tokens (pfile, 3); | |
706 | return; | |
707 | } | |
708 | ||
709 | if (pfile->cb.dir_change) | |
710 | { | |
720aca92 | 711 | char *debugdir = (char *) alloca (token->val.str.len - 3); |
e7aa92b2 | 712 | |
713 | memcpy (debugdir, (const char *) token->val.str.text + 1, | |
714 | token->val.str.len - 4); | |
715 | debugdir[token->val.str.len - 4] = '\0'; | |
716 | ||
717 | pfile->cb.dir_change (pfile, debugdir); | |
d732fcf0 | 718 | } |
e7aa92b2 | 719 | } |
720 | ||
6019c708 | 721 | /* This is called at the end of preprocessing. It pops the last |
7f5f3953 | 722 | buffer and writes dependency output. |
57ba96e9 | 723 | |
6019c708 | 724 | Maybe it should also reset state, such that you could call |
725 | cpp_start_read with a new filename to restart processing. */ | |
7f5f3953 | 726 | void |
f7fdd7a1 | 727 | cpp_finish (cpp_reader *pfile, FILE *deps_stream) |
6d71dc85 | 728 | { |
71a7c282 | 729 | /* Warn about unused macros before popping the final buffer. */ |
730 | if (CPP_OPTION (pfile, warn_unused_macros)) | |
731 | cpp_forall_identifiers (pfile, _cpp_warn_if_unused_macro, NULL); | |
732 | ||
f03668bd | 733 | /* lex.c leaves the final buffer on the stack. This it so that |
5475a165 | 734 | it returns an unending stream of CPP_EOFs to the client. If we |
3fb1e43b | 735 | popped the buffer, we'd dereference a NULL buffer pointer and |
5475a165 | 736 | segfault. It's nice to allow the client to do worry-free excess |
737 | cpp_get_token calls. */ | |
738 | while (pfile->buffer) | |
739 | _cpp_pop_buffer (pfile); | |
9e87fa80 | 740 | |
61191376 | 741 | if (CPP_OPTION (pfile, deps.style) != DEPS_NONE |
7f5f3953 | 742 | && deps_stream) |
6019c708 | 743 | { |
744 | deps_write (pfile->deps, deps_stream, 72); | |
745 | ||
61191376 | 746 | if (CPP_OPTION (pfile, deps.phony_targets)) |
6019c708 | 747 | deps_phony_targets (pfile->deps, deps_stream); |
748 | } | |
d453a374 | 749 | |
34627970 | 750 | /* Report on headers that could use multiple include guards. */ |
751 | if (CPP_OPTION (pfile, print_include_names)) | |
f51c2148 | 752 | _cpp_report_missing_guards (pfile); |
6d71dc85 | 753 | } |
754 | ||
61191376 | 755 | static void |
f7fdd7a1 | 756 | post_options (cpp_reader *pfile) |
af808d7d | 757 | { |
758 | /* -Wtraditional is not useful in C++ mode. */ | |
759 | if (CPP_OPTION (pfile, cplusplus)) | |
5ae82d58 | 760 | CPP_OPTION (pfile, cpp_warn_traditional) = 0; |
af808d7d | 761 | |
946ce1b7 | 762 | /* Permanently disable macro expansion if we are rescanning |
ca52ef60 | 763 | preprocessed text. Read preprocesed source in ISO mode. */ |
946ce1b7 | 764 | if (CPP_OPTION (pfile, preprocessed)) |
ca52ef60 | 765 | { |
fcde64dc | 766 | if (!CPP_OPTION (pfile, directives_only)) |
767 | pfile->state.prevent_expansion = 1; | |
ca52ef60 | 768 | CPP_OPTION (pfile, traditional) = 0; |
769 | } | |
770 | ||
3078f2b2 | 771 | if (CPP_OPTION (pfile, warn_trigraphs) == 2) |
772 | CPP_OPTION (pfile, warn_trigraphs) = !CPP_OPTION (pfile, trigraphs); | |
773 | ||
ca52ef60 | 774 | if (CPP_OPTION (pfile, traditional)) |
a54e0bf8 | 775 | { |
a54e0bf8 | 776 | CPP_OPTION (pfile, trigraphs) = 0; |
777 | CPP_OPTION (pfile, warn_trigraphs) = 0; | |
778 | } | |
b3a8144e | 779 | } |