1 2001-12-29 Akim Demaille <akim@epita.fr>
3 * src/bison.simple: Define YYDEBUG and YYERROR_VERBOSE *after* the
4 user prologue. These are defaults.
5 * tests/actions.at (Mid-rule actions): Make sure the user can
6 define YYDEBUG and YYERROR_VERBOSE.
9 2001-12-29 Akim Demaille <akim@epita.fr>
11 * src/output.c (header_output): Don't forget to export YYLTYPE and
13 * tests/headers.at (export YYLTYPE): New, make sure it does.
14 * tests/regression.at (%union and --defines, Invalid CPP headers):
16 * tests/headers.at: here.
19 2001-12-29 Akim Demaille <akim@epita.fr>
21 * src/gram.h (rule_s): Member `assoc' is of type `associativity'.
24 2001-12-29 Akim Demaille <akim@epita.fr>
26 * tests/actions.at (Mid-rule actions): Output on a single line
30 2001-12-29 Akim Demaille <akim@epita.fr>
32 * doc/bison.texinfo: Formatting changes.
34 2001-12-29 Akim Demaille <akim@epita.fr>
36 Don't store the token defs in a muscle, just be ready to output it
37 on command. Now possible via `symbols'. Fixes a memory leak.
39 * src/output.c (token_definitions_output): New.
40 (output_parser, header_output): Use it.
41 * src/reader.c (symbols_save): Remove.
44 2001-12-29 Akim Demaille <akim@epita.fr>
46 * src/bison.simple: Do not provide a default for YYSTYPE and
47 YYLTYPE before the user's prologue. Otherwise it's hardly... a
51 2001-12-29 Akim Demaille <akim@epita.fr>
53 Mid-rule actions are simply... ignored!
55 * src/reader.c (readgram): Be sure to attach mid-rule actions to
56 the empty-rule associated to the dummy symbol, not to the host
58 * tests/actions.at (Mid-rule actions): New.
61 2001-12-29 Akim Demaille <akim@epita.fr>
65 * src/reader.c (reader): Free grammar.
67 2001-12-29 Akim Demaille <akim@epita.fr>
71 * src/LR0.c (new_itemsets): Don't allocate `shift_symbol' here,
72 since it allocates it for each state, although only one is needed.
73 (allocate_storage): Do it here.
76 2001-12-29 Akim Demaille <akim@epita.fr>
78 * src/options.h, src/options.c (create_long_option_table): Rename
80 (long_option_table_new): this, with a clearer prototype.
81 (percent_table): Remove, unused,
82 * src/getargs.c (getargs): Adjust.
85 2001-12-29 Akim Demaille <akim@epita.fr>
87 * src/LR0.c, src/conflicts.c, src/lalr.c, src/lalr.h, src/output.c
88 * src/print.c, src/print_graph.c, src/state.h: Rename state_table
92 2001-12-29 Akim Demaille <akim@epita.fr>
94 * src/lalr.c (build_relations): Rename `states' as `states1'.
95 Sorry, I don't understand exactly what it is, no better name...
98 2001-12-29 Akim Demaille <akim@epita.fr>
100 * src/closure.c, src/conflicts.c, src/derives.c, src/gram.c
101 * src/gram.h, src/lalr.c, src/nullable.c, src/output.c, src/print.c
102 * src/print_graph.c, src/reader.c, src/reduce.c: Rename rule_table
106 2001-12-29 Akim Demaille <akim@epita.fr>
108 * src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long
112 2001-12-29 Akim Demaille <akim@epita.fr>
114 * src/reader.c, src/reader.h (user_toknums): Remove.
115 Adjust all users to use symbols[i]->user_token_number.
118 2001-12-29 Akim Demaille <akim@epita.fr>
120 * src/gram.c, src/gram.h (sprec, sassoc): Remove.
121 Adjust all users to use symbols[i]->prec or ->assoc.
124 2001-12-29 Akim Demaille <akim@epita.fr>
126 * src/reader.c, src/reader.h (tags): Remove.
127 Adjust all users to use symbols[i]->tag.
130 2001-12-29 Akim Demaille <akim@epita.fr>
132 * src/gram.h, src/gram.c (symbols): New, similar to state_table
134 * src/reader.c (packsymbols): Fill this table.
136 * src/conflicts.c (resolve_sr_conflict): Adjust.
137 * src/reduce.c (reduce_grammar): Adjust: just sort symbols, a
139 Use symbols[i]->tag instead of tags[i].
142 2001-12-29 Akim Demaille <akim@epita.fr>
144 * tests/calc.at (_AT_DATA_CALC_Y): Also use %union.
145 In addition, put a comment in there, to replace...
146 * tests/regression.at (%union and C comments): Remove.
149 2001-12-29 Akim Demaille <akim@epita.fr>
151 * tests/regression.at (Web2c Actions): Blindly move the actual
152 output as expected output. The contents *seem* right to me, but I
153 can't pretend reading perfectly parser tables... Nonetheless, all
154 the other tests pass correctly, the table look OK, even though the
155 presence of `$axiom' is to be noted: AFAICS it is useless (but
159 2001-12-29 Akim Demaille <akim@epita.fr>
161 * src/reader.c (readgram): Don't add the rule 0 if there were no
162 rules read. In other words, add it _after_ having performed
163 grammar sanity checks.
164 Fixes the `tests/regression.at (Invalid input: 1)' Failure.
167 2001-12-29 Akim Demaille <akim@epita.fr>
169 * tests/regression.at (Web2c Report): Catch up: the rule 0 is now
170 visible, and some states have now a different number.
173 2001-12-29 Akim Demaille <akim@epita.fr>
175 * src/reader.c (readgram): Bind the initial rule's lineno to that
177 * tests/regression.at (Rule Line Numbers, Unresolved SR Conflicts):
178 (Solved SR Conflicts): Adjust rule 0's line number.
181 2001-12-29 Akim Demaille <akim@epita.fr>
183 Fix the `GAWK Grammar' failure.
185 * src/LR0.c (final_state): Initialize to -1 so that we do compute
186 the reductions of the first state which was mistakenly confused
187 with the final state because precisely final_state was initialized
189 * tests/sets.at (Nullable): Adjust: state 0 does have lookaheads,
190 now noticed by Bison.
191 * tests/regression.at (Rule Line Numbers): Adjust: state 0 does
192 have a reduction on $default.
195 2001-12-29 Akim Demaille <akim@epita.fr>
197 * src/gram.c (ritem_print): Be sure to subtract 1 when displaying
199 * src/closure.c (print_closure): Likewise.
200 * src/derives.c (print_derives): Likewise.
201 * tests/sets.at (Nullable): Adjust: the rule numbers are correct
204 2001-12-29 Akim Demaille <akim@epita.fr>
206 * src/lalr.c (lookaheads_print): New.
207 (lalr): Call it when --trace-flag.
208 * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
212 2001-12-29 Akim Demaille <akim@epita.fr>
214 * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',
215 when walking through ritem, even via rule->rhs.
216 * src/reduce.c (dump_grammar, useful_production, reduce_output)
217 (useful_production, useless_nonterminals): Likewise.
218 (reduce_grammar_tables): Likewise, plus update nritems.
219 * src/nullable.c (set_nullable): Likewise.
220 * src/lalr.c (build_relations): Likewise.
221 * tests/sets.at (Nullable): Adjust.
222 Fortunately, now, the $axiom is no longer nullable.
225 2001-12-29 Akim Demaille <akim@epita.fr>
227 * src/LR0.c (generate_states): Use nritems, not nitems, nor using
229 * src/gram.c (ritem_longest_rhs): Likewise.
230 * src/reduce.c (nonterminals_reduce): Likewise.
231 * src/print_graph.c (print_graph): Likewise.
232 * src/output.c (output_rule_data): Likewise.
233 * src/nullable.c (set_nullable): Likewise.
235 2001-12-29 Akim Demaille <akim@epita.fr>
237 * src/output.c: Comment changes.
239 2001-12-27 Paul Eggert <eggert@twinsun.com>
241 * src/bison.simple (YYSTACK_ALLOC, YYSIZE_T): Remove special
242 cases for non-GNU systems like AIX, HP-UX, SGI, Sun, and
243 Sparc, as they were causing more porting problems than the
244 (minor) performance improvement was worth.
246 Also, catch up with 1.31's YYSTD.
248 2001-12-27 Akim Demaille <akim@epita.fr>
250 * src/output.c (output_gram): Rely on nritems, not the
251 0-sentinel. See below.
252 Use -1 as separator, not 0.
253 * src/bison.simple (yyparse): Subtract 1 to the rule numbers.
254 Rely on -1 as separator in yyrhs, instead of 0.
255 * tests/calc.at (AT_CHECK_CALC): Now, the parsers no longer issue
256 twice `Now at end of input', therefore there are two lines less to
259 2001-12-27 Akim Demaille <akim@epita.fr>
261 * tests/regression.at (Unresolved SR Conflicts):
262 (Solved SR Conflicts, Rule Line Numbers): Adjust to the changes
265 2001-12-27 Akim Demaille <akim@epita.fr>
267 * src/LR0.c (new_state): Recognize the final state by the fact it
268 is reached by eoftoken.
269 (insert_start_shifting_state, insert_eof_shifting_state)
270 (insert_accepting_state, augment_automaton): Remove, since now
271 these states are automatically computed from the initial state.
272 (generate_states): Adjust.
273 * src/print.c: When reporting a rule number to the user, substract
274 1, so that the axiom rule is rule 0, and the first user rule is 1.
275 * src/reduce.c: Likewise.
276 * src/print_graph.c (print_core): For the time being, just as for
277 the report, depend upon --trace-flags to dump the full set of
279 * src/reader.c (readgram): Once the grammar read, insert the rule
280 0: `$axiom: START-SYMBOL $'.
281 * tests/set.at: Adjust: rule 0 is now displayed, and since the
282 number of the states has changed (the final state is no longer
283 necessarily the last), catch up.
285 2001-12-27 Akim Demaille <akim@epita.fr>
287 Try to make the use of the eoftoken valid. Given that its value
288 is 0 which was also used as a sentinel in ritem, (i) make sure >= 0
289 is used instead of > 0 where appropriate, (ii), depend upon nritems
290 instead of the 0-sentinel.
292 * src/gram.h, src/gram.c (nritems): New.
293 Expected to be duplication of nitems, but for the time being...
294 * src/reader.c (packgram): Assert nritems and nitems are equal.
295 * src/LR0.c (allocate_itemsets, new_itemsets): Adjust.
296 * src/closure.c (print_closure, print_fderives): Likewise.
297 * src/gram.c (ritem_print): Likewise.
298 * src/print.c (print_core, print_grammar): Likewise.
299 * src/print_graph.c: Likewise.
301 2001-12-27 Akim Demaille <akim@epita.fr>
303 * src/main.c (main): If there are complains after grammar
304 reductions, then output the report anyway if requested, then die.
305 * src/symtab.c (bucket_new): Initialize `value' to -1, not 0.
306 * src/reader.c (eoftoken): New.
307 (parse_token_decl): If the token being defined has value `0', it
309 (packsymbols): No longer hack `tags' to insert `$' by hand.
310 Be sure to preserve the value of the eoftoken.
311 (reader): Make sure eoftoken is defined.
312 Initialize nsyms to 0: now eoftoken is created just like the others.
313 * src/print.c (print_grammar): Don't special case the eof token.
314 * src/regression.at: Adjust: `$' has value 0, not -1, which was a
315 lie anyway, albeit pleasant.
316 * tests/calc.at: Exercise error messages with eoftoken.
317 Change the grammar so that empty input is invalid.
319 When yyungeting, be sure to use a valid yylloc: use last_yylloc.
321 2001-12-27 Akim Demaille <akim@epita.fr>
323 * configure.in: Check the protos of strchr ans strspn.
324 Replace strchr if needed.
325 * src/system.h: Provide the protos of strchr, strspn and memchr if
328 * src/reader.c (symbols_save): Use strchr.
330 2001-12-27 Akim Demaille <akim@epita.fr>
332 * src/print.c, src/print_graph.c (escape): New.
333 Use it to quote the TAGS outputs.
334 * src/print_graph.c (print_state): Now errors are in red, and
336 Prefer high to wide: output the state number on a line of its own.
338 2001-12-27 Akim Demaille <akim@epita.fr>
340 * src/state.h, src/state.c (reductions_new): New.
341 * src/LR0.c (set_state_table): Let all the states have a
342 `reductions', even if reduced to 0.
343 (save_reductions): Adjust.
344 * src/lalr.c (initialize_LA, initialize_lookaheads): Adjust.
345 * src/print.c (print_reductions, print_actions): Adjust.
346 * src/output.c (action_row): Adjust.
348 2001-12-27 Akim Demaille <akim@epita.fr>
350 * src/state.h, src/state.c (errs_new, errs_dup): New.
351 * src/LR0.c (set_state_table): Let all the states have an errs,
352 even if reduced to 0.
353 * src/print.c (print_errs, print_reductions): Adjust.
354 * src/output.c (output_actions, action_row): Adjust.
355 * src/conflicts.c (resolve_sr_conflict): Adjust.
357 2001-12-27 Akim Demaille <akim@epita.fr>
359 * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.
361 2001-12-27 Akim Demaille <akim@epita.fr>
363 * src/conflicts.c, src/conflicts.h (print_reductions): Move to...
365 (lookaheadset, shiftset): New, used as additional storage by
367 (print_results): Adjust.
368 (print_shifts, print_gotos, print_errs): New, extracted from...
369 (print_actions): here.
370 * src/print_graph.c (print_actions): Remove dead code.
372 2001-12-27 Akim Demaille <akim@epita.fr>
374 * src/reader.c (copy_dollar, copy_at): Better checking of `n' in
377 2001-12-27 Akim Demaille <akim@epita.fr>
379 * src/lalr.c (add_lookback_edge): Use state_t instead of ints.
380 (build_relations): Adjust.
382 2001-12-27 Akim Demaille <akim@epita.fr>
384 * src/lalr.c (set_goto_map): Remove a wrong but benign loop
387 2001-12-27 Akim Demaille <akim@epita.fr>
389 * src/reader.c (packgram): Catch nitems overflows.
391 2001-12-27 Akim Demaille <akim@epita.fr>
393 * src/files.c, src/files.h (guard_obstack): Remove.
394 * src/output.c (output): Adjust.
395 * src/reader.c (parse_braces): New, factoring...
396 (copy_action, copy_guard): these two which are renamed as...
397 (parse_action, parse_guard): these.
398 As a voluntary consequence, using braces around guards is now
401 2001-12-27 Akim Demaille <akim@epita.fr>
403 * src/gram.h (rule_t): `guard' and `guard_line' are new members.
404 * src/reader.c (symbol_list): `guard' and `guard_line' are new
406 (symbol_list_new): Adjust.
407 (copy_action): action_line is the first line, not the last.
408 (copy_guard): Just as for actions, store the `action' only, not
409 the switch/case/break flesh.
410 Don't parse the user action that might follow the guard, let...
411 (readgram): do it, i.e., now, there can be an action after a
413 In other words the guard is just explicitly optional.
415 * src/output.c (guards_output): New.
416 (output_parser): Call it when needed.
417 (output): Also free the guard and attrs obstacks.
418 * src/files.c, src/files.h (obstack_save): Remove.
419 (output_files): Remove.
420 As a result, if one needs the former `.act' file, using an
421 appropriate skeleton which requires actions and guards is now
423 * src/main.c (main): Adjust.
424 * tests/semantic.at: New.
425 * tests/regression.at: Use `input.y' as input file name.
426 Avoid 8+3 problems by requiring input.c when the test needs the
429 2001-12-27 Akim Demaille <akim@epita.fr>
431 * src/reader.c (symbol_list_new): Be sure to initialize all the
434 2001-12-27 Akim Demaille <akim@epita.fr>
436 All the hacks using a final pseudo state are now useless.
438 * src/LR0.c (set_state_table): state_table holds exactly nstates.
439 * src/lalr.c (nLA): New.
440 (initialize_LA, compute_lookaheads, initialize_lookaheads): Use it
441 instead of lookaheadsp from the pseudo state (nstate + 1).
443 2001-12-27 Akim Demaille <akim@epita.fr>
445 * src/output.c (action_row, token_actions): Use a state_t instead
446 of a integer, and nlookaheads instead of the following state's
449 2001-12-27 Akim Demaille <akim@epita.fr>
451 * src/conflicts.c (log_resolution, flush_shift)
452 (resolve_sr_conflict, set_conflicts, solve_conflicts)
453 (count_sr_conflicts, count_rr_conflicts, conflicts_output)
454 (conflicts_print, print_reductions): Use a state_t instead of an
455 integer when referring to a state.
456 As much as possible, depend upon nlookaheads, instead of the
457 `lookaheadsp' member of the following state (since lookaheads of
458 successive states are successive, the difference between state n + 1
459 and n served as the number of lookaheads for state n).
460 * src/lalr.c (add_lookback_edge): Likewise.
461 * src/print.c (print_core, print_actions, print_state)
462 (print_results): Likewise.
463 * src/print_graph.c (print_core, print_actions, print_state)
464 (print_graph): Likewise.
465 * src/conflicts.h: Adjust.
467 2001-12-27 Akim Demaille <akim@epita.fr>
469 * src/bison.hairy: Formatting/comment changes.
471 Remove `register' indications.
472 Add plenty of `static'.
474 2001-12-27 Akim Demaille <akim@epita.fr>
476 * src/output.c (prepare): Drop the muscle `ntbase' which
478 * src/bison.simple: Formatting/comment changes.
479 Use YYNTOKENS only, which is documented, but not YYNTBASE, which
480 is an undocumented synonym.
482 2001-12-22 Akim Demaille <akim@epita.fr>
484 * src/output.c (output_table_data): Change the prototype to use
485 `int' for array ranges: some invocations do pass an int, not a
487 Reported by Wayne Green.
489 2001-12-22 Akim Demaille <akim@epita.fr>
491 Some actions of web2c.y are improperly triggered.
492 Reported by Mike Castle.
494 * src/lalr.c (traverse): s/F (i)[k] = F (j)[k]/F (j)[k] = F (i)[k]/.
495 * tests/regression.at (Web2c): Rename as...
496 (Web2c Report): this.
497 (Web2c Actions): New.
499 2001-12-22 Akim Demaille <akim@epita.fr>
501 Reductions in web2c.y are improperly reported.
502 Reported by Mike Castle.
504 * src/conflicts.c (print_reductions): Fix.
505 * tests/regression.at (Web2c): New.
507 2001-12-18 Akim Demaille <akim@epita.fr>
509 Some host fail on `assert (!"foo")', which expands to
510 ((!"foo") ? (void)0 : __assert("!"foo."", __FILE__, __LINE__))
511 Reported by Nelson Beebee.
513 * src/output.c, src/vcg.c: Replace `assert (!"it succeeded")' with
514 `#define it_succeeded 0' and `assert (it_succeeded)'.
516 2001-12-17 Marc Autret <autret_m@epita.fr>
518 * src/bison.simple: Don't hard code the skeleton line and filename.
519 * src/output.c (output_parser): Rename 'line' as 'output_line'.
520 New line counter 'skeleton_line' (skeleton-line muscle).
522 2001-12-17 Paul Eggert <eggert@twinsun.com>
524 * NEWS, doc/bison.texinfo, doc/bison.1, doc/bison.rnh: Document that
525 YYDEBUG must be defined to a nonzero value.
527 * src/bison.simple (yytname): Do not assume that the user defines
528 YYDEBUG to a properly parenthesized expression.
530 2001-12-17 Akim Demaille <akim@epita.fr>
532 * src/state.h (state_t): Rename lookaheads as lookaheadsp.
533 nlookaheads is a new member.
535 * src/lalr.h (nlookaheads): Remove this orphan declaration.
536 * src/lalr.c (initialize_lookaheads): Set nlookaheads for each
539 2001-12-17 Akim Demaille <akim@epita.fr>
541 * src/files.h, src/files.c (open_files, close_files): Remove.
542 * src/main.c (main): Don't open/close files, nor invoke lex_free,
544 * src/reader.c (reader): Do it.
546 2001-12-17 Akim Demaille <akim@epita.fr>
548 * src/conflicts.c (print_reductions): Formatting changes.
550 2001-12-17 Akim Demaille <akim@epita.fr>
552 * src/conflicts.c (flush_shift): Also adjust lookaheadset.
554 (resolve_sr_conflict): Adjust.
556 2001-12-17 Akim Demaille <akim@epita.fr>
558 * src/output.c (output_obstack): Be static and rename as...
559 (format_obstack): this, to avoid any confusion with files.c's
561 * src/reader.h (muscle_obstack): Move to...
562 * src/output.h: here, since it's defined in output.c.
564 2001-12-17 Akim Demaille <akim@epita.fr>
566 * src/output.c (action_row, save_column, default_goto)
567 (sort_actions, matching_state, pack_vector): Better variable
570 2001-12-17 Akim Demaille <akim@epita.fr>
572 * src/output.c: Various formatting changes.
574 2001-12-17 Akim Demaille <akim@epita.fr>
576 * src/files.c (output_files): Free the output_obstack.
577 * src/main.c (main): Call print and print_graph conditionally.
578 * src/print.c (print): Work unconditionally.
579 * src/print_graph.c (print_graph): Work unconditionally.
580 * src/conflicts.c (log_resolution): Output only if verbose_flag.
582 2001-12-16 Marc Autret <autret_m@epita.fr>
584 * src/output.c (actions_output): Fix. When we use %no-lines,
585 there is one less line per action.
587 2001-12-16 Marc Autret <autret_m@epita.fr>
589 * src/bison.simple: Remove a useless #line directive.
590 s/#line %%line %%skeleton/#line %%line "%%parser-file-name"/'.
591 * src/output.c (get_lines_number): New.
592 (output_parser): Adjust, now takes care about the lines of a
595 (actions_output): Computes the number of lines taken by actions.
596 (output_master_parser): Insert new skeleton which is the name of
597 the output parser file name.
599 2001-12-15 Marc Autret <autret_m@epita.fr>
601 * src/bison.simple [YYERROR_VERBOSE]: Restore backward compatibility.
603 2001-12-15 Marc Autret <autret_m@epita.fr>
605 * src/output.c (output_gram): Keep track of the hairy one.
607 2001-12-15 Akim Demaille <akim@epita.fr>
609 Make `make distcheck' work.
611 * lib/Makefile.am (INCLUDES): Add top_srcdir/intl, since hash uses
612 system.h which uses libgettext.h.
614 2001-12-15 Akim Demaille <akim@epita.fr>
616 * src/nullable.c (set_nullable): Useless rules must be skipped,
617 otherwise, since we range over their symbols, we might look at a
618 nonterminal which no longer ``exists'', i.e., it is not counted in
619 `nvars', hence we overflow our arrays.
621 2001-12-15 Akim Demaille <akim@epita.fr>
623 The header can also be produced directly, without any obstack!
626 * src/files.c, src/files.h (defines_obstack): Remove.
627 (compute_header_macro): Global.
628 (defines_obstack_save): Remove.
629 * src/reader.c (parse_union_decl): No longer output to
630 defines_obstack: its content can be found in the `stype' muscle
632 (output_token_translations): Merge into...
633 (symbols_output): this.
635 (symbols_save): this.
637 * src/output.c (header_output): New.
640 2001-12-15 Akim Demaille <akim@epita.fr>
642 * src/reader.c (parse_union_decl): Instead of handling two obstack
643 simultaneously, use one to define the `stype' muscle, and use the
644 value of the latter to fill defines_obstack.
645 (copy_comment): Remove.
646 (copy_comment2): Work for a single obstack.
648 (copy_comment): this.
650 2001-12-15 Akim Demaille <akim@epita.fr>
652 * src/lex.c, src/lex.h (xgetc): No longer static.
653 * src/reader.c (parse_union_decl): Revamp.
655 2001-12-15 Akim Demaille <akim@epita.fr>
657 Still making progress in separating Bison into (i) input, (ii)
658 process, (iii) output: now we can directly output the parser file
659 without using table_obstack at all.
661 * src/files.c, src/files.h (table_obstack): Bye bye.
662 (parser_file_name): New.
663 * src/files.c (compute_output_file_names): Compute it.
664 * src/output.c (actions_output, output_parser)
665 (output_master_parser): To a file instead of an obstack.
667 2001-12-15 Akim Demaille <akim@epita.fr>
669 Attach actions to rules, instead of pre-outputting them to
672 * src/gram.h (rule_t): action and action_line are new members.
673 * src/reader.c (symbol_list): Likewise.
674 (copy_action): Save the actions within the rule.
675 (packgram): Save them in rule_table.
676 * src/output.c (actions_output): New.
677 (output_parser): Use it on `%%actions'.
678 (output_rule_data): Don't free rule_table.
680 (prepare): Don't save the `action' muscle.
681 * src/bison.simple: s/%%action/%%actions/.
683 2001-12-15 Akim Demaille <akim@epita.fr>
685 * src/reader.c (copy_action): When --yacc, don't append a `;'
686 to the user action: let it fail if lacking.
687 Suggested by Arnold Robbins and Tom Tromey.
689 2001-12-14 Akim Demaille <akim@epita.fr>
691 * src/lex.c (literalchar): Simply return the char you decoded, non
692 longer mess around with obstacks and int pointers.
695 2001-12-14 Akim Demaille <akim@epita.fr>
697 * src/lex.c (literalchar): Don't escape the special characters,
698 just decode them, and keep them as char (before, eol was output as
699 the 2 char string `\n' etc.).
700 * src/output.c (output_rule_data): Use quotearg to output the
703 2001-12-13 Paul Eggert <eggert@twinsun.com>
705 * src/bison.simple (YYSIZE_T, YYSTACK_ALLOC, YYSTACK_FREE):
706 Do not infringe on the global user namespace when using C++.
707 (YYFPRINTF, YYSTDERR): New macros, needed for the above.
708 All uses of `fprintf' and `stderr' changed.
710 * doc/bison.texinfo: Document YYFPRINTF, YYSTDERR.
712 2001-12-13 Akim Demaille <akim@epita.fr>
714 The computation of nullable is broken: it doesn't handle empty
717 * tests/torture.at (GNU AWK Grammar): New.
718 * tests/sets.at (Nullable): New.
719 * src/nullable.c (set_nullable): Instead of blindly looping over
720 `ritems', loop over the rules, and then over their rhs's.
722 Work around Autotest bugs.
724 * src/warshall.c (bitmatrix_print): Don't use `+--+' as table
725 frame, because Autotest understand lines starting with a `+' as
726 traces from the shell. Then, they are not processed properly.
727 Admittedly an Autotest bug, but we don't have time to wait for
728 Autotest to catch up.
729 * tests/regression.at (Broken Closure): Adjust to the new table
732 * tests/sets.at: here.
734 2001-12-13 Akim Demaille <akim@epita.fr>
736 * src/closure.c (closure): Use nrules instead of playing tricks
739 2001-12-13 Akim Demaille <akim@epita.fr>
741 * src/print.c (print_actions): Output the handling of `$' as the
742 traces do: shifting the token EOF. Before EOF was treated as a
744 * tests/regression.at: Adjust some tests.
745 * src/print_graph.c (print_core): Complete the set of items via
746 closure. The next-to-final and final states are still unsatisfying,
747 but that's to be addressed elsewhere.
748 No longer output the rule numbers, but do output the state number.
749 A single loop for the shifts + gotos is enough, but picked a
750 distinct color for each.
751 (print_graph): Initialize and finalize closure.
753 2001-12-13 Akim Demaille <akim@epita.fr>
755 * src/reader.c (readgram): Remove dead code, an strip useless
757 (get_type): Remove, unused.
759 2001-12-12 Akim Demaille <akim@epita.fr>
761 * src/complain.h, src/complain.c: Remove error_one_per_line, rely
762 on that of lib/error.c.
764 2001-12-12 Akim Demaille <akim@epita.fr>
766 Some hosts don't like `/' in includes.
768 * src/system.h: Include libgettext.h without qualifying the path.
769 * src/Makefile.am (INCLUDES): Add $(top_srcdir)/intl, remove
772 2001-12-11 Marc Autret <autret_m@epita.fr>
774 * src/output.c (output_parser): Remove useless muscle.
776 2001-12-11 Marc Autret <autret_m@epita.fr>
778 * src/bison.simple: Remove #line just before %%epilogue. It
779 is now handled in ...
780 * src/reader.c (read_additionnal_code): Add the output of a
781 #line for the epilogue.
783 2001-12-10 Marc Autret <autret_m@epita.fr>
785 * src/reader.c (copy_definition): Re-use CPP-outed code which
786 replace precedent remove.
787 * src/bison.simple: Remove #line before %%prologue because
788 %%input-line is wrong at this time.
790 2001-12-10 Marc Autret <autret_m@epita.fr>
792 * src/reader.c (symbols_output): Clean up.
793 * src/output.c (output_gram, output): Clean up.
795 2001-12-10 Akim Demaille <akim@epita.fr>
797 * src/lalr.c (initialize_lookaheads): New. Extracted from...
798 * src/LR0.c (set_state_table): here.
799 * src/lalr.c (lalr): Call it.
801 2001-12-10 Akim Demaille <akim@epita.fr>
803 * src/state.h (shifts): Remove the `number' member: shifts are
804 attached to state, hence no longer need to be labelled with a
807 2001-12-10 Akim Demaille <akim@epita.fr>
809 Now that states have a complete set of members, the linked list of
810 shifts is useless: just fill directly the state's shifts member.
812 * src/state.h (shifts): Remove the `next' member.
813 * src/LR0.c (first_state, last_state): Remove.
815 (augment_automaton): Don't look for the shifts that must be added
816 a shift on EOF: it is those of the state we looked for! But now,
817 since shifts are attached, it is no longer needed to looking
818 merely by its id: its number.
820 2001-12-10 Akim Demaille <akim@epita.fr>
822 * src/LR0.c (augment_automaton): Better variable locality.
823 Remove an impossible branch: if there is a state corresponding to
824 the start symbol being shifted, then there is shift for the start
825 symbol from the initial state.
827 2001-12-10 Akim Demaille <akim@epita.fr>
829 * src/LR0.c (augment_automaton): Call `insert_eof_shifting_state'
830 only when appropriate: when insert_start_shifting_state' is not
832 * tests/regression.at (Rule Line Numbers): Adjust.
834 2001-12-10 Akim Demaille <akim@epita.fr>
836 * src/LR0.c (augment_automaton): Now that all states have shifts,
837 merge the two cases addition shifts to the initial state.
839 2001-12-10 Akim Demaille <akim@epita.fr>
841 * src/lalr.c (set_state_table): Move to...
843 * src/lalr.c (lalr): Don't call it...
844 * src/LR0.c (generate_states): do it.
845 * src/LR0.h (first_state): Remove, only the table is used.
847 2001-12-10 Akim Demaille <akim@epita.fr>
849 * src/LR0.h (first_shift, first_reduction): Remove.
850 * src/lalr.c: Don't use first_shift: find shifts through the
853 2001-12-10 Akim Demaille <akim@epita.fr>
855 * src/LR0.c: Attach shifts to states as soon as they are
857 * src/lalr.c (set_state_table): Instead of assigning shifts to
858 state, just assert that the mapping was properly done.
860 2001-12-10 Akim Demaille <akim@epita.fr>
862 * src/LR0.c (insert_start_shift): Rename as...
863 (insert_start_shifting_state): this.
864 (insert_eof_shifting_state, insert_accepting_state): New.
865 (augment_automaton): Adjust.
866 Better locality of the variables.
867 When looking if the start_symbol is shifted from the initial
868 state, using `while (... symbol != start_symbol ...)' sounds
869 better than `while (... symbol < start_symbol ...)': If fail
870 to see how the order between symbols could be relevant!
872 2001-12-10 Akim Demaille <akim@epita.fr>
874 * src/getargs.h: Don't declare `spec_name_prefix' and
875 `spec_file_prefix', declared by src/files.h.
876 * src/files.c, src/files.h: Default for spec_name_prefix is "yy".
877 * src/muscle_tab.c (muscle_init): Default prefix to NULL.
878 * src/output.c (prepare): Adjust.
879 * src/reader.c (symbols_output): Likewise.
880 * src/vmsgetargs.c: Vaguely adjust, but who cares?
882 2001-12-10 Akim Demaille <akim@epita.fr>
884 * src/muscle_tab.c (muscle_init): NULL is a better default than
887 2001-12-10 Akim Demaille <akim@epita.fr>
889 * src/reader.c (reader): Calling symbols_output once is enough.
891 2001-12-10 Akim Demaille <akim@epita.fr>
893 Now that states have a complete set of members, the linked list of
894 reductions is useless: just fill directly the state's reductions
897 * src/state.h (struct reductions): Remove member `number' and
899 * src/LR0.c (first_reduction, last_reduction): Remove.
900 (save_reductions): Don't link the new reductions, store them in
902 * src/lalr.c (set_state_table): No need to attach reductions to
903 states, it's already done.
904 * src/output.c (output_actions): No longer free the shifts, then
905 the reductions, then the states: free all the states and their
908 2001-12-10 Akim Demaille <akim@epita.fr>
910 * src/options.c (OPTN, DRTV, BOTH): New.
911 (option_table): Use them.
913 * src/muscle_tab.c: Don't include xalloc.h and string.h: that's
915 * src/options.c: Don't include stdio.h and xalloc.h for the same
918 2001-12-10 Akim Demaille <akim@epita.fr>
920 * src/output.c (output, prepare): Make sure the values of the
921 muscles `action' and `prologue' are 0-terminated.
923 2001-12-10 Akim Demaille <akim@epita.fr>
925 Clean up GCC warnings.
927 * src/reader.c (copy_action): `buf' is not used.
928 (parse_skel_decl): Be static.
929 * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'.
930 * src/options.h (create_long_option_table): Have a real prototype.
931 * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete)
932 (hash_delete_at): Return const void *.
933 Adjust casts to preserve the const.
935 2001-12-10 Akim Demaille <akim@epita.fr>
937 * configure.in: Require 2.52g.
938 M4 is not needed, but AUTOM4TE is.
940 * tests/Makefile.am: Adjust.
942 2001-12-10 Akim Demaille <akim@epita.fr>
944 One structure for states is enough, even though theoretically
945 there are LR(0) states and LALR(1) states.
947 * src/lalr.h (state_t): Remove.
948 (state_table): Be state_t **, not state_t *.
949 * src/state.h (core, CORE_ALLOC): Rename as...
950 (state_t, STATE_ALLOC): this.
951 Add the LALR(1) members: shifts, reductions, errs.
952 * src/LR0.c (state_table): Rename as...
953 (state_hash): this, to avoid name clashes with the global
955 * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
956 * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
958 2001-12-10 Akim Demaille <akim@epita.fr>
960 Bison dumps core on bash.y.
961 Reported by Pascal Bart.
963 * src/warshall.c (bitmatrix_print): New.
965 When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
966 j must be the outer loop.
967 * tests/regression.at (Broken Closure): New.
969 2001-12-05 Akim Demaille <akim@epita.fr>
971 * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and
973 Reported by Peter Hámorský.
975 2001-12-05 Akim Demaille <akim@epita.fr>
977 * src/conflicts.c (err_table): Remove.
978 (resolve_sr_conflict): Adjust.
979 * src/lalr.h (state_t.reduction_table, state_t.shift_table):
981 (state_t.reductions, state_t.shifts): this.
983 2001-12-05 Akim Demaille <akim@epita.fr>
985 * src/reduce.c (reduce_grammar_tables): No longer disable the
986 removal of useless rules via CPP but via `if (0)', so that the
987 compiler still check the code is valid.
988 For instance, it should have noticed `rline' no longer exists: use
989 the `line' member of rule_t.
990 * src/gram.c (dummy, rline): Remove, unused.
992 2001-12-05 Akim Demaille <akim@epita.fr>
994 * src/output.c (pack_vector): Use assert, not berror.
995 * src/main.c (berror): Remove, unused.
997 2001-12-05 Akim Demaille <akim@epita.fr>
999 New experimental feature: if --verbose --trace output all the
1000 items of a state, not only its kernel.
1002 * src/print.c (print_core): If `trace_flag', then invoke closure
1003 before outputting the items of the state (print_core is no longer
1004 a correct name them).
1005 (print_results): Invoke new_closure/free_closure if needed.
1007 2001-12-05 Akim Demaille <akim@epita.fr>
1009 * src/LR0.c (new_itemsets): Use nshifts only, not shiftcount.
1010 * src/closure.c, src/closure.h (itemsetsize): Rename as...
1011 (nitemset): for consistency with the rest of the project.
1013 2001-12-05 Akim Demaille <akim@epita.fr>
1015 * src/closure.c (print_closure): Improve.
1016 (closure): Use it for printing input and output.
1018 2001-12-05 Akim Demaille <akim@epita.fr>
1020 * src/closure.c (FIRSTS, FDERIVES): Adjust to reality: they are
1021 indexed by nonterminals.
1023 2001-12-05 Akim Demaille <akim@epita.fr>
1025 * src/warshall.c (TC, RTC): De-obsfucate (source reduced to 22% of
1027 * src/warshall.h: Remove accidental duplication of the content.
1029 2001-12-05 Akim Demaille <akim@epita.fr>
1031 * src/closure.c (set_fderives): De-obfuscate.
1033 2001-12-05 Akim Demaille <akim@epita.fr>
1035 * src/closure.c (print_firsts, print_fderives): De-obfuscate.
1037 2001-12-05 Akim Demaille <akim@epita.fr>
1039 * src/closure.c (set_firsts): De-obfuscate.
1041 2001-12-05 Akim Demaille <akim@epita.fr>
1043 * src/output.c (action_row): De-obfuscate
1044 using the good o' techniques: arrays not pointers, variable
1045 locality, BITISSET, RESETBIT etc.
1047 2001-12-05 Akim Demaille <akim@epita.fr>
1049 Pessimize the code to simplify it: from now on, all the states
1050 have a valid SHIFTS, which NSHIFTS is possibly 0.
1052 * src/LR0.c (shifts_new): Be global and move to..
1053 * src/state.c, src/state.h: here.
1054 * src/conflicts, src/lalr.c, src/output.c, src/print.c,
1055 * src/print_graph: Adjust.
1057 2001-12-05 Akim Demaille <akim@epita.fr>
1059 * src/state.h (SHIFT_DISABLE, SHIFT_IS_DISABLED): New.
1060 * src/conflicts.c: Use it.
1061 Restore a few missing `if (!SHIFT_IS_DISABLED)' which were
1062 incorrectly ``simplified''.
1064 2001-12-05 Akim Demaille <akim@epita.fr>
1066 * src/conflicts.c (flush_shift, resolve_sr_conflict): De-obfuscate
1067 using the good o' techniques: arrays not pointers, variable
1068 locality, BITISSET, RESETBIT etc.
1070 2001-12-05 Akim Demaille <akim@epita.fr>
1072 * src/state.h (SHIFT_SYMBOL): New.
1073 * src/conflicts.c: Use it to deobfuscate.
1075 2001-12-05 Akim Demaille <akim@epita.fr>
1077 * src/conflicts.c (count_sr_conflicts, count_rr_conflicts)
1078 (print_reductions): De-obfuscate using the good o' techniques:
1079 arrays not pointers, variable locality, BITISSET.
1081 2001-12-05 Akim Demaille <akim@epita.fr>
1083 * src/conflicts.c (print_reductions): Arrays, not pointers.
1086 2001-12-05 Akim Demaille <akim@epita.fr>
1088 * src/conflicts.c (print_reductions): Pessimize, but clarify.
1090 2001-12-05 Akim Demaille <akim@epita.fr>
1092 * src/conflicts.c (print_reductions): Improve variable locality.
1094 2001-12-05 Akim Demaille <akim@epita.fr>
1096 * src/conflicts.c (print_reductions): Pessimize, but clarify.
1098 2001-12-05 Akim Demaille <akim@epita.fr>
1100 * src/conflicts.c (print_reductions): Improve variable locality.
1102 2001-12-05 Akim Demaille <akim@epita.fr>
1104 * src/state.h (SHIFT_IS_ERROR, SHIFT_IS_GOTO, SHIFT_IS_SHIFT): New.
1105 * src/lalr.c: Use them.
1107 2001-12-05 Akim Demaille <akim@epita.fr>
1109 * src/LR0.c (augment_automaton): Formatting changes.
1110 Better variable locality.
1112 2001-12-05 Akim Demaille <akim@epita.fr>
1114 * src/lalr.c (matrix_print): New.
1115 (transpose): Use it.
1116 Use arrays instead of pointers.
1118 2001-12-05 Akim Demaille <akim@epita.fr>
1120 * src/lalr.c (maxrhs): Move to...
1121 * src/gram.c, src/gram.h (ritem_longest_rhs): here.
1122 * src/lalr.c (build_relations): Adjust.
1124 2001-12-05 Akim Demaille <akim@epita.fr>
1126 * src/lalr.c (transpose): Free the memory allocated to the
1127 argument, as it is replaced by the results by the unique caller.
1128 (build_relations): Merely invoke transpose: it handles the memory
1130 Improve variable locality.
1131 Avoid variables used as mere abbreviations.
1132 (compute_lookaheads): Use arrays instead of pointers.
1134 2001-12-05 Akim Demaille <akim@epita.fr>
1136 * src/lalr.c (initialize_F): Improve variable locality.
1137 Avoid variables used as mere abbreviations.
1139 2001-12-05 Akim Demaille <akim@epita.fr>
1141 * src/derives.c (print_derives): Display the ruleno.
1142 * src/lalr.c (initialize_F, transpose): Better variable locality
1143 to improve readability.
1144 Avoid variables used as mere abbreviations.
1146 2001-12-05 Akim Demaille <akim@epita.fr>
1148 * src/lalr.c (traverse): Use arrays instead of pointers.
1150 2001-12-05 Akim Demaille <akim@epita.fr>
1152 * src/nullable.c (set_nullable): Use a for loop to de-obfuscate
1153 the handling of squeue.
1154 `symbol >= 0' is wrong now, use `rule_table[ruleno].useful'.
1156 2001-12-05 Akim Demaille <akim@epita.fr>
1158 Because useless nonterminals are now kept alive (instead of being
1159 `destroyed'), we now sometimes examine them, and store information
1160 related to them. Hence we need to know their number, and adjust
1163 * src/reduce.c, src/reduce.h (nuseless_nonterminals): No longer
1165 * src/LR0.c (allocate_itemsets): The memory allocated to
1166 `symbol_count' was used for two different purpose: once to count
1167 the number of occurrences of each symbol, and later reassigned to
1168 `shift_symbol', containing the symbol that can be shifted from a
1170 Deobfuscate, i.e., allocate, use and free `symbol_count' here
1172 (new_itemsets): Allocate `shift_symbol' here.
1173 (allocate_itemsets): symbol_count includes useless nonterminals.
1175 (free_storage): Use `free', not `XFREE', for pointers that cannot
1178 2001-12-05 Akim Demaille <akim@epita.fr>
1180 * src/nullable.c (set_nullable): Deobfuscate the handling of
1182 `symbol >= 0' is wrong now, use `rule_table[ruleno].useful'.
1184 2001-12-05 Akim Demaille <akim@epita.fr>
1186 * src/gram.c, src/gram.h (ritem_print): New.
1187 * src/gram.c (dummy): Remove, now there is actual code in gram.c.
1188 (This useless function was defined only to work around VMS linkers
1189 that can't handle compilation units with variables only).
1190 * src/reduce.c (dump_grammar): Use it to trace the construction of
1193 2001-12-04 Paul Eggert <eggert@twinsun.com>
1195 * src/bison.simple (union yyalloc): Change member names
1196 to be the same as the stack names.
1197 (yyparse): yyptr is now union yyalloc *, not char *.
1198 (YYSTACK_RELOCATE): Likewise. This avoids a GCC warning,
1199 and may generate better code on some machines.
1200 (yystpcpy): Use prototype if __STDC__ is defined, not just
1201 if __cplusplus is defined.
1203 2001-11-30 Akim Demaille <akim@epita.fr>
1205 * configure.in (WARNING_CFLAGS): Add -Werror when possible.
1206 (CFLAGS): Do not include the WARNING_CFLAGS here, since GNU
1207 Gettext doesn't compile cleanly, and dies with -Werror.
1208 * src/Makefile.am, lib/Makefile.am, tests/atlocal.in (CFLAGS):
1209 Include WARNING_CFLAGS here.
1210 * lib/xstrdup.c: Include xalloc.h, so that xstrdup be declared
1211 before being defined.
1213 2001-11-27 Paul Eggert <eggert@twinsun.com>
1215 * lib/quotearg.h (quotearg_n, quotearg_n_style):
1216 First arg is int, not unsigned.
1217 * lib/quotearg.c (quotearg_n, quotearg_n_style): Likewise.
1218 (SIZE_MAX, UINT_MAX): New macros.
1219 (quotearg_n_options): Abort if N is negative.
1220 Avoid overflow check on hosts where size_t is 64 bits and int
1221 is 32 bits, as overflow is impossible there.
1222 Fix off-by-one typo that caused unnecessary reallocation.
1224 2001-11-29 Paul Eggert <eggert@twinsun.com>
1226 Name space cleanup in generated parser.
1228 * doc/bison.texinfo (Bison Parser): Discuss system headers
1229 and their effect on the user name space.
1232 (YYSTACK_ALLOC, YYSTACK_FREE, union yyalloc, YYSTACK_GAP_MAX,
1233 YYSTACK_BYTES, YYSTACK_RELOCATE): Do not define unless necessary,
1234 i.e. unless ! defined (yyoverflow) || defined (YYERROR_VERBOSE).
1236 (YYSIZE_T): New macro. Use it instead of size_t, to avoid infringing
1237 on user names when possible.
1239 (YYSTACK_USE_ALLOCA): Do not define; just use any existing defn.
1240 Simplify test for whather <alloca.h> exists.
1242 (<stdlib.h>): Include if we will use malloc, and if standard C or C++.
1244 (<stdio.h>): Include if YYDEBUG.
1246 (yymemcpy): Renamed from __yy_memcpy. Do not define unless
1247 ! defined (yyoverflow) && ! defined (yymemcpy).
1249 (yymemcpy, yyparse): Rename local variables as needed so that
1250 they all begin with 'yy'.
1252 (yystrlen, yystpcpy): New functions.
1254 (YY_DECL_NON_LSP_VARIABLES): Renamed from _YY_DECL_VARIABLES.
1257 (yyparse): size_t -> YYSIZE_T. Use yystrlen and yystpcpy
1258 instead of relying on string.h functions. Use YYSTACK_ALLOC
1259 and YYSTACK_FREE instead of malloc and free.
1261 2001-11-30 Akim Demaille <akim@epita.fr>
1263 * src/bison.simple (YYSTYPE, YYLTYPE): Move their definitions
1264 before their first uses.
1265 (YYBISON, YYPURE): Move to the top of the output.
1267 2001-11-30 Akim Demaille <akim@epita.fr>
1269 * tests/reduce.at (Useless Nonterminals): Fix.
1271 2001-11-30 Akim Demaille <akim@epita.fr>
1273 * src/bison.simple (YYSTACK_FREE): Use `do {;} while (0)' as empty
1274 if body instead of `;' to pacify GCC's warnings.
1276 2001-11-30 Akim Demaille <akim@epita.fr>
1278 Instead of mapping the LHS of unused rules to -1, keep the LHS
1279 valid, but flag the rules as invalid.
1281 * src/gram.h (rule_t): `useful' is a new member.
1282 * src/print.c (print_grammar): Adjust.
1283 * src/derives.c (set_derives): Likewise.
1284 * src/reader.c (packgram, reduce_output): Likewise.
1285 * src/reduce.c (reduce_grammar_tables): Likewise.
1286 * tests/reduce.at (Underivable Rules, Useless Rules): New.
1288 2001-11-30 Akim Demaille <akim@epita.fr>
1290 * src/reduce.c (reduce_output): Formatting changes.
1291 * src/print.c (print_results, print_grammar): Likewise.
1292 * tests/regression.at (Rule Line Numbers)
1293 (Solved SR Conflicts, Unresolved SR Conflicts): Adjust.
1295 2001-11-30 Akim Demaille <akim@epita.fr>
1297 * src/reduce.c (nonterminals_reduce): Instead of throwing away
1298 useless nonterminals, move them at the end of the symbol arrays.
1299 (reduce_output): Adjust.
1300 * tests/reduce.at (Useless Nonterminals): Adjust.
1302 2001-11-30 Akim Demaille <akim@epita.fr>
1304 * src/reduce.c: Various comment/formatting changes.
1305 (nonterminals_reduce): New, extracted from...
1306 (reduce_grammar_tables): here.
1307 (reduce_grammar): Call nonterminals_reduce.
1309 2001-11-29 Paul Eggert <eggert@twinsun.com>
1311 * src/bison.simple (YYSTACK_REALLOC): Remove.
1312 (YYSTACK_ALLOC): Resurrect this macro, with its old meaning.
1313 (YYSTACK_FREE, YYSTACK_GAP_MAX, YYSTACK_BYTES, YYSTACK_RELOCATE):
1315 (union yyalloc): New type.
1316 (__yy_memcpy): Last arg is size_t, not unsigned int, to remove
1317 an arbitrary restriction on hosts where size_t is wider than int.
1319 (yyparse): Don't dump core if alloca or malloc fails; instead, report
1320 a parser stack overflow. Allocate just one block of memory for all
1321 three stacks, instead of allocating three blocks; this typically is
1322 faster and reduces fragmentation.
1324 Do not limit the number of items in the stack to a value that fits
1325 in 'int', as this is an arbitrary limit on hosts with 64-bit
1326 size_t and 32-bit int.
1328 2001-11-29 Marc Autret <autret_m@epita.fr>
1330 * tests/calc.at [AT_DATA_CALC_Y]: Use %error-verbose instead
1331 of defining YYERROR_VERBOSE.
1332 [AT_DATA]: $4 is now out of C declarations in the prologue.
1334 2001-11-28 Marc Autret <autret_m@epita.fr>
1336 * src/reader.c (parse_dquoted_param): New.
1337 (parse_skel_decl): Use it.
1338 * src/lex.h: Add its prototype.
1339 * src/lex.c (literalchar): Become not static.
1341 2001-11-28 Marc Autret <autret_m@epita.fr>
1343 * src/output.h: And put its extern declaration here.
1344 * src/output.c (error_verbose): Define here.
1345 (prepare): Echo name modification.
1346 * src/getargs.h: Clean its extern declaration.
1347 * src/getargs.c (error_verbose_flag): Remove.
1348 (getargs): Remove case 'e'.
1349 * src/options.c (option_table): 'error-verbose' is now seen as simple
1353 * src/reader.c (read_declarations): Remove case tok_include.
1354 (parse_include_decl): Remove.
1355 * src/lex.h (token_t): Remove tok_include.
1356 * src/options.c (option_table): 'include' is now a simple command line
1359 2001-11-28 Marc Autret <autret_m@epita.fr>
1361 * src/bison.simple: Adjust muscle names.
1362 * src/muscle_tab.c (muscle_init): Also rename the muscles.
1363 * src/output.c (prepare): s/_/-/ for the muscles names.
1364 (output_parser): When scanning for a muscle, allow '-' instead of '_'.
1366 2001-11-28 Marc Autret <autret_m@epita.fr>
1368 * src/bison.simple: Fix debug.
1369 [YYERROR_VERBOSE]: Re-integrate as an internal macro.
1371 2001-11-28 Akim Demaille <akim@epita.fr>
1373 * src/LR0.c (shifts_new): New.
1374 (save_shifts, insert_start_shift, augment_automaton): Use it.
1376 2001-11-28 Akim Demaille <akim@epita.fr>
1378 * src/closure.c (closure): `b' and `ruleno' denote the same value:
1381 2001-11-28 Akim Demaille <akim@epita.fr>
1383 * src/closure.c (closure): Instead of looping over word in array
1384 then bits in words, loop over bits in array.
1386 2001-11-28 Akim Demaille <akim@epita.fr>
1388 * src/closure.c (closure): No longer optimize the special case
1389 where all the bits of `ruleset[r]' are set to 0, to make the code
1392 2001-11-28 Akim Demaille <akim@epita.fr>
1394 * src/closure.c (closure): `r' and `c' are new variables, used to
1395 de-obfuscate accesses to RULESET and CORE.
1397 2001-11-28 Akim Demaille <akim@epita.fr>
1399 * src/reduce.c (reduce_print): Use ngettext.
1400 (dump_grammar): Improve the trace accuracy.
1402 2001-11-28 Akim Demaille <akim@epita.fr>
1404 * src/reduce.c (dump_grammar): Don't translate trace messages.
1406 2001-11-28 Akim Demaille <akim@epita.fr>
1408 * tests/reduce.at (Useless Terminals, Useless Nonterminals): New.
1409 * src/reduce.c (reduce_grammar_tables): Do not free useless tags,
1410 as all tags are free'ed afterwards.
1413 2001-11-27 Paul Eggert <eggert@twinsun.com>
1415 * src/bison.simple (YYSTACK_REALLOC): Fix typo that caused us to
1416 use alloca when we didn't want to, and vice versa.
1418 2001-11-27 Marc Autret <autret_m@epita.fr>
1420 * src/muscle_tab.c (muscle_init): Remove 'verbose' muscle
1422 * src/output.c (prepare): Remove its update.
1424 2001-11-27 Marc Autret <autret_m@epita.fr>
1426 * tests/torture.at [AT_DATA]: Remove YYERROR_VERBOSE definition.
1429 2001-11-27 Marc Autret <autret_m@epita.fr>
1431 * src/bison.simple: Remove YYERROR_VERBOSE using.
1432 Use %%error_verbose.
1433 (yyparse): Likewise.
1434 * src/output.c (prepare): Give its final value.
1435 * src/muscle_tab.c (muscle_init): Init new muscle 'error_verbose'.
1436 * src/getargs.h: Add its extern declaration.
1437 * src/getargs.c (error_verbose_flag): New int.
1438 (getargs): Update to catch new case.
1439 * src/options.c (option_table): 'error-verbose' is a new option.
1440 (shortopts): Update.
1442 2001-11-27 Akim Demaille <akim@epita.fr>
1444 * src/system.h: Use intl/libgettext.h.
1445 * src/Makefile.am (INCLUDES): Add -I $(top_srcdir).
1447 2001-11-27 Akim Demaille <akim@epita.fr>
1449 * tests/torture.at (Exploding the Stack Size with Malloc):
1450 s/YYSTACK_USE_ALLOCA_ALLOCA/YYSTACK_USE_ALLOCA/.
1452 2001-11-27 Akim Demaille <akim@epita.fr>
1454 * src/files.c: Include error.h.
1455 Reported by Hans Aberg.
1457 2001-11-26 Marc Autret <autret_m@epita.fr>
1459 * src/reader.c (parse_include_decl): New, not yet implemented.
1460 (read_declarations): Add case tok_include.
1461 * src/getargs.h (include): Add its extern definition.
1462 * src/getargs.c (include): New const char *.
1463 (getargs): Add case '-I'.
1464 * src/options.c (option_table): Add include as command line and
1466 * src/lex.h (token_t): Add tok_include.
1468 2001-11-26 Akim Demaille <akim@epita.fr>
1470 * src/reader.c (readgram): Make sure rules for mid-rule actions
1471 have a lineno equal to that of their host rule.
1472 Reported by Hans Aberg.
1473 * tests/regression.at (Rule Line Numbers): New.
1475 2001-11-26 Akim Demaille <akim@epita.fr>
1477 * src/LR0.c (allocate_itemsets): kernel_size contains ints, not
1480 2001-11-26 Akim Demaille <akim@epita.fr>
1482 * src/complain.c, src/complain.h (error): Remove, provided by
1485 2001-11-26 Akim Demaille <akim@epita.fr>
1487 * src/reader.c (read_declarations): Don't abort on tok_illegal,
1488 issue an error message.
1489 * tests/regression.at (Invalid %directive): New.
1490 Reported by Hans Aberg.
1492 2001-11-26 Akim Demaille <akim@epita.fr>
1494 * configure.in: Invoke AC_FUNC_OBSTACK and AC_FUNC_ERROR_AT_LINE.
1495 * lib/Makefile.am (libbison_a_SOURCES): Adjust.
1497 2001-11-26 Akim Demaille <akim@epita.fr>
1499 * src/conflicts.c (conflicts_print): Don't complain at all when
1500 there are no reduce/reduce conflicts, and as many shift/reduce
1501 conflicts as expected.
1502 * tests/regression.at (%expect right): Adjust.
1504 2001-11-23 Akim Demaille <akim@epita.fr>
1506 * lib/alloca.c: Update, from fileutils.
1508 2001-11-23 Akim Demaille <akim@epita.fr>
1510 * lib/Makefile.am (libbison_a_LIBADD): Add @ALLOCA@.
1512 2001-11-23 Akim Demaille <akim@epita.fr>
1514 * src/system.h: Include alloca.h.
1515 * src/main.c (main) [C_ALLOCA]: Call alloca (0).
1517 2001-11-23 Akim Demaille <akim@epita.fr>
1519 * src/print_graph.c (print_actions): Remove `rule', unused.
1520 * src/LR0.c (kernel_size): Contain `int' instead of `size_t' to
1521 pacify GCC's signed < unsigned warnings.
1522 * src/closure.c (itemsetsize): Likewise.
1523 * src/reader.c (symbol_list_new): Static.
1525 2001-11-23 Akim Demaille <akim@epita.fr>
1527 Attaching lineno to buckets is stupid, since only one copy of each
1528 symbol is kept, only the line of the first occurrence is kept too.
1530 * src/symtab.h, src/symtab.c (bucket): Remove the line member.
1531 * src/reader.c (rline_allocated): Remove, unused.
1532 (symbol_list): Have a `line' member.
1533 (symbol_list_new): New.
1535 * src/print.c (print_grammar): Output the rule line numbers.
1536 * tests/regression.at (Solved SR Conflicts)
1537 (Unresolved SR Conflicts): Adjust.
1538 Reported by Hans Aberg.
1540 2001-11-22 Marc Autret <autret_m@epita.fr>
1542 * src/bison.simple [YYERROR_VERBOSE]: Force its value to be 1 or 0.
1544 2001-11-22 Marc Autret <autret_m@epita.fr>
1546 * src/muscle_tab.c (muscle_init): Remove initialization of
1548 * src/output.c (output_master_parser): Do it here.
1550 2001-11-20 Akim Demaille <akim@epita.fr>
1553 * configure.in (ALL_LINGUAS): Adjust.
1554 * po/POTFILE.in: Remove `nullable.c' and `derives.c' which no
1555 longer contains strings to translate.
1557 2001-11-19 Akim Demaille <akim@epita.fr>
1559 * src/conflicts.c (conflicts_print): Add a missing \n.
1561 2001-11-19 Akim Demaille <akim@epita.fr>
1563 * src/nullable.c (nullable_print): New.
1564 (set_nullable): Call it when tracing.
1565 Better locality of variables.
1567 2001-11-19 Akim Demaille <akim@epita.fr>
1569 * src/print.c (print_actions): Better locality of variables.
1571 2001-11-19 Akim Demaille <akim@epita.fr>
1573 * src/derives.c (print_derives): Fix and enrich.
1574 * src/closure.c (print_fderives): Likewise.
1576 2001-11-19 Akim Demaille <akim@epita.fr>
1578 * src/closure.c (itemsetend): Remove, replaced with...
1581 2001-11-19 Akim Demaille <akim@epita.fr>
1583 * src/LR0.c (kernel_end): Remove, replaced with...
1586 2001-11-19 Akim Demaille <akim@epita.fr>
1588 * src/conflicts.c (set_conflicts): Use arrays instead of pointers
1591 2001-11-19 Akim Demaille <akim@epita.fr>
1593 * src/closure.c (closure): Use arrays instead of pointers to clarify.
1595 2001-11-19 Akim Demaille <akim@epita.fr>
1597 * src/closure.c, src/derives.c, src/nullable.c: Adjust various
1599 * src/LR0.c: Likewise.
1600 (allocate_itemsets): Use arrays instead of pointers to clarify.
1602 2001-11-19 Akim Demaille <akim@epita.fr>
1604 * src/getargs.c (statistics_flag): Replace with...
1606 (longopts): Accept --trace instead of --statistics.
1607 * src/getargs.h, src/options.c: Adjust.
1608 * src/LR0.c, src/closure.c, src/derives.c, src/nullable.c,
1609 * src/reduce.c: Use trace_flags instead of the CPP conditional TRACE.
1611 2001-11-19 Akim Demaille <akim@epita.fr>
1613 * src/LR0.c (new_itemsets, get_state): Use more arrays and fewer
1614 pointers to clarify the code.
1615 (save_reductions, save_shifts): Factor common parts of alternatives.
1617 2001-11-19 Akim Demaille <akim@epita.fr>
1619 * src/LR0.c (new_state, get_state): Complete TRACE code.
1620 * src/closure.c: Include `reader.h' to get `tags', needed by the
1622 Rename the conditional DEBUG as TRACE.
1623 Output consistently TRACEs to stderr, not stdout.
1624 * src/derives.c: Likewise.
1625 * src/reduce.c: (inaccessable_symbols): Using if is better style
1627 Use `#if TRACE' instead of `#if 0' for tracing code.
1629 2001-11-19 Akim Demaille <akim@epita.fr>
1631 * src/system.h (LIST_FREE, shortcpy): New.
1632 * src/LR0.c: Use them.
1633 * src/output.c (free_itemsets, free_reductions, free_shifts):
1634 Remove, replaced by LIST_FREE.
1636 2001-11-19 Akim Demaille <akim@epita.fr>
1638 * src/state.h (CORE_ALLOC, SHIFTS_ALLOC, ERRS_ALLOC)
1639 (REDUCTIONS_ALLOC): New.
1640 * src/LR0.c, src/conflicts.c: Use them to de-obfuscate memory
1643 2001-11-19 Akim Demaille <akim@epita.fr>
1645 * src/LR0.c (new_state): Complete trace code.
1646 * src/nullable.c (set_nullable): Don't translate traces.
1648 2001-11-19 Akim Demaille <akim@epita.fr>
1650 * src/print_graph.c (print_core): Better locality of variables.
1651 * src/print.c (print_core): Likewise.
1653 2001-11-19 Akim Demaille <akim@epita.fr>
1655 * src/vcg.c: You do the output, so you are responsible of the
1656 handling of VCG syntax, in particular: use quotearg.
1657 * src/print_graph.c: Don't.
1658 (print_actions): Don't output the actions as part of the nodes,
1659 since that's the job of the edges.
1660 (print_state): Don't output by hand: fill the node description,
1661 and ask for its output.
1663 2001-11-19 Akim Demaille <akim@epita.fr>
1665 * src/bison.simple (yyparse): When verbosely reporting an error,
1666 no longer put additional quotes around token names.
1667 * tests/calc.at: Adjust.
1669 2001-11-19 Akim Demaille <akim@epita.fr>
1671 * src/symtab.h, src/symtab.c: `line' is a new member of `bucket'.
1672 * src/reader.c (record_rule_lines, rline, rline_allocated): Remove.
1673 * src/output.c: Adjust.
1675 2001-11-19 Akim Demaille <akim@epita.fr>
1677 * src/gram.h (rprec, rprecsym, rassoc): Remove, now part of...
1679 * src/conflicts.c, src/reader.c, src/reduce.c: Adjust.
1681 2001-11-19 Akim Demaille <akim@epita.fr>
1683 * src/gram.h (rule_t): New.
1685 (rrhs, rlhs): Remove, part of state_t.
1686 * src/print_graph.c, src/closure.c, src/conflicts.c, src/derives.c,
1687 * src/lalr.c, src/nullable.c, src/output.c, src/print.c,
1688 * src/reader.c, src/reduce.c: Adjust.
1690 2001-11-19 Akim Demaille <akim@epita.fr>
1692 * src/reader.c (symbols_output): New, extracted from...
1693 (packsymbols): Here.
1696 2001-11-19 Akim Demaille <akim@epita.fr>
1698 * src/lalr.c (set_maxrhs, maxrhs): Remove, replaced with...
1699 (maxrhs): this new function.
1701 2001-11-19 Akim Demaille <akim@epita.fr>
1703 * src/lalr.c (F): New macro to access the variable F.
1706 2001-11-19 Akim Demaille <akim@epita.fr>
1708 * src/lalr.h (LA): New macro to access the variable LA.
1709 * src/output.c, src/lalr.c, src/print_graph.c, src/conflicts.c:
1710 * src/lalr.c: Adjust.
1712 2001-11-19 Akim Demaille <akim@epita.fr>
1714 * src/lalr.c (initialize_LA): Only initialize LA. Let...
1715 (set_state_table): handle the `lookaheads' members.
1717 2001-11-19 Akim Demaille <akim@epita.fr>
1719 * src/lalr.h (lookaheads): Removed array, whose contents is now
1721 (state_t): this structure.
1722 * src/output.c, src/lalr.c, src/print_graph.c, src/conflicts.c:
1725 2001-11-19 Akim Demaille <akim@epita.fr>
1727 * src/lalr.h (consistent): Removed array, whose contents is now
1729 (state_t): this structure.
1730 * src/output.c, src/lalr.c, src/print_graph.c, src/conflicts.c:
1733 2001-11-19 Akim Demaille <akim@epita.fr>
1735 * src/lalr.h (reduction_table, shift_table): Removed arrays, whose
1736 contents are now members of...
1737 (state_t): this structure.
1738 * src/output.c, src/lalr.c, src/print_graph.c, src/conflicts.c:
1741 2001-11-19 Akim Demaille <akim@epita.fr>
1743 * src/lalr.h (state_t): New.
1744 (state_table): Be a state_t * instead of a core **.
1745 (accessing_symbol): Remove, part of state_t.
1746 * src/lalr.c: Adjust.
1747 (set_accessing_symbol): Merge into...
1748 (set_state_table): this.
1749 * src/print_graph.c, src/conflicts.c: Adjust.
1751 2001-11-14 Akim Demaille <akim@epita.fr>
1753 * tests/calc.at, tests/output.at, tests/regression.at,
1754 * tests/testsuite.at, tests/torture.at: Rely on Autotest 2.52g:
1755 now the tests are run in private dirs, therefore AC_CLEANUP and
1756 family can be simplified to 0-ary.
1757 * tests/atlocal.in: Now that we run `elsewhere' than in tests/,
1758 use abs. path to find config.h.
1759 * tests/calc.at (AT_CHECK_CALC): Don't try to check the compiler's
1760 stderr, there can be way too much random noise.
1761 Instead pass -Werror to GCC and rely on the exit status.
1762 Reported by Wolfram Wagner.
1764 2001-11-14 Akim Demaille <akim@epita.fr>
1766 * src/bison.simple (yyparse): Let yyls1, yyss1 and yyvs1 be
1767 defined only if yyoverflow is defined, to avoid `warning: unused
1769 Reported by The Test Suite.
1771 2001-11-14 Akim Demaille <akim@epita.fr>
1773 * src/print.c: Include reduce.h.
1774 Reported by Hans Aberg.
1776 2001-11-14 Akim Demaille <akim@epita.fr>
1778 * src/lex.c, src/lex.h (token_buffer, unlexed_token_buffer):
1779 Revert a previous patch: these are really const.
1780 * src/conflicts.c (conflict_report): Additional useless pair of
1781 braces to pacify GCC's warnings for `if () if () {} else {}'.
1782 * src/lex.c (parse_percent_token): Replace equal_offset with
1785 Be sure to strdup `arg' when used, since there is no reason for
1786 token_buffer not to change.
1788 2001-11-14 Akim Demaille <akim@epita.fr>
1790 * src/system.h (EXIT_SUCCESS, EXIT_FAILURE): Ensure a proper
1792 * src/main.c (main): Use them.
1793 Suggested by Hans Aberg.
1795 2001-11-12 Akim Demaille <akim@epita.fr>
1797 * src/system.h (ngettext): Now that we use ngettext, be sure to
1798 provide a default definition when NLS are not used.
1800 2001-11-12 Akim Demaille <akim@epita.fr>
1802 * doc/bison.texinfo: Use `$' as shell prompt, not `%'.
1803 Use @kbd to denote user input.
1804 (Language and Grammar): ANSIfy the example.
1805 Adjust its layout for info/notinfo.
1806 (Location Tracking Calc): Output error messages to stderr.
1807 Output locations in a more GNUtically correct way.
1808 Fix a couple of Englishos.
1809 Adjust @group/@end group pairs.
1811 2001-11-12 Akim Demaille <akim@epita.fr>
1813 %expext was not functioning at all.
1815 * src/conflicts.c (expected_conflicts): Set to -1.
1816 (conflict_report): Use ngettext.
1817 (conflicts_print): Check %expect and make its violation an error.
1818 * doc/bison.texinfo (Expect Decl): Adjust.
1819 * configure.in (AM_GNU_GETTEXT): Ask for ngettext.
1820 * tests/regression.at (%expect not enough, %expect right)
1821 (%expect too much): New.
1823 2001-11-12 Akim Demaille <akim@epita.fr>
1825 * tests/regression.at (Conflicts): Rename as...
1826 (Unresolved SR Conflicts): this.
1827 (Solved SR Conflicts): New.
1829 2001-11-12 Akim Demaille <akim@epita.fr>
1831 * src/reduce.c (print_results): Rename as...
1832 (reduce_output): This.
1833 Output to OUT, passed as argument, instead of output_obstack.
1834 (dump_grammar): Likewise.
1837 (reduce_grammar): No longer call reduce_output, since...
1838 * src/print.c (print_results): do it.
1839 * src/main.c (main): Call reduce_free;
1841 2001-11-12 Akim Demaille <akim@epita.fr>
1843 * src/conflicts.c (print_reductions): Accept OUT as argument.
1844 Output to it, not to output_obstack.
1845 * src/print.c (print_actions): Adjust.
1847 2001-11-12 Akim Demaille <akim@epita.fr>
1849 * src/conflicts.c (count_sr_conflicts, count_rr_conflicts): Return
1850 the result instead of using...
1851 (src_total, rrc_total, src_count, rrc_count): Remove.
1852 (any_conflicts): Remove.
1853 (print_conflicts): Split into...
1854 (conflicts_print, conflicts_output): New.
1855 * src/conflicts.h: Adjust.
1856 * src/main.c (main): Invoke both conflicts_output and conflicts_print.
1857 * src/print.c (print_grammar): Issue `\n' between two rules.
1858 * tests/regression.at (Conflicts): New.
1859 Reported by Tom Lane.
1861 2001-11-12 Akim Demaille <akim@epita.fr>
1863 * tests/regression.at (Invalid input): Remove, duplicate with
1864 ``Invalid input: 1''.
1866 2001-11-12 Akim Demaille <akim@epita.fr>
1868 * tests/torture.at (AT_DATA_STACK_TORTURE)
1869 (Exploding the Stack Size with Alloca)
1870 (Exploding the Stack Size with Malloc): New.
1872 2001-11-12 Akim Demaille <akim@epita.fr>
1874 * src/bison.simple (YYSTACK_REALLOC): New.
1875 (yyparse) [!yyoverflow]: Use it and free the old stack.
1876 Reported by Per Allansson.
1878 2001-11-12 Pascal Bart <pascal.bart@epita.fr>
1880 * src/bison.simple: Define type yystype instead of YYSTYPE, and
1881 define CPP macro, which substitute YYSTYPE by yystype.
1882 * src/reader.c (parse_union_decl): Output yystype/YYSTYPE as we do
1883 with yyltype/YYLTYPE. This allows inclusion of the generated
1884 header within the parser if the compiler, such as GGC, accepts
1885 multiple equivalent #defines.
1888 2001-11-05 Akim Demaille <akim@epita.fr>
1890 * src/reader.c (symbols_output): New, extracted from...
1891 (packsymbols): here.
1894 2001-11-05 Akim Demaille <akim@epita.fr>
1896 * src/lex.c (parse_percent_token): s/quotearg/quote/.
1898 2001-11-05 Akim Demaille <akim@epita.fr>
1900 * tests/regression.at (AT_TEST_CPP_GUARD_H): Adjust the clean up
1903 2001-11-05 Akim Demaille <akim@epita.fr>
1905 * src/options.h (struct option_table_struct): set_flags is void*.
1906 * src/options.c (longopts): Support `--output' and `%output'.
1908 * src/lex.h (tok_setopt): Remove, replaced with...
1909 (tok_intopt, tok_stropt): these new guys.
1910 * src/lex.c (getopt.h): Not needed.
1911 (token_buffer, unlexed_token_buffer): Not const.
1912 (percent_table): Promote `-' over `_' in directive names.
1913 Active `%name-prefix', `file-prefix', and `output'.
1914 (parse_percent_token): Accept possible arguments to directives.
1915 Promote `-' over `_' in directive names.
1917 2001-11-04 Akim Demaille <akim@epita.fr>
1919 * doc/bison.texinfo (Decl Summary): Split the list into
1920 `directives for grammars' and `directives for bison'.
1922 Add description of `%name-prefix', `file-prefix', and `output'.
1923 Promote `-' over `_' in directive names.
1924 (Bison Options): s/%locactions/%locations/. Nice Freudian slip.
1925 Simplify the description of `--name-prefix'.
1926 Promote `-' over `_' in directive names.
1927 Promote `--output' over `--output-file'.
1928 Fix the description of `--defines'.
1929 * tests/output.at: Exercise %file-prefix and %output.
1931 2001-11-02 Akim Demaille <akim@epita.fr>
1933 * doc/refcard.tex: Update.
1935 2001-11-02 Akim Demaille <akim@epita.fr>
1937 * src/symtab.h (SUNDEF): New.
1938 * src/symtab.c (bucket_new): Init user_token_number to SUNDEF to
1939 stand for `uninitialized', instead of 0.
1940 * src/reader.c (packsymbols, parse_thong_decl): Adjust.
1941 * src/lex.c (lex): Adjust.
1943 * tests/calc.at (_AT_DATA_CALC_Y): Declare a token for EOF.
1945 Let yylex return it instead of a plain 0.
1946 Reported by Dick Streefland.
1948 2001-11-02 Akim Demaille <akim@epita.fr>
1950 * tests/regression.at (Mixing %token styles): New test.
1952 2001-11-02 Akim Demaille <akim@epita.fr>
1954 * src/reader.c (parse_thong_decl): Formatting changes.
1955 (token_translations_init): New, extracted from...
1956 (packsymbols): Here.
1959 2001-11-01 Akim Demaille <akim@epita.fr>
1961 * tests/regression.at (AT_TEST_CPP_GUARD_H): New.
1962 Check that `9foo.y' produces correct cpp guards.
1963 * src/files.c (compute_header_macro): Prepend `BISON_' to CPP
1967 2001-11-01 Akim Demaille <akim@epita.fr>
1969 * tests/regression.at (Invalid input: 2): New.
1970 * src/lex.c (unlexed_token_buffer): New.
1971 (lex, unlex): Adjust: when unlexing, be sure to save token_buffer
1975 2001-11-01 Akim Demaille <akim@epita.fr>
1977 * tests/calc.at: Catch up with 1.30.
1978 * configure.in: Bump to 1.49a.
1979 Adjust to newer Autotest.
1981 2001-10-19 Pascal Bart <pascal.bart@epita.fr>
1983 * src/conflicts.c: Move global variables rrc_total and src_total ...
1984 (print_conflicts): here.
1985 * src/output.c (output): Free global variable user_toknums.
1986 * src/lex.c (token_obstack): Become static.
1988 2001-10-18 Akim Demaille <akim@epita.fr>
1990 * tests/atlocal.in (GCC): Add.
1991 * tests/calc.at: s/m4_match/m4_bmatch/.
1992 s/m4_patsubst/m4_bpatsubst/.
1993 (AT_CHECK_CALC): Check the compiler's stderr only if it's GCC.
1994 * configure.in: AC_SUBST(GCC).
1996 2001-10-14 Marc Autret <autret_m@epita.fr>
1998 * src/options.c (create_long_option_table): Fix.
2000 2001-10-10 Akim Demaille <akim@epita.fr>
2002 * src/bison.simple: Be sure to set YYSTACK_USE_ALLOCA.
2004 2001-10-04 Akim Demaille <akim@epita.fr>
2006 * src/reader.c (parse_union_decl): Push the caracters in
2007 union_obstack, not attrs_obstack.
2009 2001-10-04 Akim Demaille <akim@epita.fr>
2011 Merge in the branch 1.29.
2013 * src/reader.c (packsymbols): Use a temporary obstack for
2014 `%%tokendef', since output_stack is already used elsewhere.
2016 2001-10-02 Akim Demaille <akim@epita.fr>
2020 2001-10-02 Akim Demaille <akim@epita.fr>
2024 2001-10-02 Akim Demaille <akim@epita.fr>
2026 * tests/regression.at (Invalid CPP headers): New.
2027 From Alexander Belopolsky.
2028 * src/files.c (compute_header_macro): Map non alnum chars to `_'.
2030 2001-10-02 Akim Demaille <akim@epita.fr>
2032 * tests/regression.at (Invalid input): New.
2033 * src/lex.c (lex): Be sure to set `token_buffer' in any case.
2036 2001-10-02 Akim Demaille <akim@epita.fr>
2038 * tests/calc.at: Now that --debug works, the tests must be adjusted.
2040 2001-10-02 Akim Demaille <akim@epita.fr>
2042 * src/output.c (output_parser): Assert `skeleton'.
2043 * src/files.c (skeleton_find): Look harder for skeletons on DOSish
2047 2001-10-01 Marc Autret <autret_m@epita.fr>
2049 * src/lex.h: Echo modifications.
2050 * src/lex.c (unlex): Parameter is now token_t.
2053 2001-10-01 Marc Autret <autret_m@epita.fr>
2055 * src/main.c: Include lex.h.
2058 2001-09-29 Akim Demaille <akim@epita.fr>
2060 * src/getargs.c (longopts): `--debug' is `-t', not `-d'.
2062 2001-09-28 Akim Demaille <akim@epita.fr>
2064 * tests/testsuite.at: Update to newer Autotest.
2065 * tests/Makefile.am (EXTRA_DIST): bison is not to be shipped.
2067 2001-09-27 Akim Demaille <akim@epita.fr>
2069 Position independent wrapper.
2071 * tests/bison: Remove.
2072 * tests/bison.in: New.
2073 * configure.in: Adjust.
2075 2001-09-27 Paul Eggert <eggert@twinsun.com>
2077 Port quotearg fixes from tar 1.13.24.
2079 * lib/quotearg.c: BSD/OS 4.1 wchar.h requires FILE and struct
2081 (HAVE_MBSINIT): Undef if !HAVE_MBRTOWC.
2082 (mbsinit): Define to 1 if !defined mbsinit && !HAVE_MBSINIT.
2084 * m4/Makefile.am (EXTRA_DIST): Add mbrtowc.m4.
2085 * m4/mbrtowc.m4: New file.
2086 * m4/prereq.m4 (jm_PREREQ_QUOTEARG): Check for mbsinit and stddef.h.
2087 Use jm_FUNC_MBRTOWC instead of AC_CHECK_FUNCS(mbrtowc).
2089 2001-09-27 Akim Demaille <akim@epita.fr>
2093 2001-09-27 Akim Demaille <akim@epita.fr>
2097 2001-09-25 Akim Demaille <akim@epita.fr>
2099 * src/system.h: Include `xalloc.h'.
2100 Remove it from the C files.
2101 * src/files.c (output_files): Free the obstacks.
2102 * src/lex.c (init_lex): Rename as...
2105 * src/main.c (main): Use it.
2107 2001-09-24 Marc Autret <autret_m@epita.fr>
2109 * src/vcg.c (open_edge, close_edge, open_node, close_node): Change
2110 to output informations in fout (FILE*).
2111 (open_graph, close_graph): Likewise.
2112 (output_graph, output_edge, output_node): Likewise.
2113 * src/vcg.h: Update function prototypes.
2114 * src/print_graph.c (print_graph): Open output graph file.
2115 (print_actions): Adjust.
2116 * src/files.h: Remove extern declaration.
2117 * src/files.c: Remove graph_obstack declaration.
2118 (open_files): Remove graph_obstack initialization.
2119 (output_files): Remove graph_obstack saving.
2121 2001-09-24 Marc Autret <autret_m@epita.fr>
2123 * src/files.c (compute_output_file_names): Fix.
2125 2001-09-24 Marc Autret <autret_m@epita.fr>,
2126 Akim Demaille <akim@epita.fr>
2128 * src/reader.c (reader): Remove call to free_symtab ().
2129 * src/main.c (main): Call it here.
2131 * src/conflicts.c (initialize_conflicts): Rename as...
2132 (solve_conflicts): this.
2133 * src/print.c (print_core, print_actions, print_state)
2134 (print_grammar): Dump to a file instead a `output_obstack'.
2135 (print_results): Dump `output_obstack', and then proceed with the
2137 * src/files.c (compute_output_file_names, close_files): New.
2138 (output_files): Adjust.
2139 * src/main.c (main): Adjust.
2141 2001-09-23 Marc Autret <autret_m@epita.fr>
2143 * src/files.c (compute_header_macro): Computes header macro name
2144 from spec_defines_file when given.
2146 2001-09-23 Marc Autret <autret_m@epita.fr>
2148 * src/files.c (output_files): Add default extensions.
2150 2001-09-22 Akim Demaille <akim@epita.fr>
2152 * src/conflicts.c (finalize_conflicts): Rename as...
2153 (free_conflicts): this.
2155 2001-09-22 Akim Demaille <akim@epita.fr>
2157 * src/gram.c (gram_free): Rename back as...
2159 (output_token_translations): Free `token_translations'.
2160 * src/symtab.c (free_symtab): Free the tag field.
2162 2001-09-22 Akim Demaille <akim@epita.fr>
2164 Remove `translations' as it is always set to true.
2166 * src/gram.h: Adjust.
2167 * src/reader.c (packsymbols, parse_token_decl): Adjust
2168 * src/print.c (print_grammar): Adjust.
2169 * src/output.c (output_token_translations): Adjust.
2170 * src/lex.c (lex): Adjust.
2171 * src/gram.c: Be sure the set pointers to NULL.
2172 (dummy): Rename as...
2175 2001-09-22 Akim Demaille <akim@epita.fr>
2177 * configure.in: Invoke AM_LIB_DMALLOC.
2178 * src/system.h: Use dmalloc.
2179 * src/LR0.c: Be sure to have pointers initialized to NULL.
2180 (allocate_itemsets): Allocate kernel_items only if needed.
2182 2001-09-22 Akim Demaille <akim@epita.fr>
2184 * configure.in: Bump to 1.29b.
2185 * tests/Makefile.am (DISTCLEANFILES): Add package.m4.
2186 * tests/calc.at (_AT_DATA_CALC_Y): #undef malloc so that we don't
2187 need xmalloc.c in calc.y.
2190 2001-09-21 Akim Demaille <akim@epita.fr>
2193 * Makefile.maint, config/config.guess, config/config.sub,
2194 * config/missing: Update from masters.
2195 * tests/Makefile.am ($(srcdir)/$(TESTSUITE)): No longer depend
2197 * configure.in (ALL_LINGUAS): Add `tr'.
2199 2001-09-21 Akim Demaille <akim@epita.fr>
2201 * tests/Makefile.am (package.m4): Move to...
2202 ($(srcdir)/$(TESTSUITE)): here.
2204 2001-09-20 Akim Demaille <akim@epita.fr>
2206 * src/complain.c: No longer try to be standalone: use system.h.
2207 Don't assume __STDC__ is defined to 1. Just test if it is defined.
2208 * src/complain.h: Likewise.
2209 * src/reduce.c (useless_nonterminals, inaccessable_symbols):
2210 Remove the unused variable `n'.
2211 From Albert Chin-A-Young.
2213 2001-09-18 Marc Autret <autret_m@epita.fr>
2215 * doc/bison.1: Update.
2216 * doc/bison.texinfo (Bison Options): Update --defines and --graph
2218 (Option Cross Key): Update.
2221 2001-09-18 Marc Autret <autret_m@epita.fr>
2223 * tests/regression.at: New test (comment in %union).
2225 2001-09-18 Marc Autret <autret_m@epita.fr>
2227 * src/reader.c (parse_union_decl): Do not output '/'. Let copy_comment
2229 Reported by Keith Browne.
2231 2001-09-18 Marc Autret <autret_m@epita.fr>
2233 * tests/output.at: Add tests for --defines and --graph.
2235 2001-09-18 Marc Autret <autret_m@epita.fr>
2237 * tests/output.at: Removes tests of %{header,src}_extension features.
2239 2001-09-18 Akim Demaille <akim@epita.fr>
2241 * tests/Makefile.am (package.m4): New.
2242 * tests/calc.at (_AT_CHECK_CALC): Just run `calc input'.
2243 (_AT_CHECK_CALC_ERROR): Likewise.
2244 Factor the `, ' part of verbose error messages.
2246 2001-09-18 Marc Autret <autret_m@epita.fr>
2248 * src/getargs.c (longopts): Declare --defines and --graph as options
2249 with optional arguments.
2250 * src/files.h: Add extern declarations.
2251 * src/files.c (spec_graph_file, spec_defines_file): New.
2252 (output_files): Update.
2253 Remove CPP-outed code.
2255 2001-09-18 Marc Autret <autret_m@epita.fr>
2257 Turn off %{source,header}_extension feature.
2259 * src/files.c (compute_exts_from_gf): Update.
2260 (compute_exts_from_src): Update.
2261 (output_files): CPP-out useless code.
2262 * src/files.h: Remove {header,source}_extension extern declarations.
2263 * src/reader.c (parse_dquoted_param): CPP-out.
2264 (parse_header_extension_decl): Remove.
2265 (parse_source_extension_decl): Remove.
2266 (read_declarations): Remove cases tok_{hdrext,srcext}.
2267 * src/lex.c (percent_table): Remove {header,source}_extension entries.
2268 * src/lex.h (token_t): Remove tok_hdrext and tok_srcext.
2270 2001-09-10 Akim Demaille <akim@epita.fr>
2272 * tests/output.at (AT_CHECK_BISON_FLAGS, AT_CHECK_BISON_PERCENT):
2273 (AT_CHECK_BISON_PERCENT_FLAGS): Merge into...
2274 (AT_CHECK_OUTPUT): this.
2275 Merely check ls' exit status, its output is useless.
2277 2001-09-10 Akim Demaille <akim@epita.fr>
2279 * tests/calc.at: Use m4_match.
2280 (_AT_DATA_CALC_Y): Check `yyin != NULL', not `stdin != NULL'.
2282 2001-09-10 Marc Autret <autret_m@epita.fr>,
2283 Akim Demaille <akim@epita.fr>
2285 * src/vcg.h (graph_s): color, textcolor, bordercolor are now
2287 * src/print_graph.c (print_graph): Initalize graph.layoutalgorithm
2289 * src/reader.c (parse_token_decl): Initialize token with tok_eof.
2290 * src/lex.h: Adjust prototype.
2291 (token_t): Add `tok_undef'.
2292 * src/lex.c (struct percent_table_struct): Retval is now a token_t.
2293 (parse_percent_token): Now returns token_t.
2294 Add default statement in switch.
2295 (lex): Separate `c' as an input variable, from the token_t result
2297 (unlexed): Is a token_t.
2299 2001-09-10 Akim Demaille <akim@epita.fr>
2301 * configure.in: Bump to 1.29a.
2303 2001-09-07 Akim Demaille <akim@epita.fr>
2307 2001-08-30 Akim Demaille <akim@epita.fr>
2309 * tests/atgeneral.m4, tests/atconfig.in, tests/suite.at: Remove.
2310 * m4/atconfig.m4: Remove.
2311 * tests/testsuite.at, tests/atlocal.in, tests/output.at,
2313 * tests/regression.at, tests/calc.at: Use m4_define, AT_BANNER,
2314 m4_if, m4_patsubst, and m4_regexp.
2315 * tests/calc.at (_AT_CHECK_CALC, _AT_CHECK_CALC_ERROR): Use an
2316 `input' file instead of echo.
2318 2001-08-29 Akim Demaille <akim@epita.fr>
2322 2001-08-29 Akim Demaille <akim@epita.fr>
2326 2001-08-29 Paul Eggert <eggert@twinsun.com>
2328 * src/bison.simple (yyparse): Don't take the address of an
2329 item before the start of an array, as that doesn't conform to
2332 2001-08-29 Robert Anisko <anisko_r@epita.fr>
2334 * doc/bison.texinfo (Location Tracking Calc): New node.
2336 2001-08-29 Paul Eggert <eggert@twinsun.com>
2338 * src/output.c (output): Do not define const, as this now
2339 causes more problems than it cures.
2341 2001-08-29 Akim Demaille <akim@epita.fr>
2343 * doc/bison.texinfo: Modernize `@node' and `@top' use: just name
2345 Be sure to tag the `detailmenu'.
2347 2001-08-29 Akim Demaille <akim@epita.fr>
2349 * Makefile.maint (do-po-update): Wget refuses to overwrite files:
2350 download in a tmp dir.
2352 2001-08-28 Marc Autret <autret_m@epita.fr>
2354 * config/depcomp: New file.
2356 2001-08-28 Marc Autret <autret_m@epita.fr>
2358 * doc/bison.1 (mandoc): Adjust.
2359 From Juan Manuel Guerrero.
2361 2001-08-28 Marc Autret <autret_m@epita.fr>
2363 * src/print_graph.c (print_state): Fix.
2365 2001-08-27 Marc Autret <autret_m@epita.fr>
2367 * src/vcg.h (classname_s, infoname_s, node_s): Constify the
2369 Echo modifications to the functions prototypes.
2370 * src/vcg.c (add_classname, add_infoname): Adjust arguments.
2372 2001-08-27 Marc Autret <autret_m@epita.fr>
2374 * src/vcg.c: Include `xalloc.h'.
2375 (add_colorentry): New.
2376 (add_classname): New.
2377 (add_infoname): New.
2378 * src/vcg.h: Add new prototypes.
2380 2001-08-27 Akim Demaille <akim@epita.fr>
2382 * Makefile.maint: Sync. again with CVS Autoconf.
2384 2001-08-27 Akim Demaille <akim@epita.fr>
2386 * Makefile.maint: Formatting changes.
2387 (po-update, cvs-update, update): New targets.
2390 2001-08-27 Akim Demaille <akim@epita.fr>
2392 * Makefile.am (AUTOMAKE_OPTIONS): 1.5.
2393 * Makefile.maint: Sync. with CVS Autoconf.
2395 2001-08-27 Marc Autret <autret_m@epita.fr>
2397 * src/vcg.h (struct infoname_s): New.
2398 (struct colorentry_s): New.
2399 (graph_s): New fields {vertical,horizontal}_order in structure.
2400 Add `infoname' field.
2401 Add `colorentry' field;
2402 * src/vcg_defaults.h (G_VERTICAL_ORDER): New.
2403 (G_HORIZONTAL_ORDER): New.
2405 (G_COLORENTRY): New.
2406 * src/vcg.c (output_graph): Add output of {vertical,horizontal}_order.
2407 Add output of `infoname'.
2408 Add output of `colorentry'.
2410 2001-08-27 Marc Autret <autret_m@epita.fr>
2412 * src/reader.c (parse_dquoted_param): Rename variable `index' to `i'.
2413 This one shadowed a global parameter.
2415 2001-08-24 Marc Autret <autret_m@epita.fr>
2417 * src/print_graph.c (node_output_size): Declared POSIX `size_t' type,
2418 instead of `unsigned'.
2419 (print_state): Do not call obstack_object_size () in obstack_grow ()
2420 to avoid macro variables shadowing.
2422 2001-08-23 Marc Autret <autret_m@epita.fr>
2424 * src/lex.c (percent_table): Typo: s/naem/name/.
2426 Normalize new options declarations.
2428 2001-08-20 Pascal Bart <pascal.bart@epita.fr>
2430 * tests/suite.at: Exercise %header_extension and %source_extension.
2432 2001-08-16 Marc Autret <autret_m@epita.fr>
2434 * src/reader.c (parse_dquoted_param): New.
2435 (parse_header_extension_decl): Use it.
2436 (parse_source_extension_decl): Likewise.
2438 2001-08-16 Marc Autret <autret_m@epita.fr>
2440 * src/vcg.c: Remove includes of `complain.h' and `xalloc.h'.
2441 (get_xxxx_str): Use assert () instead of complain ().
2442 Remove return invokations in default cases.
2443 (get_decision_str): Modify default behaviour. Remove second argument.
2444 Echo modifications on calls.
2445 (output_graph): Fix.
2447 2001-08-16 Marc Autret <autret_m@epita.fr>
2449 * src/getargs.c (usage): Update with ``-g, --graph''.
2451 2001-08-16 Marc Autret <autret_m@epita.fr>
2453 * doc/bison.texinfo (Bison Options): Add items `-g', `--graph'.
2454 (Option Cross Key): Likewise.
2455 * doc/bison.1: Update.
2457 2001-09-25 Pascal Bart <pascal.bart@epita.fr>
2459 * src/output.c (output_master_parser): Don't finish action_obstack.
2460 (output_parser): Don't care about the muscle action, here.
2461 (prepare): Copy the action_obstack in the action muscle.
2462 (output): Free action_obstack.
2464 2001-09-23 Pascal Bart <pascal.bart@epita.fr>
2466 * src/reader.c (parse_union_decl): Add new obstack union_obstack. Which
2467 will contain `%union' declaration.
2468 (parse_union_decl): Delete #line directive output.
2469 (parse_union_decl): Substitute /attrs_obstack/union_obstack for all
2470 informations about %union.
2471 (parse_union_decl): Copy the union_obstack in the muscle stype.
2472 * src/bison.simple: Add new #line directive.
2473 Add typdef %%stype YYSTYPE.
2475 2001-09-23 Pascal Bart <pascal.bart@epita.fr>
2477 * src/bison.simple: Add new `#line' directive.
2479 2001-09-22 Pascal Bart <pascal.bart@epita.fr>
2481 * src/bison.simple: New `#line' directive.
2482 * src/output.c (output_parser): Support new dynamic muscle input_line.
2484 2001-09-22 Marc Autret <autret_m@epita.fr>
2486 * src/output.c (output_master_parser): New.
2487 (output_parser): Be more re-entrant.
2489 2001-09-21 Marc Autret <autret_m@epita.fr>
2491 * src/reader.c (copy_definition, parse_union_decl): Update and use
2493 (copy_action): Likewise.
2494 Use obstack_1grow ().
2495 * src/muscle_tab.c (muscle_init): Add muscle `linef'.
2497 2001-09-21 Marc Autret <autret_m@epita.fr>
2499 * src/options.c (option_table): Adjust.
2500 * src/lex.c (parse_percent_token): Fix.
2502 2001-09-20 Pascal Bart <pascal.bart@epita.fr>
2504 * src/options.c (symtab.h): Include it, need by lex.h.
2506 2001-09-20 Pascal Bart <pascal.bart@epita.fr>
2508 * src/lex.c (parse_percent_token): Change type of variable `tx', which
2509 is now an option_table_struct*.
2510 (option_strcmp): New function option_strcmp.
2511 (parse_percent_token): Call option_strcmp.
2512 * src/getargs.c (xalloc.h, options.h): Include it.
2513 (getargs): Call create_long_option_table.
2514 (getargs): Free longopts at the end of the function.
2515 (shortopts): Move in options.c.
2516 * src/options.c (create_long_option_table): New function. Convert
2517 information from option_table to option structure.
2518 * src/reader.c (options.h): Include it.
2520 * src/Makefile.am: Adjust.
2521 * src/options.c (option_table): Create from longopts and percent_table.
2522 * src/getargs.c (longopts): Delete.
2523 * src/lex.c (struct percent_table_struct): Delete.
2524 (percent_table): Delete.
2525 (options.h): Include it.
2526 * src/options.c: Create.
2527 * src/options.h: Create.
2528 Declare enum opt_access_e.
2529 Define struct option_table_struct.
2531 2001-09-20 Marc Autret <autret_m@epita.fr>
2533 * doc/bison.texinfo: Adjust terminologies about prologue and epilogue
2536 2001-09-19 Pascal Bart <pascal.bart@epita.fr>
2538 * src/bison.simple: s/%%filename/%%skeleton.
2539 * src/muscle_tab.c (getargs.h): Include it.
2540 (muscle_init): Insert new muscle skeleton.
2542 2001-09-18 Pascal Bart <pascal.bart@epita.fr>
2544 * src/output.c (output_parser): Delete unused variable actions_dumped.
2546 2001-09-07 Pascal Bart <pascal.bart@epita.fr>
2548 * src/output.c (output): Delete call to reader_output_yylsp.
2549 * src/reader.c (reader): Likewise.
2550 * src/reader.h: Delete declaration of reader_output_yylsp.
2552 2001-09-02 Marc Autret <autret_m@epita.fr>
2554 * src/reader.c: Include muscle_tab.h.
2555 (parse_union_decl): Update.
2556 (parse_macro_decl): Rename parse_muscle_decl.
2557 Update to use renamed functions and variable.
2558 (read_declarations, copy_action, read_additionnal_code, : Updated
2559 with correct variables and functions names.
2560 (packsymbols, reader): Likewise.
2562 * src/reader.h (muscle_obstack): Extern declaration update.
2564 * src/output.c: Include muscle_tab.h
2565 In all functions using macro_insert, change by using muscle_insert ().
2566 (macro_obstack): Rename muscle_obstack.
2567 Echo modifications in the whole file.
2568 (MACRO_INSERT_INT): Rename MUSCLE_INSERT_INT.
2569 (MACRO_INSERT_STRING): Rename MUSCLE_INSERT_STRING.
2570 (MACRO_INSERT_PREFIX): Rename MUSCLE_INSERT_PREFIX.
2572 * src/muscle_tab.h: Update double inclusion macros.
2573 (macro_entry_s): Rename muscle_entry_s.
2576 * src/muscle_tab.c: Include muscle_tab.h.
2577 Rename macro_tabble to muscle_table.
2578 (mhash1, mhash2, mcmp): Use muscle_entry.
2579 (macro_init): Rename muscle_init. Update.
2580 (macro_insert): Rename muscle_insert. Update.
2581 (macro_find): Rename muscle_find. Update.
2583 * src/main.c: Include muscle_tab.h.
2584 (main): Call muscle_init ().
2585 * src/Makefile.am (bison_SOURCES): Echo modifications.
2587 2001-09-02 Marc Autret <autret_m@epita.fr>
2589 Now the files macro_tab.[ch] are named muscle_tab.[ch].
2591 * src/muscle_tab.c, src/muscle_tab.h: Add files.
2593 2001-09-02 Marc Autret <autret_m@epita.fr>
2595 * src/macrotab.c, src/macrotab.h: Remove.
2597 2001-09-01 Pascal Bart <pascal.bart@epita.fr>
2599 * src/reader.c (copy_guard): Use muscle to specify the `#line'
2602 2001-09-01 Marc Autret <autret_m@epita.fr>
2604 * tests/calc.at (exp): Now, YYERROR_VERBOSE need to be set
2605 to an explicit value to activate the feature. We do it here.
2607 2001-08-31 Pascal Bart <pascal.bart@epita.fr>
2609 * src/output.c (prepare): Delete the `filename' muscule insertion.
2610 * src/reader.c (copy_action): Use `filename' muscule with `#line'.
2611 (parse_union_decl): Likewise.
2612 * src/macrotab.c (macro_init): Initialize filename by infile.
2614 2001-08-31 Marc Autret <autret_m@epita.fr>
2616 * src/bison.simple (YYLSP_NEEDED): New definition.
2617 * src/output.c (prepare): Add macro insertion of `locations_flag'
2619 2001-08-31 Pascal Bart <pascal.bart@epita.fr>
2621 * src/output.c (prepare): Delete insertion of previous muscles,
2622 and insert the `prefix' muscles.
2623 * src/macrotab.c (macro_init): Likewise.
2624 (macro_init): Initialization prefix directive by `yy'.
2625 * src/bison.simple: Substitute all %%yylex, %%yychar, %%yylval,
2626 %%yydebug, %%yyerror, %%yynerrs and %%yyparse by yylex, yychar,
2627 yylval, yydebug, yyerror, yynerrs and yyparse.
2628 New directive `#define' to substitute yydebug, ... with option
2631 2001-08-31 Pascal Bart <pascal.bart@epita.fr>
2633 * src/main.c (main): Standardize.
2634 * src/output.c (output_table_data, output_parser): Likewise.
2635 * src/macrotab.h, src/macrotab.c, src/bison.simple: Likewise.
2637 2001-08-31 Pascal Bart <pascal.bart@epita.fr>, Marc Autret <autret_m@epita.fr>
2639 * src/reader.c (read_additionnal_code): Rename %%user_code to
2641 * src/output.c (output): Rename %%declarations to %%prologue.
2642 * src/bison.simple: Echo modifications.
2644 2001-08-31 Marc Autret <autret_m@epita.fr>
2646 * src/reader.c (readgram): CleanUp.
2647 (output_token_defines): Likewise.
2648 (packsymbols): Likewise.
2650 * src/output.c (output): CPP-out useless code.
2652 2001-08-31 Pascal Bart <pascal.bart@epita.fr>
2654 * src/reader.c (reader): Delete obsolete call to function
2655 output_trailers and output_headers.
2656 * src/output.h: Remove obsolete functions prototypes of output_headers
2657 and output_trailers.
2659 2001-08-30 Pascal Bart <pascal.bart@epita.fr>
2661 * src/main.c: Include macrotab.h.
2662 * src/macrotab.h (macro_entry_s): Constify fields.
2663 Adjust functions prototypes.
2664 * src/macrotab.c (macro_insert): Constify key and value.
2665 (macro_find): Constify key.
2666 (macro_insert): Include 'xalloc.h'
2667 (macro_insert): Use XMALLOC.
2668 (macro_find): Constify return value.
2669 * src/output.c (output_table_data): Rename table to table_data.
2670 (output_parser): Constify macro_key, macro_value.
2672 2001-08-30 Marc Autret <autret_m@epita.fr>
2674 * src/reader.c (parse_skel_decl): New.
2675 (read_declarations): Add case `tok_skel', call parse_skel_decl ().
2676 * src/lex.h (token_t): New token `tok_skel'.
2677 * src/lex.c (percent_table): Add skeleton option entry.
2680 2001-08-29 Marc Autret <autret_m@epita.fr>
2682 * src/bison.simple: Add %%user_code directive at the end.
2683 * src/reader.c (read_additionnal_code): New.
2685 * src/output.c (output_program): Remove.
2688 2001-08-28 Marc Autret <autret_m@epita.fr>
2690 * src/output.c (output_actions): Clean up.
2691 (output_gram): CPP-out useless code.
2692 * src/reader.c (reader): Clean up, CPP-out useless code.
2694 2001-08-28 Pascal Bart <pascal.bart@epita.fr>
2696 * src/output.c (output): Copy attrs_obstack in the '%%definitions'
2698 * src/bison.simple: Add `%%definitions'.
2700 2001-08-28 Marc Autret <autret_m@epita.fr>
2702 * config/depcomp: New file.
2704 2001-08-27 Paul Eggert <eggert@twinsun.com>
2706 * src/bison.simple (yyparse): Don't take the address of an
2707 item before the start of an array, as that doesn't conform to
2710 2001-08-27 Robert Anisko <robert.anisko@epita.fr>
2712 * src/output.c (output): Remove the initialization of the macro
2713 obstack. It was done too late here.
2715 * src/reader.c (parse_macro_decl): Fix. Use of the macro obstack was
2717 (reader): Initialize the macro obstack here, since we need it to grow
2718 '%define' directives.
2720 * src/reader.h: Declare the macro obstack as extern.
2722 2001-08-27 Robert Anisko <robert.anisko@epita.fr>
2724 * src/output.c (output_parser): Fix. Store single '%' characters in
2725 the output obstack instead of throwing them away.
2727 2001-08-27 Akim Demaille <akim@epita.fr>
2729 * Makefile.am (AUTOMAKE_OPTIONS): 1.5.
2731 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2733 * lib/Makefile.am: Adjust.
2735 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2737 * src/bison.simple: Update and add '%%' directives.
2739 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2741 * src/reader.c (reader): Remove calls to 'output_headers' and
2742 'output_trailers'. Remove some C output.
2743 (readgram): Disable a piece of code that was writing a default
2744 definition for 'YYSTYPE'.
2745 (reader_output_yylsp): Remove.
2746 (packsymbols): Output token defintions to a macro.
2747 (copy_definition): Disable C output.
2749 * src/reader.c (parse_macro_decl): New function used to parse macro
2751 (copy_string2): Put the body of copy_string into this new function.
2752 Add a parameter to let the caller choose whether he wants to copy the
2753 string delimiters or not.
2754 (copy_string): Be a simple call to copy_string2 with the last argument
2756 (read_declarations): Add case for macro definition.
2757 (copy_identifier): New.
2758 (parse_macro_decl): Read macro identifiers using copy_identifier
2761 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2763 * src/output.c (prepare): Add prefixed names.
2764 (output_parser): Output semantic actions.
2765 (output_parser): Fix bug on '%%line' directives.
2767 * src/output.c (output_headers): Remove. The C code printed by this
2768 function should now be in the skeletons.
2769 (output_trailers): Remove.
2770 (output): Disable call to 'reader_output_yylsp'.
2771 (output_rule_data): Do not output tables to the table obstack.
2773 * src/output.c: Remove some C dedicated output.
2774 Improve the use of macro and output obstacks.
2775 (output_defines): Remove.
2777 * src/output.c (output_token_translations): Associate 'translate'
2778 table with a macro. No output to the table obstack.
2779 (output_gram): Same for 'rhs' and 'prhs'.
2780 (output_stos): Same for 'stos'.
2781 (output_rule_data): Same for 'r1' and 'r2'.
2782 (token_actions): Same for 'defact'.
2783 (goto_actions): Same for 'defgoto'.
2784 (output_base): Same for 'pact' and 'pgoto'.
2785 (output_table): Same for 'table'.
2786 (output_check): Same for 'check'.
2788 * src/output.c (output_table_data): New function.
2789 (output_short_table): Remove.
2790 (output_short_or_char_table): Remove.
2792 * src/output.c (output_parser): Replace most of the skeleton copy code
2793 with something new. Skeletons are now processed character by character
2794 rather than line by line, and Bison looks for '%%' macros. This is the
2795 first step in making Bison's output process (a lot) more flexible.
2796 (output_parser): Use the macro table.
2798 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2800 * src/main.c (main): Initialize the macro table.
2802 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2804 * src/lex.c (percent_table): Add tok_define.
2805 * src/lex.h: Add tok_define.
2807 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2809 * src/macrotab.c: New file.
2810 * src/macrotab.h: New file.
2811 * src/Makefile.am: Update.
2813 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2815 * lib/hash.c: New file.
2816 * lib/hash.h: New file.
2817 * lib/Makefile.am: Update.
2819 2001-08-15 Akim Demaille <akim@epita.fr>
2823 2001-08-15 Marc Autret <autret_m@epita.fr>
2825 * src/reader.c (readgram): Indent output macro YYSTYPE.
2826 (packsymbols): Likewise.
2827 (output_token_defines): Likewise.
2828 * src/files.c: Standardize.
2829 (compute_header_macro): New.
2830 (defines_obstack_save): New. Use compute_header_macro.
2831 (output_files): Update. Use defines_obstack_save.
2833 2001-08-15 Akim Demaille <akim@epita.fr>
2835 * doc/bison.texinfo (Table of Symbols): Document
2838 2001-08-15 Akim Demaille <akim@epita.fr>
2840 * missing: Update from CVS Automake.
2841 * config/config.guess, config/config.sub, config/texinfo.tex:
2842 Update from gnu.org.
2844 2001-08-15 Akim Demaille <akim@epita.fr>
2846 * Makefile.maint: Sync with CVS Autoconf.
2848 2001-08-14 Pascal Bart <pascal.bart@epita.fr>
2850 * doc/bison.texinfo: Include GNU Free Documentation License from
2852 * doc/fdl.texi: Add to package.
2854 2001-08-14 Marc Autret <autret_m@epita.fr>
2856 Turn on %{source,header}_extension features.
2858 * src/lex.c (percent_table): Un-CPP out header_extension and
2860 * src/files.c (compute_exts_from_gf): Compare pointers with NULL.
2861 (compute_exts_from_src): Remove conditions. It restores priorities
2864 2001-08-14 Marc Autret <autret_m@epita.fr>
2866 * src/files.c (compute_base_names): Add extensions computing when
2867 `--file-prefix' used.
2868 Standardize function calls.
2870 2001-08-13 Marc Autret <autret_m@epita.fr>
2872 * src/bison.simple (YYSTACK_USE_ALLOCA): Changed to allow users
2873 defining it (defined but null disables alloca).
2875 2001-08-13 Marc Autret <autret_m@epita.fr>
2877 * src/bison.simple (_yy_memcpy): CPP reformat.
2879 2001-08-13 Pascal Bart <pascal.bart@epita.fr>
2881 * tests/atconfig.in (CPPFLAGS): Fix.
2883 2001-08-10 Pascal Bart <pascal.bart@epita.fr>
2885 * doc/bison.texinfo: Include GNU General Public License from
2887 * doc/gpl.texi: Add to package.
2889 2001-08-10 Marc Autret <autret_m@epita.fr>
2891 * src/print_graph.h: Fix.
2892 * src/reader.c (read_declarations): Use parse_header_extension_decl ().
2894 2001-08-10 Akim Demaille <akim@epita.fr>
2896 * src/system.h: Provide default declarations for stpcpy, strndup,
2899 2001-08-10 Robert Anisko <anisko_r@epita.fr>
2901 * doc/bison.texinfo (Locations): Update @$ stuff.
2903 2001-08-09 Robert Anisko <anisko_r@epita.fr>
2905 * src/bison.simple (YYLLOC_DEFAULT): Update.
2908 2001-08-08 Marc Autret <autret_m@epita.fr>
2910 * doc/bison.texinfo: Change @samp{$<@dots{}>} to
2911 @samp{$<@dots{}>@var{n}} in Section Actions in Mid-Rule.
2912 Reported by Fabrice Bauzac.
2914 2001-08-08 Marc Autret <autret_m@epita.fr>
2916 * src/vcg_default.h: Use NULL instead of 0 to initialize pointers.
2917 * src/vcg.c (output_node): Fix.
2918 * src/vcg.h: Cleanup.
2919 * src/print_graph.c: Add comments.
2920 (node_output_size): New global variable. Simplify the formatting of
2921 the VCG graph output.
2922 (print_actions): Unused code is now used. It notifies the final state
2923 and no action states in the VCG graph. It also give the reduce actions.
2924 The `shift and goto' edges are red and the `go to state' edges are
2926 Get the current node name and node_obstack by argument.
2927 (node_obstack): New variable.
2928 (print_state): Manage node_obstack.
2929 (print_core): Use node_obstack given by argument.
2930 A node is not only computed here but in print_actions also.
2931 (print_graph): CPP out useless code instead of commenting it.
2933 2001-08-07 Pascal Bart <pascal.bart@epita.fr>
2935 * tests/atconfig.in (CPPFLAGS): Fix.
2937 2001-08-07 Akim Demaille <akim@epita.fr>
2939 * src/print_graph.c (quote): New.
2940 (print_core): Use it.
2942 2001-08-06 Akim Demaille <akim@epita.fr>, Marc Autret <autret_m@epita.fr>
2944 * src/vcg.c (complain.h): Include it.
2945 Unepitaize `return' invocations.
2946 [NDEBUG] (main): Remove.
2947 * src/vcg.h (node_t, edge_t, graph_t): Constify the char * members.
2948 * src/files.c (open_files): Initialize graph_obstack.
2949 * src/print_graph.c (print_actions): CPP out useless code.
2950 (print_core): Don't output the last `\n' in labels.
2952 * src/files.c (output_files): Output the VCG file.
2953 * src/main.c (main): Invoke print_graph ();
2955 2001-08-06 Marc Autret <autret_m@epita.fr>
2957 Automaton VCG graph output.
2958 Using option ``-g'' or long option ``--graph'', you can generate
2959 a gram_filename.vcg file containing a VCG description of the LALR (1)
2960 automaton of your grammar.
2962 * src/main.c: Call to print_graph() function.
2963 * src/getargs.h: Update.
2964 * src/getargs.c (options): Update to catch `-g' and `--graph' options.
2965 (graph_flag): New flag.
2967 (getargs): Add case `g'.
2968 * src/files.c (graph_obstack): New obstack struct.
2969 (open_files): Initialize new obstack.
2970 (output_files): Saves graph_obstack if required.
2971 * src/files.h (graph_obstack): New extern declaration.
2972 * src/Makefile.am: Add new source files.
2974 2001-08-06 Marc Autret <autret_m@epita.fr>
2976 * src/print_graph.c, src/print_graph.h (graph): New.
2977 * src/vcg.h: New file.
2978 * src/vcg.c: New file, VCG graph handling.
2980 2001-08-06 Marc Autret <autret_m@epita.fr>
2982 Add of %source_extension and %header_extension which specify
2983 the source or/and the header output file extension.
2985 * src/files.c (compute_base_names): Remove initialisation of
2986 src_extension and header_extension.
2987 (compute_exts_from_gf): Update.
2988 (compute_exts_from_src): Update.
2989 (output_files): Update.
2990 * src/reader.c (parse_header_extension_decl): New.
2991 (parse_source_extension_decl): New.
2992 (read_declarations): New case statements for the new tokens.
2993 * src/lex.c (percent_table): Add entries for %source_extension
2994 and %header_extension.
2995 * src/lex.h (token_e): New tokens tok_hdrext and tok_srcext.
2997 2001-08-06 Marc Autret <autret_m@epita.fr>
2999 * configure.in: Bump to 1.28c.
3000 * doc/bison.texinfo: Texinfo thingies.
3002 2001-08-04 Pascal Bart <pascal.bart@epita.fr>
3004 * tests/atconfig.in (CPPFLAGS): Add.
3005 * tests/calc.at (AT_CHECK): Use CPPFLAGS.
3007 2001-08-03 Akim Demaille <akim@epita.fr>
3011 2001-08-03 Akim Demaille <akim@epita.fr>
3013 * tests/Makefile.am (check-local): Ship testsuite.
3014 * tests/calc.at (_AT_DATA_CALC_Y): Prototype all the functions.
3017 2001-08-03 Akim Demaille <akim@epita.fr>
3019 * configure.in: Try using -Wformat when compiling.
3021 2001-08-03 Akim Demaille <akim@epita.fr>
3023 * configure.in: Bump to 1.28b.
3025 2001-08-03 Akim Demaille <akim@epita.fr>
3027 * src/complain.c: Adjust strerror_r portability issues.
3029 2001-08-03 Akim Demaille <akim@epita.fr>
3033 2001-08-03 Akim Demaille <akim@epita.fr>
3035 * src/getargs.c, src/getarg.h (skeleton)): Constify.
3036 * src/lex.c (literalchar): Avoid name clashes on `buf'.
3037 * src/getargs.c: Include complain.h.
3038 * src/files.c, src/files.h (skeleton_find): Avoid name clashes.
3039 * lib/quotearg.c, lib/quotearg.h: Update from fileutils 4.1.
3041 2001-08-03 Akim Demaille <akim@epita.fr>
3043 * src/reader.c (readgram): Display hidden chars in error messages.
3045 2001-08-03 Akim Demaille <akim@epita.fr>
3047 Update to gettext 0.10.39.
3049 2001-08-03 Akim Demaille <akim@epita.fr>
3051 * lib/strspn.c: New.
3053 2001-08-01 Marc Autret <autret_m@epita.fr>
3055 * doc/bison.texinfo: Update.
3056 * doc/bison.1 (mandoc): Update.
3057 * src/system.h (EXT_GUARD_C, EXT_STYPE_H): Remove .c and .h.
3058 * src/files.c: Support output files extensions computing.
3059 (src_extension): New static variable.
3060 (header_extension): New static variable.
3062 (get_extension_index): New function, gets the index of an extension
3063 filename in a string.
3064 (compute_exts_from_gf): New function, computes extensions from the
3065 grammar file extension.
3066 (compute_exts_from_src): New functions, computes extensions from the
3067 C source file extension, file given by ``-o'' option.
3068 (compute_base_names): Update.
3069 (output_files): Update.
3071 2001-08-01 Robert Anisko <anisko_r@epita.fr>
3073 * doc/bison.texi: Document @$.
3074 (Locations): New section.
3076 2001-07-18 Akim Demaille <akim@epita.fr>
3078 * Makefile.maint, GNUmakefile: New, from Autoconf 2.52.
3079 * config/prev-version.txt, config/move-if-change: New.
3080 * Makefile.am: Adjust.
3082 2001-07-08 Pascal Bart <pascal.bart@epita.fr>
3084 * src/bison.simple (yyparse): Suppress warning `comparaison
3085 between signed and unsigned'.
3087 2001-07-05 Pascal Bart <pascal.bart@epita.fr>
3089 * src/getargs.h (raw_flag): Remove.
3090 * src/getargs.c: Die on `-r'/`--raw'.
3091 * src/lex.c (parse_percent_token): Die on `%raw'.
3092 * src/reader.c (output_token_defines): Suppress call to `raw_flag'.
3093 * tests/calc.at: Suppress test with option `--raw'.
3095 2001-07-14 Akim Demaille <akim@epita.fr>
3098 * configure.in: Require Autoconf 2.50.
3099 Update to gettext 0.10.38.
3101 2001-03-16 Akim Demaille <akim@epita.fr>
3103 * doc/bison.texinfo: ANSIfy the examples.
3105 2001-03-16 Akim Demaille <akim@epita.fr>
3107 * getargs.c (skeleton): New variable.
3108 (longopts): --skeleton is a new option.
3109 (shortopts, getargs): -S is a new option.
3110 * getargs.h: Declare skeleton.
3111 * output.c (output_parser): Use it.
3113 2001-03-16 Akim Demaille <akim@epita.fr>
3115 * m4/strerror_r.m4: New.
3116 * m4/error.m4: Run AC_FUNC_STRERROR_R.
3117 * lib/error.h, lib/error.c: Update.
3119 2001-03-16 Akim Demaille <akim@epita.fr>
3121 * src/getargs.c (longopts): Clean up.
3123 2001-02-21 Akim Demaille <akim@epita.fr>
3125 * src/reader.c (gensym): `gensym_count' is your own.
3126 Use a static buf to create the symbol name, as token_buffer is no
3129 2001-02-08 Akim Demaille <akim@epita.fr>
3131 * src/conflicts.c (conflict_report): Be sure not to append to res
3132 between two calls, which could happen if both first sprintf were
3133 skipped, but not the first cp += strlen.
3135 2001-02-08 Akim Demaille <akim@epita.fr>
3137 * lib/memchr.c, lib/stpcpy.c, lib/strndup.c, lib/strnlen.c:
3138 New, from fileutils 4.0.37.
3139 * configure.in: Require Autoconf 2.49c. I took some time before
3140 making this decision. This is the only way out for portability
3141 issues in Bison, it would mean way too much duplicate effort to
3142 import in Bison features implemented in 2.49c since 2.13.
3143 AC_REPLACE_FUNCS and AC_CHECK_DECLS the functions above.
3145 2001-02-02 Akim Demaille <akim@epita.fr>
3147 * lib/malloc.c, lib/realloc.c: New, from the fileutils 4.0.37.
3148 * lib/xalloc.h, lib/xmalloc.c: Update.
3150 2001-01-19 Akim Demaille <akim@epita.fr>
3152 Get rid of the ad hoc handling of token_buffer in the scanner: use
3155 * src/lex.c (token_obstack): New.
3156 (init_lex): Initialize it. No longer call...
3157 (grow_token_buffer): this. Remove it.
3158 Adjust all the places which used it to use the obstack.
3160 2001-01-19 Akim Demaille <akim@epita.fr>
3162 * src/lex.h: Rename all the tokens:
3163 s/\bENDFILE\b/tok_eof/g;
3164 s/\bIDENTIFIER\b/tok_identifier/g;
3166 Let them be enums, not #define, to ease debugging.
3167 Adjust all the code.
3169 2001-01-18 Akim Demaille <akim@epita.fr>
3171 * src/lex.h (MAXTOKEN, maxtoken, grow_token_buffer): Remove, private.
3172 * src/lex.c (maxtoken, grow_token_buffer): Static.
3174 2001-01-18 Akim Demaille <akim@epita.fr>
3176 Since we now use obstacks, more % directives can be enabled.
3178 * src/lex.c (percent_table): Also accept `%yacc',
3179 `%fixed_output_files', `%defines', `%no_parser', `%verbose', and
3181 Handle the actions for `%semantic_parser' and `%pure_parser' here,
3182 instead of returning a token.
3183 * src/lex.h (SEMANTIC_PARSER, PURE_PARSER): Remove, unused.
3184 * src/reader.c (read_declarations): Adjust.
3185 * src/files.c (open_files): Don't call `compute_base_names', don't
3186 compute `attrsfile' since they depend upon data which might be
3187 *in* the input file now.
3188 (output_files): Do it here.
3189 * src/output.c (output_headers): Document the fact that this patch
3190 introduces a guaranteed SEGV for semantic parsers.
3191 * doc/bison.texinfo: Document them.
3192 * tests/suite.at: Exercise these %options.
3194 2000-12-20 Akim Demaille <akim@epita.fr>
3196 Also handle the output file (--verbose) with obstacks.
3198 * files.c (foutput): Remove.
3199 (output_obstack): New.
3200 Adjust all dependencies.
3201 * src/conflicts.c: Return a string.
3202 * src/system.h (obstack_grow_string): Rename as...
3203 (obstack_sgrow): this. Be ready to work with non literals.
3204 (obstack_fgrow4): New.
3206 2000-12-20 Akim Demaille <akim@epita.fr>
3208 * src/files.c (open_files): Fix the computation of short_base_name
3209 in the case of `-o foo.tab.c'.
3211 2000-12-20 Akim Demaille <akim@epita.fr>
3213 * src/reader.c (copy_string, copy_comment, copy_comment2, copy_at)
3214 (copy_dollar): Now that everything uses obstacks, get rid of the
3217 2000-12-20 Akim Demaille <akim@epita.fr>
3219 * src/files.c (open_files): Actually the `.output' file is based
3220 on the short_base_name, not base_name.
3221 * tests/suite.at (Checking output file names): Adjust.
3223 2000-12-20 Akim Demaille <akim@epita.fr>
3225 * src/bison.s1: Remove, we now use directly...
3226 * src/bison.simple: this.
3227 * src/Makefile.am: Use pkgdata instead of data.
3229 2000-12-20 Akim Demaille <akim@epita.fr>
3231 * src/files.c (guard_obstack): New.
3232 (open_files): Initialize it.
3233 (output_files): Dump it...
3234 * src/files.h: Export it.
3235 * src/reader.c (copy_guard): Use it.
3237 2000-12-19 Akim Demaille <akim@epita.fr>
3239 * src/files.c (outfile, defsfile, actfile): Removed as global
3241 (open_files): Don't compute them.
3242 (output_files): Adjust.
3243 (base_name, short_base_name): Be global.
3244 Adjust dependencies.
3246 2000-12-19 Akim Demaille <akim@epita.fr>
3248 * src/files.c (strsuffix): New.
3249 (stringappend): Be just like strcat but allocate.
3250 (base_names): Eve out from open_files.
3251 Try to simplify the rather hairy computation of base_name and
3253 (open_files): Use it.
3254 * tests/suite.at (Checking output file names): New test.
3256 2000-12-19 Akim Demaille <akim@epita.fr>
3258 * src/system.h (obstack_grow_literal_string): Rename as...
3259 (obstack_grow_string): this.
3260 * src/output.c (output_parser): Recognize `%% actions' instead of
3262 * src/bison.s1: s/$/%% actions/.
3263 * src/bison.hairy: Likewise.
3265 2000-12-19 Akim Demaille <akim@epita.fr>
3267 * src/output.c (output_parser): Compute the `#line' lines when
3269 * src/Makefile.am (bison.simple): Be a simple copy of bison.s1.
3270 Suggested by Hans Aberg.
3272 2000-12-19 Akim Demaille <akim@epita.fr>
3274 Let the handling of the skeleton files be local to the procedures
3277 * src/files.c (xfopen, xfclose, skeleton_find, guardfile): No
3279 (fparser, open_extra_files): Remove.
3280 (open_files, output_files): Don't take care of fparser.
3281 * src/files.h: Adjust.
3282 * src/output.c (output_parser): Open and close the file to the
3284 * src/reader.c (read_declarations): When %semantic_parser, open
3287 2000-12-19 Akim Demaille <akim@epita.fr>
3289 * src/file.h (BISON_SIMPLE, BISON_HAIRY): Move from here...
3290 * src/system.h (BISON_SIMPLE, BISON_HAIRY): ... to here.
3292 2000-12-19 Akim Demaille <akim@epita.fr>
3294 * src/files.c (open_files): Yipee! We no longer need all the code
3295 looking for `/tmp' since we have no tmp file.
3297 2000-12-19 Akim Demaille <akim@epita.fr>
3299 * src/system.h (EXT_TAB, EXT_OUTPUT, EXT_STYPE_H, EXT_GUARD_C):
3301 * src/files.c (open_files): Less dependency on MSDOS etc.
3303 2000-12-14 Akim Demaille <akim@epita.fr>
3305 * src/bison.s1 (YYLLOC_DEFAULT): New macro.
3306 Provide a default definition.
3307 Use it when executing the default @ action.
3308 * src/reader.c (reader_output_yylsp): No longer include
3309 `timestamp' and `text' in the default YYLTYPE.
3311 2000-12-12 Akim Demaille <akim@epita.fr>
3313 * src/reader.c (copy_definition, parse_union_decl, copy_action)
3314 (copy_guard): Quote the file names.
3315 Reported by Laurent Mascherpa.
3317 2000-12-12 Akim Demaille <akim@epita.fr>
3319 * src/output.c (output_headers, output_program, output): Be sure
3320 to escape special characters when outputting filenames.
3321 (ACTSTR_PROLOGUE, ACTSTR_EPILOGUE): Remove.
3322 (output_headers): Don't depend on them, Use ACTSTR.
3324 2000-11-17 Akim Demaille <akim@epita.fr>
3326 * lib/obstack.h: Formatting changes.
3327 (obstack_grow, obstack_grow0): Don't cast WHERE at all: it
3328 prevents type checking.
3329 (obstack_ptr_grow, obstack_ptr_grow_fast): When assigning, don't
3330 cast the value to (void *): assigning a `foo *' to a `void *'
3332 (obstack_int_grow, obstack_int_grow_fast): Don't cast AINT to int.
3333 * src/reader.c (parse_union_decl): Typo: use obstack_1grow to
3336 2000-11-17 Akim Demaille <akim@epita.fr>
3338 * tests/Makefile.am (suite.m4, regression.m4, calc.m4): Rename
3340 (suite.m4, regression.m4, calc.m4): these.
3341 * tests/atgeneral.m4: Update from CVS Autoconf.
3343 2000-11-17 Akim Demaille <akim@epita.fr>
3345 * tests/regression.m4 (%union and --defines): New test,
3346 demonstrating a current bug in the obstack implementation.
3348 2000-11-17 Akim Demaille <akim@epita.fr>
3350 * src/bison.s1 (_YY_DECL_VARIABLES, YY_DECL_VARIABLES): New
3352 Use them to declare the variables which are global or local to
3355 2000-11-17 Akim Demaille <akim@epita.fr>
3357 * acconfig.h: Remove, no longer used.
3359 2000-11-07 Akim Demaille <akim@epita.fr>
3361 * src: s/Copyright (C)/Copyright/g.
3363 2000-11-07 Akim Demaille <akim@epita.fr>
3365 * src/reader.c (reader): #define YYLSP_NEEDED to 1 instead of just
3367 * src/bison.s1: s/#ifdef YYLSP_NEEDED/#if YYLSP_NEEDED/.
3369 2000-11-07 Akim Demaille <akim@epita.fr>
3371 * src/bison.s1 (YYLEX): Use #if instead of #ifdef.
3372 Merge in a single CPP if/else.
3374 2000-11-07 Akim Demaille <akim@epita.fr>
3376 * src/output.c (output): Remove useless variables.
3377 * lib/obstack.c (obstack_grow, obstack_grow0): Rename the second
3378 argument `data' for consistency with the prototypes.
3380 (obstack_copy, obstack_copy0): Rename the second argument as
3381 `address' for consistency. Qualify it `const'.
3382 * lib/obstack.h (obstack_copy, obstack_copy0, obstack_grow)
3383 (obstack_grow0, obstack_ptr_grow, obstack_ptr_grow_fast): Qualify
3384 `const' their input argument (`data' or `address').
3385 Adjust the corresponding macros to include `const' in casts.
3387 2000-11-03 Akim Demaille <akim@epita.fr>
3389 * src/Makefile.am (INCLUDES): s/PFILE/BISON_SIMPLE/.
3390 s/PFILE1/BISON_HAIRY/.
3391 Adjust dependencies.
3393 2000-11-03 Akim Demaille <akim@epita.fr>
3395 For some reason, this was not applied.
3397 * src/files.c [VMS]: No longer include `ssdef.h', no longer define
3398 `unlink': it's no longer used.
3400 2000-11-03 Akim Demaille <akim@epita.fr>
3402 * src/files.c (skeleton_find): New function, eved out of...
3403 (open_files, open_extra_files): here.
3405 2000-11-03 Akim Demaille <akim@epita.fr>
3409 * src/files.c (obstack_save): New function.
3410 (done): Rename as...
3411 (output_files): this.
3413 * src/main.c (main): Don't use `atexit' to register `done', since
3414 it no longer has to remove tmp files, just call `output_files'
3415 when there are no errors.
3417 2000-11-02 Akim Demaille <akim@epita.fr>
3419 * src/files.c [VMS]: No longer include `ssdef.h', no longer define
3420 `unlink': it's no longer used.
3421 * src/files.h: Formatting changes.
3423 2000-11-02 Akim Demaille <akim@epita.fr>
3425 Remove the last uses of mktemp and unlink/delete.
3427 * src/files.c (fdefines, ftable): Removed.
3428 (defines_ostack, table_obstack): New.
3429 Adjust dependencies of the former into uses of the latter.
3430 * src/output.c (output_short_or_char_table, output_short_table):
3431 Convert to using obstacks.
3432 * src/reader.c (copy_comment2): Accept one FILE * and two
3434 (output_token_defines, reader_output_yylsp): Use obstacks.
3435 * src/system.h (obstack_fgrow3): New.
3437 2000-11-01 Akim Demaille <akim@epita.fr>
3439 Change each use of `fattrs' into a use of `attrs_obstack'.
3441 * src/reader.c (copy_at): Typo: s/yylloc/yyloc/.
3442 * src/files.c (fattrs): Remove.
3443 (attrs_obstack): New.
3444 Adjust all dependencies.
3445 (done): If SEMANTIC_PARSER, dump attrs_obstack into attrsfile.
3447 2000-11-01 Akim Demaille <akim@epita.fr>
3450 Change each use of `faction' into a use of `action_obstack'.
3452 * lib/obstack.h, lib/obstack.c: New files.
3453 * src/files.c (faction): Remove.
3454 (action_obstack): New.
3455 Adjust all dependencies.
3457 2000-10-20 Akim Demaille <akim@epita.fr>
3459 * lib/quote.h (PARAMS): New macro. Use it.
3461 2000-10-16 Akim Demaille <akim@epita.fr>
3463 * src/output.c (output_short_or_char_table): New function.
3464 (output_short_table, output_token_translations): Use it.
3465 (goto_actions): Use output_short_table.
3467 2000-10-16 Akim Demaille <akim@epita.fr>
3469 * src/symtab.c (bucket_new): New function.
3472 * src/output.c (output_short_table): New argument to display the
3473 comment associated with the table.
3474 Adjust dependencies.
3475 (output_gram): Use it.
3476 (output_rule_data): Nicer output layout for YYTNAME.
3478 2000-10-16 Akim Demaille <akim@epita.fr>
3480 * src/lex.c (read_typename): New function.
3482 * src/reader.c (copy_dollar): Likewise.
3484 2000-10-16 Akim Demaille <akim@epita.fr>
3486 * src/reader.c (copy_comment2): Expect the input stream to be on
3487 the `/' which is suspected to open a comment, instead of being
3488 called after `//' or `/*' was read.
3489 (copy_comment, copy_definition, parse_union_decl, copy_action)
3490 (copy_guard): Adjust.
3492 2000-10-16 Akim Demaille <akim@epita.fr>
3494 * src/reader.c (parse_expect_decl): Use `skip_white_space' and
3495 `read_signed_integer'.
3497 2000-10-16 Akim Demaille <akim@epita.fr>
3499 * src/reader.c (copy_dollar): New function.
3500 (copy_guard, copy_action): Use it.
3502 2000-10-16 Akim Demaille <akim@epita.fr>
3504 * lib/quote.h, lib/quote.c, lib/quotearg.h, lib/quotearg.c:
3505 * m4/prereq.m4, m4/c-bs-a.m4, m4/mbstate.m4:
3506 New files, from Fileutils 4.0.27.
3507 * src/main.c (printable_version): Remove.
3508 * src/lex.c, src/reader.c: Use `quote'.
3510 2000-10-04 Akim Demaille <akim@epita.fr>
3512 * lib/error.c, lib/error.h: New files, needed by xmalloc.c.
3514 2000-10-04 Akim Demaille <akim@epita.fr>
3516 * doc/bison.texinfo: Various typos spotted by Neil Booth.
3518 2000-10-04 Akim Demaille <akim@epita.fr>
3520 When a literal string is used to define two different tokens,
3521 `bison -v' segfaults.
3522 Reported by Piotr Gackiewicz, and fixed by Neil Booth.
3524 * tests/regression.m4: New file.
3525 Include the core of the sample provided by Piotr Gackiewicz.
3526 * src/reader.c (parse_token_decl): Diagnose bad cases, and proceed
3529 2000-10-04 Akim Demaille <akim@epita.fr>
3531 * src/reader.c (parse_expect_decl): Keep `count' within the size
3535 2000-10-02 Paul Eggert <eggert@twinsun.com>
3537 * bison.s1 (yyparse): Assign the default value
3538 unconditionally, to avoid a GCC warning and make the parser a
3541 2000-10-02 Akim Demaille <akim@epita.fr>
3543 * src/getargs.c (getargs): Don't dump `--help' on unrecognized
3546 2000-10-02 Akim Demaille <akim@epita.fr>
3548 * src/derives.c, src/print.c, src/reduce.c: To ease the
3549 translation, move some `\n' out of the translated strings.
3551 2000-10-02 Akim Demaille <akim@epita.fr>
3553 The location tracking mechanism is precious for parse error
3554 messages. Nevertheless, it is enabled only when `@n' is used in
3555 the grammar, which is a different issue (you can use it in error
3556 message, but not in the grammar per se). Therefore, there should
3557 be another means to enable it.
3559 * src/getargs.c (getargs): Support `--locations'.
3561 * src/getargs.h (locationsflag): Export it.
3562 * src/lex.c (percent_table): Support `%locations'.
3563 * src/reader.c (yylsp_needed): Remove this variable, now replaced
3564 with `locationsflag'.
3565 * doc/bison.texinfo: Document `--locations' and `%locations'.
3567 * tests/calc.m4: Test it.
3569 For regularity of the names, replace each
3570 (nolineflag, toknumflag, rawtokenumflag, noparserflag): with...
3571 (no_lineflag, token_tableflag, rawflag, no_parserflag): this.
3572 In addition replace each `flag' with `_flag'.
3574 2000-10-02 Akim Demaille <akim@epita.fr>
3576 Also test parse error messages, including with YYERROR_VERBOSE.
3578 * tests/calc.m4 (calc.y): Add support for `exp = exp' (non
3580 Use it to check the computations.
3581 Use it to check `nonassoc' is honored.
3582 (AT_DATA_CALC_Y): Equip `calc.y' with YYERROR_VERBOSE when passed
3583 `--yyerror-verbose'.
3584 (_AT_CHECK_CALC): Adjust to this option.
3585 (_AT_CHECK_CALC_ERROR): New macro to check parse error messages.
3587 2000-10-02 Akim Demaille <akim@epita.fr>
3589 Test also `--verbose', `--defines' and `--name-prefix'. Testing
3590 the latter demonstrates a flaw in the handling of non debugging
3591 parsers introduced by myself on 2000-03-16: `#define yydebug 0'
3592 was used in order to simplify:
3608 unfortunately this leads to a CPP conflict when
3609 `--name-prefix=foo' is used since it produces `#define yydebug
3612 * src/bison.s1 [!YYDEBUG]: Do not define yydebug.
3613 (YYDPRINTF): New macro.
3615 * tests/calc.m4 (AT_CHECK_CALC): Do require a title, build it from
3617 Also test `--verbose', `--defines' and `--name-prefix'.
3619 2000-10-02 Akim Demaille <akim@epita.fr>
3621 Improve the readability of the produced parsers.
3623 * src/bison.s1: Formatting changes.
3624 Improve the comment related to the `$' mark.
3625 (yydefault): Don't fall through to `yyresume': `goto' there.
3626 * src/output.c (output_parser): When the `$' is met, skip the end
3628 New variable, `number_of_dollar_signs', to check there's exactly
3629 one `$' in the parser skeleton.
3631 2000-10-02 Akim Demaille <akim@epita.fr>
3633 * lib/xstrdup.c: New file, from the fileutils.
3634 * src/reader.c (parse_token_decl, get_type_name, parse_type_decl)
3635 (parse_assoc_decl, parse_thong_decl, get_type): Use `xstrdup'
3636 instead of strlen + xmalloc + strcpy.
3637 * src/symtab.c (copys): Remove, use xstrdup instead.
3639 2000-10-02 Akim Demaille <akim@epita.fr>
3641 * src/gram.h (associativity): New enum type which replaces the
3642 former CPP macros `RIGHT_ASSOC', `LEFT_ASSOC' and `NON_ASSOC' with
3643 `right_assoc', `left_assoc' and `non_assoc'.
3644 Adjust all dependencies.
3645 * src/reader.c: Formatting changes.
3646 (LTYPESTR): Don't define it, use it as a literal in
3647 `reader_output_yylsp'.
3648 * src/symtab.h (symbol_class): New enum type which replaces the
3649 former CPP macros `SUNKNOWN', `STOKEN and `SNTERM' with
3650 `sunknown', `stoken and `snterm'.
3652 2000-10-02 Akim Demaille <akim@epita.fr>
3654 * src/getargs.c (fixed_outfiles): Rename as...
3655 (yaccflag): for consistency and accuracy.
3656 Adjust dependencies.
3658 2000-10-02 Akim Demaille <akim@epita.fr>
3660 Use the more standard files `xalloc.h' and `xmalloc.c' instead of
3661 Bison's `allocate.c' and `alloc.h'. This patch was surprisingly
3662 difficult and introduced a lot of core dump. It turns out that
3663 Bison used an implementation of `xmalloc' based on `calloc', and
3664 at various places it does depend upon the initialization to 0. I
3665 have not tried to isolate the pertinent places, and all the former
3666 calls to Bison's `xmalloc' are now using `XCALLOC'. Someday,
3667 someone should address this issue.
3669 * src/allocate.c, src/alloc.h, m4/bison-decl.m4: Remove.
3670 * lib/xmalloc.c, lib/xalloc.h, m4/malloc.m4, m4/realloc.m4: New
3672 Adjust dependencies.
3673 * src/warshall.h: New file.
3676 2000-10-02 Akim Demaille <akim@epita.fr>
3678 Various anti-`extern in *.c' changes.
3680 * src/system.h: Include `assert.h'.
3682 2000-10-02 Akim Demaille <akim@epita.fr>
3684 * src/state.h (nstates, final_state, first_state, first_shift)
3685 (first_reduction): Move their exportation from here...
3686 * src/LR0.h: to here.
3687 Adjust dependencies.
3688 * src/getargs.c (statisticsflag): New variable.
3689 Add support for `--statistics'.
3690 Adjust dependencies.
3692 Remove a lot of now useless `extern' statements in most files.
3694 2000-10-02 Akim Demaille <akim@epita.fr>
3696 * src/LR0.h: New file.
3699 2000-10-02 Akim Demaille <akim@epita.fr>
3701 * src/print.h: New file.
3703 * src/print.c: Formatting and ordering changes.
3704 (verbose, terse): Replace with...
3705 (print_results): this new function.
3706 Adjust dependencies.
3708 2000-10-02 Akim Demaille <akim@epita.fr>
3710 * src/conflicts.c (conflict_report): New function.
3711 (conflict_log, verbose_conflict_log): Replace with...
3712 (print_conflicts): this function.
3713 Adjust dependencies.
3714 * src/conflicts.h: New file.
3715 Propagate its inclusion.
3717 2000-10-02 Akim Demaille <akim@epita.fr>
3719 * src/nullable.h: New file.
3720 Propagate its inclusion.
3721 * src/nullable.c: Formatting changes.
3723 2000-10-02 Akim Demaille <akim@epita.fr>
3725 * src/reduce.h: New file.
3726 Propagate its inclusion.
3727 * src/reduce.c: Topological sort and other formatting changes.
3728 (bool, TRUE, FALSE): Move their definition to...
3729 * src/system.h: here.
3731 2000-10-02 Akim Demaille <akim@epita.fr>
3733 * src/files.c: Formatting changes.
3734 (tryopen, tryclose, openfiles): Rename as...
3735 (xfopen, xfclose, open_files): this.
3736 (stringappend): static.
3737 * src/files.h: Complete the list of exported symbols.
3740 2000-10-02 Akim Demaille <akim@epita.fr>
3742 * src/reader.h: New file.
3743 Propagate its use instead of tedious list of `extern' and
3745 * src/reader.c: Formatting changes, topological sort,
3748 2000-10-02 Akim Demaille <akim@epita.fr>
3750 * src/lex.h: Prototype `lex.c' exported functions.
3751 * src/reader.c: Adjust.
3752 * src/lex.c: Formatting changes.
3753 (safegetc): Rename as...
3756 2000-10-02 Akim Demaille <akim@epita.fr>
3758 * src/lalr.h: New file.
3759 Propagate its inclusion instead of prototypes and `extern'.
3760 * src/lalr.c: Formatting changes, topological sorting etc.
3762 2000-10-02 Akim Demaille <akim@epita.fr>
3764 * src/output.c (token_actions): Introduce a temporary array,
3765 YYDEFACT, that makes it possible for this function to use
3768 2000-10-02 Akim Demaille <akim@epita.fr>
3770 `user_toknums' is output as a `short[]' in `output.c', while it is
3771 defined as a `int[]' in `reader.c'. For consistency with the
3772 other output tables, `user_toknums' is now defined as a table of
3775 * src/reader.c (user_toknums): Be a short table instead of an int
3777 Adjust dependencies.
3779 Factor the short table outputs.
3781 * src/output.c (output_short_table): New function.
3782 * src/output.c (output_gram, output_stos, output_rule_data)
3783 (output_base, output_table, output_check): Use it.
3785 2000-10-02 Akim Demaille <akim@epita.fr>
3787 * src/output.c (output): Topological sort of the functions, in
3788 order to get rid of the `static' prototypes.
3789 No longer use `register'.
3790 * src/output.h: New file.
3791 Propagate its inclusion in files explicitly prototyping functions
3794 2000-09-21 Akim Demaille <akim@epita.fr>
3796 * src/atgeneral.m4: Update from Autoconf.
3798 2000-09-21 Akim Demaille <akim@epita.fr>
3800 * src/closure.h: New file.
3801 * src/closure.c: Formatting changes, topological sort over the
3802 functions, use of closure.h.
3803 (initialize_closure, finalize_closure): Rename as...
3804 (new_closure, free_closure): these. Adjust dependencies.
3805 * src/LR0.c: Formatting changes, topological sort, use of
3807 (initialize_states): Rename as...
3809 * src/Makefile.am (noinst_HEADERS): Adjust.
3811 2000-09-20 Akim Demaille <akim@epita.fr>
3813 * src/acconfig.h: Don't protect config.h against multiple
3815 Don't define PARAMS.
3816 * src/system.h: Define PARAMS.
3817 Remove some of the ad-hoc CPP magic for DOS, VMS etc.: this is the
3818 purpose of config.h. system.h must not try to fix wrong
3819 definitions in config.h.
3821 2000-09-20 Akim Demaille <akim@epita.fr>
3823 * src/derives.h: New file.
3824 * src/main.c, src/derives.h: Use it.
3826 * src/Makefile.am (noinst_HEADERS): Adjust.
3828 2000-09-20 Akim Demaille <akim@epita.fr>
3830 * tests/atgeneral.m4: Update from Autoconf.
3831 * tests/calc.m4 (_AT_DATA_CALC_Y, AT_DATA_CALC_Y, _AT_CHECK_CALC)
3832 (AT_CHECK_CALC): New macros.
3833 Use these macros to test bison with options `', `--raw',
3834 `--debug', `--yacc', `--yacc --debug'.
3836 2000-09-19 Akim Demaille <akim@epita.fr>
3838 * src/output.c: Formatting changes.
3839 * src/machine.h: Remove, leaving its contents in...
3840 * src/system.h: here.
3842 Adjust all dependencies on stdio.h and machine.h.
3843 * src/getargs.h: New file.
3844 Let all `extern' declarations about getargs.c be replaced with
3845 inclusion of `getargs.h'.
3846 * src/Makefile.am (noinst_HEADERS): Adjust.
3848 * tests/calc.m4 (yyin): Be initialized in main, not on the global
3850 (yyerror): Returns void, not int.
3851 * doc/bison.texinfo: Formatting changes.
3853 2000-09-19 Akim Demaille <akim@epita.fr>
3855 * tests/calc.m4 (calc.y): Do not assign to stdin, as it's not
3858 2000-09-18 Akim Demaille <akim@epita.fr>
3860 * configure.in: Append WARNING_CFLAGS to CFLAGS.
3861 * src/Makefile.am (INCLUDES): Don't.
3862 Be ready to fetch headers in lib/.
3864 2000-09-18 Akim Demaille <akim@epita.fr>
3866 * doc/bison.texinfo: Update the copyright.
3867 ANSIfy and GNUify the examples.
3868 Remove the old menu.
3870 2000-09-18 Akim Demaille <akim@epita.fr>
3872 First set of tests: use the `calc' example from the documentation.
3874 * src/bison.s1 (yyparse): Condition the code using `yytname' which
3875 is defined only when YYDEBUG is.
3876 * m4/atconfig.m4 (AT_CONFIG): Adjust to Autoconf 2.13.
3877 * src/files.c (tryopen, tryclose): Formatting changes.
3878 Move to the top and be static.
3879 * src/reader.c (read_signed_integer): Likewise.
3880 * tests/calc.m4: New file.
3881 * Makefile.am, suite.m4: Adjust.
3882 * m4/atconfig.m4: Set BISON_SIMPLE and BISON_HAIRY.
3884 2000-09-18 Akim Demaille <akim@epita.fr>
3886 Add support for an Autotest test suite for Bison.
3888 * m4/m4.m4, m4/atconfig.m4: New files.
3889 * m4/Makefile.am (EXTRA_DIST): Adjust.
3890 * tests/suite.m4, tests/Makefile.am, tests/atgeneral.m4: New
3892 * src/getargs.c: Display a more standard --version message.
3893 * src/reader.c (reader): Formatting changes.
3894 No longer depend upon VERSION_STRING.
3895 * configure.in: No longer use `dnl'.
3896 Set up the test suite and the new directory `tests/.
3897 (VERSION_STRING): Remove.
3899 2000-04-14 Akim Demaille <akim@epita.fr>
3901 * src/reader.c (copy_comment2): New function, same as former
3902 `copy_comment', but outputs into two FILE *.
3903 (copy_comment): Use it.
3904 (parse_union_decl): Use it.
3905 (get_type, parse_start_decl): Use the same `invalid' message.
3906 (parse_start_decl, parse_union_decl): Use the same `multiple'
3908 (parse_union_decl, copy_guard, copy_action): Use the same
3909 `unmatched' message.
3910 * m4/Makefile.am (EXTRA_DIST): Add `warning.m4'.
3912 2000-03-31 Akim Demaille <akim@epita.fr>
3914 * src/files.c (tryopen, tryclose): Move to the top.
3917 2000-03-31 Akim Demaille <akim@epita.fr>
3919 * src/main.c (main): Don't call `done', exit does it.
3921 2000-03-31 Akim Demaille <akim@epita.fr>
3923 * allocate.c: s/return (foo)/return foo/.
3926 * output.c: Likewise.
3927 * reader.c: Likewise.
3928 * symtab.c: Likewise.
3929 * vmsgetargs.c: Likewise.
3931 2000-03-31 Akim Demaille <akim@epita.fr>
3933 Clean up the error reporting functions.
3935 * src/report.c: New file.
3936 * src/report.h: Likewise.
3937 * src/Makefile.am: Adjust.
3938 * m4/error.m4: New file.
3939 * m4/Makefile.am: Adjust.
3940 * configure.in (jm_PREREQ_ERROR): Call it.
3941 * src/main.c (int_to_string, banner, fatal_banner, warn_banner):
3943 (fatal, fatals): Remove. All callers use complain.c::fatal.
3944 (warn, warni, warns, warnss, warnss): Remove. All callers use
3945 complain.c::complain.
3946 (toomany): Remove, use fatal instead.
3947 * src/files.c (done): No argument, use complain_message_count.
3948 * src/main.c (main): Register `done' to `atexit'.
3950 * src/getargs.c (usage): More `fputs', less `fprintf'.
3952 2000-03-28 Akim Demaille <akim@epita.fr>
3954 * lib/: New directory.
3955 * Makefile.am (SUBDIRS): Adjust.
3956 * configure.in: Adjust.
3957 (LIBOBJS): Although not used yet, AC_SUBST it, otherwise it's
3959 * src/alloca.c: Moved to lib/.
3960 * src/getopt.c: Likewise.
3961 * src/getopt1.c: Likewise.
3962 * src/getopt.h: Likewise.
3963 * src/ansi2knr.c: Likewise.
3964 * src/ansi2knr.1: Likewise.
3965 * src/Makefile.am: Adjust.
3966 * lib/Makefile.am: New file.
3968 2000-03-28 Akim Demaille <akim@epita.fr>
3970 * src/getargs.c (usage): Refresh the help message.
3972 2000-03-17 Akim Demaille <akim@epita.fr>
3974 * src/getopt1.c: Updated from textutils 2.0e
3975 * src/getopt.c: Likewise.
3976 * src/getopt.h: Likewise.
3978 2000-03-17 Akim Demaille <akim@epita.fr>
3980 * src/Makefile.am (bison.simple): Fix the awk program: quote only
3981 the file name, not the whole `#line LINE FILE'.
3983 2000-03-17 Akim Demaille <akim@epita.fr>
3985 On syntax errors, report the token on which we choked.
3987 * src/bison.s1 (yyparse): In the label yyerrlab, when
3988 YYERROR_VERBOSE, add yychar in msg.
3990 2000-03-17 Akim Demaille <akim@epita.fr>
3992 * src/reader.c (copy_at): New function.
3993 (copy_guard): Use it.
3994 (copy_action): Use it.
3996 2000-03-17 Akim Demaille <akim@epita.fr>
3998 Be kind to translators, save some useless translations.
4000 * src/main.c (banner): New function.
4001 (fatal_banner): Use it.
4002 (warn_banner): Use it.
4004 2000-03-17 Akim Demaille <akim@epita.fr>
4006 * src/reader.c (copy_definition): Use copy_string and
4007 copy_comment. Removed now unused `match', `ended',
4009 (copy_comment, copy_string): Moved, to be visible from
4012 2000-03-17 Akim Demaille <akim@epita.fr>
4014 * src/reader.c (copy_string): Declare `static inline'. No
4015 problems with inline, since it is checked by configure.
4016 (copy_comment): Likewise.
4018 2000-03-17 Akim Demaille <akim@epita.fr>
4020 * src/reader.c (packsymbols): Formatting changes.
4022 2000-03-17 Akim Demaille <akim@epita.fr>
4024 * src/reader.c (copy_comment): New function, factored out from:
4025 (copy_action): Use it. Removed now unused `match', `ended',
4027 (copy_guard): Likewise.
4029 2000-03-17 Akim Demaille <akim@epita.fr>
4031 * src/reader.c (copy_string): New function, factored out from:
4032 (copy_action): Use it.
4033 (copy_guard): Likewise.
4035 2000-03-17 Akim Demaille <akim@epita.fr>
4037 Change the handling of @s so that they behave exactly like $s.
4038 There is now a pseudo variable @$ (readble and writable), location
4039 of the lhs of the rule (by default ranging from the location of
4040 the first symbol of the rhs, to the location of the last symbol,
4041 or, if the rhs is empty, YYLLOC).
4043 * src/bison.s1 [YYLSP_NEEDED] (yyloc): New variable, twin of
4045 (yyparse): When providing a default semantic action, provide a
4046 default location action.
4047 (after the $): No longer change `*YYLSP', just stack YYLOC the
4048 same way you stack YYVAL.
4049 * src/reader.c (read_declarations): Use warns.
4050 (copy_guard, case '@'): Also recognize `@$', expanded as `YYLOC'.
4051 (copy_action, case '@'): Likewise.
4052 Use a standard error message, to save useless work from
4055 2000-03-17 Akim Demaille <akim@epita.fr>
4057 * src/bison.s1: Formatting and cosmetics changes.
4058 * src/reader.c: Likewise.
4059 Update the Copyright notice.
4061 2000-03-17 Akim Demaille <akim@epita.fr>
4063 * src/bison.s1 (#line): All set to `#line' only, since the
4064 Makefile now handles them.
4066 2000-03-16 Akim Demaille <akim@epita.fr>
4068 * src/output.c (output_rule_data): Output the documentation of
4070 (Copyright notice): Update.
4073 2000-03-16 Akim Demaille <akim@epita.fr>
4075 * src/bison.s1 [!YYDEBUG]: Define yydebug to 0. This allows to
4076 remove most `#if YYDEBUG != 0', since `if (yydebug)' is enough.
4077 One `#if YYDEBUG' remains, since it uses variables which are
4078 defined only if `YYDEBUG != 0'.
4080 2000-03-16 Akim Demaille <akim@epita.fr>
4082 * src/bison.s1 (yyparse): Reorganize the definitions of the stacks
4083 and related variables so that the similarities are highlighted.
4085 2000-03-16 Akim Demaille <akim@epita.fr>
4087 * src/bison.s1: Properly indent CPP directives.
4089 2000-03-16 Akim Demaille <akim@epita.fr>
4091 * src/bison.s1: Properly indent the `alloca' CPP section.
4093 2000-03-16 Akim Demaille <akim@epita.fr>
4095 Do not hard code values of directories in `configure.in'.
4096 Update the `configure' tool chain.
4098 * configure.in (XPFILE, XPFILE1, LOCALEDIR): Remove, handled by
4100 (VERSION_STRING): Use the third arg of AC_DEFINE_UNQUOTED.
4101 (AC_OUTPUT): Add m4/Makefile.
4102 Bump to bison 1.28a, 1.29 has never been released.
4103 * acconfig.h (XPFILE, XPFILE1, LOCALEDIR): Remove, since they are
4104 handled via src/Makefile.am.
4105 (VERSION_STRING, PROTOTYPES, ENABLE_NLS, HAVE_CATGETS,
4106 HAVE_GETTEXT, HAVE_LC_MESSAGES, HAVE_STPCPY): Remove, handled by
4108 * Makefile.am (SUBDIRS): Add m4.
4109 (ACLOCAL_AM_FLAGS): New variable.
4110 (AUTOMAKE_OPTIONS): Add check-news.
4111 * src/Makefile.am (bison.simple): Use awk to replace #line lines with
4112 the proper line number and file name.
4113 (DEFS): Propagate the location of bison library files and of the
4115 (INCLUDES): Added `-I ..' so that one can compile with srcdir !=
4117 * acinclude.m4: Remove, replaced by the directory m4.
4118 * m4/Makefile.am (EXTRA_DIST): New variable.
4119 * m4/gettext.m4: New file, from the fileutils.
4120 * m4/lcmessage.m4: Likewise
4121 * m4/progtest.m4: Likewise.
4122 * m4/bison-decl.m4: New file, extracted from former acinclude.m4.
4124 2000-03-10 Akim Demaille <akim@epita.fr>
4127 Formatting changes of various comments.
4128 Respect the GNU coding standards at various places.
4129 Don't use `_()' when no translation is needed.
4131 1999-12-13 Jesse Thilo <jthilo@gnu.org>
4134 OS/2 honors TMPDIR environment variable.
4136 1999-12-13 Jesse Thilo <jthilo@gnu.org>
4138 * doc/bison.texinfo: Tweaked spelling and grammar.
4140 Removed reference to price of printed copy.
4141 Mention BISON_SIMPLE and BISON_HAIRY.
4143 1999-12-13 Jesse Thilo <jthilo@gnu.org>
4145 * configure.in, NEWS:
4146 Bison 1.29 released.
4148 1999-10-27 Jesse Thilo <jthilo@gnu.org>
4150 * doc/.cvsignore, doc/Makefile.am, doc/refcard.tex:
4151 Added reference card.
4153 1999-07-26 Jesse Thilo <jthilo@gnu.org>
4155 * po/ru.po: Added Russian translation.
4157 1999-07-26 Jesse Thilo <jthilo@gnu.org>
4159 * configure.in: Added Russian translation.
4161 1999-07-06 Jesse Thilo <jthilo@gnu.org>
4163 * configure.in, NEWS, README:
4164 Released version 1.28.
4166 1999-06-14 Jesse Thilo <jthilo@gnu.org>
4169 Squashed redefinition warning on some systems.
4171 * src/getargs.c, src/Makefile.am, src/reader.c, src/version.c:
4172 Have configure build version string instead of relying on ANSI string
4175 1999-06-14 Jesse Thilo <jthilo@gnu.org>
4177 * po/POTFILES.in: Got rid of version.c.
4179 1999-06-14 Jesse Thilo <jthilo@gnu.org>
4181 * acconfig.h, configure.in:
4182 Have configure build version string instead of relying on ANSI string
4185 1999-06-08 Jesse Thilo <jthilo@gnu.org>
4188 Dropped mention of `+' for long-named options.
4190 1999-05-30 Jesse Thilo <jthilo@gnu.org>
4192 * src/files.c: Added <unistd.h> for unlink().
4194 * src/Makefile.am, src/system.h:
4197 1999-05-30 Jesse Thilo <jthilo@gnu.org>
4199 * README: Added a FAQ list.
4201 * configure.in, acconfig.h:
4204 1999-05-30 Jesse Thilo <jthilo@gnu.org>
4206 * doc/FAQ, doc/Makefile.am:
4209 1999-05-19 Jesse Thilo <jthilo@gnu.org>
4211 * src/alloc.h, src/symtab.h, src/version.c:
4212 Protected inclusion of "config.h" with HAVE_CONFIG_H.
4214 1999-04-18 Jesse Thilo <jthilo@gnu.org>
4216 * src/.cvsignore, src/Makefile.am:
4217 Reorganized: sources in `src', documentation in `doc'.
4219 * src/lex.c (literalchar):
4220 fixed the code for escaping double quotes (thanks
4223 1999-04-18 Jesse Thilo <jthilo@gnu.org>
4225 * po/de.po, po/es.po, po/fr.po, po/nl.po, po/POTFILES.in:
4226 Adjusted paths to reflect directory reorganization.
4228 1999-04-18 Jesse Thilo <jthilo@gnu.org>
4230 * doc/.cvsignore, doc/Makefile.am:
4231 Reorganized: sources in `src', documentation in `doc'.
4233 1999-04-18 Jesse Thilo <jthilo@gnu.org>
4236 Updated AC_INIT file to reflect directory reorganization.
4238 * configure.in, .cvsignore, Makefile.am, POTFILES.in:
4239 Reorganized: sources in `src', documentation in `doc'.
4241 1999-04-13 Jesse Thilo <jthilo@gnu.org>
4244 Don't declare calloc() and realloc() if not necessary.
4246 1999-04-13 Jesse Thilo <jthilo@gnu.org>
4248 * configure.in, acconfig.h, acinclude.m4:
4249 Don't declare calloc() and realloc() if not necessary.
4251 1999-03-23 Jesse Thilo <jthilo@gnu.org>
4253 * po/.cvsignore: Added i18n support.
4255 1999-03-23 Jesse Thilo <jthilo@gnu.org>
4257 * acconfig.h, configure.in, Makefile.am:
4260 1999-03-22 Jesse Thilo <jthilo@gnu.org>
4262 * src/bison.s1: Fixed #line numbers.
4264 1999-03-15 Jesse Thilo <jthilo@gnu.org>
4266 * po/es.po, po/fr.po, po/nl.po, po/de.po:
4267 Added PO files from Translation Project.
4269 1999-03-03 Jesse Thilo <jthilo@gnu.org>
4272 Added support for non-ANSI compilers (ansi2knr).
4274 1999-02-16 Jesse Thilo <jthilo@gnu.org>
4276 * configure.in: Bumped version number to 1.27.
4279 Added `bison.simple' to list of files removed by `make distclean'.
4281 1999-02-12 Jesse Thilo <jthilo@gnu.org>
4283 * src/files.c, src/files.h:
4284 Defined locations of parser files in config.h instead of Makefile.
4286 1999-02-12 Jesse Thilo <jthilo@gnu.org>
4288 * acconfig.h, acinclude.m4, configure.in, Makefile.am:
4289 Defined locations of parser files in config.h instead of Makefile.
4291 1999-02-09 Jesse Thilo <jthilo@gnu.org>
4294 Removed inappropriate use of $< macro.
4296 1999-02-05 Jesse Thilo <jthilo@gnu.org>
4298 * po/Makefile.in.in, po/POTFILES.in:
4299 Add `po' directory skeleton.
4301 1999-01-27 Jesse Thilo <jthilo@gnu.org>
4303 * README: Document help-bison list.
4305 * configure.in: Add check for mkstemp().
4307 1999-01-20 Jesse Thilo <jthilo@gnu.org>
4309 * src/conflicts.c, src/LR0.c, src/output.c, src/reader.c:
4310 Hush a few compiler warnings.
4313 Add tryclose(), which verifies that fclose was successful.
4314 Hush a couple of compiler warnings.
4316 1999-01-20 Jesse Thilo <jthilo@gnu.org>
4318 * Makefile.am, OChangeLog:
4319 ChangeLog is now automatically generated. Include the old version as
4322 1999-01-14 Jesse Thilo <jthilo@gnu.org>
4324 * src/gram.h, src/lalr.c, src/lex.c, src/lex.h, src/machine.h, src/main.c, src/nullable.c, src/output.c, src/print.c, src/reader.c, src/reduce.c, src/state.h, src/symtab.c, src/symtab.h, src/types.h, src/vmsgetargs.c, src/warshall.c, src/allocate.c, src/alloc.h, src/bison.s1, src/closure.c, src/conflicts.c, src/derives.c, src/files.c, src/files.h, src/getargs.c, src/gram.c, src/LR0.c:
4327 1999-01-14 Jesse Thilo <jthilo@gnu.org>
4329 * doc/bison.texinfo: Fix formatting glitch.
4331 * doc/bison.texinfo: Update FSF address.
4333 1999-01-14 Jesse Thilo <jthilo@gnu.org>
4335 * acconfig.h: Update FSF address.
4337 1999-01-08 Jesse Thilo <jthilo@gnu.org>
4340 Don't define PACKAGE here, since config.h defines it.
4342 1998-12-30 Jesse Thilo <jthilo@gnu.org>
4344 * src/reader.c: Update copyright date.
4347 Ditch sprintf to statically-sized buffers in fatal/warn functions in
4348 favor of output directly to stderr (avoids buffer overruns).
4350 * src/reader.c: Some checks for premature EOF.
4352 * src/allocate.c, src/alloc.h, src/closure.c, src/conflicts.c, src/derives.c, src/getargs.c, src/gram.c, src/lalr.c, src/lex.c, src/LR0.c, src/main.c, src/nullable.c, src/output.c, src/print.c, src/reduce.c, src/symtab.c, src/symtab.h, src/warshall.c:
4353 Use prototypes if the compiler understands them.
4355 * src/files.c: Honor TMPDIR on Unix hosts.
4356 Use prototypes if the compiler understands them.
4359 Fix a couple of buffer overrun bugs.
4360 Use prototypes if the compiler understands them.
4362 * src/system.h: Include unistd.h and ctype.h.
4363 Use #ifdef instead of #if for NLS symbols.
4365 1998-12-30 Jesse Thilo <jthilo@gnu.org>
4367 * doc/bison.texinfo:
4368 Delete comment "consider using @set for edition number, etc..." since
4369 we now are doing so.
4371 1998-12-30 Jesse Thilo <jthilo@gnu.org>
4374 Use prototypes if the compiler understands them.
4376 * NEWS: Document 1.26 highlights.
4378 * Makefile.am: Require Automake 1.3 or later.
4381 Use prototypes if the compiler understands them.
4383 1998-12-29 Jesse Thilo <jthilo@gnu.org>
4386 Use VERSION symbol from automake for version number.
4388 1998-12-29 Jesse Thilo <jthilo@gnu.org>
4390 * acconfig.h, configure.in, version.cin:
4391 Use VERSION symbol from automake for version number.
4393 1998-11-28 Jesse Thilo <jthilo@gnu.org>
4396 Distribute original version of simple parser (bison.s1), not built
4397 version (bison.simple).
4399 1998-11-28 Jesse Thilo <jthilo@gnu.org>
4401 * doc/bison.texinfo: Add info dir entry.
4403 * doc/bison.texinfo:
4404 Let automake put version number into documentation.
4406 1998-11-26 Jesse Thilo <jthilo@gnu.org>
4408 * src/bison.cld, src/build.com, src/vmshlp.mar:
4409 Add non-RCS files from /gd/gnu/bison.
4411 1998-11-26 Jesse Thilo <jthilo@gnu.org>
4414 Document the BISON_HAIRY and BISON_SIMPLE variables.
4416 1998-11-25 Jesse Thilo <jthilo@gnu.org>
4418 * src/version.c: Build version.c automatically.
4421 Fix token numbering (used to start at 258, not 257).
4423 * src/system.h: Include config.h.
4425 * src/getargs.c: Update bug report address.
4427 * src/alloca.c, src/getopt1.c, src/getopt.c, src/getopt.h:
4428 Get latest copies of alloca.c, getopt.c, getopt.h, getopt1.c from gnu.org.
4430 1998-11-25 Jesse Thilo <jthilo@gnu.org>
4433 Rename bison.simple to bison.s1 (bison.simple is then built from bison.s1).
4435 * configure.in, version.cin:
4436 Build version.c automatically.
4438 * AUTHORS: Add AUTHORS file.
4440 * README: Update bug report address.
4443 Rename bison.simple to bison.s1 (bison.simple is then built from bison.s1).
4445 * configure.in, Makefile.am, Makefile.in, stamp-h.in:
4448 1998-11-25 Jesse Thilo <jthilo@gnu.org>
4450 * doc/bison.texinfo: Clean up some formatting.
4452 1998-05-05 Richard Stallman <rms@gnu.org>
4454 * doc/bison.texinfo:
4455 Explain better why to make a pure parser.
4457 1998-01-05 Richard Stallman <rms@gnu.org>
4459 * src/files.c (openfiles):
4460 [_WIN32 && !__CYGWIN32__] Use TEMP or Temp to
4461 find a temporary directory, if possible. Do not unlink files while
4464 1997-08-25 Richard Stallman <rms@gnu.org>
4466 * src/reader.c (stack_offset;):
4467 Change some warni to warns.
4469 * src/lex.c (literalchar): Use warns, not warni.
4471 1997-06-28 Richard Stallman <rms@gnu.org>
4473 * src/bison.s1: Add a Bison version comment.
4475 * src/main.c (fatal, warn, berror):
4478 1997-06-28 Richard Stallman <rms@gnu.org>
4480 * Makefile.in (bison_version): New variable.
4481 (dist): Use that variable.
4482 (bison.s1): Substitute the Bison version into bison.simple.
4484 * bison.simple: Add a Bison version comment.
4486 1997-06-18 Richard Stallman <rms@gnu.org>
4488 * src/main.c (fatal, warn, berror):
4489 Make error messages standard.
4490 (toomany): Improve error message text.
4492 * src/LR0.c, src/closure.c, src/conflicts.c, src/derives.c, src/files.c, src/lalr.c, src/lex.c, src/nullable.c, src/output.c, src/print.c, src/reader.c, src/reduce.c, src/symtab.c:
4493 new.h renamed to alloc.h.
4495 1997-06-18 Richard Stallman <rms@gnu.org>
4497 * Makefile.in: new.h renamed to alloc.h.
4499 1997-05-24 Richard Stallman <rms@gnu.org>
4501 * src/lex.c (literalchar):
4502 Fix the code for escaping \, " and '.
4504 (lex): Avoid trouble when there are many chars
4505 to discard in a char literal with just several chars in it.
4507 1997-05-17 Richard Stallman <rms@gnu.org>
4510 Use malloc, if using alloca is troublesome.
4511 (YYSTACK_USE_ALLOCA): New flag macro.
4512 Define it for some systems and compilers.
4513 (YYSTACK_ALLOC): New macro.
4514 (yyparse): Use YYSTACK_ALLOC to allocate stack.
4515 If it was malloc'd, free it.
4517 1997-05-17 Richard Stallman <rms@gnu.org>
4520 Use malloc, if using alloca is troublesome.
4521 (YYSTACK_USE_ALLOCA): New flag macro.
4522 Define it for some systems and compilers.
4523 (YYSTACK_ALLOC): New macro.
4524 (yyparse): Use YYSTACK_ALLOC to allocate stack.
4525 If it was malloc'd, free it.
4527 1997-04-23 Richard Stallman <rms@gnu.org>
4530 (alloca) [__hpux]: Always define as __builtin_alloca.
4532 1997-04-23 Richard Stallman <rms@gnu.org>
4535 (alloca) [__hpux]: Always define as __builtin_alloca.
4537 1997-04-22 Richard Stallman <rms@gnu.org>
4540 [__hpux]: Include alloca.h (right for HPUX 10)
4541 instead of declaring alloca (right for HPUX 9).
4543 * src/bison.s1 (__yy_memcpy):
4544 Declare arg `count' as unsigned int.
4545 (yyparse): Cast third arg to __yy_memcpy to unsigned int.
4547 1997-04-22 Richard Stallman <rms@gnu.org>
4550 [__hpux]: Include alloca.h (right for HPUX 10)
4551 instead of declaring alloca (right for HPUX 9).
4553 * bison.simple (__yy_memcpy):
4554 Declare arg `count' as unsigned int.
4555 (yyparse): Cast third arg to __yy_memcpy to unsigned int.
4557 1997-01-03 Richard Stallman <rms@gnu.org>
4559 * src/allocate.c: [__STDC__ or _MSC_VER]:
4560 Declare calloc and realloc to return void *.
4562 1997-01-02 Richard Stallman <rms@gnu.org>
4565 [_MSC_VER]: Include stdlib.h and process.h.
4566 [_MSC_VER] (getpid): Define as macro--translate it to _getpid.
4568 * src/main.c (main): Return FAILURE as a value.
4569 (printable_version): Declare arg as int, not char.
4571 1997-01-02 Richard Stallman <rms@gnu.org>
4573 * Makefile.in (dist):
4574 Explicitly check for symlinks, and copy them.
4576 1996-12-19 Richard Stallman <rms@gnu.org>
4579 [_MSC_VER] (XPFILE, XPFILE1): Define, if not already defined.
4581 1996-12-18 Paul Eggert <eggert@gnu.org>
4583 * src/bison.s1 (yyparse):
4584 If __GNUC__ and YYPARSE_PARAM are both defined,
4585 declare yyparse to have a void * argument.
4587 1996-12-18 Paul Eggert <eggert@gnu.org>
4589 * bison.simple (yyparse):
4590 If __GNUC__ and YYPARSE_PARAM are both defined,
4591 declare yyparse to have a void * argument.
4593 1996-12-17 Richard Stallman <rms@gnu.org>
4595 * src/reduce.c (nbits): Add some casts.
4597 1996-08-12 Richard Stallman <rms@gnu.org>
4599 * src/bison.s1: Test _MSDOS as well as _MSDOS_.
4601 1996-08-12 Richard Stallman <rms@gnu.org>
4603 * bison.simple: Test _MSDOS as well as _MSDOS_.
4605 1996-07-31 Richard Stallman <rms@gnu.org>
4608 [__sun && __i386]: Include alloca.h.
4610 1996-07-31 Richard Stallman <rms@gnu.org>
4613 [__sun && __i386]: Include alloca.h.
4615 1996-07-30 Richard Stallman <rms@gnu.org>
4617 * src/bison.s1: Comment change.
4619 * src/bison.s1: Test _MSDOS_, not MSDOS.
4621 1996-07-30 Richard Stallman <rms@gnu.org>
4623 * bison.simple: Comment change.
4625 * bison.simple: Test _MSDOS_, not MSDOS.
4627 1996-06-01 Richard Stallman <rms@gnu.org>
4629 * src/reduce.c, src/reader.c, src/print.c, src/output.c, src/nullable.c, src/lex.c, src/lalr.c, src/getargs.c, src/derives.c, src/conflicts.c, src/closure.c, src/allocate.c:
4630 Insert `_' macro around many string constants.
4633 Insert `_' macro around many string constants.
4635 (main): Call setlocale, bindtextdomain and textdomain.
4637 * src/system.h: [HAVE_LOCALE_H]: Include locale.h.
4638 [! HAVE_LOCALE_H] (setlocale): Define as no-op.
4639 [ENABLE_NLS]: Include libintl.h.
4640 [ENABLE_NLS] (gettext): Define.
4641 [! ENABLE_NLS] (bintextdomain, textdomain, _): Consolation definitions.
4642 (N_, PACKAGE, LOCALEDIR): New macros.
4644 1996-06-01 Richard Stallman <rms@gnu.org>
4646 * POTFILES.in: New file.
4648 * Makefile.in (allocate.o):
4649 Define target explicitly.
4651 * Makefile.in (CFLAGS): Set to @CFLAGS@.
4652 (LDFLAGS): Set to @LDFLAGS@.
4653 (configure): Run autoconf only if preceding `cd' succeeds.
4654 (bison.s1): Redirect output to temporary file then move the
4655 temporary to the target, rather than redirecting directly to bison.s1.
4656 (clean): Remove config.status and config.log.
4657 (distclean): Don't remove config.status here.
4659 1996-05-12 Richard Stallman <rms@gnu.org>
4662 (__yy_memcpy) [__cplusplus]: Reorder declarations of variables f and t.
4664 1996-05-12 Richard Stallman <rms@gnu.org>
4667 (__yy_memcpy) [__cplusplus]: Reorder declarations of variables f and t.
4669 1996-05-11 Richard Stallman <rms@gnu.org>
4671 * src/bison.s1 (__yy_memcpy):
4672 Really reorder the args, as was supposedly done on Feb 14 1995.
4673 (yyparse): Calls changed accordingly.
4675 1996-05-11 Richard Stallman <rms@gnu.org>
4677 * Makefile.in (dist): Don't use $(srcdir).
4679 * bison.simple (__yy_memcpy):
4680 Really reorder the args, as was supposedly done on Feb 14 1995.
4681 (yyparse): Calls changed accordingly.
4683 1996-01-27 Richard Stallman <rms@gnu.org>
4685 * src/output.c (output_rule_data):
4686 Test YYERROR_VERBOSE in the conditional
4687 around the definition of ttyname.
4689 1995-12-29 Richard Stallman <rms@gnu.org>
4692 Fix line numbers in #line commands.
4694 1995-12-29 Richard Stallman <rms@gnu.org>
4697 Fix line numbers in #line commands.
4699 1995-12-27 Richard Stallman <rms@gnu.org>
4701 * src/bison.s1 (YYPARSE_PARAM_DECL):
4702 In C++, make it always null.
4703 (YYPARSE_PARAM_ARG): New macro.
4704 (yyparse): Use YYPARSE_PARAM_ARG.
4706 1995-12-27 Richard Stallman <rms@gnu.org>
4708 * bison.simple (YYPARSE_PARAM_DECL):
4709 In C++, make it always null.
4710 (YYPARSE_PARAM_ARG): New macro.
4711 (yyparse): Use YYPARSE_PARAM_ARG.
4713 1995-11-29 Richard Stallman <rms@gnu.org>
4715 * doc/bison.texinfo:
4716 Describe literal string tokens, %raw, %no_lines, %token_table.
4718 1995-11-29 Daniel Hagerty <hag@gnu.org>
4720 * doc/bison.texinfo: Fixed update date
4722 1995-10-16 Richard Stallman <rms@gnu.org>
4724 * src/version.c: Version 1.25.
4726 1995-10-16 Richard Stallman <rms@gnu.org>
4728 * NEWS: *** empty log message ***
4730 1995-10-16 Richard Stallman <rms@gnu.org>
4732 * doc/bison.1, doc/bison.rnh:
4735 1995-10-15 Richard Stallman <rms@gnu.org>
4737 * src/vmsgetargs.c, src/getargs.c:
4738 Added -n, -k, and -raw switches.
4739 (noparserflag, toknumflag, rawtoknumflag): New variables.
4741 * src/symtab.h (SALIAS):
4742 New #define for adding aliases to %token.
4743 (struct bucket): Added `alias' field.
4745 * src/reduce.c (reduce_grammar):
4746 Revise error message.
4747 (print_notices): Remove final `.' from error message.
4749 * src/reader.c (reader_output_yylsp):
4751 (readgram): Use `#if 0' around code that accepted %command
4752 inside grammar rules: The documentation doesn't allow it,
4753 and it will fail since the %command processors scan for the next %.
4754 (parse_token_decl): Extended the %token
4755 declaration to allow a multi-character symbol as an alias.
4756 (parse_thong_decl): New function.
4757 (read_declarations): Added %thong declarations.
4758 (read_declarations): Handle NOOP to deal with allowing
4759 % declarations as another means to specify the flags.
4760 (readgram): Allow %prec prior to semantics embedded in a rule.
4761 (skip_to_char, read_declarations, copy_definition)
4762 (parse_token_decl, parse_start_decl, parse_type_decl)
4763 (parse_assoc_decl, parse_union_decl, parse_expect_decl)
4764 (get_type_name, copy_guard, copy_action, readgram)
4765 (get_type, packsymbols): Revised most error messages.
4766 Changed `fatal' to `warnxxx' to avoid aborting for error.
4767 Revised and use multiple warnxxx functions to avoid using VARARGS1.
4768 (read_declarations): Improve the error message for
4769 an invalid character. Do not abort.
4770 (read_declarations, copy_guard, copy_action): Use
4771 printable_version to avoid unprintable characters in printed output.
4772 (parse_expect_decl): Error if argument to %expect exceeds 10 digits.
4773 (parse_token_decl, parse_assoc_decl, parse_type_decl, get_type):
4774 Allow the type of a non-terminal can be given
4775 more than once, as long as all specifications give the same type.
4778 (output_headers, output_trailers, output, output_gram)
4779 (output_rule_data): Implement noparserflag variable.
4780 Implement toknumflag variable.
4781 (output): Call reader_output_yylsp to output LTYPESTR.
4783 * src/main.c (main):
4784 If reader sees an error, don't process the grammar.
4785 (fatals): Updated to not use VARARGS1.
4786 (printable_version, int_to_string, warn, warni, warns, warnss)
4787 (warnsss): New error reporting functions. Avoid abort for error.
4790 Added THONG and NOOP for alias processing.
4791 Added SETOPT for the new code that allows setting options with %flags.
4794 Include getopt.h. Add some extern decls.
4795 (safegetc): New function to deal with EOF gracefully.
4796 (literalchar); new function to deal with reading \ escapes.
4797 (lex): Use literalchar.
4798 (lex): Implemented "..." tokens.
4799 (literalchar, lex, parse_percent_token): Made tokenbuffer
4800 always contain the token. This includes growing the token
4801 buffer while reading an integer.
4802 (parse_percent_token): Replaced if-else statement with percent_table.
4803 (parse_percent_token): Added % declarations as another
4804 way to specify the flags -n, -l, and -r. Also added hooks for
4805 -d, -k, -y, -v, -t, -p, -b, -o, but implementation requires
4806 major changes to files.c.
4807 (lex) Retain in the incoming stream a character following
4809 (skip_white_space, lex): Revised most error messages
4810 and changed fatal to warn to avoid aborting.
4811 (percent_table): Added %thong declarations.
4813 * src/gram.h: Comment changes.
4815 * src/files.c (openfiles, open_extra_files, done):
4817 and actfile file. Handle noparserflag. Both for -n switch.
4819 * src/conflicts.c (resolve_sr_conflict):
4820 Remove use of alloca.
4822 1995-06-01 Jim Meyering <meyering@gnu.org>
4824 * doc/bison.texinfo: *** empty log message ***
4826 1995-05-06 Richard Stallman <rms@gnu.org>
4828 * src/bison.s1: Comment change.
4830 1995-05-06 Richard Stallman <rms@gnu.org>
4832 * bison.simple: Comment change.
4834 1995-05-03 Richard Stallman <rms@gnu.org>
4836 * src/version.c: Version now 1.24.
4838 * src/bison.s1: Change distribution terms.
4840 * src/version.c: Version now 1.23.
4842 1995-05-03 Richard Stallman <rms@gnu.org>
4844 * doc/bison.texinfo:
4845 Rewrite "Conditions for Using Bison".
4846 Update version to 1.24.
4848 1995-05-03 Richard Stallman <rms@gnu.org>
4850 * bison.simple: Change distribution terms.
4852 1995-02-23 Richard Stallman <rms@gnu.org>
4854 * src/files.c: Test __VMS_POSIX as well as VMS.
4856 1995-02-14 Jim Meyering <meyering@gnu.org>
4858 * src/bison.s1 (__yy_memcpy):
4859 Renamed from __yy_bcopy to avoid
4860 confusion. Reverse FROM and TO arguments to be consistent with
4863 1995-02-14 Jim Meyering <meyering@gnu.org>
4865 * bison.simple (__yy_memcpy):
4866 Renamed from __yy_bcopy to avoid
4867 confusion. Reverse FROM and TO arguments to be consistent with
4870 1994-11-10 David J. MacKenzie <djm@gnu.org>
4876 * Makefile.in (DISTFILES): Include NEWS.
4878 * Makefile.in (DISTFILES):
4879 Include install-sh, not install.sh.
4881 * configure.in: Update to Autoconf v2 macro names.
4883 1994-10-05 David J. MacKenzie <djm@gnu.org>
4885 * Makefile.in: fix typo
4887 * Makefile.in (prefix, exec_prefix):
4888 Let configure set them.
4890 1994-09-28 David J. MacKenzie <djm@gnu.org>
4892 * Makefile.in: Set datadir to $(prefix)/share.
4894 1994-09-15 Richard Stallman <rms@gnu.org>
4897 Update copyright notice and GPL version.
4899 1994-09-15 Richard Stallman <rms@gnu.org>
4902 Update copyright notice and GPL version.
4904 1994-07-12 Richard Stallman <rms@gnu.org>
4906 * src/reduce.c, src/reader.c:
4909 1994-05-05 David J. MacKenzie <djm@gnu.org>
4911 * Makefile.in: entered into RCS
4913 1994-03-26 Richard Stallman <rms@gnu.org>
4915 * src/bison.s1: entered into RCS
4917 1994-03-26 Richard Stallman <rms@gnu.org>
4919 * bison.simple: entered into RCS
4921 1994-03-25 Richard Stallman <rms@gnu.org>
4923 * src/main.c: entered into RCS
4925 1994-03-24 Richard Stallman <rms@gnu.org>
4927 * src/conflicts.c: entered into RCS
4929 1994-01-02 Richard Stallman <rms@gnu.org>
4931 * Makefile.in: *** empty log message ***
4933 1993-11-21 Richard Stallman <rms@gnu.org>
4935 * src/bison.s1: *** empty log message ***
4937 1993-11-21 Richard Stallman <rms@gnu.org>
4939 * doc/bison.texinfo: entered into RCS
4941 * doc/bison.texinfo: *** empty log message ***
4943 1993-11-21 Richard Stallman <rms@gnu.org>
4945 * bison.simple: *** empty log message ***
4947 1993-10-25 David J. MacKenzie <djm@gnu.org>
4949 * doc/bison.texinfo: *** empty log message ***
4951 1993-10-19 Richard Stallman <rms@gnu.org>
4953 * src/bison.s1: *** empty log message ***
4955 1993-10-19 Richard Stallman <rms@gnu.org>
4957 * bison.simple: *** empty log message ***
4959 1993-10-14 Richard Stallman <rms@gnu.org>
4961 * src/bison.s1: *** empty log message ***
4963 1993-10-14 Richard Stallman <rms@gnu.org>
4965 * bison.simple: *** empty log message ***
4967 1993-09-14 David J. MacKenzie <djm@gnu.org>
4969 * doc/bison.texinfo: *** empty log message ***
4971 1993-09-13 Noah Friedman <friedman@gnu.org>
4973 * Makefile.in: *** empty log message ***
4975 1993-09-10 Richard Stallman <rms@gnu.org>
4977 * src/conflicts.c: *** empty log message ***
4979 * src/system.h: entered into RCS
4981 1993-09-10 Richard Stallman <rms@gnu.org>
4983 * doc/bison.1: entered into RCS
4985 1993-09-06 Noah Friedman <friedman@gnu.org>
4987 * src/version.c: entered into RCS
4989 1993-09-06 Noah Friedman <friedman@gnu.org>
4991 * Makefile.in: *** empty log message ***
4993 1993-07-30 David J. MacKenzie <djm@gnu.org>
4995 * Makefile.in: *** empty log message ***
4997 1993-07-24 Richard Stallman <rms@gnu.org>
4999 * src/bison.s1: *** empty log message ***
5001 1993-07-24 Richard Stallman <rms@gnu.org>
5003 * bison.simple: *** empty log message ***
5005 1993-07-08 David J. MacKenzie <djm@gnu.org>
5007 * Makefile.in: *** empty log message ***
5009 1993-07-04 Richard Stallman <rms@gnu.org>
5011 * src/bison.s1: *** empty log message ***
5013 1993-07-04 Richard Stallman <rms@gnu.org>
5015 * bison.simple: *** empty log message ***
5017 1993-06-26 David J. MacKenzie <djm@gnu.org>
5019 * src/getargs.c: entered into RCS
5021 1993-06-26 David J. MacKenzie <djm@gnu.org>
5023 * doc/bison.texinfo: *** empty log message ***
5025 * doc/bison.1: New file.
5027 1993-06-25 Richard Stallman <rms@gnu.org>
5029 * src/getargs.c: New file.
5031 1993-06-16 Richard Stallman <rms@gnu.org>
5033 * src/bison.s1: *** empty log message ***
5035 1993-06-16 Richard Stallman <rms@gnu.org>
5037 * bison.simple: *** empty log message ***
5039 1993-06-03 Richard Stallman <rms@gnu.org>
5041 * src/bison.s1: New file.
5043 1993-06-03 Richard Stallman <rms@gnu.org>
5045 * doc/bison.texinfo: *** empty log message ***
5047 1993-06-03 Richard Stallman <rms@gnu.org>
5049 * bison.simple: New file.
5051 1993-05-19 Richard Stallman <rms@gnu.org>
5053 * doc/bison.texinfo: New file.
5055 1993-05-07 Noah Friedman <friedman@gnu.org>
5057 * Makefile.in: *** empty log message ***
5059 1993-04-28 Noah Friedman <friedman@gnu.org>
5061 * src/reader.c: *** empty log message ***
5063 1993-04-23 Noah Friedman <friedman@gnu.org>
5065 * src/alloc.h: entered into RCS
5067 1993-04-20 David J. MacKenzie <djm@gnu.org>
5069 * src/version.c: *** empty log message ***
5071 * src/files.c, src/allocate.c:
5074 * src/reader.c: *** empty log message ***
5076 * src/lex.c: entered into RCS
5078 * src/conflicts.c: New file.
5080 * src/symtab.c: entered into RCS
5082 * src/alloc.h: New file.
5084 * src/LR0.c: entered into RCS
5086 1993-04-18 Noah Friedman <friedman@gnu.org>
5088 * src/reader.c: New file.
5090 * src/version.c: *** empty log message ***
5092 1993-04-18 Noah Friedman <friedman@gnu.org>
5094 * Makefile.in: *** empty log message ***
5096 1993-04-17 Noah Friedman <friedman@gnu.org>
5098 * Makefile.in: *** empty log message ***
5100 1993-04-15 Richard Stallman <rms@gnu.org>
5102 * src/main.c, src/files.c:
5105 1993-04-15 Noah Friedman <friedman@gnu.org>
5107 * configure.in: entered into RCS
5109 * configure.in: *** empty log message ***
5111 * configure.in: New file.
5113 1993-04-14 Richard Stallman <rms@gnu.org>
5115 * Makefile.in: New file.
5117 1993-04-13 Richard Stallman <rms@gnu.org>
5119 * src/version.c: New file.
5121 1993-03-25 Richard Stallman <rms@gnu.org>
5123 * src/output.c: entered into RCS
5125 1992-09-25 Richard Stallman <rms@gnu.org>
5127 * configure.bat: entered into RCS
5129 1992-06-22 Richard Stallman <rms@gnu.org>
5131 * src/vmsgetargs.c: entered into RCS
5133 1992-06-22 Richard Stallman <rms@gnu.org>
5135 * doc/bison.rnh: entered into RCS
5137 1992-04-20 David J. MacKenzie <djm@gnu.org>
5139 * README: entered into RCS
5141 1992-01-22 Richard Stallman <rms@gnu.org>
5143 * src/machine.h: entered into RCS
5145 1991-12-21 Richard Stallman <rms@gnu.org>
5147 * src/lalr.c, src/closure.c:
5150 1991-12-20 Richard Stallman <rms@gnu.org>
5152 * src/state.h: entered into RCS
5154 1991-12-18 Richard Stallman <rms@gnu.org>
5156 * src/print.c, src/nullable.c, src/derives.c:
5159 1991-11-03 David J. MacKenzie <djm@gnu.org>
5161 * src/warshall.c, src/types.h, src/symtab.h, src/lex.h, src/gram.c, src/gram.h, src/files.h:
5164 1988-09-09 Richard Stallman <rms@gnu.org>
5166 * src/bison.hairy: entered into RCS
5168 1987-12-16 Richard Stallman <rms@gnu.org>
5170 * REFERENCES: entered into RCS