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