1 /* Top level entry point of Bison.
3 Copyright (C) 1984, 1986, 1989, 1992, 1995, 2000-2002, 2004-2015,
4 2018-2022 Free 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 <https://www.gnu.org/licenses/>. */
25 #include <bitset/stats.h>
27 #include <configmake.h>
31 #include <relocatable.h> /* relocate2 */
35 #include "conflicts.h"
36 #include "counterexample.h"
46 #include "muscle-tab.h"
49 #include "parse-gram.h"
50 #include "print-graph.h"
51 #include "print-xml.h"
55 #include "scan-code.h"
56 #include "scan-gram.h"
57 #include "scan-skel.h"
64 main (int argc
, char *argv
[])
67 char *cp
= getenv ("BISON_PROGRAM_NAME");
72 #define DEPENDS_ON_LIBINTL 1
73 set_program_name (argv
[0]);
74 setlocale (LC_ALL
, "");
77 char const *localedir
= relocate2 (LOCALEDIR
, &cp
);
78 bindtextdomain ("bison", localedir
);
79 bindtextdomain ("bison-gnulib", localedir
);
80 bindtextdomain ("bison-runtime", localedir
);
86 char const *cp
= getenv ("LC_CTYPE");
87 if (cp
&& STREQ (cp
, "C"))
88 set_custom_quoting ("e_quoting_options
, "'", "'");
90 set_quoting_style ("e_quoting_options
, locale_quoting_style
);
93 atexit (close_stdout
);
101 getargs (argc
, argv
);
104 fprintf (stderr
, "bison (GNU Bison) %s\n", VERSION
);
106 timevar_enabled
= trace_flag
& trace_time
;
108 timevar_start (tv_total
);
110 if (trace_flag
& trace_bitsets
)
111 bitset_stats_enable ();
113 /* Read the input. Copy some parts of it to FGUARD, FACTION, FTABLE
114 and FATTRS. In file reader.c. The other parts are recorded in
115 the grammar; see gram.h. */
117 timevar_push (tv_reader
);
118 reader (grammar_file
);
119 timevar_pop (tv_reader
);
121 if (complaint_status
== status_complaint
)
124 /* Find useless nonterminals and productions and reduce the grammar. */
125 timevar_push (tv_reduce
);
127 timevar_pop (tv_reduce
);
129 /* Record other info about the grammar. In files derives and
131 timevar_push (tv_sets
);
134 timevar_pop (tv_sets
);
136 /* Compute LR(0) parser states. See state.h for more info. */
137 timevar_push (tv_lr0
);
139 timevar_pop (tv_lr0
);
141 /* Add lookahead sets to parser states. Except when LALR(1) is
142 requested, split states to eliminate LR(1)-relative
146 /* Find and record any conflicts: places where one token of
147 lookahead is not enough to disambiguate the parsing. In file
148 conflicts. Also resolve s/r conflicts based on precedence
150 timevar_push (tv_conflicts
);
152 if (!muscle_percent_define_flag_if ("lr.keep-unreachable-state"))
154 state_number
*old_to_new
= xnmalloc (nstates
, sizeof *old_to_new
);
155 state_number nstates_old
= nstates
;
156 state_remove_unreachable_states (old_to_new
);
157 lalr_update_state_numbers (old_to_new
, nstates_old
);
158 conflicts_update_state_numbers (old_to_new
, nstates_old
);
161 if (report_flag
& report_cex
162 || warning_is_enabled (Wcounterexamples
))
163 counterexample_init ();
165 timevar_pop (tv_conflicts
);
167 /* Compute the parser tables. */
168 timevar_push (tv_actions
);
170 timevar_pop (tv_actions
);
172 grammar_rules_useless_report (_("rule useless in parser due to conflicts"));
174 print_precedence_warnings ();
176 /* Whether to generate output files. */
177 bool generate
= !(feature_flag
& feature_syntax_only
);
181 /* Output file names. */
182 compute_output_file_names ();
184 /* Output the detailed report on the grammar. */
187 timevar_push (tv_report
);
189 timevar_pop (tv_report
);
192 /* Output the graph. */
195 timevar_push (tv_graph
);
197 timevar_pop (tv_graph
);
201 if (html_flag
|| xml_flag
)
203 timevar_push (tv_xml
);
205 timevar_pop (tv_xml
);
211 timevar_push (tv_html
);
213 timevar_pop (tv_html
);
217 /* Stop if there were errors, to avoid trashing previous output
219 if (complaint_status
== status_complaint
)
222 /* Lookahead tokens are no longer needed. */
223 timevar_push (tv_free
);
225 timevar_pop (tv_free
);
227 /* Output the tables and the parser to ftable. In file output. */
230 timevar_push (tv_parser
);
232 timevar_pop (tv_parser
);
237 timevar_push (tv_free
);
245 counterexample_free ();
246 output_file_names_free ();
248 /* The scanner and parser memory cannot be released right after
249 parsing, as it contains things such as user actions, prologue,
251 gram_scanner_free ();
255 code_scanner_free ();
256 skel_scanner_free ();
257 timevar_pop (tv_free
);
259 if (trace_flag
& trace_bitsets
)
260 bitset_stats_dump (stderr
);
262 /* Stop timing and print the times. */
263 timevar_stop (tv_total
);
264 timevar_print (stderr
);
266 /* Fix input file now, even if there are errors: that's less
267 warnings in the following runs. */
268 if (!fixits_empty ())
273 complain (NULL
, Wother
,
274 _("fix-its can be applied. Rerun with option '--update'."));
282 return complaint_status
? EXIT_FAILURE
: EXIT_SUCCESS
;