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