]>
Commit | Line | Data |
---|---|---|
1 | /* Open and close files for Bison. | |
2 | ||
3 | Copyright (C) 1984, 1986, 1989, 1992, 2000-2012 Free Software | |
4 | Foundation, Inc. | |
5 | ||
6 | This file is part of Bison, the GNU Compiler Compiler. | |
7 | ||
8 | This program is free software: you can redistribute it and/or modify | |
9 | it under the terms of the GNU General Public License as published by | |
10 | the Free Software Foundation, either version 3 of the License, or | |
11 | (at your option) any later version. | |
12 | ||
13 | This program is distributed in the hope that it will be useful, | |
14 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 | GNU General Public License for more details. | |
17 | ||
18 | You should have received a copy of the GNU General Public License | |
19 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ | |
20 | ||
21 | #include <config.h> | |
22 | #include "system.h" | |
23 | ||
24 | #include <error.h> | |
25 | #include <dirname.h> | |
26 | #include <get-errno.h> | |
27 | #include <quote.h> | |
28 | #include <quotearg.h> | |
29 | #include <stdio-safer.h> | |
30 | #include <xstrndup.h> | |
31 | ||
32 | #include "complain.h" | |
33 | #include "files.h" | |
34 | #include "getargs.h" | |
35 | #include "gram.h" | |
36 | ||
37 | /* Initializing some values below (such SPEC_NAME_PREFIX to `yy') is | |
38 | tempting, but don't do that: for the time being our handling of the | |
39 | %directive vs --option leaves precedence to the options by deciding | |
40 | that if a %directive sets a variable which is really set (i.e., not | |
41 | NULL), then the %directive is ignored. As a result, %name-prefix, | |
42 | for instance, will not be honored. */ | |
43 | ||
44 | char const *spec_outfile = NULL; /* for -o. */ | |
45 | char const *spec_file_prefix = NULL; /* for -b. */ | |
46 | char const *spec_name_prefix = NULL; /* for -p. */ | |
47 | char *spec_verbose_file = NULL; /* for --verbose. */ | |
48 | char *spec_graph_file = NULL; /* for -g. */ | |
49 | char *spec_xml_file = NULL; /* for -x. */ | |
50 | char *spec_defines_file = NULL; /* for --defines. */ | |
51 | char *parser_file_name; | |
52 | ||
53 | /* All computed output file names. */ | |
54 | static char **file_names = NULL; | |
55 | static int file_names_count = 0; | |
56 | ||
57 | uniqstr grammar_file = NULL; | |
58 | uniqstr current_file = NULL; | |
59 | ||
60 | /* If --output=dir/foo.c was specified, | |
61 | DIR_PREFIX is `dir/' and ALL_BUT_EXT and ALL_BUT_TAB_EXT are `dir/foo'. | |
62 | ||
63 | If --output=dir/foo.tab.c was specified, DIR_PREFIX is `dir/', | |
64 | ALL_BUT_EXT is `dir/foo.tab', and ALL_BUT_TAB_EXT is `dir/foo'. | |
65 | ||
66 | If --output was not specified but --file-prefix=dir/foo was specified, | |
67 | ALL_BUT_EXT = `foo.tab' and ALL_BUT_TAB_EXT = `foo'. | |
68 | ||
69 | If neither --output nor --file was specified but the input grammar | |
70 | is name dir/foo.y, ALL_BUT_EXT and ALL_BUT_TAB_EXT are `foo'. | |
71 | ||
72 | If neither --output nor --file was specified, DIR_PREFIX is the | |
73 | empty string (meaning the current directory); otherwise it is | |
74 | `dir/'. */ | |
75 | ||
76 | char *all_but_ext; | |
77 | static char *all_but_tab_ext; | |
78 | char *dir_prefix; | |
79 | ||
80 | /* C source file extension (the parser source). */ | |
81 | static char *src_extension = NULL; | |
82 | /* Header file extension (if option ``-d'' is specified). */ | |
83 | static char *header_extension = NULL; | |
84 | \f | |
85 | /*-----------------------------------------------------------------. | |
86 | | Return a newly allocated string composed of the concatenation of | | |
87 | | STR1, and STR2. | | |
88 | `-----------------------------------------------------------------*/ | |
89 | ||
90 | static char * | |
91 | concat2 (char const *str1, char const *str2) | |
92 | { | |
93 | size_t len = strlen (str1) + strlen (str2); | |
94 | char *res = xmalloc (len + 1); | |
95 | char *cp; | |
96 | cp = stpcpy (res, str1); | |
97 | cp = stpcpy (cp, str2); | |
98 | return res; | |
99 | } | |
100 | ||
101 | /*-----------------------------------------------------------------. | |
102 | | Try to open file NAME with mode MODE, and print an error message | | |
103 | | if fails. | | |
104 | `-----------------------------------------------------------------*/ | |
105 | ||
106 | FILE * | |
107 | xfopen (const char *name, const char *mode) | |
108 | { | |
109 | FILE *ptr; | |
110 | ||
111 | ptr = fopen_safer (name, mode); | |
112 | if (!ptr) | |
113 | error (EXIT_FAILURE, get_errno (), | |
114 | _("%s: cannot open"), quotearg_colon (name)); | |
115 | ||
116 | return ptr; | |
117 | } | |
118 | ||
119 | /*-------------------------------------------------------------. | |
120 | | Try to close file PTR, and print an error message if fails. | | |
121 | `-------------------------------------------------------------*/ | |
122 | ||
123 | void | |
124 | xfclose (FILE *ptr) | |
125 | { | |
126 | if (ptr == NULL) | |
127 | return; | |
128 | ||
129 | if (ferror (ptr)) | |
130 | error (EXIT_FAILURE, 0, _("input/output error")); | |
131 | ||
132 | if (fclose (ptr) != 0) | |
133 | error (EXIT_FAILURE, get_errno (), _("cannot close file")); | |
134 | } | |
135 | \f | |
136 | ||
137 | FILE * | |
138 | xfdopen (int fd, char const *mode) | |
139 | { | |
140 | FILE *res = fdopen (fd, mode); | |
141 | if (! res) | |
142 | error (EXIT_FAILURE, get_errno (), | |
143 | // On a separate line to please the "unmarked_diagnostics" | |
144 | // syntax-check. | |
145 | "fdopen"); | |
146 | return res; | |
147 | } | |
148 | ||
149 | /*------------------------------------------------------------------. | |
150 | | Compute ALL_BUT_EXT, ALL_BUT_TAB_EXT and output files extensions. | | |
151 | `------------------------------------------------------------------*/ | |
152 | ||
153 | /* Compute extensions from the grammar file extension. */ | |
154 | static void | |
155 | compute_exts_from_gf (const char *ext) | |
156 | { | |
157 | if (STREQ (ext, ".y")) | |
158 | { | |
159 | src_extension = xstrdup (language->src_extension); | |
160 | header_extension = xstrdup (language->header_extension); | |
161 | } | |
162 | else | |
163 | { | |
164 | src_extension = xstrdup (ext); | |
165 | header_extension = xstrdup (ext); | |
166 | tr (src_extension, 'y', 'c'); | |
167 | tr (src_extension, 'Y', 'C'); | |
168 | tr (header_extension, 'y', 'h'); | |
169 | tr (header_extension, 'Y', 'H'); | |
170 | } | |
171 | } | |
172 | ||
173 | /* Compute extensions from the given c source file extension. */ | |
174 | static void | |
175 | compute_exts_from_src (const char *ext) | |
176 | { | |
177 | /* We use this function when the user specifies `-o' or `--output', | |
178 | so the extenions must be computed unconditionally from the file name | |
179 | given by this option. */ | |
180 | src_extension = xstrdup (ext); | |
181 | header_extension = xstrdup (ext); | |
182 | tr (header_extension, 'c', 'h'); | |
183 | tr (header_extension, 'C', 'H'); | |
184 | } | |
185 | ||
186 | ||
187 | /* Decompose FILE_NAME in four parts: *BASE, *TAB, and *EXT, the fourth | |
188 | part, (the directory) is ranging from FILE_NAME to the char before | |
189 | *BASE, so we don't need an additional parameter. | |
190 | ||
191 | *EXT points to the last period in the basename, or NULL if none. | |
192 | ||
193 | If there is no *EXT, *TAB is NULL. Otherwise, *TAB points to | |
194 | `.tab' or `_tab' if present right before *EXT, or is NULL. *TAB | |
195 | cannot be equal to *BASE. | |
196 | ||
197 | None are allocated, they are simply pointers to parts of FILE_NAME. | |
198 | Examples: | |
199 | ||
200 | '/tmp/foo.tab.c' -> *BASE = 'foo.tab.c', *TAB = '.tab.c', *EXT = | |
201 | '.c' | |
202 | ||
203 | 'foo.c' -> *BASE = 'foo.c', *TAB = NULL, *EXT = '.c' | |
204 | ||
205 | 'tab.c' -> *BASE = 'tab.c', *TAB = NULL, *EXT = '.c' | |
206 | ||
207 | '.tab.c' -> *BASE = '.tab.c', *TAB = NULL, *EXT = '.c' | |
208 | ||
209 | 'foo.tab' -> *BASE = 'foo.tab', *TAB = NULL, *EXT = '.tab' | |
210 | ||
211 | 'foo_tab' -> *BASE = 'foo_tab', *TAB = NULL, *EXT = NULL | |
212 | ||
213 | 'foo' -> *BASE = 'foo', *TAB = NULL, *EXT = NULL. */ | |
214 | ||
215 | static void | |
216 | file_name_split (const char *file_name, | |
217 | const char **base, const char **tab, const char **ext) | |
218 | { | |
219 | *base = last_component (file_name); | |
220 | ||
221 | /* Look for the extension, i.e., look for the last dot. */ | |
222 | *ext = strrchr (*base, '.'); | |
223 | *tab = NULL; | |
224 | ||
225 | /* If there is an extension, check if there is a `.tab' part right | |
226 | before. */ | |
227 | if (*ext) | |
228 | { | |
229 | size_t baselen = *ext - *base; | |
230 | size_t dottablen = sizeof (TAB_EXT) - 1; | |
231 | if (dottablen < baselen | |
232 | && STRPREFIX_LIT (TAB_EXT, *ext - dottablen)) | |
233 | *tab = *ext - dottablen; | |
234 | } | |
235 | } | |
236 | ||
237 | ||
238 | static void | |
239 | compute_file_name_parts (void) | |
240 | { | |
241 | const char *base, *tab, *ext; | |
242 | ||
243 | /* Compute ALL_BUT_EXT and ALL_BUT_TAB_EXT from SPEC_OUTFILE | |
244 | or GRAMMAR_FILE. | |
245 | ||
246 | The precise -o name will be used for FTABLE. For other output | |
247 | files, remove the ".c" or ".tab.c" suffix. */ | |
248 | if (spec_outfile) | |
249 | { | |
250 | file_name_split (spec_outfile, &base, &tab, &ext); | |
251 | dir_prefix = xstrndup (spec_outfile, base - spec_outfile); | |
252 | ||
253 | /* ALL_BUT_EXT goes up the EXT, excluding it. */ | |
254 | all_but_ext = | |
255 | xstrndup (spec_outfile, | |
256 | (strlen (spec_outfile) - (ext ? strlen (ext) : 0))); | |
257 | ||
258 | /* ALL_BUT_TAB_EXT goes up to TAB, excluding it. */ | |
259 | all_but_tab_ext = | |
260 | xstrndup (spec_outfile, | |
261 | (strlen (spec_outfile) | |
262 | - (tab ? strlen (tab) : (ext ? strlen (ext) : 0)))); | |
263 | ||
264 | if (ext) | |
265 | compute_exts_from_src (ext); | |
266 | } | |
267 | else | |
268 | { | |
269 | file_name_split (grammar_file, &base, &tab, &ext); | |
270 | ||
271 | if (spec_file_prefix) | |
272 | { | |
273 | /* If --file-prefix=foo was specified, ALL_BUT_TAB_EXT = `foo'. */ | |
274 | dir_prefix = | |
275 | xstrndup (spec_file_prefix, | |
276 | last_component (spec_file_prefix) - spec_file_prefix); | |
277 | all_but_tab_ext = xstrdup (spec_file_prefix); | |
278 | } | |
279 | else if (yacc_flag) | |
280 | { | |
281 | /* If --yacc, then the output is `y.tab.c'. */ | |
282 | dir_prefix = xstrdup (""); | |
283 | all_but_tab_ext = xstrdup ("y"); | |
284 | } | |
285 | else | |
286 | { | |
287 | /* Otherwise, ALL_BUT_TAB_EXT is computed from the input | |
288 | grammar: `foo/bar.yy' => `bar'. */ | |
289 | dir_prefix = xstrdup (""); | |
290 | all_but_tab_ext = | |
291 | xstrndup (base, (strlen (base) - (ext ? strlen (ext) : 0))); | |
292 | } | |
293 | ||
294 | if (language->add_tab) | |
295 | all_but_ext = concat2 (all_but_tab_ext, TAB_EXT); | |
296 | else | |
297 | all_but_ext = xstrdup (all_but_tab_ext); | |
298 | ||
299 | /* Compute the extensions from the grammar file name. */ | |
300 | if (ext && !yacc_flag) | |
301 | compute_exts_from_gf (ext); | |
302 | } | |
303 | } | |
304 | ||
305 | ||
306 | /* Compute the output file names. Warn if we detect conflicting | |
307 | outputs to the same file. */ | |
308 | ||
309 | void | |
310 | compute_output_file_names (void) | |
311 | { | |
312 | compute_file_name_parts (); | |
313 | ||
314 | /* If not yet done. */ | |
315 | if (!src_extension) | |
316 | src_extension = xstrdup (".c"); | |
317 | if (!header_extension) | |
318 | header_extension = xstrdup (".h"); | |
319 | ||
320 | parser_file_name = | |
321 | (spec_outfile | |
322 | ? xstrdup (spec_outfile) | |
323 | : concat2 (all_but_ext, src_extension)); | |
324 | ||
325 | if (defines_flag) | |
326 | { | |
327 | if (! spec_defines_file) | |
328 | spec_defines_file = concat2 (all_but_ext, header_extension); | |
329 | } | |
330 | ||
331 | if (graph_flag) | |
332 | { | |
333 | if (! spec_graph_file) | |
334 | spec_graph_file = concat2 (all_but_tab_ext, ".dot"); | |
335 | output_file_name_check (&spec_graph_file); | |
336 | } | |
337 | ||
338 | if (xml_flag) | |
339 | { | |
340 | if (! spec_xml_file) | |
341 | spec_xml_file = concat2 (all_but_tab_ext, ".xml"); | |
342 | output_file_name_check (&spec_xml_file); | |
343 | } | |
344 | ||
345 | if (report_flag) | |
346 | { | |
347 | if (!spec_verbose_file) | |
348 | spec_verbose_file = concat2 (all_but_tab_ext, OUTPUT_EXT); | |
349 | output_file_name_check (&spec_verbose_file); | |
350 | } | |
351 | ||
352 | free (all_but_tab_ext); | |
353 | free (src_extension); | |
354 | free (header_extension); | |
355 | } | |
356 | ||
357 | void | |
358 | output_file_name_check (char **file_name) | |
359 | { | |
360 | bool conflict = false; | |
361 | if (STREQ (*file_name, grammar_file)) | |
362 | { | |
363 | complain (NULL, complaint, _("refusing to overwrite the input file %s"), | |
364 | quote (*file_name)); | |
365 | conflict = true; | |
366 | } | |
367 | else | |
368 | { | |
369 | int i; | |
370 | for (i = 0; i < file_names_count; i++) | |
371 | if (STREQ (file_names[i], *file_name)) | |
372 | { | |
373 | complain (NULL, Wother, _("conflicting outputs to file %s"), | |
374 | quote (*file_name)); | |
375 | conflict = true; | |
376 | } | |
377 | } | |
378 | if (conflict) | |
379 | { | |
380 | free (*file_name); | |
381 | *file_name = strdup ("/dev/null"); | |
382 | } | |
383 | else | |
384 | { | |
385 | file_names = xnrealloc (file_names, ++file_names_count, | |
386 | sizeof *file_names); | |
387 | file_names[file_names_count-1] = xstrdup (*file_name); | |
388 | } | |
389 | } | |
390 | ||
391 | void | |
392 | output_file_names_free (void) | |
393 | { | |
394 | free (all_but_ext); | |
395 | free (spec_verbose_file); | |
396 | free (spec_graph_file); | |
397 | free (spec_xml_file); | |
398 | free (spec_defines_file); | |
399 | free (parser_file_name); | |
400 | free (dir_prefix); | |
401 | { | |
402 | int i; | |
403 | for (i = 0; i < file_names_count; i++) | |
404 | free (file_names[i]); | |
405 | } | |
406 | free (file_names); | |
407 | } |