]> git.saurik.com Git - bison.git/blame - ChangeLog
(b4_int_type): Use yysigned_char instead of signed char,
[bison.git] / ChangeLog
CommitLineData
cc0f0794
PE
12002-10-13 Paul Eggert <eggert@twinsun.com>
2
5038f418
PE
3 * data/yacc.c (yyparse): Rewrite to avoid "comparison is always
4 true due to limited range of data type" warning from GCC.
5
cc0f0794
PE
6 * data/c.m4 (b4_token_defines): Protect against double-inclusion
7 by wrapping enum yytokentype's definition inside #ifndef
8 YYTOKENTYPE. This undoes a bug I introduced on 2002-10-12.
9
6fed0802
AD
102002-10-13 Akim Demaille <akim@epita.fr>
11
12 * data/glr.c (yyglrShiftDefer, yyaddDeferredAction, yydoAction):
13 Un yy- yyrhs to avoid the name clash with the global YYRHS.
14
32f0598d
AD
152002-10-13 Akim Demaille <akim@epita.fr>
16
17 * Makefile.maint: Update from Autoconf 2.54.
18 * m4/strerror_r.m4 (AC_FUNC_STRERROR_R): Remove, shipped with 2.54.
19
7ea9a33f
AD
202002-10-13 Akim Demaille <akim@epita.fr>
21
22 * src/print.c (print_state): Separate the list of solved conflicts
23 from the other items.
24 * tests/conflicts.at (Resolved SR Conflicts): Adjust.
25
ea99527d
AD
262002-10-13 Akim Demaille <akim@epita.fr>
27
28 Let nondeterministic skeletons be usable with deterministic
29 tables.
30
31 With the patch, GAWK compiled by GCC without -O2 passes its test
32 suite using a GLR parser driven by LALR tables. It fails with -O2
33 because `struct stat' gives two different answers on my machine:
34 88 (definition of an auto var) and later 96 (memset on this var).
35 Hence the stack is badly corrumpted. The headers inclusion is to
36 blame: if I move the awk.h inclusion before GLR's system header
37 inclusion, the two struct stat have the same size.
38
39 * src/tables.c (pack_table): Always create conflict_table.
40 (token_actions): Always create conflict_list.
41 * data/glr.c (YYFLAG): Remove, unused.
42
f377f69f
AD
432002-10-13 Akim Demaille <akim@epita.fr>
44
45 * configure.ac (AC_GNU_SOURCE): Use it instead of hand written code.
46 (O0FLAGS): New.
47 (VALGRIND, GXX): New.
48 * tests/atlocal.in (CFLAGS): Use O0FLAGS.
49 * tests/bison.in: Run $PREBISON a pre-command.
50 * tests/Makefile.am (maintainer-check, maintainer-check-valgrind)
51 (maintainer-check-g++): New.
52 * Makefile.am (maintainer-check): New.
53
2a1fe6ed
AD
542002-10-13 Akim Demaille <akim@epita.fr>
55
56 * data/glr.c: Formatting changes.
57 Tweak some trace messages to match yacc.c's.
58
f50adbbd
AD
592002-10-13 Akim Demaille <akim@epita.fr>
60
61 GLR parsers sometimes raise parse errors instead of performing the
62 default reduction.
63 Reported by Charles-Henry de Boysson.
64
65 * tests/calc.at (_AT_CHECK_CALC, _AT_CHECK_CALC_ERROR): Don't
66 check the length of the traces when %glr.
67 (_AT_CHECK_CALC_ERROR): Also skip `^Stack' lines, coming from
68 GLR's traces.
69 (AT_CHECK_CALC_LALR, AT_CHECK_CALC_GLR): New.
70 Test GLR parsers.
71 * data/glr.c (YYLEFTMOST_STATE): Fix its value.
72 (yyltype): Remove the yy prefix from the member names.
73 (yytable): Complete its comment.
74 (yygetLRActions): Map error action number from YYTABLE from
75 YYTABLE_NINF to 0.
76 (yyisErrorAction): No longer compare YYACTION to YYPACT_NINF
77 (which was a bug: it should have been YYTABEL_NINF, and yet it was
78 not satisfying as we could compare an YYACTION computed from
79 YYDEFACT to YYTABLE_NINF although they are unrelated): 0 is the
80 only value for error actions.
81 (yyreportParseError): In verbose parse error messages, don't issue
82 `error' in the list of expected tokens.
83 * data/yacc.c (yyparse) <yybackup>: Rewrite the decoding of the
84 next action to perform to match glr.c's decoding.
85 (yytable): Complete its comment.
86
bcbad5b9
PE
872002-10-13 Paul Eggert <eggert@twinsun.com>
88
89 Fix problem reported by Henrik Grubbstroem in
90 <http://mail.gnu.org/pipermail/bug-bison/2002-October/001670.html>:
91 "nonterm: { $$ = 123; } { $$ = $1; };" was wrongly rejected,
92 because the Bison parser reads the second action before reducing
93 the first one.
94 * src/scan-gram.l (rule_length): New static var.
95 Use it to keep track of the rule length in the scanner, since
96 we can't expect the parser to be in lock-step sync with the scanner.
97 (handle_action_dollar, handle_action_at): Use this var.
98 * tests/actions.at (Exotic Dollars): Test for the problem.
99
14904b89
PE
1002002-10-12 Paul Eggert <eggert@twinsun.com>
101
1fe611e5
PE
102 * lib/timevar.c [! IN_GCC && HAVE_SYS_TIME_H]: Include <sys/time.h>.
103 * m4/timevar.m4 (BISON_PREREQ_TIMEVAR): Check for <sys/time.h>.
104 Include <sys/time.h> when checking for clock_t and struct tms.
105 Use same include order as source.
106 This is for the SunOS 4.1.4 porting bug reported by Peter Klein in
107 <http://mail.gnu.org/pipermail/bug-bison/2002-October/001674.html>.
108
109 * lib/timevar.c: Update copyright date and clarify comments.
110 (get_time) [IN_GCC]: Keep the GCC version for reference.
111
112 * lib/timevar.c, lib/timevar.h, lib/timevar.def: Import
113 GCC version as of today, then merge Bison's changes.
114 Change "GCC" to "Bison" in copyright notice. timevar.def's
115 author is Akim, so change that too.
116
98194095
PE
117 * src/reader.c (grammar_current_rule_check):
118 Don't worry about the default action if $$ is untyped.
119 Prevents bogus warnings reported by Jim Gifford in
120 <http://mail.gnu.org/pipermail/bug-bison/2002-October/001673.html>.
121
14904b89
PE
122 * data/c.m4 (b4_token_enum): Do not define YYTOKENTYPE.
123 * data/glr.c, data/lalr1.cc, data/yacc.c:
124 Output token definitions before the first part of user declarations.
125 Fixes compatibility problem reported by Jim Gifford for kbd in
126 <http://mail.gnu.org/pipermail/bug-bison/2002-October/001672.html>.
127
ff6dca18
PE
1282002-10-11 Paul Eggert <eggert@twinsun.com>
129
130 * data/yacc.c (yyreport_parse_error): Remove, putting its body into...
131 (yyparse): here. This undoes some of the 2002-07-25 change.
132 Compatibility problem reported by Ralf S. Engelschall with
133 OSSP cfg <http://www.ossp.org/pkg/lib/cfg/>.
134
eb714592
AD
1352002-10-11 Akim Demaille <akim@epita.fr>
136
137 * tests/regression.at Characters Escapes): New.
138 * src/scan-gram.l (SC_ESCAPED_CHARACTER): Accept \' in strings and
139 characters.
140 Reported by Jan Nieuwenhuizen.
141
b7195100
AD
1422002-10-11 Akim Demaille <akim@epita.fr>
143
144 * po/id.po: New.
145
f28a0f2d
PE
1462002-10-10 Paul Eggert <eggert@twinsun.com>
147
148 Portability fixes for bitsets; this also avoids several GCC
149 warnings.
150
151 * lib/abitset.c: Include <stddef.h>, for offsetof.
152 * lib/lbitset.c: Likewise.
153
154 * lib/abitset.c (abitset_bytes): Return a size that is aligned
155 properly for vectors of objects. Do not assume that adding a
156 header size to a multiple of a word size yields a value that is
157 properly aligned for the whole union.
158 * lib/bitsetv.c (bitsetv_alloc): Likewise.
159
160 * lib/bitset_stats.c (bitset_stats_bytes): Adjust to new,
161 unique names for structures.
162 * lib/ebitset.c (ebitset_bytes): Likewise.
163 * lib/lbitset.c (lbitset_bytes): Likewise.
164
165 * lib/abitset.c (abitset_ones, abitset_zero, abitset_empty_p,
166 abitset_copy1, abitset_not, abitset_equal_p, abitset_subset_p,
167 abitset_disjoint_p, abitset_and, abitset_and_cmp, abitset_andn,
168 abitset_andn_cmp, abitset_or, abitset_or_cmp, abitset_xor,
169 abitset_xor_cmp, abitset_and_or, abitset_and_or_cmp,
170 abitset_andn_or, abitset_andn_or_cmp, abitset_or_and,
171 abitset_or_and_cmp, abitset_copy): Supply prototype decls,
172 to improve the type-checking that GCC can do.
173 * lib/bitset.c (bitset_op4_cmp): Likewise.
174 * lib/bitset_stats.c (bitset_stats_count,
175 bitset_stats_empty_p, bitset_stats_ones, bitset_stats_zero,
176 bitset_stats_copy, bitset_stats_disjoint_p,
177 bitset_stats_equal_p, bitset_stats_not, bitset_stats_subset_p,
178 bitset_stats_and, bitset_stats_and_cmp, bitset_stats_andn,
179 bitset_stats_andn_cmp, bitset_stats_or, bitset_stats_or_cmp,
180 bitset_stats_xor, bitset_stats_xor_cmp, bitset_stats_and_or,
181 bitset_stats_and_or_cmp, bitset_stats_andn_or,
182 bitset_stats_andn_or_cmp, bitset_stats_or_and,
183 bitset_stats_or_and_cmp): Likewise.
184 * lib/lbitset.c (lbitset_and, lbitset_and_cmp, lbitset_andn,
185 lbitset_andn_cmp, lbitset_or, lbitset_or_cmp, lbitset_xor,
186 lbitset_xor_cmp, lbitset_empty_p, lbitset_ones, lbitset_not,
187 lbitset_subset_p, lbitset_disjoint_p, debug_lbitset): Likewise.
188
189 * lib/abitset.h: Include bitset.h, not bbitset.h.
190 * lib/ebitset.h: Likewise.
191 * lib/lbitset.h: Likewise.
192
193 * lib/bbitset.h: (enum_bitset_ops, enum_bitset_type): New types.
194 All instances of parameters of type enum bitset_opts are now of
195 type enum_bitset_opts, to conform to the C Standard, and similarly
196 for enum_bitset_type.
197 * lib/ebitset.c (enum_ebitset_find_mode): Likewise.
198 * lib/lbitset.c (enum_lbitset_find_mode): Likewise.
199
200 Do not use "struct bitset_struct" to mean different things in
201 different modules. Not only is this confusing, it violates
202 the C Standard, which requires that structure types in different
203 modules must be compatible if one is to be passed to the other.
204 * lib/bbitset.h (bitset): Now points to a union, not to a struct.
205 All instances of "struct bitset_struct *" replaced with "bitset".
206 * lib/bitset.h (struct bitset_struct): Remove, replacing with....
207 (union bitset_union, struct abitset_struct, struct ebitset_struct,
208 struct lbitset_struct, struct bitset_stats_struct): New types.
209 All uses of struct bitset_struct changed to union bitset_union,
210 etc.
211 * lib/abitset.c (struct abitset_struct, abitset,
212 struct bitset_struct): Remove.
213 * lib/bitset_stats.c (struct bitset_stats_struct, bitset_stats,
214 struct bitset_struct): Remove.
215 * lib/ebitset.c (struct ebitset_struct, ebitset, struct
216 bitset_struct): Remove.
217 * lib/lbitset.c (struct lbitset_struct, lbitset, bitset_struct):
218 Likewise.
219
220 Do not call a function of type T using a call that assumes the
221 function is of a different type U. Standard C requires that a
222 function must be called with a type that is compatible with its
223 definition.
224 * lib/bbitset.h (bitset_and_or_, bitset_andn_or_, bitset_or_and_):
225 New decls.
226 * lib/bitset.c (bitset_and_or_, bitset_andn_or_, bitset_or_and_):
227 New functions.
228 * lib/ebitset.c (PFV): Remove.
229 * lib/lbitset.c (PFV): Likewise.
230 * lib/ebitset.c (ebitset_and, ebitset_andn, ebitset_or,
231 ebitset_xor, ebitset_copy, ebitset_ones, ebitset_empty_p): New
232 decls.
233 (ebitset_and, ebitset_andn, ebitset_or, ebitset_xor): New functions.
234 (ebitset_vtable): Use them.
235 * lib/lbitset.c (lbitset_and, lbitset_andn, lbitset_or,
236 lbitset_xor): New functions.
237 (lbitset_vtable): Use them.
238
239 * lib/bitset.h (bitset_next, bitset_prev, bitset_only_set_p):
240 Declare.
241
242 * lib/bitsetv.c (bitsetv_alloc): Add a cast to (void *) to avoid a
243 GCC warning.
244 * lib/lbitset.c (LBITSET_CURRENT1): Likewise.
245 Use offsetof, for simplicity.
246
6fbe4984
PE
2472002-10-06 Paul Eggert <eggert@twinsun.com>
248
249 * lib/bitset.h (bitset_reset): Do not assume that bitset_word is
250 the same width as int. This reapplies a hunk of the 2002-08-12 patch
251 <http://mail.gnu.org/pipermail/bison-patches/2002-August/001111.html>,
252 which was inadvertently undone by the 2002-09-30 patch.
253 * lib/lbitset.c (debug_lbitset): Do not assume that bitset_word is
254 the same width as int.
255
420f93c8
PE
2562002-10-04 Paul Eggert <eggert@twinsun.com>
257
258 Version 1.50.
259
260 * configure.ac (AC_INIT), NEWS: Increment version number.
261
262 * doc/bison.texinfo: Minor spelling, grammar, and white space
263 fixes.
264 (Symbols): Mention that any negative value returned from yylex
265 signifies end-of-input. Warn about negative chars. Mention
266 the portable Standard C character set.
267
268 The GNU coding standard says CFLAGS and YFLAGS are reserved
269 for the installer to set.
270 * lib/Makefile.am (AM_CFLAGS): Renamed from CFLAGS.
271 * src/Makefile.am (AM_CFLAGS): Likewise.
272 (AM_YFLAGS): Renamed from YFLAGS.
273
274 Fix some MAX and MIN problems.
275 * src/gram.h (ITEM_NUMBER_MIN): MIN_MAX -> INT_MIN.
276 * src/lalr.h (GOTO_NUMBER_MAX): INT_MAX -> SHRT_MAX.
277 * src/symtab.h (SYMBOL_NUMBER_MAX): New macro.
278 * src/reader.c (reader): Use it.
279
280 * tests/regression.at (Braces parsing): Use grep, not fgrep, as
281 POSIX 1003.1-2001 has removed fgrep.
282
2832002-10-04 Michael Hayes <m.hayes@elec.canterbury.ac.nz>
284
285 * lib/bbitset.h (BITSET_WINDEX_MAX): Redefine so that it cannot be
286 interpreted as signed.
287 * lib/ebitset.c (ebitset_list): Fix bug.
288
ff68026d
PE
2892002-10-01 Paul Eggert <eggert@twinsun.com>
290
291 More fixes for 64-bit hosts and large bitsets.
292
293 * lib/abitset.c (struct abitset_struct.n_bits, abitset_small_list,
294 abitset_size, abitset_list, abitset_list_reverse, abitset_list):
295 Use bitset_bindex, not int or unsigned int or size_t, to count bits.
296 * lib/bbitset.h (struct bitset_vtable.size, struct bitset_vtable.count,
297 struct bitset_vtable.list, struct bitset_vtable.list_reverse,
298 bitset_count_, bitset_next, bitset_prev, bitset_first, bitset_last,
299 bitset_count_): Likewise.
300 * lib/bitset.h (bitset_iterator.num, bitset_iterator.i,
301 bitset_first, bitset_last): Likewise.
302 * lib/bitset_stats.c (bitset_stats_size, bitset_stats_list,
303 bitset_stats_list_reverse, bitset_stats_size,
304 bitset_stats_count, bitset_stats_list, bitset_stat_list_reverse):
305 Likewise.
306 * lib/bitsetv-print.c (bitsetv_matrix_dump): Likewise.
307 * lib/bitsetv.c (bitsetv_alloc, bitsetv_create, bitsetv_free,
308 bitsetv_zero, bitsetv_ones, bitsetv_transitive_closure,
309 bitsetv_reflexive_transitive_closure): Likewise.
310 * lib/bitsetv.h (bitsetv_alloc, bitsetv_create): Likewise.
311 * lib/ebitset.c (ebitset_size, ebitset_list, ebitset_list_reverse):
312 Likewise.
313 * lib/lbitset.c (lbitset_size, lbitset_list, lbitset_list_merge):
314 Likewise.
420f93c8 315
ff68026d
PE
316 * lib/abitset.c (abitset_ones, abitset_zero, abitset_bytes):
317 Use size_t, not unsigned int, to count bytes.
318 * lib/abitset.h (abitset_bytes): Likewise.
319 * lib/bitset.c (bitset_bytes, bitset_alloc, bitset_obstack_alloc):
320 Likewise.
321 * lib/bitset.h (bitset_bytes): Likewise.
322 * lib/bitset_stats.c (bitset_stats_bytes, bitset_stats_init): Likewise.
323 * lib/bitset_stats.h (bitset_stats_bytes): Likewise.
324 * lib/bitsetv.c (bitsetv_alloc): Likewise.
325 * lib/ebitset.c (ebitset_bytes): Likewise.
326 * lib/ebitset.h (ebitset_bytes): Likewise.
327 * lib/lbitset.c (lbitset_bytes): Likewise.
328 * lib/lbitset.h (lbitset_bytes): Likewise.
420f93c8 329
ff68026d
PE
330 * lib/abitset.c (abitset_empty_p, abitset_not, abitset_equal_p,
331 abitset_subset_p, abitset_disjoint_p, abitset_and,
332 abitset_and_cmp, abitset_andn, abitset_andn_cmp, abitset_or,
333 abitset_or_cmp, abitset_xor, abitset_xor_cmp, abitset_and_or,
334 abitset_and_or_cmp, abitset_andn_or, abitset_andn_or_cmp,
335 abitset_or_and, abitset_or_and_cmp):
336 Use bitset_windex instead of unsigned int.
337 * lib/bitsetv.c (bitsetv_dump, debug_bitsetv): Likewise.
338 * lib/ebitset.c (struct ebitset_struct.size, ebitset_elts_grow,
339 ebitset_elt_add, ebitset_elt_remove, ebitset_weed,
340 ebitset_elt_find, ebitset_list_reverse, ebitset_list, ebitset_init):
341 Likewise.
342 * lib/lbitset.c (lbitset_ones, lbitset_not): Likewise.
420f93c8 343
ff68026d
PE
344 * lib/bitset.c (bitset_print):
345 Use proper printf formats for widths of integer types.
346 * lib/bitset_stats.c (bitset_percent_histogram_print,
347 bitset_log_histogram_print, bitset_stats_print_1): Likewise.
348 * lib/bitsetv-print.c (bitsetv_matrix_dump): Likewise.
349 * lib/bitsetv.c (bitsetv_dump, debug_bitsetv): Likewise.
350 * lib/lbitset.c (lbitset_bytes): Likewise.
420f93c8 351
ff68026d
PE
352 * lib/bbitset.h (BITSET_BINDEX_MAX, BITSET_WINDEX_MAX,
353 BITSET_SIZE_MAX): New macros.
354 (BITSET_INDEX_MAX): Remove. It wasn't right, since it assumed that
355 sizeof (bitset_word) == sizeof (bitset_windex). All uses changed
356 to BITSET_WINDEX_MAX.
357
358 * lib/bitset.c (bitset_next, bitset_prev, bitset_first,
359 bitset_last): Return BITSET_BINDEX_MAX (not -1) for no value,
360 since we now return the bitset_bindex type (not int).
361
362 * lib/bitsetv.c (bitsetv_alloc): Check for arithmetic overflow
363 when computing sizes.
364 * lib/ebitset.c (ebitset_elts_grow): Likewise.
365
366 * lib/lbitset.c (lbitset_elt_find): Simplify windex calculation
367 and avoid cast to unsigned.
368
6aa452a6
AD
3692002-09-30 Akim Demaille <akim@epita.fr>
370
371 * lib/abitset.c, lib/bbitset.h, lib/bitset.c, lib/bitset.h,
372 * lib/bitset_stats.c, lib/bitsetv.c, lib/ebitset.c, lib/lbitset.c:
373 Updates from Michael Hayes.
374
927f7817
AD
3752002-09-30 Art Haas <ahaas@neosoft.com>
376
377 * configure.ac: Update AC_OUTPUT and AM_CONFIG_HEADER
378 invocations.
379 * tests/cxx-type.at (declarator): Don't rely on NDEBUG being not
380 defined.
381
9738f41e
AD
3822002-09-27 Akim Demaille <akim@epita.fr>
383
384 Version 1.49c.
385
a5c75d7f
AD
3862002-09-27 Akim Demaille <akim@epita.fr>
387
388 * configure.ac (AM_INIT_AUTOMAKE): We _need_ 1.7.
389 (Because of AC_LIBSOURCE).
390
8280e179
AD
3912002-09-27 Akim Demaille <akim@epita.fr>
392
393 Playing with Autoscan.
394
395 * configure.ac: Remove the old LIBOBJ tweaks.
396 (AC_REPLACE_FUNCS): Add strrchr and strtol.
397 * lib/strrchr.c: New.
398 * lib/strtol.c: New, from the Coreutils 4.5.1.
399
ae64af35
AD
4002002-09-27 Akim Demaille <akim@epita.fr>
401
402 Playing with Autoscan.
403
404 * m4/prereq.m4 (jm_PREREQ_ARGMATCH, jm_FUNC_ARGMATCH): New.
405 * lib/Makefile.am (libbison_a_SOURCES): No longer include
406 argmatch.c and argmatch.h, since they are AC_LIBSOURCE'd.
407 * lib/strcasecmp.c, lib/strncasecmp.c, lib/memcmp.c: New, from the
408 Coreutils 4.5.1.
409
d1a1114f
AD
4102002-09-24 Akim Demaille <akim@epita.fr>
411
412 * doc/bison.texinfo (Stack Overflow): xref to Recursion.
413 (Frequently Asked Questions, Parser Stack Overflow): New.
414
b906441c
AD
4152002-09-13 Akim Demaille <akim@epita.fr>
416
417 Playing with autoscan.
418
419 * src/reader.c (get_merge_function): Use xstrdup, not strdup.
420 * src/files.c (skeleton_find): Remove, unused.
421 * m4/memcmp.m4: New, from the Coreutils 4.5.1.
422 * m4/prereq.m4 (jm_PREREQ_QUOTEARG): Run jm_FUNC_MEMCMP.
423
bd701811
AD
4242002-09-13 Akim Demaille <akim@epita.fr>
425
426 * configure.ac (AM_INIT_AUTOMAKE): Require Automake 1.6.3.
427 * Makefile.am (AUTOMAKE_OPTIONS): Don't.
428
e0a13e7b
AD
4292002-09-13 Akim Demaille <akim@epita.fr>
430
431 * configure.ac: Require 2.54.
432 s/jm_FUNC_MALLOC/AC_FUNC_MALLOC/.
433 s/jm_FUNC_REALLOC/AC_FUNC_REALLOC/.
434 * m4/c-bs-a.m4, m4/malloc.m4, m4/mbstate_t.m4, m4/realloc.m4:
435 Remove, provided by Autoconf macros.
436
c97011bf
AD
4372002-09-12 Akim Demaille <akim@epita.fr>
438
439 * m4/prereq.m4: Update, from Coreutils 4.5.1.
440
d862b1be
AD
4412002-09-12 Akim Demaille <akim@epita.fr>
442
443 * m4/prereq.m4: Update, from Fileutils 4.1.5.
444 * configure.ac (jm_PREREQ_TEMPNAME): Invoke it.
445 Reported by Martin Mokrejs.
446
3d38c03a
AD
4472002-09-10 Akim Demaille <akim@epita.fr>
448
449 * src/parse-gram.y: Associate a human readable string to each
450 token type.
451 * tests/regression.at (Invalid inputs): Adjust.
452
b6347355
AD
4532002-09-10 Gary V. Vaughan <gary@gnu.org>
454
455 * tests/Makefile.am ($(srcdir)/package.m4): Bison now ships
456 with an Autoconf-2.5x style configure.ac.
457
09ba4ab2
PE
4582002-09-06 Paul Eggert <eggert@twinsun.com>
459
460 * doc/bison.texinfo (Conditions): Make explicit that the GPL
461 exception applies only to yacc.c. This is a modification of a
462 patch originally suggested by Akim Demaille.
463
21846f69
AD
4642002-09-06 Akim Demaille <akim@epita.fr>
465
09ba4ab2
PE
466 * data/c.m4 (b4_copyright): Move the GPL exception comment from
467 here to...
468 * data/yacc.c: here.
469
21846f69
AD
470 * data/lalr1.cc (struct yyltype): Don't define it, since we use
471 LocationType.
472 (b4_ltype): Default to yy::Location from location.hh.
473
c0ad8bf3
AD
4742002-09-04 Jim Meyering <jim@meyering.net>
475
476 * data/yacc.c: Guard the declaration of yytoknum also with
477 `#ifdef YYPRINT', so it is declared only when used.
478
3a93251e
AD
4792002-09-04 Akim Demaille <akim@epita.fr>
480
481 * configure.in: Rename as...
482 * configure.ac: this.
483 Bump to 1.49c.
484
427c0dda
AD
4852002-09-04 Akim Demaille <akim@epita.fr>
486
487 * src/assoc.c, src/closure.c, src/gram.c, src/injections.c,
488 * src/lalr.c, src/LR0.c, src/relation.c, src/tables.c: Don't
489 translate maintainer only messages.
490
6a254321
PE
4912002-08-12 Paul Eggert <eggert@twinsun.com>
492
645e30d1
PE
493 Version 1.49b.
494
6a254321
PE
495 * Makefile.am (SUBDIRS): Remove intl.
496 (DISTCLEANFILES): Remove.
497 * NEWS: Mention that GNU M4 is now required. Clarify what is
498 meant by "larger grammars". Mention the pt_BR translation.
499 * configure.in (AC_CHECK_DECLS): Add getenv, getopt.
500 (AM_GNU_GETTEXT_VERSION): New macro, replacing GETTEXT_VERSION var.
501 Bump version from 0.11.2 to 0.11.5.
502 (BISON_PREREQ_STAGE): Remove.
503 (AM_GNU_GETTEXT): Use external gettext.
504 (AC_OUTPUT): Remove intl/Makefile.
505
506 * config/depcomp, config/install-sh: Sync with Automake 1.6.3.
507
508 * data/glr.c: Include string.h, for strlen.
509 (yyreportParseError): Use size_t for yysize.
510 (yy_yypstack): No longer nested inside yypstates, as nested
511 functions are not portable. Do not assume size_t is the
512 same width as int.
513 (yypstates): Do not assume that ptrdiff_t is the same width
514 as int, and similarly for yyposn and YYINDEX.
515
516 * data/yacc.c: Fix comment about `$$ = $1': it can copy garbage.
517
518 * lib/Makefile.am (INCLUDES): Do not include from the intl
519 directory, which has been removed.
520 * src/Makefile.am (INCLUDES): Likewise.
521
522 * lib/Makefile.am (libbison_a_SOURCES): Add unlocked-io.h.
523 (bitsets_sources, additional_bitsets_sources, timevars_sources):
524 New vars.
525
526 * lib/Makefile.am (libbison_a_SOURCES): Avoid +=, a GNU make extension.
527 * tests/Makefile.am (EXTRA_DIST): Likewise.
528
529 * lib/abitset.c (abitset_reverse_list, ebitset_reverse_list):
530 Do not assume that bitset_windex is the same width as unsigned.
531
532 * lib/abitset.c (abitset_unused_clear): Do not assume that
533 bitset_word is the same width as int.
534 * lib/bbitset.h (BITSET_INDEX_MAX, BITSET_MSB): Likewise.
535 * lib/bitset.h (bitset_set, bitset_reset): Likewise.
536 * lib/bitset_stats.c (bitset_stats_set, bitset_stats_reset): Likewise.
537 * lib/ebitset.c (ebitset_set, ebitset_reset): Likewise.
538 * lib/lbitset.c (lbitset_set, lbitset_reset): Likewise.
539
540 * lib/abitset.c (abitset_op1): Use -1, not ~0, as memset arg (for
541 portability to one's complement hosts!).
542 * lib/ebitset.c (ebitset_op1): Likewise.
543 * lib/lbitset.c (lbitset_op1): Likewise.
544
545 * lib/argmatch.c, lib/quotearg.c, quotearg.h: Sync with GNU tar.
546 * lib/argmatch.h, lib/basename.c, lib/dirname.c, lib/dirname.h,
547 lib/hash.c, lib/hash.h, lib/strnlen.c, lib/xmalloc.c:
548 Sync with fileutils.
549 * lib/error.c, lib/getopt.c, lib/getopt.h, lib/getopt1.c,
550 lib/gettext.h: Sync with diffutils.
551
552 * lib/memrchr.c, lib/mkstemp.c, lib/strchr.c, lib/strnlen.c,
553 lib/strspn.c, lib/tempname.c: Use GPL, not LGPL.
554
555 * lib/obstack.c, lib/obstack.h: Sync with fileutils, except use
556 PROTOTYPES to check for prototypes, and "defined __STDC__" to
557 check for void *.
558
559 * lib/bbitset.h (BITSET_WORD_BITS): Now of type unsigned, not
560 size_t; the old version tried to do this but casted improperly.
561 (bitset_bindex, bitset_windex): Now size_t, not unsigned long.
562 (bitset_test): Now returns int, not unsigned long.
563
564 * lib/bitset_stats.c: Include "gettext.h".
565 (_): New macro.
566 (bitset_stats_set, bitset_stats_reset, bitset_stats_test): Don't
567 name locals "index", as it generates unnecessary warnings on some
568 hosts that have an "index" function.
569
570 * lib/bitset_stats.c (bitset_stats_print_1, bitset_stats_print,
571 bitset_stats_read, bitset_stats_write): Wrap strings in _() if
572 they need translation.
573 * src/LR0.c (state_list_append, new_itemsets, get_state,
574 append_states, generate_states): Likewise.
575 * src/assoc.c (assoc_to_string): Likewise.
576 * src/closure.c (print_closure, set_firsts, closure): Likewise.
577 * src/gram.c (grammar_dump): Likewise.
578 * src/injections.c (injections_compute): Likewise.
579 * src/lalr.c (lookaheads_print): Likewise.
580 * src/relation.c (relation_transpose): Likewise.
581 * src/scan-gram.l: Likewise.
582 * src/tables.c (table_grow, pack_vector): Likewise.
583
584 * m4/Makefile.am (EXTRA_DIST): Remove codeset.m4,
585 glibc21.m4, isc-posix.m4 lcmessage.m4, stage.m4.
586 * m4/malloc.m4, m4/realloc.m4: Sync with diffutils.
587 * m4/mbstate_t.m4: Sync with fileutils.
588 * m4/prereq.m4 (jm_PREREQ_QUOTEARG): AC_MBSTATE_T -> AC_TYPE_MBSTATE_T.
589
590 * po/LINGUAS: Add pt_BR.
591 * po/POTFILES.in: Add src/assoc.c, src/closure.c, src/gram.c,
592 src/main.c, src/relation.c, src/state.c, lib/bitset_stats.c,
593 lib/timevar.c.
594 Use src/parse-gram.y instead of src/parse-gram.c, as the gettext
595 manual recommends.
596 Similarly, use src/scan-gram.l instead of src/scan-gram.c.
597
598 * src/complain.c (strerror_r): Remove decl; not needed.
599 (strerror): Use same pattern as ../lib/error.c.
600
601 * src/files.c, src/files.h (compute_header_macro): Remove; unused.
602
603 * src/gram.c (grammar_dump): Do not assume ptrdiff_t fits in int.
604
605 * src/main.c (main): Cast result of bindtextdomain and textdomain
606 to void, to avoid a GCC warning when --disable-nls is in effect.
607
608 * src/scan-gram.l: Use strings rather than escapes when possible,
609 to minimize the number of warnings from xgettext.
610 (handle_action_dollar, handle_action_at): Don't use isdigit,
611 as it mishandles negative chars and it may not work as expected
612 outside the C locale.
613
614 * src/symtab.c (symbol_get): Don't cast LHS of an assignment;
615 this is a GCC extension and is not portable to other compilers.
616
617 * src/system.h (alloca): Use same pattern as ../lib/error.c.
618 Do not include <ctype.h>; no longer needed.
619 Do not include <malloc.h>; no longer needed (and generates
620 warnings on OpenBSD 3.0).
621
622 * tests/cxx-type.at (yylex): Do not pass signed char to isupper;
623 it's not portable.
624
625 * tests/regression.at: Do not use 'cc -c input.c -o input';
626 Sun C rejects this. Instead, use 'cc -c input.c -o input.o'.
627
628 * tests/synclines.at (AC_SYNCLINES_COMPILE): Accept any nonzero
629 exit status as failure, not just exit status 1. Sun C exits
630 with status 2 sometimes.
631
632 * tests/torture.at (AT_INCREASE_DATA_SIZE): New macro.
633 Use it for the two large tests.
634
c8f002c7
AD
6352002-08-02 Akim Demaille <akim@epita.fr>
636
637 * src/conflicts.c (conflicts_output): Don't output rules never
638 reduced here, since anyway that computation doesn't work.
639 * src/gram.h, src/gram.h (rule_filter_t, rule_useful_p)
640 (rule_useless_p, rule_never_reduced_p): New.
641 (grammar_rules_partial_print): Use a filter instead of a range.
642 Display the title only if needed.
643 (grammar_rules_print): Adjust.
644 (grammar_rules_never_reduced_report): New.
645 * src/tables.c (action_row): Move the computation of rules never
646 reduced to...
647 (token_actions): here.
648 * src/main.c (main): Make the parser before making the report, so
649 that rules never reduced are computed.
650 Call grammar_rules_never_reduced_report.
651 * src/print.c (print_results): Report rules never reduced.
652 * tests/conflicts.at, tests/reduce.at: Adjust.
653
cd08e51e
AD
6542002-08-01 Akim Demaille <akim@epita.fr>
655
656 Instead of attaching lookaheads and duplicating the rules being
657 reduced by a state, attach the lookaheads to the reductions.
658
659 * src/state.h (state_t): Remove the `lookaheads',
660 `lookaheads_rule' member.
661 (reductions_t): Add a `lookaheads' member.
662 Use a regular array for the `rules'.
663 * src/state.c (reductions_new): Initialize the lookaheads member
664 to 0.
665 (state_rule_lookaheads_print): Adjust.
666 * src/state.h, src/state.c (state_reductions_find): New.
667 * src/conflicts.c (resolve_sr_conflict, set_conflicts)
668 (count_rr_conflicts): Adjust.
669 * src/lalr.c (LArule): Remove.
670 (add_lookback_edge): Adjust.
671 (state_lookaheads_count): New.
672 (states_lookaheads_initialize): Merge into...
673 (initialize_LA): this.
674 (lalr_free): Adjust.
675 * src/main.c (main): Don't free nullable and derives too early: it
676 is used by --verbose.
677 * src/print.c, src/print_graph.c, src/tables.c: Adjust.
678
bb0027a9
AD
6792002-08-01 Akim Demaille <akim@epita.fr>
680
681 * src/derives.h, src/derives.c (derives): A `rule_t***' instead of
682 `rule_number_t**'.
683 (set_derives, free_derives): Rename as...
684 (derives_compute, derives_free): this.
685 Adjust all dependencies.
686 * src/nullable.c (set_nullable, free_nullable): Rename as...
687 (nullable_compute, nullable_free): these.
688 (rule_list_t): Store rule_t *, not rule_number_t.
689 * src/state.c (state_rule_lookaheads_print): Directly compare rule
690 pointers, instead of their numbers.
691 * src/main.c (main): Call nullable_free, and derives_free earlier,
692 as they were lo longer used.
693
3325ddc4
AD
6942002-08-01 Akim Demaille <akim@epita.fr>
695
696 * lib/timevar.c (get_time): Include children time.
697 * src/lalr.h (LA, LArule): Don't export them: used with the
698 state_t.
699 * src/lalr.c (LA, LArule): Static.
700 * src/lalr.h, src/lalr.c (lalr_free): New.
701 * src/main.c (main): Call it.
702 * src/tables.c (pack_vector): Check whether loc is >= to the
703 table_size, not >.
704 (pack_tables): Don't free froms, tos, conflict_tos, and pos...
705 (tables_generate): do it, since that's also it which allocates
706 them.
707 Don't free LA and LArule, main does.
708
c6f1a33c
AD
7092002-07-31 Akim Demaille <akim@epita.fr>
710
711 Separate parser tables computation and output.
712
713 * src/output.c (nvectors, base_t, base, base_ninf, conflict_table)
714 (conflict_list, conflict_list_cnt, table, check, table_ninf)
715 (yydefgoto, yydefact, high): Move to...
716 * src/tables.h, src/tables.c: here.
717 * src/output.c (vector_number_t, VECTOR_NUMBER_MAX)
718 (VECTOR_NUMBER_MIN, state_number_to_vector_number)
719 (symbol_number_to_vector_number, nvectors, BASE_MAX, BASE_MIN)
720 (froms, tos, conflict_tos, tally, width, action_t, ACTION_MAX)
721 (ACTION_MIN, actrow, order, nentries, pos, conflrow)
722 (conflict_list_free, table_size, lowzero, table_grow, conflict_row)
723 (action_row, save_row, token_actions, save_column, default_goto)
724 (goto_actions, sort_actions, matching_state, pack_vector)
725 (table_ninf_remap, pack_table, prepare_actions): Move to...
726 * src/tables.c: here.
727 * src/tables.h, src/tables.c(tables_generate, tables_free): New.
728 * src/output.c (token_actions, output_base, output_conflicts)
729 (output_check): Merge into...
730 (prepare_actions): this.
731 (actions_output): Rename as...
732 (user_actions_output): this.
733 * src/main.c (main): Call tables_generate and tables_free.
734
1509d42f
AD
7352002-07-31 Akim Demaille <akim@epita.fr>
736
737 Steal GCC's --time-report support.
738
739 * lib/timevar.c, lib/timevar.h, lib/timevar.def: New,
740 stolen/adjusted from GCC.
741 * m4/stage.m4: Remove time related checks.
742 * m4/timevar.m4: New.
743 * configure.in: Adjust.
744 * src/system.h: Adjust to using timevar.h.
745 * src/getargs.h, src/getargs.c: Support trace_time for
746 --trace=time.
747 * src/main.c (stage): Remove.
748 (main): Replace `stage' invocations with timevar calls.
749 * src/output.c: Insert pertinent timevar calls.
750
273a74fa
AD
7512002-07-31 Akim Demaille <akim@epita.fr>
752
753 Let --trace have arguments.
754
755 * src/getargs.h (enum trace_e): New.
756 * src/getargs.c (trace_args, trace_types, trace_argmatch): New.
757 (long_options, short_options): --trace/-T takes an optional
758 argument.
759 Change all the uses of trace_flag to reflect the new flags.
760 * tests/sets.at (Firsts, Nullable, Broken Closure): Use --trace=sets.
761
762 Strengthen `stage' portability.
763
764 * m4/stage.m4 (BISON_PREREQ_STAGE): New.
765 * configure.in: Use it.
766 Don't check for malloc.h and sys/times.h.
767 * src/system.h: Include them when appropriate.
768 * src/main.c (stage): Compile only when mallinfo, struct mallinfo,
769 times and struct tms are available.
770
217598da
AD
7712002-07-30 Akim Demaille <akim@epita.fr>
772
773 In verbose parse error message, don't report `error' as an
774 expected token.
775 * tests/actions.at (Printers and Destructors): Adjust.
776 * tests/calc.at (Calculator $1): Adjust.
777 * data/yacc.c, data/glr.c, data/lalr1.c: When making the verbose
778 error message, do not report the parser accepts the error token in
779 that state.
780
52489d44
AD
7812002-07-30 Akim Demaille <akim@epita.fr>
782
783 Normalize conflict related messages.
784
785 * src/complain.h, src/complain.c (warn, complain): New.
786 * src/conflicts.c (conflicts_print): Use them.
787 (conflict_report_yacc): New, extracted from...
788 (conflicts_print): here.
789 * tests/conflicts.at, tests/existing.at: Adjust.
790
e8832397
AD
7912002-07-30 Akim Demaille <akim@epita.fr>
792
793 Report rules which are never reduced by the parser: those hidden
794 by conflicts.
795
796 * src/LR0.c (save_reductions): Don't make the final state too
797 different: save its reduction (accept) instead of having a state
798 without any action (no shift or goto, no reduce).
799 Note: the final state is now a ``regular'' state, i.e., the
800 parsers now contain `reduce 0' as default reduction.
801 Nevertheless, since they decide to `accept' when yystate =
802 final_state, they still will not reduce rule 0.
803 * src/print.c (print_actions, print_reduction): Adjust.
804 * src/output.c (action_row): Track reduced rules.
805 (token_actions): Report rules never reduced.
806 * tests/conflicts.at, tests/regression.at: Adjust.
807
caf23d24
AD
8082002-07-30 Akim Demaille <akim@epita.fr>
809
810 `stage' was accidently included in a previous patch.
811 Initiate its autoconfiscation.
812
813 * configure.in: Look for malloc.h and sys/times.h.
814 * src/main.c (stage): Adjust.
815 Report only when trace_flag.
816
640748ee
AD
8172002-07-29 Akim Demaille <akim@epita.fr>
818
819 * src/state.h, src/state.c (transitions_t): Holds state_t*'s, not
820 state_number_t.
821 (errs_t): symbol_t*, not symbol_number_t.
822 (reductions_t): rule_t*, not rule_number_t.
823 (FOR_EACH_SHIFT): New.
824 * src/LR0.c, src/conflicts.c, src/lalr.c, src/output.c
825 * src/print.c, src/print_graph.c: Adjust.
826
88bce5a2
AD
8272002-07-29 Akim Demaille <akim@epita.fr>
828
829 Use $accept and $end, as BYacc and BTYacc do, instead of $axiom and $.
830
831 * src/symtab.h, src/symtab.c (eoftoken, axiom): Rename as...
832 (endtoken, accept): these.
833 * src/reader.c (reader): Set endtoken's default tag to "$end".
834 Set undeftoken's tag to "$undefined" instead of "$undefined.".
835 * doc/bison.texinfo (Table of Symbols): Mention $accept and $end.
836 Adjust.
837
1bfb97db
AD
8382002-07-29 Akim Demaille <akim@epita.fr>
839
840 * src/reduce.c (reduce_grammar): When the language is empty,
841 complain about the start symbol, not the axiom.
842 Use its location.
843 * tests/reduce.at (Empty Language): New.
844
fc5734fe
AD
8452002-07-26 Akim Demaille <akim@epita.fr>
846
847 * src/reader.h, src/reader.c (gram_error): ... can't get
848 yycontrol without making too strong assumptions on the parser
849 itself.
850 * src/output.c (prepare_tokens): Use the real 0th value of
851 token_translations instead of `0'.
852 * src/parse-gram.y (yyerror): Don't rely on yycontrol being
853 visible here.
854 * data/yacc.c (yyreport_parse_error): Rename yylocation as yylloc
855 for the time being: %locations ought to provide it to yyerror.
856
3650b4b8
AD
8572002-07-25 Akim Demaille <akim@epita.fr>
858
859 * src/output.c (prepare_tokens): Go up to ntokens, not ntokens + 1.
860 * doc/bison.texinfo (Decl Summary): s/$illegal/$undefined./.
861 * tests/regression.at (Web2c Actions): Adjust.
862
4b3d3a8e
AD
8632002-07-25 Akim Demaille <akim@epita.fr>
864
865 Stop storing rules from 1 to nrules + 1.
866
867 * src/LR0.c, src/closure.c, src/derives.c, src/gram.c, src/lalr.c
868 * src/nullable.c, src/output.c, src/print.c, src/reader.c
869 * src/reduce.c: Allocate and free from &rules[0], not &rules[1].
870 Iterate from 0 to nrules.
871 Use rule_number_as_item_number and item_number_as_rule_number.
872 Adjust to `derive' now containing possibly 0.
873 * src/gram.h (rule_number_as_item_number, item_number_as_rule_number):
874 Handle the `- 1' part in rule numbers from/to item numbers.
875 * src/conflicts.c (log_resolution): Fix the message which reversed
876 shift and reduce.
877 * src/output.c (action_row): Initialize default_rule to -1.
878 (token_actions): Adjust.
879 * tests/sets.at (Nullable, Firsts): Fix the previously bogus
880 expected output.
881 * tests/conflicts.at (Resolved SR Conflicts): Likewise.
882
4a2a22f4
AD
8832002-07-25 Akim Demaille <akim@epita.fr>
884
885 * data/c.m4 (b4_c_function, b4_c_ansi_args, b4_c_ansi_arg)
886 (b4_c_knr_arg_names, b4_c_knr_arg_name, b4_c_knr_arg_decls)
887 (b4_c_knr_arg_decl): New.
888 * data/yacc.c: Use it to define yysymprint, yydestruct, and
889 yyreport_parse_error.
890
b8df3223
AD
8912002-07-25 Akim Demaille <akim@epita.fr>
892
893 * data/yacc.c (yyreport_parse_error): New, extracted from...
894 (yyparse): here.
895 (yydestruct, yysymprint): Move above yyparse.
896 Be K&R compliant.
897
a762e609
AD
8982002-07-25 Akim Demaille <akim@epita.fr>
899
900 * data/c.m4 (b4_ints_in, b4_int_type, b4_int_type_for): New,
901 replace...
902 (b4_sint_type, b4_uint_type): these.
903 * data/yacc.c, data/glr.c, data/lalr1.cc: Use b4_int_type_for.
904 * tests/regression.at (Web2c Actions): Adjust.
905
12b0043a
AD
9062002-07-25 Akim Demaille <akim@epita.fr>
907
908 * src/gram.h (TIEM_NUMBER_MAX): New.
909 (item_number_of_rule_number, rule_number_of_item_number): Rename
910 as...
911 (rule_number_as_item_number, item_number_as_rule_number): these.
912 Adjust dependencies.
913 * src/output.c (vector_number_t, VECTOR_NUMBER_MAX)
914 (VECTOR_NUMBER_MIN, state_number_to_vector_number)
915 (symbol_number_to_vector_number): New.
916 (order): Of vector_number_t* type.
917 (base_t, BASE_MAX, BASE_MIN): New.
918 (froms, tos, width, pos, check): Of base_t type.
919 (action_number_t, ACTION_MIN, ACTION_MAX): New.
920 (actrow): Of action_number_t type.
921 (conflrow): Of unsigned int type.
922 (table_ninf, base_ninf): New.
923 (GENERATE_MUSCLE_INSERT_TABLE): Also output the `*_min' value.
924 (muscle_insert_int_table, muscle_insert_base_table)
925 (muscle_insert_rule_number_table): New.
926 (prepare_tokens): Output `toknum' as int_table.
927 (action_row): Returns a rule_number_t.
928 Use ACTION_MIN, not SHRT_MIN.
929 (token_actions): yydefact is rule_number_t*.
930 (table_ninf_remap): New.
931 (pack_table): Use it for `base' and `table'.
932 * data/yacc.c, data/glr.c, data/lalr1.cc (YYFLAG): Remove,
933 replaced with...
934 (YYPACT_NINF, YYTABLE_NINF): these.
935 (yypact, yytable): Compute their types instead of hard-coded
936 `short'.
937 * tests/regression.at (Web2c Actions): Adjust.
938
5dde258a
AD
9392002-07-19 Akim Demaille <akim@epita.fr>
940
941 * src/scan-gram.l (id): Can start with an underscore.
942
a945ec39
AD
9432002-07-16 Akim Demaille <akim@epita.fr>
944
945 * src/assoc.c, src/asssoc.h (assoc_t, assoc_to_string): New.
946 Adjust all former `associativity' dependencies.
947 * src/symtab.c (symbol_new): Default associativity is `undef', not
948 `right'.
949 (symbol_check_alias_consistence): Adjust.
950
fae437e8
AD
9512002-07-09 Akim Demaille <akim@epita.fr>
952
953 * doc/bison.texinfo: Properly set the ``header'' part.
954 Use @dircategory ``GNU programming tools'' as per Texinfo's
955 documentation.
956 Use @copying.
957
1a715ef2
AD
9582002-07-09 Akim Demaille <akim@epita.fr>
959
960 * lib/quotearg.h: Protect against multiple inclusions.
961 * src/location.h (location_t): Add a `file' member.
962 (LOCATION_RESET, LOCATION_PRINT): Adjust.
963 * src/complain.c (warn_at, complain_at, fatal_at): Drop
964 `error_one_per_line' support.
965
a5d50994
AD
9662002-07-09 Akim Demaille <akim@epita.fr>
967
968 * src/complain.h, src/complain.c (warn, complain): Remove, unused.
969 * src/reader.c (lineno): Remove.
970 Adjust all dependencies.
971 (get_merge_function): Take a location and use complain_at.
972 * src/symtab.h, src/symtab.c (symbol_make_alias): Likewise.
973 * tests/regression.at (Invalid inputs, Mixing %token styles):
974 Adjust.
975
b275314e
AD
9762002-07-09 Akim Demaille <akim@epita.fr>
977
978 * src/parse-gram.y (rules_or_grammar_declaration): Add an error
979 recovery rule, and forbid extensions when --yacc.
980 (gram_error): Use complain_at.
981 * src/reader.c (reader): Exit if there were parse errors.
982
865b9df1
AD
9832002-07-09 Akim Demaille <akim@epita.fr>
984
985 * tests/synclines.at (AT_SYNCLINES_COMPILE): New.
986 (AT_TEST_SYNCLINE): Adjust to unusual GCC outputs.
987 Reported by R Blake <blakers@mac.com>.
988
c76e14da
AD
9892002-07-09 Akim Demaille <akim@epita.fr>
990
991 * data/yacc.c: Output the copyright notive in the header.
992
7db2ed2d
AD
9932002-07-03 Akim Demaille <akim@epita.fr>
994
995 * src/output.c (froms, tos): Are state_number_t.
996 (save_column): sp, sp1, and sp2 are state_number_t.
997 (prepare): Rename `final' as `final_state_number', `nnts' as
998 `nterms_number', `nrules' as `rules_number', `nstates' as
999 `states_number', and `ntokens' as `tokens_number'. Remove `nsym',
1000 unused.
1001 * data/yacc.c, data/glr.c, data/lalr1.cc: Adjust.
1002 * data/lalr1.cc (nsym_): Remove, unused.
1003
e68e0410
AD
10042002-07-03 Akim Demaille <akim@epita.fr>
1005
1006 * src/lalr.h, src/lalr.c (goto_number_t): New.
1007 * src/lalr.c (goto_list_t): New.
1008 Propagate them.
1009 * src/nullable.c (rule_list_t): New.
1010 Propagate.
1011 * src/types.h: Remove.
1012
e1a4f3a4
AD
10132002-07-03 Akim Demaille <akim@epita.fr>
1014
1015 * src/closure.c (print_fderives): Use rule_rhs_print.
1016 * src/derives.c (print_derives): Use rule_rhs_print.
1017 (rule_list_t): New, replaces `shorts'.
1018 (set_derives): Add comments.
1019 * tests/sets.at (Nullable, Firsts): Adjust.
1020
536545f3
AD
10212002-07-03 Akim Demaille <akim@epita.fr>
1022
1023 * src/output.c (prepare_actions): Free `tally' and `width'.
1024 (prepare_actions): Allocate and free `order'.
1025 * src/symtab.c (symbols_free): Free `symbols'.
1026 * src/scan-gram.l (scanner_free): Clear Flex's scanners memory.
1027 * src/output.c (m4_invoke): Move to...
1028 * src/scan-skel.l: here.
1029 (<<EOF>>): Close yyout, and free its name.
1030
8b752b00
AD
10312002-07-03 Akim Demaille <akim@epita.fr>
1032
1033 Fix some memory leaks, and fix a bug: state 0 was examined twice.
1034
1035 * src/LR0.c (new_state): Merge into...
1036 (state_list_append): this.
1037 (new_states): Merge into...
1038 (generate_states): here.
1039 (set_states): Don't ensure a proper `errs' state member here, do it...
1040 * src/conflicts.c (conflicts_solve): here.
1041 * src/state.h, src/state.c: Comment changes.
1042 (state_t): Rename member `shifts' as `transitions'.
1043 Adjust all dependencies.
1044 (errs_new): For consistency, also take the values as argument.
1045 (errs_dup): Remove.
1046 (state_errs_set): New.
1047 (state_reductions_set, state_transitions_set): Assert that no
1048 previous value was assigned.
1049 (state_free): New.
1050 (states_free): Use it.
1051 * src/conflicts.c (resolve_sr_conflict): Don't use an `errs_t' as
1052 temporary storage: use `errs' and `nerrs' as elsewhere.
1053 (set_conflicts): Allocate and free this `errs'.
1054
613f5e1a
AD
10552002-07-02 Akim Demaille <akim@epita.fr>
1056
1057 * lib/libiberty.h: New.
1058 * lib: Update the bitset implementation from upstream.
1059 * src/closure.c, src/lalr.c, src/output.c, src/print_graph.c,
1060 * src/state.c: Use BITSET_FOR_EACH, not BITSET_EXECUTE.
1061 * src/main.c: Adjust bitset stats calls.
1062
26e0cadc
PE
10632002-07-01 Paul Eggert <eggert@twinsun.com>
1064
1065 * src/scan-gram.l (<SC_ESCAPED_CHARACTER>): Convert to unsigned
1066 char, so that negative chars don't collide with $.
1067
1154cced
AD
10682002-06-30 Akim Demaille <akim@epita.fr>
1069
1070 Have the GLR tests be `warning' checked, and fix the warnings.
1071
1072 * data/glr.c (YYFPRINTF): Always define it, not only when YYDEBUG
1073 (yyuserAction, yyreportAmbiguity): `Use' all the arguments.
1074 (yyremoveDeletes): `yyi' and `yyj' are size_t.
1075 Use YYFPRINTF when under if (YYDEBUG) to avoid empty `if' bodies.
1076 (yyaddDeferredAction): static.
1077 (yyglrReduce): yyi, yyk, amd yyposn are size_t.
1078 (yyreportParseError): yyprefix is const.
1079 yytokenp is used only when verbose.
1080 (yy__GNUC__): Replace with __GNUC__.
1081 (yypdumpstack): yyi is size_t.
1082 (yypreference): Un-yy local variables and arguments, to avoid
1083 clashes with `yyr1'. Anyway, we are not in the user name space.
1084 (yytname_size): be an int, as is compared with ints.
1085 * tests/testsuite.at (AT_COMPILE, AT_PARSER_CHECK): New.
1086 Use them.
1087 * tests/cxx-gram.at: Use quotation to protect $1.
1088 Use AT_COMPILE to enable warnings hunts.
1089 Prototype yylex and yyerror.
1090 `Use' argc.
1091 Include `string.h', not `strings.h'.
1092 Produce and prototype stmtMerge only when used.
1093 yylex takes a location.
1094
97650f4e
AD
10952002-06-30 Akim Demaille <akim@epita.fr>
1096
1097 We spend a lot of time in quotearg, in particular when --verbose.
1098
1099 * src/symtab.c (symbol_get): Store a quoted version of the key.
1100 (symbol_tag_get, symbol_tag_get_n, symbol_tag_print): Remove.
1101 Adjust all callers.
1102
d2576365
AD
11032002-06-30 Akim Demaille <akim@epita.fr>
1104
1105 * src/state.h (reductions_t): Rename member `nreds' as num.
1106 (errs_t): Rename members `nerrs' and `errs' as `num' and `symbols'.
1107 * src/state.c (ERRS_ALLOC, REDUCTIONS_ALLOC): Use the correct types.
1108
ccaf65bc
AD
11092002-06-30 Akim Demaille <akim@epita.fr>
1110
1111 * src/state.h, src/state.c (shift_t, SHIFT_SYMBOL, SHIFT_IS_SHIFT)
1112 (SHIFT_IS_GOTO, SHIFT_IS_ERROR, SHIFT_DISABLE, SHIFT_IS_DISABLED)
1113 (shifts_to): Rename as...
1114 (transition_t, TRANSITION_SYMBOL, TRANSITION_IS_TRANSITION)
1115 (TRANSITION_IS_GOTO, TRANSITION_IS_ERROR, TRANSITION_DISABLE)
1116 (TRANSITION_IS_DISABLED, transitions_to): these.
1117
87675353
AD
11182002-06-30 Akim Demaille <akim@epita.fr>
1119
1120 * src/print.c (print_shifts, print_gotos): Merge into...
1121 (print_transitions): this.
1122 (print_transitions, print_errs, print_reductions): Align the
1123 lookaheads columns.
1124 (print_core, print_transitions, print_errs, print_state,
1125 print_grammar): Output empty lines separator before, not after.
1126 (state_default_rule_compute): Rename as...
1127 (state_default_rule): this.
1128 * tests/conflicts.at (Defaulted Conflicted Reduction),
1129 (Unresolved SR Conflicts, Resolved SR Conflicts): Adjust.
1130 * tests/regression.at (Rule Line Numbers, Web2c Report): Adjust.
1131
ce4ccb4b
AD
11322002-06-30 Akim Demaille <akim@epita.fr>
1133
1134 Display items as we display rules.
1135
1136 * src/gram.h, src/gram.c (rule_lhs_print): New.
1137 * src/gram.c (grammar_rules_partial_print): Use it.
1138 * src/print.c (print_core): Likewise.
1139 * tests/conflicts.at (Defaulted Conflicted Reduction),
1140 (Unresolved SR Conflicts): Adjust.
1141 (Unresolved SR Conflicts): Adjust and rename as...
1142 (Resolved SR Conflicts): this, as was meant.
1143 * tests/regression.at (Web2c Report): Adjust.
1144
bc933ef1
AD
11452002-06-30 Akim Demaille <akim@epita.fr>
1146
1147 * src/print.c (state_default_rule_compute): New, extracted from...
1148 (print_reductions): here.
1149 Pessimize, but clarify the code.
1150 * tests/conflicts.at (Defaulted Conflicted Reduction): New.
1151
53d4308d
AD
11522002-06-30 Akim Demaille <akim@epita.fr>
1153
1154 * src/output.c (action_row): Let default_rule be always a rule
1155 number.
1156
574fb2d5
AD
11572002-06-30 Akim Demaille <akim@epita.fr>
1158
1159 * src/closure.c (print_firsts, print_fderives, closure):
1160 Use BITSET_EXECUTE.
1161 * src/lalr.c (lookaheads_print): Likewise.
1162 * src/state.c (state_rule_lookaheads_print): Likewise.
1163 * src/print_graph.c (print_core): Likewise.
1164 * src/print.c (print_reductions): Likewise.
1165 * src/output.c (action_row): Likewise.
1166 Use SHIFT_IS_DISABLED, SHIFT_IS_SHIFT and SHIFT_SYMBOL.
1167
05811fd7
AD
11682002-06-30 Akim Demaille <akim@epita.fr>
1169
1170 * src/print_graph.c: Use report_flag.
1171
0e4d5753
AD
11722002-06-30 Akim Demaille <akim@epita.fr>
1173
1174 * src/lalr.c (traverse, digraph, matrix_print, transpose): Move
1175 to...
1176 * src/relation.h, src/relation.c (traverse, relation_digraph)
1177 (relation_print, relation_transpose): New.
1178
24c7d800
AD
11792002-06-30 Akim Demaille <akim@epita.fr>
1180
1181 * src/state.h, src/state.c (shifts_to): New.
1182 * src/lalr.c (build_relations): Use it.
1183
9222837b
AD
11842002-06-30 Akim Demaille <akim@epita.fr>
1185
1186 * src/gram.h (rule_number_t, RULE_NUMBER_MAX, int_of_rule_number)
1187 (item_number_of_rule_number, rule_number_of_item_number): New.
1188 * src/LR0.c, src/closure.c, src/derives.c, src/derives.h,
1189 * src/gram.c, src/lalr.c, src/nullable.c, src/output.c, src/print.c,
1190 * src/print_graph.c, src/reader.c, src/reduce.c, src/reduce.h:
1191 Propagate their use.
1192 Much remains to be done, in particular wrt `shorts' from types.h.
1193
260008e5
AD
11942002-06-30 Akim Demaille <akim@epita.fr>
1195
1196 * src/symtab.c (symbol_new): Initialize the `printer' member.
1197
8a731ca8
AD
11982002-06-30 Akim Demaille <akim@epita.fr>
1199
1200 * src/LR0.c (save_reductions): Remove, replaced by...
1201 * src/state.h, src/state.c (state_reductions_set): New.
1202 (reductions, errs): Rename as...
1203 (reductions_t, errs_t): these.
1204 Adjust all dependencies.
1205
32e1e0a4
AD
12062002-06-30 Akim Demaille <akim@epita.fr>
1207
1208 * src/LR0.c (state_list_t, state_list_append): New.
1209 (first_state, last_state): Now symbol_list_t.
1210 (this_state): Remove.
1211 (new_itemsets, append_states, save_reductions): Take a state_t as
1212 argument.
1213 (set_states, generate_states): Adjust.
1214 (save_shifts): Remove, replaced by...
1215 * src/state.h, src/state.c (state_shifts_set): New.
1216 (shifts): Rename as...
1217 (shifts_t): this.
1218 Adjust all dependencies.
1219 * src/state.h (state_t): Remove the `next' member.
1220
e5fb6710
AD
12212002-06-30 Akim Demaille <akim@epita.fr>
1222
1223 * src/vcg.c (quote): Use slot 2, since we often pass symbol tag
1224 escaped in slot 0.
1225
c7ca99d4
AD
12262002-06-30 Akim Demaille <akim@epita.fr>
1227
1228 Use hash.h for the state hash table.
1229
1230 * src/LR0.c (STATE_HASH_SIZE, state_hash): Remove.
1231 (allocate_storage): Use state_hash_new.
1232 (free_storage): Use state_hash_free.
1233 (new_state, get_state): Adjust.
1234 * src/lalr.h, src/lalr.c (states): Move to...
1235 * src/states.h (state_t): Remove the `link' member, no longer
1236 used.
1237 * src/states.h, src/states.c: here.
1238 (state_hash_new, state_hash_free, state_hash_lookup)
1239 (state_hash_insert, states_free): New.
1240 * src/states.c (state_table, state_compare, state_hash): New.
1241 * src/output.c (output_actions): Do not free states now, since we
1242 still need to know the final_state number in `prepare', called
1243 afterwards. Do it...
1244 * src/main.c (main): here: call states_free after `output'.
1245
df0e7316
AD
12462002-06-30 Akim Demaille <akim@epita.fr>
1247
1248 * src/state.h, src/state.c (state_new): New, extracted from...
1249 * src/LR0.c (new_state): here.
1250 * src/state.h (STATE_ALLOC): Move to...
1251 * src/state.c: here.
1252 * src/LR0.h, src/LR0.c (nstates, final_state): Move to...
1253 * src/state.h, src/state.c: here.
1254
39f41916
AD
12552002-06-30 Akim Demaille <akim@epita.fr>
1256
1257 * src/reader.c (gensym): Rename as...
1258 * src/symtab.h, src/symtab.c (dummy_symbol_get): this.
1259 (getsym): Rename as...
1260 (symbol_get): this.
1261
d57650a5
AD
12622002-06-30 Akim Demaille <akim@epita.fr>
1263
1264 * src/state.h (state_number_t, STATE_NUMBER_MAX): New.
1265 * src/LR0.c, src/LR0.h, src/conflicts.c, src/lalr.c, src/lalr.h,
1266 * src/output.c, src/print.c, src/print_graph.c: Propagate.
1267 * src/LR0.h, src/LR0.h (final_state): Is a state_t*.
1268
5a08f1ce
AD
12692002-06-30 Akim Demaille <akim@epita.fr>
1270
1271 Make the test suite pass with warnings checked.
1272
1273 * tests/actions.at (Printers and Destructors): Improve.
1274 Avoid unsigned vs. signed issues.
1275 * tests/calc.at: Don't exercise the scanner here, do it...
1276 * tests/input.at (Torturing the Scanner): here.
1277
720623af
PH
12782002-06-28 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
1279
88e7e941 1280 * data/glr.c: Correct typo in Emacs-mode directive. Slightly
720623af
PH
1281 reorganize first lines parallel to yacc.c.
1282
fb8135fa
AD
12832002-06-28 Akim Demaille <akim@epita.fr>
1284
1285 * data/c.m4 (b4_copyright, b4_sint_type, b4_uint_type, b4_token_define)
1286 (b4_token_enum, b4_token_defines): New, factored from...
1287 * data/lalr1.cc, data/yacc.c, glr.c: here.
1288
41442480
AD
12892002-06-28 Akim Demaille <akim@epita.fr>
1290
1291 * data/yacc.c (yydestruct, yysymprint): Pacify GCC warnings for
1292 unused variables.
1293 * src/output.c (merger_output): static.
1294
e0e5bf84
AD
12952002-06-28 Akim Demaille <akim@epita.fr>
1296
1297 * src/reader.h: s/grammer_current_rule_merge_set/grammar_.../.
1298 * src/conflicts.c (conflicts_total_count): `i' is unsigned, to
1299 pacify GCC.
1300 * src/output.c (save_row): Initialize all the variables to pacify GCC.
e0e5bf84 1301
676385e2
PH
13022002-06-27 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
1303
1304 Accumulated changelog for new GLR parsing features.
1305
6a254321 1306 * src/conflicts.c (count_total_conflicts): Change name to
676385e2
PH
1307 conflicts_total_count.
1308 * src/conflicts.h: Ditto.
1309 * src/output.c (token_actions): Use the new name.
1310 (output_conflicts): Change conflp => conflict_list_heads, and
1311 confl => conflict_list for better readability.
1312 * data/glr.c: Use the new names.
1313 * NEWS: Add self to GLR announcement.
e0e5bf84 1314
676385e2
PH
1315 * src/reader.c (free_merger_functions): Cleanup: XFREE->free.
1316
1317 * doc/bison.texinfo (GLR Parsers): Make corrections suggested by
1318 Akim Demaille.
1319
1320 * data/bison.glr: Change name to glr.c
1321 * data/glr.c: Renamed from bison.glr.
1322 * data/Makefile.am: Add glr.c
e0e5bf84
AD
1323
1324 * src/getargs.c:
1325
676385e2
PH
1326 * src/symlist.h: Add dprec and merger fields to symbol_list_s.
1327 * src/symlist.c (symbol_list_new): Initialize dprec and merger fields.
e0e5bf84 1328
676385e2
PH
1329 Originally 2002-06-16 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
1330
1331 * data/bison.glr: Be sure to restore the
1332 current #line when returning to the skeleton contents after having
1333 exposed the input file's #line.
1334
1335 Originally 2002-06-13 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
1336
1337 * data/bison.glr: Bring up to date with changes to bison.simple.
1338
1339 Originally 2002-06-03 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
1340
1341 * data/bison.glr: Correct definitions that use b4_prefix.
1342 Various reformatting.
1343 (GLRStack): Make yychar (in YYPURE case) and yytokenp as part of stack.
1344 (yyreportParseError, yyrecoverParseError, yyprocessOneStack): remove
1345 yytokenp argument; now part of stack.
1346 (yychar): Define to behave as documented.
1347 (yyclearin): Ditto.
e0e5bf84 1348
676385e2
PH
1349 Originally 2002-05-14 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
1350
1351 * src/reader.h: Add declaration for free_merger_functions.
1352
1353 * src/reader.c (merge_functions): New variable.
1354 (get_merge_function): New function.
1355 (free_merger_functions): New function.
1356 (readgram): Check for %prec that is not followed by a symbol.
1357 Handle %dprec and %merge declarations.
1358 (packgram): Initialize dprec and merger fields in rules array.
1359
1360 * src/output.c (conflict_tos, conflrow, conflict_table, conflict_list,
1361 conflict_list_cnt, conflict_list_free): New variables.
1362 (table_grow): Also grow conflict_table.
e0e5bf84 1363 (prepare_rules): Output dprec and merger tables.
676385e2 1364 (conflict_row): New function.
e0e5bf84 1365 (action_row): Output conflict lists for GLR parser. Don't use
676385e2
PH
1366 default reduction in conflicted states for GLR parser so that there
1367 are spaces for the conflict lists.
1368 (save_row): Also save conflict information.
1369 (token_actions): Allocate conflict list.
1370 (merger_output): New function.
1371 (pack_vector): Pack conflict table, too.
1372 (output_conflicts): New function to output yyconflp and yyconfl.
1373 (output_check): Allocate conflict_tos.
1374 (output_actions): Output conflict tables, also.
1375 (output_skeleton): Output b4_mergers definition.
1376 (prepare): Output b4_max_rhs_length definition.
1377 Use 'bison.glr' as default skeleton for GLR parsers.
1378
1379 * src/gram.c (glr_parser): New flag.
1380 (grammar_free): Call free_merger_functions.
1381
1382 * src/conflicts.c (count_rr_conflicts): Augment to optionally count
1383 all pairs of conflicting reductions, rather than just all tokens
1384 causing conflicts. Needed to size conflict tables.
e0e5bf84 1385 (conflicts_output): Modify call to count_rr_conflicts for new
676385e2
PH
1386 interface.
1387 (conflicts_print): Ditto.
1388 (count_total_conflicts): New function.
1389
1390 * src/reader.h (merger_list): New type.
1391 (merge_functions): New variable.
1392
1393 * src/lex.h (tok_dprec, tok_merge): New token types.
1394
1395 * src/gram.h (rule_s): Add dprec and merger fields.
1396 (glr_parser): New flag.
1397
1398 * src/conflicts.h (count_total_conflicts): New function.
1399
1400 * src/options.c (option_table): Add %dprec, %merge, and %glr-parser.
1401
1402 * doc/bison.texinfo (Generalized LR Parsing): New section.
1403 (GLR Parsers): New section.
1404 (Language and Grammar): Mention GLR parsing.
1405 (Table of Symbols): Add %dprec, %glr-parser, %merge, GLR
1406 Correct typo ("tge" -> "the").
1407
1408 * data/bison.glr: New skeleton for GLR parsing.
1409
1410 * tests/cxx-gram.at: New tests for GLR parsing.
1411
1412 * tests/testsuite.at: Include cxx-gram.at.
1413
1414 * tests/Makefile.am: Add cxx-gram.at.
e0e5bf84 1415
676385e2
PH
1416 * src/parse-gram.y:
1417
1418 * src/scan-gram.l: Add %dprec, %glr-parser, %merge.
1419
1420 * src/parse-gram.y: Grammar for %dprec, %merge, %glr-parser.
e0e5bf84 1421
b5480d74 14222002-06-27 Akim Demaille <akim@epita.fr>
e2aaf4c4
AD
1423
1424 * src/options.h, src/options.c: Remove.
1425 * src/getargs.c (short_options, long_options): New.
1426
60491a94
AD
14272002-06-27 Akim Demaille <akim@epita.fr>
1428
1429 * data/bison.simple, data/bison.c++: Rename as...
1430 * data/yacc.c, data/lalr1.cc: these.
1431 * doc/bison.texinfo (Environment Variables): Remove.
1432
9be0c25b
AD
14332002-06-25 Raja R Harinath <harinath@cs.umn.edu>
1434
1435 * src/getargs.c (report_argmatch): Initialize strtok().
1436
1ae72863
AD
14372002-06-20 Akim Demaille <akim@epita.fr>
1438
1439 * data/bison.simple (b4_symbol_actions): New, replaces...
1440 (b4_symbol_destructor, b4_symbol_printer): these.
1441 (yysymprint): Be sure to call YYPRINT only for tokens, and using
1442 user token numbers.
1443
87542d29
AD
14442002-06-20 Akim Demaille <akim@epita.fr>
1445
1446 * data/bison.simple (yydestructor): Rename as...
1447 (yydestruct): this.
1448
1a31ed21
AD
14492002-06-20 Akim Demaille <akim@epita.fr>
1450
1451 * src/symtab.h, src/symtab.c (symbol_type_set)
1452 (symbol_destructor_set, symbol_precedence_set): The location is
1453 the last argument.
1454 Adjust all callers.
1455
e776192e
AD
14562002-06-20 Akim Demaille <akim@epita.fr>
1457
1458 * src/parse-gram.y (YYPRINT, yyprint): Don't mess with the parser
1459 internals.
1460 * src/reader.h, src/reader.c (grammar_current_rule_prec_set):
1461 Takes a location.
1462 * src/symtab.h, src/symtab.c (symbol_class_set)
1463 (symbol_user_token_number_set): Likewise.
1464 Adjust all callers.
1465 Promote complain_at.
1466 * tests/input.at (Type Clashes): Adjust.
1467
5c1180b3
AD
14682002-06-20 Akim Demaille <akim@epita.fr>
1469
1470 * data/bison.simple (YYLEX): Fix the declaration when
1471 %pure-parser.
1472
e3170060
AD
14732002-06-20 Akim Demaille <akim@epita.fr>
1474
1475 * data/bison.simple (yysymprint): Don't print the token number,
1476 just its name.
1477 * tests/actions.at (Destructors): Rename as...
1478 (Printers and Destructors): this.
1479 Also exercise %printer.
1480
253862fd
AD
14812002-06-20 Akim Demaille <akim@epita.fr>
1482
1483 * data/bison.simple (YYDSYMPRINT): New.
1484 Use it to remove many of the #if YYDEBUG/if (yydebug).
1485
366eea36
AD
14862002-06-20 Akim Demaille <akim@epita.fr>
1487
1488 * src/symtab.h, src/symtab.c (symbol_t): printer and
1489 printer_location are new members.
1490 (symbol_printer_set): New.
1491 * src/parse-gram.y (PERCENT_PRINTER): New token.
1492 Handle its associated rule.
1493 * src/scan-gram.l: Adjust.
1494 (handle_destructor_at, handle_destructor_dollar): Rename as...
1495 (handle_symbol_code_at, handle_symbol_code_dollar): these.
1496 * src/output.c (symbol_printers_output): New.
1497 (output_skeleton): Call it.
1498 * data/bison.simple (yysymprint): New. Cannot be named yyprint
1499 since there are already many grammar files with a user `yyprint'.
1500 Replace the calls to YYPRINT to calls to yysymprint.
1501 * tests/calc.at: Adjust.
1502 * tests/torture.at (AT_DATA_STACK_TORTURE): Remove YYPRINT: it was
1503 taking advantage of parser very internal details (stack size!).
1504
4f25ebb0
AD
15052002-06-20 Akim Demaille <akim@epita.fr>
1506
1507 * src/scan-gram.l: Complete the scanner with the missing patterns
1508 to pacify Flex.
1509 Use `quote' and `symbol_tag_get' where appropriate.
1510
93b68a0e
AD
15112002-06-19 Akim Demaille <akim@epita.fr>
1512
1513 * tests/actions.at (Destructors): Augment to test locations.
1514 * data/bison.simple (yydestructor): Pass it the current location
1515 if locations are enabled.
1516 Prototype only when __STDC__ or C++.
1517 Change the argument names to move into the yy name space: there is
1518 user code here.
1519
58612f1d
AD
15202002-06-19 Akim Demaille <akim@epita.fr>
1521
74310291
AD
1522 * data/bison.simple (b4_pure_if): New.
1523 Use it instead of #ifdef YYPURE.
1524
15252002-06-19 Akim Demaille <akim@epita.fr>
1526
1527 * data/bison.simple (b4_location_if): New.
58612f1d
AD
1528 Use it instead of #ifdef YYLSP_NEEDED.
1529
f25bfb75
AD
15302002-06-19 Akim Demaille <akim@epita.fr>
1531
1532 Prepare @$ in %destructor, but currently don't bind it in the
1533 skeleton, as %location use is not cleaned up yet.
1534
1535 * src/scan-gram.l (handle_dollar, handle_destructor_at)
1536 (handle_action_at): New.
1537 (handle_at, handle_action_dollar, handle_destructor_dollar): Take
1538 a braced_code_t and a location as additional arguments.
1539 (handle_destructor_dollar): Instead of requiring `b4_eval', just
1540 unquote one when outputting `b4_dollar_dollar'.
1541 Adjust callers.
1542 * data/bison.simple (b4_eval): Remove.
1543 (b4_symbol_destructor): Adjust.
1544 * tests/input.at (Invalid @n): Adjust.
1545
c732d2c6
AD
15462002-06-19 Zack Weinberg <zack@codesourcery.com>
1547
1548 * doc/bison.texinfo: Document ability to have multiple
1549 prologue sections.
1550
8c165d89
AD
15512002-06-18 Akim Demaille <akim@epita.fr>
1552
1553 * src/files.c (compute_base_names): When computing the output file
1554 names from the input file name, strip the directory part.
1555
ca98bf57
AD
15562002-06-18 Akim Demaille <akim@epita.fr>
1557
1558 * data/bison.simple.new: Comment changes.
1559 Reported by Andreas Schwab.
1560
0bfb02ff
AD
15612002-06-18 Matt Kraai <kraai@alumni.cmu.edu>
1562
1563 * data/bison.simple (yyoverflowlab): #ifndef yyoverflow, so that
1564 there are no `label `yyoverflowlab' defined but not used' warnings
1565 when yyoverflow is defined.
1566
24c0aad7
AD
15672002-06-18 Akim Demaille <akim@epita.fr>
1568
1569 * src/symtab.h, src/symtab.c (symbol_t): destructor_location is a
1570 new member.
1571 (symbol_destructor_set): Adjust.
1572 * src/output.c (symbol_destructors_output): Output the destructor
1573 locations.
1574 Output the symbol name.
1575 * data/bison.simple (b4_symbol_destructor): Adjust.
1576
5719c109
AD
15772002-06-18 Cris Bailiff <c.bailiff@awayweb.com>
1578 and Akim Demaille <akim@epita.fr>
1579
1580 * data/bison.simple.new (yyerrlab1): Be sure to pop and destroy
1581 what's left on the stack when the error recovery hits EOF.
1582 * tests/actions.at (Destructors): Complete to exercise this case.
1583
9280d3ef
AD
15842002-06-17 Akim Demaille <akim@epita.fr>
1585
1586 * data/m4sugar/m4sugar.m4 (m4_map): Recognize when the list of
1587 arguments is really empty, not only equal to `[]'.
1588 * src/symtab.h, src/symtab.c (symbol_t): `destructor' is a new
1589 member.
1590 (symbol_destructor_set): New.
1591 * src/output.c (symbol_destructors_output): New.
1592 * src/reader.h (brace_code_t, current_braced_code): New.
1593 * src/scan-gram.l (BRACED_CODE): Use it to branch on...
1594 (handle_dollar): Rename as...
1595 (handle_action_dollar): this.
1596 (handle_destructor_dollar): New.
1597 * src/parse-gram.y (PERCENT_DESTRUCTOR): New.
1598 (grammar_declaration): Use it.
1599 * data/bison.simple (yystos): Is always defined.
1600 (yydestructor): New.
1601 * tests/actions.at (Destructors): New.
1602 * tests/calc.at (_AT_CHECK_CALC_ERROR): Don't rely on egrep.
1603
dafdc66f
AD
16042002-06-17 Akim Demaille <akim@epita.fr>
1605
1606 * src/symlist.h, src/symlist.c (symbol_list_length): New.
1607 * src/scan-gram.l (handle_dollar, handle_at): Compute the
1608 rule_length only when needed.
1609 * src/output.c (actions_output, token_definitions_output): Output
1610 the full M4 block.
1611 * src/symtab.c: Don't access directly to the symbol tag, use
1612 symbol_tag_get.
1613 * src/parse-gram.y: Use symbol_list_free.
1614
56c47203
AD
16152002-06-17 Akim Demaille <akim@epita.fr>
1616
1617 * src/reader.h, src/reader.c (symbol_list, symbol_list_new)
1618 (symbol_list_prepend, get_type_name): Move to...
1619 * src/symlist.h, src/symlist.c (symbol_list_t, symbol_list_new)
1620 (symbol_list_prepend, symbol_list_n_type_name_get): here.
1621 Adjust all callers.
1622 (symbol_list_free): New.
1623 * src/scan-gram.l (handle_dollar): Takes a location.
1624 * tests/input.at (Invalid $n): Adjust.
1625
1e0bab92
AD
16262002-06-17 Akim Demaille <akim@epita.fr>
1627
1628 * src/reader.h, src/reader.c (symbol_list_new): Export it.
1629 (symbol_list_prepend): New.
1630 * src/parse-gram.y (%union): `list' is a new member.
1631 (symbols.1): New, replaces...
1632 (terms_to_prec.1, nterms_to_type.1): these.
1633 * src/symtab.h, src/symtab.c (symbol_type_set, symbol_precedence_set)
1634 Take a location as additional argument.
1635 Adjust all callers.
1636
04e60654
AD
16372002-06-15 Akim Demaille <akim@epita.fr>
1638
1639 * src/parse-gram.y: Move %token in the declaration section so that
1640 we don't depend upon CVS Bison.
1641
10e5b8bd
AD
16422002-06-15 Akim Demaille <akim@epita.fr>
1643
1644 * src/state.h, src/state.c (state_rule_lookaheads_print): New.
1645 * src/print.c (print_core): Use it.
1646
9801d40c
AD
16472002-06-15 Akim Demaille <akim@epita.fr>
1648
1649 * src/conflicts.c (log_resolution): Accept the rule involved in
1650 the sr conflicts instead of the lookahead number that points to
1651 that rule.
1652 (flush_reduce): Accept the current lookahead vector as argument,
1653 instead of the index in LA.
1654 (resolve_sr_conflict): Accept the current number of lookahead
1655 bitset to consider for the STATE, instead of the index in LA.
1656 (set_conflicts): Adjust.
1657 * src/lalr.c, src/lalr.h, src/state.h: Comment changes.
1658
c0263492
AD
16592002-06-15 Akim Demaille <akim@epita.fr>
1660
1661 * src/state.h (state_t): Replace the `lookaheadsp' member, a
1662 short, with `lookaheads' (bitsetv), `lookaheads_rule' (rule_t**).
1663 Adjust all dependencies.
1664 * src/lalr.c (initialize_lookaheads): Split into...
1665 (states_lookaheads_count, states_lookaheads_initialize): these.
1666 (lalr): Adjust.
1667
9757c359
AD
16682002-06-15 Akim Demaille <akim@epita.fr>
1669
1670 * src/gram.h, src/gram.c (grammar_rules_partial_print): New, eved
1671 out of...
1672 (grammar_rules_print): here.
1673 * src/reduce.c (reduce_output): Use it.
1674 * tests/reduce.at (Useless Rules, Reduced Automaton)
1675 (Underivable Rules): Adjust.
1676
6b98e4b5
AD
16772002-06-15 Akim Demaille <akim@epita.fr>
1678
1679 Copy BYacc's nice way to report the grammar.
1680
1681 * src/gram.h, src/gram.c (grammar_rhs_print, grammar_rules_print):
1682 New.
1683 Don't print the rules' location, it is confusing and useless.
1684 (rule_print): Use grammar_rhs_print.
1685 * src/print.c (print_grammar): Use grammar_rules_print.
1686
6b98e4b5
AD
16872002-06-15 Akim Demaille <akim@epita.fr>
1688
1689 Complete and rationalize `useless thing' warnings.
1690
1691 * src/symtab.h, src/symtab.c (symbol_tag_get, symbol_tag_get_n)
1692 (symbol_tag_print): New.
1693 Use them everywhere in place of accessing directly the tag member.
1694 * src/gram.h, src/gram.c (rule_print): New.
1695 Use it where a rule used to be printed `by hand'.
1696 * src/reduce.c (nonterminals_reduce): Report the use nonterminals.
1697 (reduce_grammar_tables): Report the useless rules.
1698 (reduce_print): Useless things are a warning, not an error.
1699 Report it as such.
1700 * tests/reduce.at (Useless Nonterminals, Useless Rules):
1701 (Reduced Automaton, Underivable Rules): Adjust.
1702 * tests/regression.at (Web2c Report, Web2c Report): Adjust.
1703 * tests/conflicts.at (Unresolved SR Conflicts)
1704 (Solved SR Conflicts): Adjust.
1705
ee000ba4
AD
17062002-06-15 Akim Demaille <akim@epita.fr>
1707
1708 Let symbols have a location.
1709
1710 * src/symtab.h, src/symtab.c (symbol_t): Location is a new member.
1711 (getsym): Adjust.
1712 Adjust all callers.
1713 * src/complain.h, src/complain.c (complain_at, fatal_at, warn_at):
1714 Use location_t, not int.
1715 * src/symtab.c (symbol_check_defined): Take advantage of the
1716 location.
1717 * tests/regression.at (Invalid inputs): Adjust.
1718
8efe435c
AD
17192002-06-15 Akim Demaille <akim@epita.fr>
1720
1721 * src/parse-gram.y (YYLLOC_DEFAULT, current_lhs_location): New.
1722 (input): Don't try to initialize yylloc here, do it in the
1723 scanner.
1724 * src/scan-gram.l (YY_USER_INIT): Initialize yylloc.
1725 * src/gram.h (rule_t): Change line and action_line into location
1726 and action_location, of location_t type.
1727 Adjust all dependencies.
1728 * src/location.h, src/location.c (empty_location): New.
1729 * src/reader.h, src/reader.c (grammar_start_symbol_set)
1730 (grammar_symbol_append, grammar_rule_begin, grammar_rule_end)
1731 (grammar_current_rule_symbol_append)
1732 (grammar_current_rule_action_append): Expect a location as argument.
1733 * src/reader.c (grammar_midrule_action): Adjust to attach an
1734 action's location as dummy symbol location.
1735 * src/symtab.h, src/symtab.c (startsymbol_location): New.
1736 * tests/regression.at (Web2c Report, Rule Line Numbers): Adjust
1737 the line numbers.
1738
1921f1d7
AD
17392002-06-14 Akim Demaille <akim@epita.fr>
1740
1741 Grammar declarations may be found in the grammar section.
1742
1743 * src/parse-gram.y (rules_or_grammar_declaration): New.
1744 (declarations): Each declaration may end with a semicolon, not
1745 just...
1746 (grammar_declaration): `"%union"'.
1747 (grammar): Branch to rules_or_grammar_declaration.
1748
4515534c
AD
17492002-06-14 Akim Demaille <akim@epita.fr>
1750
1751 * src/main.c (main): Invoke scanner_free.
1752
f958596b
AD
17532002-06-14 Akim Demaille <akim@epita.fr>
1754
1755 * src/output.c (m4_invoke): Extracted from...
1756 (output_skeleton): here.
1757 Free tempfile.
1758
2c569025
AD
17592002-06-14 Akim Demaille <akim@epita.fr>
1760
1761 * src/parse-gram.y (directives, directive, gram)
1762 (grammar_directives, precedence_directives, precedence_directive):
1763 Rename as...
1764 (declarations, declaration, grammar, grammar_declaration)
1765 (precedence_declaration, precedence_declarator): these.
1766 (symbol_declaration): New.
1767
592e8d4d
AD
17682002-06-14 Akim Demaille <akim@epita.fr>
1769
1770 * src/files.c (action_obstack): Remove, unused.
1771 (output_obstack): Remove it, and all its dependencies, as it is no
1772 longer needed.
1773 * src/reader.c (epilogue_set): Build the epilogue in the
1774 muscle_obstack.
1775 * src/output.h, src/output.c (muscle_obstack): Move to...
1776 * src/muscle_tab.h, src/muscle_tab.h: here.
1777 (muscle_init): Initialize muscle_obstack.
1778 (muscle_free): New.
1779 * src/main.c (main): Call it.
1780
0c15323d
AD
17812002-06-14 Akim Demaille <akim@epita.fr>
1782
1783 * src/location.h: New, extracted from...
1784 * src/reader.h: here.
1785 * src/Makefile.am (noinst_HEADERS): Merge into
1786 (bison_SOURCES): this.
1787 Add location.h.
1788 * src/parse-gram.y: Use location_t instead of Bison's.
1789 * src/reader.h, src/reader.c (prologue_augment, epilogue_set):
1790 Use location_t instead of ints.
1791
e96c9728
AD
17922002-06-14 Akim Demaille <akim@epita.fr>
1793
1794 * data/bison.simple, data/bison.c++: Be sure to restore the
1795 current #line when returning to the skeleton contents after having
1796 exposed the input file's #line.
1797
75d1fe16
AD
17982002-06-12 Akim Demaille <akim@epita.fr>
1799
1800 * src/scan-gram.l (SC_BRACED_CODE): Don't use `<.*>', it is too
1801 eager.
1802 * tests/actions.at (Exotic Dollars): New.
1803
6c35d22c
AD
18042002-06-12 Akim Demaille <akim@epita.fr>
1805
1806 * src/scan-gram.l (SC_PROLOGUE): Don't eat characters amongst
1807 ['"/] too eagerly.
1808 * tests/input.at (Torturing the Scanner): New.
1809
1d6412ad
AD
18102002-06-11 Akim Demaille <akim@epita.fr>
1811
1812 * src/scan-gram.l (YY_OBS_INIT): Remove, replace with...
1813 [SC_COMMENT,SC_STRING,SC_CHARACTER,SC_BRACED_CODE,SC_PROLOGUE]
1814 [SC_EPILOGUE]: Output the quadrigraphs only when not in a comment.
1815 * src/reader.h, src/scan-gram.l (scanner_initialize): this.
1816 * src/reader.c (reader): Use it.
1817
4cdb01db
AD
18182002-06-11 Akim Demaille <akim@epita.fr>
1819
1820 * src/scan-gram.l (YY_OBS_FINISH): Don't set yylval.
1821 Adjust all callers.
1822 (scanner_last_string_free): New.
1823
44995b2e
AD
18242002-06-11 Akim Demaille <akim@epita.fr>
1825
1826 * src/scan-gram.l (YY_INIT, YY_GROW, YY_FINISH): Rename as...
1827 (YY_OBS_INIT, YY_OBS_GROW, YY_OBS_FINISH): these.
1828 (last_string, YY_OBS_FREE): New.
1829 Use them when returning an ID.
1830
e9955c83
AD
18312002-06-11 Akim Demaille <akim@epita.fr>
1832
1833 Have Bison grammars parsed by a Bison grammar.
1834
1835 * src/reader.c, src/reader.h (prologue_augment): New.
1836 * src/reader.c (copy_definition): Remove.
1837
1838 * src/reader.h, src/reader.c (gram_start_symbol_set, prologue_augment)
1839 (grammar_symbol_append, grammar_rule_begin, grammar_midrule_action)
1840 (grammar_current_rule_prec_set, grammar_current_rule_check)
1841 (grammar_current_rule_symbol_append)
1842 (grammar_current_rule_action_append): Export.
1843 * src/parse-gram.y (symbol_list_new, symbol_list_symbol_append_
1844 (symbol_list_action_append): Remove.
1845 Hook the routines from reader.
1846 * src/scan-gram.l: In INITIAL, characters and strings are tokens.
1847 * src/system.h (ATTRIBUTE_NORETURN, ATTRIBUTE_UNUSED): Now.
1848
1849 * src/reader.c (read_declarations): Remove, unused.
1850
1851 * src/parse-gram.y: Handle the epilogue.
1852 * src/reader.h, src/reader.c (gram_start_symbol_set): Rename as...
1853 (grammar_start_symbol_set): this.
1854 * src/scan-gram.l: Be sure to ``use'' yycontrol to keep GCC quiet.
1855 * src/reader.c (readgram): Remove, unused.
1856 (reader): Adjust to insert eoftoken and axiom where appropriate.
1857
1858 * src/reader.c (copy_dollar): Replace with...
1859 * src/scan-gram.h (handle_dollar): this.
1860 * src/parse-gram.y: Remove `%thong'.
1861
1862 * src/reader.c (copy_at): Replace with...
1863 * src/scan-gram.h (handle_at): this.
1864
1865 * src/complain.h, src/complain.c (warn_at, complain_at, fatal_at):
1866 New.
1867
1868 * src/scan-gram.l (YY_LINES): Keep lineno synchronized for the
1869 time being.
1870
1871 * src/reader.h, src/reader.c (grammar_rule_end): New.
1872
1873 * src/parse.y (current_type, current_class): New.
1874 Implement `%nterm', `%token' support.
1875 Merge `%term' into `%token'.
1876 (string_as_id): New.
1877 * src/symtab.h, src/symtab.c (symbol_make_alias): Don't pass the
1878 type name.
1879
1880 * src/parse-gram.y: Be sure to handle properly the beginning of
1881 rules.
1882
1883 * src/parse-gram.y: Handle %type.
1884 * src/reader.c (grammar_rule_end): Call grammar_current_rule_check.
1885
1886 * src/parse-gram.y: More directives support.
1887 * src/options.c: No longer handle source directives.
1888
1889 * src/parse-gram.y: Fix %output.
1890
1891 * src/parse-gram.y: Handle %union.
1892 Use the prologue locations.
1893 * src/reader.c (parse_union_decl): Remove.
1894
1895 * src/reader.h, src/reader.c (epilogue_set): New.
1896 * src/parse-gram.y: Use it.
1897
1898 * data/bison.simple, data/bison.c++: b4_stype is now either not
1899 defined, then default to int, or to the contents of %union,
1900 without `union' itself.
1901 Adjust.
1902 * src/muscle_tab.c (muscle_init): Don't predefine `stype'.
1903
1904 * src/output.c (actions_output): Don't output braces, as they are
1905 already handled by the scanner.
1906
1907 * src/scan-gram.l (SC_CHARACTER): Set the user_token_number of
1908 characters to themselves.
1909
1910 * tests/reduce.at (Reduced Automaton): End the grammars with %% so
1911 that the epilogue has a proper #line.
1912
1913 * src/parse-gram.y: Handle precedence/associativity.
1914
1915 * src/symtab.c (symbol_precedence_set): Requires the symbol to be
1916 a terminal.
1917 * src/scan-gram.l (SC_BRACED_CODE): Catch strings and characters.
1918 * tests/calc.at: Do not use `%token "foo"' as it makes not sense
1919 at all to define terminals that cannot be emitted.
1920
1921 * src/scan-gram.l: Escape M4 characters.
1922
1923 * src/scan-gram.l: Working properly with escapes in user
1924 strings/characters.
1925
1926 * tests/torture.at (AT_DATA_TRIANGULAR_GRAMMAR)
1927 (AT_DATA_HORIZONTAL_GRAMMAR): Respect the `%token ID NUM STRING'
1928 grammar.
1929 Use more modest sizes, as for the time being the parser does not
1930 release memory, and therefore the process swallows a huge amount
1931 of memory.
1932
1933 * tests/torture.at (AT_DATA_LOOKAHEADS_GRAMMAR): Adjust to the
1934 stricter %token grammar.
1935
1936 * src/symtab.h (associativity): Add `undef_assoc'.
1937 (symbol_precedence_set): Do nothing when passed an undef_assoc.
1938 * src/symtab.c (symbol_check_alias_consistence): Adjust.
1939
1940 * tests/regression.at (Invalid %directive): Remove, as it is now
1941 meaningless.
1942 (Invalid inputs): Adjust to the new error messages.
1943 (Token definitions): The new grammar doesn't allow too many
1944 eccentricities.
1945
1946 * src/lex.h, src/lex.c: Remove.
1947 * src/reader.c (lastprec, skip_to_char, read_signed_integer)
1948 (copy_character, copy_string2, copy_string, copy_identifier)
1949 (copy_comment, parse_token_decl, parse_type_decl, parse_assoc_decl)
1950 (parse_muscle_decl, parse_dquoted_param, parse_skel_decl)
1951 (parse_action): Remove.
1952 * po/POTFILES.in: Adjust.
1953
2e047461
AD
19542002-06-11 Akim Demaille <akim@epita.fr>
1955
1956 * src/reader.c (parse_action): Don't store directly into the
1957 rule's action member: return the action as a string.
1958 Don't require `rule_length' as an argument: compute it.
1959 (grammar_current_rule_symbol_append)
1960 (grammar_current_rule_action_append): New, eved out from
1961 (readgram): here.
1962 Remove `action_flag', `rulelength', unused now.
1963
9af3fbce
AD
19642002-06-11 Akim Demaille <akim@epita.fr>
1965
1966 * src/reader.c (grammar_current_rule_prec_set).
1967 (grammar_current_rule_check): New, eved out from...
1968 (readgram): here.
1969 Remove `xaction', `first_rhs': useless.
1970 * tests/input.at (Type clashes): New.
1971 * tests/existing.at (GNU Cim Grammar): Adjust.
1972
1485e106
AD
19732002-06-11 Akim Demaille <akim@epita.fr>
1974
1975 * src/reader.c (grammar_midrule_action): New, Eved out from
1976 (readgram): here.
1977
da4160c3
AD
19782002-06-11 Akim Demaille <akim@epita.fr>
1979
1980 * src/reader.c (grammar_rule_begin, previous_rule, current_rule):
1981 New.
1982 (readgram): Use them as replacement of inlined code, crule and
1983 crule1.
1984
f6d0f937
AD
19852002-06-11 Akim Demaille <akim@epita.fr>
1986
1987 * src/reader.c (grammar_end, grammar_symbol_append): New.
1988 (readgram): Use them.
1989 Make the use of `p' as local as possible.
1990
69078d4b
AD
19912002-06-10 Akim Demaille <akim@epita.fr>
1992
1993 GCJ's parser requires the tokens to be defined before the prologue.
1994
1995 * data/bison.simple: Output the token definition before the user's
1996 prologue.
1997 * tests/regression.at (Braces parsing, Duplicate string)
1998 (Mixing %token styles): Check the output from bison.
1999 (Early token definitions): New.
2000
5e424082
AD
20012002-06-10 Akim Demaille <akim@epita.fr>
2002
2003 * src/symtab.c (symbol_user_token_number_set): Don't complain when
2004 assigning twice the same user number to a token, so that we can
2005 use it in...
2006 * src/lex.c (lex): here.
2007 Also use `symbol_class_set' instead of hand written code.
2008 * src/reader.c (parse_assoc_decl): Likewise.
2009
44536b35
AD
20102002-06-10 Akim Demaille <akim@epita.fr>
2011
2012 * src/symtab.c, src/symtab.c (symbol_class_set)
2013 (symbol_user_token_number_set): New.
2014 * src/reader.c (parse_token_decl): Use them.
2015 Use a switch instead of ifs.
2016 Use a single argument.
2017
8b9f2372
AD
20182002-06-10 Akim Demaille <akim@epita.fr>
2019
2020 Remove `%thong' support as it is undocumented, unused, duplicates
2021 `%token's job, and creates useless e-mail traffic with people who
2022 want to know what it is, why it is undocumented, unused, and
2023 duplicates `%token's job.
2024
2025 * src/reader.c (parse_thong_decl): Remove.
2026 * src/options.c (option_table): Remove "thong".
2027 * src/lex.h (tok_thong): Remove.
2028
3ae2b51f
AD
20292002-06-10 Akim Demaille <akim@epita.fr>
2030
2031 * src/symtab.c, src/symtab.c (symbol_type_set)
2032 (symbol_precedence_set): New.
2033 * src/reader.c (parse_type_decl, parse_assoc_decl): Use them.
2034 (value_components_used): Remove, unused.
2035
2f1afb73
AD
20362002-06-09 Akim Demaille <akim@epita.fr>
2037
2038 Move symbols handling code out of the reader.
2039
2040 * src/reader.h, src/reader.c (errtoken, undeftoken, eoftoken)
2041 (axiom): Move to...
2042 * src/symtab.h, src/symtab.c: here.
2043
2044 * src/gram.c (start_symbol): Remove: use startsymbol->number.
2045 * src/reader.c (startval): Rename as...
2046 * src/symtab.h, src/symtab.c (startsymbol): this.
2047 * src/reader.c: Adjust.
2048
2049 * src/reader.c (symbol_check_defined, symbol_make_alias)
2050 (symbol_check_alias_consistence, symbol_pack, symbol_translation)
2051 (token_translations_init)
2052 Move to...
2053 * src/symtab.c: here.
2054 * src/reader.c (packsymbols): Move to...
2055 * src/symtab.h, src/symtab.c (symbols_pack): here.
2056 * src/symtab.h, src/symtab.c (symbol_make_alias): Takes SYMVAL as
2057 argument.
2058
e9bca3ad
AD
20592002-06-03 Akim Demaille <akim@epita.fr>
2060
2061 * src/muscle_tab.c (muscle_insert, muscle_find): Declarations,
2062 then statements.
2063
86eff183
AD
20642002-06-03 Akim Demaille <akim@epita.fr>
2065
2066 * src/muscle_tab.c (muscle_find, muscle_insert): Don't initialize
2067 structs with non literals.
2068 * src/scan-skel.l: never-interactive.
2069 * src/conflicts.c (enum conflict_resolution_e): No trailing
2070 comma.
2071 * src/getargs.c (usage): Split long literal strings.
2072 Reported by Hans Aberg.
2073
717be197
AD
20742002-05-28 Akim Demaille <akim@epita.fr>
2075
2076 * data/bison.c++: Use C++ ostreams.
2077 (cdebug_): New member.
2078
670ddffd
AD
20792002-05-28 Akim Demaille <akim@epita.fr>
2080
2081 * src/output.c (output_skeleton): Be sure to allocate enough room
2082 for `/' _and_ for `\0' in full_skeleton.
2083
769b430f
AD
20842002-05-28 Akim Demaille <akim@epita.fr>
2085
2086 * data/bison.c++: Catch up with bison.simple:
2087 2002-05-24 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
2088 and Paul Eggert <eggert@twinsun.com>: `error' handing.
2089 2002-05-26 Akim Demaille <akim@epita.fr>: stos_, token_number_,
2090 and popping traces.
2091
7067cb36
PH
20922002-05-27 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
2093
2094 * src/output.c (output_skeleton): Put an explicit path in front of
2095 the skeleton file name, rather than relying on the -I directory,
2096 to partially alleviate effects of having a skeleton file lying around
2097 in the current directory.
769b430f 2098
4a713ec2
PH
20992002-05-27 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
2100
769b430f 2101 * src/conflicts.c (log_resolution): Correct typo:
4a713ec2
PH
2102 obstack_printf should be obstack_fgrow1.
2103
b408954b
AD
21042002-05-26 Akim Demaille <akim@epita.fr>
2105
2106 * src/state.h (state_t): `solved_conflicts' is a new member.
2107 * src/LR0.c (new_state): Set it to 0.
2108 * src/conflicts.h, src/conflicts.c (print_conflicts)
2109 (free_conflicts, solve_conflicts): Rename as...
2110 (conflicts_print, conflicts_free, conflicts_solve): these.
2111 Adjust callers.
2112 * src/conflicts.c (enum conflict_resolution_e)
2113 (solved_conflicts_obstack): New, used by...
2114 (log_resolution): this.
2115 Adjust to attach the conflict resolution to each state.
2116 Complete the description with the precedence/associativity
2117 information.
2118 (resolve_sr_conflict): Adjust.
2119 * src/print.c (print_state): Output its solved_conflicts.
2120 * tests/conflicts.at (Unresolved SR Conflicts)
2121 (Solved SR Conflicts): Exercise --report=all.
2122
a49aecd5
AD
21232002-05-26 Akim Demaille <akim@epita.fr>
2124
2125 * src/LR0.c, src/derives.c, src/gram.c, src/gram.h, src/lalr.c,
2126 * src/nullable.c, src/output.c, src/print.c, src/print_graph.c,
2127 * src/reader.c, src/reduce.c, src/state.h, src/symtab.h
2128 (token_number_t, item_number_as_token_number)
2129 (token_number_as_item_number, muscle_insert_token_number_table):
2130 Rename as...
2131 (symbol_number_t, item_number_as_symbol_number)
2132 (symbol_number_as_item_number, muscle_insert_symbol_number_table):
2133 these, since it is more appropriate.
2134
5504898e
AD
21352002-05-26 Akim Demaille <akim@epita.fr>
2136
2137 * tests/calc.at (AT_CHECK_CALC): Adjust: there are now additional
2138 `Error:' lines.
2139 * data/bison.simple (yystos) [YYDEBUG]: New.
2140 (yyparse) [YYDEBUG]: Display the symbols which are popped during
2141 error recovery.
2142 * tests/regression.at (Web2c Actions): Adjust: yystos is output now.
2143
ec3bc396
AD
21442002-05-25 Akim Demaille <akim@epita.fr>
2145
2146 * doc/bison.texinfo (Debugging): Split into...
2147 (Tracing): this new section, its former contents, and...
2148 (Understanding): this new section.
2149 * src/getargs.h, src/getargs.c (verbose_flag): Remove, replaced
2150 by...
2151 (report_flag): this.
2152 Adjust all dependencies.
2153 (report_args, report_types, report_argmatch): New.
2154 (usage, getargs): Report/support -r, --report.
2155 * src/options.h
2156 (struct option_table_struct): Rename as..,
2157 (struct option_table_s): this.
2158 Rename the `set_flag' member to `flag' to match with getopt_long's
2159 struct.
2160 * src/options.c (option_table): Split verbose into an entry for
2161 %verbose, and another for --verbose.
2162 Support --report/-r, so remove -r from the obsolete --raw.
2163 * src/print.c: Attach full item sets and lookaheads reports to
2164 report_flag instead of trace_flag.
2165 * lib/argmatch.h, lib/argmatch.c: New, from Fileutils 4.1.
2166
78df8250
PE
21672002-05-24 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
2168 and Paul Eggert <eggert@twinsun.com>
769b430f 2169
78df8250
PE
2170 * data/bison.simple (yyparse): Correct error handling to conform to
2171 POSIX and yacc. Specifically, after syntax error is discovered,
2172 do not reduce further before shifting the error token.
2173 Clean up the code a bit by removing the labels yyerrdefault,
2174 yyerrhandle, yyerrpop.
2175 * NEWS: Document the above.
2176
c0c9ea05
PH
21772002-05-20 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
2178
2179 * data/bison.simple (yyr1): Don't use yy_token_number_type as element
2180 type; it isn't always big enough, since it doesn't necessarily
2181 include non-terminals.
769b430f 2182 (yytranslate): Expand definition of yy_token_number_type, so that
c0c9ea05
PH
2183 the latter can be removed.
2184 (yy_token_number_type): Remove, only one use.
2185 * data/bison.c++ (r1_): Parallel change to yyr1 in bison.simple---
2186 don't use TokenNumberType as element type.
769b430f 2187
c0c9ea05
PH
2188 * tests/regression.at: Modify expected output to agree with change
2189 to yyr1 and yytranslate.
769b430f 2190
6390a83f
FK
21912002-05-13 Florian Krohm <florian@edamail.fishkill.ibm.com>
2192
2193 * src/reader.c (parse_action): Use copy_character instead of
2194 obstack_1grow.
2195
db7c8e9a
AD
21962002-05-13 Akim Demaille <akim@epita.fr>
2197
2198 * tests/regression.at (Token definitions): Prototype yylex and
2199 yyerror.
2200
fcc61800
PH
22012002-05-12 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
2202
158c687b 2203 * src/scan-skel.l: Correct off-by-one error in handling of __oline__.
fcc61800
PH
2204 * data/bison.simple (b4_sint_type, b4_uint_type): Correct to reflect
2205 32-bit arithmetic.
2206 * data/bison.c++ (b4_sint_type, b4_uint_type): Ditto.
2207
5683e9b2
AD
22082002-05-07 Akim Demaille <akim@epita.fr>
2209
2210 * tests/synclines.at: Be sure to prototype yylex and yyerror to
2211 avoid GCC warnings.
2212
0c2d3f4c
AD
22132002-05-07 Akim Demaille <akim@epita.fr>
2214
2215 Kill GCC warnings.
2216
2217 * src/reduce.c (nonterminals_reduce): Don't loop over RITEM: loop
2218 over the RHS of each rule.
2219 * src/gram.h, src/gram.c (nritems): Is `unsigned int', not int.
2220 * src/state.h (state_t): Member `nitems' is unsigned short.
2221 * src/LR0.c (get_state): Adjust.
2222 * src/reader.c (packgram): Likewise.
2223 * src/output.c (GENERATE_MUSCLE_INSERT_TABLE): `max' is of type
2224 `Type'.
2225 (muscle_insert_int_table): Remove, unused.
2226 (prepare_rules): Remove `max'.
2227
1565b720
AD
22282002-05-06 Akim Demaille <akim@epita.fr>
2229
2230 * src/closure.c (print_firsts): Display of the symbol tags.
2231 (bitmatrix_print): Move to...
2232 * lib/bitsetv-print.h, lib/bitsetv-print.c (bitsetv_matrix_dump):
2233 here.
2234 * tests/sets.at (Nullable, Broken Closure, Firsts): Adjust.
2235
cfaee611
AD
22362002-05-06 Akim Demaille <akim@epita.fr>
2237
2238 * src/muscle_tab.c (muscle_m4_output): Must return TRUE for
2239 hash_do_for_each.
2240
458be8e0
AD
22412002-05-06 Akim Demaille <akim@epita.fr>
2242
2243 * src/LR0.c (new_state, get_state): Instead of using the global
2244 `kernel_size' and `kernel_base', have two new arguments:
2245 `core_size' and `core'.
2246 Adjust callers.
2247
a900a624
AD
22482002-05-06 Akim Demaille <akim@epita.fr>
2249
2250 * src/reader.c (packgram): No longer end `ritem' with a 0
2251 sentinel: it is not used.
2252
d4e7d3a1
AD
22532002-05-05 Akim Demaille <akim@epita.fr>
2254
2255 New experimental feature: display the lookaheads in the report and
2256 graph.
2257
2258 * src/print (print_core): When --trace-flag, display the rules
2259 lookaheads.
2260 * src/print_graph.c (print_core): Likewise.
2261 Swap the arguments.
2262 Adjust caller.
2263
39ceb25b
AD
22642002-05-05 Akim Demaille <akim@epita.fr>
2265
2266 * tests/torture.at (Many lookaheads): New test.
2267
5372019f
AD
22682002-05-05 Akim Demaille <akim@epita.fr>
2269
2270 * src/output.c (GENERATE_OUTPUT_TABLE): Replace with...
2271 (GENERATE_MUSCLE_INSERT_TABLE): this.
2272 (output_int_table, output_unsigned_int_table, output_short_table)
2273 (output_token_number_table, output_item_number_table): Replace with...
2274 (muscle_insert_int_table, muscle_insert_unsigned_int_table)
2275 (muscle_insert_short_table, muscle_insert_token_number_table)
2276 (muscle_insert_item_number_table): these.
2277 Adjust all callers.
2278 (prepare_tokens): Don't free `translations', since...
2279 * src/reader.h, src/reader.c (grammar_free): do it.
2280 Move to...
2281 * src/gram.h, src/gram.c (grammar_free): here.
2282 * data/bison.simple, data/bison.c++: b4_token_number_max is now
2283 b4_translate_max.
2284
5df5f6d5
AD
22852002-05-05 Akim Demaille <akim@epita.fr>
2286
2287 * src/output.c (output_unsigned_int_table): New.
2288 (prepare_rules): `i' is unsigned.
2289 `prhs', `rline', `r2' are unsigned int.
2290 Rename muscle `rhs_number_max' as `rhs_max'.
2291 Output muscles `prhs_max', `rline_max', and `r2_max'.
2292 Free rline and r1.
2293 * data/bison.simple, data/bison.c++: Adjust to use these muscles
2294 to compute types instead of constant types.
2295 * tests/regression.at (Web2c Actions): Adjust.
2296
b87f8b21
AD
22972002-05-04 Akim Demaille <akim@epita.fr>
2298
2299 * src/symtab.h (SALIAS, SUNDEF): Rename as...
2300 (USER_NUMBER_ALIAS, USER_NUMBER_UNDEFINED): these.
2301 Adjust dependencies.
2302 * src/output.c (token_definitions_output): Be sure not to output a
2303 `#define 'a'' when fed with `%token 'a' "a"'.
2304 * tests/regression.at (Token definitions): New.
2305
8bb936e4
PE
23062002-05-03 Paul Eggert <eggert@twinsun.com>
2307
2308 * data/bison.simple (b4_token_defines): Also define YYTOKENTYPE
2309 for K&R C.
2310
23112002-05-03 gettextize <bug-gnu-gettext@gnu.org>
2312
2313 * Makefile.am (SUBDIRS): Remove intl.
2314 (EXTRA_DIST): Add config/config.rpath.
2315
53c71a12
AD
23162002-05-03 Akim Demaille <akim@epita.fr>
2317
2318 * data/bison.simple (m4_if): Don't output empty enums.
2319 And actually, output valid enum definitions :(.
2320
289dd0cf
AD
23212002-05-03 Akim Demaille <akim@epita.fr>
2322
2323 * configure.bat: Remove, completely obsolete.
2324 * Makefile.am (EXTRA_DIST): Adjust.
2325 Don't distribute config.rpath...
2326 * config/Makefile.am (EXTRA_DIST): Do it.
2327
db85e524
AD
23282002-05-03 Akim Demaille <akim@epita.fr>
2329
2330 * configure.in (GETTEXT_VERSION): New.
2331 Suggested by Bruno Haible for the forthcoming Gettext 0.10.3.
2332
83ccf991
AD
23332002-05-03 Akim Demaille <akim@epita.fr>
2334
2335 * data/bison.simple (b4_token_enum): New.
2336 (b4_token_defines): Use it to output tokens both as #define and
2337 enums.
2338 Suggested by Paul Eggert.
2339 * src/output.c (token_definitions_output): Don't output spurious
2340 white spaces.
2341
1f418995
AD
23422002-05-03 Akim Demaille <akim@epita.fr>
2343
2344 * data/m4sugar/m4sugar.m4: Update from CVS Autoconf.
2345
45119f04
RA
23462002-05-02 Robert Anisko <robert@lrde.epita.fr>
2347
2348 * data/bison.c++: Adapt expansion of $s and @s to the C++ parser.
2349 Update the stack class, give a try to deque as the default container.
2350
b2d52318
AD
23512002-05-02 Akim Demaille <akim@epita.fr>
2352
2353 * data/bison.simple (yyparse): Do not implement @$ = @1.
2354 (YYLLOC_DEFAULT): Adjust to do it.
2355 * doc/bison.texinfo (Location Default Action): Fix.
2356
3a8b4109
AD
23572002-05-02 Akim Demaille <akim@epita.fr>
2358
2359 * src/reader.c (parse_braces): Merge into...
2360 (parse_action): this.
2361
84614e13
AD
23622002-05-02 Akim Demaille <akim@epita.fr>
2363
2364 * configure.in (ALL_LINGUAS): Remove.
2365 * po/LINGUAS, hr.po: New.
2366
fdbcd8e2
AD
23672002-05-02 Akim Demaille <akim@epita.fr>
2368
2369 Remove the so called hairy (semantic) parsers.
2370
2371 * src/system.h (EXT_GUARD_C, EXT_STYPE_H): Remove.
2372 * src/gram.h, src/gram.c (semantic_parser): Remove.
2373 (rule_t): Remove the guard and guard_line members.
2374 * src/lex.h (token_t): remove tok_guard.
2375 * src/options.c (option_table): Remove %guard and %semantic_parser
2376 support.
2377 * src/output.c, src/output.h (guards_output): Remove.
2378 (prepare): Adjust.
2379 (token_definitions_output): Don't output the `T'
2380 tokens (???).
2381 (output_skeleton): Don't output the guards.
2382 * src/files.c, src/files.c (attrsfile): Remove.
2383 * src/reader.c (symbol_list): Remove the guard and guard_line
2384 members.
2385 Adjust dependencies.
2386 (parse_guard): Remove.
2387 * data/bison.hairy: Remove.
2388 * doc/bison.texinfo (Environment Variables): Remove occurrences of
2389 BISON_HAIRY.
2390
82b6cb3f
AD
23912002-05-02 Akim Demaille <akim@epita.fr>
2392
2393 * src/reader.c (copy_at, copy_dollarm parse_braces, parse_action)
2394 (parse_guard): Rename the formal argument `stack_offset' as
2395 `rule_length', which is more readable.
2396 Adjust callers.
2397 (copy_at, copy_dollar): Instead of outputting the hard coded
2398 values of $$, $n and so forth, output invocation to b4_lhs_value,
2399 b4_lhs_location, b4_rhs_value, and b4_rhs_location.
900c877b
AD
2400 Note: this patch partially drops `semantic-parser' support: it
2401 always does `rule_length - n', where semantic parsers ought to
2402 always use `-n'.
82b6cb3f
AD
2403 * data/bison.simple, data/bison.c++ (b4_lhs_value)
2404 (b4_lhs_location, b4_rhs_value, and b4_rhs_location: New.
2405
6cbfbcc5
AD
24062002-05-02 Akim Demaille <akim@epita.fr>
2407
2408 * configure.in (AC_INIT): Bump to 1.49b.
2409 (AM_INIT_AUTOMAKE): Short invocation.
2410
b8548114
AD
24112002-05-02 Akim Demaille <akim@epita.fr>
2412
2413 Version 1.49a.
2414
c20cd1fa
AD
24152002-05-01 Akim Demaille <akim@epita.fr>
2416
2417 * src/skeleton.h: Remove.
2418
8a9566d4
AD
24192002-05-01 Akim Demaille <akim@epita.fr>
2420
2421 * src/skeleton.h: Fix the #endif.
2422 Reported by Magnus Fromreide.
2423
8c6d399a
PE
24242002-04-26 Paul Eggert <eggert@twinsun.com>
2425
2426 * data/bison.simple (YYSTYPE_IS_TRIVIAL, YYLTYPE_IS_TRIVIAL):
2427 Define if we define YYSTYPE and YYLTYPE, respectively.
b756bb75 2428 (YYCOPY): Fix [] quoting problem in the non-GCC case.
8a9566d4 2429
2b7ed18a
RA
24302002-04-25 Robert Anisko <robert@lrde.epita.fr>
2431
2432 * src/scan-skel.l: Postprocess quadrigraphs.
2433
2434 * src/reader.c (copy_character): New function, used to output
2435 single characters while replacing `[' and `]' with quadrigraphs, to
2436 avoid troubles with M4 quotes.
2437 (copy_comment): Output characters with copy_character.
2438 (read_additionnal_code): Likewise.
2439 (copy_string2): Likewise.
2440 (copy_definition): Likewise.
2441
2442 * tests/calc.at: Exercise M4 quoting.
2443
34a89c50
AD
24442002-04-25 Akim Demaille <akim@epita.fr>
2445
2446 * tests/sets.at (AT_EXTRACT_SETS): Sed portability issue: no space
2447 between `!' and the command.
2448 Reported by Paul Eggert.
2449
0dd1580a
RA
24502002-04-24 Robert Anisko <robert@lrde.epita.fr>
2451
2452 * tests/calc.at: Exercise prologue splitting.
2453
2454 * data/bison.simple, data/bison.c++: Use `b4_pre_prologue' and
2455 `b4_post_prologue' instead of `b4_prologue'.
2456
2457 * src/output.c (prepare): Add the `pre_prologue' and `post_prologue'
2458 muscles.
2459 (output): Free pre_prologue_obstack and post_prologue_obstack.
2460 * src/files.h, src/files.c (attrs_obstack): Remove.
2461 (pre_prologue_obstack, post_prologue_obstack): New.
2462 * src/reader.c (copy_definition): Add a parameter to specify the
2463 obstack to fill, instead of using attrs_obstack unconditionally.
2464 (read_declarations): Pass pre_prologue_obstack to copy_definition if
2465 `%union' has not yet been seen, pass post_prologue_obstack otherwise.
2466
83c1796f
PE
24672002-04-23 Paul Eggert <eggert@twinsun.com>
2468
2469 * data/bison.simple: Remove unnecessary commentary and white
2470 space differences from 1_29-branch.
2471 Depend on YYERROR_VERBOSE, not defined (YYERROR_VERBOSE).
2472
2473 (union yyalloc, YYSTACK_GAP_MAX, YYSTACK_BYTES, YYCOPY,
2474 YYSTACK_RELOCATE): Do not define if yyoverflow is defined, or
2475 if this is a C++ parser and YYSTYPE or YYLTYPE has nontrivial
2476 constructors or destructors.
2477
2478 (yyparse) [! defined YYSTACK_RELOCATE]: Do not relocate the stack.
2479
1207eeac
AD
24802002-04-23 Akim Demaille <akim@epita.fr>
2481
2482 * tests/sets.at (AT_EXTRACT_SETS): Don't use 8 char long sed labels.
2483 * tests/synclines.at (AT_TEST_SYNCLINE): Be robust to GCC's
2484 location with columns.
2485 * tests/conflicts.at (%nonassoc and eof): Don't use `error.h'.
2486 All reported by Paul Eggert.
2487
78ab8f67
AD
24882002-04-22 Akim Demaille <akim@epita.fr>
2489
2490 * src/reduce.c (dump_grammar): Move to...
2491 * src/gram.h, src/gram.c (grammar_dump): here.
2492 Be sure to separate long item numbers.
2493 Don't read the members of a rule's prec if its nil.
2494
133c20e2
AD
24952002-04-22 Akim Demaille <akim@epita.fr>
2496
2497 * src/output.c (table_size, table_grow): New.
2498 (MAXTABLE): Remove, replace uses with table_size.
2499 (pack_vector): Instead of dying when the table is too big, grow it.
2500
9515e8a7
AD
25012002-04-22 Akim Demaille <akim@epita.fr>
2502
2503 * data/bison.simple (yyr1): Its type is that of a token number.
2504 * data/bison.c++ (r1_): Likewise.
2505 * tests/regression.at (Web2c Actions): Adjust.
2506
23c5a174
AD
25072002-04-22 Akim Demaille <akim@epita.fr>
2508
2509 * src/reader.c (token_translations_init): 256 is now the default
2510 value for the error token, i.e., it will be assigned another
2511 number if the user assigned 256 to one of her tokens.
2512 (reader): Don't force 256 to error.
2513 * doc/bison.texinfo (Symbols): Adjust.
2514 * tests/torture.at (AT_DATA_HORIZONTAL_GRAMMAR)
2515 (AT_DATA_TRIANGULAR_GRAMMAR): Number the tokens as 1, 2, 3
2516 etc. instead of 10, 20, 30 (which was used to `jump' over error
2517 (256) and undefined (2)).
2518
5fbb0954
AD
25192002-04-22 Akim Demaille <akim@epita.fr>
2520
2521 Propagate more token_number_t.
2522
2523 * src/gram.h (token_number_as_item_number)
2524 (item_number_as_token_number): New.
2525 * src/output.c (GENERATE_OUTPUT_TABLE): New.
2526 Use it to create output_item_number_table and
2527 output_token_number_table.
2528 * src/LR0.c, src/derives.c, src/gram.c, src/gram.h, src/lalr.c,
2529 * src/lex.c, src/nullable.c, src/output.c, src/print.c,
2530 * src/print_graph.c, src/reader.c, src/reduce.c, src/state.h,
2531 * src/symtab.c, src/symtab.h: Use token_number_t instead of shorts.
2532
4f940944
AD
25332002-04-22 Akim Demaille <akim@epita.fr>
2534
2535 * src/output.h, src/output.c (get_lines_number): Remove.
2536
3ded9a63
AD
25372002-04-19 Akim Demaille <akim@epita.fr>
2538
2539 * doc/bison.texinfo (Actions): Make clear that `|' is not the same
2540 as Lex/Flex'.
2541 (Debugging): More details about enabling the debugging features.
2542 (Table of Symbols): Describe $$, $n, @$, and @n.
2543 Suggested by Tim Josling.
2544
e0c471a9
AD
25452002-04-19 Akim Demaille <akim@epita.fr>
2546
2547 * doc/bison.texinfo: Remove the uses of the obsolete @refill.
2548
fecc10cd
AD
25492002-04-10 Akim Demaille <akim@epita.fr>
2550
2551 * src/system.h: Rely on HAVE_LIMITS_H.
2552 Suggested by Paul Eggert.
2553
51dec47b
AD
25542002-04-09 Akim Demaille <akim@epita.fr>
2555
2556 * tests/calc.at (_AT_CHECK_CALC_ERROR): Receive as argument the
2557 full stderr, and strip it according to the bison options, instead
2558 of composing the error message from different bits.
2559 This makes it easier to check for several error messages.
2560 Adjust all the invocations.
2561 Add an invocation exercising the error token.
2562 Add an invocation demonstrating a stupid error message.
2563 (_AT_DATA_CALC_Y): Follow the GCS: initial column is 1, not 0.
2564 Adjust the tests.
2565 Error message are for stderr, not stdout.
2566
007a50a4
AD
25672002-04-09 Akim Demaille <akim@epita.fr>
2568
2569 * src/gram.h, src/gram.c (error_token_number): Remove, use
2570 errtoken->number.
2571 * src/reader.c (reader): Don't specify the user token number (2)
2572 for $undefined, as it uselessly prevents using it.
2573 * src/gram.h (token_number_t): Move to...
2574 * src/symtab.h: here.
2575 (state_t.number): Is a token_number_t.
2576 * src/print.c, src/reader.c: Use undeftoken->number instead of
2577 hard coded 2.
2578 (Even though this 2 is not the same as above: the number of the
2579 undeftoken remains being 2, it is its user token number which
2580 might not be 2).
2581 * src/output.c (prepare_tokens): Rename the `maxtok' muscle with
2582 `user_token_number_max'.
2583 Output `undef_token_number'.
2584 * data/bison.simple, data/bison.c++: Use them.
2585 Be sure to map invalid yylex return values to
2586 `undef_token_number'. This saves us from gratuitous SEGV.
2587
2588 * tests/conflicts.at (Solved SR Conflicts)
2589 (Unresolved SR Conflicts): Adjust.
2590 * tests/regression.at (Web2c Actions): Adjust.
2591
06446ccf
AD
25922002-04-08 Akim Demaille <akim@epita.fr>
2593
2594 * data/bison.c++: s/b4_item_number_max/b4_rhs_number_max/.
2595 Adding #line.
2596 Remove the duplicate `typedefs'.
2597 (RhsNumberType): Fix the declaration and various other typos.
2598 Use __ofile__.
2599 * data/bison.simple: Use __ofile__.
2600 * src/scan-skel.l: Handle __ofile__.
2601
62a3e4f0
AD
26022002-04-08 Akim Demaille <akim@epita.fr>
2603
2604 * src/gram.h (item_number_t): New, the type of item numbers in
2605 RITEM. Note that it must be able to code symbol numbers as
2606 positive number, and the negation of rule numbers as negative
2607 numbers.
2608 Adjust all dependencies (pretty many).
2609 * src/reduce.c (rule): Remove this `short *' pointer: use
2610 item_number_t.
2611 * src/system.h (MINSHORT, MAXSHORT): Remove.
2612 Include `limits.h'.
2613 Adjust dependencies to using SHRT_MAX and SHRT_MIN.
2614 (shortcpy): Remove.
2615 (MAXTABLE): Move to...
2616 * src/output.c (MAXTABLE): here.
2617 (prepare_rules): Use output_int_table to output rhs.
2618 * data/bison.simple, data/bison.c++: Adjust.
2619 * tests/torture.at (Big triangle): Move the limit from 254 to
2620 500.
2621 * tests/regression.at (Web2c Actions): Ajust.
2622
2623 Trying with bigger grammars shows various phenomena: at 3000 (28Mb
2624 of grammar file) bison is killed by my system, at 2000 (12Mb) bison
2625 passes, but produces negative #line number, once fixed, GCC is
2626 killed while compiling 14Mb, at 1500 (6.7 Mb of grammar, 8.2Mb of
2627 C), it passes.
2628 * src/state.h (state_h): Code input lines on ints, not shorts.
2629
bb88b0fc
AD
26302002-04-08 Akim Demaille <akim@epita.fr>
2631
2632 * src/reduce.c (reduce_grammar): First reduce the nonterminals,
2633 and then the grammar.
2634
9a636f47
AD
26352002-04-08 Akim Demaille <akim@epita.fr>
2636
2637 * src/system.h: No longer using strndup.
2638
680e8701
AD
26392002-04-07 Akim Demaille <akim@epita.fr>
2640
2641 * src/muscle_tab.h (MUSCLE_INSERT_LONG_INT): New.
2642 * src/output.c (output_table_data): Return the longest number.
2643 (prepare_tokens): Output `token_number_max').
2644 * data/bison.simple, data/bison.c++ (b4_sint_type, b4_uint_type):
2645 New.
2646 Use them to define yy_token_number_type/TokenNumberType.
2647 Use this type for yytranslate.
2648 * tests/torture.at (Big triangle): Push the limit from 124 to
2649 253.
2650 * tests/regression.at (Web2c Actions): Adjust.
2651
817e9f41
AD
26522002-04-07 Akim Demaille <akim@epita.fr>
2653
2654 * tests/torture.at (Big triangle): New.
2655 (GNU AWK Grammar, GNU Cim Grammar): Move to...
2656 * tests/existing.at: here.
2657
5123689b
AD
26582002-04-07 Akim Demaille <akim@epita.fr>
2659
2660 * src/gram.h, src/gram.c (nitems): Remove, it is an alias of
2661 nritems.
2662 Adjust dependencies.
2663
f3849179
AD
26642002-04-07 Akim Demaille <akim@epita.fr>
2665
2666 * src/reader.c: Normalize increments to prefix form.
2667
bd02036a
AD
26682002-04-07 Akim Demaille <akim@epita.fr>
2669
2670 * src/reader.c, symtab.c: Remove debugging code.
2671
db8837cb
AD
26722002-04-07 Akim Demaille <akim@epita.fr>
2673
2674 Rename all the `bucket's as `symbol_t'.
2675
2676 * src/gram.c, src/gram.h, src/lex.c, src/lex.h, src/output.c,
2677 * src/reader.c, src/reader.h, src/reduce.c, src/state.h,
2678 * src/symtab.c, src/symtab.h (bucket): Rename as...
2679 (symbol_t): this.
2680 (symbol_list_new, bucket_check_defined, bucket_make_alias)
2681 (bucket_check_alias_consistence, bucket_pack, bucket_translation)
2682 (bucket_new, bucket_free, hash_compare_bucket, hash_bucket)
2683 (buckets_new, buckets_free, buckets_do): Rename as...
2684 (symbol_list_new, symbol_check_defined, symbol_make_alias)
2685 (symbol_check_alias_consistence, symbol_pack, symbol_translation)
2686 (symbol_new, symbol_free, hash_compare_symbol_t, hash_symbol_t)
2687 (symbols_new, symbols_free, symbols_do): these.
2688
72a23c97
AD
26892002-04-07 Akim Demaille <akim@epita.fr>
2690
2691 Use lib/hash for the symbol table.
2692
2693 * src/gram.c (ntokens): Initialize to 1, to reserve a slot for
2694 EOF.
2695 * src/lex.c (lex): Set the `number' member of new terminals.
2696 * src/reader.c (bucket_check_defined, bucket_make_alias)
2697 (bucket_check_alias_consistence, bucket_translation): New.
2698 (reader, grammar_free, readgram, token_translations_init)
2699 (packsymbols): Adjust.
2700 (reader): Number the predefined tokens.
2701 * src/reduce.c (inaccessable_symbols): Just use hard coded numbers
2702 for predefined tokens.
2703 * src/symtab.h (bucket): Remove all the hash table related
2704 members.
2705 * src/symtab.c (symtab): Replace by...
2706 (bucket_table): this.
2707 (bucket_new, bucket_free, hash_compare_bucket, hash_bucket)
2708 (buckets_new, buckets_do): New.
2709
280a38c3
AD
27102002-04-07 Akim Demaille <akim@epita.fr>
2711
2712 * src/gram.c (nitems, nrules, nsyms, ntokens, nvars, nritems)
2713 (start_symbol, max_user_token_number, semantic_parser)
2714 (error_token_number): Initialize.
2715 * src/reader.c (grammar, start_flag, startval, typed, lastprec):
2716 Initialize.
2717 (reader): Don't.
2718 (errtoken, eoftoken, undeftoken, axiom): Extern.
2719
03b31c0c
AD
27202002-04-07 Akim Demaille <akim@epita.fr>
2721
2722 * src/gram.h (rule_s): prec and precsym are now pointers
2723 to the bucket giving the priority/associativity.
2724 Member `associativity' removed: useless.
2725 * src/reduce.c, src/conflicts.c: Adjust.
2726
8b3df748
AD
27272002-04-07 Akim Demaille <akim@epita.fr>
2728
2729 * src/lalr.c, src/LR0.c, src/closure.c, src/gram.c, src/reduce.c:
2730 Properly escape the symbols' TAG when outputting them.
2731
e601aa1d
AD
27322002-04-07 Akim Demaille <akim@epita.fr>
2733
2734 * src/lalr.h (LA): Is a bitsetv, not bitset*.
2735
b0299a2e
AD
27362002-04-07 Akim Demaille <akim@epita.fr>
2737
2738 * src/lalr.h, src/lalr.c (LAruleno): Replace with...
2739 (LArule): this, which is an array to rule_t*.
2740 * src/print.c, src/conflicts.c: Adjust.
2741
d7e1f00c
AD
27422002-04-07 Akim Demaille <akim@epita.fr>
2743
2744 * src/gram.h (rule_t): Rename `number' as `user_number'.
2745 `number' is a new member.
2746 Adjust dependencies.
2747 * src/reduce.c (reduce_grammar_tables): Renumber rule_t.number.
2748
cc9305dd
AD
27492002-04-07 Akim Demaille <akim@epita.fr>
2750
2751 As a result of the previous patch, it is no longer needed
2752 to reorder ritem itself.
2753
2754 * src/reduce.c (reduce_grammar_tables): Don't sort RITEM.
2755
b0940840
AD
27562002-04-07 Akim Demaille <akim@epita.fr>
2757
2758 Be sure never to walk through RITEMS, but use only data related to
2759 the rules themselves. RITEMS should be banished.
2760
2761 * src/output.c (output_token_translations): Rename as...
2762 (prepare_tokens): this.
2763 In addition to `translate', prepare the muscles `tname' and
2764 `toknum', which were handled by...
2765 (output_rule_data): this.
2766 Remove, and move the remainder of its outputs into...
2767 (prepare_rules): this new routines, which also merges content from
2768 (output_gram): this.
2769 (prepare_rules): Be sure never to walk through RITEMS.
2770 (output_stos): Rename as...
2771 (prepare_stos): this.
2772 (output): Always invoke prepare_states, after all, just don't use it
2773 in the output if you don't need it.
2774
643a5994
AD
27752002-04-07 Akim Demaille <akim@epita.fr>
2776
2777 * src/LR0.c (new_state): Display `nstates' as the name of the
2778 newly created state.
2779 Adjust to initialize first_state and last_state if needed.
2780 Be sure to distinguish the initial from the final state.
2781 (new_states): Create the itemset of the initial state, and use
2782 new_state.
2783 * src/closure.c (closure): Now that the initial state has its
2784 items properly set, there is no need for a special case when
2785 creating `ruleset'.
2786
2787 As a result, now the rule 0, reducing to $axiom, is visible in the
2788 outputs. Adjust the test suite.
2789
2790 * tests/conflicts.at (Solved SR Conflicts)
2791 (Unresolved SR Conflicts): Adjust.
2792 * tests/regression.at (Web2c Report, Rule Line Numbers): Idem.
2793 * tests/conflicts.at (S/R in initial): New.
2794
b4c4ccc2
AD
27952002-04-07 Akim Demaille <akim@epita.fr>
2796
2797 * src/LR0.c (allocate_itemsets): Don't loop over ritem: loop over
2798 the RHS of the rules.
2799 * src/output.c (output_gram): Likewise.
2800
bba97eb2
AD
28012002-04-07 Akim Demaille <akim@epita.fr>
2802
2803 * src/gram.h (rule_t): `lhs' is now a pointer to the symbol's
2804 bucket.
2805 Adjust all dependencies.
2806 * src/reduce.c (nonterminals_reduce): Don't forget to renumber the
2807 `number' of the buckets too.
2808 * src/gram.h: Include `symtab.h'.
2809 (associativity): Move to...
2810 * src/symtab.h: here.
2811 No longer include `gram.h'.
2812
c3b407f4
AD
28132002-04-07 Akim Demaille <akim@epita.fr>
2814
2815 * src/gram.h, src/gram.c (rules_rhs_length): New.
2816 (ritem_longest_rhs): Use it.
2817 * src/gram.h (rule_t): `number' is a new member.
2818 * src/reader.c (packgram): Set it.
2819 * src/reduce.c (reduce_grammar_tables): Move the useless rules at
2820 the end of `rules', and count them out of `nrules'.
2821 (reduce_output, dump_grammar): Adjust.
2822 * src/print.c (print_grammar): It is no longer needed to check for
2823 the usefulness of a rule, as useless rules are beyond `nrules + 1'.
2824 * tests/reduce.at (Reduced Automaton): New test.
2825
11652ab3
AD
28262002-04-07 Akim Demaille <akim@epita.fr>
2827
2828 * src/reduce.c (inaccessable_symbols): Fix a buglet: because of a
2829 lacking `+ 1' to nrules, Bison reported as useless a token if it
2830 was used solely to set the precedence of the last rule...
2831
26b23c1a
AD
28322002-04-07 Akim Demaille <akim@epita.fr>
2833
2834 * data/bison.c++, data/bison.simple: Don't output the current file
2835 name in #line, to avoid useless diffs between two identical
2836 outputs under different names.
2837
18bcecb0
AD
28382002-04-07 Akim Demaille <akim@epita.fr>
2839
2840 * src/closure.c, src/print.c, src/reader.c, src/reduce.c:
2841 Normalize loops to using `< nrules + 1', not `<= nrules'.
2842
fa770c86
AD
28432002-04-07 Akim Demaille <akim@epita.fr>
2844
2845 * TODO: Update.
2846
d9b739c3
AD
28472002-04-07 Akim Demaille <akim@epita.fr>
2848
2849 * src/output.c, src/reader.c, src/symtab.c, src/symtab.h: Rename
2850 bucket.value as bucket.number.
2851
99013900
AD
28522002-04-07 Akim Demaille <akim@epita.fr>
2853
2854 * src/closure.c, src/derives.c, src/gram.h, src/lalr.c,
2855 * src/nullable.c, src/output.c, src/print.c, src/print_graph.c,
2856 * src/reader.c, src/reduce.c: Let rule_t.rhs point directly to the
2857 RHS, instead of being an index in RITEMS.
2858
e966383b
PE
28592002-04-04 Paul Eggert <eggert@twinsun.com>
2860
2861 * doc/bison.texinfo: Update copyright date.
2862 (Rpcalc Lexer, Symbols, Token Decl): Don't assume ASCII.
2863 (Symbols): Warn about running Bison in one character set,
2864 but compiling and/or running in an incompatible one.
2865 Warn about character code 256, too.
2866
28672002-04-03 Paul Eggert <eggert@twinsun.com>
2868
2869 * src/bison.data (YYSTACK_ALLOC): Depend on whether
2870 YYERROR_VERBOSE is nonzero, not whether it is defined.
2871
2872 Merge changes from bison-1_29-branch.
c307773e 2873
8d6c48b9
PE
28742002-03-20 Paul Eggert <eggert@twinsun.com>
2875
2876 Merge fixes from Debian bison_1.34-1.diff.
2877
2878 * configure.in (AC_PREREQ): 2.53.
2879
e53c6322
AD
28802002-03-20 Akim Demaille <akim@epita.fr>
2881
2882 * src/conflicts.c (log_resolution): Argument `resolution' is const.
2883
9ffbeca7
PE
28842002-03-19 Paul Eggert <eggert@twinsun.com>
2885
21db0b2a
PE
2886 * src/bison.simple (YYCOPY): New macro.
2887 (YYSTACK_RELOCATE): Use it.
2888 Remove Type arg; no longer needed. All callers changed.
2889 (yymemcpy): Remove; no longer needed.
2890
9ffbeca7
PE
2891 * Makefile.am (AUTOMAKE_OPTIONS): 1.6.
2892 * doc/Makefile.am (AUTOMAKE_OPTIONS): Remove.
2893
642cb8f8
AD
28942002-03-19 Akim Demaille <akim@epita.fr>
2895
2896 Test and fix the #line outputs.
2897
2898 * tests/atlocal.at (GCC): New.
2899 * tests/synclines.at (AT_TEST_SYNCLINE): New macro.
2900 (Prologue synch line, ,%union synch line, Postprologue synch line)
2901 (Action synch line, Epilogue synch line): New tests.
2902 * src/reader.c (parse_union_decl): Define the muscle stype_line.
2903 * data/bison.simple, data/bison.c++: Use it.
2904
3c31a486
AD
29052002-03-19 Akim Demaille <akim@epita.fr>
2906
2907 * tests/regression.at (%nonassoc and eof, Unresolved SR Conflicts)
2908 (Solved SR Conflicts, %expect not enough, %expect right)
2909 (%expect too much): Move to...
2910 * tests/conflicts.at: this new file.
2911
0d8bed56
AD
29122002-03-19 Akim Demaille <akim@epita.fr>
2913
2914 * data/m4sugar/m4sugar.m4: Update from CVS Autoconf.
2915 * data/bison.simple, data/bison.c++: Handle the `#define' part, so
2916 that we can move to enums for instance.
2917 * src/output.c (token_definitions_output): Output a list of
2918 `token-name, token-number' instead of the #define.
2919 (output_skeleton): Name this list `b4_tokens', not `b4_tokendefs'.
2920
9208d17f
AD
29212002-03-14 Akim Demaille <akim@epita.fr>
2922
2923 Use Gettext 0.11.1.
2924
af27eacb
RA
29252002-03-09 Robert Anisko <robert@lrde.epita.fr>
2926
2927 * data/bison.c++: Make the user able to add members to the generated
2928 parser by subclassing.
2929
9101a310
RA
29302002-03-05 Robert Anisko <robert@lrde.epita.fr>
2931
2932 * src/reader.c (read_additionnal_code): `c' should be an integer, not
2933 a character.
2934 Reported by Nicolas Tisserand and Nicolas Burrus.
2935
fff9bf0b
RA
29362002-03-04 Robert Anisko <robert@lrde.epita.fr>
2937
2938 * src/reader.c: Warn about lacking semi-colons, do not complain.
2939
64dba31e
RA
29402002-03-04 Robert Anisko <robert@lrde.epita.fr>
2941
2942 * data/bison.c++: Remove a debug line.
2943
374f5a14
RA
29442002-03-04 Robert Anisko <robert@lrde.epita.fr>
2945
2946 * data/bison.c++: Unmerge value as yylval and value as yyval. Unmerge
2947 location as yylloc and location as yyloc. Use YYLLOC_DEFAULT, and
2948 provide a default implementation.
2949
bfcf1f3a
AD
29502002-03-04 Akim Demaille <akim@epita.fr>
2951
2952 * tests/input.at (Invalid $n, Invalid @n): Add the ending `;'.
2953 * tests/output.at (AT_CHECK_OUTPUT): Likewise.
2954 * tests/headers.at (AT_TEST_CPP_GUARD_H): Ditto.
2955 * tests/semantic.at (Parsing Guards): Similarly.
2956 * src/reader.at (readgram): Complain if the last rule is not ended
2957 with a semi-colon.
2958
65ccf9fc
AD
29592002-03-04 Akim Demaille <akim@epita.fr>
2960
2961 * src/warshall.h, src/warshall.c (bitmatrix_print): Move to...
2962 * src/closure.c: here.
2963 (set_firsts): Use bitsetv_reflexive_transitive_closure instead of
2964 RTC.
2965 * src/warshall.h, src/warshall.c: Remove.
2966 * tests/sets.at (Broken Closure): Adjust.
2967
d0039cbc
AD
29682002-03-04 Akim Demaille <akim@epita.fr>
2969
2970 * src/output.c (output_skeleton): tempdir is const.
2971 bytes_read is unused.
2972
345cea78
AD
29732002-03-04 Akim Demaille <akim@epita.fr>
2974
2975 * lib/bbitset.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
2976 * lib/bitsetv.h, lib/ebitset.c, lib/lbitset.c, lib/sbitset.c:
2977 Update.
2978 From Michael Hayes.
2979
564801f7
AD
29802002-03-04 Akim Demaille <akim@epita.fr>
2981
2982 * src/closure.c (closure): `r' is unused.
2983
e5352bc7
AD
29842002-03-04 Akim Demaille <akim@epita.fr>
2985
2986 * tests/sets.at (Broken Closure): Add the ending `;'.
2987 * src/reader.at (readgram): Complain if a rule is not ended with a
2988 semi-colon.
2989
914feea9
AD
29902002-03-04 Akim Demaille <akim@epita.fr>
2991
2992 * src/conflicts.c (set_conflicts): Use bitset_disjoint_p.
2993 (count_sr_conflicts): Use bitset_count.
2994 * src/reduce.c (inaccessable_symbols): Ditto.
2995 (bits_size): Remove.
2996 * src/warshall.h, src/warshall.c: Convert to bitsetv.
2997
f0250de6
AD
29982002-03-04 Akim Demaille <akim@epita.fr>
2999
3000 * src/closure.c, src/conflicts.c, src/lalr.c, src/print.c,
3001 * src/reduce.c: Remove the `bitset_zero's following the
3002 `bitset_create's, as now it is performed by the latter.
3003
ef017502
AD
30042002-03-04 Akim Demaille <akim@epita.fr>
3005
3006 * lib/bitset.c, lib/bitset.h, lib/bitsetv.c, lib/bitsetv.h,
3007 * lib/ebitset.c, lib/ebitset.h, lib/lbitset.c, lib/lbitset.h,
3008 * lib/sbitset.c, lib/sbitset.h, lib/bbitset.h: Update from the
3009 latest sources from Michael.
3010
76514394
AD
30112002-03-04 Akim Demaille <akim@epita.fr>
3012
3013 * src/output.c (output): Don't free the grammar.
3014 * src/reader.c (grammar_free): New.
3015 * src/main.c (main): Call it and don't free symtab here.
3016
55024580
AD
30172002-03-04 Akim Demaille <akim@epita.fr>
3018
3019 * src/lex.c (parse_percent_token): Be sure to 0-end token_buffer
3020 before returning.
3021 Reported by Benoit Perrot.
3022
f9abaa2c
AD
30232002-03-04 Akim Demaille <akim@epita.fr>
3024
3025 Use bitset operations when possible, not loops over bits.
3026
3027 * src/conflicts.c (set_conflicts, count_sr_conflicts): Use
3028 bitset_or.
3029 * src/print.c (print_reductions): Use bitset_and, bitset_andn.
3030 * src/reduce.c (useless_nonterminals): Formatting changes.
3031 * src/warshall.c (TC): Use bitset_or.
3032
0e721e75
AD
30332002-03-04 Akim Demaille <akim@epita.fr>
3034
3035 * src/lalr.h, src/lalr.c (tokensetsize): Remove, unused.
3036 * src/system.h (BITS_PER_WORD, WORDSIZE, SETBIT, RESETBIT, BITISSET):
3037 Ditto.
3038
0fb1ffb1
AD
30392002-03-04 Akim Demaille <akim@epita.fr>
3040
3041 * src/lalr.c (F): Now a bitset*.
3042 Adjust all dependencies.
3043
b86796bf
AD
30442002-03-04 Akim Demaille <akim@epita.fr>
3045
3046 * src/conflicts.c (shiftset, lookaheadset): Now bitset.
3047 Adjust all dependencies.
3048
602bbf31
AD
30492002-03-04 Akim Demaille <akim@epita.fr>
3050
3051 * src/L0.c, src/LR0.h (nstates): Be size_t.
3052 Adjust comparisons (signed vs unsigned).
3053 * src/conflics.c, src/lalr.c, src/lalr.h, src/output.c (LA): Now a
3054 bitset*.
3055 Adjust all dependencies.
3056
d8a0245c
AD
30572002-03-04 Akim Demaille <akim@epita.fr>
3058
3059 * src/closure.c (firsts): Now, also a bitset.
3060 Adjust all dependencies.
3061 (varsetsize): Remove, now unused.
3062 * src/warshall.h, src/warshall.c: Now work on arrays of bitsets.
3063
34ba9743
AD
30642002-03-04 Akim Demaille <akim@epita.fr>
3065
3066 * src/print.c: Convert to use bitset.h, not hand coded iterations
3067 over ints.
3068
ed86e78c
AD
30692002-03-04 Akim Demaille <akim@epita.fr>
3070
3071 * src/reduce.c: Convert to use bitset.h, not hand coded BSet.
3072
dfdb1797
AD
30732002-03-04 Akim Demaille <akim@epita.fr>
3074
3075 * src/closure.c (ruleset): Be a bitset.
3076 (rulesetsize): Remove.
3077
7086e707
AD
30782002-03-04 Akim Demaille <akim@epita.fr>
3079
3080 * lib/bitset-int.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
3081 * lib/bitsetv.h, lib/ebitset.c, lib/ebitset.h, lib/lbitset.c,
3082 * lib/lbitset.h, lib/sbitset.c, lib/sbitset.h: New.
3083 * src/closure.c (fderives): Be an array of bitsets.
3084
98254360
RA
30852002-02-28 Robert Anisko <robert@lrde.epita.fr>
3086
3087 * data/bison.c++: Merge the two generated headers. Insert a copyright
3088 notice in each output file.
3089
a75c057f
AD
30902002-02-28 Akim Demaille <akim@epita.fr>
3091
3092 * data/bison.c++: Copy the prologue of bison.simple to fetch
3093 useful M4 definitions, such as b4_header_guard.
3094
06b00abc
AD
30952002-02-25 Akim Demaille <akim@epita.fr>
3096
3097 * src/getargs.c (version): Give the name of the authors, and use a
a75c057f
AD
3098 translator friendly scheme for the bgr
3099 copyright notice.
06b00abc 3100
70e7d534
AD
31012002-02-25 Akim Demaille <akim@epita.fr>
3102
3103 * src/output.c (header_output): Remove, now handled completely via
3104 M4.
3105
abe017f6
AD
31062002-02-25 Akim Demaille <akim@epita.fr>
3107
3108 * m4/m4.m4: New, from CVS Autoconf.
3109 * configure.in: Invoke it.
3110 * src/output.c (output_skeleton): Use its result instead of the
3111 hard coded name.
3112
381fb12e
AD
31132002-02-25 Akim Demaille <akim@epita.fr>
3114
3115 * lib/tempname.c, lib/mkstemp.c, m4/mkstemp.m4: New, stolen from
3116 Fileutils 4.1.5.
3117 * configure.in: Invoke UTILS_FUNC_MKSTEMP.
3118 * src/output.c (output_skeleton): Use mkstemp to create a real
3119 temporary file.
3120 Move the filling of `skeleton' and its muscle to...
3121 (prepare): here.
3122 (output): Move the definition of the prologue muscle to...
3123 (prepare): here.
3124 * src/system.h (DEFAULT_TMPDIR): New.
3125
6f38107f
PE
31262002-02-14 Paul Eggert <eggert@twinsun.com>
3127
3128 Remove the support for C++ namespace cleanliness; it was
3129 causing more problems than it was curing, since it didn't work
3130 properly on some nonstandard C++ compilers. This can wait
3131 for a proper C++ parser.
3132
3133 * NEWS: Document this.
3134 * doc/bison.texinfo (Bison Parser, Debugging): Remove special mention
3135 of C++, as it's treated like C now.
3136 * src/bison.simple (YYSTD): Remove.
3137 (YYSIZE_T, YYFPRINTF, YYPARSE_PARAM_ARG, YYPARSE_PARAM_DECL):
3138 Treat C++ just like Standard C instead of trying to support
3139 namespace cleanliness.
3140
80cce3da
AD
31412002-02-14 Akim Demaille <akim@epita.fr>
3142
3143 * tests/regression.at (else): Adjust to Andreas' change.
3144
842e8679
AD
31452002-02-14 Akim Demaille <akim@epita.fr>
3146
3147 * lib/Makefile.am (EXTRA_DIST): Ship strnlen.c.
3148
4bda3f10
AD
31492002-02-13 Andreas Schwab <schwab@suse.de>
3150
3151 * src/output.c (output_rule_data): Don't output NULL, it might
3152 not be defined yet.
3153
4162fa07 31542002-02-11 Robert Anisko <robert@lrde.epita.fr>
b418ecd8 3155
4162fa07
RA
3156 * data/bison.c++ (YYDEBUG, YYERROR_VERBOSE): After the prologue.
3157 (Copyright notice): Update.
b418ecd8 3158
bd16a5dc
AD
31592002-02-11 Akim Demaille <akim@epita.fr>
3160
3161 * tests/regression.at (%nonassoc and eof): Don't include
3162 nonportable headers.
3163
8d69a1a3
RA
31642002-02-08 Robert Anisko <robert@lrde.epita.fr>
3165
3166 * data/bison.c++: Correct error recovery. Make the user able to
3167 initialize the starting location.
3168
9b2d0677
AD
31692002-02-07 Akim Demaille <akim@epita.fr>
3170
3171 * tests/input.at: New.
3172
69e2658b
RA
31732002-02-07 Robert Anisko <robert@lrde.epita.fr>
3174
3175 * data/bison.c++: Replace some direct m4 expansions by constants. Be
9b2d0677 3176 more consistent when naming methods and variables. Put preprocessor
69e2658b
RA
3177 directives around tables only needed for debugging.
3178
4aacc3a7
RA
31792002-02-07 Robert Anisko <robert@lrde.epita.fr>
3180
3181 * data/bison.c++ (yy::b4_name::print_): New method, replaces yyprint in
3182 C++ parsers.
3183 (yy::b4_name::parse): Use print_.
3184
762a801e
RA
31852002-02-07 Robert Anisko <robert@lrde.epita.fr>
3186
3187 * data/bison.c++ (yy::b4_name::parse): Error recovery is back.
3188
4bb2bc3f
RA
31892002-02-07 Robert Anisko <robert@lrde.epita.fr>
3190
3191 * data/bison.c++ (yy::b4_name::error_): New method, replaces yyerror in
3192 C++ parsers.
3193 (yy::b4_name::parse): Build verbose error messages, and use error_.
3194
6b45a3ca
RA
31952002-02-06 Robert Anisko <robert@lrde.epita.fr>
3196
3197 * data/bison.c++: Fix m4 quoting in comments.
3198
50997c6e
RA
31992002-02-06 Robert Anisko <robert@lrde.epita.fr>
3200
3201 * data/bison.c++: Adjust the parser code. Fix some muscles that were
3202 not expanded by m4.
3203
3f3eed27
AD
32042002-02-05 Akim Demaille <akim@epita.fr>
3205
3206 * data/bison.c++: Adjust to the M4 back end.
3207 More is certainly needed.
3208
be2a1a68
AD
32092002-02-05 Akim Demaille <akim@epita.fr>
3210
3211 Give a try to M4 as a back end.
3212
3213 * lib/readpipe.c: New, from wdiff.
3214 * src/Makefile.am (DEFS): Define PKGDATADIR, not BISON_SIMPLE and
3215 BISON_HAIRY.
3216 * src/system.h (BISON_HAIRY, BISON_SIMPLE): Remove the DOS and VMS
3217 specific values. Now it is m4 that performs the lookup.
3218 * src/parse-skel.y: Remove.
3219 * src/muscle_tab.c, src/muscle_tab.h (muscles_m4_output): New.
3220 * src/output.c (actions_output, guards_output)
3221 (token_definitions_output): No longer keeps track of the output
3222 line number, hence remove the second argument.
3223 (guards_output): Check against the guard member of a rule, not the
3224 action member.
3225 Adjust callers.
3226 (output_skeleton): Don't look for the skeleton location, let m4 do
3227 that.
3228 Create `/tmp/muscles.m4'. This is temporary, a proper temporary
3229 file will be used.
3230 Invoke `m4' on m4sugar.m4, muscles.m4, and the skeleton.
3231 (prepare): Given that for the time being changesyntax is not
3232 usable in M4, rename the muscles using `-' to `_'.
3233 Define `defines_flag', `output_parser_name' and `output_header_name'.
3234 * src/output.h (actions_output, guards_output)
3235 (token_definitions_output): Adjust prototypes.
3236 * src/scan-skel.l: Instead of scanning the skeletons, it now
3237 processes the output of m4: `__oline__' and `#output'.
3238 * data/bison.simple: Adjust to be used by M4(sugar).
3239 * tests/Makefile.am: Use check_SCRIPTS to make sure `bison' is up
3240 to date.
3241 * tests/bison.in: Use the secrete envvar `BISON_PKGDATADIR'
3242 instead of the dead `BISON_SIMPLE' and `BISON_HAIRY'.
3243 * data/m4sugar/m4sugar.m4, data/m4sugar/version.m4: New,
3244 shamelessly stolen from CVS Autoconf.
3245
beda758b
AD
32462002-02-05 Akim Demaille <akim@epita.fr>
3247
3248 * lib/hash.c, lib/hash.h: Replace with Fileutils 4.1's version.
3249 * configure.in: Check for the declarations of free and malloc.
3250 * src/muscle_tab.c: Adjust.
3251
5ece6d43
AD
32522002-02-05 Akim Demaille <akim@epita.fr>
3253
3254 * src/muscle_tab.c (muscle_init): Don't default to NULL muscle
3255 which have no values.
3256
5bb18f9a
AD
32572002-02-05 Akim Demaille <akim@epita.fr>
3258
3259 * src/bison.simple, src/bison.hairy, src/bison.c++: Move to...
3260 * data/: here.
3261
894dd62e
PE
32622002-01-29 Paul Eggert <eggert@twinsun.com>
3263
3264 * src/bison.simple (YYSIZE_T): Do not define merely because
3265 YYSTACK_USE_ALLOCA is nonzero or alloca or _ALLOCA_H are defined.
3266 On some platforms, <alloca.h> does not declare YYSTD (size_t).
3267
82841af7
AD
32682002-01-27 Akim Demaille <akim@epita.fr>
3269
3270 Fix `%nonassoc and eof'.
3271
3272 * src/state.c (errs_dup): Aaaah! The failure was due to bytes
3273 which were not properly copied! Replace
3274 memcpy (res->errs, src->errs, src->nerrs);
3275 with
3276 memcpy (res->errs, src->errs, src->nerrs * sizeof (src->errs[0]));
3277 !!!
3278 * tests/regression.at (%nonassoc and eof): Adjust to newest
3279 Autotest: `.' is not in the PATH.
3280
318b76e9
AD
32812002-01-27 Akim Demaille <akim@epita.fr>
3282
3283 * tests/sets.at (AT_EXTRACT_SETS): New.
3284 (Nullable): Use it.
3285 (Firsts): New.
3286
30d2f3d5
AD
32872002-01-26 Akim Demaille <akim@epita.fr>
3288
3289 * tests/actions.at, tests/calc.at, tests/headers.at,
3290 * tests/torture.at: Adjust to the newest Autotest which no longer
3291 forces `.' in the PATH.
3292
30f8c395
AD
32932002-01-25 Akim Demaille <akim@epita.fr>
3294
3295 * tests/regression.at (%nonassoc and eof): New.
3296 Suggested by Robert Anisko.
3297
29ae55f1
AD
32982002-01-24 Akim Demaille <akim@epita.fr>
3299
3300 Bison dumps core when trying to complain about broken input files.
3301 Reported by Cris van Pelt.
3302
3303 * src/lex.c (parse_percent_token): Be sure to set token_buffer.
3304 * tests/regression.at (Invalid input: 1, Invalid input: 2): Merge
3305 into...
3306 (Invalid inputs): Strengthen: exercise parse_percent_token.
3307
2b548aa6
RA
33082002-01-24 Robert Anisko <robert.anisko@epita.fr>
3309
3310 * src/Makefile.am: Add bison.c++.
3311 * src/bison.c++: New skeleton.
3312
bb0146c2
AD
33132002-01-21 Paolo Bonzini <bonzini@gnu.org>
3314
3315 * po/it.po: New.
3316
bec30531
AD
33172002-01-21 Kees Zeelenberg <kzlg@users.sourceforge.net>
3318
3319 * src/files.c (skeleton_find) [MSDOS]: Fix cp definition.
3320
fc6edc45
MA
33212002-01-20 Marc Autret <marc@gnu.org>
3322
3323 * src/files.c (compute_output_file_names): Fix
3324
5e5d5415
MA
33252002-01-20 Marc Autret <marc@gnu.org>
3326
3327 * tests/output.at: New test.
3328 * src/files.c (compute_base_names): Don't map extensions when
3329 the YACC flag is set, use defaults.
3330 Reported by Evgeny Stambulchik.
3331
44ea3fbd
MA
33322002-01-20 Marc Autret <marc@gnu.org>
3333
bb0146c2 3334 * src/system.h: Need to define __attribute__ away for non-GCC
44ea3fbd
MA
3335 compilers as well (i.e. the vendor C compiler).
3336 Suggested by Albert Chin-A-Young.
3337
338963d1
TVH
33382002-01-11 Tim Van Holder <tim.van.holder@pandora.be>
3339
3340 * lib/hash.h, lib/hash.c: Renamed __P to PARAMS and used the
3341 canonical definition.
3342 * src/system.h: Use the canonical definition for PARAMS (avoids
3343 a conflict with the macro from lib/hash.h).
3344
c57b2479
AD
33452002-01-11 Akim Demaille <akim@epita.fr>
3346
3347 * configure.in: Use AC_FUNC_STRNLEN.
d9e9746c 3348 Fixes the failures observed on AIX 4.3 by H.Merijn Brand.
c57b2479 3349
b85810ae
AD
33502002-01-09 Akim Demaille <akim@epita.fr>
3351
3352 * src/files.c, src/files.h (output_infix): New.
3353 (tab_extension): Remove.
3354 (compute_base_names): Compute the former, drop the latter.
3355 * src/output.c (prepare): Insert the muscles `output-infix', and
3356 `output-suffix'.
3357 * src/parse-skel.y (string, string.1): New.
3358 (section.header): Use it.
3359 (section.yacc): Remove.
3360 (prefix): Remove too.
3361 * src/scan-skel.l: Adjust.
3362 * src/bison.simple, src/bison.hairy: Adjust.
3363
cae60122
AD
33642002-01-09 Akim Demaille <akim@epita.fr>
3365
3366 * configure.in (WERROR_CFLAGS): Compute it.
3367 * src/Makefile.am (CFLAGS): Pass it.
3368 * tests/atlocal.in (CFLAGS): Idem.
3369 * src/files.c: Fix a few warnings.
3370 (get_extension_index): Remove, unused.
3371
ae404801
AD
33722002-01-08 Akim Demaille <akim@epita.fr>
3373
3374 * src/getargs.c (AS_FILE_NAME): New.
3375 (getargs): Use it to convert DOSish file names.
3376 * src/files.c (base_name): Rename as full_base_name to avoid
3377 clashes with `base_name ()'.
3378 (filename_split): New.
3379 (compute_base_names): N-th rewrite, using filename_split.
3380
22312b71
AD
33812002-01-08 Akim Demaille <akim@epita.fr>
3382
3383 * lib/basename.c, lib/dirname.h, lib/dirname.c, lib/memrchr.c:
3384 New, stolen from the Fileutils 4.1.
3385 * lib/Makefile.am (libbison_a_SOURCES): Adjust.
3386 * configure.in: Check for the presence of memrchr, and of its
3387 prototype.
3388
a67cef01
TVH
33892002-01-07 Tim Van Holder <tim.van.holder@pandora.be>
3390
3391 * lib/hash.h (__P): Added definition for this macro.
3392 * src/Makefile.am: Add parse-skel.c and scan-skel.c to
3393 BUILT_SOURCES, to ensure they are generated first.
3394 * src/parse-skel.y: Use YYERROR_VERBOSE instead of
3395 %error-verbose to allow bootstrapping with bison 1.30x.
3396
2b25d624
AD
33972002-01-06 Akim Demaille <akim@epita.fr>
3398
3399 * src/reader.c (parse_braces): Don't fetch the next char, the
3400 convention is to fetch on entry.
3401 * tests/torture.at (GNU Cim Grammar): Reintroduce their weird
3402 'switch' without a following semicolon.
3403 * tests/regression.at (braces parsing): New.
3404
3460813b
AD
34052002-01-06 Akim Demaille <akim@epita.fr>
3406
3407 Bison is dead wrong in its RR conflict reports.
3408
3409 * tests/torture.at (GNU Cim Grammar): New.
3410 * src/conflicts.c (count_rr_conflicts): Fix.
3411
73784c64
AD
34122002-01-06 Akim Demaille <akim@epita.fr>
3413
3414 Creating package.m4 from configure.ac causes too many problems.
3415
3416 * tests/Makefile.am (package.m4): Create it by hand,
3417 AC_CONFIG_TESTDIR no longer does in the most recent CVS Autoconf.
3418
25d81090
AD
34192002-01-06 Akim Demaille <akim@epita.fr>
3420
3421 * src/Makefile.am (bison_SOURCES): Add parse-skel.h and
3422 skeleton.h.
3423
a9b8959e
PE
34242002-01-04 Paul Eggert <eggert@twinsun.com>
3425
3426 * doc/bison.texinfo (Debugging):
3427 Remove YYSTDERR; it's no longer defined or used.
3428 Also, s/cstdio.h/cstdio/.
3429
25d81090
AD
34302002-01-03 Akim Demaille <akim@epita.fr>
3431
3432 * tests/bison.in, tests/atlocal.in: Adjust to CVS Autoconf.
3433
1109455c
AD
34342002-01-03 Akim Demaille <akim@epita.fr>
3435
3436 * src/parse-skel.y (process_skeleton): Don't bind the parser's
3437 tracing code to --trace, wait for a better --trace option, with
3438 args.
3439
7ea5e977
AD
34402002-01-03 Akim Demaille <akim@epita.fr>
3441
3442 * src/bison.simple (YYSTDERR): Remove, replace `stderr'.
3443 The ISO C++ standard is extremely clear about it: stderr is
3444 considered a macro, not a regular symbol (see table 94 `Header
3445 <cstdio> synopsis', [lib.c.files] 27.8.2 C Library files).
3446 Therefore std:: does not apply to it. It still does with fprintf.
3447 Also, s/cstdio.h/cstdio/.
3448
fab5b110
AD
34492002-01-03 Akim Demaille <akim@epita.fr>
3450
3451 * lib/quotearg.c: Use `#include "..."' instead of `#include <...>'
3452 for non system headers.
3453
aed7fd9b
AD
34542002-01-02 Akim Demaille <akim@epita.fr>
3455
3456 Equip the skeleton chain with location tracking, runtime trace,
3457 pure parser and scanner.
3458
3459 * src/parse-skel.y: Request a pure parser, locations, and prefix
3460 renaming.
3461 (%union): Having several members with the same type does not help
3462 type mismatches, simplify.
3463 (YYPRINT, yyprint): New.
3464 (yyerror): ``Rename'' (there is a #define yyerror skel_error) as...
3465 (skel_error): this.
3466 Handle locations.
3467 * src/scan-skel.l: Adjust to these changes.
3468 * src/skeleton.h (LOCATION_RESET, LOCATION_LINES, LOCATION_STEP)
3469 (LOCATION_PRINT, skel_control_t): New.
3470
24fad99e
AD
34712001-12-30 Akim Demaille <akim@epita.fr>
3472
3473 * src/parse-skel.y: Get rid of the shift/reduce conflict:
3474 replace `gb' with BLANKS.
3475 * src/scan-skel.l: Adjust.
3476
a4b36db4
AD
34772001-12-30 Akim Demaille <akim@epita.fr>
3478
3479 * src/system.h: We don't need nor want bcopy.
3480 Throw away MS-DOS crap: we don't need getpid.
3481 * configure.in: We don't need strndup. It was even causing
3482 problems: because Flex includes the headers *before* us,
3483 _GNU_SOURCE is not defined by config.h, and therefore strndup was
3484 not visible.
3485 * lib/xstrndup.c: New.
3486 * src/scan-skel.l: Use it.
3487 Be sure to initialize yylval.muscle member when scanning a MUSCLE.
3488 * src/parse-skel.y: Use %directives instead of #defines.
3489
1239777d
AD
34902001-12-30 Akim Demaille <akim@epita.fr>
3491
3492 * src/skeleton.h: New.
3493 * src/output.c (output_parser, output_master_parser): Remove, dead
3494 code.
3495 * src/output.h (get_lines_number, actions_output, guards_output)
3496 (token_definitions_output): Prototype them.
3497 * src/parse-skel.y: Add the license notice.
3498 Include output.h and skeleton.h.
3499 (process_skeleton): Returns void, and takes a single parameter.
3500 * src/scan-skel.l: Add the license notice.
3501 Include skeleton.h.
3502 Don't use %option yylineno: it seems that then Flex imagines
3503 REJECT has been used, and therefore it won't reallocate its
3504 buffers (which makes no other sense to me than a bug). It results
3505 in warnings for `unused: yy_flex_realloc'.
3506
9b3add5b
RA
35072001-12-30 Robert Anisko <robert.anisko@epita.fr>
3508
3509 * src/muscle_tab.h (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
3510 (MUSCLE_INSERT_PREFIX): ...to there.
3511 * src/output.c (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
3512 (MUSCLE_INSERT_PREFIX): Move from here...
3513
3514 * src/bison.hairy: Add a section directive. Put braces around muscle
3515 names. This parser skeleton is still broken, but Bison should not
3516 choke on a bad muscle 'syntax'.
3517 * src/bison.simple: Add a section directive. Put braces around muscle
3518 names.
3519
3520 * src/files.h (strsuffix, stringappend): Add declarations.
3521 (tab_extension): Add declaration.
3522 (short_base_name): Add declaration.
3523
3524 * src/files.c (strsuffix, stringappend): No longer static. These
3525 functions are used in the skeleton parser.
3526 (tab_extension): New.
3527 (compute_base_names): Use the computations done in this function
fab5b110 3528 to guess if the generated parsers should have '.tab' in their
9b3add5b
RA
3529 names.
3530 (short_base_name): No longer static.
3531
3532 * src/output.c (output_skeleton): New.
3533 (output): Disable call to output_master_parser, and give a try to
3534 a new skeleton handling system.
3535 (guards_output, actions_output): No longer static.
3536 (token_definitions_output, get_lines_number): No longer static.
3537
3538 * configure.in: Use AM_PROG_LEX and AC_PROG_YACC.
3539
fab5b110 3540 * src/Makefile.am (bison_SOURCES): Add scan-skel.l and
9b3add5b
RA
3541 parse-skel.y.
3542
3543 * src/parse-skel.y: New file.
3544 * src/scan-skel.l: New file.
3545
b5b61c61
AD
35462001-12-29 Akim Demaille <akim@epita.fr>
3547
3548 %name-prefix is broken.
3549
3550 * src/files.c (spec_name_prefix): Initialize to NULL, not to "yy".
3551 Adjust all dependencies.
3552 * tests/headers.at (export YYLTYPE): Strengthen this test: use
3553 %name-prefix.
3554
3555 Renaming yylval but not yylloc is not consistent. Now we do.
3556
3557 * src/bison.simple: Prefix yylloc if used.
3558 * doc/bison.texinfo (Decl Summary): Document that.
3559
8c9a50be
AD
35602001-12-29 Akim Demaille <akim@epita.fr>
3561
3562 * doc/bison.texinfo: Promote `%long-directive' over
3563 `%long_directive'.
3564 Remove all references to fixed-output-files, yacc is enough.
3565
d99361e6
AD
35662001-12-29 Akim Demaille <akim@epita.fr>
3567
3568 * src/bison.simple: Define YYDEBUG and YYERROR_VERBOSE *after* the
3569 user prologue. These are defaults.
3570 * tests/actions.at (Mid-rule actions): Make sure the user can
3571 define YYDEBUG and YYERROR_VERBOSE.
3572
b9cecb91
AD
35732001-12-29 Akim Demaille <akim@epita.fr>
3574
3575 * src/output.c (header_output): Don't forget to export YYLTYPE and
3576 yylloc.
3577 * tests/headers.at (export YYLTYPE): New, make sure it does.
3578 * tests/regression.at (%union and --defines, Invalid CPP headers):
3579 Move to...
3580 * tests/headers.at: here.
3581
aea13e97
AD
35822001-12-29 Akim Demaille <akim@epita.fr>
3583
3584 * src/gram.h (rule_s): Member `assoc' is of type `associativity'.
3585
931394cb
AD
35862001-12-29 Akim Demaille <akim@epita.fr>
3587
3588 * tests/actions.at (Mid-rule actions): Output on a single line
3589 instead of several.
3590
704a47c4
AD
35912001-12-29 Akim Demaille <akim@epita.fr>
3592
3593 * doc/bison.texinfo: Formatting changes.
3594
091e20bb
AD
35952001-12-29 Akim Demaille <akim@epita.fr>
3596
3597 Don't store the token defs in a muscle, just be ready to output it
3598 on command. Now possible via `symbols'. Fixes a memory leak.
3599
3600 * src/output.c (token_definitions_output): New.
3601 (output_parser, header_output): Use it.
3602 * src/reader.c (symbols_save): Remove.
3603
cce71710
AD
36042001-12-29 Akim Demaille <akim@epita.fr>
3605
3606 * src/bison.simple: Do not provide a default for YYSTYPE and
3607 YYLTYPE before the user's prologue. Otherwise it's hardly... a
3608 default.
3609
82c035a8
AD
36102001-12-29 Akim Demaille <akim@epita.fr>
3611
3612 Mid-rule actions are simply... ignored!
3613
3614 * src/reader.c (readgram): Be sure to attach mid-rule actions to
3615 the empty-rule associated to the dummy symbol, not to the host
3616 rule.
3617 * tests/actions.at (Mid-rule actions): New.
3618
8419d367
AD
36192001-12-29 Akim Demaille <akim@epita.fr>
3620
3621 Memory leak.
3622
3623 * src/reader.c (reader): Free grammar.
3624
375d5806
AD
36252001-12-29 Akim Demaille <akim@epita.fr>
3626
3627 Memory leak.
3628
3629 * src/LR0.c (new_itemsets): Don't allocate `shift_symbol' here,
3630 since it allocates it for each state, although only one is needed.
3631 (allocate_storage): Do it here.
3632
f51cb8ff
AD
36332001-12-29 Akim Demaille <akim@epita.fr>
3634
3635 * src/options.h, src/options.c (create_long_option_table): Rename
3636 as...
3637 (long_option_table_new): this, with a clearer prototype.
3638 (percent_table): Remove, unused,
3639 * src/getargs.c (getargs): Adjust.
3640
29e88316
AD
36412001-12-29 Akim Demaille <akim@epita.fr>
3642
3643 * src/LR0.c, src/conflicts.c, src/lalr.c, src/lalr.h, src/output.c
3644 * src/print.c, src/print_graph.c, src/state.h: Rename state_table
3645 as states.
3646
b9f71f19
AD
36472001-12-29 Akim Demaille <akim@epita.fr>
3648
3649 * src/lalr.c (build_relations): Rename `states' as `states1'.
3650 Sorry, I don't understand exactly what it is, no better name...
3651
1a2b5d37
AD
36522001-12-29 Akim Demaille <akim@epita.fr>
3653
3654 * src/closure.c, src/conflicts.c, src/derives.c, src/gram.c
3655 * src/gram.h, src/lalr.c, src/nullable.c, src/output.c, src/print.c
3656 * src/print_graph.c, src/reader.c, src/reduce.c: Rename rule_table
3657 as rules.
3658
1cca533e
AD
36592001-12-29 Akim Demaille <akim@epita.fr>
3660
3661 * src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long
3662 ago.
3663
c03ae966
AD
36642001-12-29 Akim Demaille <akim@epita.fr>
3665
3666 * src/reader.c, src/reader.h (user_toknums): Remove.
3667 Adjust all users to use symbols[i]->user_token_number.
3668
5a670b1e
AD
36692001-12-29 Akim Demaille <akim@epita.fr>
3670
3671 * src/gram.c, src/gram.h (sprec, sassoc): Remove.
3672 Adjust all users to use symbols[i]->prec or ->assoc.
3673
ad949da9
AD
36742001-12-29 Akim Demaille <akim@epita.fr>
3675
3676 * src/reader.c, src/reader.h (tags): Remove.
3677 Adjust all users to use symbols[i]->tag.
3678
0e78e603
AD
36792001-12-29 Akim Demaille <akim@epita.fr>
3680
3681 * src/gram.h, src/gram.c (symbols): New, similar to state_table
3682 and rule_table.
3683 * src/reader.c (packsymbols): Fill this table.
3684 Drop sprec.
3685 * src/conflicts.c (resolve_sr_conflict): Adjust.
3686 * src/reduce.c (reduce_grammar): Adjust: just sort symbols, a
3687 single table.
3688 Use symbols[i]->tag instead of tags[i].
3689
213e640e
AD
36902001-12-29 Akim Demaille <akim@epita.fr>
3691
3692 * tests/calc.at (_AT_DATA_CALC_Y): Also use %union.
3693 In addition, put a comment in there, to replace...
3694 * tests/regression.at (%union and C comments): Remove.
3695
e7b8bef1
AD
36962001-12-29 Akim Demaille <akim@epita.fr>
3697
3698 * tests/regression.at (Web2c Actions): Blindly move the actual
3699 output as expected output. The contents *seem* right to me, but I
3700 can't pretend reading perfectly parser tables... Nonetheless, all
3701 the other tests pass correctly, the table look OK, even though the
3702 presence of `$axiom' is to be noted: AFAICS it is useless (but
3703 harmless).
3704
b68e7744
AD
37052001-12-29 Akim Demaille <akim@epita.fr>
3706
3707 * src/reader.c (readgram): Don't add the rule 0 if there were no
3708 rules read. In other words, add it _after_ having performed
3709 grammar sanity checks.
3710 Fixes the `tests/regression.at (Invalid input: 1)' Failure.
3711
78d5bae9
AD
37122001-12-29 Akim Demaille <akim@epita.fr>
3713
3714 * tests/regression.at (Web2c Report): Catch up: the rule 0 is now
3715 visible, and some states have now a different number.
3716
ff442794
AD
37172001-12-29 Akim Demaille <akim@epita.fr>
3718
3719 * src/reader.c (readgram): Bind the initial rule's lineno to that
3720 of the first rule.
3721 * tests/regression.at (Rule Line Numbers, Unresolved SR Conflicts):
3722 (Solved SR Conflicts): Adjust rule 0's line number.
3723
610ab194
AD
37242001-12-29 Akim Demaille <akim@epita.fr>
3725
3726 Fix the `GAWK Grammar' failure.
3727
3728 * src/LR0.c (final_state): Initialize to -1 so that we do compute
3729 the reductions of the first state which was mistakenly confused
3730 with the final state because precisely final_state was initialized
3731 to 0.
3732 * tests/sets.at (Nullable): Adjust: state 0 does have lookaheads,
3733 now noticed by Bison.
3734 * tests/regression.at (Rule Line Numbers): Adjust: state 0 does
3735 have a reduction on $default.
3736
29d29c8f
AD
37372001-12-29 Akim Demaille <akim@epita.fr>
3738
3739 * src/gram.c (ritem_print): Be sure to subtract 1 when displaying
3740 rule line numbers.
3741 * src/closure.c (print_closure): Likewise.
3742 * src/derives.c (print_derives): Likewise.
3743 * tests/sets.at (Nullable): Adjust: the rule numbers are correct
3744 now.
3745
7c6b64d0
AD
37462001-12-29 Akim Demaille <akim@epita.fr>
3747
3748 * src/lalr.c (lookaheads_print): New.
3749 (lalr): Call it when --trace-flag.
3750 * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
3751 are dumped.
3752
3d4daee3
AD
37532001-12-29 Akim Demaille <akim@epita.fr>
3754
3755 * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',
3756 when walking through ritem, even via rule->rhs.
3757 * src/reduce.c (dump_grammar, useful_production, reduce_output)
3758 (useful_production, useless_nonterminals): Likewise.
3759 (reduce_grammar_tables): Likewise, plus update nritems.
3760 * src/nullable.c (set_nullable): Likewise.
3761 * src/lalr.c (build_relations): Likewise.
3762 * tests/sets.at (Nullable): Adjust.
3763 Fortunately, now, the $axiom is no longer nullable.
3764
9e7f6bbd
AD
37652001-12-29 Akim Demaille <akim@epita.fr>
3766
3767 * src/LR0.c (generate_states): Use nritems, not nitems, nor using
3768 the 0-sentinel.
3769 * src/gram.c (ritem_longest_rhs): Likewise.
3770 * src/reduce.c (nonterminals_reduce): Likewise.
3771 * src/print_graph.c (print_graph): Likewise.
3772 * src/output.c (output_rule_data): Likewise.
3773 * src/nullable.c (set_nullable): Likewise.
3774
255ef638
AD
37752001-12-29 Akim Demaille <akim@epita.fr>
3776
3777 * src/output.c: Comment changes.
3778
0d8a7363
AD
37792001-12-27 Paul Eggert <eggert@twinsun.com>
3780
3781 * src/bison.simple (YYSTACK_ALLOC, YYSIZE_T): Remove special
3782 cases for non-GNU systems like AIX, HP-UX, SGI, Sun, and
3783 Sparc, as they were causing more porting problems than the
3784 (minor) performance improvement was worth.
3785
3786 Also, catch up with 1.31's YYSTD.
3787
3db472b9
AD
37882001-12-27 Akim Demaille <akim@epita.fr>
3789
3790 * src/output.c (output_gram): Rely on nritems, not the
3791 0-sentinel. See below.
3792 Use -1 as separator, not 0.
3793 * src/bison.simple (yyparse): Subtract 1 to the rule numbers.
3794 Rely on -1 as separator in yyrhs, instead of 0.
3795 * tests/calc.at (AT_CHECK_CALC): Now, the parsers no longer issue
3796 twice `Now at end of input', therefore there are two lines less to
3797 expect.
3798
b365aa05
AD
37992001-12-27 Akim Demaille <akim@epita.fr>
3800
3801 * tests/regression.at (Unresolved SR Conflicts):
3802 (Solved SR Conflicts, Rule Line Numbers): Adjust to the changes
3803 below.
3804
30171f79
AD
38052001-12-27 Akim Demaille <akim@epita.fr>
3806
3807 * src/LR0.c (new_state): Recognize the final state by the fact it
3808 is reached by eoftoken.
3809 (insert_start_shifting_state, insert_eof_shifting_state)
3810 (insert_accepting_state, augment_automaton): Remove, since now
3811 these states are automatically computed from the initial state.
3812 (generate_states): Adjust.
3813 * src/print.c: When reporting a rule number to the user, substract
3814 1, so that the axiom rule is rule 0, and the first user rule is 1.
3815 * src/reduce.c: Likewise.
3816 * src/print_graph.c (print_core): For the time being, just as for
3817 the report, depend upon --trace-flags to dump the full set of
3818 items.
3819 * src/reader.c (readgram): Once the grammar read, insert the rule
3820 0: `$axiom: START-SYMBOL $'.
3821 * tests/set.at: Adjust: rule 0 is now displayed, and since the
3822 number of the states has changed (the final state is no longer
3823 necessarily the last), catch up.
3824
75142d45
AD
38252001-12-27 Akim Demaille <akim@epita.fr>
3826
3827 Try to make the use of the eoftoken valid. Given that its value
3828 is 0 which was also used as a sentinel in ritem, (i) make sure >= 0
3829 is used instead of > 0 where appropriate, (ii), depend upon nritems
3830 instead of the 0-sentinel.
3831
3832 * src/gram.h, src/gram.c (nritems): New.
3833 Expected to be duplication of nitems, but for the time being...
3834 * src/reader.c (packgram): Assert nritems and nitems are equal.
3835 * src/LR0.c (allocate_itemsets, new_itemsets): Adjust.
3836 * src/closure.c (print_closure, print_fderives): Likewise.
3837 * src/gram.c (ritem_print): Likewise.
3838 * src/print.c (print_core, print_grammar): Likewise.
3839 * src/print_graph.c: Likewise.
3840
b7c49edf
AD
38412001-12-27 Akim Demaille <akim@epita.fr>
3842
3843 * src/main.c (main): If there are complains after grammar
3844 reductions, then output the report anyway if requested, then die.
3845 * src/symtab.c (bucket_new): Initialize `value' to -1, not 0.
3846 * src/reader.c (eoftoken): New.
3847 (parse_token_decl): If the token being defined has value `0', it
3848 is the eoftoken.
3849 (packsymbols): No longer hack `tags' to insert `$' by hand.
3850 Be sure to preserve the value of the eoftoken.
3851 (reader): Make sure eoftoken is defined.
3852 Initialize nsyms to 0: now eoftoken is created just like the others.
3853 * src/print.c (print_grammar): Don't special case the eof token.
3854 * src/regression.at: Adjust: `$' has value 0, not -1, which was a
3855 lie anyway, albeit pleasant.
3856 * tests/calc.at: Exercise error messages with eoftoken.
3857 Change the grammar so that empty input is invalid.
3858 Adjust expectations.
3859 When yyungeting, be sure to use a valid yylloc: use last_yylloc.
3860
ec2da99f
AD
38612001-12-27 Akim Demaille <akim@epita.fr>
3862
3863 * configure.in: Check the protos of strchr ans strspn.
3864 Replace strchr if needed.
3865 * src/system.h: Provide the protos of strchr, strspn and memchr if
3866 missing.
3867 * lib/strchr.c: New.
3868 * src/reader.c (symbols_save): Use strchr.
3869
8adfa272
AD
38702001-12-27 Akim Demaille <akim@epita.fr>
3871
3872 * src/print.c, src/print_graph.c (escape): New.
3873 Use it to quote the TAGS outputs.
3874 * src/print_graph.c (print_state): Now errors are in red, and
3875 reductions in green.
3876 Prefer high to wide: output the state number on a line of its own.
3877
80dac38c
AD
38782001-12-27 Akim Demaille <akim@epita.fr>
3879
3880 * src/state.h, src/state.c (reductions_new): New.
3881 * src/LR0.c (set_state_table): Let all the states have a
3882 `reductions', even if reduced to 0.
3883 (save_reductions): Adjust.
3884 * src/lalr.c (initialize_LA, initialize_lookaheads): Adjust.
3885 * src/print.c (print_reductions, print_actions): Adjust.
3886 * src/output.c (action_row): Adjust.
3887
2cec70b9
AD
38882001-12-27 Akim Demaille <akim@epita.fr>
3889
3890 * src/state.h, src/state.c (errs_new, errs_dup): New.
3891 * src/LR0.c (set_state_table): Let all the states have an errs,
3892 even if reduced to 0.
3893 * src/print.c (print_errs, print_reductions): Adjust.
3894 * src/output.c (output_actions, action_row): Adjust.
3895 * src/conflicts.c (resolve_sr_conflict): Adjust.
3896
13ca549a
AD
38972001-12-27 Akim Demaille <akim@epita.fr>
3898
3899 * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.
3900
5092aba5
AD
39012001-12-27 Akim Demaille <akim@epita.fr>
3902
3903 * src/conflicts.c, src/conflicts.h (print_reductions): Move to...
3904 * src/print.c: here.
3905 (lookaheadset, shiftset): New, used as additional storage by
3906 print_reductions.
3907 (print_results): Adjust.
3908 (print_shifts, print_gotos, print_errs): New, extracted from...
3909 (print_actions): here.
3910 * src/print_graph.c (print_actions): Remove dead code.
3911
11e2beca
AD
39122001-12-27 Akim Demaille <akim@epita.fr>
3913
3914 * src/reader.c (copy_dollar, copy_at): Better checking of `n' in
3915 `$n' and `@n'.
3916
dac3c910
AD
39172001-12-27 Akim Demaille <akim@epita.fr>
3918
3919 * src/lalr.c (add_lookback_edge): Use state_t instead of ints.
3920 (build_relations): Adjust.
3921
d0b0fefa
AD
39222001-12-27 Akim Demaille <akim@epita.fr>
3923
3924 * src/lalr.c (set_goto_map): Remove a wrong but benign loop
3925 duplication.
3926
adc8c848
AD
39272001-12-27 Akim Demaille <akim@epita.fr>
3928
3929 * src/reader.c (packgram): Catch nitems overflows.
3930
14d293ac
AD
39312001-12-27 Akim Demaille <akim@epita.fr>
3932
3933 * src/files.c, src/files.h (guard_obstack): Remove.
3934 * src/output.c (output): Adjust.
3935 * src/reader.c (parse_braces): New, factoring...
3936 (copy_action, copy_guard): these two which are renamed as...
3937 (parse_action, parse_guard): these.
3938 As a voluntary consequence, using braces around guards is now
3939 mandatory.
3940
f499b062
AD
39412001-12-27 Akim Demaille <akim@epita.fr>
3942
3943 * src/gram.h (rule_t): `guard' and `guard_line' are new members.
3944 * src/reader.c (symbol_list): `guard' and `guard_line' are new
3945 members.
3946 (symbol_list_new): Adjust.
3947 (copy_action): action_line is the first line, not the last.
3948 (copy_guard): Just as for actions, store the `action' only, not
3949 the switch/case/break flesh.
3950 Don't parse the user action that might follow the guard, let...
3951 (readgram): do it, i.e., now, there can be an action after a
3952 guard.
3953 In other words the guard is just explicitly optional.
3954 (packgram): Adjust.
3955 * src/output.c (guards_output): New.
3956 (output_parser): Call it when needed.
3957 (output): Also free the guard and attrs obstacks.
3958 * src/files.c, src/files.h (obstack_save): Remove.
3959 (output_files): Remove.
3960 As a result, if one needs the former `.act' file, using an
3961 appropriate skeleton which requires actions and guards is now
3962 required.
3963 * src/main.c (main): Adjust.
3964 * tests/semantic.at: New.
3965 * tests/regression.at: Use `input.y' as input file name.
3966 Avoid 8+3 problems by requiring input.c when the test needs the
3967 parser.
3968
d945f5cd
AD
39692001-12-27 Akim Demaille <akim@epita.fr>
3970
3971 * src/reader.c (symbol_list_new): Be sure to initialize all the
3972 fields.
3973
d200e455
AD
39742001-12-27 Akim Demaille <akim@epita.fr>
3975
3976 All the hacks using a final pseudo state are now useless.
3977
3978 * src/LR0.c (set_state_table): state_table holds exactly nstates.
3979 * src/lalr.c (nLA): New.
3980 (initialize_LA, compute_lookaheads, initialize_lookaheads): Use it
3981 instead of lookaheadsp from the pseudo state (nstate + 1).
3982
f9507c28
AD
39832001-12-27 Akim Demaille <akim@epita.fr>
3984
3985 * src/output.c (action_row, token_actions): Use a state_t instead
3986 of a integer, and nlookaheads instead of the following state's
3987 lookaheadsp.
3988
065fbd27
AD
39892001-12-27 Akim Demaille <akim@epita.fr>
3990
3991 * src/conflicts.c (log_resolution, flush_shift)
3992 (resolve_sr_conflict, set_conflicts, solve_conflicts)
3993 (count_sr_conflicts, count_rr_conflicts, conflicts_output)
3994 (conflicts_print, print_reductions): Use a state_t instead of an
3995 integer when referring to a state.
3996 As much as possible, depend upon nlookaheads, instead of the
3997 `lookaheadsp' member of the following state (since lookaheads of
3998 successive states are successive, the difference between state n + 1
3999 and n served as the number of lookaheads for state n).
4000 * src/lalr.c (add_lookback_edge): Likewise.
4001 * src/print.c (print_core, print_actions, print_state)
4002 (print_results): Likewise.
4003 * src/print_graph.c (print_core, print_actions, print_state)
4004 (print_graph): Likewise.
4005 * src/conflicts.h: Adjust.
4006
1b177bd7
AD
40072001-12-27 Akim Demaille <akim@epita.fr>
4008
4009 * src/bison.hairy: Formatting/comment changes.
4010 ANSIfy.
4011 Remove `register' indications.
4012 Add plenty of `static'.
4013
7742ddeb
AD
40142001-12-27 Akim Demaille <akim@epita.fr>
4015
4016 * src/output.c (prepare): Drop the muscle `ntbase' which
4017 duplicates ntokens.
4018 * src/bison.simple: Formatting/comment changes.
4019 Use YYNTOKENS only, which is documented, but not YYNTBASE, which
4020 is an undocumented synonym.
4021
1fa14068
AD
40222001-12-22 Akim Demaille <akim@epita.fr>
4023
4024 * src/output.c (output_table_data): Change the prototype to use
4025 `int' for array ranges: some invocations do pass an int, not a
4026 short.
4027 Reported by Wayne Green.
4028
b9752825
AD
40292001-12-22 Akim Demaille <akim@epita.fr>
4030
4031 Some actions of web2c.y are improperly triggered.
4032 Reported by Mike Castle.
4033
4034 * src/lalr.c (traverse): s/F (i)[k] = F (j)[k]/F (j)[k] = F (i)[k]/.
4035 * tests/regression.at (Web2c): Rename as...
4036 (Web2c Report): this.
4037 (Web2c Actions): New.
4038
776209d6
AD
40392001-12-22 Akim Demaille <akim@epita.fr>
4040
4041 Reductions in web2c.y are improperly reported.
4042 Reported by Mike Castle.
4043
4044 * src/conflicts.c (print_reductions): Fix.
4045 * tests/regression.at (Web2c): New.
4046
275fc3ad
AD
40472001-12-18 Akim Demaille <akim@epita.fr>
4048
4049 Some host fail on `assert (!"foo")', which expands to
4050 ((!"foo") ? (void)0 : __assert("!"foo."", __FILE__, __LINE__))
4051 Reported by Nelson Beebee.
4052
4053 * src/output.c, src/vcg.c: Replace `assert (!"it succeeded")' with
4054 `#define it_succeeded 0' and `assert (it_succeeded)'.
4055
897668ee
MA
40562001-12-17 Marc Autret <autret_m@epita.fr>
4057
4058 * src/bison.simple: Don't hard code the skeleton line and filename.
4059 * src/output.c (output_parser): Rename 'line' as 'output_line'.
4060 New line counter 'skeleton_line' (skeleton-line muscle).
4061
ab3399e0
PE
40622001-12-17 Paul Eggert <eggert@twinsun.com>
4063
4064 * NEWS, doc/bison.texinfo, doc/bison.1, doc/bison.rnh: Document that
4065 YYDEBUG must be defined to a nonzero value.
4066
4067 * src/bison.simple (yytname): Do not assume that the user defines
4068 YYDEBUG to a properly parenthesized expression.
4069
3877f72b
AD
40702001-12-17 Akim Demaille <akim@epita.fr>
4071
4072 * src/state.h (state_t): Rename lookaheads as lookaheadsp.
4073 nlookaheads is a new member.
4074 Adjust all users.
4075 * src/lalr.h (nlookaheads): Remove this orphan declaration.
4076 * src/lalr.c (initialize_lookaheads): Set nlookaheads for each
4077 state.
776209d6 4078
331dbc1b
AD
40792001-12-17 Akim Demaille <akim@epita.fr>
4080
4081 * src/files.h, src/files.c (open_files, close_files): Remove.
4082 * src/main.c (main): Don't open/close files, nor invoke lex_free,
4083 let...
4084 * src/reader.c (reader): Do it.
776209d6 4085
be750e4c
AD
40862001-12-17 Akim Demaille <akim@epita.fr>
4087
4088 * src/conflicts.c (print_reductions): Formatting changes.
776209d6 4089
709ae8c6
AD
40902001-12-17 Akim Demaille <akim@epita.fr>
4091
4092 * src/conflicts.c (flush_shift): Also adjust lookaheadset.
4093 (flush_reduce): New.
4094 (resolve_sr_conflict): Adjust.
776209d6 4095
f87685c3
AD
40962001-12-17 Akim Demaille <akim@epita.fr>
4097
4098 * src/output.c (output_obstack): Be static and rename as...
4099 (format_obstack): this, to avoid any confusion with files.c's
4100 output_obstack.
4101 * src/reader.h (muscle_obstack): Move to...
4102 * src/output.h: here, since it's defined in output.c.
4103
837491d8
AD
41042001-12-17 Akim Demaille <akim@epita.fr>
4105
4106 * src/output.c (action_row, save_column, default_goto)
4107 (sort_actions, matching_state, pack_vector): Better variable
4108 locality.
4109
796d61fb
AD
41102001-12-17 Akim Demaille <akim@epita.fr>
4111
4112 * src/output.c: Various formatting changes.
776209d6 4113
64d15509
AD
41142001-12-17 Akim Demaille <akim@epita.fr>
4115
4116 * src/files.c (output_files): Free the output_obstack.
4117 * src/main.c (main): Call print and print_graph conditionally.
4118 * src/print.c (print): Work unconditionally.
4119 * src/print_graph.c (print_graph): Work unconditionally.
4120 * src/conflicts.c (log_resolution): Output only if verbose_flag.
4121
fbc8ecb7
MA
41222001-12-16 Marc Autret <autret_m@epita.fr>
4123
4124 * src/output.c (actions_output): Fix. When we use %no-lines,
4125 there is one less line per action.
4126
f0440388
MA
41272001-12-16 Marc Autret <autret_m@epita.fr>
4128
4129 * src/bison.simple: Remove a useless #line directive.
4130 s/#line %%line %%skeleton/#line %%line "%%parser-file-name"/'.
4131 * src/output.c (get_lines_number): New.
776209d6 4132 (output_parser): Adjust, now takes care about the lines of a
f0440388
MA
4133 output muscles.
4134 Fix line numbering.
4135 (actions_output): Computes the number of lines taken by actions.
4136 (output_master_parser): Insert new skeleton which is the name of
4137 the output parser file name.
4138
a79986b8
MA
41392001-12-15 Marc Autret <autret_m@epita.fr>
4140
4141 * src/bison.simple [YYERROR_VERBOSE]: Restore backward compatibility.
4142
4ec8e00f
MA
41432001-12-15 Marc Autret <autret_m@epita.fr>
4144
4145 * src/output.c (output_gram): Keep track of the hairy one.
4146
1a4648ff
AD
41472001-12-15 Akim Demaille <akim@epita.fr>
4148
4149 Make `make distcheck' work.
4150
4151 * lib/Makefile.am (INCLUDES): Add top_srcdir/intl, since hash uses
4152 system.h which uses libgettext.h.
4153
9c2c67e6
AD
41542001-12-15 Akim Demaille <akim@epita.fr>
4155
4156 * src/nullable.c (set_nullable): Useless rules must be skipped,
4157 otherwise, since we range over their symbols, we might look at a
4158 nonterminal which no longer ``exists'', i.e., it is not counted in
4159 `nvars', hence we overflow our arrays.
4160
93ede233
AD
41612001-12-15 Akim Demaille <akim@epita.fr>
4162
4163 The header can also be produced directly, without any obstack!
4164 Yahoo!
4165
4166 * src/files.c, src/files.h (defines_obstack): Remove.
4167 (compute_header_macro): Global.
4168 (defines_obstack_save): Remove.
4169 * src/reader.c (parse_union_decl): No longer output to
4170 defines_obstack: its content can be found in the `stype' muscle
4171 anyway.
4172 (output_token_translations): Merge into...
4173 (symbols_output): this.
4174 Rename as...
4175 (symbols_save): this.
4176 (reader): Adjust.
4177 * src/output.c (header_output): New.
4178 (output): Call it.
4179
2666f928
AD
41802001-12-15 Akim Demaille <akim@epita.fr>
4181
4182 * src/reader.c (parse_union_decl): Instead of handling two obstack
4183 simultaneously, use one to define the `stype' muscle, and use the
4184 value of the latter to fill defines_obstack.
4185 (copy_comment): Remove.
4186 (copy_comment2): Work for a single obstack.
4187 Rename as...
4188 (copy_comment): this.
4189
428046f8
AD
41902001-12-15 Akim Demaille <akim@epita.fr>
4191
4192 * src/lex.c, src/lex.h (xgetc): No longer static.
4193 * src/reader.c (parse_union_decl): Revamp.
4194
ea52d706
AD
41952001-12-15 Akim Demaille <akim@epita.fr>
4196
4197 Still making progress in separating Bison into (i) input, (ii)
4198 process, (iii) output: now we can directly output the parser file
4199 without using table_obstack at all.
4200
4201 * src/files.c, src/files.h (table_obstack): Bye bye.
4202 (parser_file_name): New.
4203 * src/files.c (compute_output_file_names): Compute it.
4204 * src/output.c (actions_output, output_parser)
4205 (output_master_parser): To a file instead of an obstack.
4206
3f96f4dc
AD
42072001-12-15 Akim Demaille <akim@epita.fr>
4208
4209 Attach actions to rules, instead of pre-outputting them to
4210 actions_obstack.
4211
4212 * src/gram.h (rule_t): action and action_line are new members.
4213 * src/reader.c (symbol_list): Likewise.
4214 (copy_action): Save the actions within the rule.
4215 (packgram): Save them in rule_table.
4216 * src/output.c (actions_output): New.
4217 (output_parser): Use it on `%%actions'.
4218 (output_rule_data): Don't free rule_table.
4219 (output): Do it.
4220 (prepare): Don't save the `action' muscle.
4221 * src/bison.simple: s/%%action/%%actions/.
4222
51576fb3
AD
42232001-12-15 Akim Demaille <akim@epita.fr>
4224
4225 * src/reader.c (copy_action): When --yacc, don't append a `;'
4226 to the user action: let it fail if lacking.
dee049eb 4227 Suggested by Arnold Robbins and Tom Tromey.
51576fb3 4228
2648a72d
AD
42292001-12-14 Akim Demaille <akim@epita.fr>
4230
4231 * src/lex.c (literalchar): Simply return the char you decoded, non
4232 longer mess around with obstacks and int pointers.
4233 Adjust all callers.
4234
92790e5b
AD
42352001-12-14 Akim Demaille <akim@epita.fr>
4236
4237 * src/lex.c (literalchar): Don't escape the special characters,
4238 just decode them, and keep them as char (before, eol was output as
4239 the 2 char string `\n' etc.).
4240 * src/output.c (output_rule_data): Use quotearg to output the
4241 token strings.
4242
927c1557
PE
42432001-12-13 Paul Eggert <eggert@twinsun.com>
4244
4245 * src/bison.simple (YYSIZE_T, YYSTACK_ALLOC, YYSTACK_FREE):
4246 Do not infringe on the global user namespace when using C++.
4247 (YYFPRINTF, YYSTDERR): New macros, needed for the above.
4248 All uses of `fprintf' and `stderr' changed.
4249
4250 * doc/bison.texinfo: Document YYFPRINTF, YYSTDERR.
4251
ed8e1f68
AD
42522001-12-13 Akim Demaille <akim@epita.fr>
4253
4254 The computation of nullable is broken: it doesn't handle empty
4255 RHS's properly.
4256
4257 * tests/torture.at (GNU AWK Grammar): New.
4258 * tests/sets.at (Nullable): New.
4259 * src/nullable.c (set_nullable): Instead of blindly looping over
4260 `ritems', loop over the rules, and then over their rhs's.
4261
4262 Work around Autotest bugs.
4263
4264 * src/warshall.c (bitmatrix_print): Don't use `+--+' as table
4265 frame, because Autotest understand lines starting with a `+' as
4266 traces from the shell. Then, they are not processed properly.
4267 Admittedly an Autotest bug, but we don't have time to wait for
4268 Autotest to catch up.
4269 * tests/regression.at (Broken Closure): Adjust to the new table
4270 frames.
4271 Move to...
4272 * tests/sets.at: here.
4273
cb581495
AD
42742001-12-13 Akim Demaille <akim@epita.fr>
4275
4276 * src/closure.c (closure): Use nrules instead of playing tricks
4277 with BITS_PER_WORD.
4278
2e729273
AD
42792001-12-13 Akim Demaille <akim@epita.fr>
4280
4281 * src/print.c (print_actions): Output the handling of `$' as the
4282 traces do: shifting the token EOF. Before EOF was treated as a
4283 nonterminal.
4284 * tests/regression.at: Adjust some tests.
4285 * src/print_graph.c (print_core): Complete the set of items via
4286 closure. The next-to-final and final states are still unsatisfying,
4287 but that's to be addressed elsewhere.
4288 No longer output the rule numbers, but do output the state number.
4289 A single loop for the shifts + gotos is enough, but picked a
4290 distinct color for each.
4291 (print_graph): Initialize and finalize closure.
4292
107f7dfb
AD
42932001-12-13 Akim Demaille <akim@epita.fr>
4294
4295 * src/reader.c (readgram): Remove dead code, an strip useless
4296 braces.
4297 (get_type): Remove, unused.
4298
9b53a24f
AD
42992001-12-12 Akim Demaille <akim@epita.fr>
4300
4301 * src/complain.h, src/complain.c: Remove error_one_per_line, rely
4302 on that of lib/error.c.
4303
dbfb6dcd
AD
43042001-12-12 Akim Demaille <akim@epita.fr>
4305
4306 Some hosts don't like `/' in includes.
4307
4308 * src/system.h: Include libgettext.h without qualifying the path.
4309 * src/Makefile.am (INCLUDES): Add $(top_srcdir)/intl, remove
4310 $(top_srcdir).
4311
c25fb648
MA
43122001-12-11 Marc Autret <autret_m@epita.fr>
4313
4314 * src/output.c (output_parser): Remove useless muscle.
4315
710ddc4f
MA
43162001-12-11 Marc Autret <autret_m@epita.fr>
4317
4318 * src/bison.simple: Remove #line just before %%epilogue. It
4319 is now handled in ...
4320 * src/reader.c (read_additionnal_code): Add the output of a
4321 #line for the epilogue.
4322
e83d80b8
MA
43232001-12-10 Marc Autret <autret_m@epita.fr>
4324
927c1557 4325 * src/reader.c (copy_definition): Re-use CPP-outed code which
e83d80b8
MA
4326 replace precedent remove.
4327 * src/bison.simple: Remove #line before %%prologue because
4328 %%input-line is wrong at this time.
4329
971d5158
MA
43302001-12-10 Marc Autret <autret_m@epita.fr>
4331
4332 * src/reader.c (symbols_output): Clean up.
927c1557 4333 * src/output.c (output_gram, output): Clean up.
971d5158 4334
5edafffd
AD
43352001-12-10 Akim Demaille <akim@epita.fr>
4336
4337 * src/lalr.c (initialize_lookaheads): New. Extracted from...
4338 * src/LR0.c (set_state_table): here.
4339 * src/lalr.c (lalr): Call it.
4340
0279f8e9
AD
43412001-12-10 Akim Demaille <akim@epita.fr>
4342
4343 * src/state.h (shifts): Remove the `number' member: shifts are
4344 attached to state, hence no longer need to be labelled with a
4345 state number.
4346
190c4f5f
AD
43472001-12-10 Akim Demaille <akim@epita.fr>
4348
4349 Now that states have a complete set of members, the linked list of
4350 shifts is useless: just fill directly the state's shifts member.
4351
4352 * src/state.h (shifts): Remove the `next' member.
4353 * src/LR0.c (first_state, last_state): Remove.
4354 Adjust the callers.
4355 (augment_automaton): Don't look for the shifts that must be added
4356 a shift on EOF: it is those of the state we looked for! But now,
4357 since shifts are attached, it is no longer needed to looking
4358 merely by its id: its number.
4359
2a73b93d
AD
43602001-12-10 Akim Demaille <akim@epita.fr>
4361
4362 * src/LR0.c (augment_automaton): Better variable locality.
4363 Remove an impossible branch: if there is a state corresponding to
4364 the start symbol being shifted, then there is shift for the start
4365 symbol from the initial state.
4366
74392f6a
AD
43672001-12-10 Akim Demaille <akim@epita.fr>
4368
4369 * src/LR0.c (augment_automaton): Call `insert_eof_shifting_state'
4370 only when appropriate: when insert_start_shifting_state' is not
4371 invoked.
4372 * tests/regression.at (Rule Line Numbers): Adjust.
4373
37c82725
AD
43742001-12-10 Akim Demaille <akim@epita.fr>
4375
4376 * src/LR0.c (augment_automaton): Now that all states have shifts,
4377 merge the two cases addition shifts to the initial state.
4378
6a164e0c
AD
43792001-12-10 Akim Demaille <akim@epita.fr>
4380
4381 * src/lalr.c (set_state_table): Move to...
4382 * src/LR0.c: here.
4383 * src/lalr.c (lalr): Don't call it...
4384 * src/LR0.c (generate_states): do it.
4385 * src/LR0.h (first_state): Remove, only the table is used.
4386
7215de24
AD
43872001-12-10 Akim Demaille <akim@epita.fr>
4388
4389 * src/LR0.h (first_shift, first_reduction): Remove.
4390 * src/lalr.c: Don't use first_shift: find shifts through the
4391 states.
4392
80e25d4d
AD
43932001-12-10 Akim Demaille <akim@epita.fr>
4394
4395 * src/LR0.c: Attach shifts to states as soon as they are
4396 computed.
4397 * src/lalr.c (set_state_table): Instead of assigning shifts to
4398 state, just assert that the mapping was properly done.
4399
0ab3728b
AD
44002001-12-10 Akim Demaille <akim@epita.fr>
4401
4402 * src/LR0.c (insert_start_shift): Rename as...
4403 (insert_start_shifting_state): this.
4404 (insert_eof_shifting_state, insert_accepting_state): New.
4405 (augment_automaton): Adjust.
4406 Better locality of the variables.
4407 When looking if the start_symbol is shifted from the initial
4408 state, using `while (... symbol != start_symbol ...)' sounds
4409 better than `while (... symbol < start_symbol ...)': If fail
4410 to see how the order between symbols could be relevant!
4411
78af9bbc
AD
44122001-12-10 Akim Demaille <akim@epita.fr>
4413
4414 * src/getargs.h: Don't declare `spec_name_prefix' and
4415 `spec_file_prefix', declared by src/files.h.
4416 * src/files.c, src/files.h: Default for spec_name_prefix is "yy".
4417 * src/muscle_tab.c (muscle_init): Default prefix to NULL.
4418 * src/output.c (prepare): Adjust.
4419 * src/reader.c (symbols_output): Likewise.
4420 * src/vmsgetargs.c: Vaguely adjust, but who cares?
4421
bdef2a41
AD
44222001-12-10 Akim Demaille <akim@epita.fr>
4423
4424 * src/muscle_tab.c (muscle_init): NULL is a better default than
4425 `"0"'.
4426
3735969c
AD
44272001-12-10 Akim Demaille <akim@epita.fr>
4428
4429 * src/reader.c (reader): Calling symbols_output once is enough.
4430
49701457
AD
44312001-12-10 Akim Demaille <akim@epita.fr>
4432
4433 Now that states have a complete set of members, the linked list of
4434 reductions is useless: just fill directly the state's reductions
4435 member.
4436
4437 * src/state.h (struct reductions): Remove member `number' and
4438 `next'.
4439 * src/LR0.c (first_reduction, last_reduction): Remove.
4440 (save_reductions): Don't link the new reductions, store them in
4441 this_state.
4442 * src/lalr.c (set_state_table): No need to attach reductions to
4443 states, it's already done.
4444 * src/output.c (output_actions): No longer free the shifts, then
4445 the reductions, then the states: free all the states and their
4446 members.
4447
0edad749
AD
44482001-12-10 Akim Demaille <akim@epita.fr>
4449
4450 * src/options.c (OPTN, DRTV, BOTH): New.
4451 (option_table): Use them.
4452
0edad749
AD
4453 * src/muscle_tab.c: Don't include xalloc.h and string.h: that's
4454 the job of system.h.
4455 * src/options.c: Don't include stdio.h and xalloc.h for the same
4456 reasons.
4457
5449dd0f
AD
44582001-12-10 Akim Demaille <akim@epita.fr>
4459
4460 * src/output.c (output, prepare): Make sure the values of the
4461 muscles `action' and `prologue' are 0-terminated.
4462
a870c567
AD
44632001-12-10 Akim Demaille <akim@epita.fr>
4464
4465 Clean up GCC warnings.
4466
4467 * src/reader.c (copy_action): `buf' is not used.
4468 (parse_skel_decl): Be static.
4469 * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'.
4470 * src/options.h (create_long_option_table): Have a real prototype.
4471 * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete)
4472 (hash_delete_at): Return const void *.
4473 Adjust casts to preserve the const.
4474
80df8768
AD
44752001-12-10 Akim Demaille <akim@epita.fr>
4476
4477 * configure.in: Require 2.52g.
4478 M4 is not needed, but AUTOM4TE is.
4479 * m4/m4.m4: Remove.
4480 * tests/Makefile.am: Adjust.
4481
f693ad14
AD
44822001-12-10 Akim Demaille <akim@epita.fr>
4483
4484 One structure for states is enough, even though theoretically
4485 there are LR(0) states and LALR(1) states.
4486
4487 * src/lalr.h (state_t): Remove.
4488 (state_table): Be state_t **, not state_t *.
4489 * src/state.h (core, CORE_ALLOC): Rename as...
4490 (state_t, STATE_ALLOC): this.
4491 Add the LALR(1) members: shifts, reductions, errs.
4492 * src/LR0.c (state_table): Rename as...
4493 (state_hash): this, to avoid name clashes with the global
4494 `state_table'.
4495 * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
4496 * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
4497
74ffbcb6
AD
44982001-12-10 Akim Demaille <akim@epita.fr>
4499
4500 Bison dumps core on bash.y.
4501 Reported by Pascal Bart.
4502
4503 * src/warshall.c (bitmatrix_print): New.
4504 (TC): Use it.
4505 When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
4506 j must be the outer loop.
4507 * tests/regression.at (Broken Closure): New.
4508
07708e19
AD
45092001-12-05 Akim Demaille <akim@epita.fr>
4510
4511 * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and
4512 its argument.
4513