-/* CPP main program, using CPP Library.
- Copyright (C) 1995, 1997, 1998, 1999, 2000, 2001
+/* Preprocess only, using cpplib.
+ Copyright (C) 1995, 1997, 1998, 1999, 2000, 2001, 2002
Free Software Foundation, Inc.
Written by Per Bothner, 1994-95.
#include "config.h"
#include "system.h"
#include "cpplib.h"
-#include "intl.h"
+#include "cpphash.h"
-/* 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 char *last_fname; /* previous file name. */
- const char *syshdr_flags; /* system header flags, if any. */
- unsigned int lineno; /* line currently being written. */
- unsigned char printed; /* nonzero if something output at lineno. */
-};
-
-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));
+static void setup_callbacks PARAMS ((cpp_reader *));
/* General output routines. */
-static void scan_buffer PARAMS ((cpp_reader *));
-static void check_multiline_token PARAMS ((cpp_string *));
-static int printer_init PARAMS ((cpp_reader *));
+static void scan_translation_unit PARAMS ((cpp_reader *));
+static void scan_translation_unit_trad PARAMS ((cpp_reader *));
+static void account_for_newlines PARAMS ((cpp_reader *, const uchar *,
+ size_t));
static int dump_macro PARAMS ((cpp_reader *, cpp_hashnode *, void *));
-static void print_line PARAMS ((const char *));
-static void maybe_print_line PARAMS ((unsigned int));
+static void print_line PARAMS ((cpp_reader *, const struct line_map *,
+ unsigned int, const char *));
+static void maybe_print_line PARAMS ((cpp_reader *, const struct line_map *,
+ unsigned int));
/* 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 cpp_token *));
-static void cb_ident PARAMS ((cpp_reader *, const cpp_string *));
-static void cb_file_change PARAMS ((cpp_reader *, const cpp_file_change *));
-static void cb_def_pragma PARAMS ((cpp_reader *));
-
-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;
-{
- general_init (argv[0]);
-
- /* Contruct a reader with default language GNU C89. */
- pfile = cpp_create_reader (CLK_GNUC89);
- options = cpp_get_options (pfile);
-
- do_preprocessing (argc, argv);
-
- /* Reader destructor. */
- cpp_cleanup (pfile);
-
- if (cpp_errors (pfile))
- return FATAL_EXIT_CODE;
-
- return SUCCESS_EXIT_CODE;
-}
-
-/* Store the program name, and set the locale. */
-static void
-general_init (const char *argv0)
-{
- progname = argv0 + strlen (argv0);
-
- while (progname != argv0 && ! IS_DIR_SEPARATOR (progname[-1]))
- --progname;
-
- xmalloc_set_program_name (progname);
-
-/* LC_CTYPE determines the character set used by the terminal so it
- has to be set to output messages correctly. */
-
-#ifdef HAVE_LC_MESSAGES
- setlocale (LC_CTYPE, "");
- setlocale (LC_MESSAGES, "");
-#else
- setlocale (LC_ALL, "");
-#endif
-
- (void) bindtextdomain (PACKAGE, localedir);
- (void) textdomain (PACKAGE);
-}
-
-/* Handle switches, preprocess and output. */
-static void
-do_preprocessing (argc, argv)
- int argc;
- char **argv;
+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));
+
+/* Preprocess and output. */
+void
+cpp_preprocess_file (pfile, in_fname, out_stream)
+ cpp_reader *pfile;
+ const char *in_fname;
+ FILE *out_stream;
{
- int argi = 1; /* Next argument to handle. */
-
- argi += cpp_handle_options (pfile, argc - argi , argv + argi);
- if (CPP_FATAL_ERRORS (pfile))
- return;
-
- if (argi < argc)
- cpp_fatal (pfile, "Invalid option %s", argv[argi]);
- else
- 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;
-
- /* 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). */
- if (printer_init (pfile))
- return;
-
- setup_callbacks ();
-
- if (cpp_start_read (pfile, options->in_fname))
+ /* 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. */
+ pfile->print.line = (unsigned int) -1;
+ pfile->print.printed = 0;
+ pfile->print.prev = 0;
+ pfile->print.map = 0;
+ pfile->print.outf = out_stream;
+
+ setup_callbacks (pfile);
+
+ if (cpp_read_main_file (pfile, in_fname, NULL))
{
- /* A successful cpp_start_read guarantees that we can call
- cpp_scan_buffer_nooutput or cpp_get_token next. */
+ cpp_options *options = &pfile->opts;
+ cpp_finish_options (pfile);
+
+ /* 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_buffer_nooutput (pfile, 1);
+ cpp_scan_nooutput (pfile);
+ else if (options->traditional)
+ scan_translation_unit_trad (pfile);
else
- scan_buffer (pfile);
+ scan_translation_unit (pfile);
/* -dM command line option. Should this be in cpp_finish? */
if (options->dump_macros == dump_only)
cpp_forall_identifiers (pfile, dump_macro, NULL);
-
- cpp_finish (pfile);
}
/* Flush any pending output. */
- if (print.printed)
- putc ('\n', print.outf);
-
- if (ferror (print.outf) || fclose (print.outf))
- cpp_notice_from_errno (pfile, options->out_fname);
+ if (pfile->print.printed)
+ putc ('\n', pfile->print.outf);
}
/* Set up the callbacks as appropriate. */
static void
-setup_callbacks ()
+setup_callbacks (pfile)
+ cpp_reader *pfile;
{
+ cpp_options *options = &pfile->opts;
cpp_callbacks *cb = cpp_get_callbacks (pfile);
if (! options->no_output)
{
- cb->ident = cb_ident;
- cb->def_pragma = cb_def_pragma;
+ cb->line_change = cb_line_change;
+ /* Don't emit #pragma or #ident directives if we are processing
+ assembly language; the assembler may choke on them. */
+ if (options->lang != CLK_ASM)
+ {
+ cb->ident = cb_ident;
+ cb->def_pragma = cb_def_pragma;
+ }
if (! options->no_line_commands)
cb->file_change = cb_file_change;
}
{
cb->define = cb_define;
cb->undef = cb_undef;
- cb->poison = cb_def_pragma;
}
}
-/* Writes out the preprocessed file. Alternates between two tokens,
- so that we can avoid accidental token pasting. */
+/* Writes out the preprocessed file, handling spacing and paste
+ avoidance issues. */
static void
-scan_buffer (pfile)
+scan_translation_unit (pfile)
cpp_reader *pfile;
{
- unsigned int index, line;
- cpp_token tokens[2], *token;
+ bool avoid_paste = false;
- do
+ pfile->print.source = NULL;
+ for (;;)
{
- for (index = 0;; index = 1 - index)
+ const cpp_token *token = cpp_get_token (pfile);
+
+ if (token->type == CPP_PADDING)
{
- token = &tokens[index];
- cpp_get_token (pfile, token);
-
- if (token->type == CPP_EOF)
- break;
-
- line = cpp_get_line (pfile)->output_line;
- if (print.lineno != line)
- {
- unsigned int col = cpp_get_line (pfile)->col;
-
- /* Supply enough whitespace to put this token in its original
- column. Don't bother trying to reconstruct tabs; we can't
- get it right in general, and nothing ought to care. (Yes,
- some things do care; the fault lies with them.) */
- maybe_print_line (line);
- if (col > 1)
- {
- if (token->flags & PREV_WHITE)
- col--;
- while (--col)
- putc (' ', print.outf);
- }
- }
- else if (print.printed
- && ! (token->flags & PREV_WHITE)
- && options->lang != CLK_ASM
- && cpp_avoid_paste (pfile, &tokens[1 - index], token))
- token->flags |= PREV_WHITE;
-
- cpp_output_token (token, print.outf);
- print.printed = 1;
- if (token->type == CPP_STRING || token->type == CPP_WSTRING
- || token->type == CPP_COMMENT)
- check_multiline_token (&token->val.str);
+ avoid_paste = true;
+ if (pfile->print.source == NULL
+ || (!(pfile->print.source->flags & PREV_WHITE)
+ && token->val.source == NULL))
+ pfile->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 (pfile->print.source == NULL)
+ pfile->print.source = token;
+ if (pfile->print.source->flags & PREV_WHITE
+ || (pfile->print.prev
+ && cpp_avoid_paste (pfile, pfile->print.prev, token))
+ || (pfile->print.prev == NULL && token->type == CPP_HASH))
+ putc (' ', pfile->print.outf);
+ }
+ else if (token->flags & PREV_WHITE)
+ putc (' ', pfile->print.outf);
+
+ avoid_paste = false;
+ pfile->print.source = NULL;
+ pfile->print.prev = token;
+ cpp_output_token (token, pfile->print.outf);
+
+ if (token->type == CPP_COMMENT)
+ account_for_newlines (pfile, token->val.str.text, token->val.str.len);
}
- while (cpp_pop_buffer (pfile) != 0);
}
-/* Adjust print.lineno for newlines embedded in tokens. */
+/* Adjust pfile->print.line for newlines embedded in output. */
static void
-check_multiline_token (str)
- cpp_string *str;
+account_for_newlines (pfile, str, len)
+ cpp_reader *pfile;
+ const uchar *str;
+ size_t len;
{
- unsigned int i;
-
- for (i = 0; i < str->len; i++)
- if (str->text[i] == '\n')
- print.lineno++;
+ while (len--)
+ if (*str++ == '\n')
+ pfile->print.line++;
}
-/* Initialize a cpp_printer structure. As a side effect, open the
- output file. */
-static int
-printer_init (pfile)
+/* Writes out a traditionally preprocessed file. */
+static void
+scan_translation_unit_trad (pfile)
cpp_reader *pfile;
{
- print.last_fname = 0;
- print.lineno = 0;
- print.printed = 0;
-
- if (options->out_fname == NULL)
- options->out_fname = "";
-
- if (options->out_fname[0] == '\0')
- print.outf = stdout;
- else
+ while (_cpp_read_logical_line_trad (pfile))
{
- print.outf = fopen (options->out_fname, "w");
- if (! print.outf)
- {
- cpp_notice_from_errno (pfile, options->out_fname);
- return 1;
- }
+ size_t len = pfile->out.cur - pfile->out.base;
+ maybe_print_line (pfile, pfile->print.map, pfile->out.first_line);
+ fwrite (pfile->out.base, 1, len, pfile->print.outf);
+ pfile->print.printed = 1;
+ if (!CPP_OPTION (pfile, discard_comments))
+ account_for_newlines (pfile, pfile->out.base, len);
}
-
- return 0;
}
-/* Newline-terminate any output line currently in progress. If
- appropriate, write the current line number to the output, or pad
- with newlines so the output line matches the current 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
-maybe_print_line (line)
+maybe_print_line (pfile, map, line)
+ cpp_reader *pfile;
+ const struct line_map *map;
unsigned int line;
{
- /* End the previous line of text (probably only needed until we get
- multi-line tokens fixed). */
- if (print.printed)
- {
- putc ('\n', print.outf);
- print.lineno++;
- print.printed = 0;
- }
-
- if (options->no_line_commands)
+ /* End the previous line of text. */
+ if (pfile->print.printed)
{
- print.lineno = line;
- return;
+ putc ('\n', pfile->print.outf);
+ pfile->print.line++;
+ pfile->print.printed = 0;
}
- /* print.lineno is zero if this is the first token of the file. We
- handle this specially, so that a first line of "# 1 "foo.c" in
- file foo.i outputs just the foo.c line, and not a foo.i line. */
- if (line >= print.lineno && line < print.lineno + 8 && print.lineno)
+ if (line >= pfile->print.line && line < pfile->print.line + 8)
{
- while (line > print.lineno)
+ while (line > pfile->print.line)
{
- putc ('\n', print.outf);
- print.lineno++;
+ putc ('\n', pfile->print.outf);
+ pfile->print.line++;
}
}
else
- {
- print.lineno = line;
- print_line ("");
- }
+ print_line (pfile, map, line, "");
}
+/* Output a line marker for logical line LINE. Special flags are "1"
+ or "2" indicating entering or leaving a file. */
static void
-print_line (special_flags)
- const char *special_flags;
+print_line (pfile, map, line, special_flags)
+ cpp_reader *pfile;
+ 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;
+ if (pfile->print.printed)
+ putc ('\n', pfile->print.outf);
+ pfile->print.printed = 0;
- fprintf (print.outf, "# %u \"%s\"%s%s\n",
- print.lineno, print.last_fname, special_flags, print.syshdr_flags);
+ pfile->print.line = line;
+ if (! CPP_OPTION (pfile, no_line_commands))
+ {
+ size_t to_file_len = strlen (map->to_file);
+ unsigned char *to_file_quoted = alloca (to_file_len * 4 + 1);
+ unsigned char *p;
+
+ /* cpp_quote_string does not nul-terminate, so we have to do it
+ ourselves. */
+ p = cpp_quote_string (to_file_quoted,
+ (unsigned char *)map->to_file, to_file_len);
+ *p = '\0';
+ fprintf (pfile->print.outf, "# %u \"%s\"%s",
+ SOURCE_LINE (map, pfile->print.line),
+ to_file_quoted, special_flags);
+
+ if (map->sysp == 2)
+ fputs (" 3 4", pfile->print.outf);
+ else if (map->sysp == 1)
+ fputs (" 3", pfile->print.outf);
+
+ putc ('\n', pfile->print.outf);
+ }
}
-/* Callbacks. */
+/* 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_line_change (pfile, token, parsing_args)
+ cpp_reader *pfile;
+ const cpp_token *token;
+ int parsing_args;
+{
+ if (token->type == CPP_EOF || parsing_args)
+ return;
+
+ maybe_print_line (pfile, pfile->print.map, token->line);
+ pfile->print.prev = 0;
+ pfile->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 (!CPP_OPTION (pfile, traditional))
+ {
+ pfile->print.printed = 1;
+ if (token->col > 2)
+ {
+ unsigned int spaces = token->col - 2;
+
+ while (spaces--)
+ putc (' ', pfile->print.outf);
+ }
+ }
+}
static void
-cb_ident (pfile, str)
- cpp_reader *pfile ATTRIBUTE_UNUSED;
+cb_ident (pfile, line, str)
+ cpp_reader *pfile;
+ unsigned int line;
const cpp_string * str;
{
- maybe_print_line (cpp_get_line (pfile)->output_line);
- fprintf (print.outf, "#ident \"%.*s\"\n", (int) str->len, str->text);
- print.lineno++;
+ maybe_print_line (pfile, pfile->print.map, line);
+ fprintf (pfile->print.outf, "#ident \"%s\"\n", str->text);
+ pfile->print.line++;
}
static void
-cb_define (pfile, node)
+cb_define (pfile, line, node)
cpp_reader *pfile;
+ unsigned int line;
cpp_hashnode *node;
{
- maybe_print_line (cpp_get_line (pfile)->output_line);
- fprintf (print.outf, "#define %s", node->name);
+ maybe_print_line (pfile, pfile->print.map, line);
+ fputs ("#define ", pfile->print.outf);
/* -dD command line option. */
- if (options->dump_macros == dump_definitions)
- fputs ((const char *) cpp_macro_definition (pfile, node), print.outf);
+ if (CPP_OPTION (pfile, dump_macros) == dump_definitions)
+ fputs ((const char *) cpp_macro_definition (pfile, node),
+ pfile->print.outf);
+ else
+ fputs ((const char *) NODE_NAME (node), pfile->print.outf);
- putc ('\n', print.outf);
- print.lineno++;
+ putc ('\n', pfile->print.outf);
+ pfile->print.line++;
}
static void
-cb_undef (pfile, node)
+cb_undef (pfile, line, node)
cpp_reader *pfile;
+ unsigned int line;
cpp_hashnode *node;
{
- maybe_print_line (cpp_get_line (pfile)->output_line);
- fprintf (print.outf, "#undef %s\n", node->name);
- print.lineno++;
+ maybe_print_line (pfile, pfile->print.map, line);
+ fprintf (pfile->print.outf, "#undef %s\n", NODE_NAME (node));
+ pfile->print.line++;
}
static void
-cb_include (pfile, dir, header)
- cpp_reader *pfile ATTRIBUTE_UNUSED;
+cb_include (pfile, line, dir, header)
+ cpp_reader *pfile;
+ unsigned int line;
const unsigned char *dir;
const cpp_token *header;
{
- maybe_print_line (cpp_get_line (pfile)->output_line);
- fprintf (print.outf, "#%s %s\n", dir, cpp_token_as_text (pfile, header));
- print.lineno++;
+ maybe_print_line (pfile, pfile->print.map, line);
+ fprintf (pfile->print.outf, "#%s %s\n", dir,
+ cpp_token_as_text (pfile, header));
+ pfile->print.line++;
}
+/* The file name, line number or system header flags have changed, as
+ described in MAP. From this point on, the old pfile->print.map might be
+ pointing to freed memory, and so must not be dereferenced. */
+
static void
-cb_file_change (pfile, fc)
- cpp_reader *pfile ATTRIBUTE_UNUSED;
- const cpp_file_change *fc;
+cb_file_change (pfile, map)
+ cpp_reader *pfile;
+ const struct line_map *map;
{
- /* Bring current file to correct line (except first file). */
- if (fc->reason == FC_ENTER && fc->from.filename)
- maybe_print_line (fc->from.lineno);
-
- print.last_fname = fc->to.filename;
- if (fc->externc)
- print.syshdr_flags = " 3 4";
- else if (fc->sysp)
- print.syshdr_flags = " 3";
- else
- print.syshdr_flags = "";
+ const char *flags = "";
- if (print.lineno)
+ /* First time? */
+ if (pfile->print.map == NULL)
{
- const char *flags = "";
+ /* Avoid printing foo.i when the main file is foo.c. */
+ if (!CPP_OPTION (pfile, preprocessed))
+ print_line (pfile, 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 (pfile, map - 1, map->from_line - 1);
- print.lineno = fc->to.lineno;
- if (fc->reason == FC_ENTER)
+ if (map->reason == LC_ENTER)
flags = " 1";
- else if (fc->reason == FC_LEAVE)
+ else if (map->reason == LC_LEAVE)
flags = " 2";
-
- if (! options->no_line_commands)
- print_line (flags);
+ print_line (pfile, map, map->from_line, flags);
}
+
+ pfile->print.map = map;
}
+/* Copy a #pragma directive to the preprocessed output. */
static void
-cb_def_pragma (pfile)
+cb_def_pragma (pfile, line)
cpp_reader *pfile;
+ unsigned int line;
{
- maybe_print_line (cpp_get_line (pfile)->output_line);
- fputs ("#pragma ", print.outf);
- cpp_output_line (pfile, print.outf);
- print.lineno++;
+ maybe_print_line (pfile, pfile->print.map, line);
+ fputs ("#pragma ", pfile->print.outf);
+ cpp_output_line (pfile, pfile->print.outf);
+ pfile->print.line++;
}
/* Dump out the hash table. */
{
if (node->type == NT_MACRO && !(node->flags & NODE_BUILTIN))
{
- fprintf (print.outf, "#define %s", node->name);
- fputs ((const char *) cpp_macro_definition (pfile, node), print.outf);
- putc ('\n', print.outf);
- print.lineno++;
+ fputs ("#define ", pfile->print.outf);
+ fputs ((const char *) cpp_macro_definition (pfile, node),
+ pfile->print.outf);
+ putc ('\n', pfile->print.outf);
+ pfile->print.line++;
}
return 1;
OSDN Git Service
