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