]> git.saurik.com Git - bison.git/blame - ChangeLog
projects / bison.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
* TODO: Update.
[bison.git] / ChangeLog
CommitLineData
fa770c86
AD		 12002-04-07 Akim Demaille <akim@epita.fr>
2
3 * TODO: Update.
4
5
d9b739c3
AD		 62002-04-07 Akim Demaille <akim@epita.fr>
7
8 * src/output.c, src/reader.c, src/symtab.c, src/symtab.h: Rename
9 bucket.value as bucket.number.
10
11
99013900
AD		 122002-04-07 Akim Demaille <akim@epita.fr>
13
14 * src/closure.c, src/derives.c, src/gram.h, src/lalr.c,
15 * src/nullable.c, src/output.c, src/print.c, src/print_graph.c,
16 * src/reader.c, src/reduce.c: Let rule_t.rhs point directly to the
17 RHS, instead of being an index in RITEMS.
18
e966383b
PE		 192002-04-04 Paul Eggert <eggert@twinsun.com>
20
21 * doc/bison.texinfo: Update copyright date.
22 (Rpcalc Lexer, Symbols, Token Decl): Don't assume ASCII.
23 (Symbols): Warn about running Bison in one character set,
24 but compiling and/or running in an incompatible one.
25 Warn about character code 256, too.
26
272002-04-03 Paul Eggert <eggert@twinsun.com>
28
29 * src/bison.data (YYSTACK_ALLOC): Depend on whether
30 YYERROR_VERBOSE is nonzero, not whether it is defined.
31
32 Merge changes from bison-1_29-branch.
33
8d6c48b9
PE		 342002-03-20 Paul Eggert <eggert@twinsun.com>
35
36 Merge fixes from Debian bison_1.34-1.diff.
37
38 * configure.in (AC_PREREQ): 2.53.
39
e53c6322
AD		 402002-03-20 Akim Demaille <akim@epita.fr>
41
42 * src/conflicts.c (log_resolution): Argument `resolution' is const.
43
9ffbeca7
PE		 442002-03-19 Paul Eggert <eggert@twinsun.com>
45
21db0b2a
PE		 46 * src/bison.simple (YYCOPY): New macro.
47 (YYSTACK_RELOCATE): Use it.
48 Remove Type arg; no longer needed. All callers changed.
49 (yymemcpy): Remove; no longer needed.
50
9ffbeca7
PE		 51 * Makefile.am (AUTOMAKE_OPTIONS): 1.6.
52 * doc/Makefile.am (AUTOMAKE_OPTIONS): Remove.
53
642cb8f8
AD		 542002-03-19 Akim Demaille <akim@epita.fr>
55
56 Test and fix the #line outputs.
57
58 * tests/atlocal.at (GCC): New.
59 * tests/synclines.at (AT_TEST_SYNCLINE): New macro.
60 (Prologue synch line, ,%union synch line, Postprologue synch line)
61 (Action synch line, Epilogue synch line): New tests.
62 * src/reader.c (parse_union_decl): Define the muscle stype_line.
63 * data/bison.simple, data/bison.c++: Use it.
64
e53c6322 65
3c31a486
AD		 662002-03-19 Akim Demaille <akim@epita.fr>
67
68 * tests/regression.at (%nonassoc and eof, Unresolved SR Conflicts)
69 (Solved SR Conflicts, %expect not enough, %expect right)
70 (%expect too much): Move to...
71 * tests/conflicts.at: this new file.
72
0d8bed56
AD		 732002-03-19 Akim Demaille <akim@epita.fr>
74
75 * data/m4sugar/m4sugar.m4: Update from CVS Autoconf.
76 * data/bison.simple, data/bison.c++: Handle the `#define' part, so
77 that we can move to enums for instance.
78 * src/output.c (token_definitions_output): Output a list of
79 `token-name, token-number' instead of the #define.
80 (output_skeleton): Name this list `b4_tokens', not `b4_tokendefs'.
81
9208d17f
AD		 822002-03-14 Akim Demaille <akim@epita.fr>
83
84 Use Gettext 0.11.1.
85
af27eacb
RA		 862002-03-09 Robert Anisko <robert@lrde.epita.fr>
87
88 * data/bison.c++: Make the user able to add members to the generated
89 parser by subclassing.
90
9101a310
RA		 912002-03-05 Robert Anisko <robert@lrde.epita.fr>
92
93 * src/reader.c (read_additionnal_code): `c' should be an integer, not
94 a character.
95 Reported by Nicolas Tisserand and Nicolas Burrus.
96
fff9bf0b
RA		 972002-03-04 Robert Anisko <robert@lrde.epita.fr>
98
99 * src/reader.c: Warn about lacking semi-colons, do not complain.
100
64dba31e
RA		 1012002-03-04 Robert Anisko <robert@lrde.epita.fr>
102
103 * data/bison.c++: Remove a debug line.
104
374f5a14
RA		 1052002-03-04 Robert Anisko <robert@lrde.epita.fr>
106
107 * data/bison.c++: Unmerge value as yylval and value as yyval. Unmerge
108 location as yylloc and location as yyloc. Use YYLLOC_DEFAULT, and
109 provide a default implementation.
110
bfcf1f3a
AD		 1112002-03-04 Akim Demaille <akim@epita.fr>
112
113 * tests/input.at (Invalid $n, Invalid @n): Add the ending `;'.
114 * tests/output.at (AT_CHECK_OUTPUT): Likewise.
115 * tests/headers.at (AT_TEST_CPP_GUARD_H): Ditto.
116 * tests/semantic.at (Parsing Guards): Similarly.
117 * src/reader.at (readgram): Complain if the last rule is not ended
118 with a semi-colon.
119
65ccf9fc
AD		 1202002-03-04 Akim Demaille <akim@epita.fr>
121
122 * src/warshall.h, src/warshall.c (bitmatrix_print): Move to...
123 * src/closure.c: here.
124 (set_firsts): Use bitsetv_reflexive_transitive_closure instead of
125 RTC.
126 * src/warshall.h, src/warshall.c: Remove.
127 * tests/sets.at (Broken Closure): Adjust.
128
d0039cbc
AD		 1292002-03-04 Akim Demaille <akim@epita.fr>
130
131 * src/output.c (output_skeleton): tempdir is const.
132 bytes_read is unused.
133
345cea78
AD		 1342002-03-04 Akim Demaille <akim@epita.fr>
135
136 * lib/bbitset.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
137 * lib/bitsetv.h, lib/ebitset.c, lib/lbitset.c, lib/sbitset.c:
138 Update.
139 From Michael Hayes.
140
564801f7
AD		 1412002-03-04 Akim Demaille <akim@epita.fr>
142
143 * src/closure.c (closure): `r' is unused.
144
e5352bc7
AD		 1452002-03-04 Akim Demaille <akim@epita.fr>
146
147 * tests/sets.at (Broken Closure): Add the ending `;'.
148 * src/reader.at (readgram): Complain if a rule is not ended with a
149 semi-colon.
150
914feea9
AD		 1512002-03-04 Akim Demaille <akim@epita.fr>
152
153 * src/conflicts.c (set_conflicts): Use bitset_disjoint_p.
154 (count_sr_conflicts): Use bitset_count.
155 * src/reduce.c (inaccessable_symbols): Ditto.
156 (bits_size): Remove.
157 * src/warshall.h, src/warshall.c: Convert to bitsetv.
158
f0250de6
AD		 1592002-03-04 Akim Demaille <akim@epita.fr>
160
161 * src/closure.c, src/conflicts.c, src/lalr.c, src/print.c,
162 * src/reduce.c: Remove the `bitset_zero's following the
163 `bitset_create's, as now it is performed by the latter.
164
ef017502
AD		 1652002-03-04 Akim Demaille <akim@epita.fr>
166
167 * lib/bitset.c, lib/bitset.h, lib/bitsetv.c, lib/bitsetv.h,
168 * lib/ebitset.c, lib/ebitset.h, lib/lbitset.c, lib/lbitset.h,
169 * lib/sbitset.c, lib/sbitset.h, lib/bbitset.h: Update from the
170 latest sources from Michael.
171
76514394
AD		 1722002-03-04 Akim Demaille <akim@epita.fr>
173
174 * src/output.c (output): Don't free the grammar.
175 * src/reader.c (grammar_free): New.
176 * src/main.c (main): Call it and don't free symtab here.
177
55024580
AD		 1782002-03-04 Akim Demaille <akim@epita.fr>
179
180 * src/lex.c (parse_percent_token): Be sure to 0-end token_buffer
181 before returning.
182 Reported by Benoit Perrot.
183
f9abaa2c
AD		 1842002-03-04 Akim Demaille <akim@epita.fr>
185
186 Use bitset operations when possible, not loops over bits.
187
188 * src/conflicts.c (set_conflicts, count_sr_conflicts): Use
189 bitset_or.
190 * src/print.c (print_reductions): Use bitset_and, bitset_andn.
191 * src/reduce.c (useless_nonterminals): Formatting changes.
192 * src/warshall.c (TC): Use bitset_or.
193
0e721e75
AD		 1942002-03-04 Akim Demaille <akim@epita.fr>
195
196 * src/lalr.h, src/lalr.c (tokensetsize): Remove, unused.
197 * src/system.h (BITS_PER_WORD, WORDSIZE, SETBIT, RESETBIT, BITISSET):
198 Ditto.
199
0fb1ffb1
AD		 2002002-03-04 Akim Demaille <akim@epita.fr>
201
202 * src/lalr.c (F): Now a bitset*.
203 Adjust all dependencies.
204
b86796bf
AD		 2052002-03-04 Akim Demaille <akim@epita.fr>
206
207 * src/conflicts.c (shiftset, lookaheadset): Now bitset.
208 Adjust all dependencies.
209
602bbf31
AD		 2102002-03-04 Akim Demaille <akim@epita.fr>
211
212 * src/L0.c, src/LR0.h (nstates): Be size_t.
213 Adjust comparisons (signed vs unsigned).
214 * src/conflics.c, src/lalr.c, src/lalr.h, src/output.c (LA): Now a
215 bitset*.
216 Adjust all dependencies.
217
d8a0245c
AD		 2182002-03-04 Akim Demaille <akim@epita.fr>
219
220 * src/closure.c (firsts): Now, also a bitset.
221 Adjust all dependencies.
222 (varsetsize): Remove, now unused.
223 * src/warshall.h, src/warshall.c: Now work on arrays of bitsets.
224
34ba9743
AD		 2252002-03-04 Akim Demaille <akim@epita.fr>
226
227 * src/print.c: Convert to use bitset.h, not hand coded iterations
228 over ints.
229
ed86e78c
AD		 2302002-03-04 Akim Demaille <akim@epita.fr>
231
232 * src/reduce.c: Convert to use bitset.h, not hand coded BSet.
233
dfdb1797
AD		 2342002-03-04 Akim Demaille <akim@epita.fr>
235
236 * src/closure.c (ruleset): Be a bitset.
237 (rulesetsize): Remove.
238
7086e707
AD		 2392002-03-04 Akim Demaille <akim@epita.fr>
240
241 * lib/bitset-int.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
242 * lib/bitsetv.h, lib/ebitset.c, lib/ebitset.h, lib/lbitset.c,
243 * lib/lbitset.h, lib/sbitset.c, lib/sbitset.h: New.
244 * src/closure.c (fderives): Be an array of bitsets.
245
98254360
RA		 2462002-02-28 Robert Anisko <robert@lrde.epita.fr>
247
248 * data/bison.c++: Merge the two generated headers. Insert a copyright
249 notice in each output file.
250
a75c057f
AD		 2512002-02-28 Akim Demaille <akim@epita.fr>
252
253 * data/bison.c++: Copy the prologue of bison.simple to fetch
254 useful M4 definitions, such as b4_header_guard.
255
06b00abc
AD		 2562002-02-25 Akim Demaille <akim@epita.fr>
257
258 * src/getargs.c (version): Give the name of the authors, and use a
a75c057f
AD		 259 translator friendly scheme for the bgr
260 copyright notice.
06b00abc 261
70e7d534
AD		 2622002-02-25 Akim Demaille <akim@epita.fr>
263
264 * src/output.c (header_output): Remove, now handled completely via
265 M4.
266
abe017f6
AD		 2672002-02-25 Akim Demaille <akim@epita.fr>
268
269 * m4/m4.m4: New, from CVS Autoconf.
270 * configure.in: Invoke it.
271 * src/output.c (output_skeleton): Use its result instead of the
272 hard coded name.
273
381fb12e
AD		 2742002-02-25 Akim Demaille <akim@epita.fr>
275
276 * lib/tempname.c, lib/mkstemp.c, m4/mkstemp.m4: New, stolen from
277 Fileutils 4.1.5.
278 * configure.in: Invoke UTILS_FUNC_MKSTEMP.
279 * src/output.c (output_skeleton): Use mkstemp to create a real
280 temporary file.
281 Move the filling of `skeleton' and its muscle to...
282 (prepare): here.
283 (output): Move the definition of the prologue muscle to...
284 (prepare): here.
285 * src/system.h (DEFAULT_TMPDIR): New.
286
6f38107f
PE		 2872002-02-14 Paul Eggert <eggert@twinsun.com>
288
289 Remove the support for C++ namespace cleanliness; it was
290 causing more problems than it was curing, since it didn't work
291 properly on some nonstandard C++ compilers. This can wait
292 for a proper C++ parser.
293
294 * NEWS: Document this.
295 * doc/bison.texinfo (Bison Parser, Debugging): Remove special mention
296 of C++, as it's treated like C now.
297 * src/bison.simple (YYSTD): Remove.
298 (YYSIZE_T, YYFPRINTF, YYPARSE_PARAM_ARG, YYPARSE_PARAM_DECL):
299 Treat C++ just like Standard C instead of trying to support
300 namespace cleanliness.
301
80cce3da
AD		 3022002-02-14 Akim Demaille <akim@epita.fr>
303
304 * tests/regression.at (else): Adjust to Andreas' change.
305
842e8679
AD		 3062002-02-14 Akim Demaille <akim@epita.fr>
307
308 * lib/Makefile.am (EXTRA_DIST): Ship strnlen.c.
309
4bda3f10
AD		 3102002-02-13 Andreas Schwab <schwab@suse.de>
311
312 * src/output.c (output_rule_data): Don't output NULL, it might
313 not be defined yet.
314
4162fa07 3152002-02-11 Robert Anisko <robert@lrde.epita.fr>
b418ecd8 316
4162fa07
RA		 317 * data/bison.c++ (YYDEBUG, YYERROR_VERBOSE): After the prologue.
318 (Copyright notice): Update.
b418ecd8 319
bd16a5dc
AD		 3202002-02-11 Akim Demaille <akim@epita.fr>
321
322 * tests/regression.at (%nonassoc and eof): Don't include
323 nonportable headers.
324
8d69a1a3
RA		 3252002-02-08 Robert Anisko <robert@lrde.epita.fr>
326
327 * data/bison.c++: Correct error recovery. Make the user able to
328 initialize the starting location.
329
9b2d0677
AD		 3302002-02-07 Akim Demaille <akim@epita.fr>
331
332 * tests/input.at: New.
333
69e2658b
RA		 3342002-02-07 Robert Anisko <robert@lrde.epita.fr>
335
336 * data/bison.c++: Replace some direct m4 expansions by constants. Be
9b2d0677 337 more consistent when naming methods and variables. Put preprocessor
69e2658b
RA		 338 directives around tables only needed for debugging.
339
4aacc3a7
RA		 3402002-02-07 Robert Anisko <robert@lrde.epita.fr>
341
342 * data/bison.c++ (yy::b4_name::print_): New method, replaces yyprint in
343 C++ parsers.
344 (yy::b4_name::parse): Use print_.
345
762a801e
RA		 3462002-02-07 Robert Anisko <robert@lrde.epita.fr>
347
348 * data/bison.c++ (yy::b4_name::parse): Error recovery is back.
349
4bb2bc3f
RA		 3502002-02-07 Robert Anisko <robert@lrde.epita.fr>
351
352 * data/bison.c++ (yy::b4_name::error_): New method, replaces yyerror in
353 C++ parsers.
354 (yy::b4_name::parse): Build verbose error messages, and use error_.
355
6b45a3ca
RA		 3562002-02-06 Robert Anisko <robert@lrde.epita.fr>
357
358 * data/bison.c++: Fix m4 quoting in comments.
359
50997c6e
RA		 3602002-02-06 Robert Anisko <robert@lrde.epita.fr>
361
362 * data/bison.c++: Adjust the parser code. Fix some muscles that were
363 not expanded by m4.
364
3f3eed27
AD		 3652002-02-05 Akim Demaille <akim@epita.fr>
366
367 * data/bison.c++: Adjust to the M4 back end.
368 More is certainly needed.
369
be2a1a68
AD		 3702002-02-05 Akim Demaille <akim@epita.fr>
371
372 Give a try to M4 as a back end.
373
374 * lib/readpipe.c: New, from wdiff.
375 * src/Makefile.am (DEFS): Define PKGDATADIR, not BISON_SIMPLE and
376 BISON_HAIRY.
377 * src/system.h (BISON_HAIRY, BISON_SIMPLE): Remove the DOS and VMS
378 specific values. Now it is m4 that performs the lookup.
379 * src/parse-skel.y: Remove.
380 * src/muscle_tab.c, src/muscle_tab.h (muscles_m4_output): New.
381 * src/output.c (actions_output, guards_output)
382 (token_definitions_output): No longer keeps track of the output
383 line number, hence remove the second argument.
384 (guards_output): Check against the guard member of a rule, not the
385 action member.
386 Adjust callers.
387 (output_skeleton): Don't look for the skeleton location, let m4 do
388 that.
389 Create `/tmp/muscles.m4'. This is temporary, a proper temporary
390 file will be used.
391 Invoke `m4' on m4sugar.m4, muscles.m4, and the skeleton.
392 (prepare): Given that for the time being changesyntax is not
393 usable in M4, rename the muscles using `-' to `_'.
394 Define `defines_flag', `output_parser_name' and `output_header_name'.
395 * src/output.h (actions_output, guards_output)
396 (token_definitions_output): Adjust prototypes.
397 * src/scan-skel.l: Instead of scanning the skeletons, it now
398 processes the output of m4: `__oline__' and `#output'.
399 * data/bison.simple: Adjust to be used by M4(sugar).
400 * tests/Makefile.am: Use check_SCRIPTS to make sure `bison' is up
401 to date.
402 * tests/bison.in: Use the secrete envvar `BISON_PKGDATADIR'
403 instead of the dead `BISON_SIMPLE' and `BISON_HAIRY'.
404 * data/m4sugar/m4sugar.m4, data/m4sugar/version.m4: New,
405 shamelessly stolen from CVS Autoconf.
406
beda758b
AD		 4072002-02-05 Akim Demaille <akim@epita.fr>
408
409 * lib/hash.c, lib/hash.h: Replace with Fileutils 4.1's version.
410 * configure.in: Check for the declarations of free and malloc.
411 * src/muscle_tab.c: Adjust.
412
5ece6d43
AD		 4132002-02-05 Akim Demaille <akim@epita.fr>
414
415 * src/muscle_tab.c (muscle_init): Don't default to NULL muscle
416 which have no values.
417
5bb18f9a
AD		 4182002-02-05 Akim Demaille <akim@epita.fr>
419
420 * src/bison.simple, src/bison.hairy, src/bison.c++: Move to...
421 * data/: here.
422
894dd62e
PE		 4232002-01-29 Paul Eggert <eggert@twinsun.com>
424
425 * src/bison.simple (YYSIZE_T): Do not define merely because
426 YYSTACK_USE_ALLOCA is nonzero or alloca or _ALLOCA_H are defined.
427 On some platforms, <alloca.h> does not declare YYSTD (size_t).
428
82841af7
AD		 4292002-01-27 Akim Demaille <akim@epita.fr>
430
431 Fix `%nonassoc and eof'.
432
433 * src/state.c (errs_dup): Aaaah! The failure was due to bytes
434 which were not properly copied! Replace
435 memcpy (res->errs, src->errs, src->nerrs);
436 with
437 memcpy (res->errs, src->errs, src->nerrs * sizeof (src->errs[0]));
438 !!!
439 * tests/regression.at (%nonassoc and eof): Adjust to newest
440 Autotest: `.' is not in the PATH.
441
318b76e9
AD		 4422002-01-27 Akim Demaille <akim@epita.fr>
443
444 * tests/sets.at (AT_EXTRACT_SETS): New.
445 (Nullable): Use it.
446 (Firsts): New.
447
30d2f3d5
AD		 4482002-01-26 Akim Demaille <akim@epita.fr>
449
450 * tests/actions.at, tests/calc.at, tests/headers.at,
451 * tests/torture.at: Adjust to the newest Autotest which no longer
452 forces `.' in the PATH.
453
30f8c395
AD		 4542002-01-25 Akim Demaille <akim@epita.fr>
455
456 * tests/regression.at (%nonassoc and eof): New.
457 Suggested by Robert Anisko.
458
29ae55f1
AD		 4592002-01-24 Akim Demaille <akim@epita.fr>
460
461 Bison dumps core when trying to complain about broken input files.
462 Reported by Cris van Pelt.
463
464 * src/lex.c (parse_percent_token): Be sure to set token_buffer.
465 * tests/regression.at (Invalid input: 1, Invalid input: 2): Merge
466 into...
467 (Invalid inputs): Strengthen: exercise parse_percent_token.
468
2b548aa6
RA		 4692002-01-24 Robert Anisko <robert.anisko@epita.fr>
470
471 * src/Makefile.am: Add bison.c++.
472 * src/bison.c++: New skeleton.
473
bb0146c2
AD		 4742002-01-21 Paolo Bonzini <bonzini@gnu.org>
475
476 * po/it.po: New.
477
bec30531
AD		 4782002-01-21 Kees Zeelenberg <kzlg@users.sourceforge.net>
479
480 * src/files.c (skeleton_find) [MSDOS]: Fix cp definition.
481
fc6edc45
MA		 4822002-01-20 Marc Autret <marc@gnu.org>
483
484 * src/files.c (compute_output_file_names): Fix
485
5e5d5415
MA		 4862002-01-20 Marc Autret <marc@gnu.org>
487
488 * tests/output.at: New test.
489 * src/files.c (compute_base_names): Don't map extensions when
490 the YACC flag is set, use defaults.
491 Reported by Evgeny Stambulchik.
492
44ea3fbd
MA		 4932002-01-20 Marc Autret <marc@gnu.org>
494
bb0146c2 495 * src/system.h: Need to define __attribute__ away for non-GCC
44ea3fbd
MA		 496 compilers as well (i.e. the vendor C compiler).
497 Suggested by Albert Chin-A-Young.
498
338963d1
TVH		 4992002-01-11 Tim Van Holder <tim.van.holder@pandora.be>
500
501 * lib/hash.h, lib/hash.c: Renamed __P to PARAMS and used the
502 canonical definition.
503 * src/system.h: Use the canonical definition for PARAMS (avoids
504 a conflict with the macro from lib/hash.h).
505
c57b2479
AD		 5062002-01-11 Akim Demaille <akim@epita.fr>
507
508 * configure.in: Use AC_FUNC_STRNLEN.
d9e9746c 509 Fixes the failures observed on AIX 4.3 by H.Merijn Brand.
c57b2479 510
b85810ae
AD		 5112002-01-09 Akim Demaille <akim@epita.fr>
512
513 * src/files.c, src/files.h (output_infix): New.
514 (tab_extension): Remove.
515 (compute_base_names): Compute the former, drop the latter.
516 * src/output.c (prepare): Insert the muscles `output-infix', and
517 `output-suffix'.
518 * src/parse-skel.y (string, string.1): New.
519 (section.header): Use it.
520 (section.yacc): Remove.
521 (prefix): Remove too.
522 * src/scan-skel.l: Adjust.
523 * src/bison.simple, src/bison.hairy: Adjust.
524
cae60122
AD		 5252002-01-09 Akim Demaille <akim@epita.fr>
526
527 * configure.in (WERROR_CFLAGS): Compute it.
528 * src/Makefile.am (CFLAGS): Pass it.
529 * tests/atlocal.in (CFLAGS): Idem.
530 * src/files.c: Fix a few warnings.
531 (get_extension_index): Remove, unused.
532
ae404801
AD		 5332002-01-08 Akim Demaille <akim@epita.fr>
534
535 * src/getargs.c (AS_FILE_NAME): New.
536 (getargs): Use it to convert DOSish file names.
537 * src/files.c (base_name): Rename as full_base_name to avoid
538 clashes with `base_name ()'.
539 (filename_split): New.
540 (compute_base_names): N-th rewrite, using filename_split.
541
22312b71
AD		 5422002-01-08 Akim Demaille <akim@epita.fr>
543
544 * lib/basename.c, lib/dirname.h, lib/dirname.c, lib/memrchr.c:
545 New, stolen from the Fileutils 4.1.
546 * lib/Makefile.am (libbison_a_SOURCES): Adjust.
547 * configure.in: Check for the presence of memrchr, and of its
548 prototype.
549
a67cef01
TVH		 5502002-01-07 Tim Van Holder <tim.van.holder@pandora.be>
551
552 * lib/hash.h (__P): Added definition for this macro.
553 * src/Makefile.am: Add parse-skel.c and scan-skel.c to
554 BUILT_SOURCES, to ensure they are generated first.
555 * src/parse-skel.y: Use YYERROR_VERBOSE instead of
556 %error-verbose to allow bootstrapping with bison 1.30x.
557
2b25d624
AD		 5582002-01-06 Akim Demaille <akim@epita.fr>
559
560 * src/reader.c (parse_braces): Don't fetch the next char, the
561 convention is to fetch on entry.
562 * tests/torture.at (GNU Cim Grammar): Reintroduce their weird
563 'switch' without a following semicolon.
564 * tests/regression.at (braces parsing): New.
565
3460813b
AD		 5662002-01-06 Akim Demaille <akim@epita.fr>
567
568 Bison is dead wrong in its RR conflict reports.
569
570 * tests/torture.at (GNU Cim Grammar): New.
571 * src/conflicts.c (count_rr_conflicts): Fix.
572
73784c64
AD		 5732002-01-06 Akim Demaille <akim@epita.fr>
574
575 Creating package.m4 from configure.ac causes too many problems.
576
577 * tests/Makefile.am (package.m4): Create it by hand,
578 AC_CONFIG_TESTDIR no longer does in the most recent CVS Autoconf.
579
25d81090
AD		 5802002-01-06 Akim Demaille <akim@epita.fr>
581
582 * src/Makefile.am (bison_SOURCES): Add parse-skel.h and
583 skeleton.h.
584
a9b8959e
PE		 5852002-01-04 Paul Eggert <eggert@twinsun.com>
586
587 * doc/bison.texinfo (Debugging):
588 Remove YYSTDERR; it's no longer defined or used.
589 Also, s/cstdio.h/cstdio/.
590
25d81090
AD		 5912002-01-03 Akim Demaille <akim@epita.fr>
592
593 * tests/bison.in, tests/atlocal.in: Adjust to CVS Autoconf.
594
1109455c
AD		 5952002-01-03 Akim Demaille <akim@epita.fr>
596
597 * src/parse-skel.y (process_skeleton): Don't bind the parser's
598 tracing code to --trace, wait for a better --trace option, with
599 args.
600
7ea5e977
AD		 6012002-01-03 Akim Demaille <akim@epita.fr>
602
603 * src/bison.simple (YYSTDERR): Remove, replace `stderr'.
604 The ISO C++ standard is extremely clear about it: stderr is
605 considered a macro, not a regular symbol (see table 94 `Header
606 <cstdio> synopsis', [lib.c.files] 27.8.2 C Library files).
607 Therefore std:: does not apply to it. It still does with fprintf.
608 Also, s/cstdio.h/cstdio/.
609
fab5b110
AD		 6102002-01-03 Akim Demaille <akim@epita.fr>
611
612 * lib/quotearg.c: Use `#include "..."' instead of `#include <...>'
613 for non system headers.
614
aed7fd9b
AD		 6152002-01-02 Akim Demaille <akim@epita.fr>
616
617 Equip the skeleton chain with location tracking, runtime trace,
618 pure parser and scanner.
619
620 * src/parse-skel.y: Request a pure parser, locations, and prefix
621 renaming.
622 (%union): Having several members with the same type does not help
623 type mismatches, simplify.
624 (YYPRINT, yyprint): New.
625 (yyerror): ``Rename'' (there is a #define yyerror skel_error) as...
626 (skel_error): this.
627 Handle locations.
628 * src/scan-skel.l: Adjust to these changes.
629 * src/skeleton.h (LOCATION_RESET, LOCATION_LINES, LOCATION_STEP)
630 (LOCATION_PRINT, skel_control_t): New.
631
24fad99e
AD		 6322001-12-30 Akim Demaille <akim@epita.fr>
633
634 * src/parse-skel.y: Get rid of the shift/reduce conflict:
635 replace `gb' with BLANKS.
636 * src/scan-skel.l: Adjust.
637
a4b36db4
AD		 6382001-12-30 Akim Demaille <akim@epita.fr>
639
640 * src/system.h: We don't need nor want bcopy.
641 Throw away MS-DOS crap: we don't need getpid.
642 * configure.in: We don't need strndup. It was even causing
643 problems: because Flex includes the headers *before* us,
644 _GNU_SOURCE is not defined by config.h, and therefore strndup was
645 not visible.
646 * lib/xstrndup.c: New.
647 * src/scan-skel.l: Use it.
648 Be sure to initialize yylval.muscle member when scanning a MUSCLE.
649 * src/parse-skel.y: Use %directives instead of #defines.
650
1239777d
AD		 6512001-12-30 Akim Demaille <akim@epita.fr>
652
653 * src/skeleton.h: New.
654 * src/output.c (output_parser, output_master_parser): Remove, dead
655 code.
656 * src/output.h (get_lines_number, actions_output, guards_output)
657 (token_definitions_output): Prototype them.
658 * src/parse-skel.y: Add the license notice.
659 Include output.h and skeleton.h.
660 (process_skeleton): Returns void, and takes a single parameter.
661 * src/scan-skel.l: Add the license notice.
662 Include skeleton.h.
663 Don't use %option yylineno: it seems that then Flex imagines
664 REJECT has been used, and therefore it won't reallocate its
665 buffers (which makes no other sense to me than a bug). It results
666 in warnings for `unused: yy_flex_realloc'.
667
9b3add5b
RA		 6682001-12-30 Robert Anisko <robert.anisko@epita.fr>
669
670 * src/muscle_tab.h (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
671 (MUSCLE_INSERT_PREFIX): ...to there.
672 * src/output.c (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
673 (MUSCLE_INSERT_PREFIX): Move from here...
674
675 * src/bison.hairy: Add a section directive. Put braces around muscle
676 names. This parser skeleton is still broken, but Bison should not
677 choke on a bad muscle 'syntax'.
678 * src/bison.simple: Add a section directive. Put braces around muscle
679 names.
680
681 * src/files.h (strsuffix, stringappend): Add declarations.
682 (tab_extension): Add declaration.
683 (short_base_name): Add declaration.
684
685 * src/files.c (strsuffix, stringappend): No longer static. These
686 functions are used in the skeleton parser.
687 (tab_extension): New.
688 (compute_base_names): Use the computations done in this function
fab5b110 689 to guess if the generated parsers should have '.tab' in their
9b3add5b
RA		 690 names.
691 (short_base_name): No longer static.
692
693 * src/output.c (output_skeleton): New.
694 (output): Disable call to output_master_parser, and give a try to
695 a new skeleton handling system.
696 (guards_output, actions_output): No longer static.
697 (token_definitions_output, get_lines_number): No longer static.
698
699 * configure.in: Use AM_PROG_LEX and AC_PROG_YACC.
700
fab5b110 701 * src/Makefile.am (bison_SOURCES): Add scan-skel.l and
9b3add5b
RA		 702 parse-skel.y.
703
704 * src/parse-skel.y: New file.
705 * src/scan-skel.l: New file.
706
b5b61c61
AD		 7072001-12-29 Akim Demaille <akim@epita.fr>
708
709 %name-prefix is broken.
710
711 * src/files.c (spec_name_prefix): Initialize to NULL, not to "yy".
712 Adjust all dependencies.
713 * tests/headers.at (export YYLTYPE): Strengthen this test: use
714 %name-prefix.
715
716 Renaming yylval but not yylloc is not consistent. Now we do.
717
718 * src/bison.simple: Prefix yylloc if used.
719 * doc/bison.texinfo (Decl Summary): Document that.
720
8c9a50be
AD		 7212001-12-29 Akim Demaille <akim@epita.fr>
722
723 * doc/bison.texinfo: Promote `%long-directive' over
724 `%long_directive'.
725 Remove all references to fixed-output-files, yacc is enough.
726
d99361e6
AD		 7272001-12-29 Akim Demaille <akim@epita.fr>
728
729 * src/bison.simple: Define YYDEBUG and YYERROR_VERBOSE *after* the
730 user prologue. These are defaults.
731 * tests/actions.at (Mid-rule actions): Make sure the user can
732 define YYDEBUG and YYERROR_VERBOSE.
733
b9cecb91
AD		 7342001-12-29 Akim Demaille <akim@epita.fr>
735
736 * src/output.c (header_output): Don't forget to export YYLTYPE and
737 yylloc.
738 * tests/headers.at (export YYLTYPE): New, make sure it does.
739 * tests/regression.at (%union and --defines, Invalid CPP headers):
740 Move to...
741 * tests/headers.at: here.
742
aea13e97
AD		 7432001-12-29 Akim Demaille <akim@epita.fr>
744
745 * src/gram.h (rule_s): Member `assoc' is of type `associativity'.
746
931394cb
AD		 7472001-12-29 Akim Demaille <akim@epita.fr>
748
749 * tests/actions.at (Mid-rule actions): Output on a single line
750 instead of several.
751
704a47c4
AD		 7522001-12-29 Akim Demaille <akim@epita.fr>
753
754 * doc/bison.texinfo: Formatting changes.
755
091e20bb
AD		 7562001-12-29 Akim Demaille <akim@epita.fr>
757
758 Don't store the token defs in a muscle, just be ready to output it
759 on command. Now possible via `symbols'. Fixes a memory leak.
760
761 * src/output.c (token_definitions_output): New.
762 (output_parser, header_output): Use it.
763 * src/reader.c (symbols_save): Remove.
764
cce71710
AD		 7652001-12-29 Akim Demaille <akim@epita.fr>
766
767 * src/bison.simple: Do not provide a default for YYSTYPE and
768 YYLTYPE before the user's prologue. Otherwise it's hardly... a
769 default.
770
82c035a8
AD		 7712001-12-29 Akim Demaille <akim@epita.fr>
772
773 Mid-rule actions are simply... ignored!
774
775 * src/reader.c (readgram): Be sure to attach mid-rule actions to
776 the empty-rule associated to the dummy symbol, not to the host
777 rule.
778 * tests/actions.at (Mid-rule actions): New.
779
8419d367
AD		 7802001-12-29 Akim Demaille <akim@epita.fr>
781
782 Memory leak.
783
784 * src/reader.c (reader): Free grammar.
785
375d5806
AD		 7862001-12-29 Akim Demaille <akim@epita.fr>
787
788 Memory leak.
789
790 * src/LR0.c (new_itemsets): Don't allocate `shift_symbol' here,
791 since it allocates it for each state, although only one is needed.
792 (allocate_storage): Do it here.
793
f51cb8ff
AD		 7942001-12-29 Akim Demaille <akim@epita.fr>
795
796 * src/options.h, src/options.c (create_long_option_table): Rename
797 as...
798 (long_option_table_new): this, with a clearer prototype.
799 (percent_table): Remove, unused,
800 * src/getargs.c (getargs): Adjust.
801
29e88316
AD		 8022001-12-29 Akim Demaille <akim@epita.fr>
803
804 * src/LR0.c, src/conflicts.c, src/lalr.c, src/lalr.h, src/output.c
805 * src/print.c, src/print_graph.c, src/state.h: Rename state_table
806 as states.
807
b9f71f19
AD		 8082001-12-29 Akim Demaille <akim@epita.fr>
809
810 * src/lalr.c (build_relations): Rename `states' as `states1'.
811 Sorry, I don't understand exactly what it is, no better name...
812
1a2b5d37
AD		 8132001-12-29 Akim Demaille <akim@epita.fr>
814
815 * src/closure.c, src/conflicts.c, src/derives.c, src/gram.c
816 * src/gram.h, src/lalr.c, src/nullable.c, src/output.c, src/print.c
817 * src/print_graph.c, src/reader.c, src/reduce.c: Rename rule_table
818 as rules.
819
1cca533e
AD		 8202001-12-29 Akim Demaille <akim@epita.fr>
821
822 * src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long
823 ago.
824
c03ae966
AD		 8252001-12-29 Akim Demaille <akim@epita.fr>
826
827 * src/reader.c, src/reader.h (user_toknums): Remove.
828 Adjust all users to use symbols[i]->user_token_number.
829
5a670b1e
AD		 8302001-12-29 Akim Demaille <akim@epita.fr>
831
832 * src/gram.c, src/gram.h (sprec, sassoc): Remove.
833 Adjust all users to use symbols[i]->prec or ->assoc.
834
ad949da9
AD		 8352001-12-29 Akim Demaille <akim@epita.fr>
836
837 * src/reader.c, src/reader.h (tags): Remove.
838 Adjust all users to use symbols[i]->tag.
839
0e78e603
AD		 8402001-12-29 Akim Demaille <akim@epita.fr>
841
842 * src/gram.h, src/gram.c (symbols): New, similar to state_table
843 and rule_table.
844 * src/reader.c (packsymbols): Fill this table.
845 Drop sprec.
846 * src/conflicts.c (resolve_sr_conflict): Adjust.
847 * src/reduce.c (reduce_grammar): Adjust: just sort symbols, a
848 single table.
849 Use symbols[i]->tag instead of tags[i].
850
213e640e
AD		 8512001-12-29 Akim Demaille <akim@epita.fr>
852
853 * tests/calc.at (_AT_DATA_CALC_Y): Also use %union.
854 In addition, put a comment in there, to replace...
855 * tests/regression.at (%union and C comments): Remove.
856
e7b8bef1
AD		 8572001-12-29 Akim Demaille <akim@epita.fr>
858
859 * tests/regression.at (Web2c Actions): Blindly move the actual
860 output as expected output. The contents *seem* right to me, but I
861 can't pretend reading perfectly parser tables... Nonetheless, all
862 the other tests pass correctly, the table look OK, even though the
863 presence of `$axiom' is to be noted: AFAICS it is useless (but
864 harmless).
865
b68e7744
AD		 8662001-12-29 Akim Demaille <akim@epita.fr>
867
868 * src/reader.c (readgram): Don't add the rule 0 if there were no
869 rules read. In other words, add it _after_ having performed
870 grammar sanity checks.
871 Fixes the `tests/regression.at (Invalid input: 1)' Failure.
872
78d5bae9
AD		 8732001-12-29 Akim Demaille <akim@epita.fr>
874
875 * tests/regression.at (Web2c Report): Catch up: the rule 0 is now
876 visible, and some states have now a different number.
877
ff442794
AD		 8782001-12-29 Akim Demaille <akim@epita.fr>
879
880 * src/reader.c (readgram): Bind the initial rule's lineno to that
881 of the first rule.
882 * tests/regression.at (Rule Line Numbers, Unresolved SR Conflicts):
883 (Solved SR Conflicts): Adjust rule 0's line number.
884
610ab194
AD		 8852001-12-29 Akim Demaille <akim@epita.fr>
886
887 Fix the `GAWK Grammar' failure.
888
889 * src/LR0.c (final_state): Initialize to -1 so that we do compute
890 the reductions of the first state which was mistakenly confused
891 with the final state because precisely final_state was initialized
892 to 0.
893 * tests/sets.at (Nullable): Adjust: state 0 does have lookaheads,
894 now noticed by Bison.
895 * tests/regression.at (Rule Line Numbers): Adjust: state 0 does
896 have a reduction on $default.
897
29d29c8f
AD		 8982001-12-29 Akim Demaille <akim@epita.fr>
899
900 * src/gram.c (ritem_print): Be sure to subtract 1 when displaying
901 rule line numbers.
902 * src/closure.c (print_closure): Likewise.
903 * src/derives.c (print_derives): Likewise.
904 * tests/sets.at (Nullable): Adjust: the rule numbers are correct
905 now.
906
7c6b64d0
AD		 9072001-12-29 Akim Demaille <akim@epita.fr>
908
909 * src/lalr.c (lookaheads_print): New.
910 (lalr): Call it when --trace-flag.
911 * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
912 are dumped.
913
3d4daee3
AD		 9142001-12-29 Akim Demaille <akim@epita.fr>
915
916 * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',
917 when walking through ritem, even via rule->rhs.
918 * src/reduce.c (dump_grammar, useful_production, reduce_output)
919 (useful_production, useless_nonterminals): Likewise.
920 (reduce_grammar_tables): Likewise, plus update nritems.
921 * src/nullable.c (set_nullable): Likewise.
922 * src/lalr.c (build_relations): Likewise.
923 * tests/sets.at (Nullable): Adjust.
924 Fortunately, now, the $axiom is no longer nullable.
925
9e7f6bbd
AD		 9262001-12-29 Akim Demaille <akim@epita.fr>
927
928 * src/LR0.c (generate_states): Use nritems, not nitems, nor using
929 the 0-sentinel.
930 * src/gram.c (ritem_longest_rhs): Likewise.
931 * src/reduce.c (nonterminals_reduce): Likewise.
932 * src/print_graph.c (print_graph): Likewise.
933 * src/output.c (output_rule_data): Likewise.
934 * src/nullable.c (set_nullable): Likewise.
935
255ef638
AD		 9362001-12-29 Akim Demaille <akim@epita.fr>
937
938 * src/output.c: Comment changes.
939
0d8a7363
AD		 9402001-12-27 Paul Eggert <eggert@twinsun.com>
941
942 * src/bison.simple (YYSTACK_ALLOC, YYSIZE_T): Remove special
943 cases for non-GNU systems like AIX, HP-UX, SGI, Sun, and
944 Sparc, as they were causing more porting problems than the
945 (minor) performance improvement was worth.
946
947 Also, catch up with 1.31's YYSTD.
948
3db472b9
AD		 9492001-12-27 Akim Demaille <akim@epita.fr>
950
951 * src/output.c (output_gram): Rely on nritems, not the
952 0-sentinel. See below.
953 Use -1 as separator, not 0.
954 * src/bison.simple (yyparse): Subtract 1 to the rule numbers.
955 Rely on -1 as separator in yyrhs, instead of 0.
956 * tests/calc.at (AT_CHECK_CALC): Now, the parsers no longer issue
957 twice `Now at end of input', therefore there are two lines less to
958 expect.
959
b365aa05
AD		 9602001-12-27 Akim Demaille <akim@epita.fr>
961
962 * tests/regression.at (Unresolved SR Conflicts):
963 (Solved SR Conflicts, Rule Line Numbers): Adjust to the changes
964 below.
965
30171f79
AD		 9662001-12-27 Akim Demaille <akim@epita.fr>
967
968 * src/LR0.c (new_state): Recognize the final state by the fact it
969 is reached by eoftoken.
970 (insert_start_shifting_state, insert_eof_shifting_state)
971 (insert_accepting_state, augment_automaton): Remove, since now
972 these states are automatically computed from the initial state.
973 (generate_states): Adjust.
974 * src/print.c: When reporting a rule number to the user, substract
975 1, so that the axiom rule is rule 0, and the first user rule is 1.
976 * src/reduce.c: Likewise.
977 * src/print_graph.c (print_core): For the time being, just as for
978 the report, depend upon --trace-flags to dump the full set of
979 items.
980 * src/reader.c (readgram): Once the grammar read, insert the rule
981 0: `$axiom: START-SYMBOL $'.
982 * tests/set.at: Adjust: rule 0 is now displayed, and since the
983 number of the states has changed (the final state is no longer
984 necessarily the last), catch up.
985
75142d45
AD		 9862001-12-27 Akim Demaille <akim@epita.fr>
987
988 Try to make the use of the eoftoken valid. Given that its value
989 is 0 which was also used as a sentinel in ritem, (i) make sure >= 0
990 is used instead of > 0 where appropriate, (ii), depend upon nritems
991 instead of the 0-sentinel.
992
993 * src/gram.h, src/gram.c (nritems): New.
994 Expected to be duplication of nitems, but for the time being...
995 * src/reader.c (packgram): Assert nritems and nitems are equal.
996 * src/LR0.c (allocate_itemsets, new_itemsets): Adjust.
997 * src/closure.c (print_closure, print_fderives): Likewise.
998 * src/gram.c (ritem_print): Likewise.
999 * src/print.c (print_core, print_grammar): Likewise.
1000 * src/print_graph.c: Likewise.
1001
b7c49edf
AD		 10022001-12-27 Akim Demaille <akim@epita.fr>
1003
1004 * src/main.c (main): If there are complains after grammar
1005 reductions, then output the report anyway if requested, then die.
1006 * src/symtab.c (bucket_new): Initialize `value' to -1, not 0.
1007 * src/reader.c (eoftoken): New.
1008 (parse_token_decl): If the token being defined has value `0', it
1009 is the eoftoken.
1010 (packsymbols): No longer hack `tags' to insert `$' by hand.
1011 Be sure to preserve the value of the eoftoken.
1012 (reader): Make sure eoftoken is defined.
1013 Initialize nsyms to 0: now eoftoken is created just like the others.
1014 * src/print.c (print_grammar): Don't special case the eof token.
1015 * src/regression.at: Adjust: `$' has value 0, not -1, which was a
1016 lie anyway, albeit pleasant.
1017 * tests/calc.at: Exercise error messages with eoftoken.
1018 Change the grammar so that empty input is invalid.
1019 Adjust expectations.
1020 When yyungeting, be sure to use a valid yylloc: use last_yylloc.
1021
ec2da99f
AD		 10222001-12-27 Akim Demaille <akim@epita.fr>
1023
1024 * configure.in: Check the protos of strchr ans strspn.
1025 Replace strchr if needed.
1026 * src/system.h: Provide the protos of strchr, strspn and memchr if
1027 missing.
1028 * lib/strchr.c: New.
1029 * src/reader.c (symbols_save): Use strchr.
1030
8adfa272
AD		 10312001-12-27 Akim Demaille <akim@epita.fr>
1032
1033 * src/print.c, src/print_graph.c (escape): New.
1034 Use it to quote the TAGS outputs.
1035 * src/print_graph.c (print_state): Now errors are in red, and
1036 reductions in green.
1037 Prefer high to wide: output the state number on a line of its own.
1038
80dac38c
AD		 10392001-12-27 Akim Demaille <akim@epita.fr>
1040
1041 * src/state.h, src/state.c (reductions_new): New.
1042 * src/LR0.c (set_state_table): Let all the states have a
1043 `reductions', even if reduced to 0.
1044 (save_reductions): Adjust.
1045 * src/lalr.c (initialize_LA, initialize_lookaheads): Adjust.
1046 * src/print.c (print_reductions, print_actions): Adjust.
1047 * src/output.c (action_row): Adjust.
1048
2cec70b9
AD		 10492001-12-27 Akim Demaille <akim@epita.fr>
1050
1051 * src/state.h, src/state.c (errs_new, errs_dup): New.
1052 * src/LR0.c (set_state_table): Let all the states have an errs,
1053 even if reduced to 0.
1054 * src/print.c (print_errs, print_reductions): Adjust.
1055 * src/output.c (output_actions, action_row): Adjust.
1056 * src/conflicts.c (resolve_sr_conflict): Adjust.
1057
13ca549a
AD		 10582001-12-27 Akim Demaille <akim@epita.fr>
1059
1060 * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.
1061
5092aba5
AD		 10622001-12-27 Akim Demaille <akim@epita.fr>
1063
1064 * src/conflicts.c, src/conflicts.h (print_reductions): Move to...
1065 * src/print.c: here.
1066 (lookaheadset, shiftset): New, used as additional storage by
1067 print_reductions.
1068 (print_results): Adjust.
1069 (print_shifts, print_gotos, print_errs): New, extracted from...
1070 (print_actions): here.
1071 * src/print_graph.c (print_actions): Remove dead code.
1072
11e2beca
AD		 10732001-12-27 Akim Demaille <akim@epita.fr>
1074
1075 * src/reader.c (copy_dollar, copy_at): Better checking of `n' in
1076 `$n' and `@n'.
1077
dac3c910
AD		 10782001-12-27 Akim Demaille <akim@epita.fr>
1079
1080 * src/lalr.c (add_lookback_edge): Use state_t instead of ints.
1081 (build_relations): Adjust.
1082
d0b0fefa
AD		 10832001-12-27 Akim Demaille <akim@epita.fr>
1084
1085 * src/lalr.c (set_goto_map): Remove a wrong but benign loop
1086 duplication.
1087
adc8c848
AD		 10882001-12-27 Akim Demaille <akim@epita.fr>
1089
1090 * src/reader.c (packgram): Catch nitems overflows.
1091
14d293ac
AD		 10922001-12-27 Akim Demaille <akim@epita.fr>
1093
1094 * src/files.c, src/files.h (guard_obstack): Remove.
1095 * src/output.c (output): Adjust.
1096 * src/reader.c (parse_braces): New, factoring...
1097 (copy_action, copy_guard): these two which are renamed as...
1098 (parse_action, parse_guard): these.
1099 As a voluntary consequence, using braces around guards is now
1100 mandatory.
1101
f499b062
AD		 11022001-12-27 Akim Demaille <akim@epita.fr>
1103
1104 * src/gram.h (rule_t): `guard' and `guard_line' are new members.
1105 * src/reader.c (symbol_list): `guard' and `guard_line' are new
1106 members.
1107 (symbol_list_new): Adjust.
1108 (copy_action): action_line is the first line, not the last.
1109 (copy_guard): Just as for actions, store the `action' only, not
1110 the switch/case/break flesh.
1111 Don't parse the user action that might follow the guard, let...
1112 (readgram): do it, i.e., now, there can be an action after a
1113 guard.
1114 In other words the guard is just explicitly optional.
1115 (packgram): Adjust.
1116 * src/output.c (guards_output): New.
1117 (output_parser): Call it when needed.
1118 (output): Also free the guard and attrs obstacks.
1119 * src/files.c, src/files.h (obstack_save): Remove.
1120 (output_files): Remove.
1121 As a result, if one needs the former `.act' file, using an
1122 appropriate skeleton which requires actions and guards is now
1123 required.
1124 * src/main.c (main): Adjust.
1125 * tests/semantic.at: New.
1126 * tests/regression.at: Use `input.y' as input file name.
1127 Avoid 8+3 problems by requiring input.c when the test needs the
1128 parser.
1129
d945f5cd
AD		 11302001-12-27 Akim Demaille <akim@epita.fr>
1131
1132 * src/reader.c (symbol_list_new): Be sure to initialize all the
1133 fields.
1134
d200e455
AD		 11352001-12-27 Akim Demaille <akim@epita.fr>
1136
1137 All the hacks using a final pseudo state are now useless.
1138
1139 * src/LR0.c (set_state_table): state_table holds exactly nstates.
1140 * src/lalr.c (nLA): New.
1141 (initialize_LA, compute_lookaheads, initialize_lookaheads): Use it
1142 instead of lookaheadsp from the pseudo state (nstate + 1).
1143
f9507c28
AD		 11442001-12-27 Akim Demaille <akim@epita.fr>
1145
1146 * src/output.c (action_row, token_actions): Use a state_t instead
1147 of a integer, and nlookaheads instead of the following state's
1148 lookaheadsp.
1149
065fbd27
AD		 11502001-12-27 Akim Demaille <akim@epita.fr>
1151
1152 * src/conflicts.c (log_resolution, flush_shift)
1153 (resolve_sr_conflict, set_conflicts, solve_conflicts)
1154 (count_sr_conflicts, count_rr_conflicts, conflicts_output)
1155 (conflicts_print, print_reductions): Use a state_t instead of an
1156 integer when referring to a state.
1157 As much as possible, depend upon nlookaheads, instead of the
1158 `lookaheadsp' member of the following state (since lookaheads of
1159 successive states are successive, the difference between state n + 1
1160 and n served as the number of lookaheads for state n).
1161 * src/lalr.c (add_lookback_edge): Likewise.
1162 * src/print.c (print_core, print_actions, print_state)
1163 (print_results): Likewise.
1164 * src/print_graph.c (print_core, print_actions, print_state)
1165 (print_graph): Likewise.
1166 * src/conflicts.h: Adjust.
1167
1b177bd7
AD		 11682001-12-27 Akim Demaille <akim@epita.fr>
1169
1170 * src/bison.hairy: Formatting/comment changes.
1171 ANSIfy.
1172 Remove `register' indications.
1173 Add plenty of `static'.
1174
7742ddeb
AD		 11752001-12-27 Akim Demaille <akim@epita.fr>
1176
1177 * src/output.c (prepare): Drop the muscle `ntbase' which
1178 duplicates ntokens.
1179 * src/bison.simple: Formatting/comment changes.
1180 Use YYNTOKENS only, which is documented, but not YYNTBASE, which
1181 is an undocumented synonym.
1182
1fa14068
AD		 11832001-12-22 Akim Demaille <akim@epita.fr>
1184
1185 * src/output.c (output_table_data): Change the prototype to use
1186 `int' for array ranges: some invocations do pass an int, not a
1187 short.
1188 Reported by Wayne Green.
1189
b9752825
AD		 11902001-12-22 Akim Demaille <akim@epita.fr>
1191
1192 Some actions of web2c.y are improperly triggered.
1193 Reported by Mike Castle.
1194
1195 * src/lalr.c (traverse): s/F (i)[k] = F (j)[k]/F (j)[k] = F (i)[k]/.
1196 * tests/regression.at (Web2c): Rename as...
1197 (Web2c Report): this.
1198 (Web2c Actions): New.
1199
776209d6
AD		 12002001-12-22 Akim Demaille <akim@epita.fr>
1201
1202 Reductions in web2c.y are improperly reported.
1203 Reported by Mike Castle.
1204
1205 * src/conflicts.c (print_reductions): Fix.
1206 * tests/regression.at (Web2c): New.
1207
275fc3ad
AD		 12082001-12-18 Akim Demaille <akim@epita.fr>
1209
1210 Some host fail on `assert (!"foo")', which expands to
1211 ((!"foo") ? (void)0 : __assert("!"foo."", __FILE__, __LINE__))
1212 Reported by Nelson Beebee.
1213
1214 * src/output.c, src/vcg.c: Replace `assert (!"it succeeded")' with
1215 `#define it_succeeded 0' and `assert (it_succeeded)'.
1216
897668ee
MA		 12172001-12-17 Marc Autret <autret_m@epita.fr>
1218
1219 * src/bison.simple: Don't hard code the skeleton line and filename.
1220 * src/output.c (output_parser): Rename 'line' as 'output_line'.
1221 New line counter 'skeleton_line' (skeleton-line muscle).
1222
ab3399e0
PE		 12232001-12-17 Paul Eggert <eggert@twinsun.com>
1224
1225 * NEWS, doc/bison.texinfo, doc/bison.1, doc/bison.rnh: Document that
1226 YYDEBUG must be defined to a nonzero value.
1227
1228 * src/bison.simple (yytname): Do not assume that the user defines
1229 YYDEBUG to a properly parenthesized expression.
1230
3877f72b
AD		 12312001-12-17 Akim Demaille <akim@epita.fr>
1232
1233 * src/state.h (state_t): Rename lookaheads as lookaheadsp.
1234 nlookaheads is a new member.
1235 Adjust all users.
1236 * src/lalr.h (nlookaheads): Remove this orphan declaration.
1237 * src/lalr.c (initialize_lookaheads): Set nlookaheads for each
1238 state.
776209d6 1239
331dbc1b
AD		 12402001-12-17 Akim Demaille <akim@epita.fr>
1241
1242 * src/files.h, src/files.c (open_files, close_files): Remove.
1243 * src/main.c (main): Don't open/close files, nor invoke lex_free,
1244 let...
1245 * src/reader.c (reader): Do it.
776209d6 1246
be750e4c
AD		 12472001-12-17 Akim Demaille <akim@epita.fr>
1248
1249 * src/conflicts.c (print_reductions): Formatting changes.
776209d6 1250
709ae8c6
AD		 12512001-12-17 Akim Demaille <akim@epita.fr>
1252
1253 * src/conflicts.c (flush_shift): Also adjust lookaheadset.
1254 (flush_reduce): New.
1255 (resolve_sr_conflict): Adjust.
776209d6 1256
f87685c3
AD		 12572001-12-17 Akim Demaille <akim@epita.fr>
1258
1259 * src/output.c (output_obstack): Be static and rename as...
1260 (format_obstack): this, to avoid any confusion with files.c's
1261 output_obstack.
1262 * src/reader.h (muscle_obstack): Move to...
1263 * src/output.h: here, since it's defined in output.c.
1264
837491d8
AD		 12652001-12-17 Akim Demaille <akim@epita.fr>
1266
1267 * src/output.c (action_row, save_column, default_goto)
1268 (sort_actions, matching_state, pack_vector): Better variable
1269 locality.
1270
796d61fb
AD		 12712001-12-17 Akim Demaille <akim@epita.fr>
1272
1273 * src/output.c: Various formatting changes.
776209d6 1274
64d15509
AD		 12752001-12-17 Akim Demaille <akim@epita.fr>
1276
1277 * src/files.c (output_files): Free the output_obstack.
1278 * src/main.c (main): Call print and print_graph conditionally.
1279 * src/print.c (print): Work unconditionally.
1280 * src/print_graph.c (print_graph): Work unconditionally.
1281 * src/conflicts.c (log_resolution): Output only if verbose_flag.
1282
fbc8ecb7
MA		 12832001-12-16 Marc Autret <autret_m@epita.fr>
1284
1285 * src/output.c (actions_output): Fix. When we use %no-lines,
1286 there is one less line per action.
1287
f0440388
MA		 12882001-12-16 Marc Autret <autret_m@epita.fr>
1289
1290 * src/bison.simple: Remove a useless #line directive.
1291 s/#line %%line %%skeleton/#line %%line "%%parser-file-name"/'.
1292 * src/output.c (get_lines_number): New.
776209d6 1293 (output_parser): Adjust, now takes care about the lines of a
f0440388
MA		 1294 output muscles.
1295 Fix line numbering.
1296 (actions_output): Computes the number of lines taken by actions.
1297 (output_master_parser): Insert new skeleton which is the name of
1298 the output parser file name.
1299
a79986b8
MA		 13002001-12-15 Marc Autret <autret_m@epita.fr>
1301
1302 * src/bison.simple [YYERROR_VERBOSE]: Restore backward compatibility.
1303
4ec8e00f
MA		 13042001-12-15 Marc Autret <autret_m@epita.fr>
1305
1306 * src/output.c (output_gram): Keep track of the hairy one.
1307
1a4648ff
AD		 13082001-12-15 Akim Demaille <akim@epita.fr>
1309
1310 Make `make distcheck' work.
1311
1312 * lib/Makefile.am (INCLUDES): Add top_srcdir/intl, since hash uses
1313 system.h which uses libgettext.h.
1314
9c2c67e6
AD		 13152001-12-15 Akim Demaille <akim@epita.fr>
1316
1317 * src/nullable.c (set_nullable): Useless rules must be skipped,
1318 otherwise, since we range over their symbols, we might look at a
1319 nonterminal which no longer ``exists'', i.e., it is not counted in
1320 `nvars', hence we overflow our arrays.
1321
93ede233
AD		 13222001-12-15 Akim Demaille <akim@epita.fr>
1323
1324 The header can also be produced directly, without any obstack!
1325 Yahoo!
1326
1327 * src/files.c, src/files.h (defines_obstack): Remove.
1328 (compute_header_macro): Global.
1329 (defines_obstack_save): Remove.
1330 * src/reader.c (parse_union_decl): No longer output to
1331 defines_obstack: its content can be found in the `stype' muscle
1332 anyway.
1333 (output_token_translations): Merge into...
1334 (symbols_output): this.
1335 Rename as...
1336 (symbols_save): this.
1337 (reader): Adjust.
1338 * src/output.c (header_output): New.
1339 (output): Call it.
1340
2666f928
AD		 13412001-12-15 Akim Demaille <akim@epita.fr>
1342
1343 * src/reader.c (parse_union_decl): Instead of handling two obstack
1344 simultaneously, use one to define the `stype' muscle, and use the
1345 value of the latter to fill defines_obstack.
1346 (copy_comment): Remove.
1347 (copy_comment2): Work for a single obstack.
1348 Rename as...
1349 (copy_comment): this.
1350
428046f8
AD		 13512001-12-15 Akim Demaille <akim@epita.fr>
1352
1353 * src/lex.c, src/lex.h (xgetc): No longer static.
1354 * src/reader.c (parse_union_decl): Revamp.
1355
ea52d706
AD		 13562001-12-15 Akim Demaille <akim@epita.fr>
1357
1358 Still making progress in separating Bison into (i) input, (ii)
1359 process, (iii) output: now we can directly output the parser file
1360 without using table_obstack at all.
1361
1362 * src/files.c, src/files.h (table_obstack): Bye bye.
1363 (parser_file_name): New.
1364 * src/files.c (compute_output_file_names): Compute it.
1365 * src/output.c (actions_output, output_parser)
1366 (output_master_parser): To a file instead of an obstack.
1367
3f96f4dc
AD		 13682001-12-15 Akim Demaille <akim@epita.fr>
1369
1370 Attach actions to rules, instead of pre-outputting them to
1371 actions_obstack.
1372
1373 * src/gram.h (rule_t): action and action_line are new members.
1374 * src/reader.c (symbol_list): Likewise.
1375 (copy_action): Save the actions within the rule.
1376 (packgram): Save them in rule_table.
1377 * src/output.c (actions_output): New.
1378 (output_parser): Use it on `%%actions'.
1379 (output_rule_data): Don't free rule_table.
1380 (output): Do it.
1381 (prepare): Don't save the `action' muscle.
1382 * src/bison.simple: s/%%action/%%actions/.
1383
51576fb3
AD		 13842001-12-15 Akim Demaille <akim@epita.fr>
1385
1386 * src/reader.c (copy_action): When --yacc, don't append a `;'
1387 to the user action: let it fail if lacking.
dee049eb 1388 Suggested by Arnold Robbins and Tom Tromey.
51576fb3 1389
2648a72d
AD		 13902001-12-14 Akim Demaille <akim@epita.fr>
1391
1392 * src/lex.c (literalchar): Simply return the char you decoded, non
1393 longer mess around with obstacks and int pointers.
1394 Adjust all callers.
1395
92790e5b
AD		 13962001-12-14 Akim Demaille <akim@epita.fr>
1397
1398 * src/lex.c (literalchar): Don't escape the special characters,
1399 just decode them, and keep them as char (before, eol was output as
1400 the 2 char string `\n' etc.).
1401 * src/output.c (output_rule_data): Use quotearg to output the
1402 token strings.
1403
927c1557
PE		 14042001-12-13 Paul Eggert <eggert@twinsun.com>
1405
1406 * src/bison.simple (YYSIZE_T, YYSTACK_ALLOC, YYSTACK_FREE):
1407 Do not infringe on the global user namespace when using C++.
1408 (YYFPRINTF, YYSTDERR): New macros, needed for the above.
1409 All uses of `fprintf' and `stderr' changed.
1410
1411 * doc/bison.texinfo: Document YYFPRINTF, YYSTDERR.
1412
ed8e1f68
AD		 14132001-12-13 Akim Demaille <akim@epita.fr>
1414
1415 The computation of nullable is broken: it doesn't handle empty
1416 RHS's properly.
1417
1418 * tests/torture.at (GNU AWK Grammar): New.
1419 * tests/sets.at (Nullable): New.
1420 * src/nullable.c (set_nullable): Instead of blindly looping over
1421 `ritems', loop over the rules, and then over their rhs's.
1422
1423 Work around Autotest bugs.
1424
1425 * src/warshall.c (bitmatrix_print): Don't use `+--+' as table
1426 frame, because Autotest understand lines starting with a `+' as
1427 traces from the shell. Then, they are not processed properly.
1428 Admittedly an Autotest bug, but we don't have time to wait for
1429 Autotest to catch up.
1430 * tests/regression.at (Broken Closure): Adjust to the new table
1431 frames.
1432 Move to...
1433 * tests/sets.at: here.
1434
cb581495
AD		 14352001-12-13 Akim Demaille <akim@epita.fr>
1436
1437 * src/closure.c (closure): Use nrules instead of playing tricks
1438 with BITS_PER_WORD.
1439
2e729273
AD		 14402001-12-13 Akim Demaille <akim@epita.fr>
1441
1442 * src/print.c (print_actions): Output the handling of `$' as the
1443 traces do: shifting the token EOF. Before EOF was treated as a
1444 nonterminal.
1445 * tests/regression.at: Adjust some tests.
1446 * src/print_graph.c (print_core): Complete the set of items via
1447 closure. The next-to-final and final states are still unsatisfying,
1448 but that's to be addressed elsewhere.
1449 No longer output the rule numbers, but do output the state number.
1450 A single loop for the shifts + gotos is enough, but picked a
1451 distinct color for each.
1452 (print_graph): Initialize and finalize closure.
1453
107f7dfb
AD		 14542001-12-13 Akim Demaille <akim@epita.fr>
1455
1456 * src/reader.c (readgram): Remove dead code, an strip useless
1457 braces.
1458 (get_type): Remove, unused.
1459
9b53a24f
AD		 14602001-12-12 Akim Demaille <akim@epita.fr>
1461
1462 * src/complain.h, src/complain.c: Remove error_one_per_line, rely
1463 on that of lib/error.c.
1464
dbfb6dcd
AD		 14652001-12-12 Akim Demaille <akim@epita.fr>
1466
1467 Some hosts don't like `/' in includes.
1468
1469 * src/system.h: Include libgettext.h without qualifying the path.
1470 * src/Makefile.am (INCLUDES): Add $(top_srcdir)/intl, remove
1471 $(top_srcdir).
1472
c25fb648
MA		 14732001-12-11 Marc Autret <autret_m@epita.fr>
1474
1475 * src/output.c (output_parser): Remove useless muscle.
1476
710ddc4f
MA		 14772001-12-11 Marc Autret <autret_m@epita.fr>
1478
1479 * src/bison.simple: Remove #line just before %%epilogue. It
1480 is now handled in ...
1481 * src/reader.c (read_additionnal_code): Add the output of a
1482 #line for the epilogue.
1483
e83d80b8
MA		 14842001-12-10 Marc Autret <autret_m@epita.fr>
1485
927c1557 1486 * src/reader.c (copy_definition): Re-use CPP-outed code which
e83d80b8
MA		 1487 replace precedent remove.
1488 * src/bison.simple: Remove #line before %%prologue because
1489 %%input-line is wrong at this time.
1490
971d5158
MA		 14912001-12-10 Marc Autret <autret_m@epita.fr>
1492
1493 * src/reader.c (symbols_output): Clean up.
927c1557 1494 * src/output.c (output_gram, output): Clean up.
971d5158 1495
5edafffd
AD		 14962001-12-10 Akim Demaille <akim@epita.fr>
1497
1498 * src/lalr.c (initialize_lookaheads): New. Extracted from...
1499 * src/LR0.c (set_state_table): here.
1500 * src/lalr.c (lalr): Call it.
1501
0279f8e9
AD		 15022001-12-10 Akim Demaille <akim@epita.fr>
1503
1504 * src/state.h (shifts): Remove the `number' member: shifts are
1505 attached to state, hence no longer need to be labelled with a
1506 state number.
1507
190c4f5f
AD		 15082001-12-10 Akim Demaille <akim@epita.fr>
1509
1510 Now that states have a complete set of members, the linked list of
1511 shifts is useless: just fill directly the state's shifts member.
1512
1513 * src/state.h (shifts): Remove the `next' member.
1514 * src/LR0.c (first_state, last_state): Remove.
1515 Adjust the callers.
1516 (augment_automaton): Don't look for the shifts that must be added
1517 a shift on EOF: it is those of the state we looked for! But now,
1518 since shifts are attached, it is no longer needed to looking
1519 merely by its id: its number.
1520
2a73b93d
AD		 15212001-12-10 Akim Demaille <akim@epita.fr>
1522
1523 * src/LR0.c (augment_automaton): Better variable locality.
1524 Remove an impossible branch: if there is a state corresponding to
1525 the start symbol being shifted, then there is shift for the start
1526 symbol from the initial state.
1527
74392f6a
AD		 15282001-12-10 Akim Demaille <akim@epita.fr>
1529
1530 * src/LR0.c (augment_automaton): Call `insert_eof_shifting_state'
1531 only when appropriate: when insert_start_shifting_state' is not
1532 invoked.
1533 * tests/regression.at (Rule Line Numbers): Adjust.
1534
37c82725
AD		 15352001-12-10 Akim Demaille <akim@epita.fr>
1536
1537 * src/LR0.c (augment_automaton): Now that all states have shifts,
1538 merge the two cases addition shifts to the initial state.
1539
6a164e0c
AD		 15402001-12-10 Akim Demaille <akim@epita.fr>
1541
1542 * src/lalr.c (set_state_table): Move to...
1543 * src/LR0.c: here.
1544 * src/lalr.c (lalr): Don't call it...
1545 * src/LR0.c (generate_states): do it.
1546 * src/LR0.h (first_state): Remove, only the table is used.
1547
7215de24
AD		 15482001-12-10 Akim Demaille <akim@epita.fr>
1549
1550 * src/LR0.h (first_shift, first_reduction): Remove.
1551 * src/lalr.c: Don't use first_shift: find shifts through the
1552 states.
1553
80e25d4d
AD		 15542001-12-10 Akim Demaille <akim@epita.fr>
1555
1556 * src/LR0.c: Attach shifts to states as soon as they are
1557 computed.
1558 * src/lalr.c (set_state_table): Instead of assigning shifts to
1559 state, just assert that the mapping was properly done.
1560
0ab3728b
AD		 15612001-12-10 Akim Demaille <akim@epita.fr>
1562
1563 * src/LR0.c (insert_start_shift): Rename as...
1564 (insert_start_shifting_state): this.
1565 (insert_eof_shifting_state, insert_accepting_state): New.
1566 (augment_automaton): Adjust.
1567 Better locality of the variables.
1568 When looking if the start_symbol is shifted from the initial
1569 state, using `while (... symbol != start_symbol ...)' sounds
1570 better than `while (... symbol < start_symbol ...)': If fail
1571 to see how the order between symbols could be relevant!
1572
78af9bbc
AD		 15732001-12-10 Akim Demaille <akim@epita.fr>
1574
1575 * src/getargs.h: Don't declare `spec_name_prefix' and
1576 `spec_file_prefix', declared by src/files.h.
1577 * src/files.c, src/files.h: Default for spec_name_prefix is "yy".
1578 * src/muscle_tab.c (muscle_init): Default prefix to NULL.
1579 * src/output.c (prepare): Adjust.
1580 * src/reader.c (symbols_output): Likewise.
1581 * src/vmsgetargs.c: Vaguely adjust, but who cares?
1582
bdef2a41
AD		 15832001-12-10 Akim Demaille <akim@epita.fr>
1584
1585 * src/muscle_tab.c (muscle_init): NULL is a better default than
1586 `"0"'.
1587
3735969c
AD		 15882001-12-10 Akim Demaille <akim@epita.fr>
1589
1590 * src/reader.c (reader): Calling symbols_output once is enough.
1591
49701457
AD		 15922001-12-10 Akim Demaille <akim@epita.fr>
1593
1594 Now that states have a complete set of members, the linked list of
1595 reductions is useless: just fill directly the state's reductions
1596 member.
1597
1598 * src/state.h (struct reductions): Remove member `number' and
1599 `next'.
1600 * src/LR0.c (first_reduction, last_reduction): Remove.
1601 (save_reductions): Don't link the new reductions, store them in
1602 this_state.
1603 * src/lalr.c (set_state_table): No need to attach reductions to
1604 states, it's already done.
1605 * src/output.c (output_actions): No longer free the shifts, then
1606 the reductions, then the states: free all the states and their
1607 members.
1608
0edad749
AD		 16092001-12-10 Akim Demaille <akim@epita.fr>
1610
1611 * src/options.c (OPTN, DRTV, BOTH): New.
1612 (option_table): Use them.
1613
0edad749
AD		 1614 * src/muscle_tab.c: Don't include xalloc.h and string.h: that's
1615 the job of system.h.
1616 * src/options.c: Don't include stdio.h and xalloc.h for the same
1617 reasons.
1618
5449dd0f
AD		 16192001-12-10 Akim Demaille <akim@epita.fr>
1620
1621 * src/output.c (output, prepare): Make sure the values of the
1622 muscles `action' and `prologue' are 0-terminated.
1623
a870c567
AD		 16242001-12-10 Akim Demaille <akim@epita.fr>
1625
1626 Clean up GCC warnings.
1627
1628 * src/reader.c (copy_action): `buf' is not used.
1629 (parse_skel_decl): Be static.
1630 * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'.
1631 * src/options.h (create_long_option_table): Have a real prototype.
1632 * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete)
1633 (hash_delete_at): Return const void *.
1634 Adjust casts to preserve the const.
1635
80df8768
AD		 16362001-12-10 Akim Demaille <akim@epita.fr>
1637
1638 * configure.in: Require 2.52g.
1639 M4 is not needed, but AUTOM4TE is.
1640 * m4/m4.m4: Remove.
1641 * tests/Makefile.am: Adjust.
1642
f693ad14
AD		 16432001-12-10 Akim Demaille <akim@epita.fr>
1644
1645 One structure for states is enough, even though theoretically
1646 there are LR(0) states and LALR(1) states.
1647
1648 * src/lalr.h (state_t): Remove.
1649 (state_table): Be state_t **, not state_t *.
1650 * src/state.h (core, CORE_ALLOC): Rename as...
1651 (state_t, STATE_ALLOC): this.
1652 Add the LALR(1) members: shifts, reductions, errs.
1653 * src/LR0.c (state_table): Rename as...
1654 (state_hash): this, to avoid name clashes with the global
1655 `state_table'.
1656 * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
1657 * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
1658
74ffbcb6
AD		 16592001-12-10 Akim Demaille <akim@epita.fr>
1660
1661 Bison dumps core on bash.y.
1662 Reported by Pascal Bart.
1663
1664 * src/warshall.c (bitmatrix_print): New.
1665 (TC): Use it.
1666 When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
1667 j must be the outer loop.
1668 * tests/regression.at (Broken Closure): New.
1669
07708e19
AD		 16702001-12-05 Akim Demaille <akim@epita.fr>
1671
1672 * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and
1673 its argument.
1674