]> git.saurik.com Git - bison.git/blame - ChangeLog
projects / bison.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Be sure never to walk through RITEMS, but use only data related to
[bison.git] / ChangeLog
CommitLineData
b0940840
AD		 12002-04-07 Akim Demaille <akim@epita.fr>
2
3 Be sure never to walk through RITEMS, but use only data related to
4 the rules themselves. RITEMS should be banished.
5
6 * src/output.c (output_token_translations): Rename as...
7 (prepare_tokens): this.
8 In addition to `translate', prepare the muscles `tname' and
9 `toknum', which were handled by...
10 (output_rule_data): this.
11 Remove, and move the remainder of its outputs into...
12 (prepare_rules): this new routines, which also merges content from
13 (output_gram): this.
14 (prepare_rules): Be sure never to walk through RITEMS.
15 (output_stos): Rename as...
16 (prepare_stos): this.
17 (output): Always invoke prepare_states, after all, just don't use it
18 in the output if you don't need it.
19
643a5994
AD		 202002-04-07 Akim Demaille <akim@epita.fr>
21
22 * src/LR0.c (new_state): Display `nstates' as the name of the
23 newly created state.
24 Adjust to initialize first_state and last_state if needed.
25 Be sure to distinguish the initial from the final state.
26 (new_states): Create the itemset of the initial state, and use
27 new_state.
28 * src/closure.c (closure): Now that the initial state has its
29 items properly set, there is no need for a special case when
30 creating `ruleset'.
31
32 As a result, now the rule 0, reducing to $axiom, is visible in the
33 outputs. Adjust the test suite.
34
35 * tests/conflicts.at (Solved SR Conflicts)
36 (Unresolved SR Conflicts): Adjust.
37 * tests/regression.at (Web2c Report, Rule Line Numbers): Idem.
38 * tests/conflicts.at (S/R in initial): New.
39
b4c4ccc2
AD		 402002-04-07 Akim Demaille <akim@epita.fr>
41
42 * src/LR0.c (allocate_itemsets): Don't loop over ritem: loop over
43 the RHS of the rules.
44 * src/output.c (output_gram): Likewise.
45
bba97eb2
AD		 462002-04-07 Akim Demaille <akim@epita.fr>
47
48 * src/gram.h (rule_t): `lhs' is now a pointer to the symbol's
49 bucket.
50 Adjust all dependencies.
51 * src/reduce.c (nonterminals_reduce): Don't forget to renumber the
52 `number' of the buckets too.
53 * src/gram.h: Include `symtab.h'.
54 (associativity): Move to...
55 * src/symtab.h: here.
56 No longer include `gram.h'.
57
58
c3b407f4
AD		 592002-04-07 Akim Demaille <akim@epita.fr>
60
61 * src/gram.h, src/gram.c (rules_rhs_length): New.
62 (ritem_longest_rhs): Use it.
63 * src/gram.h (rule_t): `number' is a new member.
64 * src/reader.c (packgram): Set it.
65 * src/reduce.c (reduce_grammar_tables): Move the useless rules at
66 the end of `rules', and count them out of `nrules'.
67 (reduce_output, dump_grammar): Adjust.
68 * src/print.c (print_grammar): It is no longer needed to check for
69 the usefulness of a rule, as useless rules are beyond `nrules + 1'.
70 * tests/reduce.at (Reduced Automaton): New test.
71
11652ab3
AD		 722002-04-07 Akim Demaille <akim@epita.fr>
73
74 * src/reduce.c (inaccessable_symbols): Fix a buglet: because of a
75 lacking `+ 1' to nrules, Bison reported as useless a token if it
76 was used solely to set the precedence of the last rule...
77
26b23c1a
AD		 782002-04-07 Akim Demaille <akim@epita.fr>
79
80 * data/bison.c++, data/bison.simple: Don't output the current file
81 name in #line, to avoid useless diffs between two identical
82 outputs under different names.
83
18bcecb0
AD		 842002-04-07 Akim Demaille <akim@epita.fr>
85
86 * src/closure.c, src/print.c, src/reader.c, src/reduce.c:
87 Normalize loops to using `< nrules + 1', not `<= nrules'.
88
fa770c86
AD		 892002-04-07 Akim Demaille <akim@epita.fr>
90
91 * TODO: Update.
92
d9b739c3
AD		 932002-04-07 Akim Demaille <akim@epita.fr>
94
95 * src/output.c, src/reader.c, src/symtab.c, src/symtab.h: Rename
96 bucket.value as bucket.number.
97
99013900
AD		 982002-04-07 Akim Demaille <akim@epita.fr>
99
100 * src/closure.c, src/derives.c, src/gram.h, src/lalr.c,
101 * src/nullable.c, src/output.c, src/print.c, src/print_graph.c,
102 * src/reader.c, src/reduce.c: Let rule_t.rhs point directly to the
103 RHS, instead of being an index in RITEMS.
104
e966383b
PE		 1052002-04-04 Paul Eggert <eggert@twinsun.com>
106
107 * doc/bison.texinfo: Update copyright date.
108 (Rpcalc Lexer, Symbols, Token Decl): Don't assume ASCII.
109 (Symbols): Warn about running Bison in one character set,
110 but compiling and/or running in an incompatible one.
111 Warn about character code 256, too.
112
1132002-04-03 Paul Eggert <eggert@twinsun.com>
114
115 * src/bison.data (YYSTACK_ALLOC): Depend on whether
116 YYERROR_VERBOSE is nonzero, not whether it is defined.
117
118 Merge changes from bison-1_29-branch.
c307773e 119
8d6c48b9
PE		 1202002-03-20 Paul Eggert <eggert@twinsun.com>
121
122 Merge fixes from Debian bison_1.34-1.diff.
123
124 * configure.in (AC_PREREQ): 2.53.
125
e53c6322
AD		 1262002-03-20 Akim Demaille <akim@epita.fr>
127
128 * src/conflicts.c (log_resolution): Argument `resolution' is const.
129
9ffbeca7
PE		 1302002-03-19 Paul Eggert <eggert@twinsun.com>
131
21db0b2a
PE		 132 * src/bison.simple (YYCOPY): New macro.
133 (YYSTACK_RELOCATE): Use it.
134 Remove Type arg; no longer needed. All callers changed.
135 (yymemcpy): Remove; no longer needed.
136
9ffbeca7
PE		 137 * Makefile.am (AUTOMAKE_OPTIONS): 1.6.
138 * doc/Makefile.am (AUTOMAKE_OPTIONS): Remove.
139
642cb8f8
AD		 1402002-03-19 Akim Demaille <akim@epita.fr>
141
142 Test and fix the #line outputs.
143
144 * tests/atlocal.at (GCC): New.
145 * tests/synclines.at (AT_TEST_SYNCLINE): New macro.
146 (Prologue synch line, ,%union synch line, Postprologue synch line)
147 (Action synch line, Epilogue synch line): New tests.
148 * src/reader.c (parse_union_decl): Define the muscle stype_line.
149 * data/bison.simple, data/bison.c++: Use it.
150
3c31a486
AD		 1512002-03-19 Akim Demaille <akim@epita.fr>
152
153 * tests/regression.at (%nonassoc and eof, Unresolved SR Conflicts)
154 (Solved SR Conflicts, %expect not enough, %expect right)
155 (%expect too much): Move to...
156 * tests/conflicts.at: this new file.
157
0d8bed56
AD		 1582002-03-19 Akim Demaille <akim@epita.fr>
159
160 * data/m4sugar/m4sugar.m4: Update from CVS Autoconf.
161 * data/bison.simple, data/bison.c++: Handle the `#define' part, so
162 that we can move to enums for instance.
163 * src/output.c (token_definitions_output): Output a list of
164 `token-name, token-number' instead of the #define.
165 (output_skeleton): Name this list `b4_tokens', not `b4_tokendefs'.
166
9208d17f
AD		 1672002-03-14 Akim Demaille <akim@epita.fr>
168
169 Use Gettext 0.11.1.
170
af27eacb
RA		 1712002-03-09 Robert Anisko <robert@lrde.epita.fr>
172
173 * data/bison.c++: Make the user able to add members to the generated
174 parser by subclassing.
175
9101a310
RA		 1762002-03-05 Robert Anisko <robert@lrde.epita.fr>
177
178 * src/reader.c (read_additionnal_code): `c' should be an integer, not
179 a character.
180 Reported by Nicolas Tisserand and Nicolas Burrus.
181
fff9bf0b
RA		 1822002-03-04 Robert Anisko <robert@lrde.epita.fr>
183
184 * src/reader.c: Warn about lacking semi-colons, do not complain.
185
64dba31e
RA		 1862002-03-04 Robert Anisko <robert@lrde.epita.fr>
187
188 * data/bison.c++: Remove a debug line.
189
374f5a14
RA		 1902002-03-04 Robert Anisko <robert@lrde.epita.fr>
191
192 * data/bison.c++: Unmerge value as yylval and value as yyval. Unmerge
193 location as yylloc and location as yyloc. Use YYLLOC_DEFAULT, and
194 provide a default implementation.
195
bfcf1f3a
AD		 1962002-03-04 Akim Demaille <akim@epita.fr>
197
198 * tests/input.at (Invalid $n, Invalid @n): Add the ending `;'.
199 * tests/output.at (AT_CHECK_OUTPUT): Likewise.
200 * tests/headers.at (AT_TEST_CPP_GUARD_H): Ditto.
201 * tests/semantic.at (Parsing Guards): Similarly.
202 * src/reader.at (readgram): Complain if the last rule is not ended
203 with a semi-colon.
204
65ccf9fc
AD		 2052002-03-04 Akim Demaille <akim@epita.fr>
206
207 * src/warshall.h, src/warshall.c (bitmatrix_print): Move to...
208 * src/closure.c: here.
209 (set_firsts): Use bitsetv_reflexive_transitive_closure instead of
210 RTC.
211 * src/warshall.h, src/warshall.c: Remove.
212 * tests/sets.at (Broken Closure): Adjust.
213
d0039cbc
AD		 2142002-03-04 Akim Demaille <akim@epita.fr>
215
216 * src/output.c (output_skeleton): tempdir is const.
217 bytes_read is unused.
218
345cea78
AD		 2192002-03-04 Akim Demaille <akim@epita.fr>
220
221 * lib/bbitset.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
222 * lib/bitsetv.h, lib/ebitset.c, lib/lbitset.c, lib/sbitset.c:
223 Update.
224 From Michael Hayes.
225
564801f7
AD		 2262002-03-04 Akim Demaille <akim@epita.fr>
227
228 * src/closure.c (closure): `r' is unused.
229
e5352bc7
AD		 2302002-03-04 Akim Demaille <akim@epita.fr>
231
232 * tests/sets.at (Broken Closure): Add the ending `;'.
233 * src/reader.at (readgram): Complain if a rule is not ended with a
234 semi-colon.
235
914feea9
AD		 2362002-03-04 Akim Demaille <akim@epita.fr>
237
238 * src/conflicts.c (set_conflicts): Use bitset_disjoint_p.
239 (count_sr_conflicts): Use bitset_count.
240 * src/reduce.c (inaccessable_symbols): Ditto.
241 (bits_size): Remove.
242 * src/warshall.h, src/warshall.c: Convert to bitsetv.
243
f0250de6
AD		 2442002-03-04 Akim Demaille <akim@epita.fr>
245
246 * src/closure.c, src/conflicts.c, src/lalr.c, src/print.c,
247 * src/reduce.c: Remove the `bitset_zero's following the
248 `bitset_create's, as now it is performed by the latter.
249
ef017502
AD		 2502002-03-04 Akim Demaille <akim@epita.fr>
251
252 * lib/bitset.c, lib/bitset.h, lib/bitsetv.c, lib/bitsetv.h,
253 * lib/ebitset.c, lib/ebitset.h, lib/lbitset.c, lib/lbitset.h,
254 * lib/sbitset.c, lib/sbitset.h, lib/bbitset.h: Update from the
255 latest sources from Michael.
256
76514394
AD		 2572002-03-04 Akim Demaille <akim@epita.fr>
258
259 * src/output.c (output): Don't free the grammar.
260 * src/reader.c (grammar_free): New.
261 * src/main.c (main): Call it and don't free symtab here.
262
55024580
AD		 2632002-03-04 Akim Demaille <akim@epita.fr>
264
265 * src/lex.c (parse_percent_token): Be sure to 0-end token_buffer
266 before returning.
267 Reported by Benoit Perrot.
268
f9abaa2c
AD		 2692002-03-04 Akim Demaille <akim@epita.fr>
270
271 Use bitset operations when possible, not loops over bits.
272
273 * src/conflicts.c (set_conflicts, count_sr_conflicts): Use
274 bitset_or.
275 * src/print.c (print_reductions): Use bitset_and, bitset_andn.
276 * src/reduce.c (useless_nonterminals): Formatting changes.
277 * src/warshall.c (TC): Use bitset_or.
278
0e721e75
AD		 2792002-03-04 Akim Demaille <akim@epita.fr>
280
281 * src/lalr.h, src/lalr.c (tokensetsize): Remove, unused.
282 * src/system.h (BITS_PER_WORD, WORDSIZE, SETBIT, RESETBIT, BITISSET):
283 Ditto.
284
0fb1ffb1
AD		 2852002-03-04 Akim Demaille <akim@epita.fr>
286
287 * src/lalr.c (F): Now a bitset*.
288 Adjust all dependencies.
289
b86796bf
AD		 2902002-03-04 Akim Demaille <akim@epita.fr>
291
292 * src/conflicts.c (shiftset, lookaheadset): Now bitset.
293 Adjust all dependencies.
294
602bbf31
AD		 2952002-03-04 Akim Demaille <akim@epita.fr>
296
297 * src/L0.c, src/LR0.h (nstates): Be size_t.
298 Adjust comparisons (signed vs unsigned).
299 * src/conflics.c, src/lalr.c, src/lalr.h, src/output.c (LA): Now a
300 bitset*.
301 Adjust all dependencies.
302
d8a0245c
AD		 3032002-03-04 Akim Demaille <akim@epita.fr>
304
305 * src/closure.c (firsts): Now, also a bitset.
306 Adjust all dependencies.
307 (varsetsize): Remove, now unused.
308 * src/warshall.h, src/warshall.c: Now work on arrays of bitsets.
309
34ba9743
AD		 3102002-03-04 Akim Demaille <akim@epita.fr>
311
312 * src/print.c: Convert to use bitset.h, not hand coded iterations
313 over ints.
314
ed86e78c
AD		 3152002-03-04 Akim Demaille <akim@epita.fr>
316
317 * src/reduce.c: Convert to use bitset.h, not hand coded BSet.
318
dfdb1797
AD		 3192002-03-04 Akim Demaille <akim@epita.fr>
320
321 * src/closure.c (ruleset): Be a bitset.
322 (rulesetsize): Remove.
323
7086e707
AD		 3242002-03-04 Akim Demaille <akim@epita.fr>
325
326 * lib/bitset-int.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
327 * lib/bitsetv.h, lib/ebitset.c, lib/ebitset.h, lib/lbitset.c,
328 * lib/lbitset.h, lib/sbitset.c, lib/sbitset.h: New.
329 * src/closure.c (fderives): Be an array of bitsets.
330
98254360
RA		 3312002-02-28 Robert Anisko <robert@lrde.epita.fr>
332
333 * data/bison.c++: Merge the two generated headers. Insert a copyright
334 notice in each output file.
335
a75c057f
AD		 3362002-02-28 Akim Demaille <akim@epita.fr>
337
338 * data/bison.c++: Copy the prologue of bison.simple to fetch
339 useful M4 definitions, such as b4_header_guard.
340
06b00abc
AD		 3412002-02-25 Akim Demaille <akim@epita.fr>
342
343 * src/getargs.c (version): Give the name of the authors, and use a
a75c057f
AD		 344 translator friendly scheme for the bgr
345 copyright notice.
06b00abc 346
70e7d534
AD		 3472002-02-25 Akim Demaille <akim@epita.fr>
348
349 * src/output.c (header_output): Remove, now handled completely via
350 M4.
351
abe017f6
AD		 3522002-02-25 Akim Demaille <akim@epita.fr>
353
354 * m4/m4.m4: New, from CVS Autoconf.
355 * configure.in: Invoke it.
356 * src/output.c (output_skeleton): Use its result instead of the
357 hard coded name.
358
381fb12e
AD		 3592002-02-25 Akim Demaille <akim@epita.fr>
360
361 * lib/tempname.c, lib/mkstemp.c, m4/mkstemp.m4: New, stolen from
362 Fileutils 4.1.5.
363 * configure.in: Invoke UTILS_FUNC_MKSTEMP.
364 * src/output.c (output_skeleton): Use mkstemp to create a real
365 temporary file.
366 Move the filling of `skeleton' and its muscle to...
367 (prepare): here.
368 (output): Move the definition of the prologue muscle to...
369 (prepare): here.
370 * src/system.h (DEFAULT_TMPDIR): New.
371
6f38107f
PE		 3722002-02-14 Paul Eggert <eggert@twinsun.com>
373
374 Remove the support for C++ namespace cleanliness; it was
375 causing more problems than it was curing, since it didn't work
376 properly on some nonstandard C++ compilers. This can wait
377 for a proper C++ parser.
378
379 * NEWS: Document this.
380 * doc/bison.texinfo (Bison Parser, Debugging): Remove special mention
381 of C++, as it's treated like C now.
382 * src/bison.simple (YYSTD): Remove.
383 (YYSIZE_T, YYFPRINTF, YYPARSE_PARAM_ARG, YYPARSE_PARAM_DECL):
384 Treat C++ just like Standard C instead of trying to support
385 namespace cleanliness.
386
80cce3da
AD		 3872002-02-14 Akim Demaille <akim@epita.fr>
388
389 * tests/regression.at (else): Adjust to Andreas' change.
390
842e8679
AD		 3912002-02-14 Akim Demaille <akim@epita.fr>
392
393 * lib/Makefile.am (EXTRA_DIST): Ship strnlen.c.
394
4bda3f10
AD		 3952002-02-13 Andreas Schwab <schwab@suse.de>
396
397 * src/output.c (output_rule_data): Don't output NULL, it might
398 not be defined yet.
399
4162fa07 4002002-02-11 Robert Anisko <robert@lrde.epita.fr>
b418ecd8 401
4162fa07
RA		 402 * data/bison.c++ (YYDEBUG, YYERROR_VERBOSE): After the prologue.
403 (Copyright notice): Update.
b418ecd8 404
bd16a5dc
AD		 4052002-02-11 Akim Demaille <akim@epita.fr>
406
407 * tests/regression.at (%nonassoc and eof): Don't include
408 nonportable headers.
409
8d69a1a3
RA		 4102002-02-08 Robert Anisko <robert@lrde.epita.fr>
411
412 * data/bison.c++: Correct error recovery. Make the user able to
413 initialize the starting location.
414
9b2d0677
AD		 4152002-02-07 Akim Demaille <akim@epita.fr>
416
417 * tests/input.at: New.
418
69e2658b
RA		 4192002-02-07 Robert Anisko <robert@lrde.epita.fr>
420
421 * data/bison.c++: Replace some direct m4 expansions by constants. Be
9b2d0677 422 more consistent when naming methods and variables. Put preprocessor
69e2658b
RA		 423 directives around tables only needed for debugging.
424
4aacc3a7
RA		 4252002-02-07 Robert Anisko <robert@lrde.epita.fr>
426
427 * data/bison.c++ (yy::b4_name::print_): New method, replaces yyprint in
428 C++ parsers.
429 (yy::b4_name::parse): Use print_.
430
762a801e
RA		 4312002-02-07 Robert Anisko <robert@lrde.epita.fr>
432
433 * data/bison.c++ (yy::b4_name::parse): Error recovery is back.
434
4bb2bc3f
RA		 4352002-02-07 Robert Anisko <robert@lrde.epita.fr>
436
437 * data/bison.c++ (yy::b4_name::error_): New method, replaces yyerror in
438 C++ parsers.
439 (yy::b4_name::parse): Build verbose error messages, and use error_.
440
6b45a3ca
RA		 4412002-02-06 Robert Anisko <robert@lrde.epita.fr>
442
443 * data/bison.c++: Fix m4 quoting in comments.
444
50997c6e
RA		 4452002-02-06 Robert Anisko <robert@lrde.epita.fr>
446
447 * data/bison.c++: Adjust the parser code. Fix some muscles that were
448 not expanded by m4.
449
3f3eed27
AD		 4502002-02-05 Akim Demaille <akim@epita.fr>
451
452 * data/bison.c++: Adjust to the M4 back end.
453 More is certainly needed.
454
be2a1a68
AD		 4552002-02-05 Akim Demaille <akim@epita.fr>
456
457 Give a try to M4 as a back end.
458
459 * lib/readpipe.c: New, from wdiff.
460 * src/Makefile.am (DEFS): Define PKGDATADIR, not BISON_SIMPLE and
461 BISON_HAIRY.
462 * src/system.h (BISON_HAIRY, BISON_SIMPLE): Remove the DOS and VMS
463 specific values. Now it is m4 that performs the lookup.
464 * src/parse-skel.y: Remove.
465 * src/muscle_tab.c, src/muscle_tab.h (muscles_m4_output): New.
466 * src/output.c (actions_output, guards_output)
467 (token_definitions_output): No longer keeps track of the output
468 line number, hence remove the second argument.
469 (guards_output): Check against the guard member of a rule, not the
470 action member.
471 Adjust callers.
472 (output_skeleton): Don't look for the skeleton location, let m4 do
473 that.
474 Create `/tmp/muscles.m4'. This is temporary, a proper temporary
475 file will be used.
476 Invoke `m4' on m4sugar.m4, muscles.m4, and the skeleton.
477 (prepare): Given that for the time being changesyntax is not
478 usable in M4, rename the muscles using `-' to `_'.
479 Define `defines_flag', `output_parser_name' and `output_header_name'.
480 * src/output.h (actions_output, guards_output)
481 (token_definitions_output): Adjust prototypes.
482 * src/scan-skel.l: Instead of scanning the skeletons, it now
483 processes the output of m4: `__oline__' and `#output'.
484 * data/bison.simple: Adjust to be used by M4(sugar).
485 * tests/Makefile.am: Use check_SCRIPTS to make sure `bison' is up
486 to date.
487 * tests/bison.in: Use the secrete envvar `BISON_PKGDATADIR'
488 instead of the dead `BISON_SIMPLE' and `BISON_HAIRY'.
489 * data/m4sugar/m4sugar.m4, data/m4sugar/version.m4: New,
490 shamelessly stolen from CVS Autoconf.
491
beda758b
AD		 4922002-02-05 Akim Demaille <akim@epita.fr>
493
494 * lib/hash.c, lib/hash.h: Replace with Fileutils 4.1's version.
495 * configure.in: Check for the declarations of free and malloc.
496 * src/muscle_tab.c: Adjust.
497
5ece6d43
AD		 4982002-02-05 Akim Demaille <akim@epita.fr>
499
500 * src/muscle_tab.c (muscle_init): Don't default to NULL muscle
501 which have no values.
502
5bb18f9a
AD		 5032002-02-05 Akim Demaille <akim@epita.fr>
504
505 * src/bison.simple, src/bison.hairy, src/bison.c++: Move to...
506 * data/: here.
507
894dd62e
PE		 5082002-01-29 Paul Eggert <eggert@twinsun.com>
509
510 * src/bison.simple (YYSIZE_T): Do not define merely because
511 YYSTACK_USE_ALLOCA is nonzero or alloca or _ALLOCA_H are defined.
512 On some platforms, <alloca.h> does not declare YYSTD (size_t).
513
82841af7
AD		 5142002-01-27 Akim Demaille <akim@epita.fr>
515
516 Fix `%nonassoc and eof'.
517
518 * src/state.c (errs_dup): Aaaah! The failure was due to bytes
519 which were not properly copied! Replace
520 memcpy (res->errs, src->errs, src->nerrs);
521 with
522 memcpy (res->errs, src->errs, src->nerrs * sizeof (src->errs[0]));
523 !!!
524 * tests/regression.at (%nonassoc and eof): Adjust to newest
525 Autotest: `.' is not in the PATH.
526
318b76e9
AD		 5272002-01-27 Akim Demaille <akim@epita.fr>
528
529 * tests/sets.at (AT_EXTRACT_SETS): New.
530 (Nullable): Use it.
531 (Firsts): New.
532
30d2f3d5
AD		 5332002-01-26 Akim Demaille <akim@epita.fr>
534
535 * tests/actions.at, tests/calc.at, tests/headers.at,
536 * tests/torture.at: Adjust to the newest Autotest which no longer
537 forces `.' in the PATH.
538
30f8c395
AD		 5392002-01-25 Akim Demaille <akim@epita.fr>
540
541 * tests/regression.at (%nonassoc and eof): New.
542 Suggested by Robert Anisko.
543
29ae55f1
AD		 5442002-01-24 Akim Demaille <akim@epita.fr>
545
546 Bison dumps core when trying to complain about broken input files.
547 Reported by Cris van Pelt.
548
549 * src/lex.c (parse_percent_token): Be sure to set token_buffer.
550 * tests/regression.at (Invalid input: 1, Invalid input: 2): Merge
551 into...
552 (Invalid inputs): Strengthen: exercise parse_percent_token.
553
2b548aa6
RA		 5542002-01-24 Robert Anisko <robert.anisko@epita.fr>
555
556 * src/Makefile.am: Add bison.c++.
557 * src/bison.c++: New skeleton.
558
bb0146c2
AD		 5592002-01-21 Paolo Bonzini <bonzini@gnu.org>
560
561 * po/it.po: New.
562
bec30531
AD		 5632002-01-21 Kees Zeelenberg <kzlg@users.sourceforge.net>
564
565 * src/files.c (skeleton_find) [MSDOS]: Fix cp definition.
566
fc6edc45
MA		 5672002-01-20 Marc Autret <marc@gnu.org>
568
569 * src/files.c (compute_output_file_names): Fix
570
5e5d5415
MA		 5712002-01-20 Marc Autret <marc@gnu.org>
572
573 * tests/output.at: New test.
574 * src/files.c (compute_base_names): Don't map extensions when
575 the YACC flag is set, use defaults.
576 Reported by Evgeny Stambulchik.
577
44ea3fbd
MA		 5782002-01-20 Marc Autret <marc@gnu.org>
579
bb0146c2 580 * src/system.h: Need to define __attribute__ away for non-GCC
44ea3fbd
MA		 581 compilers as well (i.e. the vendor C compiler).
582 Suggested by Albert Chin-A-Young.
583
338963d1
TVH		 5842002-01-11 Tim Van Holder <tim.van.holder@pandora.be>
585
586 * lib/hash.h, lib/hash.c: Renamed __P to PARAMS and used the
587 canonical definition.
588 * src/system.h: Use the canonical definition for PARAMS (avoids
589 a conflict with the macro from lib/hash.h).
590
c57b2479
AD		 5912002-01-11 Akim Demaille <akim@epita.fr>
592
593 * configure.in: Use AC_FUNC_STRNLEN.
d9e9746c 594 Fixes the failures observed on AIX 4.3 by H.Merijn Brand.
c57b2479 595
b85810ae
AD		 5962002-01-09 Akim Demaille <akim@epita.fr>
597
598 * src/files.c, src/files.h (output_infix): New.
599 (tab_extension): Remove.
600 (compute_base_names): Compute the former, drop the latter.
601 * src/output.c (prepare): Insert the muscles `output-infix', and
602 `output-suffix'.
603 * src/parse-skel.y (string, string.1): New.
604 (section.header): Use it.
605 (section.yacc): Remove.
606 (prefix): Remove too.
607 * src/scan-skel.l: Adjust.
608 * src/bison.simple, src/bison.hairy: Adjust.
609
cae60122
AD		 6102002-01-09 Akim Demaille <akim@epita.fr>
611
612 * configure.in (WERROR_CFLAGS): Compute it.
613 * src/Makefile.am (CFLAGS): Pass it.
614 * tests/atlocal.in (CFLAGS): Idem.
615 * src/files.c: Fix a few warnings.
616 (get_extension_index): Remove, unused.
617
ae404801
AD		 6182002-01-08 Akim Demaille <akim@epita.fr>
619
620 * src/getargs.c (AS_FILE_NAME): New.
621 (getargs): Use it to convert DOSish file names.
622 * src/files.c (base_name): Rename as full_base_name to avoid
623 clashes with `base_name ()'.
624 (filename_split): New.
625 (compute_base_names): N-th rewrite, using filename_split.
626
22312b71
AD		 6272002-01-08 Akim Demaille <akim@epita.fr>
628
629 * lib/basename.c, lib/dirname.h, lib/dirname.c, lib/memrchr.c:
630 New, stolen from the Fileutils 4.1.
631 * lib/Makefile.am (libbison_a_SOURCES): Adjust.
632 * configure.in: Check for the presence of memrchr, and of its
633 prototype.
634
a67cef01
TVH		 6352002-01-07 Tim Van Holder <tim.van.holder@pandora.be>
636
637 * lib/hash.h (__P): Added definition for this macro.
638 * src/Makefile.am: Add parse-skel.c and scan-skel.c to
639 BUILT_SOURCES, to ensure they are generated first.
640 * src/parse-skel.y: Use YYERROR_VERBOSE instead of
641 %error-verbose to allow bootstrapping with bison 1.30x.
642
2b25d624
AD		 6432002-01-06 Akim Demaille <akim@epita.fr>
644
645 * src/reader.c (parse_braces): Don't fetch the next char, the
646 convention is to fetch on entry.
647 * tests/torture.at (GNU Cim Grammar): Reintroduce their weird
648 'switch' without a following semicolon.
649 * tests/regression.at (braces parsing): New.
650
3460813b
AD		 6512002-01-06 Akim Demaille <akim@epita.fr>
652
653 Bison is dead wrong in its RR conflict reports.
654
655 * tests/torture.at (GNU Cim Grammar): New.
656 * src/conflicts.c (count_rr_conflicts): Fix.
657
73784c64
AD		 6582002-01-06 Akim Demaille <akim@epita.fr>
659
660 Creating package.m4 from configure.ac causes too many problems.
661
662 * tests/Makefile.am (package.m4): Create it by hand,
663 AC_CONFIG_TESTDIR no longer does in the most recent CVS Autoconf.
664
25d81090
AD		 6652002-01-06 Akim Demaille <akim@epita.fr>
666
667 * src/Makefile.am (bison_SOURCES): Add parse-skel.h and
668 skeleton.h.
669
a9b8959e
PE		 6702002-01-04 Paul Eggert <eggert@twinsun.com>
671
672 * doc/bison.texinfo (Debugging):
673 Remove YYSTDERR; it's no longer defined or used.
674 Also, s/cstdio.h/cstdio/.
675
25d81090
AD		 6762002-01-03 Akim Demaille <akim@epita.fr>
677
678 * tests/bison.in, tests/atlocal.in: Adjust to CVS Autoconf.
679
1109455c
AD		 6802002-01-03 Akim Demaille <akim@epita.fr>
681
682 * src/parse-skel.y (process_skeleton): Don't bind the parser's
683 tracing code to --trace, wait for a better --trace option, with
684 args.
685
7ea5e977
AD		 6862002-01-03 Akim Demaille <akim@epita.fr>
687
688 * src/bison.simple (YYSTDERR): Remove, replace `stderr'.
689 The ISO C++ standard is extremely clear about it: stderr is
690 considered a macro, not a regular symbol (see table 94 `Header
691 <cstdio> synopsis', [lib.c.files] 27.8.2 C Library files).
692 Therefore std:: does not apply to it. It still does with fprintf.
693 Also, s/cstdio.h/cstdio/.
694
fab5b110
AD		 6952002-01-03 Akim Demaille <akim@epita.fr>
696
697 * lib/quotearg.c: Use `#include "..."' instead of `#include <...>'
698 for non system headers.
699
aed7fd9b
AD		 7002002-01-02 Akim Demaille <akim@epita.fr>
701
702 Equip the skeleton chain with location tracking, runtime trace,
703 pure parser and scanner.
704
705 * src/parse-skel.y: Request a pure parser, locations, and prefix
706 renaming.
707 (%union): Having several members with the same type does not help
708 type mismatches, simplify.
709 (YYPRINT, yyprint): New.
710 (yyerror): ``Rename'' (there is a #define yyerror skel_error) as...
711 (skel_error): this.
712 Handle locations.
713 * src/scan-skel.l: Adjust to these changes.
714 * src/skeleton.h (LOCATION_RESET, LOCATION_LINES, LOCATION_STEP)
715 (LOCATION_PRINT, skel_control_t): New.
716
24fad99e
AD		 7172001-12-30 Akim Demaille <akim@epita.fr>
718
719 * src/parse-skel.y: Get rid of the shift/reduce conflict:
720 replace `gb' with BLANKS.
721 * src/scan-skel.l: Adjust.
722
a4b36db4
AD		 7232001-12-30 Akim Demaille <akim@epita.fr>
724
725 * src/system.h: We don't need nor want bcopy.
726 Throw away MS-DOS crap: we don't need getpid.
727 * configure.in: We don't need strndup. It was even causing
728 problems: because Flex includes the headers *before* us,
729 _GNU_SOURCE is not defined by config.h, and therefore strndup was
730 not visible.
731 * lib/xstrndup.c: New.
732 * src/scan-skel.l: Use it.
733 Be sure to initialize yylval.muscle member when scanning a MUSCLE.
734 * src/parse-skel.y: Use %directives instead of #defines.
735
1239777d
AD		 7362001-12-30 Akim Demaille <akim@epita.fr>
737
738 * src/skeleton.h: New.
739 * src/output.c (output_parser, output_master_parser): Remove, dead
740 code.
741 * src/output.h (get_lines_number, actions_output, guards_output)
742 (token_definitions_output): Prototype them.
743 * src/parse-skel.y: Add the license notice.
744 Include output.h and skeleton.h.
745 (process_skeleton): Returns void, and takes a single parameter.
746 * src/scan-skel.l: Add the license notice.
747 Include skeleton.h.
748 Don't use %option yylineno: it seems that then Flex imagines
749 REJECT has been used, and therefore it won't reallocate its
750 buffers (which makes no other sense to me than a bug). It results
751 in warnings for `unused: yy_flex_realloc'.
752
9b3add5b
RA		 7532001-12-30 Robert Anisko <robert.anisko@epita.fr>
754
755 * src/muscle_tab.h (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
756 (MUSCLE_INSERT_PREFIX): ...to there.
757 * src/output.c (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
758 (MUSCLE_INSERT_PREFIX): Move from here...
759
760 * src/bison.hairy: Add a section directive. Put braces around muscle
761 names. This parser skeleton is still broken, but Bison should not
762 choke on a bad muscle 'syntax'.
763 * src/bison.simple: Add a section directive. Put braces around muscle
764 names.
765
766 * src/files.h (strsuffix, stringappend): Add declarations.
767 (tab_extension): Add declaration.
768 (short_base_name): Add declaration.
769
770 * src/files.c (strsuffix, stringappend): No longer static. These
771 functions are used in the skeleton parser.
772 (tab_extension): New.
773 (compute_base_names): Use the computations done in this function
fab5b110 774 to guess if the generated parsers should have '.tab' in their
9b3add5b
RA		 775 names.
776 (short_base_name): No longer static.
777
778 * src/output.c (output_skeleton): New.
779 (output): Disable call to output_master_parser, and give a try to
780 a new skeleton handling system.
781 (guards_output, actions_output): No longer static.
782 (token_definitions_output, get_lines_number): No longer static.
783
784 * configure.in: Use AM_PROG_LEX and AC_PROG_YACC.
785
fab5b110 786 * src/Makefile.am (bison_SOURCES): Add scan-skel.l and
9b3add5b
RA		 787 parse-skel.y.
788
789 * src/parse-skel.y: New file.
790 * src/scan-skel.l: New file.
791
b5b61c61
AD		 7922001-12-29 Akim Demaille <akim@epita.fr>
793
794 %name-prefix is broken.
795
796 * src/files.c (spec_name_prefix): Initialize to NULL, not to "yy".
797 Adjust all dependencies.
798 * tests/headers.at (export YYLTYPE): Strengthen this test: use
799 %name-prefix.
800
801 Renaming yylval but not yylloc is not consistent. Now we do.
802
803 * src/bison.simple: Prefix yylloc if used.
804 * doc/bison.texinfo (Decl Summary): Document that.
805
8c9a50be
AD		 8062001-12-29 Akim Demaille <akim@epita.fr>
807
808 * doc/bison.texinfo: Promote `%long-directive' over
809 `%long_directive'.
810 Remove all references to fixed-output-files, yacc is enough.
811
d99361e6
AD		 8122001-12-29 Akim Demaille <akim@epita.fr>
813
814 * src/bison.simple: Define YYDEBUG and YYERROR_VERBOSE *after* the
815 user prologue. These are defaults.
816 * tests/actions.at (Mid-rule actions): Make sure the user can
817 define YYDEBUG and YYERROR_VERBOSE.
818
b9cecb91
AD		 8192001-12-29 Akim Demaille <akim@epita.fr>
820
821 * src/output.c (header_output): Don't forget to export YYLTYPE and
822 yylloc.
823 * tests/headers.at (export YYLTYPE): New, make sure it does.
824 * tests/regression.at (%union and --defines, Invalid CPP headers):
825 Move to...
826 * tests/headers.at: here.
827
aea13e97
AD		 8282001-12-29 Akim Demaille <akim@epita.fr>
829
830 * src/gram.h (rule_s): Member `assoc' is of type `associativity'.
831
931394cb
AD		 8322001-12-29 Akim Demaille <akim@epita.fr>
833
834 * tests/actions.at (Mid-rule actions): Output on a single line
835 instead of several.
836
704a47c4
AD		 8372001-12-29 Akim Demaille <akim@epita.fr>
838
839 * doc/bison.texinfo: Formatting changes.
840
091e20bb
AD		 8412001-12-29 Akim Demaille <akim@epita.fr>
842
843 Don't store the token defs in a muscle, just be ready to output it
844 on command. Now possible via `symbols'. Fixes a memory leak.
845
846 * src/output.c (token_definitions_output): New.
847 (output_parser, header_output): Use it.
848 * src/reader.c (symbols_save): Remove.
849
cce71710
AD		 8502001-12-29 Akim Demaille <akim@epita.fr>
851
852 * src/bison.simple: Do not provide a default for YYSTYPE and
853 YYLTYPE before the user's prologue. Otherwise it's hardly... a
854 default.
855
82c035a8
AD		 8562001-12-29 Akim Demaille <akim@epita.fr>
857
858 Mid-rule actions are simply... ignored!
859
860 * src/reader.c (readgram): Be sure to attach mid-rule actions to
861 the empty-rule associated to the dummy symbol, not to the host
862 rule.
863 * tests/actions.at (Mid-rule actions): New.
864
8419d367
AD		 8652001-12-29 Akim Demaille <akim@epita.fr>
866
867 Memory leak.
868
869 * src/reader.c (reader): Free grammar.
870
375d5806
AD		 8712001-12-29 Akim Demaille <akim@epita.fr>
872
873 Memory leak.
874
875 * src/LR0.c (new_itemsets): Don't allocate `shift_symbol' here,
876 since it allocates it for each state, although only one is needed.
877 (allocate_storage): Do it here.
878
f51cb8ff
AD		 8792001-12-29 Akim Demaille <akim@epita.fr>
880
881 * src/options.h, src/options.c (create_long_option_table): Rename
882 as...
883 (long_option_table_new): this, with a clearer prototype.
884 (percent_table): Remove, unused,
885 * src/getargs.c (getargs): Adjust.
886
29e88316
AD		 8872001-12-29 Akim Demaille <akim@epita.fr>
888
889 * src/LR0.c, src/conflicts.c, src/lalr.c, src/lalr.h, src/output.c
890 * src/print.c, src/print_graph.c, src/state.h: Rename state_table
891 as states.
892
b9f71f19
AD		 8932001-12-29 Akim Demaille <akim@epita.fr>
894
895 * src/lalr.c (build_relations): Rename `states' as `states1'.
896 Sorry, I don't understand exactly what it is, no better name...
897
1a2b5d37
AD		 8982001-12-29 Akim Demaille <akim@epita.fr>
899
900 * src/closure.c, src/conflicts.c, src/derives.c, src/gram.c
901 * src/gram.h, src/lalr.c, src/nullable.c, src/output.c, src/print.c
902 * src/print_graph.c, src/reader.c, src/reduce.c: Rename rule_table
903 as rules.
904
1cca533e
AD		 9052001-12-29 Akim Demaille <akim@epita.fr>
906
907 * src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long
908 ago.
909
c03ae966
AD		 9102001-12-29 Akim Demaille <akim@epita.fr>
911
912 * src/reader.c, src/reader.h (user_toknums): Remove.
913 Adjust all users to use symbols[i]->user_token_number.
914
5a670b1e
AD		 9152001-12-29 Akim Demaille <akim@epita.fr>
916
917 * src/gram.c, src/gram.h (sprec, sassoc): Remove.
918 Adjust all users to use symbols[i]->prec or ->assoc.
919
ad949da9
AD		 9202001-12-29 Akim Demaille <akim@epita.fr>
921
922 * src/reader.c, src/reader.h (tags): Remove.
923 Adjust all users to use symbols[i]->tag.
924
0e78e603
AD		 9252001-12-29 Akim Demaille <akim@epita.fr>
926
927 * src/gram.h, src/gram.c (symbols): New, similar to state_table
928 and rule_table.
929 * src/reader.c (packsymbols): Fill this table.
930 Drop sprec.
931 * src/conflicts.c (resolve_sr_conflict): Adjust.
932 * src/reduce.c (reduce_grammar): Adjust: just sort symbols, a
933 single table.
934 Use symbols[i]->tag instead of tags[i].
935
213e640e
AD		 9362001-12-29 Akim Demaille <akim@epita.fr>
937
938 * tests/calc.at (_AT_DATA_CALC_Y): Also use %union.
939 In addition, put a comment in there, to replace...
940 * tests/regression.at (%union and C comments): Remove.
941
e7b8bef1
AD		 9422001-12-29 Akim Demaille <akim@epita.fr>
943
944 * tests/regression.at (Web2c Actions): Blindly move the actual
945 output as expected output. The contents *seem* right to me, but I
946 can't pretend reading perfectly parser tables... Nonetheless, all
947 the other tests pass correctly, the table look OK, even though the
948 presence of `$axiom' is to be noted: AFAICS it is useless (but
949 harmless).
950
b68e7744
AD		 9512001-12-29 Akim Demaille <akim@epita.fr>
952
953 * src/reader.c (readgram): Don't add the rule 0 if there were no
954 rules read. In other words, add it _after_ having performed
955 grammar sanity checks.
956 Fixes the `tests/regression.at (Invalid input: 1)' Failure.
957
78d5bae9
AD		 9582001-12-29 Akim Demaille <akim@epita.fr>
959
960 * tests/regression.at (Web2c Report): Catch up: the rule 0 is now
961 visible, and some states have now a different number.
962
ff442794
AD		 9632001-12-29 Akim Demaille <akim@epita.fr>
964
965 * src/reader.c (readgram): Bind the initial rule's lineno to that
966 of the first rule.
967 * tests/regression.at (Rule Line Numbers, Unresolved SR Conflicts):
968 (Solved SR Conflicts): Adjust rule 0's line number.
969
610ab194
AD		 9702001-12-29 Akim Demaille <akim@epita.fr>
971
972 Fix the `GAWK Grammar' failure.
973
974 * src/LR0.c (final_state): Initialize to -1 so that we do compute
975 the reductions of the first state which was mistakenly confused
976 with the final state because precisely final_state was initialized
977 to 0.
978 * tests/sets.at (Nullable): Adjust: state 0 does have lookaheads,
979 now noticed by Bison.
980 * tests/regression.at (Rule Line Numbers): Adjust: state 0 does
981 have a reduction on $default.
982
29d29c8f
AD		 9832001-12-29 Akim Demaille <akim@epita.fr>
984
985 * src/gram.c (ritem_print): Be sure to subtract 1 when displaying
986 rule line numbers.
987 * src/closure.c (print_closure): Likewise.
988 * src/derives.c (print_derives): Likewise.
989 * tests/sets.at (Nullable): Adjust: the rule numbers are correct
990 now.
991
7c6b64d0
AD		 9922001-12-29 Akim Demaille <akim@epita.fr>
993
994 * src/lalr.c (lookaheads_print): New.
995 (lalr): Call it when --trace-flag.
996 * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
997 are dumped.
998
3d4daee3
AD		 9992001-12-29 Akim Demaille <akim@epita.fr>
1000
1001 * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',
1002 when walking through ritem, even via rule->rhs.
1003 * src/reduce.c (dump_grammar, useful_production, reduce_output)
1004 (useful_production, useless_nonterminals): Likewise.
1005 (reduce_grammar_tables): Likewise, plus update nritems.
1006 * src/nullable.c (set_nullable): Likewise.
1007 * src/lalr.c (build_relations): Likewise.
1008 * tests/sets.at (Nullable): Adjust.
1009 Fortunately, now, the $axiom is no longer nullable.
1010
9e7f6bbd
AD		 10112001-12-29 Akim Demaille <akim@epita.fr>
1012
1013 * src/LR0.c (generate_states): Use nritems, not nitems, nor using
1014 the 0-sentinel.
1015 * src/gram.c (ritem_longest_rhs): Likewise.
1016 * src/reduce.c (nonterminals_reduce): Likewise.
1017 * src/print_graph.c (print_graph): Likewise.
1018 * src/output.c (output_rule_data): Likewise.
1019 * src/nullable.c (set_nullable): Likewise.
1020
255ef638
AD		 10212001-12-29 Akim Demaille <akim@epita.fr>
1022
1023 * src/output.c: Comment changes.
1024
0d8a7363
AD		 10252001-12-27 Paul Eggert <eggert@twinsun.com>
1026
1027 * src/bison.simple (YYSTACK_ALLOC, YYSIZE_T): Remove special
1028 cases for non-GNU systems like AIX, HP-UX, SGI, Sun, and
1029 Sparc, as they were causing more porting problems than the
1030 (minor) performance improvement was worth.
1031
1032 Also, catch up with 1.31's YYSTD.
1033
3db472b9
AD		 10342001-12-27 Akim Demaille <akim@epita.fr>
1035
1036 * src/output.c (output_gram): Rely on nritems, not the
1037 0-sentinel. See below.
1038 Use -1 as separator, not 0.
1039 * src/bison.simple (yyparse): Subtract 1 to the rule numbers.
1040 Rely on -1 as separator in yyrhs, instead of 0.
1041 * tests/calc.at (AT_CHECK_CALC): Now, the parsers no longer issue
1042 twice `Now at end of input', therefore there are two lines less to
1043 expect.
1044
b365aa05
AD		 10452001-12-27 Akim Demaille <akim@epita.fr>
1046
1047 * tests/regression.at (Unresolved SR Conflicts):
1048 (Solved SR Conflicts, Rule Line Numbers): Adjust to the changes
1049 below.
1050
30171f79
AD		 10512001-12-27 Akim Demaille <akim@epita.fr>
1052
1053 * src/LR0.c (new_state): Recognize the final state by the fact it
1054 is reached by eoftoken.
1055 (insert_start_shifting_state, insert_eof_shifting_state)
1056 (insert_accepting_state, augment_automaton): Remove, since now
1057 these states are automatically computed from the initial state.
1058 (generate_states): Adjust.
1059 * src/print.c: When reporting a rule number to the user, substract
1060 1, so that the axiom rule is rule 0, and the first user rule is 1.
1061 * src/reduce.c: Likewise.
1062 * src/print_graph.c (print_core): For the time being, just as for
1063 the report, depend upon --trace-flags to dump the full set of
1064 items.
1065 * src/reader.c (readgram): Once the grammar read, insert the rule
1066 0: `$axiom: START-SYMBOL $'.
1067 * tests/set.at: Adjust: rule 0 is now displayed, and since the
1068 number of the states has changed (the final state is no longer
1069 necessarily the last), catch up.
1070
75142d45
AD		 10712001-12-27 Akim Demaille <akim@epita.fr>
1072
1073 Try to make the use of the eoftoken valid. Given that its value
1074 is 0 which was also used as a sentinel in ritem, (i) make sure >= 0
1075 is used instead of > 0 where appropriate, (ii), depend upon nritems
1076 instead of the 0-sentinel.
1077
1078 * src/gram.h, src/gram.c (nritems): New.
1079 Expected to be duplication of nitems, but for the time being...
1080 * src/reader.c (packgram): Assert nritems and nitems are equal.
1081 * src/LR0.c (allocate_itemsets, new_itemsets): Adjust.
1082 * src/closure.c (print_closure, print_fderives): Likewise.
1083 * src/gram.c (ritem_print): Likewise.
1084 * src/print.c (print_core, print_grammar): Likewise.
1085 * src/print_graph.c: Likewise.
1086
b7c49edf
AD		 10872001-12-27 Akim Demaille <akim@epita.fr>
1088
1089 * src/main.c (main): If there are complains after grammar
1090 reductions, then output the report anyway if requested, then die.
1091 * src/symtab.c (bucket_new): Initialize `value' to -1, not 0.
1092 * src/reader.c (eoftoken): New.
1093 (parse_token_decl): If the token being defined has value `0', it
1094 is the eoftoken.
1095 (packsymbols): No longer hack `tags' to insert `$' by hand.
1096 Be sure to preserve the value of the eoftoken.
1097 (reader): Make sure eoftoken is defined.
1098 Initialize nsyms to 0: now eoftoken is created just like the others.
1099 * src/print.c (print_grammar): Don't special case the eof token.
1100 * src/regression.at: Adjust: `$' has value 0, not -1, which was a
1101 lie anyway, albeit pleasant.
1102 * tests/calc.at: Exercise error messages with eoftoken.
1103 Change the grammar so that empty input is invalid.
1104 Adjust expectations.
1105 When yyungeting, be sure to use a valid yylloc: use last_yylloc.
1106
ec2da99f
AD		 11072001-12-27 Akim Demaille <akim@epita.fr>
1108
1109 * configure.in: Check the protos of strchr ans strspn.
1110 Replace strchr if needed.
1111 * src/system.h: Provide the protos of strchr, strspn and memchr if
1112 missing.
1113 * lib/strchr.c: New.
1114 * src/reader.c (symbols_save): Use strchr.
1115
8adfa272
AD		 11162001-12-27 Akim Demaille <akim@epita.fr>
1117
1118 * src/print.c, src/print_graph.c (escape): New.
1119 Use it to quote the TAGS outputs.
1120 * src/print_graph.c (print_state): Now errors are in red, and
1121 reductions in green.
1122 Prefer high to wide: output the state number on a line of its own.
1123
80dac38c
AD		 11242001-12-27 Akim Demaille <akim@epita.fr>
1125
1126 * src/state.h, src/state.c (reductions_new): New.
1127 * src/LR0.c (set_state_table): Let all the states have a
1128 `reductions', even if reduced to 0.
1129 (save_reductions): Adjust.
1130 * src/lalr.c (initialize_LA, initialize_lookaheads): Adjust.
1131 * src/print.c (print_reductions, print_actions): Adjust.
1132 * src/output.c (action_row): Adjust.
1133
2cec70b9
AD		 11342001-12-27 Akim Demaille <akim@epita.fr>
1135
1136 * src/state.h, src/state.c (errs_new, errs_dup): New.
1137 * src/LR0.c (set_state_table): Let all the states have an errs,
1138 even if reduced to 0.
1139 * src/print.c (print_errs, print_reductions): Adjust.
1140 * src/output.c (output_actions, action_row): Adjust.
1141 * src/conflicts.c (resolve_sr_conflict): Adjust.
1142
13ca549a
AD		 11432001-12-27 Akim Demaille <akim@epita.fr>
1144
1145 * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.
1146
5092aba5
AD		 11472001-12-27 Akim Demaille <akim@epita.fr>
1148
1149 * src/conflicts.c, src/conflicts.h (print_reductions): Move to...
1150 * src/print.c: here.
1151 (lookaheadset, shiftset): New, used as additional storage by
1152 print_reductions.
1153 (print_results): Adjust.
1154 (print_shifts, print_gotos, print_errs): New, extracted from...
1155 (print_actions): here.
1156 * src/print_graph.c (print_actions): Remove dead code.
1157
11e2beca
AD		 11582001-12-27 Akim Demaille <akim@epita.fr>
1159
1160 * src/reader.c (copy_dollar, copy_at): Better checking of `n' in
1161 `$n' and `@n'.
1162
dac3c910
AD		 11632001-12-27 Akim Demaille <akim@epita.fr>
1164
1165 * src/lalr.c (add_lookback_edge): Use state_t instead of ints.
1166 (build_relations): Adjust.
1167
d0b0fefa
AD		 11682001-12-27 Akim Demaille <akim@epita.fr>
1169
1170 * src/lalr.c (set_goto_map): Remove a wrong but benign loop
1171 duplication.
1172
adc8c848
AD		 11732001-12-27 Akim Demaille <akim@epita.fr>
1174
1175 * src/reader.c (packgram): Catch nitems overflows.
1176
14d293ac
AD		 11772001-12-27 Akim Demaille <akim@epita.fr>
1178
1179 * src/files.c, src/files.h (guard_obstack): Remove.
1180 * src/output.c (output): Adjust.
1181 * src/reader.c (parse_braces): New, factoring...
1182 (copy_action, copy_guard): these two which are renamed as...
1183 (parse_action, parse_guard): these.
1184 As a voluntary consequence, using braces around guards is now
1185 mandatory.
1186
f499b062
AD		 11872001-12-27 Akim Demaille <akim@epita.fr>
1188
1189 * src/gram.h (rule_t): `guard' and `guard_line' are new members.
1190 * src/reader.c (symbol_list): `guard' and `guard_line' are new
1191 members.
1192 (symbol_list_new): Adjust.
1193 (copy_action): action_line is the first line, not the last.
1194 (copy_guard): Just as for actions, store the `action' only, not
1195 the switch/case/break flesh.
1196 Don't parse the user action that might follow the guard, let...
1197 (readgram): do it, i.e., now, there can be an action after a
1198 guard.
1199 In other words the guard is just explicitly optional.
1200 (packgram): Adjust.
1201 * src/output.c (guards_output): New.
1202 (output_parser): Call it when needed.
1203 (output): Also free the guard and attrs obstacks.
1204 * src/files.c, src/files.h (obstack_save): Remove.
1205 (output_files): Remove.
1206 As a result, if one needs the former `.act' file, using an
1207 appropriate skeleton which requires actions and guards is now
1208 required.
1209 * src/main.c (main): Adjust.
1210 * tests/semantic.at: New.
1211 * tests/regression.at: Use `input.y' as input file name.
1212 Avoid 8+3 problems by requiring input.c when the test needs the
1213 parser.
1214
d945f5cd
AD		 12152001-12-27 Akim Demaille <akim@epita.fr>
1216
1217 * src/reader.c (symbol_list_new): Be sure to initialize all the
1218 fields.
1219
d200e455
AD		 12202001-12-27 Akim Demaille <akim@epita.fr>
1221
1222 All the hacks using a final pseudo state are now useless.
1223
1224 * src/LR0.c (set_state_table): state_table holds exactly nstates.
1225 * src/lalr.c (nLA): New.
1226 (initialize_LA, compute_lookaheads, initialize_lookaheads): Use it
1227 instead of lookaheadsp from the pseudo state (nstate + 1).
1228
f9507c28
AD		 12292001-12-27 Akim Demaille <akim@epita.fr>
1230
1231 * src/output.c (action_row, token_actions): Use a state_t instead
1232 of a integer, and nlookaheads instead of the following state's
1233 lookaheadsp.
1234
065fbd27
AD		 12352001-12-27 Akim Demaille <akim@epita.fr>
1236
1237 * src/conflicts.c (log_resolution, flush_shift)
1238 (resolve_sr_conflict, set_conflicts, solve_conflicts)
1239 (count_sr_conflicts, count_rr_conflicts, conflicts_output)
1240 (conflicts_print, print_reductions): Use a state_t instead of an
1241 integer when referring to a state.
1242 As much as possible, depend upon nlookaheads, instead of the
1243 `lookaheadsp' member of the following state (since lookaheads of
1244 successive states are successive, the difference between state n + 1
1245 and n served as the number of lookaheads for state n).
1246 * src/lalr.c (add_lookback_edge): Likewise.
1247 * src/print.c (print_core, print_actions, print_state)
1248 (print_results): Likewise.
1249 * src/print_graph.c (print_core, print_actions, print_state)
1250 (print_graph): Likewise.
1251 * src/conflicts.h: Adjust.
1252
1b177bd7
AD		 12532001-12-27 Akim Demaille <akim@epita.fr>
1254
1255 * src/bison.hairy: Formatting/comment changes.
1256 ANSIfy.
1257 Remove `register' indications.
1258 Add plenty of `static'.
1259
7742ddeb
AD		 12602001-12-27 Akim Demaille <akim@epita.fr>
1261
1262 * src/output.c (prepare): Drop the muscle `ntbase' which
1263 duplicates ntokens.
1264 * src/bison.simple: Formatting/comment changes.
1265 Use YYNTOKENS only, which is documented, but not YYNTBASE, which
1266 is an undocumented synonym.
1267
1fa14068
AD		 12682001-12-22 Akim Demaille <akim@epita.fr>
1269
1270 * src/output.c (output_table_data): Change the prototype to use
1271 `int' for array ranges: some invocations do pass an int, not a
1272 short.
1273 Reported by Wayne Green.
1274
b9752825
AD		 12752001-12-22 Akim Demaille <akim@epita.fr>
1276
1277 Some actions of web2c.y are improperly triggered.
1278 Reported by Mike Castle.
1279
1280 * src/lalr.c (traverse): s/F (i)[k] = F (j)[k]/F (j)[k] = F (i)[k]/.
1281 * tests/regression.at (Web2c): Rename as...
1282 (Web2c Report): this.
1283 (Web2c Actions): New.
1284
776209d6
AD		 12852001-12-22 Akim Demaille <akim@epita.fr>
1286
1287 Reductions in web2c.y are improperly reported.
1288 Reported by Mike Castle.
1289
1290 * src/conflicts.c (print_reductions): Fix.
1291 * tests/regression.at (Web2c): New.
1292
275fc3ad
AD		 12932001-12-18 Akim Demaille <akim@epita.fr>
1294
1295 Some host fail on `assert (!"foo")', which expands to
1296 ((!"foo") ? (void)0 : __assert("!"foo."", __FILE__, __LINE__))
1297 Reported by Nelson Beebee.
1298
1299 * src/output.c, src/vcg.c: Replace `assert (!"it succeeded")' with
1300 `#define it_succeeded 0' and `assert (it_succeeded)'.
1301
897668ee
MA		 13022001-12-17 Marc Autret <autret_m@epita.fr>
1303
1304 * src/bison.simple: Don't hard code the skeleton line and filename.
1305 * src/output.c (output_parser): Rename 'line' as 'output_line'.
1306 New line counter 'skeleton_line' (skeleton-line muscle).
1307
ab3399e0
PE		 13082001-12-17 Paul Eggert <eggert@twinsun.com>
1309
1310 * NEWS, doc/bison.texinfo, doc/bison.1, doc/bison.rnh: Document that
1311 YYDEBUG must be defined to a nonzero value.
1312
1313 * src/bison.simple (yytname): Do not assume that the user defines
1314 YYDEBUG to a properly parenthesized expression.
1315
3877f72b
AD		 13162001-12-17 Akim Demaille <akim@epita.fr>
1317
1318 * src/state.h (state_t): Rename lookaheads as lookaheadsp.
1319 nlookaheads is a new member.
1320 Adjust all users.
1321 * src/lalr.h (nlookaheads): Remove this orphan declaration.
1322 * src/lalr.c (initialize_lookaheads): Set nlookaheads for each
1323 state.
776209d6 1324
331dbc1b
AD		 13252001-12-17 Akim Demaille <akim@epita.fr>
1326
1327 * src/files.h, src/files.c (open_files, close_files): Remove.
1328 * src/main.c (main): Don't open/close files, nor invoke lex_free,
1329 let...
1330 * src/reader.c (reader): Do it.
776209d6 1331
be750e4c
AD		 13322001-12-17 Akim Demaille <akim@epita.fr>
1333
1334 * src/conflicts.c (print_reductions): Formatting changes.
776209d6 1335
709ae8c6
AD		 13362001-12-17 Akim Demaille <akim@epita.fr>
1337
1338 * src/conflicts.c (flush_shift): Also adjust lookaheadset.
1339 (flush_reduce): New.
1340 (resolve_sr_conflict): Adjust.
776209d6 1341
f87685c3
AD		 13422001-12-17 Akim Demaille <akim@epita.fr>
1343
1344 * src/output.c (output_obstack): Be static and rename as...
1345 (format_obstack): this, to avoid any confusion with files.c's
1346 output_obstack.
1347 * src/reader.h (muscle_obstack): Move to...
1348 * src/output.h: here, since it's defined in output.c.
1349
837491d8
AD		 13502001-12-17 Akim Demaille <akim@epita.fr>
1351
1352 * src/output.c (action_row, save_column, default_goto)
1353 (sort_actions, matching_state, pack_vector): Better variable
1354 locality.
1355
796d61fb
AD		 13562001-12-17 Akim Demaille <akim@epita.fr>
1357
1358 * src/output.c: Various formatting changes.
776209d6 1359
64d15509
AD		 13602001-12-17 Akim Demaille <akim@epita.fr>
1361
1362 * src/files.c (output_files): Free the output_obstack.
1363 * src/main.c (main): Call print and print_graph conditionally.
1364 * src/print.c (print): Work unconditionally.
1365 * src/print_graph.c (print_graph): Work unconditionally.
1366 * src/conflicts.c (log_resolution): Output only if verbose_flag.
1367
fbc8ecb7
MA		 13682001-12-16 Marc Autret <autret_m@epita.fr>
1369
1370 * src/output.c (actions_output): Fix. When we use %no-lines,
1371 there is one less line per action.
1372
f0440388
MA		 13732001-12-16 Marc Autret <autret_m@epita.fr>
1374
1375 * src/bison.simple: Remove a useless #line directive.
1376 s/#line %%line %%skeleton/#line %%line "%%parser-file-name"/'.
1377 * src/output.c (get_lines_number): New.
776209d6 1378 (output_parser): Adjust, now takes care about the lines of a
f0440388
MA		 1379 output muscles.
1380 Fix line numbering.
1381 (actions_output): Computes the number of lines taken by actions.
1382 (output_master_parser): Insert new skeleton which is the name of
1383 the output parser file name.
1384
a79986b8
MA		 13852001-12-15 Marc Autret <autret_m@epita.fr>
1386
1387 * src/bison.simple [YYERROR_VERBOSE]: Restore backward compatibility.
1388
4ec8e00f
MA		 13892001-12-15 Marc Autret <autret_m@epita.fr>
1390
1391 * src/output.c (output_gram): Keep track of the hairy one.
1392
1a4648ff
AD		 13932001-12-15 Akim Demaille <akim@epita.fr>
1394
1395 Make `make distcheck' work.
1396
1397 * lib/Makefile.am (INCLUDES): Add top_srcdir/intl, since hash uses
1398 system.h which uses libgettext.h.
1399
9c2c67e6
AD		 14002001-12-15 Akim Demaille <akim@epita.fr>
1401
1402 * src/nullable.c (set_nullable): Useless rules must be skipped,
1403 otherwise, since we range over their symbols, we might look at a
1404 nonterminal which no longer ``exists'', i.e., it is not counted in
1405 `nvars', hence we overflow our arrays.
1406
93ede233
AD		 14072001-12-15 Akim Demaille <akim@epita.fr>
1408
1409 The header can also be produced directly, without any obstack!
1410 Yahoo!
1411
1412 * src/files.c, src/files.h (defines_obstack): Remove.
1413 (compute_header_macro): Global.
1414 (defines_obstack_save): Remove.
1415 * src/reader.c (parse_union_decl): No longer output to
1416 defines_obstack: its content can be found in the `stype' muscle
1417 anyway.
1418 (output_token_translations): Merge into...
1419 (symbols_output): this.
1420 Rename as...
1421 (symbols_save): this.
1422 (reader): Adjust.
1423 * src/output.c (header_output): New.
1424 (output): Call it.
1425
2666f928
AD		 14262001-12-15 Akim Demaille <akim@epita.fr>
1427
1428 * src/reader.c (parse_union_decl): Instead of handling two obstack
1429 simultaneously, use one to define the `stype' muscle, and use the
1430 value of the latter to fill defines_obstack.
1431 (copy_comment): Remove.
1432 (copy_comment2): Work for a single obstack.
1433 Rename as...
1434 (copy_comment): this.
1435
428046f8
AD		 14362001-12-15 Akim Demaille <akim@epita.fr>
1437
1438 * src/lex.c, src/lex.h (xgetc): No longer static.
1439 * src/reader.c (parse_union_decl): Revamp.
1440
ea52d706
AD		 14412001-12-15 Akim Demaille <akim@epita.fr>
1442
1443 Still making progress in separating Bison into (i) input, (ii)
1444 process, (iii) output: now we can directly output the parser file
1445 without using table_obstack at all.
1446
1447 * src/files.c, src/files.h (table_obstack): Bye bye.
1448 (parser_file_name): New.
1449 * src/files.c (compute_output_file_names): Compute it.
1450 * src/output.c (actions_output, output_parser)
1451 (output_master_parser): To a file instead of an obstack.
1452
3f96f4dc
AD		 14532001-12-15 Akim Demaille <akim@epita.fr>
1454
1455 Attach actions to rules, instead of pre-outputting them to
1456 actions_obstack.
1457
1458 * src/gram.h (rule_t): action and action_line are new members.
1459 * src/reader.c (symbol_list): Likewise.
1460 (copy_action): Save the actions within the rule.
1461 (packgram): Save them in rule_table.
1462 * src/output.c (actions_output): New.
1463 (output_parser): Use it on `%%actions'.
1464 (output_rule_data): Don't free rule_table.
1465 (output): Do it.
1466 (prepare): Don't save the `action' muscle.
1467 * src/bison.simple: s/%%action/%%actions/.
1468
51576fb3
AD		 14692001-12-15 Akim Demaille <akim@epita.fr>
1470
1471 * src/reader.c (copy_action): When --yacc, don't append a `;'
1472 to the user action: let it fail if lacking.
dee049eb 1473 Suggested by Arnold Robbins and Tom Tromey.
51576fb3 1474
2648a72d
AD		 14752001-12-14 Akim Demaille <akim@epita.fr>
1476
1477 * src/lex.c (literalchar): Simply return the char you decoded, non
1478 longer mess around with obstacks and int pointers.
1479 Adjust all callers.
1480
92790e5b
AD		 14812001-12-14 Akim Demaille <akim@epita.fr>
1482
1483 * src/lex.c (literalchar): Don't escape the special characters,
1484 just decode them, and keep them as char (before, eol was output as
1485 the 2 char string `\n' etc.).
1486 * src/output.c (output_rule_data): Use quotearg to output the
1487 token strings.
1488
927c1557
PE		 14892001-12-13 Paul Eggert <eggert@twinsun.com>
1490
1491 * src/bison.simple (YYSIZE_T, YYSTACK_ALLOC, YYSTACK_FREE):
1492 Do not infringe on the global user namespace when using C++.
1493 (YYFPRINTF, YYSTDERR): New macros, needed for the above.
1494 All uses of `fprintf' and `stderr' changed.
1495
1496 * doc/bison.texinfo: Document YYFPRINTF, YYSTDERR.
1497
ed8e1f68
AD		 14982001-12-13 Akim Demaille <akim@epita.fr>
1499
1500 The computation of nullable is broken: it doesn't handle empty
1501 RHS's properly.
1502
1503 * tests/torture.at (GNU AWK Grammar): New.
1504 * tests/sets.at (Nullable): New.
1505 * src/nullable.c (set_nullable): Instead of blindly looping over
1506 `ritems', loop over the rules, and then over their rhs's.
1507
1508 Work around Autotest bugs.
1509
1510 * src/warshall.c (bitmatrix_print): Don't use `+--+' as table
1511 frame, because Autotest understand lines starting with a `+' as
1512 traces from the shell. Then, they are not processed properly.
1513 Admittedly an Autotest bug, but we don't have time to wait for
1514 Autotest to catch up.
1515 * tests/regression.at (Broken Closure): Adjust to the new table
1516 frames.
1517 Move to...
1518 * tests/sets.at: here.
1519
cb581495
AD		 15202001-12-13 Akim Demaille <akim@epita.fr>
1521
1522 * src/closure.c (closure): Use nrules instead of playing tricks
1523 with BITS_PER_WORD.
1524
2e729273
AD		 15252001-12-13 Akim Demaille <akim@epita.fr>
1526
1527 * src/print.c (print_actions): Output the handling of `$' as the
1528 traces do: shifting the token EOF. Before EOF was treated as a
1529 nonterminal.
1530 * tests/regression.at: Adjust some tests.
1531 * src/print_graph.c (print_core): Complete the set of items via
1532 closure. The next-to-final and final states are still unsatisfying,
1533 but that's to be addressed elsewhere.
1534 No longer output the rule numbers, but do output the state number.
1535 A single loop for the shifts + gotos is enough, but picked a
1536 distinct color for each.
1537 (print_graph): Initialize and finalize closure.
1538
107f7dfb
AD		 15392001-12-13 Akim Demaille <akim@epita.fr>
1540
1541 * src/reader.c (readgram): Remove dead code, an strip useless
1542 braces.
1543 (get_type): Remove, unused.
1544
9b53a24f
AD		 15452001-12-12 Akim Demaille <akim@epita.fr>
1546
1547 * src/complain.h, src/complain.c: Remove error_one_per_line, rely
1548 on that of lib/error.c.
1549
dbfb6dcd
AD		 15502001-12-12 Akim Demaille <akim@epita.fr>
1551
1552 Some hosts don't like `/' in includes.
1553
1554 * src/system.h: Include libgettext.h without qualifying the path.
1555 * src/Makefile.am (INCLUDES): Add $(top_srcdir)/intl, remove
1556 $(top_srcdir).
1557
c25fb648
MA		 15582001-12-11 Marc Autret <autret_m@epita.fr>
1559
1560 * src/output.c (output_parser): Remove useless muscle.
1561
710ddc4f
MA		 15622001-12-11 Marc Autret <autret_m@epita.fr>
1563
1564 * src/bison.simple: Remove #line just before %%epilogue. It
1565 is now handled in ...
1566 * src/reader.c (read_additionnal_code): Add the output of a
1567 #line for the epilogue.
1568
e83d80b8
MA		 15692001-12-10 Marc Autret <autret_m@epita.fr>
1570
927c1557 1571 * src/reader.c (copy_definition): Re-use CPP-outed code which
e83d80b8
MA		 1572 replace precedent remove.
1573 * src/bison.simple: Remove #line before %%prologue because
1574 %%input-line is wrong at this time.
1575
971d5158
MA		 15762001-12-10 Marc Autret <autret_m@epita.fr>
1577
1578 * src/reader.c (symbols_output): Clean up.
927c1557 1579 * src/output.c (output_gram, output): Clean up.
971d5158 1580
5edafffd
AD		 15812001-12-10 Akim Demaille <akim@epita.fr>
1582
1583 * src/lalr.c (initialize_lookaheads): New. Extracted from...
1584 * src/LR0.c (set_state_table): here.
1585 * src/lalr.c (lalr): Call it.
1586
0279f8e9
AD		 15872001-12-10 Akim Demaille <akim@epita.fr>
1588
1589 * src/state.h (shifts): Remove the `number' member: shifts are
1590 attached to state, hence no longer need to be labelled with a
1591 state number.
1592
190c4f5f
AD		 15932001-12-10 Akim Demaille <akim@epita.fr>
1594
1595 Now that states have a complete set of members, the linked list of
1596 shifts is useless: just fill directly the state's shifts member.
1597
1598 * src/state.h (shifts): Remove the `next' member.
1599 * src/LR0.c (first_state, last_state): Remove.
1600 Adjust the callers.
1601 (augment_automaton): Don't look for the shifts that must be added
1602 a shift on EOF: it is those of the state we looked for! But now,
1603 since shifts are attached, it is no longer needed to looking
1604 merely by its id: its number.
1605
2a73b93d
AD		 16062001-12-10 Akim Demaille <akim@epita.fr>
1607
1608 * src/LR0.c (augment_automaton): Better variable locality.
1609 Remove an impossible branch: if there is a state corresponding to
1610 the start symbol being shifted, then there is shift for the start
1611 symbol from the initial state.
1612
74392f6a
AD		 16132001-12-10 Akim Demaille <akim@epita.fr>
1614
1615 * src/LR0.c (augment_automaton): Call `insert_eof_shifting_state'
1616 only when appropriate: when insert_start_shifting_state' is not
1617 invoked.
1618 * tests/regression.at (Rule Line Numbers): Adjust.
1619
37c82725
AD		 16202001-12-10 Akim Demaille <akim@epita.fr>
1621
1622 * src/LR0.c (augment_automaton): Now that all states have shifts,
1623 merge the two cases addition shifts to the initial state.
1624
6a164e0c
AD		 16252001-12-10 Akim Demaille <akim@epita.fr>
1626
1627 * src/lalr.c (set_state_table): Move to...
1628 * src/LR0.c: here.
1629 * src/lalr.c (lalr): Don't call it...
1630 * src/LR0.c (generate_states): do it.
1631 * src/LR0.h (first_state): Remove, only the table is used.
1632
7215de24
AD		 16332001-12-10 Akim Demaille <akim@epita.fr>
1634
1635 * src/LR0.h (first_shift, first_reduction): Remove.
1636 * src/lalr.c: Don't use first_shift: find shifts through the
1637 states.
1638
80e25d4d
AD		 16392001-12-10 Akim Demaille <akim@epita.fr>
1640
1641 * src/LR0.c: Attach shifts to states as soon as they are
1642 computed.
1643 * src/lalr.c (set_state_table): Instead of assigning shifts to
1644 state, just assert that the mapping was properly done.
1645
0ab3728b
AD		 16462001-12-10 Akim Demaille <akim@epita.fr>
1647
1648 * src/LR0.c (insert_start_shift): Rename as...
1649 (insert_start_shifting_state): this.
1650 (insert_eof_shifting_state, insert_accepting_state): New.
1651 (augment_automaton): Adjust.
1652 Better locality of the variables.
1653 When looking if the start_symbol is shifted from the initial
1654 state, using `while (... symbol != start_symbol ...)' sounds
1655 better than `while (... symbol < start_symbol ...)': If fail
1656 to see how the order between symbols could be relevant!
1657
78af9bbc
AD		 16582001-12-10 Akim Demaille <akim@epita.fr>
1659
1660 * src/getargs.h: Don't declare `spec_name_prefix' and
1661 `spec_file_prefix', declared by src/files.h.
1662 * src/files.c, src/files.h: Default for spec_name_prefix is "yy".
1663 * src/muscle_tab.c (muscle_init): Default prefix to NULL.
1664 * src/output.c (prepare): Adjust.
1665 * src/reader.c (symbols_output): Likewise.
1666 * src/vmsgetargs.c: Vaguely adjust, but who cares?
1667
bdef2a41
AD		 16682001-12-10 Akim Demaille <akim@epita.fr>
1669
1670 * src/muscle_tab.c (muscle_init): NULL is a better default than
1671 `"0"'.
1672
3735969c
AD		 16732001-12-10 Akim Demaille <akim@epita.fr>
1674
1675 * src/reader.c (reader): Calling symbols_output once is enough.
1676
49701457
AD		 16772001-12-10 Akim Demaille <akim@epita.fr>
1678
1679 Now that states have a complete set of members, the linked list of
1680 reductions is useless: just fill directly the state's reductions
1681 member.
1682
1683 * src/state.h (struct reductions): Remove member `number' and
1684 `next'.
1685 * src/LR0.c (first_reduction, last_reduction): Remove.
1686 (save_reductions): Don't link the new reductions, store them in
1687 this_state.
1688 * src/lalr.c (set_state_table): No need to attach reductions to
1689 states, it's already done.
1690 * src/output.c (output_actions): No longer free the shifts, then
1691 the reductions, then the states: free all the states and their
1692 members.
1693
0edad749
AD		 16942001-12-10 Akim Demaille <akim@epita.fr>
1695
1696 * src/options.c (OPTN, DRTV, BOTH): New.
1697 (option_table): Use them.
1698
0edad749
AD		 1699 * src/muscle_tab.c: Don't include xalloc.h and string.h: that's
1700 the job of system.h.
1701 * src/options.c: Don't include stdio.h and xalloc.h for the same
1702 reasons.
1703
5449dd0f
AD		 17042001-12-10 Akim Demaille <akim@epita.fr>
1705
1706 * src/output.c (output, prepare): Make sure the values of the
1707 muscles `action' and `prologue' are 0-terminated.
1708
a870c567
AD		 17092001-12-10 Akim Demaille <akim@epita.fr>
1710
1711 Clean up GCC warnings.
1712
1713 * src/reader.c (copy_action): `buf' is not used.
1714 (parse_skel_decl): Be static.
1715 * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'.
1716 * src/options.h (create_long_option_table): Have a real prototype.
1717 * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete)
1718 (hash_delete_at): Return const void *.
1719 Adjust casts to preserve the const.
1720
80df8768
AD		 17212001-12-10 Akim Demaille <akim@epita.fr>
1722
1723 * configure.in: Require 2.52g.
1724 M4 is not needed, but AUTOM4TE is.
1725 * m4/m4.m4: Remove.
1726 * tests/Makefile.am: Adjust.
1727
f693ad14
AD		 17282001-12-10 Akim Demaille <akim@epita.fr>
1729
1730 One structure for states is enough, even though theoretically
1731 there are LR(0) states and LALR(1) states.
1732
1733 * src/lalr.h (state_t): Remove.
1734 (state_table): Be state_t **, not state_t *.
1735 * src/state.h (core, CORE_ALLOC): Rename as...
1736 (state_t, STATE_ALLOC): this.
1737 Add the LALR(1) members: shifts, reductions, errs.
1738 * src/LR0.c (state_table): Rename as...
1739 (state_hash): this, to avoid name clashes with the global
1740 `state_table'.
1741 * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
1742 * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
1743
74ffbcb6
AD		 17442001-12-10 Akim Demaille <akim@epita.fr>
1745
1746 Bison dumps core on bash.y.
1747 Reported by Pascal Bart.
1748
1749 * src/warshall.c (bitmatrix_print): New.
1750 (TC): Use it.
1751 When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
1752 j must be the outer loop.
1753 * tests/regression.at (Broken Closure): New.
1754
07708e19
AD		 17552001-12-05 Akim Demaille <akim@epita.fr>
1756
1757 * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and
1758 its argument.
1759