]> git.saurik.com Git - bison.git/blob - ChangeLog
* configure.in: Use AC_FUNC_STRNLEN.
[bison.git] / ChangeLog
1 2002-01-11 Akim Demaille <akim@epita.fr>
2
3 * configure.in: Use AC_FUNC_STRNLEN.
4
5 2002-01-09 Akim Demaille <akim@epita.fr>
6
7 * src/files.c, src/files.h (output_infix): New.
8 (tab_extension): Remove.
9 (compute_base_names): Compute the former, drop the latter.
10 * src/output.c (prepare): Insert the muscles `output-infix', and
11 `output-suffix'.
12 * src/parse-skel.y (string, string.1): New.
13 (section.header): Use it.
14 (section.yacc): Remove.
15 (prefix): Remove too.
16 * src/scan-skel.l: Adjust.
17 * src/bison.simple, src/bison.hairy: Adjust.
18
19 2002-01-09 Akim Demaille <akim@epita.fr>
20
21 * configure.in (WERROR_CFLAGS): Compute it.
22 * src/Makefile.am (CFLAGS): Pass it.
23 * tests/atlocal.in (CFLAGS): Idem.
24 * src/files.c: Fix a few warnings.
25 (get_extension_index): Remove, unused.
26
27 2002-01-08 Akim Demaille <akim@epita.fr>
28
29 * src/getargs.c (AS_FILE_NAME): New.
30 (getargs): Use it to convert DOSish file names.
31 * src/files.c (base_name): Rename as full_base_name to avoid
32 clashes with `base_name ()'.
33 (filename_split): New.
34 (compute_base_names): N-th rewrite, using filename_split.
35
36 2002-01-08 Akim Demaille <akim@epita.fr>
37
38 * lib/basename.c, lib/dirname.h, lib/dirname.c, lib/memrchr.c:
39 New, stolen from the Fileutils 4.1.
40 * lib/Makefile.am (libbison_a_SOURCES): Adjust.
41 * configure.in: Check for the presence of memrchr, and of its
42 prototype.
43
44 2002-01-07 Tim Van Holder <tim.van.holder@pandora.be>
45
46 * lib/hash.h (__P): Added definition for this macro.
47 * src/Makefile.am: Add parse-skel.c and scan-skel.c to
48 BUILT_SOURCES, to ensure they are generated first.
49 * src/parse-skel.y: Use YYERROR_VERBOSE instead of
50 %error-verbose to allow bootstrapping with bison 1.30x.
51
52 2002-01-06 Akim Demaille <akim@epita.fr>
53
54 * src/reader.c (parse_braces): Don't fetch the next char, the
55 convention is to fetch on entry.
56 * tests/torture.at (GNU Cim Grammar): Reintroduce their weird
57 'switch' without a following semicolon.
58 * tests/regression.at (braces parsing): New.
59
60 2002-01-06 Akim Demaille <akim@epita.fr>
61
62 Bison is dead wrong in its RR conflict reports.
63
64 * tests/torture.at (GNU Cim Grammar): New.
65 * src/conflicts.c (count_rr_conflicts): Fix.
66
67 2002-01-06 Akim Demaille <akim@epita.fr>
68
69 Creating package.m4 from configure.ac causes too many problems.
70
71 * tests/Makefile.am (package.m4): Create it by hand,
72 AC_CONFIG_TESTDIR no longer does in the most recent CVS Autoconf.
73
74 2002-01-06 Akim Demaille <akim@epita.fr>
75
76 * src/Makefile.am (bison_SOURCES): Add parse-skel.h and
77 skeleton.h.
78
79 2002-01-04 Paul Eggert <eggert@twinsun.com>
80
81 * doc/bison.texinfo (Debugging):
82 Remove YYSTDERR; it's no longer defined or used.
83 Also, s/cstdio.h/cstdio/.
84
85 2002-01-03 Akim Demaille <akim@epita.fr>
86
87 * tests/bison.in, tests/atlocal.in: Adjust to CVS Autoconf.
88
89 2002-01-03 Akim Demaille <akim@epita.fr>
90
91 * src/parse-skel.y (process_skeleton): Don't bind the parser's
92 tracing code to --trace, wait for a better --trace option, with
93 args.
94
95 2002-01-03 Akim Demaille <akim@epita.fr>
96
97 * src/bison.simple (YYSTDERR): Remove, replace `stderr'.
98 The ISO C++ standard is extremely clear about it: stderr is
99 considered a macro, not a regular symbol (see table 94 `Header
100 <cstdio> synopsis', [lib.c.files] 27.8.2 C Library files).
101 Therefore std:: does not apply to it. It still does with fprintf.
102 Also, s/cstdio.h/cstdio/.
103
104 2002-01-03 Akim Demaille <akim@epita.fr>
105
106 * lib/quotearg.c: Use `#include "..."' instead of `#include <...>'
107 for non system headers.
108
109 2002-01-02 Akim Demaille <akim@epita.fr>
110
111 Equip the skeleton chain with location tracking, runtime trace,
112 pure parser and scanner.
113
114 * src/parse-skel.y: Request a pure parser, locations, and prefix
115 renaming.
116 (%union): Having several members with the same type does not help
117 type mismatches, simplify.
118 (YYPRINT, yyprint): New.
119 (yyerror): ``Rename'' (there is a #define yyerror skel_error) as...
120 (skel_error): this.
121 Handle locations.
122 * src/scan-skel.l: Adjust to these changes.
123 * src/skeleton.h (LOCATION_RESET, LOCATION_LINES, LOCATION_STEP)
124 (LOCATION_PRINT, skel_control_t): New.
125
126 2001-12-30 Akim Demaille <akim@epita.fr>
127
128 * src/parse-skel.y: Get rid of the shift/reduce conflict:
129 replace `gb' with BLANKS.
130 * src/scan-skel.l: Adjust.
131
132 2001-12-30 Akim Demaille <akim@epita.fr>
133
134 * src/system.h: We don't need nor want bcopy.
135 Throw away MS-DOS crap: we don't need getpid.
136 * configure.in: We don't need strndup. It was even causing
137 problems: because Flex includes the headers *before* us,
138 _GNU_SOURCE is not defined by config.h, and therefore strndup was
139 not visible.
140 * lib/xstrndup.c: New.
141 * src/scan-skel.l: Use it.
142 Be sure to initialize yylval.muscle member when scanning a MUSCLE.
143 * src/parse-skel.y: Use %directives instead of #defines.
144
145 2001-12-30 Akim Demaille <akim@epita.fr>
146
147 * src/skeleton.h: New.
148 * src/output.c (output_parser, output_master_parser): Remove, dead
149 code.
150 * src/output.h (get_lines_number, actions_output, guards_output)
151 (token_definitions_output): Prototype them.
152 * src/parse-skel.y: Add the license notice.
153 Include output.h and skeleton.h.
154 (process_skeleton): Returns void, and takes a single parameter.
155 * src/scan-skel.l: Add the license notice.
156 Include skeleton.h.
157 Don't use %option yylineno: it seems that then Flex imagines
158 REJECT has been used, and therefore it won't reallocate its
159 buffers (which makes no other sense to me than a bug). It results
160 in warnings for `unused: yy_flex_realloc'.
161
162 2001-12-30 Robert Anisko <robert.anisko@epita.fr>
163
164 * src/muscle_tab.h (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
165 (MUSCLE_INSERT_PREFIX): ...to there.
166 * src/output.c (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
167 (MUSCLE_INSERT_PREFIX): Move from here...
168
169 * src/bison.hairy: Add a section directive. Put braces around muscle
170 names. This parser skeleton is still broken, but Bison should not
171 choke on a bad muscle 'syntax'.
172 * src/bison.simple: Add a section directive. Put braces around muscle
173 names.
174
175 * src/files.h (strsuffix, stringappend): Add declarations.
176 (tab_extension): Add declaration.
177 (short_base_name): Add declaration.
178
179 * src/files.c (strsuffix, stringappend): No longer static. These
180 functions are used in the skeleton parser.
181 (tab_extension): New.
182 (compute_base_names): Use the computations done in this function
183 to guess if the generated parsers should have '.tab' in their
184 names.
185 (short_base_name): No longer static.
186
187 * src/output.c (output_skeleton): New.
188 (output): Disable call to output_master_parser, and give a try to
189 a new skeleton handling system.
190 (guards_output, actions_output): No longer static.
191 (token_definitions_output, get_lines_number): No longer static.
192
193 * configure.in: Use AM_PROG_LEX and AC_PROG_YACC.
194
195 * src/Makefile.am (bison_SOURCES): Add scan-skel.l and
196 parse-skel.y.
197
198 * src/parse-skel.y: New file.
199 * src/scan-skel.l: New file.
200
201 2001-12-29 Akim Demaille <akim@epita.fr>
202
203 %name-prefix is broken.
204
205 * src/files.c (spec_name_prefix): Initialize to NULL, not to "yy".
206 Adjust all dependencies.
207 * tests/headers.at (export YYLTYPE): Strengthen this test: use
208 %name-prefix.
209
210 Renaming yylval but not yylloc is not consistent. Now we do.
211
212 * src/bison.simple: Prefix yylloc if used.
213 * doc/bison.texinfo (Decl Summary): Document that.
214
215 2001-12-29 Akim Demaille <akim@epita.fr>
216
217 * doc/bison.texinfo: Promote `%long-directive' over
218 `%long_directive'.
219 Remove all references to fixed-output-files, yacc is enough.
220
221 2001-12-29 Akim Demaille <akim@epita.fr>
222
223 * src/bison.simple: Define YYDEBUG and YYERROR_VERBOSE *after* the
224 user prologue. These are defaults.
225 * tests/actions.at (Mid-rule actions): Make sure the user can
226 define YYDEBUG and YYERROR_VERBOSE.
227
228 2001-12-29 Akim Demaille <akim@epita.fr>
229
230 * src/output.c (header_output): Don't forget to export YYLTYPE and
231 yylloc.
232 * tests/headers.at (export YYLTYPE): New, make sure it does.
233 * tests/regression.at (%union and --defines, Invalid CPP headers):
234 Move to...
235 * tests/headers.at: here.
236
237 2001-12-29 Akim Demaille <akim@epita.fr>
238
239 * src/gram.h (rule_s): Member `assoc' is of type `associativity'.
240
241 2001-12-29 Akim Demaille <akim@epita.fr>
242
243 * tests/actions.at (Mid-rule actions): Output on a single line
244 instead of several.
245
246 2001-12-29 Akim Demaille <akim@epita.fr>
247
248 * doc/bison.texinfo: Formatting changes.
249
250 2001-12-29 Akim Demaille <akim@epita.fr>
251
252 Don't store the token defs in a muscle, just be ready to output it
253 on command. Now possible via `symbols'. Fixes a memory leak.
254
255 * src/output.c (token_definitions_output): New.
256 (output_parser, header_output): Use it.
257 * src/reader.c (symbols_save): Remove.
258
259 2001-12-29 Akim Demaille <akim@epita.fr>
260
261 * src/bison.simple: Do not provide a default for YYSTYPE and
262 YYLTYPE before the user's prologue. Otherwise it's hardly... a
263 default.
264
265 2001-12-29 Akim Demaille <akim@epita.fr>
266
267 Mid-rule actions are simply... ignored!
268
269 * src/reader.c (readgram): Be sure to attach mid-rule actions to
270 the empty-rule associated to the dummy symbol, not to the host
271 rule.
272 * tests/actions.at (Mid-rule actions): New.
273
274 2001-12-29 Akim Demaille <akim@epita.fr>
275
276 Memory leak.
277
278 * src/reader.c (reader): Free grammar.
279
280 2001-12-29 Akim Demaille <akim@epita.fr>
281
282 Memory leak.
283
284 * src/LR0.c (new_itemsets): Don't allocate `shift_symbol' here,
285 since it allocates it for each state, although only one is needed.
286 (allocate_storage): Do it here.
287
288 2001-12-29 Akim Demaille <akim@epita.fr>
289
290 * src/options.h, src/options.c (create_long_option_table): Rename
291 as...
292 (long_option_table_new): this, with a clearer prototype.
293 (percent_table): Remove, unused,
294 * src/getargs.c (getargs): Adjust.
295
296 2001-12-29 Akim Demaille <akim@epita.fr>
297
298 * src/LR0.c, src/conflicts.c, src/lalr.c, src/lalr.h, src/output.c
299 * src/print.c, src/print_graph.c, src/state.h: Rename state_table
300 as states.
301
302 2001-12-29 Akim Demaille <akim@epita.fr>
303
304 * src/lalr.c (build_relations): Rename `states' as `states1'.
305 Sorry, I don't understand exactly what it is, no better name...
306
307 2001-12-29 Akim Demaille <akim@epita.fr>
308
309 * src/closure.c, src/conflicts.c, src/derives.c, src/gram.c
310 * src/gram.h, src/lalr.c, src/nullable.c, src/output.c, src/print.c
311 * src/print_graph.c, src/reader.c, src/reduce.c: Rename rule_table
312 as rules.
313
314 2001-12-29 Akim Demaille <akim@epita.fr>
315
316 * src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long
317 ago.
318
319 2001-12-29 Akim Demaille <akim@epita.fr>
320
321 * src/reader.c, src/reader.h (user_toknums): Remove.
322 Adjust all users to use symbols[i]->user_token_number.
323
324 2001-12-29 Akim Demaille <akim@epita.fr>
325
326 * src/gram.c, src/gram.h (sprec, sassoc): Remove.
327 Adjust all users to use symbols[i]->prec or ->assoc.
328
329 2001-12-29 Akim Demaille <akim@epita.fr>
330
331 * src/reader.c, src/reader.h (tags): Remove.
332 Adjust all users to use symbols[i]->tag.
333
334 2001-12-29 Akim Demaille <akim@epita.fr>
335
336 * src/gram.h, src/gram.c (symbols): New, similar to state_table
337 and rule_table.
338 * src/reader.c (packsymbols): Fill this table.
339 Drop sprec.
340 * src/conflicts.c (resolve_sr_conflict): Adjust.
341 * src/reduce.c (reduce_grammar): Adjust: just sort symbols, a
342 single table.
343 Use symbols[i]->tag instead of tags[i].
344
345 2001-12-29 Akim Demaille <akim@epita.fr>
346
347 * tests/calc.at (_AT_DATA_CALC_Y): Also use %union.
348 In addition, put a comment in there, to replace...
349 * tests/regression.at (%union and C comments): Remove.
350
351 2001-12-29 Akim Demaille <akim@epita.fr>
352
353 * tests/regression.at (Web2c Actions): Blindly move the actual
354 output as expected output. The contents *seem* right to me, but I
355 can't pretend reading perfectly parser tables... Nonetheless, all
356 the other tests pass correctly, the table look OK, even though the
357 presence of `$axiom' is to be noted: AFAICS it is useless (but
358 harmless).
359
360 2001-12-29 Akim Demaille <akim@epita.fr>
361
362 * src/reader.c (readgram): Don't add the rule 0 if there were no
363 rules read. In other words, add it _after_ having performed
364 grammar sanity checks.
365 Fixes the `tests/regression.at (Invalid input: 1)' Failure.
366
367 2001-12-29 Akim Demaille <akim@epita.fr>
368
369 * tests/regression.at (Web2c Report): Catch up: the rule 0 is now
370 visible, and some states have now a different number.
371
372 2001-12-29 Akim Demaille <akim@epita.fr>
373
374 * src/reader.c (readgram): Bind the initial rule's lineno to that
375 of the first rule.
376 * tests/regression.at (Rule Line Numbers, Unresolved SR Conflicts):
377 (Solved SR Conflicts): Adjust rule 0's line number.
378
379 2001-12-29 Akim Demaille <akim@epita.fr>
380
381 Fix the `GAWK Grammar' failure.
382
383 * src/LR0.c (final_state): Initialize to -1 so that we do compute
384 the reductions of the first state which was mistakenly confused
385 with the final state because precisely final_state was initialized
386 to 0.
387 * tests/sets.at (Nullable): Adjust: state 0 does have lookaheads,
388 now noticed by Bison.
389 * tests/regression.at (Rule Line Numbers): Adjust: state 0 does
390 have a reduction on $default.
391
392 2001-12-29 Akim Demaille <akim@epita.fr>
393
394 * src/gram.c (ritem_print): Be sure to subtract 1 when displaying
395 rule line numbers.
396 * src/closure.c (print_closure): Likewise.
397 * src/derives.c (print_derives): Likewise.
398 * tests/sets.at (Nullable): Adjust: the rule numbers are correct
399 now.
400
401 2001-12-29 Akim Demaille <akim@epita.fr>
402
403 * src/lalr.c (lookaheads_print): New.
404 (lalr): Call it when --trace-flag.
405 * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
406 are dumped.
407
408 2001-12-29 Akim Demaille <akim@epita.fr>
409
410 * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',
411 when walking through ritem, even via rule->rhs.
412 * src/reduce.c (dump_grammar, useful_production, reduce_output)
413 (useful_production, useless_nonterminals): Likewise.
414 (reduce_grammar_tables): Likewise, plus update nritems.
415 * src/nullable.c (set_nullable): Likewise.
416 * src/lalr.c (build_relations): Likewise.
417 * tests/sets.at (Nullable): Adjust.
418 Fortunately, now, the $axiom is no longer nullable.
419
420 2001-12-29 Akim Demaille <akim@epita.fr>
421
422 * src/LR0.c (generate_states): Use nritems, not nitems, nor using
423 the 0-sentinel.
424 * src/gram.c (ritem_longest_rhs): Likewise.
425 * src/reduce.c (nonterminals_reduce): Likewise.
426 * src/print_graph.c (print_graph): Likewise.
427 * src/output.c (output_rule_data): Likewise.
428 * src/nullable.c (set_nullable): Likewise.
429
430 2001-12-29 Akim Demaille <akim@epita.fr>
431
432 * src/output.c: Comment changes.
433
434 2001-12-27 Paul Eggert <eggert@twinsun.com>
435
436 * src/bison.simple (YYSTACK_ALLOC, YYSIZE_T): Remove special
437 cases for non-GNU systems like AIX, HP-UX, SGI, Sun, and
438 Sparc, as they were causing more porting problems than the
439 (minor) performance improvement was worth.
440
441 Also, catch up with 1.31's YYSTD.
442
443 2001-12-27 Akim Demaille <akim@epita.fr>
444
445 * src/output.c (output_gram): Rely on nritems, not the
446 0-sentinel. See below.
447 Use -1 as separator, not 0.
448 * src/bison.simple (yyparse): Subtract 1 to the rule numbers.
449 Rely on -1 as separator in yyrhs, instead of 0.
450 * tests/calc.at (AT_CHECK_CALC): Now, the parsers no longer issue
451 twice `Now at end of input', therefore there are two lines less to
452 expect.
453
454 2001-12-27 Akim Demaille <akim@epita.fr>
455
456 * tests/regression.at (Unresolved SR Conflicts):
457 (Solved SR Conflicts, Rule Line Numbers): Adjust to the changes
458 below.
459
460 2001-12-27 Akim Demaille <akim@epita.fr>
461
462 * src/LR0.c (new_state): Recognize the final state by the fact it
463 is reached by eoftoken.
464 (insert_start_shifting_state, insert_eof_shifting_state)
465 (insert_accepting_state, augment_automaton): Remove, since now
466 these states are automatically computed from the initial state.
467 (generate_states): Adjust.
468 * src/print.c: When reporting a rule number to the user, substract
469 1, so that the axiom rule is rule 0, and the first user rule is 1.
470 * src/reduce.c: Likewise.
471 * src/print_graph.c (print_core): For the time being, just as for
472 the report, depend upon --trace-flags to dump the full set of
473 items.
474 * src/reader.c (readgram): Once the grammar read, insert the rule
475 0: `$axiom: START-SYMBOL $'.
476 * tests/set.at: Adjust: rule 0 is now displayed, and since the
477 number of the states has changed (the final state is no longer
478 necessarily the last), catch up.
479
480 2001-12-27 Akim Demaille <akim@epita.fr>
481
482 Try to make the use of the eoftoken valid. Given that its value
483 is 0 which was also used as a sentinel in ritem, (i) make sure >= 0
484 is used instead of > 0 where appropriate, (ii), depend upon nritems
485 instead of the 0-sentinel.
486
487 * src/gram.h, src/gram.c (nritems): New.
488 Expected to be duplication of nitems, but for the time being...
489 * src/reader.c (packgram): Assert nritems and nitems are equal.
490 * src/LR0.c (allocate_itemsets, new_itemsets): Adjust.
491 * src/closure.c (print_closure, print_fderives): Likewise.
492 * src/gram.c (ritem_print): Likewise.
493 * src/print.c (print_core, print_grammar): Likewise.
494 * src/print_graph.c: Likewise.
495
496 2001-12-27 Akim Demaille <akim@epita.fr>
497
498 * src/main.c (main): If there are complains after grammar
499 reductions, then output the report anyway if requested, then die.
500 * src/symtab.c (bucket_new): Initialize `value' to -1, not 0.
501 * src/reader.c (eoftoken): New.
502 (parse_token_decl): If the token being defined has value `0', it
503 is the eoftoken.
504 (packsymbols): No longer hack `tags' to insert `$' by hand.
505 Be sure to preserve the value of the eoftoken.
506 (reader): Make sure eoftoken is defined.
507 Initialize nsyms to 0: now eoftoken is created just like the others.
508 * src/print.c (print_grammar): Don't special case the eof token.
509 * src/regression.at: Adjust: `$' has value 0, not -1, which was a
510 lie anyway, albeit pleasant.
511 * tests/calc.at: Exercise error messages with eoftoken.
512 Change the grammar so that empty input is invalid.
513 Adjust expectations.
514 When yyungeting, be sure to use a valid yylloc: use last_yylloc.
515
516 2001-12-27 Akim Demaille <akim@epita.fr>
517
518 * configure.in: Check the protos of strchr ans strspn.
519 Replace strchr if needed.
520 * src/system.h: Provide the protos of strchr, strspn and memchr if
521 missing.
522 * lib/strchr.c: New.
523 * src/reader.c (symbols_save): Use strchr.
524
525 2001-12-27 Akim Demaille <akim@epita.fr>
526
527 * src/print.c, src/print_graph.c (escape): New.
528 Use it to quote the TAGS outputs.
529 * src/print_graph.c (print_state): Now errors are in red, and
530 reductions in green.
531 Prefer high to wide: output the state number on a line of its own.
532
533 2001-12-27 Akim Demaille <akim@epita.fr>
534
535 * src/state.h, src/state.c (reductions_new): New.
536 * src/LR0.c (set_state_table): Let all the states have a
537 `reductions', even if reduced to 0.
538 (save_reductions): Adjust.
539 * src/lalr.c (initialize_LA, initialize_lookaheads): Adjust.
540 * src/print.c (print_reductions, print_actions): Adjust.
541 * src/output.c (action_row): Adjust.
542
543 2001-12-27 Akim Demaille <akim@epita.fr>
544
545 * src/state.h, src/state.c (errs_new, errs_dup): New.
546 * src/LR0.c (set_state_table): Let all the states have an errs,
547 even if reduced to 0.
548 * src/print.c (print_errs, print_reductions): Adjust.
549 * src/output.c (output_actions, action_row): Adjust.
550 * src/conflicts.c (resolve_sr_conflict): Adjust.
551
552 2001-12-27 Akim Demaille <akim@epita.fr>
553
554 * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.
555
556 2001-12-27 Akim Demaille <akim@epita.fr>
557
558 * src/conflicts.c, src/conflicts.h (print_reductions): Move to...
559 * src/print.c: here.
560 (lookaheadset, shiftset): New, used as additional storage by
561 print_reductions.
562 (print_results): Adjust.
563 (print_shifts, print_gotos, print_errs): New, extracted from...
564 (print_actions): here.
565 * src/print_graph.c (print_actions): Remove dead code.
566
567 2001-12-27 Akim Demaille <akim@epita.fr>
568
569 * src/reader.c (copy_dollar, copy_at): Better checking of `n' in
570 `$n' and `@n'.
571
572 2001-12-27 Akim Demaille <akim@epita.fr>
573
574 * src/lalr.c (add_lookback_edge): Use state_t instead of ints.
575 (build_relations): Adjust.
576
577 2001-12-27 Akim Demaille <akim@epita.fr>
578
579 * src/lalr.c (set_goto_map): Remove a wrong but benign loop
580 duplication.
581
582 2001-12-27 Akim Demaille <akim@epita.fr>
583
584 * src/reader.c (packgram): Catch nitems overflows.
585
586 2001-12-27 Akim Demaille <akim@epita.fr>
587
588 * src/files.c, src/files.h (guard_obstack): Remove.
589 * src/output.c (output): Adjust.
590 * src/reader.c (parse_braces): New, factoring...
591 (copy_action, copy_guard): these two which are renamed as...
592 (parse_action, parse_guard): these.
593 As a voluntary consequence, using braces around guards is now
594 mandatory.
595
596 2001-12-27 Akim Demaille <akim@epita.fr>
597
598 * src/gram.h (rule_t): `guard' and `guard_line' are new members.
599 * src/reader.c (symbol_list): `guard' and `guard_line' are new
600 members.
601 (symbol_list_new): Adjust.
602 (copy_action): action_line is the first line, not the last.
603 (copy_guard): Just as for actions, store the `action' only, not
604 the switch/case/break flesh.
605 Don't parse the user action that might follow the guard, let...
606 (readgram): do it, i.e., now, there can be an action after a
607 guard.
608 In other words the guard is just explicitly optional.
609 (packgram): Adjust.
610 * src/output.c (guards_output): New.
611 (output_parser): Call it when needed.
612 (output): Also free the guard and attrs obstacks.
613 * src/files.c, src/files.h (obstack_save): Remove.
614 (output_files): Remove.
615 As a result, if one needs the former `.act' file, using an
616 appropriate skeleton which requires actions and guards is now
617 required.
618 * src/main.c (main): Adjust.
619 * tests/semantic.at: New.
620 * tests/regression.at: Use `input.y' as input file name.
621 Avoid 8+3 problems by requiring input.c when the test needs the
622 parser.
623
624 2001-12-27 Akim Demaille <akim@epita.fr>
625
626 * src/reader.c (symbol_list_new): Be sure to initialize all the
627 fields.
628
629 2001-12-27 Akim Demaille <akim@epita.fr>
630
631 All the hacks using a final pseudo state are now useless.
632
633 * src/LR0.c (set_state_table): state_table holds exactly nstates.
634 * src/lalr.c (nLA): New.
635 (initialize_LA, compute_lookaheads, initialize_lookaheads): Use it
636 instead of lookaheadsp from the pseudo state (nstate + 1).
637
638 2001-12-27 Akim Demaille <akim@epita.fr>
639
640 * src/output.c (action_row, token_actions): Use a state_t instead
641 of a integer, and nlookaheads instead of the following state's
642 lookaheadsp.
643
644 2001-12-27 Akim Demaille <akim@epita.fr>
645
646 * src/conflicts.c (log_resolution, flush_shift)
647 (resolve_sr_conflict, set_conflicts, solve_conflicts)
648 (count_sr_conflicts, count_rr_conflicts, conflicts_output)
649 (conflicts_print, print_reductions): Use a state_t instead of an
650 integer when referring to a state.
651 As much as possible, depend upon nlookaheads, instead of the
652 `lookaheadsp' member of the following state (since lookaheads of
653 successive states are successive, the difference between state n + 1
654 and n served as the number of lookaheads for state n).
655 * src/lalr.c (add_lookback_edge): Likewise.
656 * src/print.c (print_core, print_actions, print_state)
657 (print_results): Likewise.
658 * src/print_graph.c (print_core, print_actions, print_state)
659 (print_graph): Likewise.
660 * src/conflicts.h: Adjust.
661
662 2001-12-27 Akim Demaille <akim@epita.fr>
663
664 * src/bison.hairy: Formatting/comment changes.
665 ANSIfy.
666 Remove `register' indications.
667 Add plenty of `static'.
668
669 2001-12-27 Akim Demaille <akim@epita.fr>
670
671 * src/output.c (prepare): Drop the muscle `ntbase' which
672 duplicates ntokens.
673 * src/bison.simple: Formatting/comment changes.
674 Use YYNTOKENS only, which is documented, but not YYNTBASE, which
675 is an undocumented synonym.
676
677 2001-12-22 Akim Demaille <akim@epita.fr>
678
679 * src/output.c (output_table_data): Change the prototype to use
680 `int' for array ranges: some invocations do pass an int, not a
681 short.
682 Reported by Wayne Green.
683
684 2001-12-22 Akim Demaille <akim@epita.fr>
685
686 Some actions of web2c.y are improperly triggered.
687 Reported by Mike Castle.
688
689 * src/lalr.c (traverse): s/F (i)[k] = F (j)[k]/F (j)[k] = F (i)[k]/.
690 * tests/regression.at (Web2c): Rename as...
691 (Web2c Report): this.
692 (Web2c Actions): New.
693
694 2001-12-22 Akim Demaille <akim@epita.fr>
695
696 Reductions in web2c.y are improperly reported.
697 Reported by Mike Castle.
698
699 * src/conflicts.c (print_reductions): Fix.
700 * tests/regression.at (Web2c): New.
701
702 2001-12-18 Akim Demaille <akim@epita.fr>
703
704 Some host fail on `assert (!"foo")', which expands to
705 ((!"foo") ? (void)0 : __assert("!"foo."", __FILE__, __LINE__))
706 Reported by Nelson Beebee.
707
708 * src/output.c, src/vcg.c: Replace `assert (!"it succeeded")' with
709 `#define it_succeeded 0' and `assert (it_succeeded)'.
710
711 2001-12-17 Marc Autret <autret_m@epita.fr>
712
713 * src/bison.simple: Don't hard code the skeleton line and filename.
714 * src/output.c (output_parser): Rename 'line' as 'output_line'.
715 New line counter 'skeleton_line' (skeleton-line muscle).
716
717 2001-12-17 Paul Eggert <eggert@twinsun.com>
718
719 * NEWS, doc/bison.texinfo, doc/bison.1, doc/bison.rnh: Document that
720 YYDEBUG must be defined to a nonzero value.
721
722 * src/bison.simple (yytname): Do not assume that the user defines
723 YYDEBUG to a properly parenthesized expression.
724
725 2001-12-17 Akim Demaille <akim@epita.fr>
726
727 * src/state.h (state_t): Rename lookaheads as lookaheadsp.
728 nlookaheads is a new member.
729 Adjust all users.
730 * src/lalr.h (nlookaheads): Remove this orphan declaration.
731 * src/lalr.c (initialize_lookaheads): Set nlookaheads for each
732 state.
733
734 2001-12-17 Akim Demaille <akim@epita.fr>
735
736 * src/files.h, src/files.c (open_files, close_files): Remove.
737 * src/main.c (main): Don't open/close files, nor invoke lex_free,
738 let...
739 * src/reader.c (reader): Do it.
740
741 2001-12-17 Akim Demaille <akim@epita.fr>
742
743 * src/conflicts.c (print_reductions): Formatting changes.
744
745 2001-12-17 Akim Demaille <akim@epita.fr>
746
747 * src/conflicts.c (flush_shift): Also adjust lookaheadset.
748 (flush_reduce): New.
749 (resolve_sr_conflict): Adjust.
750
751 2001-12-17 Akim Demaille <akim@epita.fr>
752
753 * src/output.c (output_obstack): Be static and rename as...
754 (format_obstack): this, to avoid any confusion with files.c's
755 output_obstack.
756 * src/reader.h (muscle_obstack): Move to...
757 * src/output.h: here, since it's defined in output.c.
758
759 2001-12-17 Akim Demaille <akim@epita.fr>
760
761 * src/output.c (action_row, save_column, default_goto)
762 (sort_actions, matching_state, pack_vector): Better variable
763 locality.
764
765 2001-12-17 Akim Demaille <akim@epita.fr>
766
767 * src/output.c: Various formatting changes.
768
769 2001-12-17 Akim Demaille <akim@epita.fr>
770
771 * src/files.c (output_files): Free the output_obstack.
772 * src/main.c (main): Call print and print_graph conditionally.
773 * src/print.c (print): Work unconditionally.
774 * src/print_graph.c (print_graph): Work unconditionally.
775 * src/conflicts.c (log_resolution): Output only if verbose_flag.
776
777 2001-12-16 Marc Autret <autret_m@epita.fr>
778
779 * src/output.c (actions_output): Fix. When we use %no-lines,
780 there is one less line per action.
781
782 2001-12-16 Marc Autret <autret_m@epita.fr>
783
784 * src/bison.simple: Remove a useless #line directive.
785 s/#line %%line %%skeleton/#line %%line "%%parser-file-name"/'.
786 * src/output.c (get_lines_number): New.
787 (output_parser): Adjust, now takes care about the lines of a
788 output muscles.
789 Fix line numbering.
790 (actions_output): Computes the number of lines taken by actions.
791 (output_master_parser): Insert new skeleton which is the name of
792 the output parser file name.
793
794 2001-12-15 Marc Autret <autret_m@epita.fr>
795
796 * src/bison.simple [YYERROR_VERBOSE]: Restore backward compatibility.
797
798 2001-12-15 Marc Autret <autret_m@epita.fr>
799
800 * src/output.c (output_gram): Keep track of the hairy one.
801
802 2001-12-15 Akim Demaille <akim@epita.fr>
803
804 Make `make distcheck' work.
805
806 * lib/Makefile.am (INCLUDES): Add top_srcdir/intl, since hash uses
807 system.h which uses libgettext.h.
808
809 2001-12-15 Akim Demaille <akim@epita.fr>
810
811 * src/nullable.c (set_nullable): Useless rules must be skipped,
812 otherwise, since we range over their symbols, we might look at a
813 nonterminal which no longer ``exists'', i.e., it is not counted in
814 `nvars', hence we overflow our arrays.
815
816 2001-12-15 Akim Demaille <akim@epita.fr>
817
818 The header can also be produced directly, without any obstack!
819 Yahoo!
820
821 * src/files.c, src/files.h (defines_obstack): Remove.
822 (compute_header_macro): Global.
823 (defines_obstack_save): Remove.
824 * src/reader.c (parse_union_decl): No longer output to
825 defines_obstack: its content can be found in the `stype' muscle
826 anyway.
827 (output_token_translations): Merge into...
828 (symbols_output): this.
829 Rename as...
830 (symbols_save): this.
831 (reader): Adjust.
832 * src/output.c (header_output): New.
833 (output): Call it.
834
835 2001-12-15 Akim Demaille <akim@epita.fr>
836
837 * src/reader.c (parse_union_decl): Instead of handling two obstack
838 simultaneously, use one to define the `stype' muscle, and use the
839 value of the latter to fill defines_obstack.
840 (copy_comment): Remove.
841 (copy_comment2): Work for a single obstack.
842 Rename as...
843 (copy_comment): this.
844
845 2001-12-15 Akim Demaille <akim@epita.fr>
846
847 * src/lex.c, src/lex.h (xgetc): No longer static.
848 * src/reader.c (parse_union_decl): Revamp.
849
850 2001-12-15 Akim Demaille <akim@epita.fr>
851
852 Still making progress in separating Bison into (i) input, (ii)
853 process, (iii) output: now we can directly output the parser file
854 without using table_obstack at all.
855
856 * src/files.c, src/files.h (table_obstack): Bye bye.
857 (parser_file_name): New.
858 * src/files.c (compute_output_file_names): Compute it.
859 * src/output.c (actions_output, output_parser)
860 (output_master_parser): To a file instead of an obstack.
861
862 2001-12-15 Akim Demaille <akim@epita.fr>
863
864 Attach actions to rules, instead of pre-outputting them to
865 actions_obstack.
866
867 * src/gram.h (rule_t): action and action_line are new members.
868 * src/reader.c (symbol_list): Likewise.
869 (copy_action): Save the actions within the rule.
870 (packgram): Save them in rule_table.
871 * src/output.c (actions_output): New.
872 (output_parser): Use it on `%%actions'.
873 (output_rule_data): Don't free rule_table.
874 (output): Do it.
875 (prepare): Don't save the `action' muscle.
876 * src/bison.simple: s/%%action/%%actions/.
877
878 2001-12-15 Akim Demaille <akim@epita.fr>
879
880 * src/reader.c (copy_action): When --yacc, don't append a `;'
881 to the user action: let it fail if lacking.
882 Suggested by Arnold Robbins and Tom Tromey.
883
884 2001-12-14 Akim Demaille <akim@epita.fr>
885
886 * src/lex.c (literalchar): Simply return the char you decoded, non
887 longer mess around with obstacks and int pointers.
888 Adjust all callers.
889
890 2001-12-14 Akim Demaille <akim@epita.fr>
891
892 * src/lex.c (literalchar): Don't escape the special characters,
893 just decode them, and keep them as char (before, eol was output as
894 the 2 char string `\n' etc.).
895 * src/output.c (output_rule_data): Use quotearg to output the
896 token strings.
897
898 2001-12-13 Paul Eggert <eggert@twinsun.com>
899
900 * src/bison.simple (YYSIZE_T, YYSTACK_ALLOC, YYSTACK_FREE):
901 Do not infringe on the global user namespace when using C++.
902 (YYFPRINTF, YYSTDERR): New macros, needed for the above.
903 All uses of `fprintf' and `stderr' changed.
904
905 * doc/bison.texinfo: Document YYFPRINTF, YYSTDERR.
906
907 2001-12-13 Akim Demaille <akim@epita.fr>
908
909 The computation of nullable is broken: it doesn't handle empty
910 RHS's properly.
911
912 * tests/torture.at (GNU AWK Grammar): New.
913 * tests/sets.at (Nullable): New.
914 * src/nullable.c (set_nullable): Instead of blindly looping over
915 `ritems', loop over the rules, and then over their rhs's.
916
917 Work around Autotest bugs.
918
919 * src/warshall.c (bitmatrix_print): Don't use `+--+' as table
920 frame, because Autotest understand lines starting with a `+' as
921 traces from the shell. Then, they are not processed properly.
922 Admittedly an Autotest bug, but we don't have time to wait for
923 Autotest to catch up.
924 * tests/regression.at (Broken Closure): Adjust to the new table
925 frames.
926 Move to...
927 * tests/sets.at: here.
928
929 2001-12-13 Akim Demaille <akim@epita.fr>
930
931 * src/closure.c (closure): Use nrules instead of playing tricks
932 with BITS_PER_WORD.
933
934 2001-12-13 Akim Demaille <akim@epita.fr>
935
936 * src/print.c (print_actions): Output the handling of `$' as the
937 traces do: shifting the token EOF. Before EOF was treated as a
938 nonterminal.
939 * tests/regression.at: Adjust some tests.
940 * src/print_graph.c (print_core): Complete the set of items via
941 closure. The next-to-final and final states are still unsatisfying,
942 but that's to be addressed elsewhere.
943 No longer output the rule numbers, but do output the state number.
944 A single loop for the shifts + gotos is enough, but picked a
945 distinct color for each.
946 (print_graph): Initialize and finalize closure.
947
948 2001-12-13 Akim Demaille <akim@epita.fr>
949
950 * src/reader.c (readgram): Remove dead code, an strip useless
951 braces.
952 (get_type): Remove, unused.
953
954 2001-12-12 Akim Demaille <akim@epita.fr>
955
956 * src/complain.h, src/complain.c: Remove error_one_per_line, rely
957 on that of lib/error.c.
958
959 2001-12-12 Akim Demaille <akim@epita.fr>
960
961 Some hosts don't like `/' in includes.
962
963 * src/system.h: Include libgettext.h without qualifying the path.
964 * src/Makefile.am (INCLUDES): Add $(top_srcdir)/intl, remove
965 $(top_srcdir).
966
967 2001-12-11 Marc Autret <autret_m@epita.fr>
968
969 * src/output.c (output_parser): Remove useless muscle.
970
971 2001-12-11 Marc Autret <autret_m@epita.fr>
972
973 * src/bison.simple: Remove #line just before %%epilogue. It
974 is now handled in ...
975 * src/reader.c (read_additionnal_code): Add the output of a
976 #line for the epilogue.
977
978 2001-12-10 Marc Autret <autret_m@epita.fr>
979
980 * src/reader.c (copy_definition): Re-use CPP-outed code which
981 replace precedent remove.
982 * src/bison.simple: Remove #line before %%prologue because
983 %%input-line is wrong at this time.
984
985 2001-12-10 Marc Autret <autret_m@epita.fr>
986
987 * src/reader.c (symbols_output): Clean up.
988 * src/output.c (output_gram, output): Clean up.
989
990 2001-12-10 Akim Demaille <akim@epita.fr>
991
992 * src/lalr.c (initialize_lookaheads): New. Extracted from...
993 * src/LR0.c (set_state_table): here.
994 * src/lalr.c (lalr): Call it.
995
996 2001-12-10 Akim Demaille <akim@epita.fr>
997
998 * src/state.h (shifts): Remove the `number' member: shifts are
999 attached to state, hence no longer need to be labelled with a
1000 state number.
1001
1002 2001-12-10 Akim Demaille <akim@epita.fr>
1003
1004 Now that states have a complete set of members, the linked list of
1005 shifts is useless: just fill directly the state's shifts member.
1006
1007 * src/state.h (shifts): Remove the `next' member.
1008 * src/LR0.c (first_state, last_state): Remove.
1009 Adjust the callers.
1010 (augment_automaton): Don't look for the shifts that must be added
1011 a shift on EOF: it is those of the state we looked for! But now,
1012 since shifts are attached, it is no longer needed to looking
1013 merely by its id: its number.
1014
1015 2001-12-10 Akim Demaille <akim@epita.fr>
1016
1017 * src/LR0.c (augment_automaton): Better variable locality.
1018 Remove an impossible branch: if there is a state corresponding to
1019 the start symbol being shifted, then there is shift for the start
1020 symbol from the initial state.
1021
1022 2001-12-10 Akim Demaille <akim@epita.fr>
1023
1024 * src/LR0.c (augment_automaton): Call `insert_eof_shifting_state'
1025 only when appropriate: when insert_start_shifting_state' is not
1026 invoked.
1027 * tests/regression.at (Rule Line Numbers): Adjust.
1028
1029 2001-12-10 Akim Demaille <akim@epita.fr>
1030
1031 * src/LR0.c (augment_automaton): Now that all states have shifts,
1032 merge the two cases addition shifts to the initial state.
1033
1034 2001-12-10 Akim Demaille <akim@epita.fr>
1035
1036 * src/lalr.c (set_state_table): Move to...
1037 * src/LR0.c: here.
1038 * src/lalr.c (lalr): Don't call it...
1039 * src/LR0.c (generate_states): do it.
1040 * src/LR0.h (first_state): Remove, only the table is used.
1041
1042 2001-12-10 Akim Demaille <akim@epita.fr>
1043
1044 * src/LR0.h (first_shift, first_reduction): Remove.
1045 * src/lalr.c: Don't use first_shift: find shifts through the
1046 states.
1047
1048 2001-12-10 Akim Demaille <akim@epita.fr>
1049
1050 * src/LR0.c: Attach shifts to states as soon as they are
1051 computed.
1052 * src/lalr.c (set_state_table): Instead of assigning shifts to
1053 state, just assert that the mapping was properly done.
1054
1055 2001-12-10 Akim Demaille <akim@epita.fr>
1056
1057 * src/LR0.c (insert_start_shift): Rename as...
1058 (insert_start_shifting_state): this.
1059 (insert_eof_shifting_state, insert_accepting_state): New.
1060 (augment_automaton): Adjust.
1061 Better locality of the variables.
1062 When looking if the start_symbol is shifted from the initial
1063 state, using `while (... symbol != start_symbol ...)' sounds
1064 better than `while (... symbol < start_symbol ...)': If fail
1065 to see how the order between symbols could be relevant!
1066
1067 2001-12-10 Akim Demaille <akim@epita.fr>
1068
1069 * src/getargs.h: Don't declare `spec_name_prefix' and
1070 `spec_file_prefix', declared by src/files.h.
1071 * src/files.c, src/files.h: Default for spec_name_prefix is "yy".
1072 * src/muscle_tab.c (muscle_init): Default prefix to NULL.
1073 * src/output.c (prepare): Adjust.
1074 * src/reader.c (symbols_output): Likewise.
1075 * src/vmsgetargs.c: Vaguely adjust, but who cares?
1076
1077 2001-12-10 Akim Demaille <akim@epita.fr>
1078
1079 * src/muscle_tab.c (muscle_init): NULL is a better default than
1080 `"0"'.
1081
1082 2001-12-10 Akim Demaille <akim@epita.fr>
1083
1084 * src/reader.c (reader): Calling symbols_output once is enough.
1085
1086 2001-12-10 Akim Demaille <akim@epita.fr>
1087
1088 Now that states have a complete set of members, the linked list of
1089 reductions is useless: just fill directly the state's reductions
1090 member.
1091
1092 * src/state.h (struct reductions): Remove member `number' and
1093 `next'.
1094 * src/LR0.c (first_reduction, last_reduction): Remove.
1095 (save_reductions): Don't link the new reductions, store them in
1096 this_state.
1097 * src/lalr.c (set_state_table): No need to attach reductions to
1098 states, it's already done.
1099 * src/output.c (output_actions): No longer free the shifts, then
1100 the reductions, then the states: free all the states and their
1101 members.
1102
1103 2001-12-10 Akim Demaille <akim@epita.fr>
1104
1105 * src/options.c (OPTN, DRTV, BOTH): New.
1106 (option_table): Use them.
1107
1108 * src/muscle_tab.c: Don't include xalloc.h and string.h: that's
1109 the job of system.h.
1110 * src/options.c: Don't include stdio.h and xalloc.h for the same
1111 reasons.
1112
1113 2001-12-10 Akim Demaille <akim@epita.fr>
1114
1115 * src/output.c (output, prepare): Make sure the values of the
1116 muscles `action' and `prologue' are 0-terminated.
1117
1118 2001-12-10 Akim Demaille <akim@epita.fr>
1119
1120 Clean up GCC warnings.
1121
1122 * src/reader.c (copy_action): `buf' is not used.
1123 (parse_skel_decl): Be static.
1124 * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'.
1125 * src/options.h (create_long_option_table): Have a real prototype.
1126 * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete)
1127 (hash_delete_at): Return const void *.
1128 Adjust casts to preserve the const.
1129
1130 2001-12-10 Akim Demaille <akim@epita.fr>
1131
1132 * configure.in: Require 2.52g.
1133 M4 is not needed, but AUTOM4TE is.
1134 * m4/m4.m4: Remove.
1135 * tests/Makefile.am: Adjust.
1136
1137 2001-12-10 Akim Demaille <akim@epita.fr>
1138
1139 One structure for states is enough, even though theoretically
1140 there are LR(0) states and LALR(1) states.
1141
1142 * src/lalr.h (state_t): Remove.
1143 (state_table): Be state_t **, not state_t *.
1144 * src/state.h (core, CORE_ALLOC): Rename as...
1145 (state_t, STATE_ALLOC): this.
1146 Add the LALR(1) members: shifts, reductions, errs.
1147 * src/LR0.c (state_table): Rename as...
1148 (state_hash): this, to avoid name clashes with the global
1149 `state_table'.
1150 * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
1151 * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
1152
1153 2001-12-10 Akim Demaille <akim@epita.fr>
1154
1155 Bison dumps core on bash.y.
1156 Reported by Pascal Bart.
1157
1158 * src/warshall.c (bitmatrix_print): New.
1159 (TC): Use it.
1160 When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
1161 j must be the outer loop.
1162 * tests/regression.at (Broken Closure): New.
1163
1164 2001-12-05 Akim Demaille <akim@epita.fr>
1165
1166 * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and
1167 its argument.
1168 Reported by Peter Hámorský.
1169
1170 2001-12-05 Akim Demaille <akim@epita.fr>
1171
1172 * src/conflicts.c (err_table): Remove.
1173 (resolve_sr_conflict): Adjust.
1174 * src/lalr.h (state_t.reduction_table, state_t.shift_table):
1175 Rename as...
1176 (state_t.reductions, state_t.shifts): this.
1177
1178 2001-12-05 Akim Demaille <akim@epita.fr>
1179
1180 * src/reduce.c (reduce_grammar_tables): No longer disable the
1181 removal of useless rules via CPP but via `if (0)', so that the
1182 compiler still check the code is valid.
1183 For instance, it should have noticed `rline' no longer exists: use
1184 the `line' member of rule_t.
1185 * src/gram.c (dummy, rline): Remove, unused.
1186
1187 2001-12-05 Akim Demaille <akim@epita.fr>
1188
1189 * src/output.c (pack_vector): Use assert, not berror.
1190 * src/main.c (berror): Remove, unused.
1191
1192 2001-12-05 Akim Demaille <akim@epita.fr>
1193
1194 New experimental feature: if --verbose --trace output all the
1195 items of a state, not only its kernel.
1196
1197 * src/print.c (print_core): If `trace_flag', then invoke closure
1198 before outputting the items of the state (print_core is no longer
1199 a correct name them).
1200 (print_results): Invoke new_closure/free_closure if needed.
1201
1202 2001-12-05 Akim Demaille <akim@epita.fr>
1203
1204 * src/LR0.c (new_itemsets): Use nshifts only, not shiftcount.
1205 * src/closure.c, src/closure.h (itemsetsize): Rename as...
1206 (nitemset): for consistency with the rest of the project.
1207
1208 2001-12-05 Akim Demaille <akim@epita.fr>
1209
1210 * src/closure.c (print_closure): Improve.
1211 (closure): Use it for printing input and output.
1212
1213 2001-12-05 Akim Demaille <akim@epita.fr>
1214
1215 * src/closure.c (FIRSTS, FDERIVES): Adjust to reality: they are
1216 indexed by nonterminals.
1217
1218 2001-12-05 Akim Demaille <akim@epita.fr>
1219
1220 * src/warshall.c (TC, RTC): De-obsfucate (source reduced to 22% of
1221 what it was!).
1222 * src/warshall.h: Remove accidental duplication of the content.
1223
1224 2001-12-05 Akim Demaille <akim@epita.fr>
1225
1226 * src/closure.c (set_fderives): De-obfuscate.
1227
1228 2001-12-05 Akim Demaille <akim@epita.fr>
1229
1230 * src/closure.c (print_firsts, print_fderives): De-obfuscate.
1231
1232 2001-12-05 Akim Demaille <akim@epita.fr>
1233
1234 * src/closure.c (set_firsts): De-obfuscate.
1235
1236 2001-12-05 Akim Demaille <akim@epita.fr>
1237
1238 * src/output.c (action_row): De-obfuscate
1239 using the good o' techniques: arrays not pointers, variable
1240 locality, BITISSET, RESETBIT etc.
1241
1242 2001-12-05 Akim Demaille <akim@epita.fr>
1243
1244 Pessimize the code to simplify it: from now on, all the states
1245 have a valid SHIFTS, which NSHIFTS is possibly 0.
1246
1247 * src/LR0.c (shifts_new): Be global and move to..
1248 * src/state.c, src/state.h: here.
1249 * src/conflicts, src/lalr.c, src/output.c, src/print.c,
1250 * src/print_graph: Adjust.
1251
1252 2001-12-05 Akim Demaille <akim@epita.fr>
1253
1254 * src/state.h (SHIFT_DISABLE, SHIFT_IS_DISABLED): New.
1255 * src/conflicts.c: Use it.
1256 Restore a few missing `if (!SHIFT_IS_DISABLED)' which were
1257 incorrectly ``simplified''.
1258
1259 2001-12-05 Akim Demaille <akim@epita.fr>
1260
1261 * src/conflicts.c (flush_shift, resolve_sr_conflict): De-obfuscate
1262 using the good o' techniques: arrays not pointers, variable
1263 locality, BITISSET, RESETBIT etc.
1264
1265 2001-12-05 Akim Demaille <akim@epita.fr>
1266
1267 * src/state.h (SHIFT_SYMBOL): New.
1268 * src/conflicts.c: Use it to deobfuscate.
1269
1270 2001-12-05 Akim Demaille <akim@epita.fr>
1271
1272 * src/conflicts.c (count_sr_conflicts, count_rr_conflicts)
1273 (print_reductions): De-obfuscate using the good o' techniques:
1274 arrays not pointers, variable locality, BITISSET.
1275
1276 2001-12-05 Akim Demaille <akim@epita.fr>
1277
1278 * src/conflicts.c (print_reductions): Arrays, not pointers.
1279 Use BITISSET.
1280
1281 2001-12-05 Akim Demaille <akim@epita.fr>
1282
1283 * src/conflicts.c (print_reductions): Pessimize, but clarify.
1284
1285 2001-12-05 Akim Demaille <akim@epita.fr>
1286
1287 * src/conflicts.c (print_reductions): Improve variable locality.
1288
1289 2001-12-05 Akim Demaille <akim@epita.fr>
1290
1291 * src/conflicts.c (print_reductions): Pessimize, but clarify.
1292
1293 2001-12-05 Akim Demaille <akim@epita.fr>
1294
1295 * src/conflicts.c (print_reductions): Improve variable locality.
1296
1297 2001-12-05 Akim Demaille <akim@epita.fr>
1298
1299 * src/state.h (SHIFT_IS_ERROR, SHIFT_IS_GOTO, SHIFT_IS_SHIFT): New.
1300 * src/lalr.c: Use them.
1301
1302 2001-12-05 Akim Demaille <akim@epita.fr>
1303
1304 * src/LR0.c (augment_automaton): Formatting changes.
1305 Better variable locality.
1306
1307 2001-12-05 Akim Demaille <akim@epita.fr>
1308
1309 * src/lalr.c (matrix_print): New.
1310 (transpose): Use it.
1311 Use arrays instead of pointers.
1312
1313 2001-12-05 Akim Demaille <akim@epita.fr>
1314
1315 * src/lalr.c (maxrhs): Move to...
1316 * src/gram.c, src/gram.h (ritem_longest_rhs): here.
1317 * src/lalr.c (build_relations): Adjust.
1318
1319 2001-12-05 Akim Demaille <akim@epita.fr>
1320
1321 * src/lalr.c (transpose): Free the memory allocated to the
1322 argument, as it is replaced by the results by the unique caller.
1323 (build_relations): Merely invoke transpose: it handles the memory
1324 deallocation.
1325 Improve variable locality.
1326 Avoid variables used as mere abbreviations.
1327 (compute_lookaheads): Use arrays instead of pointers.
1328
1329 2001-12-05 Akim Demaille <akim@epita.fr>
1330
1331 * src/lalr.c (initialize_F): Improve variable locality.
1332 Avoid variables used as mere abbreviations.
1333
1334 2001-12-05 Akim Demaille <akim@epita.fr>
1335
1336 * src/derives.c (print_derives): Display the ruleno.
1337 * src/lalr.c (initialize_F, transpose): Better variable locality
1338 to improve readability.
1339 Avoid variables used as mere abbreviations.
1340
1341 2001-12-05 Akim Demaille <akim@epita.fr>
1342
1343 * src/lalr.c (traverse): Use arrays instead of pointers.
1344
1345 2001-12-05 Akim Demaille <akim@epita.fr>
1346
1347 * src/nullable.c (set_nullable): Use a for loop to de-obfuscate
1348 the handling of squeue.
1349 `symbol >= 0' is wrong now, use `rule_table[ruleno].useful'.
1350
1351 2001-12-05 Akim Demaille <akim@epita.fr>
1352
1353 Because useless nonterminals are now kept alive (instead of being
1354 `destroyed'), we now sometimes examine them, and store information
1355 related to them. Hence we need to know their number, and adjust
1356 memory allocations.
1357
1358 * src/reduce.c, src/reduce.h (nuseless_nonterminals): No longer
1359 static.
1360 * src/LR0.c (allocate_itemsets): The memory allocated to
1361 `symbol_count' was used for two different purpose: once to count
1362 the number of occurrences of each symbol, and later reassigned to
1363 `shift_symbol', containing the symbol that can be shifted from a
1364 given state.
1365 Deobfuscate, i.e., allocate, use and free `symbol_count' here
1366 only, and...
1367 (new_itemsets): Allocate `shift_symbol' here.
1368 (allocate_itemsets): symbol_count includes useless nonterminals.
1369 Make room for them.
1370 (free_storage): Use `free', not `XFREE', for pointers that cannot
1371 be null.
1372
1373 2001-12-05 Akim Demaille <akim@epita.fr>
1374
1375 * src/nullable.c (set_nullable): Deobfuscate the handling of
1376 ritem.
1377 `symbol >= 0' is wrong now, use `rule_table[ruleno].useful'.
1378
1379 2001-12-05 Akim Demaille <akim@epita.fr>
1380
1381 * src/gram.c, src/gram.h (ritem_print): New.
1382 * src/gram.c (dummy): Remove, now there is actual code in gram.c.
1383 (This useless function was defined only to work around VMS linkers
1384 that can't handle compilation units with variables only).
1385 * src/reduce.c (dump_grammar): Use it to trace the construction of
1386 ritem.
1387
1388 2001-12-04 Paul Eggert <eggert@twinsun.com>
1389
1390 * src/bison.simple (union yyalloc): Change member names
1391 to be the same as the stack names.
1392 (yyparse): yyptr is now union yyalloc *, not char *.
1393 (YYSTACK_RELOCATE): Likewise. This avoids a GCC warning,
1394 and may generate better code on some machines.
1395 (yystpcpy): Use prototype if __STDC__ is defined, not just
1396 if __cplusplus is defined.
1397
1398 2001-11-30 Akim Demaille <akim@epita.fr>
1399
1400 * configure.in (WARNING_CFLAGS): Add -Werror when possible.
1401 (CFLAGS): Do not include the WARNING_CFLAGS here, since GNU
1402 Gettext doesn't compile cleanly, and dies with -Werror.
1403 * src/Makefile.am, lib/Makefile.am, tests/atlocal.in (CFLAGS):
1404 Include WARNING_CFLAGS here.
1405 * lib/xstrdup.c: Include xalloc.h, so that xstrdup be declared
1406 before being defined.
1407
1408 2001-11-27 Paul Eggert <eggert@twinsun.com>
1409
1410 * lib/quotearg.h (quotearg_n, quotearg_n_style):
1411 First arg is int, not unsigned.
1412 * lib/quotearg.c (quotearg_n, quotearg_n_style): Likewise.
1413 (SIZE_MAX, UINT_MAX): New macros.
1414 (quotearg_n_options): Abort if N is negative.
1415 Avoid overflow check on hosts where size_t is 64 bits and int
1416 is 32 bits, as overflow is impossible there.
1417 Fix off-by-one typo that caused unnecessary reallocation.
1418
1419 2001-11-29 Paul Eggert <eggert@twinsun.com>
1420
1421 Name space cleanup in generated parser.
1422
1423 * doc/bison.texinfo (Bison Parser): Discuss system headers
1424 and their effect on the user name space.
1425
1426 * src/bison.simple:
1427 (YYSTACK_ALLOC, YYSTACK_FREE, union yyalloc, YYSTACK_GAP_MAX,
1428 YYSTACK_BYTES, YYSTACK_RELOCATE): Do not define unless necessary,
1429 i.e. unless ! defined (yyoverflow) || defined (YYERROR_VERBOSE).
1430
1431 (YYSIZE_T): New macro. Use it instead of size_t, to avoid infringing
1432 on user names when possible.
1433
1434 (YYSTACK_USE_ALLOCA): Do not define; just use any existing defn.
1435 Simplify test for whather <alloca.h> exists.
1436
1437 (<stdlib.h>): Include if we will use malloc, and if standard C or C++.
1438
1439 (<stdio.h>): Include if YYDEBUG.
1440
1441 (yymemcpy): Renamed from __yy_memcpy. Do not define unless
1442 ! defined (yyoverflow) && ! defined (yymemcpy).
1443
1444 (yymemcpy, yyparse): Rename local variables as needed so that
1445 they all begin with 'yy'.
1446
1447 (yystrlen, yystpcpy): New functions.
1448
1449 (YY_DECL_NON_LSP_VARIABLES): Renamed from _YY_DECL_VARIABLES.
1450 All uses changed.
1451
1452 (yyparse): size_t -> YYSIZE_T. Use yystrlen and yystpcpy
1453 instead of relying on string.h functions. Use YYSTACK_ALLOC
1454 and YYSTACK_FREE instead of malloc and free.
1455
1456 2001-11-30 Akim Demaille <akim@epita.fr>
1457
1458 * src/bison.simple (YYSTYPE, YYLTYPE): Move their definitions
1459 before their first uses.
1460 (YYBISON, YYPURE): Move to the top of the output.
1461
1462 2001-11-30 Akim Demaille <akim@epita.fr>
1463
1464 * tests/reduce.at (Useless Nonterminals): Fix.
1465
1466 2001-11-30 Akim Demaille <akim@epita.fr>
1467
1468 * src/bison.simple (YYSTACK_FREE): Use `do {;} while (0)' as empty
1469 if body instead of `;' to pacify GCC's warnings.
1470
1471 2001-11-30 Akim Demaille <akim@epita.fr>
1472
1473 Instead of mapping the LHS of unused rules to -1, keep the LHS
1474 valid, but flag the rules as invalid.
1475
1476 * src/gram.h (rule_t): `useful' is a new member.
1477 * src/print.c (print_grammar): Adjust.
1478 * src/derives.c (set_derives): Likewise.
1479 * src/reader.c (packgram, reduce_output): Likewise.
1480 * src/reduce.c (reduce_grammar_tables): Likewise.
1481 * tests/reduce.at (Underivable Rules, Useless Rules): New.
1482
1483 2001-11-30 Akim Demaille <akim@epita.fr>
1484
1485 * src/reduce.c (reduce_output): Formatting changes.
1486 * src/print.c (print_results, print_grammar): Likewise.
1487 * tests/regression.at (Rule Line Numbers)
1488 (Solved SR Conflicts, Unresolved SR Conflicts): Adjust.
1489
1490 2001-11-30 Akim Demaille <akim@epita.fr>
1491
1492 * src/reduce.c (nonterminals_reduce): Instead of throwing away
1493 useless nonterminals, move them at the end of the symbol arrays.
1494 (reduce_output): Adjust.
1495 * tests/reduce.at (Useless Nonterminals): Adjust.
1496
1497 2001-11-30 Akim Demaille <akim@epita.fr>
1498
1499 * src/reduce.c: Various comment/formatting changes.
1500 (nonterminals_reduce): New, extracted from...
1501 (reduce_grammar_tables): here.
1502 (reduce_grammar): Call nonterminals_reduce.
1503
1504 2001-11-29 Paul Eggert <eggert@twinsun.com>
1505
1506 * src/bison.simple (YYSTACK_REALLOC): Remove.
1507 (YYSTACK_ALLOC): Resurrect this macro, with its old meaning.
1508 (YYSTACK_FREE, YYSTACK_GAP_MAX, YYSTACK_BYTES, YYSTACK_RELOCATE):
1509 New macros.
1510 (union yyalloc): New type.
1511 (__yy_memcpy): Last arg is size_t, not unsigned int, to remove
1512 an arbitrary restriction on hosts where size_t is wider than int.
1513
1514 (yyparse): Don't dump core if alloca or malloc fails; instead, report
1515 a parser stack overflow. Allocate just one block of memory for all
1516 three stacks, instead of allocating three blocks; this typically is
1517 faster and reduces fragmentation.
1518
1519 Do not limit the number of items in the stack to a value that fits
1520 in 'int', as this is an arbitrary limit on hosts with 64-bit
1521 size_t and 32-bit int.
1522
1523 2001-11-29 Marc Autret <autret_m@epita.fr>
1524
1525 * tests/calc.at [AT_DATA_CALC_Y]: Use %error-verbose instead
1526 of defining YYERROR_VERBOSE.
1527 [AT_DATA]: $4 is now out of C declarations in the prologue.
1528
1529 2001-11-28 Marc Autret <autret_m@epita.fr>
1530
1531 * src/reader.c (parse_dquoted_param): New.
1532 (parse_skel_decl): Use it.
1533 * src/lex.h: Add its prototype.
1534 * src/lex.c (literalchar): Become not static.
1535
1536 2001-11-28 Marc Autret <autret_m@epita.fr>
1537
1538 * src/output.h: And put its extern declaration here.
1539 * src/output.c (error_verbose): Define here.
1540 (prepare): Echo name modification.
1541 * src/getargs.h: Clean its extern declaration.
1542 * src/getargs.c (error_verbose_flag): Remove.
1543 (getargs): Remove case 'e'.
1544 * src/options.c (option_table): 'error-verbose' is now seen as simple
1545 percent option.
1546 Include output.h.
1547
1548 * src/reader.c (read_declarations): Remove case tok_include.
1549 (parse_include_decl): Remove.
1550 * src/lex.h (token_t): Remove tok_include.
1551 * src/options.c (option_table): 'include' is now a simple command line
1552 option.
1553
1554 2001-11-28 Marc Autret <autret_m@epita.fr>
1555
1556 * src/bison.simple: Adjust muscle names.
1557 * src/muscle_tab.c (muscle_init): Also rename the muscles.
1558 * src/output.c (prepare): s/_/-/ for the muscles names.
1559 (output_parser): When scanning for a muscle, allow '-' instead of '_'.
1560
1561 2001-11-28 Marc Autret <autret_m@epita.fr>
1562
1563 * src/bison.simple: Fix debug.
1564 [YYERROR_VERBOSE]: Re-integrate as an internal macro.
1565
1566 2001-11-28 Akim Demaille <akim@epita.fr>
1567
1568 * src/LR0.c (shifts_new): New.
1569 (save_shifts, insert_start_shift, augment_automaton): Use it.
1570
1571 2001-11-28 Akim Demaille <akim@epita.fr>
1572
1573 * src/closure.c (closure): `b' and `ruleno' denote the same value:
1574 keep ruleno only.
1575
1576 2001-11-28 Akim Demaille <akim@epita.fr>
1577
1578 * src/closure.c (closure): Instead of looping over word in array
1579 then bits in words, loop over bits in array.
1580
1581 2001-11-28 Akim Demaille <akim@epita.fr>
1582
1583 * src/closure.c (closure): No longer optimize the special case
1584 where all the bits of `ruleset[r]' are set to 0, to make the code
1585 clearer.
1586
1587 2001-11-28 Akim Demaille <akim@epita.fr>
1588
1589 * src/closure.c (closure): `r' and `c' are new variables, used to
1590 de-obfuscate accesses to RULESET and CORE.
1591
1592 2001-11-28 Akim Demaille <akim@epita.fr>
1593
1594 * src/reduce.c (reduce_print): Use ngettext.
1595 (dump_grammar): Improve the trace accuracy.
1596
1597 2001-11-28 Akim Demaille <akim@epita.fr>
1598
1599 * src/reduce.c (dump_grammar): Don't translate trace messages.
1600
1601 2001-11-28 Akim Demaille <akim@epita.fr>
1602
1603 * tests/reduce.at (Useless Terminals, Useless Nonterminals): New.
1604 * src/reduce.c (reduce_grammar_tables): Do not free useless tags,
1605 as all tags are free'ed afterwards.
1606 From Enrico Scholz.
1607
1608 2001-11-27 Paul Eggert <eggert@twinsun.com>
1609
1610 * src/bison.simple (YYSTACK_REALLOC): Fix typo that caused us to
1611 use alloca when we didn't want to, and vice versa.
1612
1613 2001-11-27 Marc Autret <autret_m@epita.fr>
1614
1615 * src/muscle_tab.c (muscle_init): Remove 'verbose' muscle
1616 initialization.
1617 * src/output.c (prepare): Remove its update.
1618
1619 2001-11-27 Marc Autret <autret_m@epita.fr>
1620
1621 * tests/torture.at [AT_DATA]: Remove YYERROR_VERBOSE definition.
1622 Use %error-verbose.
1623
1624 2001-11-27 Marc Autret <autret_m@epita.fr>
1625
1626 * src/bison.simple: Remove YYERROR_VERBOSE using.
1627 Use %%error_verbose.
1628 (yyparse): Likewise.
1629 * src/output.c (prepare): Give its final value.
1630 * src/muscle_tab.c (muscle_init): Init new muscle 'error_verbose'.
1631 * src/getargs.h: Add its extern declaration.
1632 * src/getargs.c (error_verbose_flag): New int.
1633 (getargs): Update to catch new case.
1634 * src/options.c (option_table): 'error-verbose' is a new option.
1635 (shortopts): Update.
1636
1637 2001-11-27 Akim Demaille <akim@epita.fr>
1638
1639 * src/system.h: Use intl/libgettext.h.
1640 * src/Makefile.am (INCLUDES): Add -I $(top_srcdir).
1641
1642 2001-11-27 Akim Demaille <akim@epita.fr>
1643
1644 * tests/torture.at (Exploding the Stack Size with Malloc):
1645 s/YYSTACK_USE_ALLOCA_ALLOCA/YYSTACK_USE_ALLOCA/.
1646
1647 2001-11-27 Akim Demaille <akim@epita.fr>
1648
1649 * src/files.c: Include error.h.
1650 Reported by Hans Aberg.
1651
1652 2001-11-26 Marc Autret <autret_m@epita.fr>
1653
1654 * src/reader.c (parse_include_decl): New, not yet implemented.
1655 (read_declarations): Add case tok_include.
1656 * src/getargs.h (include): Add its extern definition.
1657 * src/getargs.c (include): New const char *.
1658 (getargs): Add case '-I'.
1659 * src/options.c (option_table): Add include as command line and
1660 percent option.
1661 * src/lex.h (token_t): Add tok_include.
1662
1663 2001-11-26 Akim Demaille <akim@epita.fr>
1664
1665 * src/reader.c (readgram): Make sure rules for mid-rule actions
1666 have a lineno equal to that of their host rule.
1667 Reported by Hans Aberg.
1668 * tests/regression.at (Rule Line Numbers): New.
1669
1670 2001-11-26 Akim Demaille <akim@epita.fr>
1671
1672 * src/LR0.c (allocate_itemsets): kernel_size contains ints, not
1673 size_ts.
1674
1675 2001-11-26 Akim Demaille <akim@epita.fr>
1676
1677 * src/complain.c, src/complain.h (error): Remove, provided by
1678 lib/error.[ch].
1679
1680 2001-11-26 Akim Demaille <akim@epita.fr>
1681
1682 * src/reader.c (read_declarations): Don't abort on tok_illegal,
1683 issue an error message.
1684 * tests/regression.at (Invalid %directive): New.
1685 Reported by Hans Aberg.
1686
1687 2001-11-26 Akim Demaille <akim@epita.fr>
1688
1689 * configure.in: Invoke AC_FUNC_OBSTACK and AC_FUNC_ERROR_AT_LINE.
1690 * lib/Makefile.am (libbison_a_SOURCES): Adjust.
1691
1692 2001-11-26 Akim Demaille <akim@epita.fr>
1693
1694 * src/conflicts.c (conflicts_print): Don't complain at all when
1695 there are no reduce/reduce conflicts, and as many shift/reduce
1696 conflicts as expected.
1697 * tests/regression.at (%expect right): Adjust.
1698
1699 2001-11-23 Akim Demaille <akim@epita.fr>
1700
1701 * lib/alloca.c: Update, from fileutils.
1702
1703 2001-11-23 Akim Demaille <akim@epita.fr>
1704
1705 * lib/Makefile.am (libbison_a_LIBADD): Add @ALLOCA@.
1706
1707 2001-11-23 Akim Demaille <akim@epita.fr>
1708
1709 * src/system.h: Include alloca.h.
1710 * src/main.c (main) [C_ALLOCA]: Call alloca (0).
1711
1712 2001-11-23 Akim Demaille <akim@epita.fr>
1713
1714 * src/print_graph.c (print_actions): Remove `rule', unused.
1715 * src/LR0.c (kernel_size): Contain `int' instead of `size_t' to
1716 pacify GCC's signed < unsigned warnings.
1717 * src/closure.c (itemsetsize): Likewise.
1718 * src/reader.c (symbol_list_new): Static.
1719
1720 2001-11-23 Akim Demaille <akim@epita.fr>
1721
1722 Attaching lineno to buckets is stupid, since only one copy of each
1723 symbol is kept, only the line of the first occurrence is kept too.
1724
1725 * src/symtab.h, src/symtab.c (bucket): Remove the line member.
1726 * src/reader.c (rline_allocated): Remove, unused.
1727 (symbol_list): Have a `line' member.
1728 (symbol_list_new): New.
1729 (readgram): Use it.
1730 * src/print.c (print_grammar): Output the rule line numbers.
1731 * tests/regression.at (Solved SR Conflicts)
1732 (Unresolved SR Conflicts): Adjust.
1733 Reported by Hans Aberg.
1734
1735 2001-11-22 Marc Autret <autret_m@epita.fr>
1736
1737 * src/bison.simple [YYERROR_VERBOSE]: Force its value to be 1 or 0.
1738
1739 2001-11-22 Marc Autret <autret_m@epita.fr>
1740
1741 * src/muscle_tab.c (muscle_init): Remove initialization of
1742 skeleton muscle.
1743 * src/output.c (output_master_parser): Do it here.
1744
1745 2001-11-20 Akim Demaille <akim@epita.fr>
1746
1747 * po/sv.po: New.
1748 * configure.in (ALL_LINGUAS): Adjust.
1749 * po/POTFILE.in: Remove `nullable.c' and `derives.c' which no
1750 longer contains strings to translate.
1751
1752 2001-11-19 Akim Demaille <akim@epita.fr>
1753
1754 * src/conflicts.c (conflicts_print): Add a missing \n.
1755
1756 2001-11-19 Akim Demaille <akim@epita.fr>
1757
1758 * src/nullable.c (nullable_print): New.
1759 (set_nullable): Call it when tracing.
1760 Better locality of variables.
1761
1762 2001-11-19 Akim Demaille <akim@epita.fr>
1763
1764 * src/print.c (print_actions): Better locality of variables.
1765
1766 2001-11-19 Akim Demaille <akim@epita.fr>
1767
1768 * src/derives.c (print_derives): Fix and enrich.
1769 * src/closure.c (print_fderives): Likewise.
1770
1771 2001-11-19 Akim Demaille <akim@epita.fr>
1772
1773 * src/closure.c (itemsetend): Remove, replaced with...
1774 (itemsetsize): new.
1775
1776 2001-11-19 Akim Demaille <akim@epita.fr>
1777
1778 * src/LR0.c (kernel_end): Remove, replaced with...
1779 (kernel_size): new.
1780
1781 2001-11-19 Akim Demaille <akim@epita.fr>
1782
1783 * src/conflicts.c (set_conflicts): Use arrays instead of pointers
1784 to clarify.
1785
1786 2001-11-19 Akim Demaille <akim@epita.fr>
1787
1788 * src/closure.c (closure): Use arrays instead of pointers to clarify.
1789
1790 2001-11-19 Akim Demaille <akim@epita.fr>
1791
1792 * src/closure.c, src/derives.c, src/nullable.c: Adjust various
1793 trace messages.
1794 * src/LR0.c: Likewise.
1795 (allocate_itemsets): Use arrays instead of pointers to clarify.
1796
1797 2001-11-19 Akim Demaille <akim@epita.fr>
1798
1799 * src/getargs.c (statistics_flag): Replace with...
1800 (trace_flag): New.
1801 (longopts): Accept --trace instead of --statistics.
1802 * src/getargs.h, src/options.c: Adjust.
1803 * src/LR0.c, src/closure.c, src/derives.c, src/nullable.c,
1804 * src/reduce.c: Use trace_flags instead of the CPP conditional TRACE.
1805
1806 2001-11-19 Akim Demaille <akim@epita.fr>
1807
1808 * src/LR0.c (new_itemsets, get_state): Use more arrays and fewer
1809 pointers to clarify the code.
1810 (save_reductions, save_shifts): Factor common parts of alternatives.
1811
1812 2001-11-19 Akim Demaille <akim@epita.fr>
1813
1814 * src/LR0.c (new_state, get_state): Complete TRACE code.
1815 * src/closure.c: Include `reader.h' to get `tags', needed by the
1816 trace code.
1817 Rename the conditional DEBUG as TRACE.
1818 Output consistently TRACEs to stderr, not stdout.
1819 * src/derives.c: Likewise.
1820 * src/reduce.c: (inaccessable_symbols): Using if is better style
1821 than goto.
1822 Use `#if TRACE' instead of `#if 0' for tracing code.
1823
1824 2001-11-19 Akim Demaille <akim@epita.fr>
1825
1826 * src/system.h (LIST_FREE, shortcpy): New.
1827 * src/LR0.c: Use them.
1828 * src/output.c (free_itemsets, free_reductions, free_shifts):
1829 Remove, replaced by LIST_FREE.
1830
1831 2001-11-19 Akim Demaille <akim@epita.fr>
1832
1833 * src/state.h (CORE_ALLOC, SHIFTS_ALLOC, ERRS_ALLOC)
1834 (REDUCTIONS_ALLOC): New.
1835 * src/LR0.c, src/conflicts.c: Use them to de-obfuscate memory
1836 allocation.
1837
1838 2001-11-19 Akim Demaille <akim@epita.fr>
1839
1840 * src/LR0.c (new_state): Complete trace code.
1841 * src/nullable.c (set_nullable): Don't translate traces.
1842
1843 2001-11-19 Akim Demaille <akim@epita.fr>
1844
1845 * src/print_graph.c (print_core): Better locality of variables.
1846 * src/print.c (print_core): Likewise.
1847
1848 2001-11-19 Akim Demaille <akim@epita.fr>
1849
1850 * src/vcg.c: You do the output, so you are responsible of the
1851 handling of VCG syntax, in particular: use quotearg.
1852 * src/print_graph.c: Don't.
1853 (print_actions): Don't output the actions as part of the nodes,
1854 since that's the job of the edges.
1855 (print_state): Don't output by hand: fill the node description,
1856 and ask for its output.
1857
1858 2001-11-19 Akim Demaille <akim@epita.fr>
1859
1860 * src/bison.simple (yyparse): When verbosely reporting an error,
1861 no longer put additional quotes around token names.
1862 * tests/calc.at: Adjust.
1863
1864 2001-11-19 Akim Demaille <akim@epita.fr>
1865
1866 * src/symtab.h, src/symtab.c: `line' is a new member of `bucket'.
1867 * src/reader.c (record_rule_lines, rline, rline_allocated): Remove.
1868 * src/output.c: Adjust.
1869
1870 2001-11-19 Akim Demaille <akim@epita.fr>
1871
1872 * src/gram.h (rprec, rprecsym, rassoc): Remove, now part of...
1873 (rule_t): this.
1874 * src/conflicts.c, src/reader.c, src/reduce.c: Adjust.
1875
1876 2001-11-19 Akim Demaille <akim@epita.fr>
1877
1878 * src/gram.h (rule_t): New.
1879 (rule_table): New.
1880 (rrhs, rlhs): Remove, part of state_t.
1881 * src/print_graph.c, src/closure.c, src/conflicts.c, src/derives.c,
1882 * src/lalr.c, src/nullable.c, src/output.c, src/print.c,
1883 * src/reader.c, src/reduce.c: Adjust.
1884
1885 2001-11-19 Akim Demaille <akim@epita.fr>
1886
1887 * src/reader.c (symbols_output): New, extracted from...
1888 (packsymbols): Here.
1889 (reader): Call it.
1890
1891 2001-11-19 Akim Demaille <akim@epita.fr>
1892
1893 * src/lalr.c (set_maxrhs, maxrhs): Remove, replaced with...
1894 (maxrhs): this new function.
1895
1896 2001-11-19 Akim Demaille <akim@epita.fr>
1897
1898 * src/lalr.c (F): New macro to access the variable F.
1899 Adjust.
1900
1901 2001-11-19 Akim Demaille <akim@epita.fr>
1902
1903 * src/lalr.h (LA): New macro to access the variable LA.
1904 * src/output.c, src/lalr.c, src/print_graph.c, src/conflicts.c:
1905 * src/lalr.c: Adjust.
1906
1907 2001-11-19 Akim Demaille <akim@epita.fr>
1908
1909 * src/lalr.c (initialize_LA): Only initialize LA. Let...
1910 (set_state_table): handle the `lookaheads' members.
1911
1912 2001-11-19 Akim Demaille <akim@epita.fr>
1913
1914 * src/lalr.h (lookaheads): Removed array, whose contents is now
1915 a member of...
1916 (state_t): this structure.
1917 * src/output.c, src/lalr.c, src/print_graph.c, src/conflicts.c:
1918 Adjust.
1919
1920 2001-11-19 Akim Demaille <akim@epita.fr>
1921
1922 * src/lalr.h (consistent): Removed array, whose contents is now
1923 a member of...
1924 (state_t): this structure.
1925 * src/output.c, src/lalr.c, src/print_graph.c, src/conflicts.c:
1926 Adjust.
1927
1928 2001-11-19 Akim Demaille <akim@epita.fr>
1929
1930 * src/lalr.h (reduction_table, shift_table): Removed arrays, whose
1931 contents are now members of...
1932 (state_t): this structure.
1933 * src/output.c, src/lalr.c, src/print_graph.c, src/conflicts.c:
1934 Adjust.
1935
1936 2001-11-19 Akim Demaille <akim@epita.fr>
1937
1938 * src/lalr.h (state_t): New.
1939 (state_table): Be a state_t * instead of a core **.
1940 (accessing_symbol): Remove, part of state_t.
1941 * src/lalr.c: Adjust.
1942 (set_accessing_symbol): Merge into...
1943 (set_state_table): this.
1944 * src/print_graph.c, src/conflicts.c: Adjust.
1945
1946 2001-11-14 Akim Demaille <akim@epita.fr>
1947
1948 * tests/calc.at, tests/output.at, tests/regression.at,
1949 * tests/testsuite.at, tests/torture.at: Rely on Autotest 2.52g:
1950 now the tests are run in private dirs, therefore AC_CLEANUP and
1951 family can be simplified to 0-ary.
1952 * tests/atlocal.in: Now that we run `elsewhere' than in tests/,
1953 use abs. path to find config.h.
1954 * tests/calc.at (AT_CHECK_CALC): Don't try to check the compiler's
1955 stderr, there can be way too much random noise.
1956 Instead pass -Werror to GCC and rely on the exit status.
1957 Reported by Wolfram Wagner.
1958
1959 2001-11-14 Akim Demaille <akim@epita.fr>
1960
1961 * src/bison.simple (yyparse): Let yyls1, yyss1 and yyvs1 be
1962 defined only if yyoverflow is defined, to avoid `warning: unused
1963 variable `yyvs1''.
1964 Reported by The Test Suite.
1965
1966 2001-11-14 Akim Demaille <akim@epita.fr>
1967
1968 * src/print.c: Include reduce.h.
1969 Reported by Hans Aberg.
1970
1971 2001-11-14 Akim Demaille <akim@epita.fr>
1972
1973 * src/lex.c, src/lex.h (token_buffer, unlexed_token_buffer):
1974 Revert a previous patch: these are really const.
1975 * src/conflicts.c (conflict_report): Additional useless pair of
1976 braces to pacify GCC's warnings for `if () if () {} else {}'.
1977 * src/lex.c (parse_percent_token): Replace equal_offset with
1978 arg_offset.
1979 arg is const.
1980 Be sure to strdup `arg' when used, since there is no reason for
1981 token_buffer not to change.
1982
1983 2001-11-14 Akim Demaille <akim@epita.fr>
1984
1985 * src/system.h (EXIT_SUCCESS, EXIT_FAILURE): Ensure a proper
1986 definition.
1987 * src/main.c (main): Use them.
1988 Suggested by Hans Aberg.
1989
1990 2001-11-12 Akim Demaille <akim@epita.fr>
1991
1992 * src/system.h (ngettext): Now that we use ngettext, be sure to
1993 provide a default definition when NLS are not used.
1994
1995 2001-11-12 Akim Demaille <akim@epita.fr>
1996
1997 * doc/bison.texinfo: Use `$' as shell prompt, not `%'.
1998 Use @kbd to denote user input.
1999 (Language and Grammar): ANSIfy the example.
2000 Adjust its layout for info/notinfo.
2001 (Location Tracking Calc): Output error messages to stderr.
2002 Output locations in a more GNUtically correct way.
2003 Fix a couple of Englishos.
2004 Adjust @group/@end group pairs.
2005
2006 2001-11-12 Akim Demaille <akim@epita.fr>
2007
2008 %expext was not functioning at all.
2009
2010 * src/conflicts.c (expected_conflicts): Set to -1.
2011 (conflict_report): Use ngettext.
2012 (conflicts_print): Check %expect and make its violation an error.
2013 * doc/bison.texinfo (Expect Decl): Adjust.
2014 * configure.in (AM_GNU_GETTEXT): Ask for ngettext.
2015 * tests/regression.at (%expect not enough, %expect right)
2016 (%expect too much): New.
2017
2018 2001-11-12 Akim Demaille <akim@epita.fr>
2019
2020 * tests/regression.at (Conflicts): Rename as...
2021 (Unresolved SR Conflicts): this.
2022 (Solved SR Conflicts): New.
2023
2024 2001-11-12 Akim Demaille <akim@epita.fr>
2025
2026 * src/reduce.c (print_results): Rename as...
2027 (reduce_output): This.
2028 Output to OUT, passed as argument, instead of output_obstack.
2029 (dump_grammar): Likewise.
2030 (reduce_free): New.
2031 Also free V1.
2032 (reduce_grammar): No longer call reduce_output, since...
2033 * src/print.c (print_results): do it.
2034 * src/main.c (main): Call reduce_free;
2035
2036 2001-11-12 Akim Demaille <akim@epita.fr>
2037
2038 * src/conflicts.c (print_reductions): Accept OUT as argument.
2039 Output to it, not to output_obstack.
2040 * src/print.c (print_actions): Adjust.
2041
2042 2001-11-12 Akim Demaille <akim@epita.fr>
2043
2044 * src/conflicts.c (count_sr_conflicts, count_rr_conflicts): Return
2045 the result instead of using...
2046 (src_total, rrc_total, src_count, rrc_count): Remove.
2047 (any_conflicts): Remove.
2048 (print_conflicts): Split into...
2049 (conflicts_print, conflicts_output): New.
2050 * src/conflicts.h: Adjust.
2051 * src/main.c (main): Invoke both conflicts_output and conflicts_print.
2052 * src/print.c (print_grammar): Issue `\n' between two rules.
2053 * tests/regression.at (Conflicts): New.
2054 Reported by Tom Lane.
2055
2056 2001-11-12 Akim Demaille <akim@epita.fr>
2057
2058 * tests/regression.at (Invalid input): Remove, duplicate with
2059 ``Invalid input: 1''.
2060
2061 2001-11-12 Akim Demaille <akim@epita.fr>
2062
2063 * tests/torture.at (AT_DATA_STACK_TORTURE)
2064 (Exploding the Stack Size with Alloca)
2065 (Exploding the Stack Size with Malloc): New.
2066
2067 2001-11-12 Akim Demaille <akim@epita.fr>
2068
2069 * src/bison.simple (YYSTACK_REALLOC): New.
2070 (yyparse) [!yyoverflow]: Use it and free the old stack.
2071 Reported by Per Allansson.
2072
2073 2001-11-12 Pascal Bart <pascal.bart@epita.fr>
2074
2075 * src/bison.simple: Define type yystype instead of YYSTYPE, and
2076 define CPP macro, which substitute YYSTYPE by yystype.
2077 * src/reader.c (parse_union_decl): Output yystype/YYSTYPE as we do
2078 with yyltype/YYLTYPE. This allows inclusion of the generated
2079 header within the parser if the compiler, such as GGC, accepts
2080 multiple equivalent #defines.
2081 From Akim.
2082
2083 2001-11-05 Akim Demaille <akim@epita.fr>
2084
2085 * src/reader.c (symbols_output): New, extracted from...
2086 (packsymbols): here.
2087 (reader): Adjust.
2088
2089 2001-11-05 Akim Demaille <akim@epita.fr>
2090
2091 * src/lex.c (parse_percent_token): s/quotearg/quote/.
2092
2093 2001-11-05 Akim Demaille <akim@epita.fr>
2094
2095 * tests/regression.at (AT_TEST_CPP_GUARD_H): Adjust the clean up
2096 pattern.
2097
2098 2001-11-05 Akim Demaille <akim@epita.fr>
2099
2100 * src/options.h (struct option_table_struct): set_flags is void*.
2101 * src/options.c (longopts): Support `--output' and `%output'.
2102 (usage): Adjust.
2103 * src/lex.h (tok_setopt): Remove, replaced with...
2104 (tok_intopt, tok_stropt): these new guys.
2105 * src/lex.c (getopt.h): Not needed.
2106 (token_buffer, unlexed_token_buffer): Not const.
2107 (percent_table): Promote `-' over `_' in directive names.
2108 Active `%name-prefix', `file-prefix', and `output'.
2109 (parse_percent_token): Accept possible arguments to directives.
2110 Promote `-' over `_' in directive names.
2111
2112 2001-11-04 Akim Demaille <akim@epita.fr>
2113
2114 * doc/bison.texinfo (Decl Summary): Split the list into
2115 `directives for grammars' and `directives for bison'.
2116 Sort'em.
2117 Add description of `%name-prefix', `file-prefix', and `output'.
2118 Promote `-' over `_' in directive names.
2119 (Bison Options): s/%locactions/%locations/. Nice Freudian slip.
2120 Simplify the description of `--name-prefix'.
2121 Promote `-' over `_' in directive names.
2122 Promote `--output' over `--output-file'.
2123 Fix the description of `--defines'.
2124 * tests/output.at: Exercise %file-prefix and %output.
2125
2126 2001-11-02 Akim Demaille <akim@epita.fr>
2127
2128 * doc/refcard.tex: Update.
2129
2130 2001-11-02 Akim Demaille <akim@epita.fr>
2131
2132 * src/symtab.h (SUNDEF): New.
2133 * src/symtab.c (bucket_new): Init user_token_number to SUNDEF to
2134 stand for `uninitialized', instead of 0.
2135 * src/reader.c (packsymbols, parse_thong_decl): Adjust.
2136 * src/lex.c (lex): Adjust.
2137
2138 * tests/calc.at (_AT_DATA_CALC_Y): Declare a token for EOF.
2139 Number it 0.
2140 Let yylex return it instead of a plain 0.
2141 Reported by Dick Streefland.
2142
2143 2001-11-02 Akim Demaille <akim@epita.fr>
2144
2145 * tests/regression.at (Mixing %token styles): New test.
2146
2147 2001-11-02 Akim Demaille <akim@epita.fr>
2148
2149 * src/reader.c (parse_thong_decl): Formatting changes.
2150 (token_translations_init): New, extracted from...
2151 (packsymbols): Here.
2152 Adjust.
2153
2154 2001-11-01 Akim Demaille <akim@epita.fr>
2155
2156 * tests/regression.at (AT_TEST_CPP_GUARD_H): New.
2157 Check that `9foo.y' produces correct cpp guards.
2158 * src/files.c (compute_header_macro): Prepend `BISON_' to CPP
2159 guards.
2160 Reported by Wwp.
2161
2162 2001-11-01 Akim Demaille <akim@epita.fr>
2163
2164 * tests/regression.at (Invalid input: 2): New.
2165 * src/lex.c (unlexed_token_buffer): New.
2166 (lex, unlex): Adjust: when unlexing, be sure to save token_buffer
2167 too.
2168 Reported by Wwp.
2169
2170 2001-11-01 Akim Demaille <akim@epita.fr>
2171
2172 * tests/calc.at: Catch up with 1.30.
2173 * configure.in: Bump to 1.49a.
2174 Adjust to newer Autotest.
2175
2176 2001-10-19 Pascal Bart <pascal.bart@epita.fr>
2177
2178 * src/conflicts.c: Move global variables rrc_total and src_total ...
2179 (print_conflicts): here.
2180 * src/output.c (output): Free global variable user_toknums.
2181 * src/lex.c (token_obstack): Become static.
2182
2183 2001-10-18 Akim Demaille <akim@epita.fr>
2184
2185 * tests/atlocal.in (GCC): Add.
2186 * tests/calc.at: s/m4_match/m4_bmatch/.
2187 s/m4_patsubst/m4_bpatsubst/.
2188 (AT_CHECK_CALC): Check the compiler's stderr only if it's GCC.
2189 * configure.in: AC_SUBST(GCC).
2190
2191 2001-10-14 Marc Autret <autret_m@epita.fr>
2192
2193 * src/options.c (create_long_option_table): Fix.
2194
2195 2001-10-10 Akim Demaille <akim@epita.fr>
2196
2197 * src/bison.simple: Be sure to set YYSTACK_USE_ALLOCA.
2198
2199 2001-10-04 Akim Demaille <akim@epita.fr>
2200
2201 * src/reader.c (parse_union_decl): Push the caracters in
2202 union_obstack, not attrs_obstack.
2203
2204 2001-10-04 Akim Demaille <akim@epita.fr>
2205
2206 Merge in the branch 1.29.
2207
2208 * src/reader.c (packsymbols): Use a temporary obstack for
2209 `%%tokendef', since output_stack is already used elsewhere.
2210
2211 2001-10-02 Akim Demaille <akim@epita.fr>
2212
2213 Bump 1.29d.
2214
2215 2001-10-02 Akim Demaille <akim@epita.fr>
2216
2217 Version 1.29c.
2218
2219 2001-10-02 Akim Demaille <akim@epita.fr>
2220
2221 * tests/regression.at (Invalid CPP headers): New.
2222 From Alexander Belopolsky.
2223 * src/files.c (compute_header_macro): Map non alnum chars to `_'.
2224
2225 2001-10-02 Akim Demaille <akim@epita.fr>
2226
2227 * tests/regression.at (Invalid input): New.
2228 * src/lex.c (lex): Be sure to set `token_buffer' in any case.
2229 Reported by Shura.
2230
2231 2001-10-02 Akim Demaille <akim@epita.fr>
2232
2233 * tests/calc.at: Now that --debug works, the tests must be adjusted.
2234
2235 2001-10-02 Akim Demaille <akim@epita.fr>
2236
2237 * src/output.c (output_parser): Assert `skeleton'.
2238 * src/files.c (skeleton_find): Look harder for skeletons on DOSish
2239 systems.
2240 From Shura.
2241
2242 2001-10-01 Marc Autret <autret_m@epita.fr>
2243
2244 * src/lex.h: Echo modifications.
2245 * src/lex.c (unlex): Parameter is now token_t.
2246 From Hans Aberg.
2247
2248 2001-10-01 Marc Autret <autret_m@epita.fr>
2249
2250 * src/main.c: Include lex.h.
2251 From Hans Aberg.
2252
2253 2001-09-29 Akim Demaille <akim@epita.fr>
2254
2255 * src/getargs.c (longopts): `--debug' is `-t', not `-d'.
2256
2257 2001-09-28 Akim Demaille <akim@epita.fr>
2258
2259 * tests/testsuite.at: Update to newer Autotest.
2260 * tests/Makefile.am (EXTRA_DIST): bison is not to be shipped.
2261
2262 2001-09-27 Akim Demaille <akim@epita.fr>
2263
2264 Position independent wrapper.
2265
2266 * tests/bison: Remove.
2267 * tests/bison.in: New.
2268 * configure.in: Adjust.
2269
2270 2001-09-27 Paul Eggert <eggert@twinsun.com>
2271
2272 Port quotearg fixes from tar 1.13.24.
2273
2274 * lib/quotearg.c: BSD/OS 4.1 wchar.h requires FILE and struct
2275 tm to be declared.
2276 (HAVE_MBSINIT): Undef if !HAVE_MBRTOWC.
2277 (mbsinit): Define to 1 if !defined mbsinit && !HAVE_MBSINIT.
2278
2279 * m4/Makefile.am (EXTRA_DIST): Add mbrtowc.m4.
2280 * m4/mbrtowc.m4: New file.
2281 * m4/prereq.m4 (jm_PREREQ_QUOTEARG): Check for mbsinit and stddef.h.
2282 Use jm_FUNC_MBRTOWC instead of AC_CHECK_FUNCS(mbrtowc).
2283
2284 2001-09-27 Akim Demaille <akim@epita.fr>
2285
2286 Bump to 1.29c.
2287
2288 2001-09-27 Akim Demaille <akim@epita.fr>
2289
2290 Version 1.29b.
2291
2292 2001-09-25 Akim Demaille <akim@epita.fr>
2293
2294 * src/system.h: Include `xalloc.h'.
2295 Remove it from the C files.
2296 * src/files.c (output_files): Free the obstacks.
2297 * src/lex.c (init_lex): Rename as...
2298 (lex_init): this.
2299 (lex_free): New.
2300 * src/main.c (main): Use it.
2301
2302 2001-09-24 Marc Autret <autret_m@epita.fr>
2303
2304 * src/vcg.c (open_edge, close_edge, open_node, close_node): Change
2305 to output informations in fout (FILE*).
2306 (open_graph, close_graph): Likewise.
2307 (output_graph, output_edge, output_node): Likewise.
2308 * src/vcg.h: Update function prototypes.
2309 * src/print_graph.c (print_graph): Open output graph file.
2310 (print_actions): Adjust.
2311 * src/files.h: Remove extern declaration.
2312 * src/files.c: Remove graph_obstack declaration.
2313 (open_files): Remove graph_obstack initialization.
2314 (output_files): Remove graph_obstack saving.
2315
2316 2001-09-24 Marc Autret <autret_m@epita.fr>
2317
2318 * src/files.c (compute_output_file_names): Fix.
2319
2320 2001-09-24 Marc Autret <autret_m@epita.fr>,
2321 Akim Demaille <akim@epita.fr>
2322
2323 * src/reader.c (reader): Remove call to free_symtab ().
2324 * src/main.c (main): Call it here.
2325 Include symtab.h.
2326 * src/conflicts.c (initialize_conflicts): Rename as...
2327 (solve_conflicts): this.
2328 * src/print.c (print_core, print_actions, print_state)
2329 (print_grammar): Dump to a file instead a `output_obstack'.
2330 (print_results): Dump `output_obstack', and then proceed with the
2331 FILE *.
2332 * src/files.c (compute_output_file_names, close_files): New.
2333 (output_files): Adjust.
2334 * src/main.c (main): Adjust.
2335
2336 2001-09-23 Marc Autret <autret_m@epita.fr>
2337
2338 * src/files.c (compute_header_macro): Computes header macro name
2339 from spec_defines_file when given.
2340
2341 2001-09-23 Marc Autret <autret_m@epita.fr>
2342
2343 * src/files.c (output_files): Add default extensions.
2344
2345 2001-09-22 Akim Demaille <akim@epita.fr>
2346
2347 * src/conflicts.c (finalize_conflicts): Rename as...
2348 (free_conflicts): this.
2349
2350 2001-09-22 Akim Demaille <akim@epita.fr>
2351
2352 * src/gram.c (gram_free): Rename back as...
2353 (dummy): this.
2354 (output_token_translations): Free `token_translations'.
2355 * src/symtab.c (free_symtab): Free the tag field.
2356
2357 2001-09-22 Akim Demaille <akim@epita.fr>
2358
2359 Remove `translations' as it is always set to true.
2360
2361 * src/gram.h: Adjust.
2362 * src/reader.c (packsymbols, parse_token_decl): Adjust
2363 * src/print.c (print_grammar): Adjust.
2364 * src/output.c (output_token_translations): Adjust.
2365 * src/lex.c (lex): Adjust.
2366 * src/gram.c: Be sure the set pointers to NULL.
2367 (dummy): Rename as...
2368 (gram_free): this.
2369
2370 2001-09-22 Akim Demaille <akim@epita.fr>
2371
2372 * configure.in: Invoke AM_LIB_DMALLOC.
2373 * src/system.h: Use dmalloc.
2374 * src/LR0.c: Be sure to have pointers initialized to NULL.
2375 (allocate_itemsets): Allocate kernel_items only if needed.
2376
2377 2001-09-22 Akim Demaille <akim@epita.fr>
2378
2379 * configure.in: Bump to 1.29b.
2380 * tests/Makefile.am (DISTCLEANFILES): Add package.m4.
2381 * tests/calc.at (_AT_DATA_CALC_Y): #undef malloc so that we don't
2382 need xmalloc.c in calc.y.
2383 From Pascal Bart.
2384
2385 2001-09-21 Akim Demaille <akim@epita.fr>
2386
2387 Version 1.29a.
2388 * Makefile.maint, config/config.guess, config/config.sub,
2389 * config/missing: Update from masters.
2390 * tests/Makefile.am ($(srcdir)/$(TESTSUITE)): No longer depend
2391 upon package.m4.
2392 * configure.in (ALL_LINGUAS): Add `tr'.
2393
2394 2001-09-21 Akim Demaille <akim@epita.fr>
2395
2396 * tests/Makefile.am (package.m4): Move to...
2397 ($(srcdir)/$(TESTSUITE)): here.
2398
2399 2001-09-20 Akim Demaille <akim@epita.fr>
2400
2401 * src/complain.c: No longer try to be standalone: use system.h.
2402 Don't assume __STDC__ is defined to 1. Just test if it is defined.
2403 * src/complain.h: Likewise.
2404 * src/reduce.c (useless_nonterminals, inaccessable_symbols):
2405 Remove the unused variable `n'.
2406 From Albert Chin-A-Young.
2407
2408 2001-09-18 Marc Autret <autret_m@epita.fr>
2409
2410 * doc/bison.1: Update.
2411 * doc/bison.texinfo (Bison Options): Update --defines and --graph
2412 descriptions.
2413 (Option Cross Key): Update.
2414 Add --graph.
2415
2416 2001-09-18 Marc Autret <autret_m@epita.fr>
2417
2418 * tests/regression.at: New test (comment in %union).
2419
2420 2001-09-18 Marc Autret <autret_m@epita.fr>
2421
2422 * src/reader.c (parse_union_decl): Do not output '/'. Let copy_comment
2423 do that.
2424 Reported by Keith Browne.
2425
2426 2001-09-18 Marc Autret <autret_m@epita.fr>
2427
2428 * tests/output.at: Add tests for --defines and --graph.
2429
2430 2001-09-18 Marc Autret <autret_m@epita.fr>
2431
2432 * tests/output.at: Removes tests of %{header,src}_extension features.
2433
2434 2001-09-18 Akim Demaille <akim@epita.fr>
2435
2436 * tests/Makefile.am (package.m4): New.
2437 * tests/calc.at (_AT_CHECK_CALC): Just run `calc input'.
2438 (_AT_CHECK_CALC_ERROR): Likewise.
2439 Factor the `, ' part of verbose error messages.
2440
2441 2001-09-18 Marc Autret <autret_m@epita.fr>
2442
2443 * src/getargs.c (longopts): Declare --defines and --graph as options
2444 with optional arguments.
2445 * src/files.h: Add extern declarations.
2446 * src/files.c (spec_graph_file, spec_defines_file): New.
2447 (output_files): Update.
2448 Remove CPP-outed code.
2449
2450 2001-09-18 Marc Autret <autret_m@epita.fr>
2451
2452 Turn off %{source,header}_extension feature.
2453
2454 * src/files.c (compute_exts_from_gf): Update.
2455 (compute_exts_from_src): Update.
2456 (output_files): CPP-out useless code.
2457 * src/files.h: Remove {header,source}_extension extern declarations.
2458 * src/reader.c (parse_dquoted_param): CPP-out.
2459 (parse_header_extension_decl): Remove.
2460 (parse_source_extension_decl): Remove.
2461 (read_declarations): Remove cases tok_{hdrext,srcext}.
2462 * src/lex.c (percent_table): Remove {header,source}_extension entries.
2463 * src/lex.h (token_t): Remove tok_hdrext and tok_srcext.
2464
2465 2001-09-10 Akim Demaille <akim@epita.fr>
2466
2467 * tests/output.at (AT_CHECK_BISON_FLAGS, AT_CHECK_BISON_PERCENT):
2468 (AT_CHECK_BISON_PERCENT_FLAGS): Merge into...
2469 (AT_CHECK_OUTPUT): this.
2470 Merely check ls' exit status, its output is useless.
2471
2472 2001-09-10 Akim Demaille <akim@epita.fr>
2473
2474 * tests/calc.at: Use m4_match.
2475 (_AT_DATA_CALC_Y): Check `yyin != NULL', not `stdin != NULL'.
2476
2477 2001-09-10 Marc Autret <autret_m@epita.fr>,
2478 Akim Demaille <akim@epita.fr>
2479
2480 * src/vcg.h (graph_s): color, textcolor, bordercolor are now
2481 enum color_e.
2482 * src/print_graph.c (print_graph): Initalize graph.layoutalgorithm
2483 to `normal'.
2484 * src/reader.c (parse_token_decl): Initialize token with tok_eof.
2485 * src/lex.h: Adjust prototype.
2486 (token_t): Add `tok_undef'.
2487 * src/lex.c (struct percent_table_struct): Retval is now a token_t.
2488 (parse_percent_token): Now returns token_t.
2489 Add default statement in switch.
2490 (lex): Separate `c' as an input variable, from the token_t result
2491 part.
2492 (unlexed): Is a token_t.
2493
2494 2001-09-10 Akim Demaille <akim@epita.fr>
2495
2496 * configure.in: Bump to 1.29a.
2497
2498 2001-09-07 Akim Demaille <akim@epita.fr>
2499
2500 Version 1.29.
2501
2502 2001-08-30 Akim Demaille <akim@epita.fr>
2503
2504 * tests/atgeneral.m4, tests/atconfig.in, tests/suite.at: Remove.
2505 * m4/atconfig.m4: Remove.
2506 * tests/testsuite.at, tests/atlocal.in, tests/output.at,
2507 * tests/bison: New.
2508 * tests/regression.at, tests/calc.at: Use m4_define, AT_BANNER,
2509 m4_if, m4_patsubst, and m4_regexp.
2510 * tests/calc.at (_AT_CHECK_CALC, _AT_CHECK_CALC_ERROR): Use an
2511 `input' file instead of echo.
2512
2513 2001-08-29 Akim Demaille <akim@epita.fr>
2514
2515 Bump to 1.28e.
2516
2517 2001-08-29 Akim Demaille <akim@epita.fr>
2518
2519 Version 1.28d.
2520
2521 2001-08-29 Paul Eggert <eggert@twinsun.com>
2522
2523 * src/bison.simple (yyparse): Don't take the address of an
2524 item before the start of an array, as that doesn't conform to
2525 the C Standard.
2526
2527 2001-08-29 Robert Anisko <anisko_r@epita.fr>
2528
2529 * doc/bison.texinfo (Location Tracking Calc): New node.
2530
2531 2001-08-29 Paul Eggert <eggert@twinsun.com>
2532
2533 * src/output.c (output): Do not define const, as this now
2534 causes more problems than it cures.
2535
2536 2001-08-29 Akim Demaille <akim@epita.fr>
2537
2538 * doc/bison.texinfo: Modernize `@node' and `@top' use: just name
2539 the nodes.
2540 Be sure to tag the `detailmenu'.
2541
2542 2001-08-29 Akim Demaille <akim@epita.fr>
2543
2544 * Makefile.maint (do-po-update): Wget refuses to overwrite files:
2545 download in a tmp dir.
2546
2547 2001-08-28 Marc Autret <autret_m@epita.fr>
2548
2549 * config/depcomp: New file.
2550
2551 2001-08-28 Marc Autret <autret_m@epita.fr>
2552
2553 * doc/bison.1 (mandoc): Adjust.
2554 From Juan Manuel Guerrero.
2555
2556 2001-08-28 Marc Autret <autret_m@epita.fr>
2557
2558 * src/print_graph.c (print_state): Fix.
2559
2560 2001-08-27 Marc Autret <autret_m@epita.fr>
2561
2562 * src/vcg.h (classname_s, infoname_s, node_s): Constify the
2563 char * members.
2564 Echo modifications to the functions prototypes.
2565 * src/vcg.c (add_classname, add_infoname): Adjust arguments.
2566
2567 2001-08-27 Marc Autret <autret_m@epita.fr>
2568
2569 * src/vcg.c: Include `xalloc.h'.
2570 (add_colorentry): New.
2571 (add_classname): New.
2572 (add_infoname): New.
2573 * src/vcg.h: Add new prototypes.
2574
2575 2001-08-27 Akim Demaille <akim@epita.fr>
2576
2577 * Makefile.maint: Sync. again with CVS Autoconf.
2578
2579 2001-08-27 Akim Demaille <akim@epita.fr>
2580
2581 * Makefile.maint: Formatting changes.
2582 (po-update, cvs-update, update): New targets.
2583 (AMTAR): Remove.
2584
2585 2001-08-27 Akim Demaille <akim@epita.fr>
2586
2587 * Makefile.am (AUTOMAKE_OPTIONS): 1.5.
2588 * Makefile.maint: Sync. with CVS Autoconf.
2589
2590 2001-08-27 Marc Autret <autret_m@epita.fr>
2591
2592 * src/vcg.h (struct infoname_s): New.
2593 (struct colorentry_s): New.
2594 (graph_s): New fields {vertical,horizontal}_order in structure.
2595 Add `infoname' field.
2596 Add `colorentry' field;
2597 * src/vcg_defaults.h (G_VERTICAL_ORDER): New.
2598 (G_HORIZONTAL_ORDER): New.
2599 (G_INFONAME): New.
2600 (G_COLORENTRY): New.
2601 * src/vcg.c (output_graph): Add output of {vertical,horizontal}_order.
2602 Add output of `infoname'.
2603 Add output of `colorentry'.
2604
2605 2001-08-27 Marc Autret <autret_m@epita.fr>
2606
2607 * src/reader.c (parse_dquoted_param): Rename variable `index' to `i'.
2608 This one shadowed a global parameter.
2609
2610 2001-08-24 Marc Autret <autret_m@epita.fr>
2611
2612 * src/print_graph.c (node_output_size): Declared POSIX `size_t' type,
2613 instead of `unsigned'.
2614 (print_state): Do not call obstack_object_size () in obstack_grow ()
2615 to avoid macro variables shadowing.
2616
2617 2001-08-23 Marc Autret <autret_m@epita.fr>
2618
2619 * src/lex.c (percent_table): Typo: s/naem/name/.
2620 Add graph option.
2621 Normalize new options declarations.
2622
2623 2001-08-20 Pascal Bart <pascal.bart@epita.fr>
2624
2625 * tests/suite.at: Exercise %header_extension and %source_extension.
2626
2627 2001-08-16 Marc Autret <autret_m@epita.fr>
2628
2629 * src/reader.c (parse_dquoted_param): New.
2630 (parse_header_extension_decl): Use it.
2631 (parse_source_extension_decl): Likewise.
2632
2633 2001-08-16 Marc Autret <autret_m@epita.fr>
2634
2635 * src/vcg.c: Remove includes of `complain.h' and `xalloc.h'.
2636 (get_xxxx_str): Use assert () instead of complain ().
2637 Remove return invokations in default cases.
2638 (get_decision_str): Modify default behaviour. Remove second argument.
2639 Echo modifications on calls.
2640 (output_graph): Fix.
2641
2642 2001-08-16 Marc Autret <autret_m@epita.fr>
2643
2644 * src/getargs.c (usage): Update with ``-g, --graph''.
2645
2646 2001-08-16 Marc Autret <autret_m@epita.fr>
2647
2648 * doc/bison.texinfo (Bison Options): Add items `-g', `--graph'.
2649 (Option Cross Key): Likewise.
2650 * doc/bison.1: Update.
2651
2652 2001-09-25 Pascal Bart <pascal.bart@epita.fr>
2653
2654 * src/output.c (output_master_parser): Don't finish action_obstack.
2655 (output_parser): Don't care about the muscle action, here.
2656 (prepare): Copy the action_obstack in the action muscle.
2657 (output): Free action_obstack.
2658
2659 2001-09-23 Pascal Bart <pascal.bart@epita.fr>
2660
2661 * src/reader.c (parse_union_decl): Add new obstack union_obstack. Which
2662 will contain `%union' declaration.
2663 (parse_union_decl): Delete #line directive output.
2664 (parse_union_decl): Substitute /attrs_obstack/union_obstack for all
2665 informations about %union.
2666 (parse_union_decl): Copy the union_obstack in the muscle stype.
2667 * src/bison.simple: Add new #line directive.
2668 Add typdef %%stype YYSTYPE.
2669
2670 2001-09-23 Pascal Bart <pascal.bart@epita.fr>
2671
2672 * src/bison.simple: Add new `#line' directive.
2673
2674 2001-09-22 Pascal Bart <pascal.bart@epita.fr>
2675
2676 * src/bison.simple: New `#line' directive.
2677 * src/output.c (output_parser): Support new dynamic muscle input_line.
2678
2679 2001-09-22 Marc Autret <autret_m@epita.fr>
2680
2681 * src/output.c (output_master_parser): New.
2682 (output_parser): Be more re-entrant.
2683
2684 2001-09-21 Marc Autret <autret_m@epita.fr>
2685
2686 * src/reader.c (copy_definition, parse_union_decl): Update and use
2687 `linef' muscle.
2688 (copy_action): Likewise.
2689 Use obstack_1grow ().
2690 * src/muscle_tab.c (muscle_init): Add muscle `linef'.
2691
2692 2001-09-21 Marc Autret <autret_m@epita.fr>
2693
2694 * src/options.c (option_table): Adjust.
2695 * src/lex.c (parse_percent_token): Fix.
2696
2697 2001-09-20 Pascal Bart <pascal.bart@epita.fr>
2698
2699 * src/options.c (symtab.h): Include it, need by lex.h.
2700
2701 2001-09-20 Pascal Bart <pascal.bart@epita.fr>
2702
2703 * src/lex.c (parse_percent_token): Change type of variable `tx', which
2704 is now an option_table_struct*.
2705 (option_strcmp): New function option_strcmp.
2706 (parse_percent_token): Call option_strcmp.
2707 * src/getargs.c (xalloc.h, options.h): Include it.
2708 (getargs): Call create_long_option_table.
2709 (getargs): Free longopts at the end of the function.
2710 (shortopts): Move in options.c.
2711 * src/options.c (create_long_option_table): New function. Convert
2712 information from option_table to option structure.
2713 * src/reader.c (options.h): Include it.
2714
2715 * src/Makefile.am: Adjust.
2716 * src/options.c (option_table): Create from longopts and percent_table.
2717 * src/getargs.c (longopts): Delete.
2718 * src/lex.c (struct percent_table_struct): Delete.
2719 (percent_table): Delete.
2720 (options.h): Include it.
2721 * src/options.c: Create.
2722 * src/options.h: Create.
2723 Declare enum opt_access_e.
2724 Define struct option_table_struct.
2725
2726 2001-09-20 Marc Autret <autret_m@epita.fr>
2727
2728 * doc/bison.texinfo: Adjust terminologies about prologue and epilogue
2729 sections of Bison.
2730
2731 2001-09-19 Pascal Bart <pascal.bart@epita.fr>
2732
2733 * src/bison.simple: s/%%filename/%%skeleton.
2734 * src/muscle_tab.c (getargs.h): Include it.
2735 (muscle_init): Insert new muscle skeleton.
2736
2737 2001-09-18 Pascal Bart <pascal.bart@epita.fr>
2738
2739 * src/output.c (output_parser): Delete unused variable actions_dumped.
2740
2741 2001-09-07 Pascal Bart <pascal.bart@epita.fr>
2742
2743 * src/output.c (output): Delete call to reader_output_yylsp.
2744 * src/reader.c (reader): Likewise.
2745 * src/reader.h: Delete declaration of reader_output_yylsp.
2746
2747 2001-09-02 Marc Autret <autret_m@epita.fr>
2748
2749 * src/reader.c: Include muscle_tab.h.
2750 (parse_union_decl): Update.
2751 (parse_macro_decl): Rename parse_muscle_decl.
2752 Update to use renamed functions and variable.
2753 (read_declarations, copy_action, read_additionnal_code, : Updated
2754 with correct variables and functions names.
2755 (packsymbols, reader): Likewise.
2756
2757 * src/reader.h (muscle_obstack): Extern declaration update.
2758
2759 * src/output.c: Include muscle_tab.h
2760 In all functions using macro_insert, change by using muscle_insert ().
2761 (macro_obstack): Rename muscle_obstack.
2762 Echo modifications in the whole file.
2763 (MACRO_INSERT_INT): Rename MUSCLE_INSERT_INT.
2764 (MACRO_INSERT_STRING): Rename MUSCLE_INSERT_STRING.
2765 (MACRO_INSERT_PREFIX): Rename MUSCLE_INSERT_PREFIX.
2766
2767 * src/muscle_tab.h: Update double inclusion macros.
2768 (macro_entry_s): Rename muscle_entry_s.
2769 Update prototypes.
2770
2771 * src/muscle_tab.c: Include muscle_tab.h.
2772 Rename macro_tabble to muscle_table.
2773 (mhash1, mhash2, mcmp): Use muscle_entry.
2774 (macro_init): Rename muscle_init. Update.
2775 (macro_insert): Rename muscle_insert. Update.
2776 (macro_find): Rename muscle_find. Update.
2777
2778 * src/main.c: Include muscle_tab.h.
2779 (main): Call muscle_init ().
2780 * src/Makefile.am (bison_SOURCES): Echo modifications.
2781
2782 2001-09-02 Marc Autret <autret_m@epita.fr>
2783
2784 Now the files macro_tab.[ch] are named muscle_tab.[ch].
2785
2786 * src/muscle_tab.c, src/muscle_tab.h: Add files.
2787
2788 2001-09-02 Marc Autret <autret_m@epita.fr>
2789
2790 * src/macrotab.c, src/macrotab.h: Remove.
2791
2792 2001-09-01 Pascal Bart <pascal.bart@epita.fr>
2793
2794 * src/reader.c (copy_guard): Use muscle to specify the `#line'
2795 filename.
2796
2797 2001-09-01 Marc Autret <autret_m@epita.fr>
2798
2799 * tests/calc.at (exp): Now, YYERROR_VERBOSE need to be set
2800 to an explicit value to activate the feature. We do it here.
2801
2802 2001-08-31 Pascal Bart <pascal.bart@epita.fr>
2803
2804 * src/output.c (prepare): Delete the `filename' muscule insertion.
2805 * src/reader.c (copy_action): Use `filename' muscule with `#line'.
2806 (parse_union_decl): Likewise.
2807 * src/macrotab.c (macro_init): Initialize filename by infile.
2808
2809 2001-08-31 Marc Autret <autret_m@epita.fr>
2810
2811 * src/bison.simple (YYLSP_NEEDED): New definition.
2812 * src/output.c (prepare): Add macro insertion of `locations_flag'
2813
2814 2001-08-31 Pascal Bart <pascal.bart@epita.fr>
2815
2816 * src/output.c (prepare): Delete insertion of previous muscles,
2817 and insert the `prefix' muscles.
2818 * src/macrotab.c (macro_init): Likewise.
2819 (macro_init): Initialization prefix directive by `yy'.
2820 * src/bison.simple: Substitute all %%yylex, %%yychar, %%yylval,
2821 %%yydebug, %%yyerror, %%yynerrs and %%yyparse by yylex, yychar,
2822 yylval, yydebug, yyerror, yynerrs and yyparse.
2823 New directive `#define' to substitute yydebug, ... with option
2824 name_prefix.
2825
2826 2001-08-31 Pascal Bart <pascal.bart@epita.fr>
2827
2828 * src/main.c (main): Standardize.
2829 * src/output.c (output_table_data, output_parser): Likewise.
2830 * src/macrotab.h, src/macrotab.c, src/bison.simple: Likewise.
2831
2832 2001-08-31 Pascal Bart <pascal.bart@epita.fr>, Marc Autret <autret_m@epita.fr>
2833
2834 * src/reader.c (read_additionnal_code): Rename %%user_code to
2835 %%epilogue.
2836 * src/output.c (output): Rename %%declarations to %%prologue.
2837 * src/bison.simple: Echo modifications.
2838
2839 2001-08-31 Marc Autret <autret_m@epita.fr>
2840
2841 * src/reader.c (readgram): CleanUp.
2842 (output_token_defines): Likewise.
2843 (packsymbols): Likewise.
2844 (reader): Likewise.
2845 * src/output.c (output): CPP-out useless code.
2846
2847 2001-08-31 Pascal Bart <pascal.bart@epita.fr>
2848
2849 * src/reader.c (reader): Delete obsolete call to function
2850 output_trailers and output_headers.
2851 * src/output.h: Remove obsolete functions prototypes of output_headers
2852 and output_trailers.
2853
2854 2001-08-30 Pascal Bart <pascal.bart@epita.fr>
2855
2856 * src/main.c: Include macrotab.h.
2857 * src/macrotab.h (macro_entry_s): Constify fields.
2858 Adjust functions prototypes.
2859 * src/macrotab.c (macro_insert): Constify key and value.
2860 (macro_find): Constify key.
2861 (macro_insert): Include 'xalloc.h'
2862 (macro_insert): Use XMALLOC.
2863 (macro_find): Constify return value.
2864 * src/output.c (output_table_data): Rename table to table_data.
2865 (output_parser): Constify macro_key, macro_value.
2866
2867 2001-08-30 Marc Autret <autret_m@epita.fr>
2868
2869 * src/reader.c (parse_skel_decl): New.
2870 (read_declarations): Add case `tok_skel', call parse_skel_decl ().
2871 * src/lex.h (token_t): New token `tok_skel'.
2872 * src/lex.c (percent_table): Add skeleton option entry.
2873 Standardize.
2874
2875 2001-08-29 Marc Autret <autret_m@epita.fr>
2876
2877 * src/bison.simple: Add %%user_code directive at the end.
2878 * src/reader.c (read_additionnal_code): New.
2879 (reader): Use it.
2880 * src/output.c (output_program): Remove.
2881 (output): Update.
2882
2883 2001-08-28 Marc Autret <autret_m@epita.fr>
2884
2885 * src/output.c (output_actions): Clean up.
2886 (output_gram): CPP-out useless code.
2887 * src/reader.c (reader): Clean up, CPP-out useless code.
2888
2889 2001-08-28 Pascal Bart <pascal.bart@epita.fr>
2890
2891 * src/output.c (output): Copy attrs_obstack in the '%%definitions'
2892 directive.
2893 * src/bison.simple: Add `%%definitions'.
2894
2895 2001-08-28 Marc Autret <autret_m@epita.fr>
2896
2897 * config/depcomp: New file.
2898
2899 2001-08-27 Paul Eggert <eggert@twinsun.com>
2900
2901 * src/bison.simple (yyparse): Don't take the address of an
2902 item before the start of an array, as that doesn't conform to
2903 the C Standard.
2904
2905 2001-08-27 Robert Anisko <robert.anisko@epita.fr>
2906
2907 * src/output.c (output): Remove the initialization of the macro
2908 obstack. It was done too late here.
2909
2910 * src/reader.c (parse_macro_decl): Fix. Use of the macro obstack was
2911 completely wrong.
2912 (reader): Initialize the macro obstack here, since we need it to grow
2913 '%define' directives.
2914
2915 * src/reader.h: Declare the macro obstack as extern.
2916
2917 2001-08-27 Robert Anisko <robert.anisko@epita.fr>
2918
2919 * src/output.c (output_parser): Fix. Store single '%' characters in
2920 the output obstack instead of throwing them away.
2921
2922 2001-08-27 Akim Demaille <akim@epita.fr>
2923
2924 * Makefile.am (AUTOMAKE_OPTIONS): 1.5.
2925
2926 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2927
2928 * lib/Makefile.am: Adjust.
2929
2930 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2931
2932 * src/bison.simple: Update and add '%%' directives.
2933
2934 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2935
2936 * src/reader.c (reader): Remove calls to 'output_headers' and
2937 'output_trailers'. Remove some C output.
2938 (readgram): Disable a piece of code that was writing a default
2939 definition for 'YYSTYPE'.
2940 (reader_output_yylsp): Remove.
2941 (packsymbols): Output token defintions to a macro.
2942 (copy_definition): Disable C output.
2943
2944 * src/reader.c (parse_macro_decl): New function used to parse macro
2945 declarations.
2946 (copy_string2): Put the body of copy_string into this new function.
2947 Add a parameter to let the caller choose whether he wants to copy the
2948 string delimiters or not.
2949 (copy_string): Be a simple call to copy_string2 with the last argument
2950 bound to true.
2951 (read_declarations): Add case for macro definition.
2952 (copy_identifier): New.
2953 (parse_macro_decl): Read macro identifiers using copy_identifier
2954 rather than lex.
2955
2956 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2957
2958 * src/output.c (prepare): Add prefixed names.
2959 (output_parser): Output semantic actions.
2960 (output_parser): Fix bug on '%%line' directives.
2961
2962 * src/output.c (output_headers): Remove. The C code printed by this
2963 function should now be in the skeletons.
2964 (output_trailers): Remove.
2965 (output): Disable call to 'reader_output_yylsp'.
2966 (output_rule_data): Do not output tables to the table obstack.
2967
2968 * src/output.c: Remove some C dedicated output.
2969 Improve the use of macro and output obstacks.
2970 (output_defines): Remove.
2971
2972 * src/output.c (output_token_translations): Associate 'translate'
2973 table with a macro. No output to the table obstack.
2974 (output_gram): Same for 'rhs' and 'prhs'.
2975 (output_stos): Same for 'stos'.
2976 (output_rule_data): Same for 'r1' and 'r2'.
2977 (token_actions): Same for 'defact'.
2978 (goto_actions): Same for 'defgoto'.
2979 (output_base): Same for 'pact' and 'pgoto'.
2980 (output_table): Same for 'table'.
2981 (output_check): Same for 'check'.
2982
2983 * src/output.c (output_table_data): New function.
2984 (output_short_table): Remove.
2985 (output_short_or_char_table): Remove.
2986
2987 * src/output.c (output_parser): Replace most of the skeleton copy code
2988 with something new. Skeletons are now processed character by character
2989 rather than line by line, and Bison looks for '%%' macros. This is the
2990 first step in making Bison's output process (a lot) more flexible.
2991 (output_parser): Use the macro table.
2992
2993 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2994
2995 * src/main.c (main): Initialize the macro table.
2996
2997 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
2998
2999 * src/lex.c (percent_table): Add tok_define.
3000 * src/lex.h: Add tok_define.
3001
3002 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
3003
3004 * src/macrotab.c: New file.
3005 * src/macrotab.h: New file.
3006 * src/Makefile.am: Update.
3007
3008 2001-08-25 Robert Anisko <robert.anisko@epita.fr>
3009
3010 * lib/hash.c: New file.
3011 * lib/hash.h: New file.
3012 * lib/Makefile.am: Update.
3013
3014 2001-08-15 Akim Demaille <akim@epita.fr>
3015
3016 Version 1.28c.
3017
3018 2001-08-15 Marc Autret <autret_m@epita.fr>
3019
3020 * src/reader.c (readgram): Indent output macro YYSTYPE.
3021 (packsymbols): Likewise.
3022 (output_token_defines): Likewise.
3023 * src/files.c: Standardize.
3024 (compute_header_macro): New.
3025 (defines_obstack_save): New. Use compute_header_macro.
3026 (output_files): Update. Use defines_obstack_save.
3027
3028 2001-08-15 Akim Demaille <akim@epita.fr>
3029
3030 * doc/bison.texinfo (Table of Symbols): Document
3031 YYSTACK_USE_ALLOCA.
3032
3033 2001-08-15 Akim Demaille <akim@epita.fr>
3034
3035 * missing: Update from CVS Automake.
3036 * config/config.guess, config/config.sub, config/texinfo.tex:
3037 Update from gnu.org.
3038
3039 2001-08-15 Akim Demaille <akim@epita.fr>
3040
3041 * Makefile.maint: Sync with CVS Autoconf.
3042
3043 2001-08-14 Pascal Bart <pascal.bart@epita.fr>
3044
3045 * doc/bison.texinfo: Include GNU Free Documentation License from
3046 `fdl.texi'.
3047 * doc/fdl.texi: Add to package.
3048
3049 2001-08-14 Marc Autret <autret_m@epita.fr>
3050
3051 Turn on %{source,header}_extension features.
3052
3053 * src/lex.c (percent_table): Un-CPP out header_extension and
3054 source_extension.
3055 * src/files.c (compute_exts_from_gf): Compare pointers with NULL.
3056 (compute_exts_from_src): Remove conditions. It restores priorities
3057 between options.
3058
3059 2001-08-14 Marc Autret <autret_m@epita.fr>
3060
3061 * src/files.c (compute_base_names): Add extensions computing when
3062 `--file-prefix' used.
3063 Standardize function calls.
3064
3065 2001-08-13 Marc Autret <autret_m@epita.fr>
3066
3067 * src/bison.simple (YYSTACK_USE_ALLOCA): Changed to allow users
3068 defining it (defined but null disables alloca).
3069
3070 2001-08-13 Marc Autret <autret_m@epita.fr>
3071
3072 * src/bison.simple (_yy_memcpy): CPP reformat.
3073
3074 2001-08-13 Pascal Bart <pascal.bart@epita.fr>
3075
3076 * tests/atconfig.in (CPPFLAGS): Fix.
3077
3078 2001-08-10 Pascal Bart <pascal.bart@epita.fr>
3079
3080 * doc/bison.texinfo: Include GNU General Public License from
3081 `gpl.texi'.
3082 * doc/gpl.texi: Add to package.
3083
3084 2001-08-10 Marc Autret <autret_m@epita.fr>
3085
3086 * src/print_graph.h: Fix.
3087 * src/reader.c (read_declarations): Use parse_header_extension_decl ().
3088
3089 2001-08-10 Akim Demaille <akim@epita.fr>
3090
3091 * src/system.h: Provide default declarations for stpcpy, strndup,
3092 and strnlen.
3093
3094 2001-08-10 Robert Anisko <anisko_r@epita.fr>
3095
3096 * doc/bison.texinfo (Locations): Update @$ stuff.
3097
3098 2001-08-09 Robert Anisko <anisko_r@epita.fr>
3099
3100 * src/bison.simple (YYLLOC_DEFAULT): Update.
3101 (yyparse): Adjust.
3102
3103 2001-08-08 Marc Autret <autret_m@epita.fr>
3104
3105 * doc/bison.texinfo: Change @samp{$<@dots{}>} to
3106 @samp{$<@dots{}>@var{n}} in Section Actions in Mid-Rule.
3107 Reported by Fabrice Bauzac.
3108
3109 2001-08-08 Marc Autret <autret_m@epita.fr>
3110
3111 * src/vcg_default.h: Use NULL instead of 0 to initialize pointers.
3112 * src/vcg.c (output_node): Fix.
3113 * src/vcg.h: Cleanup.
3114 * src/print_graph.c: Add comments.
3115 (node_output_size): New global variable. Simplify the formatting of
3116 the VCG graph output.
3117 (print_actions): Unused code is now used. It notifies the final state
3118 and no action states in the VCG graph. It also give the reduce actions.
3119 The `shift and goto' edges are red and the `go to state' edges are
3120 blue.
3121 Get the current node name and node_obstack by argument.
3122 (node_obstack): New variable.
3123 (print_state): Manage node_obstack.
3124 (print_core): Use node_obstack given by argument.
3125 A node is not only computed here but in print_actions also.
3126 (print_graph): CPP out useless code instead of commenting it.
3127
3128 2001-08-07 Pascal Bart <pascal.bart@epita.fr>
3129
3130 * tests/atconfig.in (CPPFLAGS): Fix.
3131
3132 2001-08-07 Akim Demaille <akim@epita.fr>
3133
3134 * src/print_graph.c (quote): New.
3135 (print_core): Use it.
3136
3137 2001-08-06 Akim Demaille <akim@epita.fr>, Marc Autret <autret_m@epita.fr>
3138
3139 * src/vcg.c (complain.h): Include it.
3140 Unepitaize `return' invocations.
3141 [NDEBUG] (main): Remove.
3142 * src/vcg.h (node_t, edge_t, graph_t): Constify the char * members.
3143 * src/files.c (open_files): Initialize graph_obstack.
3144 * src/print_graph.c (print_actions): CPP out useless code.
3145 (print_core): Don't output the last `\n' in labels.
3146 Use `quote'.
3147 * src/files.c (output_files): Output the VCG file.
3148 * src/main.c (main): Invoke print_graph ();
3149
3150 2001-08-06 Marc Autret <autret_m@epita.fr>
3151
3152 Automaton VCG graph output.
3153 Using option ``-g'' or long option ``--graph'', you can generate
3154 a gram_filename.vcg file containing a VCG description of the LALR (1)
3155 automaton of your grammar.
3156
3157 * src/main.c: Call to print_graph() function.
3158 * src/getargs.h: Update.
3159 * src/getargs.c (options): Update to catch `-g' and `--graph' options.
3160 (graph_flag): New flag.
3161 (longopts): Update.
3162 (getargs): Add case `g'.
3163 * src/files.c (graph_obstack): New obstack struct.
3164 (open_files): Initialize new obstack.
3165 (output_files): Saves graph_obstack if required.
3166 * src/files.h (graph_obstack): New extern declaration.
3167 * src/Makefile.am: Add new source files.
3168
3169 2001-08-06 Marc Autret <autret_m@epita.fr>
3170
3171 * src/print_graph.c, src/print_graph.h (graph): New.
3172 * src/vcg.h: New file.
3173 * src/vcg.c: New file, VCG graph handling.
3174
3175 2001-08-06 Marc Autret <autret_m@epita.fr>
3176
3177 Add of %source_extension and %header_extension which specify
3178 the source or/and the header output file extension.
3179
3180 * src/files.c (compute_base_names): Remove initialisation of
3181 src_extension and header_extension.
3182 (compute_exts_from_gf): Update.
3183 (compute_exts_from_src): Update.
3184 (output_files): Update.
3185 * src/reader.c (parse_header_extension_decl): New.
3186 (parse_source_extension_decl): New.
3187 (read_declarations): New case statements for the new tokens.
3188 * src/lex.c (percent_table): Add entries for %source_extension
3189 and %header_extension.
3190 * src/lex.h (token_e): New tokens tok_hdrext and tok_srcext.
3191
3192 2001-08-06 Marc Autret <autret_m@epita.fr>
3193
3194 * configure.in: Bump to 1.28c.
3195 * doc/bison.texinfo: Texinfo thingies.
3196
3197 2001-08-04 Pascal Bart <pascal.bart@epita.fr>
3198
3199 * tests/atconfig.in (CPPFLAGS): Add.
3200 * tests/calc.at (AT_CHECK): Use CPPFLAGS.
3201
3202 2001-08-03 Akim Demaille <akim@epita.fr>
3203
3204 Version 1.28b.
3205
3206 2001-08-03 Akim Demaille <akim@epita.fr>
3207
3208 * tests/Makefile.am (check-local): Ship testsuite.
3209 * tests/calc.at (_AT_DATA_CALC_Y): Prototype all the functions.
3210 Include `string.h'.
3211
3212 2001-08-03 Akim Demaille <akim@epita.fr>
3213
3214 * configure.in: Try using -Wformat when compiling.
3215
3216 2001-08-03 Akim Demaille <akim@epita.fr>
3217
3218 * configure.in: Bump to 1.28b.
3219
3220 2001-08-03 Akim Demaille <akim@epita.fr>
3221
3222 * src/complain.c: Adjust strerror_r portability issues.
3223
3224 2001-08-03 Akim Demaille <akim@epita.fr>
3225
3226 Version 1.28a.
3227
3228 2001-08-03 Akim Demaille <akim@epita.fr>
3229
3230 * src/getargs.c, src/getarg.h (skeleton)): Constify.
3231 * src/lex.c (literalchar): Avoid name clashes on `buf'.
3232 * src/getargs.c: Include complain.h.
3233 * src/files.c, src/files.h (skeleton_find): Avoid name clashes.
3234 * lib/quotearg.c, lib/quotearg.h: Update from fileutils 4.1.
3235
3236 2001-08-03 Akim Demaille <akim@epita.fr>
3237
3238 * src/reader.c (readgram): Display hidden chars in error messages.
3239
3240 2001-08-03 Akim Demaille <akim@epita.fr>
3241
3242 Update to gettext 0.10.39.
3243
3244 2001-08-03 Akim Demaille <akim@epita.fr>
3245
3246 * lib/strspn.c: New.
3247
3248 2001-08-01 Marc Autret <autret_m@epita.fr>
3249
3250 * doc/bison.texinfo: Update.
3251 * doc/bison.1 (mandoc): Update.
3252 * src/system.h (EXT_GUARD_C, EXT_STYPE_H): Remove .c and .h.
3253 * src/files.c: Support output files extensions computing.
3254 (src_extension): New static variable.
3255 (header_extension): New static variable.
3256 (tr): New function.
3257 (get_extension_index): New function, gets the index of an extension
3258 filename in a string.
3259 (compute_exts_from_gf): New function, computes extensions from the
3260 grammar file extension.
3261 (compute_exts_from_src): New functions, computes extensions from the
3262 C source file extension, file given by ``-o'' option.
3263 (compute_base_names): Update.
3264 (output_files): Update.
3265
3266 2001-08-01 Robert Anisko <anisko_r@epita.fr>
3267
3268 * doc/bison.texi: Document @$.
3269 (Locations): New section.
3270
3271 2001-07-18 Akim Demaille <akim@epita.fr>
3272
3273 * Makefile.maint, GNUmakefile: New, from Autoconf 2.52.
3274 * config/prev-version.txt, config/move-if-change: New.
3275 * Makefile.am: Adjust.
3276
3277 2001-07-08 Pascal Bart <pascal.bart@epita.fr>
3278
3279 * src/bison.simple (yyparse): Suppress warning `comparaison
3280 between signed and unsigned'.
3281
3282 2001-07-05 Pascal Bart <pascal.bart@epita.fr>
3283
3284 * src/getargs.h (raw_flag): Remove.
3285 * src/getargs.c: Die on `-r'/`--raw'.
3286 * src/lex.c (parse_percent_token): Die on `%raw'.
3287 * src/reader.c (output_token_defines): Suppress call to `raw_flag'.
3288 * tests/calc.at: Suppress test with option `--raw'.
3289
3290 2001-07-14 Akim Demaille <akim@epita.fr>
3291
3292 * config/: New.
3293 * configure.in: Require Autoconf 2.50.
3294 Update to gettext 0.10.38.
3295
3296 2001-03-16 Akim Demaille <akim@epita.fr>
3297
3298 * doc/bison.texinfo: ANSIfy the examples.
3299
3300 2001-03-16 Akim Demaille <akim@epita.fr>
3301
3302 * getargs.c (skeleton): New variable.
3303 (longopts): --skeleton is a new option.
3304 (shortopts, getargs): -S is a new option.
3305 * getargs.h: Declare skeleton.
3306 * output.c (output_parser): Use it.
3307
3308 2001-03-16 Akim Demaille <akim@epita.fr>
3309
3310 * m4/strerror_r.m4: New.
3311 * m4/error.m4: Run AC_FUNC_STRERROR_R.
3312 * lib/error.h, lib/error.c: Update.
3313
3314 2001-03-16 Akim Demaille <akim@epita.fr>
3315
3316 * src/getargs.c (longopts): Clean up.
3317
3318 2001-02-21 Akim Demaille <akim@epita.fr>
3319
3320 * src/reader.c (gensym): `gensym_count' is your own.
3321 Use a static buf to create the symbol name, as token_buffer is no
3322 longer a buffer.
3323
3324 2001-02-08 Akim Demaille <akim@epita.fr>
3325
3326 * src/conflicts.c (conflict_report): Be sure not to append to res
3327 between two calls, which could happen if both first sprintf were
3328 skipped, but not the first cp += strlen.
3329
3330 2001-02-08 Akim Demaille <akim@epita.fr>
3331
3332 * lib/memchr.c, lib/stpcpy.c, lib/strndup.c, lib/strnlen.c:
3333 New, from fileutils 4.0.37.
3334 * configure.in: Require Autoconf 2.49c. I took some time before
3335 making this decision. This is the only way out for portability
3336 issues in Bison, it would mean way too much duplicate effort to
3337 import in Bison features implemented in 2.49c since 2.13.
3338 AC_REPLACE_FUNCS and AC_CHECK_DECLS the functions above.
3339
3340 2001-02-02 Akim Demaille <akim@epita.fr>
3341
3342 * lib/malloc.c, lib/realloc.c: New, from the fileutils 4.0.37.
3343 * lib/xalloc.h, lib/xmalloc.c: Update.
3344
3345 2001-01-19 Akim Demaille <akim@epita.fr>
3346
3347 Get rid of the ad hoc handling of token_buffer in the scanner: use
3348 the obstacks.
3349
3350 * src/lex.c (token_obstack): New.
3351 (init_lex): Initialize it. No longer call...
3352 (grow_token_buffer): this. Remove it.
3353 Adjust all the places which used it to use the obstack.
3354
3355 2001-01-19 Akim Demaille <akim@epita.fr>
3356
3357 * src/lex.h: Rename all the tokens:
3358 s/\bENDFILE\b/tok_eof/g;
3359 s/\bIDENTIFIER\b/tok_identifier/g;
3360 etc.
3361 Let them be enums, not #define, to ease debugging.
3362 Adjust all the code.
3363
3364 2001-01-18 Akim Demaille <akim@epita.fr>
3365
3366 * src/lex.h (MAXTOKEN, maxtoken, grow_token_buffer): Remove, private.
3367 * src/lex.c (maxtoken, grow_token_buffer): Static.
3368
3369 2001-01-18 Akim Demaille <akim@epita.fr>
3370
3371 Since we now use obstacks, more % directives can be enabled.
3372
3373 * src/lex.c (percent_table): Also accept `%yacc',
3374 `%fixed_output_files', `%defines', `%no_parser', `%verbose', and
3375 `%debug'.
3376 Handle the actions for `%semantic_parser' and `%pure_parser' here,
3377 instead of returning a token.
3378 * src/lex.h (SEMANTIC_PARSER, PURE_PARSER): Remove, unused.
3379 * src/reader.c (read_declarations): Adjust.
3380 * src/files.c (open_files): Don't call `compute_base_names', don't
3381 compute `attrsfile' since they depend upon data which might be
3382 *in* the input file now.
3383 (output_files): Do it here.
3384 * src/output.c (output_headers): Document the fact that this patch
3385 introduces a guaranteed SEGV for semantic parsers.
3386 * doc/bison.texinfo: Document them.
3387 * tests/suite.at: Exercise these %options.
3388
3389 2000-12-20 Akim Demaille <akim@epita.fr>
3390
3391 Also handle the output file (--verbose) with obstacks.
3392
3393 * files.c (foutput): Remove.
3394 (output_obstack): New.
3395 Adjust all dependencies.
3396 * src/conflicts.c: Return a string.
3397 * src/system.h (obstack_grow_string): Rename as...
3398 (obstack_sgrow): this. Be ready to work with non literals.
3399 (obstack_fgrow4): New.
3400
3401 2000-12-20 Akim Demaille <akim@epita.fr>
3402
3403 * src/files.c (open_files): Fix the computation of short_base_name
3404 in the case of `-o foo.tab.c'.
3405
3406 2000-12-20 Akim Demaille <akim@epita.fr>
3407
3408 * src/reader.c (copy_string, copy_comment, copy_comment2, copy_at)
3409 (copy_dollar): Now that everything uses obstacks, get rid of the
3410 FILE * parameters.
3411
3412 2000-12-20 Akim Demaille <akim@epita.fr>
3413
3414 * src/files.c (open_files): Actually the `.output' file is based
3415 on the short_base_name, not base_name.
3416 * tests/suite.at (Checking output file names): Adjust.
3417
3418 2000-12-20 Akim Demaille <akim@epita.fr>
3419
3420 * src/bison.s1: Remove, we now use directly...
3421 * src/bison.simple: this.
3422 * src/Makefile.am: Use pkgdata instead of data.
3423
3424 2000-12-20 Akim Demaille <akim@epita.fr>
3425
3426 * src/files.c (guard_obstack): New.
3427 (open_files): Initialize it.
3428 (output_files): Dump it...
3429 * src/files.h: Export it.
3430 * src/reader.c (copy_guard): Use it.
3431
3432 2000-12-19 Akim Demaille <akim@epita.fr>
3433
3434 * src/files.c (outfile, defsfile, actfile): Removed as global
3435 vars.
3436 (open_files): Don't compute them.
3437 (output_files): Adjust.
3438 (base_name, short_base_name): Be global.
3439 Adjust dependencies.
3440
3441 2000-12-19 Akim Demaille <akim@epita.fr>
3442
3443 * src/files.c (strsuffix): New.
3444 (stringappend): Be just like strcat but allocate.
3445 (base_names): Eve out from open_files.
3446 Try to simplify the rather hairy computation of base_name and
3447 short_base_name.
3448 (open_files): Use it.
3449 * tests/suite.at (Checking output file names): New test.
3450
3451 2000-12-19 Akim Demaille <akim@epita.fr>
3452
3453 * src/system.h (obstack_grow_literal_string): Rename as...
3454 (obstack_grow_string): this.
3455 * src/output.c (output_parser): Recognize `%% actions' instead of
3456 `$'.
3457 * src/bison.s1: s/$/%% actions/.
3458 * src/bison.hairy: Likewise.
3459
3460 2000-12-19 Akim Demaille <akim@epita.fr>
3461
3462 * src/output.c (output_parser): Compute the `#line' lines when
3463 there are.
3464 * src/Makefile.am (bison.simple): Be a simple copy of bison.s1.
3465 Suggested by Hans Aberg.
3466
3467 2000-12-19 Akim Demaille <akim@epita.fr>
3468
3469 Let the handling of the skeleton files be local to the procedures
3470 that use it.
3471
3472 * src/files.c (xfopen, xfclose, skeleton_find, guardfile): No
3473 longer static.
3474 (fparser, open_extra_files): Remove.
3475 (open_files, output_files): Don't take care of fparser.
3476 * src/files.h: Adjust.
3477 * src/output.c (output_parser): Open and close the file to the
3478 skeleton.
3479 * src/reader.c (read_declarations): When %semantic_parser, open
3480 fguard.
3481
3482 2000-12-19 Akim Demaille <akim@epita.fr>
3483
3484 * src/file.h (BISON_SIMPLE, BISON_HAIRY): Move from here...
3485 * src/system.h (BISON_SIMPLE, BISON_HAIRY): ... to here.
3486
3487 2000-12-19 Akim Demaille <akim@epita.fr>
3488
3489 * src/files.c (open_files): Yipee! We no longer need all the code
3490 looking for `/tmp' since we have no tmp file.
3491
3492 2000-12-19 Akim Demaille <akim@epita.fr>
3493
3494 * src/system.h (EXT_TAB, EXT_OUTPUT, EXT_STYPE_H, EXT_GUARD_C):
3495 New macros.
3496 * src/files.c (open_files): Less dependency on MSDOS etc.
3497
3498 2000-12-14 Akim Demaille <akim@epita.fr>
3499
3500 * src/bison.s1 (YYLLOC_DEFAULT): New macro.
3501 Provide a default definition.
3502 Use it when executing the default @ action.
3503 * src/reader.c (reader_output_yylsp): No longer include
3504 `timestamp' and `text' in the default YYLTYPE.
3505
3506 2000-12-12 Akim Demaille <akim@epita.fr>
3507
3508 * src/reader.c (copy_definition, parse_union_decl, copy_action)
3509 (copy_guard): Quote the file names.
3510 Reported by Laurent Mascherpa.
3511
3512 2000-12-12 Akim Demaille <akim@epita.fr>
3513
3514 * src/output.c (output_headers, output_program, output): Be sure
3515 to escape special characters when outputting filenames.
3516 (ACTSTR_PROLOGUE, ACTSTR_EPILOGUE): Remove.
3517 (output_headers): Don't depend on them, Use ACTSTR.
3518
3519 2000-11-17 Akim Demaille <akim@epita.fr>
3520
3521 * lib/obstack.h: Formatting changes.
3522 (obstack_grow, obstack_grow0): Don't cast WHERE at all: it
3523 prevents type checking.
3524 (obstack_ptr_grow, obstack_ptr_grow_fast): When assigning, don't
3525 cast the value to (void *): assigning a `foo *' to a `void *'
3526 variable is valid.
3527 (obstack_int_grow, obstack_int_grow_fast): Don't cast AINT to int.
3528 * src/reader.c (parse_union_decl): Typo: use obstack_1grow to
3529 append characters.
3530
3531 2000-11-17 Akim Demaille <akim@epita.fr>
3532
3533 * tests/Makefile.am (suite.m4, regression.m4, calc.m4): Rename
3534 as...
3535 (suite.m4, regression.m4, calc.m4): these.
3536 * tests/atgeneral.m4: Update from CVS Autoconf.
3537
3538 2000-11-17 Akim Demaille <akim@epita.fr>
3539
3540 * tests/regression.m4 (%union and --defines): New test,
3541 demonstrating a current bug in the obstack implementation.
3542
3543 2000-11-17 Akim Demaille <akim@epita.fr>
3544
3545 * src/bison.s1 (_YY_DECL_VARIABLES, YY_DECL_VARIABLES): New
3546 macros.
3547 Use them to declare the variables which are global or local to
3548 `yyparse'.
3549
3550 2000-11-17 Akim Demaille <akim@epita.fr>
3551
3552 * acconfig.h: Remove, no longer used.
3553
3554 2000-11-07 Akim Demaille <akim@epita.fr>
3555
3556 * src: s/Copyright (C)/Copyright/g.
3557
3558 2000-11-07 Akim Demaille <akim@epita.fr>
3559
3560 * src/reader.c (reader): #define YYLSP_NEEDED to 1 instead of just
3561 defining.
3562 * src/bison.s1: s/#ifdef YYLSP_NEEDED/#if YYLSP_NEEDED/.
3563
3564 2000-11-07 Akim Demaille <akim@epita.fr>
3565
3566 * src/bison.s1 (YYLEX): Use #if instead of #ifdef.
3567 Merge in a single CPP if/else.
3568
3569 2000-11-07 Akim Demaille <akim@epita.fr>
3570
3571 * src/output.c (output): Remove useless variables.
3572 * lib/obstack.c (obstack_grow, obstack_grow0): Rename the second
3573 argument `data' for consistency with the prototypes.
3574 Qualify it `const'.
3575 (obstack_copy, obstack_copy0): Rename the second argument as
3576 `address' for consistency. Qualify it `const'.
3577 * lib/obstack.h (obstack_copy, obstack_copy0, obstack_grow)
3578 (obstack_grow0, obstack_ptr_grow, obstack_ptr_grow_fast): Qualify
3579 `const' their input argument (`data' or `address').
3580 Adjust the corresponding macros to include `const' in casts.
3581
3582 2000-11-03 Akim Demaille <akim@epita.fr>
3583
3584 * src/Makefile.am (INCLUDES): s/PFILE/BISON_SIMPLE/.
3585 s/PFILE1/BISON_HAIRY/.
3586 Adjust dependencies.
3587
3588 2000-11-03 Akim Demaille <akim@epita.fr>
3589
3590 For some reason, this was not applied.
3591
3592 * src/files.c [VMS]: No longer include `ssdef.h', no longer define
3593 `unlink': it's no longer used.
3594
3595 2000-11-03 Akim Demaille <akim@epita.fr>
3596
3597 * src/files.c (skeleton_find): New function, eved out of...
3598 (open_files, open_extra_files): here.
3599
3600 2000-11-03 Akim Demaille <akim@epita.fr>
3601
3602 Don't use `atexit'.
3603
3604 * src/files.c (obstack_save): New function.
3605 (done): Rename as...
3606 (output_files): this.
3607 Use `obstack_save'.
3608 * src/main.c (main): Don't use `atexit' to register `done', since
3609 it no longer has to remove tmp files, just call `output_files'
3610 when there are no errors.
3611
3612 2000-11-02 Akim Demaille <akim@epita.fr>
3613
3614 * src/files.c [VMS]: No longer include `ssdef.h', no longer define
3615 `unlink': it's no longer used.
3616 * src/files.h: Formatting changes.
3617
3618 2000-11-02 Akim Demaille <akim@epita.fr>
3619
3620 Remove the last uses of mktemp and unlink/delete.
3621
3622 * src/files.c (fdefines, ftable): Removed.
3623 (defines_ostack, table_obstack): New.
3624 Adjust dependencies of the former into uses of the latter.
3625 * src/output.c (output_short_or_char_table, output_short_table):
3626 Convert to using obstacks.
3627 * src/reader.c (copy_comment2): Accept one FILE * and two
3628 obstacks.
3629 (output_token_defines, reader_output_yylsp): Use obstacks.
3630 * src/system.h (obstack_fgrow3): New.
3631
3632 2000-11-01 Akim Demaille <akim@epita.fr>
3633
3634 Change each use of `fattrs' into a use of `attrs_obstack'.
3635
3636 * src/reader.c (copy_at): Typo: s/yylloc/yyloc/.
3637 * src/files.c (fattrs): Remove.
3638 (attrs_obstack): New.
3639 Adjust all dependencies.
3640 (done): If SEMANTIC_PARSER, dump attrs_obstack into attrsfile.
3641
3642 2000-11-01 Akim Demaille <akim@epita.fr>
3643
3644 Introduce obstacks.
3645 Change each use of `faction' into a use of `action_obstack'.
3646
3647 * lib/obstack.h, lib/obstack.c: New files.
3648 * src/files.c (faction): Remove.
3649 (action_obstack): New.
3650 Adjust all dependencies.
3651
3652 2000-10-20 Akim Demaille <akim@epita.fr>
3653
3654 * lib/quote.h (PARAMS): New macro. Use it.
3655
3656 2000-10-16 Akim Demaille <akim@epita.fr>
3657
3658 * src/output.c (output_short_or_char_table): New function.
3659 (output_short_table, output_token_translations): Use it.
3660 (goto_actions): Use output_short_table.
3661
3662 2000-10-16 Akim Demaille <akim@epita.fr>
3663
3664 * src/symtab.c (bucket_new): New function.
3665 (getsym): Use it.
3666
3667 * src/output.c (output_short_table): New argument to display the
3668 comment associated with the table.
3669 Adjust dependencies.
3670 (output_gram): Use it.
3671 (output_rule_data): Nicer output layout for YYTNAME.
3672
3673 2000-10-16 Akim Demaille <akim@epita.fr>
3674
3675 * src/lex.c (read_typename): New function.
3676 (lex): Use it.
3677 * src/reader.c (copy_dollar): Likewise.
3678
3679 2000-10-16 Akim Demaille <akim@epita.fr>
3680
3681 * src/reader.c (copy_comment2): Expect the input stream to be on
3682 the `/' which is suspected to open a comment, instead of being
3683 called after `//' or `/*' was read.
3684 (copy_comment, copy_definition, parse_union_decl, copy_action)
3685 (copy_guard): Adjust.
3686
3687 2000-10-16 Akim Demaille <akim@epita.fr>
3688
3689 * src/reader.c (parse_expect_decl): Use `skip_white_space' and
3690 `read_signed_integer'.
3691
3692 2000-10-16 Akim Demaille <akim@epita.fr>
3693
3694 * src/reader.c (copy_dollar): New function.
3695 (copy_guard, copy_action): Use it.
3696
3697 2000-10-16 Akim Demaille <akim@epita.fr>
3698
3699 * lib/quote.h, lib/quote.c, lib/quotearg.h, lib/quotearg.c:
3700 * m4/prereq.m4, m4/c-bs-a.m4, m4/mbstate.m4:
3701 New files, from Fileutils 4.0.27.
3702 * src/main.c (printable_version): Remove.
3703 * src/lex.c, src/reader.c: Use `quote'.
3704
3705 2000-10-04 Akim Demaille <akim@epita.fr>
3706
3707 * lib/error.c, lib/error.h: New files, needed by xmalloc.c.
3708
3709 2000-10-04 Akim Demaille <akim@epita.fr>
3710
3711 * doc/bison.texinfo: Various typos spotted by Neil Booth.
3712
3713 2000-10-04 Akim Demaille <akim@epita.fr>
3714
3715 When a literal string is used to define two different tokens,
3716 `bison -v' segfaults.
3717 Reported by Piotr Gackiewicz, and fixed by Neil Booth.
3718
3719 * tests/regression.m4: New file.
3720 Include the core of the sample provided by Piotr Gackiewicz.
3721 * src/reader.c (parse_token_decl): Diagnose bad cases, and proceed
3722 properly.
3723
3724 2000-10-04 Akim Demaille <akim@epita.fr>
3725
3726 * src/reader.c (parse_expect_decl): Keep `count' within the size
3727 of `buffer'.
3728 From Neil Booth.
3729
3730 2000-10-02 Paul Eggert <eggert@twinsun.com>
3731
3732 * bison.s1 (yyparse): Assign the default value
3733 unconditionally, to avoid a GCC warning and make the parser a
3734 tad smaller.
3735
3736 2000-10-02 Akim Demaille <akim@epita.fr>
3737
3738 * src/getargs.c (getargs): Don't dump `--help' on unrecognized
3739 options.
3740
3741 2000-10-02 Akim Demaille <akim@epita.fr>
3742
3743 * src/derives.c, src/print.c, src/reduce.c: To ease the
3744 translation, move some `\n' out of the translated strings.
3745
3746 2000-10-02 Akim Demaille <akim@epita.fr>
3747
3748 The location tracking mechanism is precious for parse error
3749 messages. Nevertheless, it is enabled only when `@n' is used in
3750 the grammar, which is a different issue (you can use it in error
3751 message, but not in the grammar per se). Therefore, there should
3752 be another means to enable it.
3753
3754 * src/getargs.c (getargs): Support `--locations'.
3755 (usage): Report it.
3756 * src/getargs.h (locationsflag): Export it.
3757 * src/lex.c (percent_table): Support `%locations'.
3758 * src/reader.c (yylsp_needed): Remove this variable, now replaced
3759 with `locationsflag'.
3760 * doc/bison.texinfo: Document `--locations' and `%locations'.
3761 Sort the options.
3762 * tests/calc.m4: Test it.
3763
3764 For regularity of the names, replace each
3765 (nolineflag, toknumflag, rawtokenumflag, noparserflag): with...
3766 (no_lineflag, token_tableflag, rawflag, no_parserflag): this.
3767 In addition replace each `flag' with `_flag'.
3768
3769 2000-10-02 Akim Demaille <akim@epita.fr>
3770
3771 Also test parse error messages, including with YYERROR_VERBOSE.
3772
3773 * tests/calc.m4 (calc.y): Add support for `exp = exp' (non
3774 associative).
3775 Use it to check the computations.
3776 Use it to check `nonassoc' is honored.
3777 (AT_DATA_CALC_Y): Equip `calc.y' with YYERROR_VERBOSE when passed
3778 `--yyerror-verbose'.
3779 (_AT_CHECK_CALC): Adjust to this option.
3780 (_AT_CHECK_CALC_ERROR): New macro to check parse error messages.
3781
3782 2000-10-02 Akim Demaille <akim@epita.fr>
3783
3784 Test also `--verbose', `--defines' and `--name-prefix'. Testing
3785 the latter demonstrates a flaw in the handling of non debugging
3786 parsers introduced by myself on 2000-03-16: `#define yydebug 0'
3787 was used in order to simplify:
3788
3789 #if YYDEBUG
3790 if (yydebug)
3791 {
3792 ...
3793 }
3794 #endif
3795
3796 into
3797
3798 if (yydebug)
3799 {
3800 ...
3801 }
3802
3803 unfortunately this leads to a CPP conflict when
3804 `--name-prefix=foo' is used since it produces `#define yydebug
3805 foodebug'.
3806
3807 * src/bison.s1 [!YYDEBUG]: Do not define yydebug.
3808 (YYDPRINTF): New macro.
3809 Spread its use.
3810 * tests/calc.m4 (AT_CHECK_CALC): Do require a title, build it from
3811 the bison options.
3812 Also test `--verbose', `--defines' and `--name-prefix'.
3813
3814 2000-10-02 Akim Demaille <akim@epita.fr>
3815
3816 Improve the readability of the produced parsers.
3817
3818 * src/bison.s1: Formatting changes.
3819 Improve the comment related to the `$' mark.
3820 (yydefault): Don't fall through to `yyresume': `goto' there.
3821 * src/output.c (output_parser): When the `$' is met, skip the end
3822 of its line.
3823 New variable, `number_of_dollar_signs', to check there's exactly
3824 one `$' in the parser skeleton.
3825
3826 2000-10-02 Akim Demaille <akim@epita.fr>
3827
3828 * lib/xstrdup.c: New file, from the fileutils.
3829 * src/reader.c (parse_token_decl, get_type_name, parse_type_decl)
3830 (parse_assoc_decl, parse_thong_decl, get_type): Use `xstrdup'
3831 instead of strlen + xmalloc + strcpy.
3832 * src/symtab.c (copys): Remove, use xstrdup instead.
3833
3834 2000-10-02 Akim Demaille <akim@epita.fr>
3835
3836 * src/gram.h (associativity): New enum type which replaces the
3837 former CPP macros `RIGHT_ASSOC', `LEFT_ASSOC' and `NON_ASSOC' with
3838 `right_assoc', `left_assoc' and `non_assoc'.
3839 Adjust all dependencies.
3840 * src/reader.c: Formatting changes.
3841 (LTYPESTR): Don't define it, use it as a literal in
3842 `reader_output_yylsp'.
3843 * src/symtab.h (symbol_class): New enum type which replaces the
3844 former CPP macros `SUNKNOWN', `STOKEN and `SNTERM' with
3845 `sunknown', `stoken and `snterm'.
3846
3847 2000-10-02 Akim Demaille <akim@epita.fr>
3848
3849 * src/getargs.c (fixed_outfiles): Rename as...
3850 (yaccflag): for consistency and accuracy.
3851 Adjust dependencies.
3852
3853 2000-10-02 Akim Demaille <akim@epita.fr>
3854
3855 Use the more standard files `xalloc.h' and `xmalloc.c' instead of
3856 Bison's `allocate.c' and `alloc.h'. This patch was surprisingly
3857 difficult and introduced a lot of core dump. It turns out that
3858 Bison used an implementation of `xmalloc' based on `calloc', and
3859 at various places it does depend upon the initialization to 0. I
3860 have not tried to isolate the pertinent places, and all the former
3861 calls to Bison's `xmalloc' are now using `XCALLOC'. Someday,
3862 someone should address this issue.
3863
3864 * src/allocate.c, src/alloc.h, m4/bison-decl.m4: Remove.
3865 * lib/xmalloc.c, lib/xalloc.h, m4/malloc.m4, m4/realloc.m4: New
3866 files.
3867 Adjust dependencies.
3868 * src/warshall.h: New file.
3869 Propagate.
3870
3871 2000-10-02 Akim Demaille <akim@epita.fr>
3872
3873 Various anti-`extern in *.c' changes.
3874
3875 * src/system.h: Include `assert.h'.
3876
3877 2000-10-02 Akim Demaille <akim@epita.fr>
3878
3879 * src/state.h (nstates, final_state, first_state, first_shift)
3880 (first_reduction): Move their exportation from here...
3881 * src/LR0.h: to here.
3882 Adjust dependencies.
3883 * src/getargs.c (statisticsflag): New variable.
3884 Add support for `--statistics'.
3885 Adjust dependencies.
3886
3887 Remove a lot of now useless `extern' statements in most files.
3888
3889 2000-10-02 Akim Demaille <akim@epita.fr>
3890
3891 * src/LR0.h: New file.
3892 Propagate its use.
3893
3894 2000-10-02 Akim Demaille <akim@epita.fr>
3895
3896 * src/print.h: New file.
3897 Propagate its use.
3898 * src/print.c: Formatting and ordering changes.
3899 (verbose, terse): Replace with...
3900 (print_results): this new function.
3901 Adjust dependencies.
3902
3903 2000-10-02 Akim Demaille <akim@epita.fr>
3904
3905 * src/conflicts.c (conflict_report): New function.
3906 (conflict_log, verbose_conflict_log): Replace with...
3907 (print_conflicts): this function.
3908 Adjust dependencies.
3909 * src/conflicts.h: New file.
3910 Propagate its inclusion.
3911
3912 2000-10-02 Akim Demaille <akim@epita.fr>
3913
3914 * src/nullable.h: New file.
3915 Propagate its inclusion.
3916 * src/nullable.c: Formatting changes.
3917
3918 2000-10-02 Akim Demaille <akim@epita.fr>
3919
3920 * src/reduce.h: New file.
3921 Propagate its inclusion.
3922 * src/reduce.c: Topological sort and other formatting changes.
3923 (bool, TRUE, FALSE): Move their definition to...
3924 * src/system.h: here.
3925
3926 2000-10-02 Akim Demaille <akim@epita.fr>
3927
3928 * src/files.c: Formatting changes.
3929 (tryopen, tryclose, openfiles): Rename as...
3930 (xfopen, xfclose, open_files): this.
3931 (stringappend): static.
3932 * src/files.h: Complete the list of exported symbols.
3933 Propagate its use.
3934
3935 2000-10-02 Akim Demaille <akim@epita.fr>
3936
3937 * src/reader.h: New file.
3938 Propagate its use instead of tedious list of `extern' and
3939 prototypes.
3940 * src/reader.c: Formatting changes, topological sort,
3941 s/register//.
3942
3943 2000-10-02 Akim Demaille <akim@epita.fr>
3944
3945 * src/lex.h: Prototype `lex.c' exported functions.
3946 * src/reader.c: Adjust.
3947 * src/lex.c: Formatting changes.
3948 (safegetc): Rename as...
3949 (xgetc): this.
3950
3951 2000-10-02 Akim Demaille <akim@epita.fr>
3952
3953 * src/lalr.h: New file.
3954 Propagate its inclusion instead of prototypes and `extern'.
3955 * src/lalr.c: Formatting changes, topological sorting etc.
3956
3957 2000-10-02 Akim Demaille <akim@epita.fr>
3958
3959 * src/output.c (token_actions): Introduce a temporary array,
3960 YYDEFACT, that makes it possible for this function to use
3961 output_short_table.
3962
3963 2000-10-02 Akim Demaille <akim@epita.fr>
3964
3965 `user_toknums' is output as a `short[]' in `output.c', while it is
3966 defined as a `int[]' in `reader.c'. For consistency with the
3967 other output tables, `user_toknums' is now defined as a table of
3968 shorts.
3969
3970 * src/reader.c (user_toknums): Be a short table instead of an int
3971 table.
3972 Adjust dependencies.
3973
3974 Factor the short table outputs.
3975
3976 * src/output.c (output_short_table): New function.
3977 * src/output.c (output_gram, output_stos, output_rule_data)
3978 (output_base, output_table, output_check): Use it.
3979
3980 2000-10-02 Akim Demaille <akim@epita.fr>
3981
3982 * src/output.c (output): Topological sort of the functions, in
3983 order to get rid of the `static' prototypes.
3984 No longer use `register'.
3985 * src/output.h: New file.
3986 Propagate its inclusion in files explicitly prototyping functions
3987 from output.c.
3988
3989 2000-09-21 Akim Demaille <akim@epita.fr>
3990
3991 * src/atgeneral.m4: Update from Autoconf.
3992
3993 2000-09-21 Akim Demaille <akim@epita.fr>
3994
3995 * src/closure.h: New file.
3996 * src/closure.c: Formatting changes, topological sort over the
3997 functions, use of closure.h.
3998 (initialize_closure, finalize_closure): Rename as...
3999 (new_closure, free_closure): these. Adjust dependencies.
4000 * src/LR0.c: Formatting changes, topological sort, use of
4001 cloture.h.
4002 (initialize_states): Rename as...
4003 (new_states): this.
4004 * src/Makefile.am (noinst_HEADERS): Adjust.
4005
4006 2000-09-20 Akim Demaille <akim@epita.fr>
4007
4008 * src/acconfig.h: Don't protect config.h against multiple
4009 inclusion.
4010 Don't define PARAMS.
4011 * src/system.h: Define PARAMS.
4012 Remove some of the ad-hoc CPP magic for DOS, VMS etc.: this is the
4013 purpose of config.h. system.h must not try to fix wrong
4014 definitions in config.h.
4015
4016 2000-09-20 Akim Demaille <akim@epita.fr>
4017
4018 * src/derives.h: New file.
4019 * src/main.c, src/derives.h: Use it.
4020 Formatting changes.
4021 * src/Makefile.am (noinst_HEADERS): Adjust.
4022
4023 2000-09-20 Akim Demaille <akim@epita.fr>
4024
4025 * tests/atgeneral.m4: Update from Autoconf.
4026 * tests/calc.m4 (_AT_DATA_CALC_Y, AT_DATA_CALC_Y, _AT_CHECK_CALC)
4027 (AT_CHECK_CALC): New macros.
4028 Use these macros to test bison with options `', `--raw',
4029 `--debug', `--yacc', `--yacc --debug'.
4030
4031 2000-09-19 Akim Demaille <akim@epita.fr>
4032
4033 * src/output.c: Formatting changes.
4034 * src/machine.h: Remove, leaving its contents in...
4035 * src/system.h: here.
4036 Include stdio.h.
4037 Adjust all dependencies on stdio.h and machine.h.
4038 * src/getargs.h: New file.
4039 Let all `extern' declarations about getargs.c be replaced with
4040 inclusion of `getargs.h'.
4041 * src/Makefile.am (noinst_HEADERS): Adjust.
4042
4043 * tests/calc.m4 (yyin): Be initialized in main, not on the global
4044 scope.
4045 (yyerror): Returns void, not int.
4046 * doc/bison.texinfo: Formatting changes.
4047
4048 2000-09-19 Akim Demaille <akim@epita.fr>
4049
4050 * tests/calc.m4 (calc.y): Do not assign to stdin, as it's not
4051 portable.
4052
4053 2000-09-18 Akim Demaille <akim@epita.fr>
4054
4055 * configure.in: Append WARNING_CFLAGS to CFLAGS.
4056 * src/Makefile.am (INCLUDES): Don't.
4057 Be ready to fetch headers in lib/.
4058
4059 2000-09-18 Akim Demaille <akim@epita.fr>
4060
4061 * doc/bison.texinfo: Update the copyright.
4062 ANSIfy and GNUify the examples.
4063 Remove the old menu.
4064
4065 2000-09-18 Akim Demaille <akim@epita.fr>
4066
4067 First set of tests: use the `calc' example from the documentation.
4068
4069 * src/bison.s1 (yyparse): Condition the code using `yytname' which
4070 is defined only when YYDEBUG is.
4071 * m4/atconfig.m4 (AT_CONFIG): Adjust to Autoconf 2.13.
4072 * src/files.c (tryopen, tryclose): Formatting changes.
4073 Move to the top and be static.
4074 * src/reader.c (read_signed_integer): Likewise.
4075 * tests/calc.m4: New file.
4076 * Makefile.am, suite.m4: Adjust.
4077 * m4/atconfig.m4: Set BISON_SIMPLE and BISON_HAIRY.
4078
4079 2000-09-18 Akim Demaille <akim@epita.fr>
4080
4081 Add support for an Autotest test suite for Bison.
4082
4083 * m4/m4.m4, m4/atconfig.m4: New files.
4084 * m4/Makefile.am (EXTRA_DIST): Adjust.
4085 * tests/suite.m4, tests/Makefile.am, tests/atgeneral.m4: New
4086 files.
4087 * src/getargs.c: Display a more standard --version message.
4088 * src/reader.c (reader): Formatting changes.
4089 No longer depend upon VERSION_STRING.
4090 * configure.in: No longer use `dnl'.
4091 Set up the test suite and the new directory `tests/.
4092 (VERSION_STRING): Remove.
4093
4094 2000-04-14 Akim Demaille <akim@epita.fr>
4095
4096 * src/reader.c (copy_comment2): New function, same as former
4097 `copy_comment', but outputs into two FILE *.
4098 (copy_comment): Use it.
4099 (parse_union_decl): Use it.
4100 (get_type, parse_start_decl): Use the same `invalid' message.
4101 (parse_start_decl, parse_union_decl): Use the same `multiple'
4102 message.
4103 (parse_union_decl, copy_guard, copy_action): Use the same
4104 `unmatched' message.
4105 * m4/Makefile.am (EXTRA_DIST): Add `warning.m4'.
4106
4107 2000-03-31 Akim Demaille <akim@epita.fr>
4108
4109 * src/files.c (tryopen, tryclose): Move to the top.
4110 Be static.
4111
4112 2000-03-31 Akim Demaille <akim@epita.fr>
4113
4114 * src/main.c (main): Don't call `done', exit does it.
4115
4116 2000-03-31 Akim Demaille <akim@epita.fr>
4117
4118 * allocate.c: s/return (foo)/return foo/.
4119 * lalr.c: Likewise.
4120 * LR0.c: Likewise.
4121 * output.c: Likewise.
4122 * reader.c: Likewise.
4123 * symtab.c: Likewise.
4124 * vmsgetargs.c: Likewise.
4125
4126 2000-03-31 Akim Demaille <akim@epita.fr>
4127
4128 Clean up the error reporting functions.
4129
4130 * src/report.c: New file.
4131 * src/report.h: Likewise.
4132 * src/Makefile.am: Adjust.
4133 * m4/error.m4: New file.
4134 * m4/Makefile.am: Adjust.
4135 * configure.in (jm_PREREQ_ERROR): Call it.
4136 * src/main.c (int_to_string, banner, fatal_banner, warn_banner):
4137 Remove.
4138 (fatal, fatals): Remove. All callers use complain.c::fatal.
4139 (warn, warni, warns, warnss, warnss): Remove. All callers use
4140 complain.c::complain.
4141 (toomany): Remove, use fatal instead.
4142 * src/files.c (done): No argument, use complain_message_count.
4143 * src/main.c (main): Register `done' to `atexit'.
4144
4145 * src/getargs.c (usage): More `fputs', less `fprintf'.
4146
4147 2000-03-28 Akim Demaille <akim@epita.fr>
4148
4149 * lib/: New directory.
4150 * Makefile.am (SUBDIRS): Adjust.
4151 * configure.in: Adjust.
4152 (LIBOBJS): Although not used yet, AC_SUBST it, otherwise it's
4153 useless.
4154 * src/alloca.c: Moved to lib/.
4155 * src/getopt.c: Likewise.
4156 * src/getopt1.c: Likewise.
4157 * src/getopt.h: Likewise.
4158 * src/ansi2knr.c: Likewise.
4159 * src/ansi2knr.1: Likewise.
4160 * src/Makefile.am: Adjust.
4161 * lib/Makefile.am: New file.
4162
4163 2000-03-28 Akim Demaille <akim@epita.fr>
4164
4165 * src/getargs.c (usage): Refresh the help message.
4166
4167 2000-03-17 Akim Demaille <akim@epita.fr>
4168
4169 * src/getopt1.c: Updated from textutils 2.0e
4170 * src/getopt.c: Likewise.
4171 * src/getopt.h: Likewise.
4172
4173 2000-03-17 Akim Demaille <akim@epita.fr>
4174
4175 * src/Makefile.am (bison.simple): Fix the awk program: quote only
4176 the file name, not the whole `#line LINE FILE'.
4177
4178 2000-03-17 Akim Demaille <akim@epita.fr>
4179
4180 On syntax errors, report the token on which we choked.
4181
4182 * src/bison.s1 (yyparse): In the label yyerrlab, when
4183 YYERROR_VERBOSE, add yychar in msg.
4184
4185 2000-03-17 Akim Demaille <akim@epita.fr>
4186
4187 * src/reader.c (copy_at): New function.
4188 (copy_guard): Use it.
4189 (copy_action): Use it.
4190
4191 2000-03-17 Akim Demaille <akim@epita.fr>
4192
4193 Be kind to translators, save some useless translations.
4194
4195 * src/main.c (banner): New function.
4196 (fatal_banner): Use it.
4197 (warn_banner): Use it.
4198
4199 2000-03-17 Akim Demaille <akim@epita.fr>
4200
4201 * src/reader.c (copy_definition): Use copy_string and
4202 copy_comment. Removed now unused `match', `ended',
4203 `cplus_comment'.
4204 (copy_comment, copy_string): Moved, to be visible from
4205 copy_definition.
4206
4207 2000-03-17 Akim Demaille <akim@epita.fr>
4208
4209 * src/reader.c (copy_string): Declare `static inline'. No
4210 problems with inline, since it is checked by configure.
4211 (copy_comment): Likewise.
4212
4213 2000-03-17 Akim Demaille <akim@epita.fr>
4214
4215 * src/reader.c (packsymbols): Formatting changes.
4216
4217 2000-03-17 Akim Demaille <akim@epita.fr>
4218
4219 * src/reader.c (copy_comment): New function, factored out from:
4220 (copy_action): Use it. Removed now unused `match', `ended',
4221 `cplus_comment'.
4222 (copy_guard): Likewise.
4223
4224 2000-03-17 Akim Demaille <akim@epita.fr>
4225
4226 * src/reader.c (copy_string): New function, factored out from:
4227 (copy_action): Use it.
4228 (copy_guard): Likewise.
4229
4230 2000-03-17 Akim Demaille <akim@epita.fr>
4231
4232 Change the handling of @s so that they behave exactly like $s.
4233 There is now a pseudo variable @$ (readble and writable), location
4234 of the lhs of the rule (by default ranging from the location of
4235 the first symbol of the rhs, to the location of the last symbol,
4236 or, if the rhs is empty, YYLLOC).
4237
4238 * src/bison.s1 [YYLSP_NEEDED] (yyloc): New variable, twin of
4239 yyval.
4240 (yyparse): When providing a default semantic action, provide a
4241 default location action.
4242 (after the $): No longer change `*YYLSP', just stack YYLOC the
4243 same way you stack YYVAL.
4244 * src/reader.c (read_declarations): Use warns.
4245 (copy_guard, case '@'): Also recognize `@$', expanded as `YYLOC'.
4246 (copy_action, case '@'): Likewise.
4247 Use a standard error message, to save useless work from
4248 translators.
4249
4250 2000-03-17 Akim Demaille <akim@epita.fr>
4251
4252 * src/bison.s1: Formatting and cosmetics changes.
4253 * src/reader.c: Likewise.
4254 Update the Copyright notice.
4255
4256 2000-03-17 Akim Demaille <akim@epita.fr>
4257
4258 * src/bison.s1 (#line): All set to `#line' only, since the
4259 Makefile now handles them.
4260
4261 2000-03-16 Akim Demaille <akim@epita.fr>
4262
4263 * src/output.c (output_rule_data): Output the documentation of
4264 some of the tables.
4265 (Copyright notice): Update.
4266 Formatting changes.
4267
4268 2000-03-16 Akim Demaille <akim@epita.fr>
4269
4270 * src/bison.s1 [!YYDEBUG]: Define yydebug to 0. This allows to
4271 remove most `#if YYDEBUG != 0', since `if (yydebug)' is enough.
4272 One `#if YYDEBUG' remains, since it uses variables which are
4273 defined only if `YYDEBUG != 0'.
4274
4275 2000-03-16 Akim Demaille <akim@epita.fr>
4276
4277 * src/bison.s1 (yyparse): Reorganize the definitions of the stacks
4278 and related variables so that the similarities are highlighted.
4279
4280 2000-03-16 Akim Demaille <akim@epita.fr>
4281
4282 * src/bison.s1: Properly indent CPP directives.
4283
4284 2000-03-16 Akim Demaille <akim@epita.fr>
4285
4286 * src/bison.s1: Properly indent the `alloca' CPP section.
4287
4288 2000-03-16 Akim Demaille <akim@epita.fr>
4289
4290 Do not hard code values of directories in `configure.in'.
4291 Update the `configure' tool chain.
4292
4293 * configure.in (XPFILE, XPFILE1, LOCALEDIR): Remove, handled by
4294 src/makefile.am.
4295 (VERSION_STRING): Use the third arg of AC_DEFINE_UNQUOTED.
4296 (AC_OUTPUT): Add m4/Makefile.
4297 Bump to bison 1.28a, 1.29 has never been released.
4298 * acconfig.h (XPFILE, XPFILE1, LOCALEDIR): Remove, since they are
4299 handled via src/Makefile.am.
4300 (VERSION_STRING, PROTOTYPES, ENABLE_NLS, HAVE_CATGETS,
4301 HAVE_GETTEXT, HAVE_LC_MESSAGES, HAVE_STPCPY): Remove, handled by
4302 autoheader.
4303 * Makefile.am (SUBDIRS): Add m4.
4304 (ACLOCAL_AM_FLAGS): New variable.
4305 (AUTOMAKE_OPTIONS): Add check-news.
4306 * src/Makefile.am (bison.simple): Use awk to replace #line lines with
4307 the proper line number and file name.
4308 (DEFS): Propagate the location of bison library files and of the
4309 locale files.
4310 (INCLUDES): Added `-I ..' so that one can compile with srcdir !=
4311 builddir.
4312 * acinclude.m4: Remove, replaced by the directory m4.
4313 * m4/Makefile.am (EXTRA_DIST): New variable.
4314 * m4/gettext.m4: New file, from the fileutils.
4315 * m4/lcmessage.m4: Likewise
4316 * m4/progtest.m4: Likewise.
4317 * m4/bison-decl.m4: New file, extracted from former acinclude.m4.
4318
4319 2000-03-10 Akim Demaille <akim@epita.fr>
4320
4321 * src/closure.c:
4322 Formatting changes of various comments.
4323 Respect the GNU coding standards at various places.
4324 Don't use `_()' when no translation is needed.
4325
4326 1999-12-13 Jesse Thilo <jthilo@gnu.org>
4327
4328 * src/files.c:
4329 OS/2 honors TMPDIR environment variable.
4330
4331 1999-12-13 Jesse Thilo <jthilo@gnu.org>
4332
4333 * doc/bison.texinfo: Tweaked spelling and grammar.
4334 Updated ISBN.
4335 Removed reference to price of printed copy.
4336 Mention BISON_SIMPLE and BISON_HAIRY.
4337
4338 1999-12-13 Jesse Thilo <jthilo@gnu.org>
4339
4340 * configure.in, NEWS:
4341 Bison 1.29 released.
4342
4343 1999-10-27 Jesse Thilo <jthilo@gnu.org>
4344
4345 * doc/.cvsignore, doc/Makefile.am, doc/refcard.tex:
4346 Added reference card.
4347
4348 1999-07-26 Jesse Thilo <jthilo@gnu.org>
4349
4350 * po/ru.po: Added Russian translation.
4351
4352 1999-07-26 Jesse Thilo <jthilo@gnu.org>
4353
4354 * configure.in: Added Russian translation.
4355
4356 1999-07-06 Jesse Thilo <jthilo@gnu.org>
4357
4358 * configure.in, NEWS, README:
4359 Released version 1.28.
4360
4361 1999-06-14 Jesse Thilo <jthilo@gnu.org>
4362
4363 * src/system.h:
4364 Squashed redefinition warning on some systems.
4365
4366 * src/getargs.c, src/Makefile.am, src/reader.c, src/version.c:
4367 Have configure build version string instead of relying on ANSI string
4368 concatentation.
4369
4370 1999-06-14 Jesse Thilo <jthilo@gnu.org>
4371
4372 * po/POTFILES.in: Got rid of version.c.
4373
4374 1999-06-14 Jesse Thilo <jthilo@gnu.org>
4375
4376 * acconfig.h, configure.in:
4377 Have configure build version string instead of relying on ANSI string
4378 concatentation.
4379
4380 1999-06-08 Jesse Thilo <jthilo@gnu.org>
4381
4382 * doc/bison.1:
4383 Dropped mention of `+' for long-named options.
4384
4385 1999-05-30 Jesse Thilo <jthilo@gnu.org>
4386
4387 * src/files.c: Added <unistd.h> for unlink().
4388
4389 * src/Makefile.am, src/system.h:
4390 I18n fixes.
4391
4392 1999-05-30 Jesse Thilo <jthilo@gnu.org>
4393
4394 * README: Added a FAQ list.
4395
4396 * configure.in, acconfig.h:
4397 I18n fixes.
4398
4399 1999-05-30 Jesse Thilo <jthilo@gnu.org>
4400
4401 * doc/FAQ, doc/Makefile.am:
4402 Added a FAQ list.
4403
4404 1999-05-19 Jesse Thilo <jthilo@gnu.org>
4405
4406 * src/alloc.h, src/symtab.h, src/version.c:
4407 Protected inclusion of "config.h" with HAVE_CONFIG_H.
4408
4409 1999-04-18 Jesse Thilo <jthilo@gnu.org>
4410
4411 * src/.cvsignore, src/Makefile.am:
4412 Reorganized: sources in `src', documentation in `doc'.
4413
4414 * src/lex.c (literalchar):
4415 fixed the code for escaping double quotes (thanks
4416 Jonathan Czisny.)
4417
4418 1999-04-18 Jesse Thilo <jthilo@gnu.org>
4419
4420 * po/de.po, po/es.po, po/fr.po, po/nl.po, po/POTFILES.in:
4421 Adjusted paths to reflect directory reorganization.
4422
4423 1999-04-18 Jesse Thilo <jthilo@gnu.org>
4424
4425 * doc/.cvsignore, doc/Makefile.am:
4426 Reorganized: sources in `src', documentation in `doc'.
4427
4428 1999-04-18 Jesse Thilo <jthilo@gnu.org>
4429
4430 * configure.in:
4431 Updated AC_INIT file to reflect directory reorganization.
4432
4433 * configure.in, .cvsignore, Makefile.am, POTFILES.in:
4434 Reorganized: sources in `src', documentation in `doc'.
4435
4436 1999-04-13 Jesse Thilo <jthilo@gnu.org>
4437
4438 * src/allocate.c:
4439 Don't declare calloc() and realloc() if not necessary.
4440
4441 1999-04-13 Jesse Thilo <jthilo@gnu.org>
4442
4443 * configure.in, acconfig.h, acinclude.m4:
4444 Don't declare calloc() and realloc() if not necessary.
4445
4446 1999-03-23 Jesse Thilo <jthilo@gnu.org>
4447
4448 * po/.cvsignore: Added i18n support.
4449
4450 1999-03-23 Jesse Thilo <jthilo@gnu.org>
4451
4452 * acconfig.h, configure.in, Makefile.am:
4453 Added i18n support.
4454
4455 1999-03-22 Jesse Thilo <jthilo@gnu.org>
4456
4457 * src/bison.s1: Fixed #line numbers.
4458
4459 1999-03-15 Jesse Thilo <jthilo@gnu.org>
4460
4461 * po/es.po, po/fr.po, po/nl.po, po/de.po:
4462 Added PO files from Translation Project.
4463
4464 1999-03-03 Jesse Thilo <jthilo@gnu.org>
4465
4466 * Makefile.am:
4467 Added support for non-ANSI compilers (ansi2knr).
4468
4469 1999-02-16 Jesse Thilo <jthilo@gnu.org>
4470
4471 * configure.in: Bumped version number to 1.27.
4472
4473 * Makefile.am:
4474 Added `bison.simple' to list of files removed by `make distclean'.
4475
4476 1999-02-12 Jesse Thilo <jthilo@gnu.org>
4477
4478 * src/files.c, src/files.h:
4479 Defined locations of parser files in config.h instead of Makefile.
4480
4481 1999-02-12 Jesse Thilo <jthilo@gnu.org>
4482
4483 * acconfig.h, acinclude.m4, configure.in, Makefile.am:
4484 Defined locations of parser files in config.h instead of Makefile.
4485
4486 1999-02-09 Jesse Thilo <jthilo@gnu.org>
4487
4488 * Makefile.am:
4489 Removed inappropriate use of $< macro.
4490
4491 1999-02-05 Jesse Thilo <jthilo@gnu.org>
4492
4493 * po/Makefile.in.in, po/POTFILES.in:
4494 Add `po' directory skeleton.
4495
4496 1999-01-27 Jesse Thilo <jthilo@gnu.org>
4497
4498 * README: Document help-bison list.
4499
4500 * configure.in: Add check for mkstemp().
4501
4502 1999-01-20 Jesse Thilo <jthilo@gnu.org>
4503
4504 * src/conflicts.c, src/LR0.c, src/output.c, src/reader.c:
4505 Hush a few compiler warnings.
4506
4507 * src/files.c:
4508 Add tryclose(), which verifies that fclose was successful.
4509 Hush a couple of compiler warnings.
4510
4511 1999-01-20 Jesse Thilo <jthilo@gnu.org>
4512
4513 * Makefile.am, OChangeLog:
4514 ChangeLog is now automatically generated. Include the old version as
4515 OChangeLog.
4516
4517 1999-01-14 Jesse Thilo <jthilo@gnu.org>
4518
4519 * 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:
4520 Update FSF address.
4521
4522 1999-01-14 Jesse Thilo <jthilo@gnu.org>
4523
4524 * doc/bison.texinfo: Fix formatting glitch.
4525
4526 * doc/bison.texinfo: Update FSF address.
4527
4528 1999-01-14 Jesse Thilo <jthilo@gnu.org>
4529
4530 * acconfig.h: Update FSF address.
4531
4532 1999-01-08 Jesse Thilo <jthilo@gnu.org>
4533
4534 * src/system.h:
4535 Don't define PACKAGE here, since config.h defines it.
4536
4537 1998-12-30 Jesse Thilo <jthilo@gnu.org>
4538
4539 * src/reader.c: Update copyright date.
4540
4541 * src/main.c:
4542 Ditch sprintf to statically-sized buffers in fatal/warn functions in
4543 favor of output directly to stderr (avoids buffer overruns).
4544
4545 * src/reader.c: Some checks for premature EOF.
4546
4547 * 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:
4548 Use prototypes if the compiler understands them.
4549
4550 * src/files.c: Honor TMPDIR on Unix hosts.
4551 Use prototypes if the compiler understands them.
4552
4553 * src/reader.c:
4554 Fix a couple of buffer overrun bugs.
4555 Use prototypes if the compiler understands them.
4556
4557 * src/system.h: Include unistd.h and ctype.h.
4558 Use #ifdef instead of #if for NLS symbols.
4559
4560 1998-12-30 Jesse Thilo <jthilo@gnu.org>
4561
4562 * doc/bison.texinfo:
4563 Delete comment "consider using @set for edition number, etc..." since
4564 we now are doing so.
4565
4566 1998-12-30 Jesse Thilo <jthilo@gnu.org>
4567
4568 * configure.in:
4569 Use prototypes if the compiler understands them.
4570
4571 * NEWS: Document 1.26 highlights.
4572
4573 * Makefile.am: Require Automake 1.3 or later.
4574
4575 * acconfig.h:
4576 Use prototypes if the compiler understands them.
4577
4578 1998-12-29 Jesse Thilo <jthilo@gnu.org>
4579
4580 * src/version.c:
4581 Use VERSION symbol from automake for version number.
4582
4583 1998-12-29 Jesse Thilo <jthilo@gnu.org>
4584
4585 * acconfig.h, configure.in, version.cin:
4586 Use VERSION symbol from automake for version number.
4587
4588 1998-11-28 Jesse Thilo <jthilo@gnu.org>
4589
4590 * Makefile.am:
4591 Distribute original version of simple parser (bison.s1), not built
4592 version (bison.simple).
4593
4594 1998-11-28 Jesse Thilo <jthilo@gnu.org>
4595
4596 * doc/bison.texinfo: Add info dir entry.
4597
4598 * doc/bison.texinfo:
4599 Let automake put version number into documentation.
4600
4601 1998-11-26 Jesse Thilo <jthilo@gnu.org>
4602
4603 * src/bison.cld, src/build.com, src/vmshlp.mar:
4604 Add non-RCS files from /gd/gnu/bison.
4605
4606 1998-11-26 Jesse Thilo <jthilo@gnu.org>
4607
4608 * doc/bison.1:
4609 Document the BISON_HAIRY and BISON_SIMPLE variables.
4610
4611 1998-11-25 Jesse Thilo <jthilo@gnu.org>
4612
4613 * src/version.c: Build version.c automatically.
4614
4615 * src/reader.c:
4616 Fix token numbering (used to start at 258, not 257).
4617
4618 * src/system.h: Include config.h.
4619
4620 * src/getargs.c: Update bug report address.
4621
4622 * src/alloca.c, src/getopt1.c, src/getopt.c, src/getopt.h:
4623 Get latest copies of alloca.c, getopt.c, getopt.h, getopt1.c from gnu.org.
4624
4625 1998-11-25 Jesse Thilo <jthilo@gnu.org>
4626
4627 * Makefile.am:
4628 Rename bison.simple to bison.s1 (bison.simple is then built from bison.s1).
4629
4630 * configure.in, version.cin:
4631 Build version.c automatically.
4632
4633 * AUTHORS: Add AUTHORS file.
4634
4635 * README: Update bug report address.
4636
4637 * bison.simple:
4638 Rename bison.simple to bison.s1 (bison.simple is then built from bison.s1).
4639
4640 * configure.in, Makefile.am, Makefile.in, stamp-h.in:
4641 Add automake stuff.
4642
4643 1998-11-25 Jesse Thilo <jthilo@gnu.org>
4644
4645 * doc/bison.texinfo: Clean up some formatting.
4646
4647 1998-05-05 Richard Stallman <rms@gnu.org>
4648
4649 * doc/bison.texinfo:
4650 Explain better why to make a pure parser.
4651
4652 1998-01-05 Richard Stallman <rms@gnu.org>
4653
4654 * src/files.c (openfiles):
4655 [_WIN32 && !__CYGWIN32__] Use TEMP or Temp to
4656 find a temporary directory, if possible. Do not unlink files while
4657 they are open.
4658
4659 1997-08-25 Richard Stallman <rms@gnu.org>
4660
4661 * src/reader.c (stack_offset;):
4662 Change some warni to warns.
4663
4664 * src/lex.c (literalchar): Use warns, not warni.
4665
4666 1997-06-28 Richard Stallman <rms@gnu.org>
4667
4668 * src/bison.s1: Add a Bison version comment.
4669
4670 * src/main.c (fatal, warn, berror):
4671 Use program_name.
4672
4673 1997-06-28 Richard Stallman <rms@gnu.org>
4674
4675 * Makefile.in (bison_version): New variable.
4676 (dist): Use that variable.
4677 (bison.s1): Substitute the Bison version into bison.simple.
4678
4679 * bison.simple: Add a Bison version comment.
4680
4681 1997-06-18 Richard Stallman <rms@gnu.org>
4682
4683 * src/main.c (fatal, warn, berror):
4684 Make error messages standard.
4685 (toomany): Improve error message text.
4686
4687 * 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:
4688 new.h renamed to alloc.h.
4689
4690 1997-06-18 Richard Stallman <rms@gnu.org>
4691
4692 * Makefile.in: new.h renamed to alloc.h.
4693
4694 1997-05-24 Richard Stallman <rms@gnu.org>
4695
4696 * src/lex.c (literalchar):
4697 Fix the code for escaping \, " and '.
4698
4699 (lex): Avoid trouble when there are many chars
4700 to discard in a char literal with just several chars in it.
4701
4702 1997-05-17 Richard Stallman <rms@gnu.org>
4703
4704 * src/bison.s1:
4705 Use malloc, if using alloca is troublesome.
4706 (YYSTACK_USE_ALLOCA): New flag macro.
4707 Define it for some systems and compilers.
4708 (YYSTACK_ALLOC): New macro.
4709 (yyparse): Use YYSTACK_ALLOC to allocate stack.
4710 If it was malloc'd, free it.
4711
4712 1997-05-17 Richard Stallman <rms@gnu.org>
4713
4714 * bison.simple:
4715 Use malloc, if using alloca is troublesome.
4716 (YYSTACK_USE_ALLOCA): New flag macro.
4717 Define it for some systems and compilers.
4718 (YYSTACK_ALLOC): New macro.
4719 (yyparse): Use YYSTACK_ALLOC to allocate stack.
4720 If it was malloc'd, free it.
4721
4722 1997-04-23 Richard Stallman <rms@gnu.org>
4723
4724 * src/bison.s1:
4725 (alloca) [__hpux]: Always define as __builtin_alloca.
4726
4727 1997-04-23 Richard Stallman <rms@gnu.org>
4728
4729 * bison.simple:
4730 (alloca) [__hpux]: Always define as __builtin_alloca.
4731
4732 1997-04-22 Richard Stallman <rms@gnu.org>
4733
4734 * src/bison.s1:
4735 [__hpux]: Include alloca.h (right for HPUX 10)
4736 instead of declaring alloca (right for HPUX 9).
4737
4738 * src/bison.s1 (__yy_memcpy):
4739 Declare arg `count' as unsigned int.
4740 (yyparse): Cast third arg to __yy_memcpy to unsigned int.
4741
4742 1997-04-22 Richard Stallman <rms@gnu.org>
4743
4744 * bison.simple:
4745 [__hpux]: Include alloca.h (right for HPUX 10)
4746 instead of declaring alloca (right for HPUX 9).
4747
4748 * bison.simple (__yy_memcpy):
4749 Declare arg `count' as unsigned int.
4750 (yyparse): Cast third arg to __yy_memcpy to unsigned int.
4751
4752 1997-01-03 Richard Stallman <rms@gnu.org>
4753
4754 * src/allocate.c: [__STDC__ or _MSC_VER]:
4755 Declare calloc and realloc to return void *.
4756
4757 1997-01-02 Richard Stallman <rms@gnu.org>
4758
4759 * src/system.h:
4760 [_MSC_VER]: Include stdlib.h and process.h.
4761 [_MSC_VER] (getpid): Define as macro--translate it to _getpid.
4762
4763 * src/main.c (main): Return FAILURE as a value.
4764 (printable_version): Declare arg as int, not char.
4765
4766 1997-01-02 Richard Stallman <rms@gnu.org>
4767
4768 * Makefile.in (dist):
4769 Explicitly check for symlinks, and copy them.
4770
4771 1996-12-19 Richard Stallman <rms@gnu.org>
4772
4773 * src/files.c:
4774 [_MSC_VER] (XPFILE, XPFILE1): Define, if not already defined.
4775
4776 1996-12-18 Paul Eggert <eggert@gnu.org>
4777
4778 * src/bison.s1 (yyparse):
4779 If __GNUC__ and YYPARSE_PARAM are both defined,
4780 declare yyparse to have a void * argument.
4781
4782 1996-12-18 Paul Eggert <eggert@gnu.org>
4783
4784 * bison.simple (yyparse):
4785 If __GNUC__ and YYPARSE_PARAM are both defined,
4786 declare yyparse to have a void * argument.
4787
4788 1996-12-17 Richard Stallman <rms@gnu.org>
4789
4790 * src/reduce.c (nbits): Add some casts.
4791
4792 1996-08-12 Richard Stallman <rms@gnu.org>
4793
4794 * src/bison.s1: Test _MSDOS as well as _MSDOS_.
4795
4796 1996-08-12 Richard Stallman <rms@gnu.org>
4797
4798 * bison.simple: Test _MSDOS as well as _MSDOS_.
4799
4800 1996-07-31 Richard Stallman <rms@gnu.org>
4801
4802 * src/bison.s1:
4803 [__sun && __i386]: Include alloca.h.
4804
4805 1996-07-31 Richard Stallman <rms@gnu.org>
4806
4807 * bison.simple:
4808 [__sun && __i386]: Include alloca.h.
4809
4810 1996-07-30 Richard Stallman <rms@gnu.org>
4811
4812 * src/bison.s1: Comment change.
4813
4814 * src/bison.s1: Test _MSDOS_, not MSDOS.
4815
4816 1996-07-30 Richard Stallman <rms@gnu.org>
4817
4818 * bison.simple: Comment change.
4819
4820 * bison.simple: Test _MSDOS_, not MSDOS.
4821
4822 1996-06-01 Richard Stallman <rms@gnu.org>
4823
4824 * 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:
4825 Insert `_' macro around many string constants.
4826
4827 * src/main.c:
4828 Insert `_' macro around many string constants.
4829
4830 (main): Call setlocale, bindtextdomain and textdomain.
4831
4832 * src/system.h: [HAVE_LOCALE_H]: Include locale.h.
4833 [! HAVE_LOCALE_H] (setlocale): Define as no-op.
4834 [ENABLE_NLS]: Include libintl.h.
4835 [ENABLE_NLS] (gettext): Define.
4836 [! ENABLE_NLS] (bintextdomain, textdomain, _): Consolation definitions.
4837 (N_, PACKAGE, LOCALEDIR): New macros.
4838
4839 1996-06-01 Richard Stallman <rms@gnu.org>
4840
4841 * POTFILES.in: New file.
4842
4843 * Makefile.in (allocate.o):
4844 Define target explicitly.
4845
4846 * Makefile.in (CFLAGS): Set to @CFLAGS@.
4847 (LDFLAGS): Set to @LDFLAGS@.
4848 (configure): Run autoconf only if preceding `cd' succeeds.
4849 (bison.s1): Redirect output to temporary file then move the
4850 temporary to the target, rather than redirecting directly to bison.s1.
4851 (clean): Remove config.status and config.log.
4852 (distclean): Don't remove config.status here.
4853
4854 1996-05-12 Richard Stallman <rms@gnu.org>
4855
4856 * src/bison.s1:
4857 (__yy_memcpy) [__cplusplus]: Reorder declarations of variables f and t.
4858
4859 1996-05-12 Richard Stallman <rms@gnu.org>
4860
4861 * bison.simple:
4862 (__yy_memcpy) [__cplusplus]: Reorder declarations of variables f and t.
4863
4864 1996-05-11 Richard Stallman <rms@gnu.org>
4865
4866 * src/bison.s1 (__yy_memcpy):
4867 Really reorder the args, as was supposedly done on Feb 14 1995.
4868 (yyparse): Calls changed accordingly.
4869
4870 1996-05-11 Richard Stallman <rms@gnu.org>
4871
4872 * Makefile.in (dist): Don't use $(srcdir).
4873
4874 * bison.simple (__yy_memcpy):
4875 Really reorder the args, as was supposedly done on Feb 14 1995.
4876 (yyparse): Calls changed accordingly.
4877
4878 1996-01-27 Richard Stallman <rms@gnu.org>
4879
4880 * src/output.c (output_rule_data):
4881 Test YYERROR_VERBOSE in the conditional
4882 around the definition of ttyname.
4883
4884 1995-12-29 Richard Stallman <rms@gnu.org>
4885
4886 * src/bison.s1:
4887 Fix line numbers in #line commands.
4888
4889 1995-12-29 Richard Stallman <rms@gnu.org>
4890
4891 * bison.simple:
4892 Fix line numbers in #line commands.
4893
4894 1995-12-27 Richard Stallman <rms@gnu.org>
4895
4896 * src/bison.s1 (YYPARSE_PARAM_DECL):
4897 In C++, make it always null.
4898 (YYPARSE_PARAM_ARG): New macro.
4899 (yyparse): Use YYPARSE_PARAM_ARG.
4900
4901 1995-12-27 Richard Stallman <rms@gnu.org>
4902
4903 * bison.simple (YYPARSE_PARAM_DECL):
4904 In C++, make it always null.
4905 (YYPARSE_PARAM_ARG): New macro.
4906 (yyparse): Use YYPARSE_PARAM_ARG.
4907
4908 1995-11-29 Richard Stallman <rms@gnu.org>
4909
4910 * doc/bison.texinfo:
4911 Describe literal string tokens, %raw, %no_lines, %token_table.
4912
4913 1995-11-29 Daniel Hagerty <hag@gnu.org>
4914
4915 * doc/bison.texinfo: Fixed update date
4916
4917 1995-10-16 Richard Stallman <rms@gnu.org>
4918
4919 * src/version.c: Version 1.25.
4920
4921 1995-10-16 Richard Stallman <rms@gnu.org>
4922
4923 * NEWS: *** empty log message ***
4924
4925 1995-10-16 Richard Stallman <rms@gnu.org>
4926
4927 * doc/bison.1, doc/bison.rnh:
4928 Add new options.
4929
4930 1995-10-15 Richard Stallman <rms@gnu.org>
4931
4932 * src/vmsgetargs.c, src/getargs.c:
4933 Added -n, -k, and -raw switches.
4934 (noparserflag, toknumflag, rawtoknumflag): New variables.
4935
4936 * src/symtab.h (SALIAS):
4937 New #define for adding aliases to %token.
4938 (struct bucket): Added `alias' field.
4939
4940 * src/reduce.c (reduce_grammar):
4941 Revise error message.
4942 (print_notices): Remove final `.' from error message.
4943
4944 * src/reader.c (reader_output_yylsp):
4945 New function.
4946 (readgram): Use `#if 0' around code that accepted %command
4947 inside grammar rules: The documentation doesn't allow it,
4948 and it will fail since the %command processors scan for the next %.
4949 (parse_token_decl): Extended the %token
4950 declaration to allow a multi-character symbol as an alias.
4951 (parse_thong_decl): New function.
4952 (read_declarations): Added %thong declarations.
4953 (read_declarations): Handle NOOP to deal with allowing
4954 % declarations as another means to specify the flags.
4955 (readgram): Allow %prec prior to semantics embedded in a rule.
4956 (skip_to_char, read_declarations, copy_definition)
4957 (parse_token_decl, parse_start_decl, parse_type_decl)
4958 (parse_assoc_decl, parse_union_decl, parse_expect_decl)
4959 (get_type_name, copy_guard, copy_action, readgram)
4960 (get_type, packsymbols): Revised most error messages.
4961 Changed `fatal' to `warnxxx' to avoid aborting for error.
4962 Revised and use multiple warnxxx functions to avoid using VARARGS1.
4963 (read_declarations): Improve the error message for
4964 an invalid character. Do not abort.
4965 (read_declarations, copy_guard, copy_action): Use
4966 printable_version to avoid unprintable characters in printed output.
4967 (parse_expect_decl): Error if argument to %expect exceeds 10 digits.
4968 (parse_token_decl, parse_assoc_decl, parse_type_decl, get_type):
4969 Allow the type of a non-terminal can be given
4970 more than once, as long as all specifications give the same type.
4971
4972 * src/output.c:
4973 (output_headers, output_trailers, output, output_gram)
4974 (output_rule_data): Implement noparserflag variable.
4975 Implement toknumflag variable.
4976 (output): Call reader_output_yylsp to output LTYPESTR.
4977
4978 * src/main.c (main):
4979 If reader sees an error, don't process the grammar.
4980 (fatals): Updated to not use VARARGS1.
4981 (printable_version, int_to_string, warn, warni, warns, warnss)
4982 (warnsss): New error reporting functions. Avoid abort for error.
4983
4984 * src/lex.h:
4985 Added THONG and NOOP for alias processing.
4986 Added SETOPT for the new code that allows setting options with %flags.
4987
4988 * src/lex.c:
4989 Include getopt.h. Add some extern decls.
4990 (safegetc): New function to deal with EOF gracefully.
4991 (literalchar); new function to deal with reading \ escapes.
4992 (lex): Use literalchar.
4993 (lex): Implemented "..." tokens.
4994 (literalchar, lex, parse_percent_token): Made tokenbuffer
4995 always contain the token. This includes growing the token
4996 buffer while reading an integer.
4997 (parse_percent_token): Replaced if-else statement with percent_table.
4998 (parse_percent_token): Added % declarations as another
4999 way to specify the flags -n, -l, and -r. Also added hooks for
5000 -d, -k, -y, -v, -t, -p, -b, -o, but implementation requires
5001 major changes to files.c.
5002 (lex) Retain in the incoming stream a character following
5003 an incorrect '/'.
5004 (skip_white_space, lex): Revised most error messages
5005 and changed fatal to warn to avoid aborting.
5006 (percent_table): Added %thong declarations.
5007
5008 * src/gram.h: Comment changes.
5009
5010 * src/files.c (openfiles, open_extra_files, done):
5011 Add faction flag
5012 and actfile file. Handle noparserflag. Both for -n switch.
5013
5014 * src/conflicts.c (resolve_sr_conflict):
5015 Remove use of alloca.
5016
5017 1995-06-01 Jim Meyering <meyering@gnu.org>
5018
5019 * doc/bison.texinfo: *** empty log message ***
5020
5021 1995-05-06 Richard Stallman <rms@gnu.org>
5022
5023 * src/bison.s1: Comment change.
5024
5025 1995-05-06 Richard Stallman <rms@gnu.org>
5026
5027 * bison.simple: Comment change.
5028
5029 1995-05-03 Richard Stallman <rms@gnu.org>
5030
5031 * src/version.c: Version now 1.24.
5032
5033 * src/bison.s1: Change distribution terms.
5034
5035 * src/version.c: Version now 1.23.
5036
5037 1995-05-03 Richard Stallman <rms@gnu.org>
5038
5039 * doc/bison.texinfo:
5040 Rewrite "Conditions for Using Bison".
5041 Update version to 1.24.
5042
5043 1995-05-03 Richard Stallman <rms@gnu.org>
5044
5045 * bison.simple: Change distribution terms.
5046
5047 1995-02-23 Richard Stallman <rms@gnu.org>
5048
5049 * src/files.c: Test __VMS_POSIX as well as VMS.
5050
5051 1995-02-14 Jim Meyering <meyering@gnu.org>
5052
5053 * src/bison.s1 (__yy_memcpy):
5054 Renamed from __yy_bcopy to avoid
5055 confusion. Reverse FROM and TO arguments to be consistent with
5056 those of memcpy.
5057
5058 1995-02-14 Jim Meyering <meyering@gnu.org>
5059
5060 * bison.simple (__yy_memcpy):
5061 Renamed from __yy_bcopy to avoid
5062 confusion. Reverse FROM and TO arguments to be consistent with
5063 those of memcpy.
5064
5065 1994-11-10 David J. MacKenzie <djm@gnu.org>
5066
5067 * NEWS: reformat
5068
5069 * NEWS: New file.
5070
5071 * Makefile.in (DISTFILES): Include NEWS.
5072
5073 * Makefile.in (DISTFILES):
5074 Include install-sh, not install.sh.
5075
5076 * configure.in: Update to Autoconf v2 macro names.
5077
5078 1994-10-05 David J. MacKenzie <djm@gnu.org>
5079
5080 * Makefile.in: fix typo
5081
5082 * Makefile.in (prefix, exec_prefix):
5083 Let configure set them.
5084
5085 1994-09-28 David J. MacKenzie <djm@gnu.org>
5086
5087 * Makefile.in: Set datadir to $(prefix)/share.
5088
5089 1994-09-15 Richard Stallman <rms@gnu.org>
5090
5091 * src/bison.s1:
5092 Update copyright notice and GPL version.
5093
5094 1994-09-15 Richard Stallman <rms@gnu.org>
5095
5096 * bison.simple:
5097 Update copyright notice and GPL version.
5098
5099 1994-07-12 Richard Stallman <rms@gnu.org>
5100
5101 * src/reduce.c, src/reader.c:
5102 entered into RCS
5103
5104 1994-05-05 David J. MacKenzie <djm@gnu.org>
5105
5106 * Makefile.in: entered into RCS
5107
5108 1994-03-26 Richard Stallman <rms@gnu.org>
5109
5110 * src/bison.s1: entered into RCS
5111
5112 1994-03-26 Richard Stallman <rms@gnu.org>
5113
5114 * bison.simple: entered into RCS
5115
5116 1994-03-25 Richard Stallman <rms@gnu.org>
5117
5118 * src/main.c: entered into RCS
5119
5120 1994-03-24 Richard Stallman <rms@gnu.org>
5121
5122 * src/conflicts.c: entered into RCS
5123
5124 1994-01-02 Richard Stallman <rms@gnu.org>
5125
5126 * Makefile.in: *** empty log message ***
5127
5128 1993-11-21 Richard Stallman <rms@gnu.org>
5129
5130 * src/bison.s1: *** empty log message ***
5131
5132 1993-11-21 Richard Stallman <rms@gnu.org>
5133
5134 * doc/bison.texinfo: entered into RCS
5135
5136 * doc/bison.texinfo: *** empty log message ***
5137
5138 1993-11-21 Richard Stallman <rms@gnu.org>
5139
5140 * bison.simple: *** empty log message ***
5141
5142 1993-10-25 David J. MacKenzie <djm@gnu.org>
5143
5144 * doc/bison.texinfo: *** empty log message ***
5145
5146 1993-10-19 Richard Stallman <rms@gnu.org>
5147
5148 * src/bison.s1: *** empty log message ***
5149
5150 1993-10-19 Richard Stallman <rms@gnu.org>
5151
5152 * bison.simple: *** empty log message ***
5153
5154 1993-10-14 Richard Stallman <rms@gnu.org>
5155
5156 * src/bison.s1: *** empty log message ***
5157
5158 1993-10-14 Richard Stallman <rms@gnu.org>
5159
5160 * bison.simple: *** empty log message ***
5161
5162 1993-09-14 David J. MacKenzie <djm@gnu.org>
5163
5164 * doc/bison.texinfo: *** empty log message ***
5165
5166 1993-09-13 Noah Friedman <friedman@gnu.org>
5167
5168 * Makefile.in: *** empty log message ***
5169
5170 1993-09-10 Richard Stallman <rms@gnu.org>
5171
5172 * src/conflicts.c: *** empty log message ***
5173
5174 * src/system.h: entered into RCS
5175
5176 1993-09-10 Richard Stallman <rms@gnu.org>
5177
5178 * doc/bison.1: entered into RCS
5179
5180 1993-09-06 Noah Friedman <friedman@gnu.org>
5181
5182 * src/version.c: entered into RCS
5183
5184 1993-09-06 Noah Friedman <friedman@gnu.org>
5185
5186 * Makefile.in: *** empty log message ***
5187
5188 1993-07-30 David J. MacKenzie <djm@gnu.org>
5189
5190 * Makefile.in: *** empty log message ***
5191
5192 1993-07-24 Richard Stallman <rms@gnu.org>
5193
5194 * src/bison.s1: *** empty log message ***
5195
5196 1993-07-24 Richard Stallman <rms@gnu.org>
5197
5198 * bison.simple: *** empty log message ***
5199
5200 1993-07-08 David J. MacKenzie <djm@gnu.org>
5201
5202 * Makefile.in: *** empty log message ***
5203
5204 1993-07-04 Richard Stallman <rms@gnu.org>
5205
5206 * src/bison.s1: *** empty log message ***
5207
5208 1993-07-04 Richard Stallman <rms@gnu.org>
5209
5210 * bison.simple: *** empty log message ***
5211
5212 1993-06-26 David J. MacKenzie <djm@gnu.org>
5213
5214 * src/getargs.c: entered into RCS
5215
5216 1993-06-26 David J. MacKenzie <djm@gnu.org>
5217
5218 * doc/bison.texinfo: *** empty log message ***
5219
5220 * doc/bison.1: New file.
5221
5222 1993-06-25 Richard Stallman <rms@gnu.org>
5223
5224 * src/getargs.c: New file.
5225
5226 1993-06-16 Richard Stallman <rms@gnu.org>
5227
5228 * src/bison.s1: *** empty log message ***
5229
5230 1993-06-16 Richard Stallman <rms@gnu.org>
5231
5232 * bison.simple: *** empty log message ***
5233
5234 1993-06-03 Richard Stallman <rms@gnu.org>
5235
5236 * src/bison.s1: New file.
5237
5238 1993-06-03 Richard Stallman <rms@gnu.org>
5239
5240 * doc/bison.texinfo: *** empty log message ***
5241
5242 1993-06-03 Richard Stallman <rms@gnu.org>
5243
5244 * bison.simple: New file.
5245
5246 1993-05-19 Richard Stallman <rms@gnu.org>
5247
5248 * doc/bison.texinfo: New file.
5249
5250 1993-05-07 Noah Friedman <friedman@gnu.org>
5251
5252 * Makefile.in: *** empty log message ***
5253
5254 1993-04-28 Noah Friedman <friedman@gnu.org>
5255
5256 * src/reader.c: *** empty log message ***
5257
5258 1993-04-23 Noah Friedman <friedman@gnu.org>
5259
5260 * src/alloc.h: entered into RCS
5261
5262 1993-04-20 David J. MacKenzie <djm@gnu.org>
5263
5264 * src/version.c: *** empty log message ***
5265
5266 * src/files.c, src/allocate.c:
5267 entered into RCS
5268
5269 * src/reader.c: *** empty log message ***
5270
5271 * src/lex.c: entered into RCS
5272
5273 * src/conflicts.c: New file.
5274
5275 * src/symtab.c: entered into RCS
5276
5277 * src/alloc.h: New file.
5278
5279 * src/LR0.c: entered into RCS
5280
5281 1993-04-18 Noah Friedman <friedman@gnu.org>
5282
5283 * src/reader.c: New file.
5284
5285 * src/version.c: *** empty log message ***
5286
5287 1993-04-18 Noah Friedman <friedman@gnu.org>
5288
5289 * Makefile.in: *** empty log message ***
5290
5291 1993-04-17 Noah Friedman <friedman@gnu.org>
5292
5293 * Makefile.in: *** empty log message ***
5294
5295 1993-04-15 Richard Stallman <rms@gnu.org>
5296
5297 * src/main.c, src/files.c:
5298 New file.
5299
5300 1993-04-15 Noah Friedman <friedman@gnu.org>
5301
5302 * configure.in: entered into RCS
5303
5304 * configure.in: *** empty log message ***
5305
5306 * configure.in: New file.
5307
5308 1993-04-14 Richard Stallman <rms@gnu.org>
5309
5310 * Makefile.in: New file.
5311
5312 1993-04-13 Richard Stallman <rms@gnu.org>
5313
5314 * src/version.c: New file.
5315
5316 1993-03-25 Richard Stallman <rms@gnu.org>
5317
5318 * src/output.c: entered into RCS
5319
5320 1992-09-25 Richard Stallman <rms@gnu.org>
5321
5322 * configure.bat: entered into RCS
5323
5324 1992-06-22 Richard Stallman <rms@gnu.org>
5325
5326 * src/vmsgetargs.c: entered into RCS
5327
5328 1992-06-22 Richard Stallman <rms@gnu.org>
5329
5330 * doc/bison.rnh: entered into RCS
5331
5332 1992-04-20 David J. MacKenzie <djm@gnu.org>
5333
5334 * README: entered into RCS
5335
5336 1992-01-22 Richard Stallman <rms@gnu.org>
5337
5338 * src/machine.h: entered into RCS
5339
5340 1991-12-21 Richard Stallman <rms@gnu.org>
5341
5342 * src/lalr.c, src/closure.c:
5343 entered into RCS
5344
5345 1991-12-20 Richard Stallman <rms@gnu.org>
5346
5347 * src/state.h: entered into RCS
5348
5349 1991-12-18 Richard Stallman <rms@gnu.org>
5350
5351 * src/print.c, src/nullable.c, src/derives.c:
5352 entered into RCS
5353
5354 1991-11-03 David J. MacKenzie <djm@gnu.org>
5355
5356 * src/warshall.c, src/types.h, src/symtab.h, src/lex.h, src/gram.c, src/gram.h, src/files.h:
5357 entered into RCS
5358
5359 1988-09-09 Richard Stallman <rms@gnu.org>
5360
5361 * src/bison.hairy: entered into RCS
5362
5363 1987-12-16 Richard Stallman <rms@gnu.org>
5364
5365 * REFERENCES: entered into RCS