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