1 /* Open and close files for Bison.
3 Copyright (C) 1984, 1986, 1989, 1992, 2000-2015, 2018-2021 Free
4 Software Foundation, Inc.
6 This file is part of Bison, the GNU Compiler Compiler.
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.
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.
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/>. */
24 #include <configmake.h> /* PKGDATADIR */
27 #include <get-errno.h>
28 #include <gl_array_list.h>
32 #include <relocatable.h> /* relocate2 */
33 #include <stdio-safer.h>
35 #include <sys/types.h>
44 /* Initializing some values below (such SPEC_NAME_PREFIX to 'yy') is
45 tempting, but don't do that: for the time being our handling of the
46 %directive vs --option leaves precedence to the options by deciding
47 that if a %directive sets a variable which is really set (i.e., not
48 NULL), then the %directive is ignored. As a result, %name-prefix,
49 for instance, will not be honored. */
51 char const *spec_outfile
= NULL
; /* for -o. */
52 char const *spec_file_prefix
= NULL
; /* for -b. */
53 location spec_file_prefix_loc
= EMPTY_LOCATION_INIT
;
54 char const *spec_name_prefix
= NULL
; /* for -p. */
55 location spec_name_prefix_loc
= EMPTY_LOCATION_INIT
;
56 char *spec_verbose_file
= NULL
; /* for --verbose. */
57 char *spec_graph_file
= NULL
; /* for -g. */
58 char *spec_xml_file
= NULL
; /* for -x. */
59 char *spec_header_file
= NULL
; /* for --defines. */
60 char *spec_mapped_header_file
= NULL
;
61 char *parser_file_name
;
63 /* All computed output file names. */
64 typedef struct generated_file
68 /** Whether is a generated source file (e.g., *.c, *.java...), as
69 opposed to the report file (e.g., *.output). When late errors
70 are detected, generated source files are removed. */
73 static generated_file
*generated_files
= NULL
;
74 static int generated_files_size
= 0;
76 uniqstr grammar_file
= NULL
;
78 /* If --output=dir/foo.c was specified,
79 DIR_PREFIX gis 'dir/' and ALL_BUT_EXT and ALL_BUT_TAB_EXT are 'dir/foo'.
81 If --output=dir/foo.tab.c was specified, DIR_PREFIX is 'dir/',
82 ALL_BUT_EXT is 'dir/foo.tab', and ALL_BUT_TAB_EXT is 'dir/foo'.
84 If --output was not specified but --file-prefix=dir/foo was specified,
85 ALL_BUT_EXT = 'foo.tab' and ALL_BUT_TAB_EXT = 'foo'.
87 If neither --output nor --file was specified but the input grammar
88 is name dir/foo.y, ALL_BUT_EXT and ALL_BUT_TAB_EXT are 'foo'.
90 If neither --output nor --file was specified, DIR_PREFIX is the
91 empty string (meaning the current directory); otherwise it is
95 static char *all_but_tab_ext
;
97 char *mapped_dir_prefix
;
99 /* C source file extension (the parser source). */
100 static char *src_extension
= NULL
;
101 /* Header file extension (if option '`-d'' is specified). */
102 static char *header_extension
= NULL
;
110 static gl_list_t prefix_maps
= NULL
;
112 /*-----------------------------------------------------------------.
113 | Return a newly allocated string composed of the concatenation of |
115 `-----------------------------------------------------------------*/
118 concat2 (char const *str1
, char const *str2
)
120 size_t len
= strlen (str1
) + strlen (str2
);
121 char *res
= xmalloc (len
+ 1);
123 cp
= stpcpy (res
, str1
);
124 cp
= stpcpy (cp
, str2
);
128 /*-----------------------------------------------------------------.
129 | Try to open file NAME with mode MODE, and print an error message |
131 `-----------------------------------------------------------------*/
134 xfopen (const char *name
, const char *mode
)
136 FILE *res
= fopen_safer (name
, mode
);
138 error (EXIT_FAILURE
, get_errno (),
139 _("%s: cannot open"), quotearg_colon (name
));
144 /*-------------------------------------------------------------.
145 | Try to close file PTR, and print an error message if fails. |
146 `-------------------------------------------------------------*/
155 error (EXIT_FAILURE
, 0, _("input/output error"));
157 if (fclose (ptr
) != 0)
158 error (EXIT_FAILURE
, get_errno (), _("cannot close file"));
163 xfdopen (int fd
, char const *mode
)
165 FILE *res
= fdopen (fd
, mode
);
167 error (EXIT_FAILURE
, get_errno (),
168 /* On a separate line to please the "unmarked_diagnostics"
174 /* Given an input file path, returns a dynamically allocated string that
175 contains the path with the file prefix mapping rules applied, or NULL if
176 the input was NULL. */
178 map_file_name (char const *filename
)
183 struct prefix_map
const *p
= NULL
;
187 gl_list_iterator_t iter
= gl_list_iterator (prefix_maps
);
188 while (gl_list_iterator_next (&iter
, &ptr
, NULL
))
191 if (strncmp (p
->oldprefix
, filename
, strlen (p
->oldprefix
)) == 0)
195 gl_list_iterator_free (&iter
);
199 return xstrdup (filename
);
201 size_t oldprefix_len
= strlen (p
->oldprefix
);
202 size_t newprefix_len
= strlen (p
->newprefix
);
203 char *s
= xmalloc (newprefix_len
+ strlen (filename
) - oldprefix_len
+ 1);
205 char *end
= stpcpy (s
, p
->newprefix
);
206 stpcpy (end
, filename
+ oldprefix_len
);
212 prefix_map_free (struct prefix_map
*p
)
219 /* Adds a new file prefix mapping. If a file path starts with oldprefix, it
220 will be replaced with newprefix */
222 add_prefix_map (char const *oldprefix
, char const *newprefix
)
225 prefix_maps
= gl_list_create_empty (GL_ARRAY_LIST
,
228 (gl_listelement_dispose_fn
) prefix_map_free
,
231 struct prefix_map
*p
= xmalloc (sizeof (*p
));
232 p
->oldprefix
= xstrdup (oldprefix
);
233 p
->newprefix
= xstrdup (newprefix
);
235 gl_list_add_last (prefix_maps
, p
);
238 /*------------------------------------------------------------------.
239 | Compute ALL_BUT_EXT, ALL_BUT_TAB_EXT and output files extensions. |
240 `------------------------------------------------------------------*/
242 /* Compute extensions from the grammar file extension. */
244 compute_exts_from_gf (const char *ext
)
246 if (STREQ (ext
, ".y"))
248 src_extension
= xstrdup (language
->src_extension
);
249 header_extension
= xstrdup (language
->header_extension
);
253 src_extension
= xstrdup (ext
);
254 header_extension
= xstrdup (ext
);
255 tr (src_extension
, 'y', 'c');
256 tr (src_extension
, 'Y', 'C');
257 tr (header_extension
, 'y', 'h');
258 tr (header_extension
, 'Y', 'H');
262 /* Compute extensions from the given c source file extension. */
264 compute_exts_from_src (const char *ext
)
266 /* We use this function when the user specifies `-o' or `--output',
267 so the extensions must be computed unconditionally from the file name
268 given by this option. */
269 src_extension
= xstrdup (ext
);
270 header_extension
= xstrdup (ext
);
271 tr (header_extension
, 'c', 'h');
272 tr (header_extension
, 'C', 'H');
276 /* Decompose FILE_NAME in four parts: *BASE, *TAB, and *EXT, the fourth
277 part, (the directory) is ranging from FILE_NAME to the char before
278 *BASE, so we don't need an additional parameter.
280 *EXT points to the last period in the basename, or NULL if none.
282 If there is no *EXT, *TAB is NULL. Otherwise, *TAB points to
283 '.tab' or '_tab' if present right before *EXT, or is NULL. *TAB
284 cannot be equal to *BASE.
286 None are allocated, they are simply pointers to parts of FILE_NAME.
289 '/tmp/foo.tab.c' -> *BASE = 'foo.tab.c', *TAB = '.tab.c', *EXT =
292 'foo.c' -> *BASE = 'foo.c', *TAB = NULL, *EXT = '.c'
294 'tab.c' -> *BASE = 'tab.c', *TAB = NULL, *EXT = '.c'
296 '.tab.c' -> *BASE = '.tab.c', *TAB = NULL, *EXT = '.c'
298 'foo.tab' -> *BASE = 'foo.tab', *TAB = NULL, *EXT = '.tab'
300 'foo_tab' -> *BASE = 'foo_tab', *TAB = NULL, *EXT = NULL
302 'foo' -> *BASE = 'foo', *TAB = NULL, *EXT = NULL. */
305 file_name_split (const char *file_name
,
306 const char **base
, const char **tab
, const char **ext
)
308 *base
= last_component (file_name
);
310 /* Look for the extension, i.e., look for the last dot. */
311 *ext
= strrchr (*base
, '.');
314 /* If there is an extension, check if there is a '.tab' part right
318 size_t baselen
= *ext
- *base
;
319 size_t dottablen
= sizeof (TAB_EXT
) - 1;
320 if (dottablen
< baselen
321 && STRPREFIX_LIT (TAB_EXT
, *ext
- dottablen
))
322 *tab
= *ext
- dottablen
;
326 /* Compute ALL_BUT_EXT and ALL_BUT_TAB_EXT from SPEC_OUTFILE or
329 The precise -o name will be used for FTABLE. For other output
330 files, remove the ".c" or ".tab.c" suffix. */
333 compute_file_name_parts (void)
337 const char *base
, *tab
, *ext
;
338 file_name_split (spec_outfile
, &base
, &tab
, &ext
);
339 dir_prefix
= xstrndup (spec_outfile
, base
- spec_outfile
);
341 /* ALL_BUT_EXT goes up the EXT, excluding it. */
343 xstrndup (spec_outfile
,
344 (strlen (spec_outfile
) - (ext
? strlen (ext
) : 0)));
346 /* ALL_BUT_TAB_EXT goes up to TAB, excluding it. */
348 xstrndup (spec_outfile
,
349 (strlen (spec_outfile
)
350 - (tab
? strlen (tab
) : (ext
? strlen (ext
) : 0))));
353 compute_exts_from_src (ext
);
357 const char *base
, *tab
, *ext
;
358 file_name_split (grammar_file
, &base
, &tab
, &ext
);
360 if (spec_file_prefix
)
362 /* If --file-prefix=foo was specified, ALL_BUT_TAB_EXT = 'foo'. */
364 xstrndup (spec_file_prefix
,
365 last_component (spec_file_prefix
) - spec_file_prefix
);
366 all_but_tab_ext
= xstrdup (spec_file_prefix
);
368 else if (! location_empty (yacc_loc
))
370 /* If --yacc, then the output is 'y.tab.c'. */
371 dir_prefix
= xstrdup ("");
372 all_but_tab_ext
= xstrdup ("y");
376 /* Otherwise, ALL_BUT_TAB_EXT is computed from the input
377 grammar: 'foo/bar.yy' => 'bar'. */
378 dir_prefix
= xstrdup ("");
380 xstrndup (base
, (strlen (base
) - (ext
? strlen (ext
) : 0)));
383 if (language
->add_tab
)
384 all_but_ext
= concat2 (all_but_tab_ext
, TAB_EXT
);
386 all_but_ext
= xstrdup (all_but_tab_ext
);
388 /* Compute the extensions from the grammar file name. */
389 if (ext
&& location_empty (yacc_loc
))
390 compute_exts_from_gf (ext
);
395 /* Compute the output file names. Warn if we detect conflicting
396 outputs to the same file. */
399 compute_output_file_names (void)
401 compute_file_name_parts ();
403 /* If not yet done. */
405 src_extension
= xstrdup (".c");
406 if (!header_extension
)
407 header_extension
= xstrdup (".h");
411 ? xstrdup (spec_outfile
)
412 : concat2 (all_but_ext
, src_extension
));
416 if (! spec_header_file
)
417 spec_header_file
= concat2 (all_but_ext
, header_extension
);
422 if (! spec_graph_file
)
423 spec_graph_file
= concat2 (all_but_tab_ext
,
424 304 <= required_version
? ".gv" : ".dot");
425 output_file_name_check (&spec_graph_file
, false);
431 spec_xml_file
= concat2 (all_but_tab_ext
, ".xml");
432 output_file_name_check (&spec_xml_file
, false);
437 if (!spec_verbose_file
)
438 spec_verbose_file
= concat2 (all_but_tab_ext
, OUTPUT_EXT
);
439 output_file_name_check (&spec_verbose_file
, false);
442 spec_mapped_header_file
= map_file_name (spec_header_file
);
443 mapped_dir_prefix
= map_file_name (dir_prefix
);
445 free (all_but_tab_ext
);
446 free (src_extension
);
447 free (header_extension
);
451 output_file_name_check (char **file_name
, bool source
)
453 bool conflict
= false;
454 if (STREQ (*file_name
, grammar_file
))
456 complain (NULL
, complaint
, _("refusing to overwrite the input file %s"),
461 for (int i
= 0; i
< generated_files_size
; i
++)
462 if (STREQ (generated_files
[i
].name
, *file_name
))
464 complain (NULL
, Wother
, _("conflicting outputs to file %s"),
465 quote (generated_files
[i
].name
));
471 *file_name
= strdup ("/dev/null");
475 generated_files
= xnrealloc (generated_files
, ++generated_files_size
,
476 sizeof *generated_files
);
477 generated_files
[generated_files_size
-1].name
= xstrdup (*file_name
);
478 generated_files
[generated_files_size
-1].is_source
= source
;
483 unlink_generated_sources (void)
485 for (int i
= 0; i
< generated_files_size
; i
++)
486 if (generated_files
[i
].is_source
)
487 /* Ignore errors. The file might not even exist. */
488 unlink (generated_files
[i
].name
);
491 /* Memory allocated by relocate2, to free. */
492 static char *relocate_buffer
= NULL
;
498 return relocate_buffer
;
501 char const *cp
= getenv ("BISON_PKGDATADIR");
502 return cp
? cp
: relocate2 (PKGDATADIR
, &relocate_buffer
);
509 char const *m4
= getenv ("M4");
513 /* We don't use relocate2() to store the temporary buffer and re-use
514 it, because m4path() is only called once. */
515 char const *m4_relocated
= relocate (M4
);
517 if (stat (m4_relocated
, &buf
) == 0)
524 output_file_names_free (void)
527 free (spec_verbose_file
);
528 free (spec_graph_file
);
529 free (spec_xml_file
);
530 free (spec_header_file
);
531 free (spec_mapped_header_file
);
532 free (parser_file_name
);
534 free (mapped_dir_prefix
);
535 for (int i
= 0; i
< generated_files_size
; i
++)
536 free (generated_files
[i
].name
);
537 free (generated_files
);
538 free (relocate_buffer
);
541 gl_list_free (prefix_maps
);