]>
Commit | Line | Data |
---|---|---|
a1968bf9 JD |
1 | /* Copyright (C) 2008 Free Software Foundation, Inc. |
2 | ||
3 | This file is part of GCC. | |
4 | ||
5 | GCC is free software; you can redistribute it and/or modify it under | |
6 | the terms of the GNU General Public License as published by the Free | |
7 | Software Foundation; either version 3, or (at your option) any later | |
8 | version. | |
9 | ||
10 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
11 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
12 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
13 | for more details. | |
14 | ||
15 | You should have received a copy of the GNU General Public License | |
16 | along with GCC; see the file COPYING3. If not see | |
17 | <http://www.gnu.org/licenses/>. */ | |
18 | ||
670637ee DF |
19 | #include "config.h" |
20 | #include "system.h" | |
21 | #include "coretypes.h" | |
22 | #include "tm.h" | |
23 | #include "tree.h" | |
24 | #include "version.h" | |
25 | #include "flags.h" | |
26 | ||
27 | ||
28 | #include "options.h" | |
29 | #include "gfortran.h" | |
3c2a68b3 | 30 | #include "tm_p.h" /* Target prototypes. */ |
670637ee DF |
31 | #include "target.h" |
32 | #include "toplev.h" | |
33 | #include "diagnostic.h" | |
34 | ||
35 | #include "../../libcpp/internal.h" | |
36 | #include "cpp.h" | |
37 | #include "incpath.h" | |
38 | ||
39 | #ifndef TARGET_OS_CPP_BUILTINS | |
40 | # define TARGET_OS_CPP_BUILTINS() | |
41 | #endif | |
42 | ||
43 | #ifndef TARGET_OBJFMT_CPP_BUILTINS | |
44 | # define TARGET_OBJFMT_CPP_BUILTINS() | |
45 | #endif | |
46 | ||
47 | ||
48 | /* Holds switches parsed by gfc_cpp_handle_option (), but whose | |
49 | handling is deferred to gfc_cpp_init (). */ | |
50 | typedef struct | |
51 | { | |
52 | enum opt_code code; | |
53 | const char *arg; | |
54 | } | |
55 | gfc_cpp_deferred_opt_t; | |
56 | ||
57 | ||
58 | /* Defined and undefined macros being queued for output with -dU at | |
59 | the next newline. */ | |
60 | typedef struct gfc_cpp_macro_queue | |
61 | { | |
62 | struct gfc_cpp_macro_queue *next; /* Next macro in the list. */ | |
63 | char *macro; /* The name of the macro if not | |
64 | defined, the full definition if | |
65 | defined. */ | |
66 | } gfc_cpp_macro_queue; | |
67 | static gfc_cpp_macro_queue *cpp_define_queue, *cpp_undefine_queue; | |
68 | ||
69 | struct | |
70 | { | |
71 | /* Argument of -cpp, implied by SPEC; | |
72 | if NULL, preprocessing disabled. */ | |
73 | const char *temporary_filename; | |
74 | ||
75 | const char *output_filename; /* -o <arg> */ | |
76 | int preprocess_only; /* -E */ | |
77 | int discard_comments; /* -C */ | |
78 | int discard_comments_in_macro_exp; /* -CC */ | |
79 | int print_include_names; /* -H */ | |
80 | int no_line_commands; /* -P */ | |
81 | char dump_macros; /* -d[DMNU] */ | |
82 | int dump_includes; /* -dI */ | |
83 | int working_directory; /* -fworking-directory */ | |
84 | int no_predefined; /* -undef */ | |
85 | int standard_include_paths; /* -nostdinc */ | |
86 | int verbose; /* -v */ | |
87 | ||
88 | const char *multilib; /* -imultilib <dir> */ | |
89 | const char *prefix; /* -iprefix <dir> */ | |
90 | const char *sysroot; /* -isysroot <dir> */ | |
91 | ||
92 | /* Options whose handling needs to be deferred until the | |
93 | appropriate cpp-objects are created: | |
94 | -A predicate=answer | |
95 | -D <macro>[=<val>] | |
96 | -U <macro> */ | |
97 | gfc_cpp_deferred_opt_t *deferred_opt; | |
98 | int deferred_opt_count; | |
99 | } | |
100 | gfc_cpp_option; | |
101 | ||
102 | /* Structures used with libcpp: */ | |
103 | static cpp_options *cpp_option = NULL; | |
104 | static cpp_reader *cpp_in = NULL; | |
105 | ||
106 | /* Defined in toplev.c. */ | |
107 | extern const char *asm_file_name; | |
108 | ||
109 | ||
110 | ||
111 | ||
112 | /* Encapsulates state used to convert a stream of cpp-tokens into | |
113 | a text file. */ | |
114 | static struct | |
115 | { | |
116 | FILE *outf; /* Stream to write to. */ | |
117 | const cpp_token *prev; /* Previous token. */ | |
118 | const cpp_token *source; /* Source token for spacing. */ | |
119 | int src_line; /* Line number currently being written. */ | |
120 | unsigned char printed; /* Nonzero if something output at line. */ | |
121 | bool first_time; /* cb_file_change hasn't been called yet. */ | |
122 | } print; | |
123 | ||
124 | /* General output routines. */ | |
125 | static void scan_translation_unit (cpp_reader *); | |
126 | static void scan_translation_unit_trad (cpp_reader *); | |
127 | ||
128 | /* Callback routines for the parser. Most of these are active only | |
129 | in specific modes. */ | |
130 | static void cb_file_change (cpp_reader *, const struct line_map *); | |
131 | static void cb_line_change (cpp_reader *, const cpp_token *, int); | |
132 | static void cb_define (cpp_reader *, source_location, cpp_hashnode *); | |
133 | static void cb_undef (cpp_reader *, source_location, cpp_hashnode *); | |
134 | static void cb_def_pragma (cpp_reader *, source_location); | |
135 | static void cb_include (cpp_reader *, source_location, const unsigned char *, | |
136 | const char *, int, const cpp_token **); | |
137 | static void cb_ident (cpp_reader *, source_location, const cpp_string *); | |
138 | static void cb_used_define (cpp_reader *, source_location, cpp_hashnode *); | |
139 | static void cb_used_undef (cpp_reader *, source_location, cpp_hashnode *); | |
140 | void pp_dir_change (cpp_reader *, const char *); | |
141 | ||
142 | static int dump_macro (cpp_reader *, cpp_hashnode *, void *); | |
143 | static void dump_queued_macros (cpp_reader *); | |
144 | ||
145 | ||
146 | static void | |
147 | cpp_define_builtins (cpp_reader *pfile) | |
148 | { | |
149 | int major, minor, patchlevel; | |
150 | ||
151 | /* Initialize CPP built-ins; '1' corresponds to 'flag_hosted' | |
152 | in C, defines __STDC_HOSTED__?! */ | |
153 | cpp_init_builtins (pfile, 0); | |
154 | ||
155 | /* Initialize GFORTRAN specific builtins. | |
156 | These are documented. */ | |
157 | if (sscanf (BASEVER, "%d.%d.%d", &major, &minor, &patchlevel) != 3) | |
158 | { | |
159 | sscanf (BASEVER, "%d.%d", &major, &minor); | |
160 | patchlevel = 0; | |
161 | } | |
162 | cpp_define_formatted (pfile, "__GNUC__=%d", major); | |
163 | cpp_define_formatted (pfile, "__GNUC_MINOR__=%d", minor); | |
164 | cpp_define_formatted (pfile, "__GNUC_PATCHLEVEL__=%d", patchlevel); | |
165 | ||
166 | cpp_define (pfile, "__GFORTRAN__=1"); | |
167 | cpp_define (pfile, "_LANGUAGE_FORTRAN=1"); | |
168 | ||
169 | if (gfc_option.flag_openmp) | |
94b12901 | 170 | cpp_define (pfile, "_OPENMP=200805"); |
670637ee DF |
171 | |
172 | ||
173 | /* More builtins that might be useful, but are not documented | |
174 | (in no particular order). */ | |
175 | cpp_define_formatted (pfile, "__VERSION__=\"%s\"", version_string); | |
176 | ||
177 | if (flag_pic) | |
178 | { | |
179 | cpp_define_formatted (pfile, "__pic__=%d", flag_pic); | |
180 | cpp_define_formatted (pfile, "__PIC__=%d", flag_pic); | |
181 | } | |
182 | if (flag_pie) | |
183 | { | |
184 | cpp_define_formatted (pfile, "__pie__=%d", flag_pie); | |
185 | cpp_define_formatted (pfile, "__PIE__=%d", flag_pie); | |
186 | } | |
187 | ||
188 | if (optimize_size) | |
189 | cpp_define (pfile, "__OPTIMIZE_SIZE__"); | |
190 | if (optimize) | |
191 | cpp_define (pfile, "__OPTIMIZE__"); | |
192 | ||
193 | if (fast_math_flags_set_p ()) | |
194 | cpp_define (pfile, "__FAST_MATH__"); | |
195 | if (flag_signaling_nans) | |
196 | cpp_define (pfile, "__SUPPORT_SNAN__"); | |
197 | ||
198 | cpp_define_formatted (pfile, "__FINITE_MATH_ONLY__=%d", flag_finite_math_only); | |
199 | ||
200 | /* Definitions for LP64 model. */ | |
201 | if (TYPE_PRECISION (long_integer_type_node) == 64 | |
202 | && POINTER_SIZE == 64 | |
203 | && TYPE_PRECISION (integer_type_node) == 32) | |
204 | { | |
205 | cpp_define (pfile, "_LP64"); | |
206 | cpp_define (pfile, "__LP64__"); | |
207 | } | |
208 | ||
209 | /* Define NAME with value TYPE size_unit. | |
210 | The C-side also defines __SIZEOF_WCHAR_T__, __SIZEOF_WINT_T__ | |
211 | __SIZEOF_PTRDIFF_T__, however, fortran seems to lack the | |
212 | appropriate type nodes. */ | |
213 | ||
214 | #define define_type_sizeof(NAME, TYPE) \ | |
215 | cpp_define_formatted (pfile, NAME"="HOST_WIDE_INT_PRINT_DEC, \ | |
216 | tree_low_cst (TYPE_SIZE_UNIT (TYPE), 1)) | |
217 | ||
218 | define_type_sizeof ("__SIZEOF_INT__", integer_type_node); | |
219 | define_type_sizeof ("__SIZEOF_LONG__", long_integer_type_node); | |
220 | define_type_sizeof ("__SIZEOF_LONG_LONG__", long_long_integer_type_node); | |
221 | define_type_sizeof ("__SIZEOF_SHORT__", short_integer_type_node); | |
222 | define_type_sizeof ("__SIZEOF_FLOAT__", float_type_node); | |
223 | define_type_sizeof ("__SIZEOF_DOUBLE__", double_type_node); | |
224 | define_type_sizeof ("__SIZEOF_LONG_DOUBLE__", long_double_type_node); | |
225 | define_type_sizeof ("__SIZEOF_SIZE_T__", size_type_node); | |
226 | ||
227 | #undef define_type_sizeof | |
228 | ||
229 | /* The defines below are necessary for the TARGET_* macros. | |
230 | ||
231 | FIXME: Note that builtin_define_std() actually is a function | |
232 | in c-cppbuiltin.c which uses flags undefined for Fortran. | |
233 | Let's skip this for now. If needed, one needs to look into it | |
234 | once more. */ | |
235 | ||
236 | # define builtin_define(TXT) cpp_define (pfile, TXT) | |
237 | # define builtin_define_std(TXT) | |
238 | # define builtin_assert(TXT) cpp_assert (pfile, TXT) | |
239 | ||
3c2a68b3 DF |
240 | /* FIXME: Pandora's Box |
241 | Using the macros below results in multiple breakages: | |
242 | - mingw will fail to compile this file as dependent macros | |
243 | assume to be used in c-cppbuiltin.c only. Further, they use | |
244 | flags only valid/defined in C (same as noted above). | |
245 | [config/i386/mingw32.h, config/i386/cygming.h] | |
246 | - other platforms (not as popular) break similarly | |
273d8a65 | 247 | [grep for 'builtin_define_with_int_value' in gcc/config/] |
3c2a68b3 | 248 | |
670637ee DF |
249 | TARGET_CPU_CPP_BUILTINS (); |
250 | TARGET_OS_CPP_BUILTINS (); | |
3c2a68b3 | 251 | TARGET_OBJFMT_CPP_BUILTINS (); */ |
670637ee DF |
252 | |
253 | #undef builtin_define | |
254 | #undef builtin_define_std | |
255 | #undef builtin_assert | |
256 | } | |
257 | ||
258 | bool | |
259 | gfc_cpp_enabled (void) | |
260 | { | |
261 | return gfc_cpp_option.temporary_filename != NULL; | |
262 | } | |
263 | ||
264 | bool | |
265 | gfc_cpp_preprocess_only (void) | |
266 | { | |
267 | return gfc_cpp_option.preprocess_only; | |
268 | } | |
269 | ||
270 | const char * | |
271 | gfc_cpp_temporary_file (void) | |
272 | { | |
273 | return gfc_cpp_option.temporary_filename; | |
274 | } | |
275 | ||
276 | void | |
277 | gfc_cpp_init_options (unsigned int argc, | |
278 | const char **argv ATTRIBUTE_UNUSED) | |
279 | { | |
280 | /* Do not create any objects from libcpp here. If no | |
281 | preprocessing is requested, this would be wasted | |
282 | time and effort. | |
283 | ||
284 | See gfc_cpp_post_options() instead. */ | |
285 | ||
286 | gfc_cpp_option.temporary_filename = NULL; | |
287 | gfc_cpp_option.output_filename = NULL; | |
288 | gfc_cpp_option.preprocess_only = 0; | |
289 | gfc_cpp_option.discard_comments = 1; | |
290 | gfc_cpp_option.discard_comments_in_macro_exp = 1; | |
291 | gfc_cpp_option.print_include_names = 0; | |
292 | gfc_cpp_option.no_line_commands = 0; | |
293 | gfc_cpp_option.dump_macros = '\0'; | |
294 | gfc_cpp_option.dump_includes = 0; | |
295 | gfc_cpp_option.working_directory = -1; | |
296 | gfc_cpp_option.no_predefined = 0; | |
297 | gfc_cpp_option.standard_include_paths = 1; | |
298 | gfc_cpp_option.verbose = 0; | |
299 | ||
300 | gfc_cpp_option.multilib = NULL; | |
301 | gfc_cpp_option.prefix = NULL; | |
302 | gfc_cpp_option.sysroot = NULL; | |
303 | ||
304 | gfc_cpp_option.deferred_opt = XNEWVEC (gfc_cpp_deferred_opt_t, argc); | |
305 | gfc_cpp_option.deferred_opt_count = 0; | |
306 | } | |
307 | ||
308 | int | |
309 | gfc_cpp_handle_option (size_t scode, const char *arg, int value ATTRIBUTE_UNUSED) | |
310 | { | |
311 | int result = 1; | |
312 | enum opt_code code = (enum opt_code) scode; | |
313 | ||
314 | switch (code) | |
315 | { | |
316 | default: | |
317 | result = 0; | |
318 | break; | |
319 | ||
320 | case OPT_cpp: | |
321 | gfc_cpp_option.temporary_filename = arg; | |
322 | break; | |
323 | ||
324 | case OPT_nocpp: | |
325 | gfc_cpp_option.temporary_filename = 0L; | |
326 | break; | |
327 | ||
328 | case OPT_d: | |
329 | for ( ; *arg; ++arg) | |
330 | switch (*arg) | |
331 | { | |
332 | case 'D': | |
333 | case 'M': | |
334 | case 'N': | |
335 | case 'U': | |
336 | gfc_cpp_option.dump_macros = *arg; | |
337 | break; | |
338 | ||
339 | case 'I': | |
340 | gfc_cpp_option.dump_includes = 1; | |
341 | break; | |
342 | } | |
343 | break; | |
344 | ||
345 | case OPT_fworking_directory: | |
346 | gfc_cpp_option.working_directory = value; | |
347 | break; | |
348 | ||
c3280643 DF |
349 | case OPT_idirafter: |
350 | gfc_cpp_add_include_path_after (xstrdup(arg), true); | |
351 | break; | |
352 | ||
670637ee DF |
353 | case OPT_imultilib: |
354 | gfc_cpp_option.multilib = arg; | |
355 | break; | |
356 | ||
357 | case OPT_iprefix: | |
358 | gfc_cpp_option.prefix = arg; | |
359 | break; | |
360 | ||
361 | case OPT_isysroot: | |
362 | gfc_cpp_option.sysroot = arg; | |
363 | break; | |
364 | ||
365 | case OPT_iquote: | |
366 | case OPT_isystem: | |
367 | gfc_cpp_add_include_path (xstrdup(arg), true); | |
368 | break; | |
369 | ||
370 | case OPT_nostdinc: | |
371 | gfc_cpp_option.standard_include_paths = value; | |
372 | break; | |
373 | ||
374 | case OPT_o: | |
375 | if (!gfc_cpp_option.output_filename) | |
376 | gfc_cpp_option.output_filename = arg; | |
377 | else | |
378 | gfc_fatal_error ("output filename specified twice"); | |
379 | break; | |
380 | ||
381 | case OPT_undef: | |
382 | gfc_cpp_option.no_predefined = value; | |
383 | break; | |
384 | ||
385 | case OPT_v: | |
386 | gfc_cpp_option.verbose = value; | |
387 | break; | |
388 | ||
389 | case OPT_A: | |
390 | case OPT_D: | |
391 | case OPT_U: | |
392 | gfc_cpp_option.deferred_opt[gfc_cpp_option.deferred_opt_count].code = code; | |
393 | gfc_cpp_option.deferred_opt[gfc_cpp_option.deferred_opt_count].arg = arg; | |
394 | gfc_cpp_option.deferred_opt_count++; | |
395 | break; | |
396 | ||
397 | case OPT_C: | |
398 | gfc_cpp_option.discard_comments = 0; | |
399 | break; | |
400 | ||
401 | case OPT_CC: | |
402 | gfc_cpp_option.discard_comments = 0; | |
403 | gfc_cpp_option.discard_comments_in_macro_exp = 0; | |
404 | break; | |
405 | ||
406 | case OPT_E: | |
407 | gfc_cpp_option.preprocess_only = 1; | |
408 | break; | |
409 | ||
410 | case OPT_H: | |
411 | gfc_cpp_option.print_include_names = 1; | |
412 | break; | |
413 | ||
414 | case OPT_P: | |
415 | gfc_cpp_option.no_line_commands = 1; | |
416 | break; | |
417 | } | |
418 | ||
419 | return result; | |
420 | } | |
421 | ||
422 | ||
423 | void | |
424 | gfc_cpp_post_options (void) | |
425 | { | |
426 | /* Any preprocessing-related option without '-cpp' is considered | |
427 | an error. */ | |
428 | if (!gfc_cpp_enabled () | |
429 | && (gfc_cpp_preprocess_only () | |
430 | || !gfc_cpp_option.discard_comments | |
431 | || !gfc_cpp_option.discard_comments_in_macro_exp | |
432 | || gfc_cpp_option.print_include_names | |
433 | || gfc_cpp_option.no_line_commands | |
434 | || gfc_cpp_option.dump_macros | |
435 | || gfc_cpp_option.dump_includes)) | |
436 | gfc_fatal_error("To enable preprocessing, use -cpp"); | |
437 | ||
438 | cpp_in = cpp_create_reader (CLK_GNUC89, NULL, line_table); | |
439 | if (!gfc_cpp_enabled()) | |
440 | return; | |
441 | ||
442 | gcc_assert (cpp_in); | |
443 | ||
444 | /* The cpp_options-structure defines far more flags than those set here. | |
445 | If any other is implemented, see c-opt.c (sanitize_cpp_opts) for | |
446 | inter-option dependencies that may need to be enforced. */ | |
447 | cpp_option = cpp_get_options (cpp_in); | |
448 | gcc_assert (cpp_option); | |
449 | ||
450 | /* TODO: allow non-traditional modes, e.g. by -cpp-std=...? */ | |
451 | cpp_option->traditional = 1; | |
452 | cpp_option->cplusplus_comments = 0; | |
453 | ||
454 | cpp_option->pedantic = pedantic; | |
455 | cpp_option->inhibit_warnings = inhibit_warnings; | |
456 | ||
457 | cpp_option->dollars_in_ident = gfc_option.flag_dollar_ok; | |
458 | cpp_option->discard_comments = gfc_cpp_option.discard_comments; | |
459 | cpp_option->discard_comments_in_macro_exp = gfc_cpp_option.discard_comments_in_macro_exp; | |
460 | cpp_option->print_include_names = gfc_cpp_option.print_include_names; | |
461 | cpp_option->preprocessed = gfc_option.flag_preprocessed; | |
462 | ||
463 | if (gfc_cpp_option.working_directory == -1) | |
464 | gfc_cpp_option.working_directory = (debug_info_level != DINFO_LEVEL_NONE); | |
465 | ||
466 | cpp_post_options (cpp_in); | |
467 | ||
468 | /* If an error has occurred in cpplib, note it so we fail immediately. */ | |
469 | errorcount += cpp_errors (cpp_in); | |
470 | ||
471 | gfc_cpp_register_include_paths (); | |
472 | } | |
473 | ||
474 | ||
475 | void | |
476 | gfc_cpp_init_0 (void) | |
477 | { | |
478 | struct cpp_callbacks *cb; | |
479 | ||
480 | cb = cpp_get_callbacks (cpp_in); | |
481 | cb->file_change = cb_file_change; | |
482 | cb->line_change = cb_line_change; | |
483 | cb->ident = cb_ident; | |
484 | cb->def_pragma = cb_def_pragma; | |
485 | ||
486 | if (gfc_cpp_option.dump_includes) | |
487 | cb->include = cb_include; | |
488 | ||
489 | if ((gfc_cpp_option.dump_macros == 'D') | |
490 | || (gfc_cpp_option.dump_macros == 'N')) | |
491 | { | |
492 | cb->define = cb_define; | |
493 | cb->undef = cb_undef; | |
494 | } | |
495 | ||
496 | if (gfc_cpp_option.dump_macros == 'U') | |
497 | { | |
498 | cb->before_define = dump_queued_macros; | |
499 | cb->used_define = cb_used_define; | |
500 | cb->used_undef = cb_used_undef; | |
501 | } | |
502 | ||
503 | /* Initialize the print structure. Setting print.src_line to -1 here is | |
504 | a trick to guarantee that the first token of the file will cause | |
505 | a linemarker to be output by maybe_print_line. */ | |
506 | print.src_line = -1; | |
507 | print.printed = 0; | |
508 | print.prev = 0; | |
509 | print.first_time = 1; | |
510 | ||
511 | if (gfc_cpp_preprocess_only ()) | |
512 | { | |
513 | if (gfc_cpp_option.output_filename) | |
514 | { | |
515 | /* This needs cheating: with "-E -o <file>", the user wants the | |
516 | preprocessed output in <file>. However, if nothing is done | |
517 | about it <file> is also used for assembler output. Hence, it | |
518 | is necessary to redirect assembler output (actually nothing | |
519 | as -E implies -fsyntax-only) to another file, otherwise the | |
520 | output from preprocessing is lost. */ | |
521 | asm_file_name = gfc_cpp_option.temporary_filename; | |
522 | ||
523 | print.outf = fopen (gfc_cpp_option.output_filename, "w"); | |
524 | if (print.outf == NULL) | |
525 | gfc_fatal_error ("opening output file %s: %s", | |
526 | gfc_cpp_option.output_filename, strerror(errno)); | |
527 | } | |
528 | else | |
529 | print.outf = stdout; | |
530 | } | |
531 | else | |
532 | { | |
533 | print.outf = fopen (gfc_cpp_option.temporary_filename, "w"); | |
534 | if (print.outf == NULL) | |
535 | gfc_fatal_error ("opening output file %s: %s", | |
536 | gfc_cpp_option.temporary_filename, strerror(errno)); | |
537 | } | |
538 | ||
539 | gcc_assert(cpp_in); | |
540 | if (!cpp_read_main_file (cpp_in, gfc_source_file)) | |
541 | errorcount++; | |
542 | } | |
543 | ||
544 | void | |
545 | gfc_cpp_init (void) | |
546 | { | |
547 | int i; | |
548 | ||
1e60697f DF |
549 | if (gfc_option.flag_preprocessed) |
550 | return; | |
551 | ||
670637ee DF |
552 | cpp_change_file (cpp_in, LC_RENAME, _("<built-in>")); |
553 | if (!gfc_cpp_option.no_predefined) | |
554 | cpp_define_builtins (cpp_in); | |
555 | ||
556 | /* Handle deferred options from command-line. */ | |
557 | cpp_change_file (cpp_in, LC_RENAME, _("<command-line>")); | |
558 | ||
559 | for (i = 0; i < gfc_cpp_option.deferred_opt_count; i++) | |
560 | { | |
561 | gfc_cpp_deferred_opt_t *opt = &gfc_cpp_option.deferred_opt[i]; | |
562 | ||
563 | if (opt->code == OPT_D) | |
564 | cpp_define (cpp_in, opt->arg); | |
565 | else if (opt->code == OPT_U) | |
566 | cpp_undef (cpp_in, opt->arg); | |
567 | else if (opt->code == OPT_A) | |
568 | { | |
569 | if (opt->arg[0] == '-') | |
570 | cpp_unassert (cpp_in, opt->arg + 1); | |
571 | else | |
572 | cpp_assert (cpp_in, opt->arg); | |
573 | } | |
574 | } | |
575 | ||
576 | if (gfc_cpp_option.working_directory | |
577 | && gfc_cpp_option.preprocess_only && !gfc_cpp_option.no_line_commands) | |
578 | pp_dir_change (cpp_in, get_src_pwd ()); | |
579 | } | |
580 | ||
17b1d2a0 | 581 | gfc_try |
670637ee DF |
582 | gfc_cpp_preprocess (const char *source_file) |
583 | { | |
584 | if (!gfc_cpp_enabled ()) | |
585 | return FAILURE; | |
586 | ||
587 | cpp_change_file (cpp_in, LC_RENAME, source_file); | |
588 | ||
589 | if (cpp_option->traditional) | |
590 | scan_translation_unit_trad (cpp_in); | |
591 | else | |
592 | scan_translation_unit (cpp_in); | |
593 | ||
594 | /* -dM command line option. */ | |
595 | if (gfc_cpp_preprocess_only () && | |
596 | gfc_cpp_option.dump_macros == 'M') | |
597 | { | |
598 | putc ('\n', print.outf); | |
599 | cpp_forall_identifiers (cpp_in, dump_macro, NULL); | |
600 | } | |
601 | ||
1e60697f DF |
602 | putc ('\n', print.outf); |
603 | ||
670637ee DF |
604 | if (!gfc_cpp_preprocess_only () |
605 | || (gfc_cpp_preprocess_only () && gfc_cpp_option.output_filename)) | |
606 | fclose (print.outf); | |
607 | ||
608 | return SUCCESS; | |
609 | } | |
610 | ||
611 | void | |
612 | gfc_cpp_done (void) | |
613 | { | |
614 | if (!gfc_cpp_enabled ()) | |
615 | return; | |
616 | ||
617 | /* TODO: if dependency tracking was enabled, call | |
618 | cpp_finish() here to write dependencies. | |
619 | ||
620 | Use cpp_get_deps() to access the current source's | |
621 | dependencies during parsing. Add dependencies using | |
622 | the mkdeps-interface (defined in libcpp). */ | |
623 | ||
624 | gcc_assert (cpp_in); | |
625 | cpp_undef_all (cpp_in); | |
626 | cpp_clear_file_cache (cpp_in); | |
627 | } | |
628 | ||
629 | /* PATH must be malloc-ed and NULL-terminated. */ | |
630 | void | |
631 | gfc_cpp_add_include_path (char *path, bool user_supplied) | |
632 | { | |
633 | /* CHAIN sets cpp_dir->sysp which differs from 0 if PATH is a system | |
634 | include path. Fortran does not define any system include paths. */ | |
670637ee DF |
635 | int cxx_aware = 0; |
636 | ||
0ee1b105 | 637 | add_path (path, BRACKET, cxx_aware, user_supplied); |
670637ee DF |
638 | } |
639 | ||
c3280643 DF |
640 | void |
641 | gfc_cpp_add_include_path_after (char *path, bool user_supplied) | |
642 | { | |
643 | int cxx_aware = 0; | |
644 | add_path (path, AFTER, cxx_aware, user_supplied); | |
645 | } | |
646 | ||
670637ee DF |
647 | void |
648 | gfc_cpp_register_include_paths (void) | |
649 | { | |
650 | int cxx_stdinc = 0; | |
651 | register_include_chains (cpp_in, gfc_cpp_option.sysroot, | |
652 | gfc_cpp_option.prefix, gfc_cpp_option.multilib, | |
653 | gfc_cpp_option.standard_include_paths, cxx_stdinc, | |
654 | gfc_cpp_option.verbose); | |
655 | } | |
656 | ||
657 | ||
658 | ||
659 | static void scan_translation_unit_trad (cpp_reader *); | |
660 | static void account_for_newlines (const unsigned char *, size_t); | |
661 | static int dump_macro (cpp_reader *, cpp_hashnode *, void *); | |
662 | ||
663 | static void print_line (source_location, const char *); | |
664 | static void maybe_print_line (source_location); | |
665 | ||
666 | ||
667 | /* Writes out the preprocessed file, handling spacing and paste | |
668 | avoidance issues. */ | |
669 | static void | |
670 | scan_translation_unit (cpp_reader *pfile) | |
671 | { | |
672 | bool avoid_paste = false; | |
673 | ||
674 | print.source = NULL; | |
675 | for (;;) | |
676 | { | |
677 | const cpp_token *token = cpp_get_token (pfile); | |
678 | ||
679 | if (token->type == CPP_PADDING) | |
680 | { | |
681 | avoid_paste = true; | |
682 | if (print.source == NULL | |
683 | || (!(print.source->flags & PREV_WHITE) | |
684 | && token->val.source == NULL)) | |
685 | print.source = token->val.source; | |
686 | continue; | |
687 | } | |
688 | ||
689 | if (token->type == CPP_EOF) | |
690 | break; | |
691 | ||
692 | /* Subtle logic to output a space if and only if necessary. */ | |
693 | if (avoid_paste) | |
694 | { | |
695 | if (print.source == NULL) | |
696 | print.source = token; | |
697 | if (print.source->flags & PREV_WHITE | |
698 | || (print.prev | |
699 | && cpp_avoid_paste (pfile, print.prev, token)) | |
700 | || (print.prev == NULL && token->type == CPP_HASH)) | |
701 | putc (' ', print.outf); | |
702 | } | |
703 | else if (token->flags & PREV_WHITE) | |
704 | putc (' ', print.outf); | |
705 | ||
706 | avoid_paste = false; | |
707 | print.source = NULL; | |
708 | print.prev = token; | |
709 | cpp_output_token (token, print.outf); | |
710 | ||
711 | if (token->type == CPP_COMMENT) | |
712 | account_for_newlines (token->val.str.text, token->val.str.len); | |
713 | } | |
714 | } | |
715 | ||
716 | /* Adjust print.src_line for newlines embedded in output. */ | |
717 | static void | |
718 | account_for_newlines (const unsigned char *str, size_t len) | |
719 | { | |
720 | while (len--) | |
721 | if (*str++ == '\n') | |
722 | print.src_line++; | |
723 | } | |
724 | ||
725 | /* Writes out a traditionally preprocessed file. */ | |
726 | static void | |
727 | scan_translation_unit_trad (cpp_reader *pfile) | |
728 | { | |
729 | while (_cpp_read_logical_line_trad (pfile)) | |
730 | { | |
731 | size_t len = pfile->out.cur - pfile->out.base; | |
732 | maybe_print_line (pfile->out.first_line); | |
733 | fwrite (pfile->out.base, 1, len, print.outf); | |
734 | print.printed = 1; | |
735 | if (!CPP_OPTION (pfile, discard_comments)) | |
736 | account_for_newlines (pfile->out.base, len); | |
737 | } | |
738 | } | |
739 | ||
740 | /* If the token read on logical line LINE needs to be output on a | |
741 | different line to the current one, output the required newlines or | |
742 | a line marker. */ | |
743 | static void | |
744 | maybe_print_line (source_location src_loc) | |
745 | { | |
746 | const struct line_map *map = linemap_lookup (line_table, src_loc); | |
747 | int src_line = SOURCE_LINE (map, src_loc); | |
748 | ||
749 | /* End the previous line of text. */ | |
750 | if (print.printed) | |
751 | { | |
752 | putc ('\n', print.outf); | |
753 | print.src_line++; | |
754 | print.printed = 0; | |
755 | } | |
756 | ||
757 | if (src_line >= print.src_line && src_line < print.src_line + 8) | |
758 | { | |
759 | while (src_line > print.src_line) | |
760 | { | |
761 | putc ('\n', print.outf); | |
762 | print.src_line++; | |
763 | } | |
764 | } | |
765 | else | |
766 | print_line (src_loc, ""); | |
767 | } | |
768 | ||
769 | /* Output a line marker for logical line LINE. Special flags are "1" | |
770 | or "2" indicating entering or leaving a file. */ | |
771 | static void | |
772 | print_line (source_location src_loc, const char *special_flags) | |
773 | { | |
774 | /* End any previous line of text. */ | |
775 | if (print.printed) | |
776 | putc ('\n', print.outf); | |
777 | print.printed = 0; | |
778 | ||
779 | if (!gfc_cpp_option.no_line_commands) | |
780 | { | |
781 | const struct line_map *map = linemap_lookup (line_table, src_loc); | |
782 | ||
783 | size_t to_file_len = strlen (map->to_file); | |
784 | unsigned char *to_file_quoted = | |
785 | (unsigned char *) alloca (to_file_len * 4 + 1); | |
786 | unsigned char *p; | |
787 | ||
788 | print.src_line = SOURCE_LINE (map, src_loc); | |
789 | ||
790 | /* cpp_quote_string does not nul-terminate, so we have to do it | |
791 | ourselves. */ | |
792 | p = cpp_quote_string (to_file_quoted, | |
793 | (const unsigned char *) map->to_file, to_file_len); | |
794 | *p = '\0'; | |
795 | fprintf (print.outf, "# %u \"%s\"%s", | |
796 | print.src_line == 0 ? 1 : print.src_line, | |
797 | to_file_quoted, special_flags); | |
798 | ||
799 | if (map->sysp == 2) | |
800 | fputs (" 3 4", print.outf); | |
801 | else if (map->sysp == 1) | |
802 | fputs (" 3", print.outf); | |
803 | ||
804 | putc ('\n', print.outf); | |
805 | } | |
806 | } | |
807 | ||
808 | static void | |
809 | cb_file_change (cpp_reader * ARG_UNUSED (pfile), const struct line_map *map) | |
810 | { | |
811 | const char *flags = ""; | |
812 | ||
813 | if (gfc_cpp_option.no_line_commands) | |
814 | return; | |
815 | ||
816 | if (!map) | |
817 | return; | |
818 | ||
819 | if (print.first_time) | |
820 | { | |
821 | /* Avoid printing foo.i when the main file is foo.c. */ | |
822 | if (!cpp_get_options (cpp_in)->preprocessed) | |
823 | print_line (map->start_location, flags); | |
824 | print.first_time = 0; | |
825 | } | |
826 | else | |
827 | { | |
828 | /* Bring current file to correct line when entering a new file. */ | |
829 | if (map->reason == LC_ENTER) | |
830 | { | |
831 | const struct line_map *from = INCLUDED_FROM (line_table, map); | |
832 | maybe_print_line (LAST_SOURCE_LINE_LOCATION (from)); | |
833 | } | |
834 | if (map->reason == LC_ENTER) | |
835 | flags = " 1"; | |
836 | else if (map->reason == LC_LEAVE) | |
837 | flags = " 2"; | |
838 | print_line (map->start_location, flags); | |
839 | } | |
840 | ||
841 | } | |
842 | ||
843 | /* Called when a line of output is started. TOKEN is the first token | |
844 | of the line, and at end of file will be CPP_EOF. */ | |
845 | static void | |
846 | cb_line_change (cpp_reader *pfile, const cpp_token *token, | |
847 | int parsing_args) | |
848 | { | |
849 | source_location src_loc = token->src_loc; | |
850 | ||
851 | if (token->type == CPP_EOF || parsing_args) | |
852 | return; | |
853 | ||
854 | maybe_print_line (src_loc); | |
855 | print.prev = 0; | |
856 | print.source = 0; | |
857 | ||
858 | /* Supply enough spaces to put this token in its original column, | |
859 | one space per column greater than 2, since scan_translation_unit | |
860 | will provide a space if PREV_WHITE. Don't bother trying to | |
861 | reconstruct tabs; we can't get it right in general, and nothing | |
862 | ought to care. Some things do care; the fault lies with them. */ | |
863 | if (!CPP_OPTION (pfile, traditional)) | |
864 | { | |
865 | const struct line_map *map = linemap_lookup (line_table, src_loc); | |
866 | int spaces = SOURCE_COLUMN (map, src_loc) - 2; | |
867 | print.printed = 1; | |
868 | ||
869 | while (-- spaces >= 0) | |
870 | putc (' ', print.outf); | |
871 | } | |
872 | } | |
873 | ||
874 | static void | |
875 | cb_ident (cpp_reader *pfile ATTRIBUTE_UNUSED, source_location line, | |
876 | const cpp_string *str) | |
877 | { | |
878 | maybe_print_line (line); | |
879 | fprintf (print.outf, "#ident %s\n", str->text); | |
880 | print.src_line++; | |
881 | } | |
882 | ||
883 | static void | |
884 | cb_define (cpp_reader *pfile ATTRIBUTE_UNUSED, source_location line, | |
885 | cpp_hashnode *node ATTRIBUTE_UNUSED) | |
886 | { | |
887 | maybe_print_line (line); | |
888 | fputs ("#define ", print.outf); | |
889 | ||
890 | /* 'D' is whole definition; 'N' is name only. */ | |
891 | if (gfc_cpp_option.dump_macros == 'D') | |
892 | fputs ((const char *) cpp_macro_definition (pfile, node), | |
893 | print.outf); | |
894 | else | |
895 | fputs ((const char *) NODE_NAME (node), print.outf); | |
896 | ||
897 | putc ('\n', print.outf); | |
898 | if (linemap_lookup (line_table, line)->to_line != 0) | |
899 | print.src_line++; | |
900 | } | |
901 | ||
902 | static void | |
903 | cb_undef (cpp_reader *pfile ATTRIBUTE_UNUSED, source_location line, | |
904 | cpp_hashnode *node) | |
905 | { | |
906 | maybe_print_line (line); | |
907 | fprintf (print.outf, "#undef %s\n", NODE_NAME (node)); | |
908 | print.src_line++; | |
909 | } | |
910 | ||
911 | static void | |
912 | cb_include (cpp_reader *pfile ATTRIBUTE_UNUSED, source_location line, | |
913 | const unsigned char *dir, const char *header, int angle_brackets, | |
914 | const cpp_token **comments) | |
915 | { | |
916 | maybe_print_line (line); | |
917 | if (angle_brackets) | |
918 | fprintf (print.outf, "#%s <%s>", dir, header); | |
919 | else | |
920 | fprintf (print.outf, "#%s \"%s\"", dir, header); | |
921 | ||
922 | if (comments != NULL) | |
923 | { | |
924 | while (*comments != NULL) | |
925 | { | |
926 | if ((*comments)->flags & PREV_WHITE) | |
927 | putc (' ', print.outf); | |
928 | cpp_output_token (*comments, print.outf); | |
929 | ++comments; | |
930 | } | |
931 | } | |
932 | ||
933 | putc ('\n', print.outf); | |
934 | print.src_line++; | |
935 | } | |
936 | ||
937 | /* Dump out the hash table. */ | |
938 | static int | |
939 | dump_macro (cpp_reader *pfile, cpp_hashnode *node, void *v ATTRIBUTE_UNUSED) | |
940 | { | |
941 | if (node->type == NT_MACRO && !(node->flags & NODE_BUILTIN)) | |
942 | { | |
943 | fputs ("#define ", print.outf); | |
944 | fputs ((const char *) cpp_macro_definition (pfile, node), | |
945 | print.outf); | |
946 | putc ('\n', print.outf); | |
947 | print.src_line++; | |
948 | } | |
949 | ||
950 | return 1; | |
951 | } | |
952 | ||
953 | static void | |
954 | cb_used_define (cpp_reader *pfile, source_location line ATTRIBUTE_UNUSED, | |
955 | cpp_hashnode *node) | |
956 | { | |
957 | gfc_cpp_macro_queue *q; | |
958 | q = XNEW (gfc_cpp_macro_queue); | |
959 | q->macro = xstrdup ((const char *) cpp_macro_definition (pfile, node)); | |
960 | q->next = cpp_define_queue; | |
961 | cpp_define_queue = q; | |
962 | } | |
963 | ||
964 | ||
965 | /* Callback called when -fworking-director and -E to emit working | |
966 | directory in cpp output file. */ | |
967 | ||
968 | void | |
969 | pp_dir_change (cpp_reader *pfile ATTRIBUTE_UNUSED, const char *dir) | |
970 | { | |
971 | size_t to_file_len = strlen (dir); | |
972 | unsigned char *to_file_quoted = | |
973 | (unsigned char *) alloca (to_file_len * 4 + 1); | |
974 | unsigned char *p; | |
975 | ||
976 | /* cpp_quote_string does not nul-terminate, so we have to do it ourselves. */ | |
977 | p = cpp_quote_string (to_file_quoted, (const unsigned char *) dir, to_file_len); | |
978 | *p = '\0'; | |
979 | fprintf (print.outf, "# 1 \"%s//\"\n", to_file_quoted); | |
980 | } | |
981 | ||
982 | /* Copy a #pragma directive to the preprocessed output. */ | |
983 | static void | |
984 | cb_def_pragma (cpp_reader *pfile, source_location line) | |
985 | { | |
986 | maybe_print_line (line); | |
987 | fputs ("#pragma ", print.outf); | |
988 | cpp_output_line (pfile, print.outf); | |
989 | print.src_line++; | |
990 | } | |
991 | ||
992 | static void | |
993 | cb_used_undef (cpp_reader *pfile ATTRIBUTE_UNUSED, | |
994 | source_location line ATTRIBUTE_UNUSED, | |
995 | cpp_hashnode *node) | |
996 | { | |
997 | gfc_cpp_macro_queue *q; | |
998 | q = XNEW (gfc_cpp_macro_queue); | |
999 | q->macro = xstrdup ((const char *) NODE_NAME (node)); | |
1000 | q->next = cpp_undefine_queue; | |
1001 | cpp_undefine_queue = q; | |
1002 | } | |
1003 | ||
1004 | static void | |
1005 | dump_queued_macros (cpp_reader *pfile ATTRIBUTE_UNUSED) | |
1006 | { | |
1007 | gfc_cpp_macro_queue *q; | |
1008 | ||
1009 | /* End the previous line of text. */ | |
1010 | if (print.printed) | |
1011 | { | |
1012 | putc ('\n', print.outf); | |
1013 | print.src_line++; | |
1014 | print.printed = 0; | |
1015 | } | |
1016 | ||
1017 | for (q = cpp_define_queue; q;) | |
1018 | { | |
1019 | gfc_cpp_macro_queue *oq; | |
1020 | fputs ("#define ", print.outf); | |
1021 | fputs (q->macro, print.outf); | |
1022 | putc ('\n', print.outf); | |
1023 | print.src_line++; | |
1024 | oq = q; | |
1025 | q = q->next; | |
1026 | gfc_free (oq->macro); | |
1027 | gfc_free (oq); | |
1028 | } | |
1029 | cpp_define_queue = NULL; | |
1030 | for (q = cpp_undefine_queue; q;) | |
1031 | { | |
1032 | gfc_cpp_macro_queue *oq; | |
1033 | fprintf (print.outf, "#undef %s\n", q->macro); | |
1034 | print.src_line++; | |
1035 | oq = q; | |
1036 | q = q->next; | |
1037 | gfc_free (oq->macro); | |
1038 | gfc_free (oq); | |
1039 | } | |
1040 | cpp_undefine_queue = NULL; | |
1041 | } | |
1042 | ||
1043 |