/* CPP main program, using CPP Library.
- Copyright (C) 1995, 1997, 1998, 1999, 2000 Free Software Foundation, Inc.
+ Copyright (C) 1995, 1997, 1998, 1999, 2000, 2001, 2002
+ Free Software Foundation, Inc.
Written by Per Bothner, 1994-95.
This program is free software; you can redistribute it and/or modify it
#include "cpplib.h"
#include "intl.h"
-const char *progname;
-
-cpp_reader parse_in;
-cpp_printer parse_out;
+/* Encapsulates state used to convert the stream of tokens coming from
+ cpp_get_token back into a text file. */
+struct printer
+{
+ FILE *outf; /* Stream to write to. */
+ const struct line_map *map; /* Logical to physical line mappings. */
+ const cpp_token *prev; /* Previous token. */
+ const cpp_token *source; /* Source token for spacing. */
+ unsigned int line; /* Line currently being written. */
+ unsigned char printed; /* Nonzero if something output at line. */
+};
int main PARAMS ((int, char **));
+static void general_init PARAMS ((const char *));
+static void do_preprocessing PARAMS ((int, char **));
+static void setup_callbacks PARAMS ((void));
-/* Callback routines for the parser. Most of these are active only
- in specific modes. */
-static void cb_define PARAMS ((cpp_reader *, cpp_hashnode *));
-static void cb_undef PARAMS ((cpp_reader *, cpp_hashnode *));
-static void cb_include PARAMS ((cpp_reader *, const unsigned char *,
- const unsigned char *, unsigned int, int));
+/* General output routines. */
+static void scan_translation_unit PARAMS ((cpp_reader *));
+static void check_multiline_token PARAMS ((const cpp_string *));
+static int dump_macro PARAMS ((cpp_reader *, cpp_hashnode *, void *));
-static void cb_ident PARAMS ((cpp_reader *, const cpp_token *));
-static void cb_enter_file PARAMS ((cpp_reader *));
-static void cb_leave_file PARAMS ((cpp_reader *));
-static void cb_def_pragma PARAMS ((cpp_reader *));
+static void print_line PARAMS ((const struct line_map *, unsigned int,
+ const char *));
+static void maybe_print_line PARAMS ((const struct line_map *, unsigned int));
-static void do_pragma_implementation PARAMS ((cpp_reader *));
-static int dump_macros_helper PARAMS ((cpp_reader *, cpp_hashnode *));
+/* Callback routines for the parser. Most of these are active only
+ in specific modes. */
+static void cb_line_change PARAMS ((cpp_reader *, const cpp_token *, int));
+static void cb_define PARAMS ((cpp_reader *, unsigned int, cpp_hashnode *));
+static void cb_undef PARAMS ((cpp_reader *, unsigned int, cpp_hashnode *));
+static void cb_include PARAMS ((cpp_reader *, unsigned int,
+ const unsigned char *, const cpp_token *));
+static void cb_ident PARAMS ((cpp_reader *, unsigned int,
+ const cpp_string *));
+static void cb_file_change PARAMS ((cpp_reader *, const struct line_map *));
+static void cb_def_pragma PARAMS ((cpp_reader *, unsigned int));
+
+const char *progname; /* Needs to be global. */
+static cpp_reader *pfile; /* An opaque handle. */
+static cpp_options *options; /* Options of pfile. */
+static struct printer print;
int
main (argc, argv)
int argc;
char **argv;
{
- char *p;
- cpp_reader *pfile = &parse_in;
- cpp_printer *print;
- int argi = 1; /* Next argument to handle. */
+ general_init (argv[0]);
- p = argv[0] + strlen (argv[0]);
- while (p != argv[0] && ! IS_DIR_SEPARATOR (p[-1])) --p;
- progname = p;
+ /* Construct a reader with default language GNU C89. */
+ pfile = cpp_create_reader (CLK_GNUC89);
+ options = cpp_get_options (pfile);
+
+ do_preprocessing (argc, argv);
+
+ if (cpp_destroy (pfile))
+ return FATAL_EXIT_CODE;
+
+ return SUCCESS_EXIT_CODE;
+}
+
+/* Store the program name, and set the locale. */
+static void
+general_init (argv0)
+ const char *argv0;
+{
+ progname = argv0 + strlen (argv0);
+
+ while (progname != argv0 && ! IS_DIR_SEPARATOR (progname[-1]))
+ --progname;
xmalloc_set_program_name (progname);
-#ifdef HAVE_LC_MESSAGES
- setlocale (LC_MESSAGES, "");
-#endif
- (void) bindtextdomain (PACKAGE, localedir);
- (void) textdomain (PACKAGE);
+ hex_init ();
+ gcc_init_libintl ();
+}
+
+/* Handle switches, preprocess and output. */
+static void
+do_preprocessing (argc, argv)
+ int argc;
+ char **argv;
+{
+ int argi = 1; /* Next argument to handle. */
- cpp_reader_init (pfile);
-
argi += cpp_handle_options (pfile, argc - argi , argv + argi);
- if (argi < argc && ! CPP_FATAL_ERRORS (pfile))
- cpp_fatal (pfile, "Invalid option %s", argv[argi]);
if (CPP_FATAL_ERRORS (pfile))
- return (FATAL_EXIT_CODE);
+ return;
+
+ if (argi < argc)
+ {
+ cpp_fatal (pfile, "invalid option %s", argv[argi]);
+ return;
+ }
+ cpp_post_options (pfile);
+ if (CPP_FATAL_ERRORS (pfile))
+ return;
+
+ /* If cpp_handle_options saw --help or --version on the command
+ line, it will have set pfile->help_only to indicate this. Exit
+ successfully. [The library does not exit itself, because
+ e.g. cc1 needs to print its own --help message at this point.] */
+ if (options->help_only)
+ return;
+
+ /* Initialize the printer structure. Setting print.line to -1 here
+ is a trick to guarantee that the first token of the file will
+ cause a linemarker to be output by maybe_print_line. */
+ print.line = (unsigned int) -1;
+ print.printed = 0;
+ print.prev = 0;
+ print.map = 0;
+
/* Open the output now. We must do so even if no_output is on,
because there may be other output than from the actual
preprocessing (e.g. from -dM). */
- print = cpp_printer_init (pfile, &parse_out);
- if (! print)
- return (FATAL_EXIT_CODE);
-
- /* Set callbacks. */
- if (! CPP_OPTION (pfile, no_line_commands)
- && ! CPP_OPTION (pfile, no_output))
+ if (options->out_fname[0] == '\0')
+ print.outf = stdout;
+ else
{
- pfile->cb.enter_file = cb_enter_file;
- pfile->cb.leave_file = cb_leave_file;
+ print.outf = fopen (options->out_fname, "w");
+ if (print.outf == NULL)
+ {
+ cpp_notice_from_errno (pfile, options->out_fname);
+ return;
+ }
}
- if (CPP_OPTION (pfile, dump_includes))
- pfile->cb.include = cb_include;
- if (CPP_OPTION (pfile, debug_output)
- || CPP_OPTION (pfile, dump_macros) == dump_names
- || CPP_OPTION (pfile, dump_macros) == dump_definitions)
+
+ setup_callbacks ();
+
+ if (cpp_read_main_file (pfile, options->in_fname, NULL))
{
- pfile->cb.define = cb_define;
- pfile->cb.undef = cb_undef;
- pfile->cb.poison = cb_def_pragma;
- }
- pfile->cb.ident = cb_ident;
- pfile->cb.def_pragma = cb_def_pragma;
+ cpp_finish_options (pfile);
- /* Register one #pragma which needs special handling. */
- cpp_register_pragma(pfile, 0, "implementation", do_pragma_implementation);
- cpp_register_pragma(pfile, "GCC", "implementation", do_pragma_implementation);
+ /* A successful cpp_read_main_file guarantees that we can call
+ cpp_scan_nooutput or cpp_get_token next. */
+ if (options->no_output)
+ cpp_scan_nooutput (pfile);
+ else
+ scan_translation_unit (pfile);
- if (! cpp_start_read (pfile, print, CPP_OPTION (pfile, in_fname)))
- return (FATAL_EXIT_CODE);
+ /* -dM command line option. Should this be in cpp_finish? */
+ if (options->dump_macros == dump_only)
+ cpp_forall_identifiers (pfile, dump_macro, NULL);
- if (CPP_OPTION (pfile, no_output))
- while (CPP_BUFFER (pfile) != NULL)
- cpp_scan_buffer_nooutput (pfile);
- else
- while (CPP_BUFFER (pfile) != NULL)
- cpp_scan_buffer (pfile, print);
+ cpp_finish (pfile);
+ }
- if (CPP_OPTION (pfile, dump_macros) == dump_only)
- cpp_forall_identifiers (pfile, dump_macros_helper);
-
- cpp_finish (pfile, print);
- cpp_cleanup (pfile);
+ /* Flush any pending output. */
+ if (print.printed)
+ putc ('\n', print.outf);
- if (parse_in.errors)
- return (FATAL_EXIT_CODE);
- return (SUCCESS_EXIT_CODE);
+ if (ferror (print.outf) || fclose (print.outf))
+ cpp_notice_from_errno (pfile, options->out_fname);
}
-/* Callbacks */
-
+/* Set up the callbacks as appropriate. */
static void
-cb_ident (pfile, token)
- cpp_reader *pfile;
- const cpp_token *token;
+setup_callbacks ()
{
- cpp_printf (pfile, &parse_out, "#ident \"%.*s\"\n",
- (int) token->val.str.len, token->val.str.text);
+ cpp_callbacks *cb = cpp_get_callbacks (pfile);
+
+ if (! options->no_output)
+ {
+ cb->line_change = cb_line_change;
+ cb->ident = cb_ident;
+ cb->def_pragma = cb_def_pragma;
+ if (! options->no_line_commands)
+ cb->file_change = cb_file_change;
+ }
+
+ if (options->dump_includes)
+ cb->include = cb_include;
+
+ if (options->dump_macros == dump_names
+ || options->dump_macros == dump_definitions)
+ {
+ cb->define = cb_define;
+ cb->undef = cb_undef;
+ }
}
+/* Writes out the preprocessed file, handling spacing and paste
+ avoidance issues. */
static void
-cb_define (pfile, hash)
+scan_translation_unit (pfile)
cpp_reader *pfile;
- cpp_hashnode *hash;
{
- if (pfile->done_initializing)
+ bool avoid_paste = false;
+
+ print.source = NULL;
+ for (;;)
{
- cpp_printf (pfile, &parse_out, "#define %s", hash->name);
- if (CPP_OPTION (pfile, debug_output)
- || CPP_OPTION (pfile, dump_macros) == dump_definitions)
- cpp_dump_definition (pfile, parse_out.outf, hash);
- putc ('\n', parse_out.outf);
+ const cpp_token *token = cpp_get_token (pfile);
+
+ if (token->type == CPP_PADDING)
+ {
+ avoid_paste = true;
+ if (print.source == NULL
+ || (!(print.source->flags & PREV_WHITE)
+ && token->val.source == NULL))
+ print.source = token->val.source;
+ continue;
+ }
+
+ if (token->type == CPP_EOF)
+ break;
+
+ /* Subtle logic to output a space if and only if necessary. */
+ if (avoid_paste)
+ {
+ if (print.source == NULL)
+ print.source = token;
+ if (print.source->flags & PREV_WHITE
+ || (print.prev && cpp_avoid_paste (pfile, print.prev, token))
+ || (print.prev == NULL && token->type == CPP_HASH))
+ putc (' ', print.outf);
+ }
+ else if (token->flags & PREV_WHITE)
+ putc (' ', print.outf);
+
+ avoid_paste = false;
+ print.source = NULL;
+ print.prev = token;
+ cpp_output_token (token, print.outf);
+
+ if (token->type == CPP_STRING || token->type == CPP_WSTRING
+ || token->type == CPP_COMMENT)
+ check_multiline_token (&token->val.str);
}
}
+/* Adjust print.line for newlines embedded in tokens. */
static void
-cb_undef (pfile, hash)
- cpp_reader *pfile;
- cpp_hashnode *hash;
+check_multiline_token (str)
+ const cpp_string *str;
{
- if (pfile->done_initializing)
- cpp_printf (pfile, &parse_out, "#undef %s\n", hash->name);
+ unsigned int i;
+
+ for (i = 0; i < str->len; i++)
+ if (str->text[i] == '\n')
+ print.line++;
}
+/* If the token read on logical line LINE needs to be output on a
+ different line to the current one, output the required newlines or
+ a line marker, and return 1. Otherwise return 0. */
static void
-cb_include (pfile, dir, str, len, ab)
- cpp_reader *pfile;
- const unsigned char *dir;
- const unsigned char *str;
- unsigned int len;
- int ab;
+maybe_print_line (map, line)
+ const struct line_map *map;
+ unsigned int line;
{
- int l, r;
- if (ab)
- l = '<', r = '>';
+ /* End the previous line of text. */
+ if (print.printed)
+ {
+ putc ('\n', print.outf);
+ print.line++;
+ print.printed = 0;
+ }
+
+ if (line >= print.line && line < print.line + 8)
+ {
+ while (line > print.line)
+ {
+ putc ('\n', print.outf);
+ print.line++;
+ }
+ }
else
- l = '"', r = '"';
+ print_line (map, line, "");
+}
- cpp_printf (pfile, &parse_out, "#%s %c%.*s%c\n", dir, l, (int) len, str, r);
+/* Output a line marker for logical line LINE. Special flags are "1"
+ or "2" indicating entering or leaving a file. */
+static void
+print_line (map, line, special_flags)
+ const struct line_map *map;
+ unsigned int line;
+ const char *special_flags;
+{
+ /* End any previous line of text. */
+ if (print.printed)
+ putc ('\n', print.outf);
+ print.printed = 0;
+
+ print.line = line;
+ if (! options->no_line_commands)
+ {
+ fprintf (print.outf, "# %u \"%s\"%s",
+ SOURCE_LINE (map, print.line), map->to_file, special_flags);
+
+ if (map->sysp == 2)
+ fputs (" 3 4", print.outf);
+ else if (map->sysp == 1)
+ fputs (" 3", print.outf);
+
+ putc ('\n', print.outf);
+ }
}
+/* Called when a line of output is started. TOKEN is the first token
+ of the line, and at end of file will be CPP_EOF. */
static void
-cb_enter_file (pfile)
- cpp_reader *pfile;
+cb_line_change (pfile, token, parsing_args)
+ cpp_reader *pfile ATTRIBUTE_UNUSED;
+ const cpp_token *token;
+ int parsing_args;
{
- cpp_buffer *ip = CPP_BUFFER (pfile);
+ if (token->type == CPP_EOF || parsing_args)
+ return;
+
+ maybe_print_line (print.map, token->line);
+ print.printed = 1;
+ print.prev = 0;
+ print.source = 0;
+
+ /* Supply enough spaces to put this token in its original column,
+ one space per column greater than 2, since scan_translation_unit
+ will provide a space if PREV_WHITE. Don't bother trying to
+ reconstruct tabs; we can't get it right in general, and nothing
+ ought to care. Some things do care; the fault lies with them. */
+ if (token->col > 2)
+ {
+ unsigned int spaces = token->col - 2;
- cpp_printf (pfile, &parse_out, "# 1 \"%s\"%s%s\n", ip->nominal_fname,
- pfile->done_initializing ? " 1" : "",
- cpp_syshdr_flags (pfile, ip));
+ while (spaces--)
+ putc (' ', print.outf);
+ }
+}
- parse_out.lineno = 1;
- parse_out.last_fname = ip->nominal_fname;
+static void
+cb_ident (pfile, line, str)
+ cpp_reader *pfile ATTRIBUTE_UNUSED;
+ unsigned int line;
+ const cpp_string * str;
+{
+ maybe_print_line (print.map, line);
+ fprintf (print.outf, "#ident \"%s\"\n", str->text);
+ print.line++;
}
static void
-cb_leave_file (pfile)
+cb_define (pfile, line, node)
cpp_reader *pfile;
+ unsigned int line;
+ cpp_hashnode *node;
{
- cpp_buffer *ip = CPP_BUFFER (pfile);
+ maybe_print_line (print.map, line);
+ fputs ("#define ", print.outf);
- cpp_printf (pfile, &parse_out, "# %u \"%s\" 2%s\n", ip->lineno,
- ip->nominal_fname, cpp_syshdr_flags (pfile, ip));
+ /* -dD command line option. */
+ if (options->dump_macros == dump_definitions)
+ fputs ((const char *) cpp_macro_definition (pfile, node), print.outf);
+ else
+ fputs ((const char *) NODE_NAME (node), print.outf);
- parse_out.lineno = ip->lineno;
- parse_out.last_fname = ip->nominal_fname;
+ putc ('\n', print.outf);
+ print.line++;
}
static void
-cb_def_pragma (pfile)
- cpp_reader *pfile;
+cb_undef (pfile, line, node)
+ cpp_reader *pfile ATTRIBUTE_UNUSED;
+ unsigned int line;
+ cpp_hashnode *node;
{
- cpp_printf (pfile, &parse_out, "#pragma ");
- cpp_output_list (pfile, parse_out.outf, &pfile->token_list,
- pfile->first_directive_token + 2);
- putc ('\n', parse_out.outf);
+ maybe_print_line (print.map, line);
+ fprintf (print.outf, "#undef %s\n", NODE_NAME (node));
+ print.line++;
}
static void
-do_pragma_implementation (pfile)
+cb_include (pfile, line, dir, header)
cpp_reader *pfile;
+ unsigned int line;
+ const unsigned char *dir;
+ const cpp_token *header;
{
- /* Be quiet about `#pragma implementation' for a file only if it hasn't
- been included yet. */
- const cpp_token *tok = cpp_get_token (pfile);
- char *copy;
+ maybe_print_line (print.map, line);
+ fprintf (print.outf, "#%s %s\n", dir, cpp_token_as_text (pfile, header));
+ print.line++;
+}
- if (tok->type != CPP_EOF)
- {
- if (tok->type != CPP_STRING || cpp_get_token (pfile)->type != CPP_EOF)
- {
- cpp_error (pfile, "malformed #pragma implementation");
- return;
- }
+/* The file name, line number or system header flags have changed, as
+ described in MAP. From this point on, the old print.map might be
+ pointing to freed memory, and so must not be dereferenced. */
- /* Make a NUL-terminated copy of the string. */
- copy = alloca (tok->val.str.len + 1);
- memcpy (copy, tok->val.str.text, tok->val.str.len);
- copy[tok->val.str.len] = '\0';
-
- if (cpp_included (pfile, copy))
- cpp_warning (pfile,
- "#pragma implementation for %s appears after file is included",
- copy);
+static void
+cb_file_change (pfile, map)
+ cpp_reader *pfile ATTRIBUTE_UNUSED;
+ const struct line_map *map;
+{
+ const char *flags = "";
+
+ /* First time? */
+ if (print.map == NULL)
+ {
+ /* Avoid printing foo.i when the main file is foo.c. */
+ if (!options->preprocessed)
+ print_line (map, map->from_line, flags);
+ }
+ else
+ {
+ /* Bring current file to correct line when entering a new file. */
+ if (map->reason == LC_ENTER)
+ maybe_print_line (map - 1, map->from_line - 1);
+
+ if (map->reason == LC_ENTER)
+ flags = " 1";
+ else if (map->reason == LC_LEAVE)
+ flags = " 2";
+ print_line (map, map->from_line, flags);
}
- /* forward to default-pragma handler. */
- cb_def_pragma (pfile);
+ print.map = map;
+}
+
+/* Copy a #pragma directive to the preprocessed output. */
+static void
+cb_def_pragma (pfile, line)
+ cpp_reader *pfile;
+ unsigned int line;
+{
+ maybe_print_line (print.map, line);
+ fputs ("#pragma ", print.outf);
+ cpp_output_line (pfile, print.outf);
+ print.line++;
}
/* Dump out the hash table. */
static int
-dump_macros_helper (pfile, hp)
+dump_macro (pfile, node, v)
cpp_reader *pfile;
- cpp_hashnode *hp;
+ cpp_hashnode *node;
+ void *v ATTRIBUTE_UNUSED;
{
- if (hp->type == T_MACRO)
+ if (node->type == NT_MACRO && !(node->flags & NODE_BUILTIN))
{
- cpp_printf (pfile, &parse_out, "#define %s", hp->name);
- cpp_dump_definition (pfile, parse_out.outf, hp);
- putc ('\n', parse_out.outf);
+ fputs ("#define ", print.outf);
+ fputs ((const char *) cpp_macro_definition (pfile, node), print.outf);
+ putc ('\n', print.outf);
+ print.line++;
}
return 1;
}
-
OSDN Git Service
