1 /* CPP main program, using CPP Library.
2 Copyright (C) 1995, 1997, 1998, 1999, 2000, 2001
3 Free Software Foundation, Inc.
4 Written by Per Bothner, 1994-95.
6 This program is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by the
8 Free Software Foundation; either version 2, or (at your option) any
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20 In other words, you are welcome to use, share and improve this program.
21 You are forbidden to forbid anyone else to use, share and improve
22 what you give them. Help stamp out software-hoarding! */
29 /* Encapsulates state used to convert the stream of tokens coming from
30 cpp_get_token back into a text file. */
33 FILE *outf; /* stream to write to. */
34 const char *last_fname; /* previous file name. */
35 const char *syshdr_flags; /* system header flags, if any. */
36 unsigned int lineno; /* line currently being written. */
37 unsigned char printed; /* nonzero if something output at lineno. */
38 struct line_map *map; /* logical to physical line mappings. */
41 int main PARAMS ((int, char **));
42 static void general_init PARAMS ((const char *));
43 static void do_preprocessing PARAMS ((int, char **));
44 static void setup_callbacks PARAMS ((void));
46 /* General output routines. */
47 static void scan_translation_unit PARAMS ((cpp_reader *));
48 static void check_multiline_token PARAMS ((cpp_string *));
49 static int printer_init PARAMS ((cpp_reader *));
50 static int dump_macro PARAMS ((cpp_reader *, cpp_hashnode *, void *));
52 static void print_line PARAMS ((const char *));
53 static void maybe_print_line PARAMS ((unsigned int));
55 /* Callback routines for the parser. Most of these are active only
57 static void cb_define PARAMS ((cpp_reader *, cpp_hashnode *));
58 static void cb_undef PARAMS ((cpp_reader *, cpp_hashnode *));
59 static void cb_include PARAMS ((cpp_reader *, const unsigned char *,
61 static void cb_ident PARAMS ((cpp_reader *, const cpp_string *));
62 static void cb_file_change PARAMS ((cpp_reader *, const cpp_file_change *));
63 static void cb_def_pragma PARAMS ((cpp_reader *));
65 const char *progname; /* Needs to be global. */
66 static cpp_reader *pfile; /* An opaque handle. */
67 static cpp_options *options; /* Options of pfile. */
68 static struct printer print;
75 general_init (argv[0]);
77 /* Contruct a reader with default language GNU C89. */
78 pfile = cpp_create_reader (NULL, CLK_GNUC89);
79 options = cpp_get_options (pfile);
81 do_preprocessing (argc, argv);
83 /* Call to cpp_destroy () omitted for performance reasons. */
84 if (cpp_errors (pfile))
85 return FATAL_EXIT_CODE;
87 return SUCCESS_EXIT_CODE;
90 /* Store the program name, and set the locale. */
95 progname = argv0 + strlen (argv0);
97 while (progname != argv0 && ! IS_DIR_SEPARATOR (progname[-1]))
100 xmalloc_set_program_name (progname);
102 /* LC_CTYPE determines the character set used by the terminal so it
103 has to be set to output messages correctly. */
105 #ifdef HAVE_LC_MESSAGES
106 setlocale (LC_CTYPE, "");
107 setlocale (LC_MESSAGES, "");
109 setlocale (LC_ALL, "");
112 (void) bindtextdomain (PACKAGE, localedir);
113 (void) textdomain (PACKAGE);
116 /* Handle switches, preprocess and output. */
118 do_preprocessing (argc, argv)
122 int argi = 1; /* Next argument to handle. */
124 argi += cpp_handle_options (pfile, argc - argi , argv + argi);
125 if (CPP_FATAL_ERRORS (pfile))
129 cpp_fatal (pfile, "Invalid option %s", argv[argi]);
131 cpp_post_options (pfile);
133 if (CPP_FATAL_ERRORS (pfile))
136 /* If cpp_handle_options saw --help or --version on the command
137 line, it will have set pfile->help_only to indicate this. Exit
138 successfully. [The library does not exit itself, because
139 e.g. cc1 needs to print its own --help message at this point.] */
140 if (options->help_only)
143 /* Open the output now. We must do so even if no_output is on,
144 because there may be other output than from the actual
145 preprocessing (e.g. from -dM). */
146 if (printer_init (pfile))
151 if (cpp_start_read (pfile, options->in_fname))
153 /* A successful cpp_start_read guarantees that we can call
154 cpp_scan_nooutput or cpp_get_token next. */
155 if (options->no_output)
156 cpp_scan_nooutput (pfile);
158 scan_translation_unit (pfile);
160 /* -dM command line option. Should this be in cpp_finish? */
161 if (options->dump_macros == dump_only)
162 cpp_forall_identifiers (pfile, dump_macro, NULL);
167 /* Flush any pending output. */
169 putc ('\n', print.outf);
171 if (ferror (print.outf) || fclose (print.outf))
172 cpp_notice_from_errno (pfile, options->out_fname);
175 /* Set up the callbacks as appropriate. */
179 cpp_callbacks *cb = cpp_get_callbacks (pfile);
181 if (! options->no_output)
183 cb->ident = cb_ident;
184 cb->def_pragma = cb_def_pragma;
185 if (! options->no_line_commands)
186 cb->file_change = cb_file_change;
189 if (options->dump_includes)
190 cb->include = cb_include;
192 if (options->dump_macros == dump_names
193 || options->dump_macros == dump_definitions)
195 cb->define = cb_define;
196 cb->undef = cb_undef;
200 /* Writes out the preprocessed file. Alternates between two tokens,
201 so that we can avoid accidental token pasting. */
203 scan_translation_unit (pfile)
206 unsigned int index, line;
207 cpp_token tokens[2], *token;
209 for (index = 0;; index = 1 - index)
211 token = &tokens[index];
212 cpp_get_token (pfile, token);
214 if (token->type == CPP_EOF)
217 line = cpp_get_line (pfile)->output_line;
218 if (print.lineno != line)
220 unsigned int col = cpp_get_line (pfile)->col;
222 /* Supply enough whitespace to put this token in its original
223 column. Don't bother trying to reconstruct tabs; we can't
224 get it right in general, and nothing ought to care. (Yes,
225 some things do care; the fault lies with them.) */
226 maybe_print_line (line);
229 if (token->flags & PREV_WHITE)
232 putc (' ', print.outf);
235 else if ((token->flags & (PREV_WHITE | AVOID_LPASTE))
237 && cpp_avoid_paste (pfile, &tokens[1 - index], token))
238 token->flags |= PREV_WHITE;
239 /* Special case '# <directive name>': insert a space between
240 the # and the token. This will prevent it from being
241 treated as a directive when this code is re-preprocessed.
242 XXX Should do this only at the beginning of a line, but how? */
243 else if (token->type == CPP_NAME && token->val.node->directive_index
244 && tokens[1 - index].type == CPP_HASH)
245 token->flags |= PREV_WHITE;
247 cpp_output_token (token, print.outf);
249 if (token->type == CPP_STRING || token->type == CPP_WSTRING
250 || token->type == CPP_COMMENT)
251 check_multiline_token (&token->val.str);
255 /* Adjust print.lineno for newlines embedded in tokens. */
257 check_multiline_token (str)
262 for (i = 0; i < str->len; i++)
263 if (str->text[i] == '\n')
267 /* Initialize a cpp_printer structure. As a side effect, open the
273 print.last_fname = 0;
277 if (options->out_fname[0] == '\0')
281 print.outf = fopen (options->out_fname, "w");
284 cpp_notice_from_errno (pfile, options->out_fname);
292 /* Newline-terminate any output line currently in progress. If
293 appropriate, write the current line number to the output, or pad
294 with newlines so the output line matches the current line. */
296 maybe_print_line (line)
299 /* End the previous line of text (probably only needed until we get
300 multi-line tokens fixed). */
303 putc ('\n', print.outf);
308 if (options->no_line_commands)
314 /* print.lineno is zero if this is the first token of the file. We
315 handle this specially, so that a first line of "# 1 "foo.c" in
316 file foo.i outputs just the foo.c line, and not a foo.i line. */
317 if (line >= print.lineno && line < print.lineno + 8 && print.lineno)
319 while (line > print.lineno)
321 putc ('\n', print.outf);
333 print_line (special_flags)
334 const char *special_flags;
336 /* End any previous line of text. */
338 putc ('\n', print.outf);
341 fprintf (print.outf, "# %u \"%s\"%s%s\n",
342 print.lineno, print.last_fname, special_flags, print.syshdr_flags);
348 cb_ident (pfile, str)
349 cpp_reader *pfile ATTRIBUTE_UNUSED;
350 const cpp_string * str;
352 maybe_print_line (cpp_get_line (pfile)->output_line);
353 fprintf (print.outf, "#ident \"%s\"\n", str->text);
358 cb_define (pfile, node)
362 maybe_print_line (cpp_get_line (pfile)->output_line);
363 fputs ("#define ", print.outf);
365 /* -dD command line option. */
366 if (options->dump_macros == dump_definitions)
367 fputs ((const char *) cpp_macro_definition (pfile, node), print.outf);
369 fputs ((const char *) NODE_NAME (node), print.outf);
371 putc ('\n', print.outf);
376 cb_undef (pfile, node)
380 maybe_print_line (cpp_get_line (pfile)->output_line);
381 fprintf (print.outf, "#undef %s\n", NODE_NAME (node));
386 cb_include (pfile, dir, header)
387 cpp_reader *pfile ATTRIBUTE_UNUSED;
388 const unsigned char *dir;
389 const cpp_token *header;
391 maybe_print_line (cpp_get_line (pfile)->output_line);
392 fprintf (print.outf, "#%s %s\n", dir, cpp_token_as_text (pfile, header));
397 cb_file_change (pfile, fc)
398 cpp_reader *pfile ATTRIBUTE_UNUSED;
399 const cpp_file_change *fc;
401 /* Bring current file to correct line (except first file). */
402 if (fc->reason == LC_ENTER && !MAIN_FILE_P (fc->map))
403 maybe_print_line (SOURCE_LINE (fc->map - 1, fc->line - 1));
406 print.last_fname = fc->map->to_file;
408 print.syshdr_flags = " 3 4";
410 print.syshdr_flags = " 3";
412 print.syshdr_flags = "";
416 const char *flags = "";
418 print.lineno = SOURCE_LINE (fc->map, fc->line);
419 if (fc->reason == LC_ENTER)
421 else if (fc->reason == LC_LEAVE)
424 if (! options->no_line_commands)
429 /* Copy a #pragma directive to the preprocessed output. LINE is the
430 line of the current source file, not the logical line. */
432 cb_def_pragma (pfile)
435 maybe_print_line (cpp_get_line (pfile)->output_line);
436 fputs ("#pragma ", print.outf);
437 cpp_output_line (pfile, print.outf);
441 /* Dump out the hash table. */
443 dump_macro (pfile, node, v)
446 void *v ATTRIBUTE_UNUSED;
448 if (node->type == NT_MACRO && !(node->flags & NODE_BUILTIN))
450 fputs ("#define ", print.outf);
451 fputs ((const char *) cpp_macro_definition (pfile, node), print.outf);
452 putc ('\n', print.outf);