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