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