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