1 /* Preprocess only, using cpplib.
2 Copyright (C) 1995, 1997, 1998, 1999, 2000, 2001, 2002
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! */
26 #include "coretypes.h"
31 static void setup_callbacks
PARAMS ((cpp_reader
*));
33 /* General output routines. */
34 static void scan_translation_unit
PARAMS ((cpp_reader
*));
35 static void scan_translation_unit_trad
PARAMS ((cpp_reader
*));
36 static void account_for_newlines
PARAMS ((cpp_reader
*, const uchar
*,
38 static int dump_macro
PARAMS ((cpp_reader
*, cpp_hashnode
*, void *));
40 static void print_line
PARAMS ((cpp_reader
*, const struct line_map
*,
41 unsigned int, const char *));
42 static void maybe_print_line
PARAMS ((cpp_reader
*, const struct line_map
*,
45 /* Callback routines for the parser. Most of these are active only
47 static void cb_line_change
PARAMS ((cpp_reader
*, const cpp_token
*, int));
48 static void cb_define
PARAMS ((cpp_reader
*, unsigned int, cpp_hashnode
*));
49 static void cb_undef
PARAMS ((cpp_reader
*, unsigned int, cpp_hashnode
*));
50 static void cb_include
PARAMS ((cpp_reader
*, unsigned int,
51 const unsigned char *, const cpp_token
*));
52 static void cb_ident
PARAMS ((cpp_reader
*, unsigned int,
54 static void cb_file_change
PARAMS ((cpp_reader
*, const struct line_map
*));
55 static void cb_def_pragma
PARAMS ((cpp_reader
*, unsigned int));
57 /* Preprocess and output. */
59 cpp_preprocess_file (pfile
, in_fname
, out_stream
)
64 /* Initialize the printer structure. Setting print.line to -1 here
65 is a trick to guarantee that the first token of the file will
66 cause a linemarker to be output by maybe_print_line. */
67 pfile
->print
.line
= (unsigned int) -1;
68 pfile
->print
.printed
= 0;
69 pfile
->print
.prev
= 0;
71 pfile
->print
.outf
= out_stream
;
73 setup_callbacks (pfile
);
75 if (cpp_read_main_file (pfile
, in_fname
, NULL
))
77 cpp_options
*options
= &pfile
->opts
;
78 cpp_finish_options (pfile
);
80 /* A successful cpp_read_main_file guarantees that we can call
81 cpp_scan_nooutput or cpp_get_token next. */
82 if (options
->no_output
)
84 /* Scan -included buffers, then the main file. */
85 while (pfile
->buffer
->prev
)
86 cpp_scan_nooutput (pfile
);
87 cpp_scan_nooutput (pfile
);
89 else if (options
->traditional
)
90 scan_translation_unit_trad (pfile
);
92 scan_translation_unit (pfile
);
94 /* -dM command line option. Should this be in cpp_finish? */
95 if (options
->dump_macros
== dump_only
)
96 cpp_forall_identifiers (pfile
, dump_macro
, NULL
);
99 /* Flush any pending output. */
100 if (pfile
->print
.printed
)
101 putc ('\n', pfile
->print
.outf
);
104 /* Set up the callbacks as appropriate. */
106 setup_callbacks (pfile
)
109 cpp_options
*options
= &pfile
->opts
;
110 cpp_callbacks
*cb
= cpp_get_callbacks (pfile
);
112 if (! options
->no_output
)
114 cb
->line_change
= cb_line_change
;
115 /* Don't emit #pragma or #ident directives if we are processing
116 assembly language; the assembler may choke on them. */
117 if (options
->lang
!= CLK_ASM
)
119 cb
->ident
= cb_ident
;
120 cb
->def_pragma
= cb_def_pragma
;
122 if (! options
->no_line_commands
)
123 cb
->file_change
= cb_file_change
;
126 if (options
->dump_includes
)
127 cb
->include
= cb_include
;
129 if (options
->dump_macros
== dump_names
130 || options
->dump_macros
== dump_definitions
)
132 cb
->define
= cb_define
;
133 cb
->undef
= cb_undef
;
137 /* Writes out the preprocessed file, handling spacing and paste
140 scan_translation_unit (pfile
)
143 bool avoid_paste
= false;
145 pfile
->print
.source
= NULL
;
148 const cpp_token
*token
= cpp_get_token (pfile
);
150 if (token
->type
== CPP_PADDING
)
153 if (pfile
->print
.source
== NULL
154 || (!(pfile
->print
.source
->flags
& PREV_WHITE
)
155 && token
->val
.source
== NULL
))
156 pfile
->print
.source
= token
->val
.source
;
160 if (token
->type
== CPP_EOF
)
163 /* Subtle logic to output a space if and only if necessary. */
166 if (pfile
->print
.source
== NULL
)
167 pfile
->print
.source
= token
;
168 if (pfile
->print
.source
->flags
& PREV_WHITE
169 || (pfile
->print
.prev
170 && cpp_avoid_paste (pfile
, pfile
->print
.prev
, token
))
171 || (pfile
->print
.prev
== NULL
&& token
->type
== CPP_HASH
))
172 putc (' ', pfile
->print
.outf
);
174 else if (token
->flags
& PREV_WHITE
)
175 putc (' ', pfile
->print
.outf
);
178 pfile
->print
.source
= NULL
;
179 pfile
->print
.prev
= token
;
180 cpp_output_token (token
, pfile
->print
.outf
);
182 if (token
->type
== CPP_COMMENT
)
183 account_for_newlines (pfile
, token
->val
.str
.text
, token
->val
.str
.len
);
187 /* Adjust pfile->print.line for newlines embedded in output. */
189 account_for_newlines (pfile
, str
, len
)
199 /* Writes out a traditionally preprocessed file. */
201 scan_translation_unit_trad (pfile
)
204 while (_cpp_read_logical_line_trad (pfile
))
206 size_t len
= pfile
->out
.cur
- pfile
->out
.base
;
207 maybe_print_line (pfile
, pfile
->print
.map
, pfile
->out
.first_line
);
208 fwrite (pfile
->out
.base
, 1, len
, pfile
->print
.outf
);
209 pfile
->print
.printed
= 1;
210 if (!CPP_OPTION (pfile
, discard_comments
))
211 account_for_newlines (pfile
, pfile
->out
.base
, len
);
215 /* If the token read on logical line LINE needs to be output on a
216 different line to the current one, output the required newlines or
217 a line marker, and return 1. Otherwise return 0. */
219 maybe_print_line (pfile
, map
, line
)
221 const struct line_map
*map
;
224 /* End the previous line of text. */
225 if (pfile
->print
.printed
)
227 putc ('\n', pfile
->print
.outf
);
229 pfile
->print
.printed
= 0;
232 if (line
>= pfile
->print
.line
&& line
< pfile
->print
.line
+ 8)
234 while (line
> pfile
->print
.line
)
236 putc ('\n', pfile
->print
.outf
);
241 print_line (pfile
, map
, line
, "");
244 /* Output a line marker for logical line LINE. Special flags are "1"
245 or "2" indicating entering or leaving a file. */
247 print_line (pfile
, map
, line
, special_flags
)
249 const struct line_map
*map
;
251 const char *special_flags
;
253 /* End any previous line of text. */
254 if (pfile
->print
.printed
)
255 putc ('\n', pfile
->print
.outf
);
256 pfile
->print
.printed
= 0;
258 pfile
->print
.line
= line
;
259 if (! CPP_OPTION (pfile
, no_line_commands
))
261 size_t to_file_len
= strlen (map
->to_file
);
262 unsigned char *to_file_quoted
= alloca (to_file_len
* 4 + 1);
265 /* cpp_quote_string does not nul-terminate, so we have to do it
267 p
= cpp_quote_string (to_file_quoted
,
268 (unsigned char *)map
->to_file
, to_file_len
);
270 fprintf (pfile
->print
.outf
, "# %u \"%s\"%s",
271 SOURCE_LINE (map
, pfile
->print
.line
),
272 to_file_quoted
, special_flags
);
275 fputs (" 3 4", pfile
->print
.outf
);
276 else if (map
->sysp
== 1)
277 fputs (" 3", pfile
->print
.outf
);
279 putc ('\n', pfile
->print
.outf
);
283 /* Called when a line of output is started. TOKEN is the first token
284 of the line, and at end of file will be CPP_EOF. */
286 cb_line_change (pfile
, token
, parsing_args
)
288 const cpp_token
*token
;
291 if (token
->type
== CPP_EOF
|| parsing_args
)
294 maybe_print_line (pfile
, pfile
->print
.map
, token
->line
);
295 pfile
->print
.prev
= 0;
296 pfile
->print
.source
= 0;
298 /* Supply enough spaces to put this token in its original column,
299 one space per column greater than 2, since scan_translation_unit
300 will provide a space if PREV_WHITE. Don't bother trying to
301 reconstruct tabs; we can't get it right in general, and nothing
302 ought to care. Some things do care; the fault lies with them. */
303 if (!CPP_OPTION (pfile
, traditional
))
305 pfile
->print
.printed
= 1;
308 unsigned int spaces
= token
->col
- 2;
311 putc (' ', pfile
->print
.outf
);
317 cb_ident (pfile
, line
, str
)
320 const cpp_string
* str
;
322 maybe_print_line (pfile
, pfile
->print
.map
, line
);
323 fprintf (pfile
->print
.outf
, "#ident \"%s\"\n", str
->text
);
328 cb_define (pfile
, line
, node
)
333 maybe_print_line (pfile
, pfile
->print
.map
, line
);
334 fputs ("#define ", pfile
->print
.outf
);
336 /* -dD command line option. */
337 if (CPP_OPTION (pfile
, dump_macros
) == dump_definitions
)
338 fputs ((const char *) cpp_macro_definition (pfile
, node
),
341 fputs ((const char *) NODE_NAME (node
), pfile
->print
.outf
);
343 putc ('\n', pfile
->print
.outf
);
348 cb_undef (pfile
, line
, node
)
353 maybe_print_line (pfile
, pfile
->print
.map
, line
);
354 fprintf (pfile
->print
.outf
, "#undef %s\n", NODE_NAME (node
));
359 cb_include (pfile
, line
, dir
, header
)
362 const unsigned char *dir
;
363 const cpp_token
*header
;
365 maybe_print_line (pfile
, pfile
->print
.map
, line
);
366 fprintf (pfile
->print
.outf
, "#%s %s\n", dir
,
367 cpp_token_as_text (pfile
, header
));
371 /* The file name, line number or system header flags have changed, as
372 described in MAP. From this point on, the old pfile->print.map might be
373 pointing to freed memory, and so must not be dereferenced. */
376 cb_file_change (pfile
, map
)
378 const struct line_map
*map
;
380 const char *flags
= "";
383 if (pfile
->print
.map
== NULL
)
385 /* Avoid printing foo.i when the main file is foo.c. */
386 if (!CPP_OPTION (pfile
, preprocessed
))
387 print_line (pfile
, map
, map
->from_line
, flags
);
391 /* Bring current file to correct line when entering a new file. */
392 if (map
->reason
== LC_ENTER
)
393 maybe_print_line (pfile
, map
- 1, map
->from_line
- 1);
395 if (map
->reason
== LC_ENTER
)
397 else if (map
->reason
== LC_LEAVE
)
399 print_line (pfile
, map
, map
->from_line
, flags
);
402 pfile
->print
.map
= map
;
405 /* Copy a #pragma directive to the preprocessed output. */
407 cb_def_pragma (pfile
, line
)
411 maybe_print_line (pfile
, pfile
->print
.map
, line
);
412 fputs ("#pragma ", pfile
->print
.outf
);
413 cpp_output_line (pfile
, pfile
->print
.outf
);
417 /* Dump out the hash table. */
419 dump_macro (pfile
, node
, v
)
422 void *v ATTRIBUTE_UNUSED
;
424 if (node
->type
== NT_MACRO
&& !(node
->flags
& NODE_BUILTIN
))
426 fputs ("#define ", pfile
->print
.outf
);
427 fputs ((const char *) cpp_macro_definition (pfile
, node
),
429 putc ('\n', pfile
->print
.outf
);