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