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