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