Mercurial > hg > CbC > CbC_gcc
annotate libcpp/init.c @ 55:77e2b8dfacca gcc-4.4.5
update it from 4.4.3 to 4.5.0
| author | ryoma <e075725@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 12 Feb 2010 23:39:51 +0900 |
| parents | 3bfb6c00c1e0 |
| children | b7f97abdc517 |
| rev | line source |
|---|---|
| 0 | 1 /* CPP Library. |
| 2 Copyright (C) 1986, 1987, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998, | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
3 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2007, 2008, |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
4 2009 Free Software Foundation, Inc. |
| 0 | 5 Contributed by Per Bothner, 1994-95. |
| 6 Based on CCCP program by Paul Rubin, June 1986 | |
| 7 Adapted to ANSI C, Richard Stallman, Jan 1987 | |
| 8 | |
| 9 This program is free software; you can redistribute it and/or modify it | |
| 10 under the terms of the GNU General Public License as published by the | |
| 11 Free Software Foundation; either version 3, or (at your option) any | |
| 12 later version. | |
| 13 | |
| 14 This program is distributed in the hope that it will be useful, | |
| 15 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 17 GNU General Public License for more details. | |
| 18 | |
| 19 You should have received a copy of the GNU General Public License | |
| 20 along with this program; see the file COPYING3. If not see | |
| 21 <http://www.gnu.org/licenses/>. */ | |
| 22 | |
| 23 #include "config.h" | |
| 24 #include "system.h" | |
| 25 #include "cpplib.h" | |
| 26 #include "internal.h" | |
| 27 #include "mkdeps.h" | |
| 28 #include "localedir.h" | |
| 29 | |
| 30 static void init_library (void); | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
31 static void mark_named_operators (cpp_reader *, int); |
| 0 | 32 static void read_original_filename (cpp_reader *); |
| 33 static void read_original_directory (cpp_reader *); | |
| 34 static void post_options (cpp_reader *); | |
| 35 | |
| 36 /* If we have designated initializers (GCC >2.7) these tables can be | |
| 37 initialized, constant data. Otherwise, they have to be filled in at | |
| 38 runtime. */ | |
| 39 #if HAVE_DESIGNATED_INITIALIZERS | |
| 40 | |
| 41 #define init_trigraph_map() /* Nothing. */ | |
| 42 #define TRIGRAPH_MAP \ | |
| 43 __extension__ const uchar _cpp_trigraph_map[UCHAR_MAX + 1] = { | |
| 44 | |
| 45 #define END }; | |
| 46 #define s(p, v) [p] = v, | |
| 47 | |
| 48 #else | |
| 49 | |
| 50 #define TRIGRAPH_MAP uchar _cpp_trigraph_map[UCHAR_MAX + 1] = { 0 }; \ | |
| 51 static void init_trigraph_map (void) { \ | |
| 52 unsigned char *x = _cpp_trigraph_map; | |
| 53 | |
| 54 #define END } | |
| 55 #define s(p, v) x[p] = v; | |
| 56 | |
| 57 #endif | |
| 58 | |
| 59 TRIGRAPH_MAP | |
| 60 s('=', '#') s(')', ']') s('!', '|') | |
| 61 s('(', '[') s('\'', '^') s('>', '}') | |
| 62 s('/', '\\') s('<', '{') s('-', '~') | |
| 63 END | |
| 64 | |
| 65 #undef s | |
| 66 #undef END | |
| 67 #undef TRIGRAPH_MAP | |
| 68 | |
| 69 /* A set of booleans indicating what CPP features each source language | |
| 70 requires. */ | |
| 71 struct lang_flags | |
| 72 { | |
| 73 char c99; | |
| 74 char cplusplus; | |
| 75 char extended_numbers; | |
| 76 char extended_identifiers; | |
| 77 char std; | |
| 78 char cplusplus_comments; | |
| 79 char digraphs; | |
| 80 char uliterals; | |
| 81 }; | |
| 82 | |
| 83 static const struct lang_flags lang_defaults[] = | |
| 84 { /* c99 c++ xnum xid std // digr ulit */ | |
| 85 /* GNUC89 */ { 0, 0, 1, 0, 0, 1, 1, 0 }, | |
| 86 /* GNUC99 */ { 1, 0, 1, 0, 0, 1, 1, 1 }, | |
| 87 /* STDC89 */ { 0, 0, 0, 0, 1, 0, 0, 0 }, | |
| 88 /* STDC94 */ { 0, 0, 0, 0, 1, 0, 1, 0 }, | |
| 89 /* STDC99 */ { 1, 0, 1, 0, 1, 1, 1, 0 }, | |
| 90 /* GNUCXX */ { 0, 1, 1, 0, 0, 1, 1, 0 }, | |
| 91 /* CXX98 */ { 0, 1, 1, 0, 1, 1, 1, 0 }, | |
| 92 /* GNUCXX0X */ { 1, 1, 1, 0, 0, 1, 1, 1 }, | |
| 93 /* CXX0X */ { 1, 1, 1, 0, 1, 1, 1, 1 }, | |
| 94 /* ASM */ { 0, 0, 1, 0, 0, 1, 0, 0 } | |
| 95 /* xid should be 1 for GNUC99, STDC99, GNUCXX, CXX98, GNUCXX0X, and | |
| 96 CXX0X when no longer experimental (when all uses of identifiers | |
| 97 in the compiler have been audited for correct handling of | |
| 98 extended identifiers). */ | |
| 99 }; | |
| 100 | |
| 101 /* Sets internal flags correctly for a given language. */ | |
| 102 void | |
| 103 cpp_set_lang (cpp_reader *pfile, enum c_lang lang) | |
| 104 { | |
| 105 const struct lang_flags *l = &lang_defaults[(int) lang]; | |
| 106 | |
| 107 CPP_OPTION (pfile, lang) = lang; | |
| 108 | |
| 109 CPP_OPTION (pfile, c99) = l->c99; | |
| 110 CPP_OPTION (pfile, cplusplus) = l->cplusplus; | |
| 111 CPP_OPTION (pfile, extended_numbers) = l->extended_numbers; | |
| 112 CPP_OPTION (pfile, extended_identifiers) = l->extended_identifiers; | |
| 113 CPP_OPTION (pfile, std) = l->std; | |
| 114 CPP_OPTION (pfile, trigraphs) = l->std; | |
| 115 CPP_OPTION (pfile, cplusplus_comments) = l->cplusplus_comments; | |
| 116 CPP_OPTION (pfile, digraphs) = l->digraphs; | |
| 117 CPP_OPTION (pfile, uliterals) = l->uliterals; | |
| 118 } | |
| 119 | |
| 120 /* Initialize library global state. */ | |
| 121 static void | |
| 122 init_library (void) | |
| 123 { | |
| 124 static int initialized = 0; | |
| 125 | |
| 126 if (! initialized) | |
| 127 { | |
| 128 initialized = 1; | |
| 129 | |
| 130 /* Set up the trigraph map. This doesn't need to do anything if | |
| 131 we were compiled with a compiler that supports C99 designated | |
| 132 initializers. */ | |
| 133 init_trigraph_map (); | |
| 134 | |
| 135 #ifdef ENABLE_NLS | |
| 136 (void) bindtextdomain (PACKAGE, LOCALEDIR); | |
| 137 #endif | |
| 138 } | |
| 139 } | |
| 140 | |
| 141 /* Initialize a cpp_reader structure. */ | |
| 142 cpp_reader * | |
| 143 cpp_create_reader (enum c_lang lang, hash_table *table, | |
| 144 struct line_maps *line_table) | |
| 145 { | |
| 146 cpp_reader *pfile; | |
| 147 | |
| 148 /* Initialize this instance of the library if it hasn't been already. */ | |
| 149 init_library (); | |
| 150 | |
| 151 pfile = XCNEW (cpp_reader); | |
| 152 | |
| 153 cpp_set_lang (pfile, lang); | |
| 154 CPP_OPTION (pfile, warn_multichar) = 1; | |
| 155 CPP_OPTION (pfile, discard_comments) = 1; | |
| 156 CPP_OPTION (pfile, discard_comments_in_macro_exp) = 1; | |
| 157 CPP_OPTION (pfile, show_column) = 1; | |
| 158 CPP_OPTION (pfile, tabstop) = 8; | |
| 159 CPP_OPTION (pfile, operator_names) = 1; | |
| 160 CPP_OPTION (pfile, warn_trigraphs) = 2; | |
| 161 CPP_OPTION (pfile, warn_endif_labels) = 1; | |
| 162 CPP_OPTION (pfile, warn_deprecated) = 1; | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
163 CPP_OPTION (pfile, warn_long_long) = 0; |
| 0 | 164 CPP_OPTION (pfile, dollars_in_ident) = 1; |
| 165 CPP_OPTION (pfile, warn_dollars) = 1; | |
| 166 CPP_OPTION (pfile, warn_variadic_macros) = 1; | |
| 167 CPP_OPTION (pfile, warn_builtin_macro_redefined) = 1; | |
| 168 CPP_OPTION (pfile, warn_normalize) = normalized_C; | |
| 169 | |
| 170 /* Default CPP arithmetic to something sensible for the host for the | |
| 171 benefit of dumb users like fix-header. */ | |
| 172 CPP_OPTION (pfile, precision) = CHAR_BIT * sizeof (long); | |
| 173 CPP_OPTION (pfile, char_precision) = CHAR_BIT; | |
| 174 CPP_OPTION (pfile, wchar_precision) = CHAR_BIT * sizeof (int); | |
| 175 CPP_OPTION (pfile, int_precision) = CHAR_BIT * sizeof (int); | |
| 176 CPP_OPTION (pfile, unsigned_char) = 0; | |
| 177 CPP_OPTION (pfile, unsigned_wchar) = 1; | |
| 178 CPP_OPTION (pfile, bytes_big_endian) = 1; /* does not matter */ | |
| 179 | |
| 180 /* Default to no charset conversion. */ | |
| 181 CPP_OPTION (pfile, narrow_charset) = _cpp_default_encoding (); | |
| 182 CPP_OPTION (pfile, wide_charset) = 0; | |
| 183 | |
| 184 /* Default the input character set to UTF-8. */ | |
| 185 CPP_OPTION (pfile, input_charset) = _cpp_default_encoding (); | |
| 186 | |
| 187 /* A fake empty "directory" used as the starting point for files | |
| 188 looked up without a search path. Name cannot be '/' because we | |
| 189 don't want to prepend anything at all to filenames using it. All | |
| 190 other entries are correct zero-initialized. */ | |
| 191 pfile->no_search_path.name = (char *) ""; | |
| 192 | |
| 193 /* Initialize the line map. */ | |
| 194 pfile->line_table = line_table; | |
| 195 | |
| 196 /* Initialize lexer state. */ | |
| 197 pfile->state.save_comments = ! CPP_OPTION (pfile, discard_comments); | |
| 198 | |
| 199 /* Set up static tokens. */ | |
| 200 pfile->avoid_paste.type = CPP_PADDING; | |
| 201 pfile->avoid_paste.val.source = NULL; | |
| 202 pfile->eof.type = CPP_EOF; | |
| 203 pfile->eof.flags = 0; | |
| 204 | |
| 205 /* Create a token buffer for the lexer. */ | |
| 206 _cpp_init_tokenrun (&pfile->base_run, 250); | |
| 207 pfile->cur_run = &pfile->base_run; | |
| 208 pfile->cur_token = pfile->base_run.base; | |
| 209 | |
| 210 /* Initialize the base context. */ | |
| 211 pfile->context = &pfile->base_context; | |
| 212 pfile->base_context.macro = 0; | |
| 213 pfile->base_context.prev = pfile->base_context.next = 0; | |
| 214 | |
| 215 /* Aligned and unaligned storage. */ | |
| 216 pfile->a_buff = _cpp_get_buff (pfile, 0); | |
| 217 pfile->u_buff = _cpp_get_buff (pfile, 0); | |
| 218 | |
|
47
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
219 /* Initialize table for push_macro/pop_macro. */ |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
220 pfile->pushed_macros = 0; |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
221 |
| 0 | 222 /* The expression parser stack. */ |
| 223 _cpp_expand_op_stack (pfile); | |
| 224 | |
| 225 /* Initialize the buffer obstack. */ | |
| 226 _obstack_begin (&pfile->buffer_ob, 0, 0, | |
| 227 (void *(*) (long)) xmalloc, | |
| 228 (void (*) (void *)) free); | |
| 229 | |
| 230 _cpp_init_files (pfile); | |
| 231 | |
| 232 _cpp_init_hashtable (pfile, table); | |
| 233 | |
| 234 return pfile; | |
| 235 } | |
| 236 | |
| 237 /* Set the line_table entry in PFILE. This is called after reading a | |
| 238 PCH file, as the old line_table will be incorrect. */ | |
| 239 void | |
| 240 cpp_set_line_map (cpp_reader *pfile, struct line_maps *line_table) | |
| 241 { | |
| 242 pfile->line_table = line_table; | |
| 243 } | |
| 244 | |
| 245 /* Free resources used by PFILE. Accessing PFILE after this function | |
| 246 returns leads to undefined behavior. Returns the error count. */ | |
| 247 void | |
| 248 cpp_destroy (cpp_reader *pfile) | |
| 249 { | |
| 250 cpp_context *context, *contextn; | |
|
47
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
251 struct def_pragma_macro *pmacro; |
| 0 | 252 tokenrun *run, *runn; |
| 253 int i; | |
| 254 | |
| 255 free (pfile->op_stack); | |
| 256 | |
| 257 while (CPP_BUFFER (pfile) != NULL) | |
| 258 _cpp_pop_buffer (pfile); | |
| 259 | |
| 260 if (pfile->out.base) | |
| 261 free (pfile->out.base); | |
| 262 | |
| 263 if (pfile->macro_buffer) | |
| 264 { | |
| 265 free (pfile->macro_buffer); | |
| 266 pfile->macro_buffer = NULL; | |
| 267 pfile->macro_buffer_len = 0; | |
| 268 } | |
| 269 | |
| 270 if (pfile->deps) | |
| 271 deps_free (pfile->deps); | |
| 272 obstack_free (&pfile->buffer_ob, 0); | |
| 273 | |
| 274 _cpp_destroy_hashtable (pfile); | |
| 275 _cpp_cleanup_files (pfile); | |
| 276 _cpp_destroy_iconv (pfile); | |
| 277 | |
| 278 _cpp_free_buff (pfile->a_buff); | |
| 279 _cpp_free_buff (pfile->u_buff); | |
| 280 _cpp_free_buff (pfile->free_buffs); | |
| 281 | |
| 282 for (run = &pfile->base_run; run; run = runn) | |
| 283 { | |
| 284 runn = run->next; | |
| 285 free (run->base); | |
| 286 if (run != &pfile->base_run) | |
| 287 free (run); | |
| 288 } | |
| 289 | |
| 290 for (context = pfile->base_context.next; context; context = contextn) | |
| 291 { | |
| 292 contextn = context->next; | |
| 293 free (context); | |
| 294 } | |
| 295 | |
| 296 if (pfile->comments.entries) | |
| 297 { | |
| 298 for (i = 0; i < pfile->comments.count; i++) | |
| 299 free (pfile->comments.entries[i].comment); | |
| 300 | |
| 301 free (pfile->comments.entries); | |
| 302 } | |
|
47
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
303 if (pfile->pushed_macros) |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
304 { |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
305 do |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
306 { |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
307 pmacro = pfile->pushed_macros; |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
308 pfile->pushed_macros = pmacro->next; |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
309 free (pmacro->name); |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
310 free (pmacro); |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
311 } |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
312 while (pfile->pushed_macros); |
|
3bfb6c00c1e0
update it from 4.4.2 to 4.4.3.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
313 } |
| 0 | 314 |
| 315 free (pfile); | |
| 316 } | |
| 317 | |
| 318 /* This structure defines one built-in identifier. A node will be | |
| 319 entered in the hash table under the name NAME, with value VALUE. | |
| 320 | |
| 321 There are two tables of these. builtin_array holds all the | |
| 322 "builtin" macros: these are handled by builtin_macro() in | |
| 323 macro.c. Builtin is somewhat of a misnomer -- the property of | |
| 324 interest is that these macros require special code to compute their | |
| 325 expansions. The value is a "builtin_type" enumerator. | |
| 326 | |
| 327 operator_array holds the C++ named operators. These are keywords | |
| 328 which act as aliases for punctuators. In C++, they cannot be | |
| 329 altered through #define, and #if recognizes them as operators. In | |
| 330 C, these are not entered into the hash table at all (but see | |
| 331 <iso646.h>). The value is a token-type enumerator. */ | |
| 332 struct builtin_macro | |
| 333 { | |
| 334 const uchar *const name; | |
| 335 const unsigned short len; | |
| 336 const unsigned short value; | |
| 337 const bool always_warn_if_redefined; | |
| 338 }; | |
| 339 | |
| 340 #define B(n, t, f) { DSC(n), t, f } | |
| 341 static const struct builtin_macro builtin_array[] = | |
| 342 { | |
| 343 B("__TIMESTAMP__", BT_TIMESTAMP, false), | |
| 344 B("__TIME__", BT_TIME, false), | |
| 345 B("__DATE__", BT_DATE, false), | |
| 346 B("__FILE__", BT_FILE, false), | |
| 347 B("__BASE_FILE__", BT_BASE_FILE, false), | |
| 348 B("__LINE__", BT_SPECLINE, true), | |
| 349 B("__INCLUDE_LEVEL__", BT_INCLUDE_LEVEL, true), | |
| 350 B("__COUNTER__", BT_COUNTER, true), | |
| 351 /* Keep builtins not used for -traditional-cpp at the end, and | |
| 352 update init_builtins() if any more are added. */ | |
| 353 B("_Pragma", BT_PRAGMA, true), | |
| 354 B("__STDC__", BT_STDC, true), | |
| 355 }; | |
| 356 #undef B | |
| 357 | |
| 358 struct builtin_operator | |
| 359 { | |
| 360 const uchar *const name; | |
| 361 const unsigned short len; | |
| 362 const unsigned short value; | |
| 363 }; | |
| 364 | |
| 365 #define B(n, t) { DSC(n), t } | |
| 366 static const struct builtin_operator operator_array[] = | |
| 367 { | |
| 368 B("and", CPP_AND_AND), | |
| 369 B("and_eq", CPP_AND_EQ), | |
| 370 B("bitand", CPP_AND), | |
| 371 B("bitor", CPP_OR), | |
| 372 B("compl", CPP_COMPL), | |
| 373 B("not", CPP_NOT), | |
| 374 B("not_eq", CPP_NOT_EQ), | |
| 375 B("or", CPP_OR_OR), | |
| 376 B("or_eq", CPP_OR_EQ), | |
| 377 B("xor", CPP_XOR), | |
| 378 B("xor_eq", CPP_XOR_EQ) | |
| 379 }; | |
| 380 #undef B | |
| 381 | |
| 382 /* Mark the C++ named operators in the hash table. */ | |
| 383 static void | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
384 mark_named_operators (cpp_reader *pfile, int flags) |
| 0 | 385 { |
| 386 const struct builtin_operator *b; | |
| 387 | |
| 388 for (b = operator_array; | |
| 389 b < (operator_array + ARRAY_SIZE (operator_array)); | |
| 390 b++) | |
| 391 { | |
| 392 cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len); | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
393 hp->flags |= flags; |
| 0 | 394 hp->is_directive = 0; |
| 395 hp->directive_index = b->value; | |
| 396 } | |
| 397 } | |
| 398 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
399 /* Helper function of cpp_type2name. Return the string associated with |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
400 named operator TYPE. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
401 const char * |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
402 cpp_named_operator2name (enum cpp_ttype type) |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
403 { |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
404 const struct builtin_operator *b; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
405 |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
406 for (b = operator_array; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
407 b < (operator_array + ARRAY_SIZE (operator_array)); |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
408 b++) |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
409 { |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
410 if (type == b->value) |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
411 return (const char *) b->name; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
412 } |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
413 |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
414 return NULL; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
415 } |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
416 |
| 0 | 417 void |
| 418 cpp_init_special_builtins (cpp_reader *pfile) | |
| 419 { | |
| 420 const struct builtin_macro *b; | |
| 421 size_t n = ARRAY_SIZE (builtin_array); | |
| 422 | |
| 423 if (CPP_OPTION (pfile, traditional)) | |
| 424 n -= 2; | |
| 425 else if (! CPP_OPTION (pfile, stdc_0_in_system_headers) | |
| 426 || CPP_OPTION (pfile, std)) | |
| 427 n--; | |
| 428 | |
| 429 for (b = builtin_array; b < builtin_array + n; b++) | |
| 430 { | |
| 431 cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len); | |
| 432 hp->type = NT_MACRO; | |
| 433 hp->flags |= NODE_BUILTIN; | |
| 434 if (b->always_warn_if_redefined | |
| 435 || CPP_OPTION (pfile, warn_builtin_macro_redefined)) | |
| 436 hp->flags |= NODE_WARN; | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
437 hp->value.builtin = (enum cpp_builtin_type) b->value; |
| 0 | 438 } |
| 439 } | |
| 440 | |
| 441 /* Read the builtins table above and enter them, and language-specific | |
| 442 macros, into the hash table. HOSTED is true if this is a hosted | |
| 443 environment. */ | |
| 444 void | |
| 445 cpp_init_builtins (cpp_reader *pfile, int hosted) | |
| 446 { | |
| 447 cpp_init_special_builtins (pfile); | |
| 448 | |
| 449 if (!CPP_OPTION (pfile, traditional) | |
| 450 && (! CPP_OPTION (pfile, stdc_0_in_system_headers) | |
| 451 || CPP_OPTION (pfile, std))) | |
| 452 _cpp_define_builtin (pfile, "__STDC__ 1"); | |
| 453 | |
| 454 if (CPP_OPTION (pfile, cplusplus)) | |
| 455 _cpp_define_builtin (pfile, "__cplusplus 1"); | |
| 456 else if (CPP_OPTION (pfile, lang) == CLK_ASM) | |
| 457 _cpp_define_builtin (pfile, "__ASSEMBLER__ 1"); | |
| 458 else if (CPP_OPTION (pfile, lang) == CLK_STDC94) | |
| 459 _cpp_define_builtin (pfile, "__STDC_VERSION__ 199409L"); | |
| 460 else if (CPP_OPTION (pfile, c99)) | |
| 461 _cpp_define_builtin (pfile, "__STDC_VERSION__ 199901L"); | |
| 462 | |
| 463 if (hosted) | |
| 464 _cpp_define_builtin (pfile, "__STDC_HOSTED__ 1"); | |
| 465 else | |
| 466 _cpp_define_builtin (pfile, "__STDC_HOSTED__ 0"); | |
| 467 | |
| 468 if (CPP_OPTION (pfile, objc)) | |
| 469 _cpp_define_builtin (pfile, "__OBJC__ 1"); | |
| 470 } | |
| 471 | |
| 472 /* Sanity-checks are dependent on command-line options, so it is | |
| 473 called as a subroutine of cpp_read_main_file (). */ | |
| 474 #if ENABLE_CHECKING | |
| 475 static void sanity_checks (cpp_reader *); | |
| 476 static void sanity_checks (cpp_reader *pfile) | |
| 477 { | |
| 478 cppchar_t test = 0; | |
| 479 size_t max_precision = 2 * CHAR_BIT * sizeof (cpp_num_part); | |
| 480 | |
| 481 /* Sanity checks for assumptions about CPP arithmetic and target | |
| 482 type precisions made by cpplib. */ | |
| 483 test--; | |
| 484 if (test < 1) | |
| 485 cpp_error (pfile, CPP_DL_ICE, "cppchar_t must be an unsigned type"); | |
| 486 | |
| 487 if (CPP_OPTION (pfile, precision) > max_precision) | |
| 488 cpp_error (pfile, CPP_DL_ICE, | |
| 489 "preprocessor arithmetic has maximum precision of %lu bits;" | |
| 490 " target requires %lu bits", | |
| 491 (unsigned long) max_precision, | |
| 492 (unsigned long) CPP_OPTION (pfile, precision)); | |
| 493 | |
| 494 if (CPP_OPTION (pfile, precision) < CPP_OPTION (pfile, int_precision)) | |
| 495 cpp_error (pfile, CPP_DL_ICE, | |
| 496 "CPP arithmetic must be at least as precise as a target int"); | |
| 497 | |
| 498 if (CPP_OPTION (pfile, char_precision) < 8) | |
| 499 cpp_error (pfile, CPP_DL_ICE, "target char is less than 8 bits wide"); | |
| 500 | |
| 501 if (CPP_OPTION (pfile, wchar_precision) < CPP_OPTION (pfile, char_precision)) | |
| 502 cpp_error (pfile, CPP_DL_ICE, | |
| 503 "target wchar_t is narrower than target char"); | |
| 504 | |
| 505 if (CPP_OPTION (pfile, int_precision) < CPP_OPTION (pfile, char_precision)) | |
| 506 cpp_error (pfile, CPP_DL_ICE, | |
| 507 "target int is narrower than target char"); | |
| 508 | |
| 509 /* This is assumed in eval_token() and could be fixed if necessary. */ | |
| 510 if (sizeof (cppchar_t) > sizeof (cpp_num_part)) | |
| 511 cpp_error (pfile, CPP_DL_ICE, | |
| 512 "CPP half-integer narrower than CPP character"); | |
| 513 | |
| 514 if (CPP_OPTION (pfile, wchar_precision) > BITS_PER_CPPCHAR_T) | |
| 515 cpp_error (pfile, CPP_DL_ICE, | |
| 516 "CPP on this host cannot handle wide character constants over" | |
| 517 " %lu bits, but the target requires %lu bits", | |
| 518 (unsigned long) BITS_PER_CPPCHAR_T, | |
| 519 (unsigned long) CPP_OPTION (pfile, wchar_precision)); | |
| 520 } | |
| 521 #else | |
| 522 # define sanity_checks(PFILE) | |
| 523 #endif | |
| 524 | |
| 525 /* This is called after options have been parsed, and partially | |
| 526 processed. */ | |
| 527 void | |
| 528 cpp_post_options (cpp_reader *pfile) | |
| 529 { | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
530 int flags; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
531 |
| 0 | 532 sanity_checks (pfile); |
| 533 | |
| 534 post_options (pfile); | |
| 535 | |
| 536 /* Mark named operators before handling command line macros. */ | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
537 flags = 0; |
| 0 | 538 if (CPP_OPTION (pfile, cplusplus) && CPP_OPTION (pfile, operator_names)) |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
539 flags |= NODE_OPERATOR; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
540 if (CPP_OPTION (pfile, warn_cxx_operator_names)) |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
541 flags |= NODE_DIAGNOSTIC | NODE_WARN_OPERATOR; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
542 if (flags != 0) |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
543 mark_named_operators (pfile, flags); |
| 0 | 544 } |
| 545 | |
| 546 /* Setup for processing input from the file named FNAME, or stdin if | |
| 547 it is the empty string. Return the original filename | |
| 548 on success (e.g. foo.i->foo.c), or NULL on failure. */ | |
| 549 const char * | |
| 550 cpp_read_main_file (cpp_reader *pfile, const char *fname) | |
| 551 { | |
| 552 if (CPP_OPTION (pfile, deps.style) != DEPS_NONE) | |
| 553 { | |
| 554 if (!pfile->deps) | |
| 555 pfile->deps = deps_init (); | |
| 556 | |
| 557 /* Set the default target (if there is none already). */ | |
| 558 deps_add_default_target (pfile->deps, fname); | |
| 559 } | |
| 560 | |
| 561 pfile->main_file | |
| 562 = _cpp_find_file (pfile, fname, &pfile->no_search_path, false, 0); | |
| 563 if (_cpp_find_failed (pfile->main_file)) | |
| 564 return NULL; | |
| 565 | |
| 566 _cpp_stack_file (pfile, pfile->main_file, false); | |
| 567 | |
| 568 /* For foo.i, read the original filename foo.c now, for the benefit | |
| 569 of the front ends. */ | |
| 570 if (CPP_OPTION (pfile, preprocessed)) | |
| 571 { | |
| 572 read_original_filename (pfile); | |
| 573 fname = pfile->line_table->maps[pfile->line_table->used-1].to_file; | |
| 574 } | |
| 575 return fname; | |
| 576 } | |
| 577 | |
| 578 /* For preprocessed files, if the first tokens are of the form # NUM. | |
| 579 handle the directive so we know the original file name. This will | |
| 580 generate file_change callbacks, which the front ends must handle | |
| 581 appropriately given their state of initialization. */ | |
| 582 static void | |
| 583 read_original_filename (cpp_reader *pfile) | |
| 584 { | |
| 585 const cpp_token *token, *token1; | |
| 586 | |
| 587 /* Lex ahead; if the first tokens are of the form # NUM, then | |
| 588 process the directive, otherwise back up. */ | |
| 589 token = _cpp_lex_direct (pfile); | |
| 590 if (token->type == CPP_HASH) | |
| 591 { | |
| 592 pfile->state.in_directive = 1; | |
| 593 token1 = _cpp_lex_direct (pfile); | |
| 594 _cpp_backup_tokens (pfile, 1); | |
| 595 pfile->state.in_directive = 0; | |
| 596 | |
| 597 /* If it's a #line directive, handle it. */ | |
| 598 if (token1->type == CPP_NUMBER) | |
| 599 { | |
| 600 _cpp_handle_directive (pfile, token->flags & PREV_WHITE); | |
| 601 read_original_directory (pfile); | |
| 602 return; | |
| 603 } | |
| 604 } | |
| 605 | |
| 606 /* Backup as if nothing happened. */ | |
| 607 _cpp_backup_tokens (pfile, 1); | |
| 608 } | |
| 609 | |
| 610 /* For preprocessed files, if the tokens following the first filename | |
| 611 line is of the form # <line> "/path/name//", handle the | |
| 612 directive so we know the original current directory. */ | |
| 613 static void | |
| 614 read_original_directory (cpp_reader *pfile) | |
| 615 { | |
| 616 const cpp_token *hash, *token; | |
| 617 | |
| 618 /* Lex ahead; if the first tokens are of the form # NUM, then | |
| 619 process the directive, otherwise back up. */ | |
| 620 hash = _cpp_lex_direct (pfile); | |
| 621 if (hash->type != CPP_HASH) | |
| 622 { | |
| 623 _cpp_backup_tokens (pfile, 1); | |
| 624 return; | |
| 625 } | |
| 626 | |
| 627 token = _cpp_lex_direct (pfile); | |
| 628 | |
| 629 if (token->type != CPP_NUMBER) | |
| 630 { | |
| 631 _cpp_backup_tokens (pfile, 2); | |
| 632 return; | |
| 633 } | |
| 634 | |
| 635 token = _cpp_lex_direct (pfile); | |
| 636 | |
| 637 if (token->type != CPP_STRING | |
| 638 || ! (token->val.str.len >= 5 | |
| 639 && token->val.str.text[token->val.str.len-2] == '/' | |
| 640 && token->val.str.text[token->val.str.len-3] == '/')) | |
| 641 { | |
| 642 _cpp_backup_tokens (pfile, 3); | |
| 643 return; | |
| 644 } | |
| 645 | |
| 646 if (pfile->cb.dir_change) | |
| 647 { | |
| 648 char *debugdir = (char *) alloca (token->val.str.len - 3); | |
| 649 | |
| 650 memcpy (debugdir, (const char *) token->val.str.text + 1, | |
| 651 token->val.str.len - 4); | |
| 652 debugdir[token->val.str.len - 4] = '\0'; | |
| 653 | |
| 654 pfile->cb.dir_change (pfile, debugdir); | |
| 655 } | |
| 656 } | |
| 657 | |
| 658 /* This is called at the end of preprocessing. It pops the last | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
659 buffer and writes dependency output. |
| 0 | 660 |
| 661 Maybe it should also reset state, such that you could call | |
| 662 cpp_start_read with a new filename to restart processing. */ | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
663 void |
| 0 | 664 cpp_finish (cpp_reader *pfile, FILE *deps_stream) |
| 665 { | |
| 666 /* Warn about unused macros before popping the final buffer. */ | |
| 667 if (CPP_OPTION (pfile, warn_unused_macros)) | |
| 668 cpp_forall_identifiers (pfile, _cpp_warn_if_unused_macro, NULL); | |
| 669 | |
| 670 /* lex.c leaves the final buffer on the stack. This it so that | |
| 671 it returns an unending stream of CPP_EOFs to the client. If we | |
| 672 popped the buffer, we'd dereference a NULL buffer pointer and | |
| 673 segfault. It's nice to allow the client to do worry-free excess | |
| 674 cpp_get_token calls. */ | |
| 675 while (pfile->buffer) | |
| 676 _cpp_pop_buffer (pfile); | |
| 677 | |
| 678 if (CPP_OPTION (pfile, deps.style) != DEPS_NONE | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
47
diff
changeset
|
679 && deps_stream) |
| 0 | 680 { |
| 681 deps_write (pfile->deps, deps_stream, 72); | |
| 682 | |
| 683 if (CPP_OPTION (pfile, deps.phony_targets)) | |
| 684 deps_phony_targets (pfile->deps, deps_stream); | |
| 685 } | |
| 686 | |
| 687 /* Report on headers that could use multiple include guards. */ | |
| 688 if (CPP_OPTION (pfile, print_include_names)) | |
| 689 _cpp_report_missing_guards (pfile); | |
| 690 } | |
| 691 | |
| 692 static void | |
| 693 post_options (cpp_reader *pfile) | |
| 694 { | |
| 695 /* -Wtraditional is not useful in C++ mode. */ | |
| 696 if (CPP_OPTION (pfile, cplusplus)) | |
| 697 CPP_OPTION (pfile, warn_traditional) = 0; | |
| 698 | |
| 699 /* Permanently disable macro expansion if we are rescanning | |
| 700 preprocessed text. Read preprocesed source in ISO mode. */ | |
| 701 if (CPP_OPTION (pfile, preprocessed)) | |
| 702 { | |
| 703 if (!CPP_OPTION (pfile, directives_only)) | |
| 704 pfile->state.prevent_expansion = 1; | |
| 705 CPP_OPTION (pfile, traditional) = 0; | |
| 706 } | |
| 707 | |
| 708 if (CPP_OPTION (pfile, warn_trigraphs) == 2) | |
| 709 CPP_OPTION (pfile, warn_trigraphs) = !CPP_OPTION (pfile, trigraphs); | |
| 710 | |
| 711 if (CPP_OPTION (pfile, traditional)) | |
| 712 { | |
| 713 CPP_OPTION (pfile, cplusplus_comments) = 0; | |
| 714 | |
| 715 /* Traditional CPP does not accurately track column information. */ | |
| 716 CPP_OPTION (pfile, show_column) = 0; | |
| 717 CPP_OPTION (pfile, trigraphs) = 0; | |
| 718 CPP_OPTION (pfile, warn_trigraphs) = 0; | |
| 719 } | |
| 720 } |