]> git.saurik.com Git - bison.git/blame_incremental - ChangeLog
Gettext 0.11.3 adjustments.
[bison.git] / ChangeLog
... / ...
CommitLineData
12002-05-03 Akim Demaille <akim@epita.fr>
2
3 * configure.bat: Remove, completely obsolete.
4 * Makefile.am (EXTRA_DIST): Adjust.
5 Don't distribute config.rpath...
6 * config/Makefile.am (EXTRA_DIST): Do it.
7
82002-05-03 Akim Demaille <akim@epita.fr>
9
10 * configure.in (GETTEXT_VERSION): New.
11 Suggested by Bruno Haible for the forthcoming Gettext 0.10.3.
12
132002-05-03 Akim Demaille <akim@epita.fr>
14
15 * data/bison.simple (b4_token_enum): New.
16 (b4_token_defines): Use it to output tokens both as #define and
17 enums.
18 Suggested by Paul Eggert.
19 * src/output.c (token_definitions_output): Don't output spurious
20 white spaces.
21
222002-05-03 Akim Demaille <akim@epita.fr>
23
24 * data/m4sugar/m4sugar.m4: Update from CVS Autoconf.
25
262002-05-02 Robert Anisko <robert@lrde.epita.fr>
27
28 * data/bison.c++: Adapt expansion of $s and @s to the C++ parser.
29 Update the stack class, give a try to deque as the default container.
30
312002-05-02 Akim Demaille <akim@epita.fr>
32
33 * data/bison.simple (yyparse): Do not implement @$ = @1.
34 (YYLLOC_DEFAULT): Adjust to do it.
35 * doc/bison.texinfo (Location Default Action): Fix.
36
372002-05-02 Akim Demaille <akim@epita.fr>
38
39 * src/reader.c (parse_braces): Merge into...
40 (parse_action): this.
41
422002-05-02 Akim Demaille <akim@epita.fr>
43
44 * configure.in (ALL_LINGUAS): Remove.
45 * po/LINGUAS, hr.po: New.
46
472002-05-02 Akim Demaille <akim@epita.fr>
48
49 Remove the so called hairy (semantic) parsers.
50
51 * src/system.h (EXT_GUARD_C, EXT_STYPE_H): Remove.
52 * src/gram.h, src/gram.c (semantic_parser): Remove.
53 (rule_t): Remove the guard and guard_line members.
54 * src/lex.h (token_t): remove tok_guard.
55 * src/options.c (option_table): Remove %guard and %semantic_parser
56 support.
57 * src/output.c, src/output.h (guards_output): Remove.
58 (prepare): Adjust.
59 (token_definitions_output): Don't output the `T'
60 tokens (???).
61 (output_skeleton): Don't output the guards.
62 * src/files.c, src/files.c (attrsfile): Remove.
63 * src/reader.c (symbol_list): Remove the guard and guard_line
64 members.
65 Adjust dependencies.
66 (parse_guard): Remove.
67 * data/bison.hairy: Remove.
68 * doc/bison.texinfo (Environment Variables): Remove occurrences of
69 BISON_HAIRY.
70
712002-05-02 Akim Demaille <akim@epita.fr>
72
73 * src/reader.c (copy_at, copy_dollarm parse_braces, parse_action)
74 (parse_guard): Rename the formal argument `stack_offset' as
75 `rule_length', which is more readable.
76 Adjust callers.
77 (copy_at, copy_dollar): Instead of outputting the hard coded
78 values of $$, $n and so forth, output invocation to b4_lhs_value,
79 b4_lhs_location, b4_rhs_value, and b4_rhs_location.
80 Note: this patch partially drops `semantic-parser' support: it
81 always does `rule_length - n', where semantic parsers ought to
82 always use `-n'.
83 * data/bison.simple, data/bison.c++ (b4_lhs_value)
84 (b4_lhs_location, b4_rhs_value, and b4_rhs_location: New.
85
862002-05-02 Akim Demaille <akim@epita.fr>
87
88 * configure.in (AC_INIT): Bump to 1.49b.
89 (AM_INIT_AUTOMAKE): Short invocation.
90
912002-05-02 Akim Demaille <akim@epita.fr>
92
93 Version 1.49a.
94
952002-05-01 Akim Demaille <akim@epita.fr>
96
97 * src/skeleton.h: Remove.
98
992002-05-01 Akim Demaille <akim@epita.fr>
100
101 * src/skeleton.h: Fix the #endif.
102 Reported by Magnus Fromreide.
103
1042002-04-26 Paul Eggert <eggert@twinsun.com>
105
106 * data/bison.simple (YYSTYPE_IS_TRIVIAL, YYLTYPE_IS_TRIVIAL):
107 Define if we define YYSTYPE and YYLTYPE, respectively.
108 (YYCOPY): Fix [] quoting problem in the non-GCC case.
109
1102002-04-25 Robert Anisko <robert@lrde.epita.fr>
111
112 * src/scan-skel.l: Postprocess quadrigraphs.
113
114 * src/reader.c (copy_character): New function, used to output
115 single characters while replacing `[' and `]' with quadrigraphs, to
116 avoid troubles with M4 quotes.
117 (copy_comment): Output characters with copy_character.
118 (read_additionnal_code): Likewise.
119 (copy_string2): Likewise.
120 (copy_definition): Likewise.
121
122 * tests/calc.at: Exercise M4 quoting.
123
1242002-04-25 Akim Demaille <akim@epita.fr>
125
126 * tests/sets.at (AT_EXTRACT_SETS): Sed portability issue: no space
127 between `!' and the command.
128 Reported by Paul Eggert.
129
1302002-04-24 Robert Anisko <robert@lrde.epita.fr>
131
132 * tests/calc.at: Exercise prologue splitting.
133
134 * data/bison.simple, data/bison.c++: Use `b4_pre_prologue' and
135 `b4_post_prologue' instead of `b4_prologue'.
136
137 * src/output.c (prepare): Add the `pre_prologue' and `post_prologue'
138 muscles.
139 (output): Free pre_prologue_obstack and post_prologue_obstack.
140 * src/files.h, src/files.c (attrs_obstack): Remove.
141 (pre_prologue_obstack, post_prologue_obstack): New.
142 * src/reader.c (copy_definition): Add a parameter to specify the
143 obstack to fill, instead of using attrs_obstack unconditionally.
144 (read_declarations): Pass pre_prologue_obstack to copy_definition if
145 `%union' has not yet been seen, pass post_prologue_obstack otherwise.
146
1472002-04-23 Paul Eggert <eggert@twinsun.com>
148
149 * data/bison.simple: Remove unnecessary commentary and white
150 space differences from 1_29-branch.
151 Depend on YYERROR_VERBOSE, not defined (YYERROR_VERBOSE).
152
153 (union yyalloc, YYSTACK_GAP_MAX, YYSTACK_BYTES, YYCOPY,
154 YYSTACK_RELOCATE): Do not define if yyoverflow is defined, or
155 if this is a C++ parser and YYSTYPE or YYLTYPE has nontrivial
156 constructors or destructors.
157
158 (yyparse) [! defined YYSTACK_RELOCATE]: Do not relocate the stack.
159
1602002-04-23 Akim Demaille <akim@epita.fr>
161
162 * tests/sets.at (AT_EXTRACT_SETS): Don't use 8 char long sed labels.
163 * tests/synclines.at (AT_TEST_SYNCLINE): Be robust to GCC's
164 location with columns.
165 * tests/conflicts.at (%nonassoc and eof): Don't use `error.h'.
166 All reported by Paul Eggert.
167
1682002-04-22 Akim Demaille <akim@epita.fr>
169
170 * src/reduce.c (dump_grammar): Move to...
171 * src/gram.h, src/gram.c (grammar_dump): here.
172 Be sure to separate long item numbers.
173 Don't read the members of a rule's prec if its nil.
174
1752002-04-22 Akim Demaille <akim@epita.fr>
176
177 * src/output.c (table_size, table_grow): New.
178 (MAXTABLE): Remove, replace uses with table_size.
179 (pack_vector): Instead of dying when the table is too big, grow it.
180
1812002-04-22 Akim Demaille <akim@epita.fr>
182
183 * data/bison.simple (yyr1): Its type is that of a token number.
184 * data/bison.c++ (r1_): Likewise.
185 * tests/regression.at (Web2c Actions): Adjust.
186
1872002-04-22 Akim Demaille <akim@epita.fr>
188
189 * src/reader.c (token_translations_init): 256 is now the default
190 value for the error token, i.e., it will be assigned another
191 number if the user assigned 256 to one of her tokens.
192 (reader): Don't force 256 to error.
193 * doc/bison.texinfo (Symbols): Adjust.
194 * tests/torture.at (AT_DATA_HORIZONTAL_GRAMMAR)
195 (AT_DATA_TRIANGULAR_GRAMMAR): Number the tokens as 1, 2, 3
196 etc. instead of 10, 20, 30 (which was used to `jump' over error
197 (256) and undefined (2)).
198
1992002-04-22 Akim Demaille <akim@epita.fr>
200
201 Propagate more token_number_t.
202
203 * src/gram.h (token_number_as_item_number)
204 (item_number_as_token_number): New.
205 * src/output.c (GENERATE_OUTPUT_TABLE): New.
206 Use it to create output_item_number_table and
207 output_token_number_table.
208 * src/LR0.c, src/derives.c, src/gram.c, src/gram.h, src/lalr.c,
209 * src/lex.c, src/nullable.c, src/output.c, src/print.c,
210 * src/print_graph.c, src/reader.c, src/reduce.c, src/state.h,
211 * src/symtab.c, src/symtab.h: Use token_number_t instead of shorts.
212
2132002-04-22 Akim Demaille <akim@epita.fr>
214
215 * src/output.h, src/output.c (get_lines_number): Remove.
216
2172002-04-19 Akim Demaille <akim@epita.fr>
218
219 * doc/bison.texinfo (Actions): Make clear that `|' is not the same
220 as Lex/Flex'.
221 (Debugging): More details about enabling the debugging features.
222 (Table of Symbols): Describe $$, $n, @$, and @n.
223 Suggested by Tim Josling.
224
2252002-04-19 Akim Demaille <akim@epita.fr>
226
227 * doc/bison.texinfo: Remove the uses of the obsolete @refill.
228
2292002-04-10 Akim Demaille <akim@epita.fr>
230
231 * src/system.h: Rely on HAVE_LIMITS_H.
232 Suggested by Paul Eggert.
233
2342002-04-09 Akim Demaille <akim@epita.fr>
235
236 * tests/calc.at (_AT_CHECK_CALC_ERROR): Receive as argument the
237 full stderr, and strip it according to the bison options, instead
238 of composing the error message from different bits.
239 This makes it easier to check for several error messages.
240 Adjust all the invocations.
241 Add an invocation exercising the error token.
242 Add an invocation demonstrating a stupid error message.
243 (_AT_DATA_CALC_Y): Follow the GCS: initial column is 1, not 0.
244 Adjust the tests.
245 Error message are for stderr, not stdout.
246
2472002-04-09 Akim Demaille <akim@epita.fr>
248
249 * src/gram.h, src/gram.c (error_token_number): Remove, use
250 errtoken->number.
251 * src/reader.c (reader): Don't specify the user token number (2)
252 for $undefined, as it uselessly prevents using it.
253 * src/gram.h (token_number_t): Move to...
254 * src/symtab.h: here.
255 (state_t.number): Is a token_number_t.
256 * src/print.c, src/reader.c: Use undeftoken->number instead of
257 hard coded 2.
258 (Even though this 2 is not the same as above: the number of the
259 undeftoken remains being 2, it is its user token number which
260 might not be 2).
261 * src/output.c (prepare_tokens): Rename the `maxtok' muscle with
262 `user_token_number_max'.
263 Output `undef_token_number'.
264 * data/bison.simple, data/bison.c++: Use them.
265 Be sure to map invalid yylex return values to
266 `undef_token_number'. This saves us from gratuitous SEGV.
267
268 * tests/conflicts.at (Solved SR Conflicts)
269 (Unresolved SR Conflicts): Adjust.
270 * tests/regression.at (Web2c Actions): Adjust.
271
2722002-04-08 Akim Demaille <akim@epita.fr>
273
274 * data/bison.c++: s/b4_item_number_max/b4_rhs_number_max/.
275 Adding #line.
276 Remove the duplicate `typedefs'.
277 (RhsNumberType): Fix the declaration and various other typos.
278 Use __ofile__.
279 * data/bison.simple: Use __ofile__.
280 * src/scan-skel.l: Handle __ofile__.
281
2822002-04-08 Akim Demaille <akim@epita.fr>
283
284 * src/gram.h (item_number_t): New, the type of item numbers in
285 RITEM. Note that it must be able to code symbol numbers as
286 positive number, and the negation of rule numbers as negative
287 numbers.
288 Adjust all dependencies (pretty many).
289 * src/reduce.c (rule): Remove this `short *' pointer: use
290 item_number_t.
291 * src/system.h (MINSHORT, MAXSHORT): Remove.
292 Include `limits.h'.
293 Adjust dependencies to using SHRT_MAX and SHRT_MIN.
294 (shortcpy): Remove.
295 (MAXTABLE): Move to...
296 * src/output.c (MAXTABLE): here.
297 (prepare_rules): Use output_int_table to output rhs.
298 * data/bison.simple, data/bison.c++: Adjust.
299 * tests/torture.at (Big triangle): Move the limit from 254 to
300 500.
301 * tests/regression.at (Web2c Actions): Ajust.
302
303 Trying with bigger grammars shows various phenomena: at 3000 (28Mb
304 of grammar file) bison is killed by my system, at 2000 (12Mb) bison
305 passes, but produces negative #line number, once fixed, GCC is
306 killed while compiling 14Mb, at 1500 (6.7 Mb of grammar, 8.2Mb of
307 C), it passes.
308 * src/state.h (state_h): Code input lines on ints, not shorts.
309
3102002-04-08 Akim Demaille <akim@epita.fr>
311
312 * src/reduce.c (reduce_grammar): First reduce the nonterminals,
313 and then the grammar.
314
3152002-04-08 Akim Demaille <akim@epita.fr>
316
317 * src/system.h: No longer using strndup.
318
3192002-04-07 Akim Demaille <akim@epita.fr>
320
321 * src/muscle_tab.h (MUSCLE_INSERT_LONG_INT): New.
322 * src/output.c (output_table_data): Return the longest number.
323 (prepare_tokens): Output `token_number_max').
324 * data/bison.simple, data/bison.c++ (b4_sint_type, b4_uint_type):
325 New.
326 Use them to define yy_token_number_type/TokenNumberType.
327 Use this type for yytranslate.
328 * tests/torture.at (Big triangle): Push the limit from 124 to
329 253.
330 * tests/regression.at (Web2c Actions): Adjust.
331
3322002-04-07 Akim Demaille <akim@epita.fr>
333
334 * tests/torture.at (Big triangle): New.
335 (GNU AWK Grammar, GNU Cim Grammar): Move to...
336 * tests/existing.at: here.
337
3382002-04-07 Akim Demaille <akim@epita.fr>
339
340 * src/gram.h, src/gram.c (nitems): Remove, it is an alias of
341 nritems.
342 Adjust dependencies.
343
3442002-04-07 Akim Demaille <akim@epita.fr>
345
346 * src/reader.c: Normalize increments to prefix form.
347
3482002-04-07 Akim Demaille <akim@epita.fr>
349
350 * src/reader.c, symtab.c: Remove debugging code.
351
3522002-04-07 Akim Demaille <akim@epita.fr>
353
354 Rename all the `bucket's as `symbol_t'.
355
356 * src/gram.c, src/gram.h, src/lex.c, src/lex.h, src/output.c,
357 * src/reader.c, src/reader.h, src/reduce.c, src/state.h,
358 * src/symtab.c, src/symtab.h (bucket): Rename as...
359 (symbol_t): this.
360 (symbol_list_new, bucket_check_defined, bucket_make_alias)
361 (bucket_check_alias_consistence, bucket_pack, bucket_translation)
362 (bucket_new, bucket_free, hash_compare_bucket, hash_bucket)
363 (buckets_new, buckets_free, buckets_do): Rename as...
364 (symbol_list_new, symbol_check_defined, symbol_make_alias)
365 (symbol_check_alias_consistence, symbol_pack, symbol_translation)
366 (symbol_new, symbol_free, hash_compare_symbol_t, hash_symbol_t)
367 (symbols_new, symbols_free, symbols_do): these.
368
3692002-04-07 Akim Demaille <akim@epita.fr>
370
371 Use lib/hash for the symbol table.
372
373 * src/gram.c (ntokens): Initialize to 1, to reserve a slot for
374 EOF.
375 * src/lex.c (lex): Set the `number' member of new terminals.
376 * src/reader.c (bucket_check_defined, bucket_make_alias)
377 (bucket_check_alias_consistence, bucket_translation): New.
378 (reader, grammar_free, readgram, token_translations_init)
379 (packsymbols): Adjust.
380 (reader): Number the predefined tokens.
381 * src/reduce.c (inaccessable_symbols): Just use hard coded numbers
382 for predefined tokens.
383 * src/symtab.h (bucket): Remove all the hash table related
384 members.
385 * src/symtab.c (symtab): Replace by...
386 (bucket_table): this.
387 (bucket_new, bucket_free, hash_compare_bucket, hash_bucket)
388 (buckets_new, buckets_do): New.
389
3902002-04-07 Akim Demaille <akim@epita.fr>
391
392 * src/gram.c (nitems, nrules, nsyms, ntokens, nvars, nritems)
393 (start_symbol, max_user_token_number, semantic_parser)
394 (error_token_number): Initialize.
395 * src/reader.c (grammar, start_flag, startval, typed, lastprec):
396 Initialize.
397 (reader): Don't.
398 (errtoken, eoftoken, undeftoken, axiom): Extern.
399
4002002-04-07 Akim Demaille <akim@epita.fr>
401
402 * src/gram.h (rule_s): prec and precsym are now pointers
403 to the bucket giving the priority/associativity.
404 Member `associativity' removed: useless.
405 * src/reduce.c, src/conflicts.c: Adjust.
406
4072002-04-07 Akim Demaille <akim@epita.fr>
408
409 * src/lalr.c, src/LR0.c, src/closure.c, src/gram.c, src/reduce.c:
410 Properly escape the symbols' TAG when outputting them.
411
4122002-04-07 Akim Demaille <akim@epita.fr>
413
414 * src/lalr.h (LA): Is a bitsetv, not bitset*.
415
4162002-04-07 Akim Demaille <akim@epita.fr>
417
418 * src/lalr.h, src/lalr.c (LAruleno): Replace with...
419 (LArule): this, which is an array to rule_t*.
420 * src/print.c, src/conflicts.c: Adjust.
421
4222002-04-07 Akim Demaille <akim@epita.fr>
423
424 * src/gram.h (rule_t): Rename `number' as `user_number'.
425 `number' is a new member.
426 Adjust dependencies.
427 * src/reduce.c (reduce_grammar_tables): Renumber rule_t.number.
428
4292002-04-07 Akim Demaille <akim@epita.fr>
430
431 As a result of the previous patch, it is no longer needed
432 to reorder ritem itself.
433
434 * src/reduce.c (reduce_grammar_tables): Don't sort RITEM.
435
4362002-04-07 Akim Demaille <akim@epita.fr>
437
438 Be sure never to walk through RITEMS, but use only data related to
439 the rules themselves. RITEMS should be banished.
440
441 * src/output.c (output_token_translations): Rename as...
442 (prepare_tokens): this.
443 In addition to `translate', prepare the muscles `tname' and
444 `toknum', which were handled by...
445 (output_rule_data): this.
446 Remove, and move the remainder of its outputs into...
447 (prepare_rules): this new routines, which also merges content from
448 (output_gram): this.
449 (prepare_rules): Be sure never to walk through RITEMS.
450 (output_stos): Rename as...
451 (prepare_stos): this.
452 (output): Always invoke prepare_states, after all, just don't use it
453 in the output if you don't need it.
454
4552002-04-07 Akim Demaille <akim@epita.fr>
456
457 * src/LR0.c (new_state): Display `nstates' as the name of the
458 newly created state.
459 Adjust to initialize first_state and last_state if needed.
460 Be sure to distinguish the initial from the final state.
461 (new_states): Create the itemset of the initial state, and use
462 new_state.
463 * src/closure.c (closure): Now that the initial state has its
464 items properly set, there is no need for a special case when
465 creating `ruleset'.
466
467 As a result, now the rule 0, reducing to $axiom, is visible in the
468 outputs. Adjust the test suite.
469
470 * tests/conflicts.at (Solved SR Conflicts)
471 (Unresolved SR Conflicts): Adjust.
472 * tests/regression.at (Web2c Report, Rule Line Numbers): Idem.
473 * tests/conflicts.at (S/R in initial): New.
474
4752002-04-07 Akim Demaille <akim@epita.fr>
476
477 * src/LR0.c (allocate_itemsets): Don't loop over ritem: loop over
478 the RHS of the rules.
479 * src/output.c (output_gram): Likewise.
480
4812002-04-07 Akim Demaille <akim@epita.fr>
482
483 * src/gram.h (rule_t): `lhs' is now a pointer to the symbol's
484 bucket.
485 Adjust all dependencies.
486 * src/reduce.c (nonterminals_reduce): Don't forget to renumber the
487 `number' of the buckets too.
488 * src/gram.h: Include `symtab.h'.
489 (associativity): Move to...
490 * src/symtab.h: here.
491 No longer include `gram.h'.
492
4932002-04-07 Akim Demaille <akim@epita.fr>
494
495 * src/gram.h, src/gram.c (rules_rhs_length): New.
496 (ritem_longest_rhs): Use it.
497 * src/gram.h (rule_t): `number' is a new member.
498 * src/reader.c (packgram): Set it.
499 * src/reduce.c (reduce_grammar_tables): Move the useless rules at
500 the end of `rules', and count them out of `nrules'.
501 (reduce_output, dump_grammar): Adjust.
502 * src/print.c (print_grammar): It is no longer needed to check for
503 the usefulness of a rule, as useless rules are beyond `nrules + 1'.
504 * tests/reduce.at (Reduced Automaton): New test.
505
5062002-04-07 Akim Demaille <akim@epita.fr>
507
508 * src/reduce.c (inaccessable_symbols): Fix a buglet: because of a
509 lacking `+ 1' to nrules, Bison reported as useless a token if it
510 was used solely to set the precedence of the last rule...
511
5122002-04-07 Akim Demaille <akim@epita.fr>
513
514 * data/bison.c++, data/bison.simple: Don't output the current file
515 name in #line, to avoid useless diffs between two identical
516 outputs under different names.
517
5182002-04-07 Akim Demaille <akim@epita.fr>
519
520 * src/closure.c, src/print.c, src/reader.c, src/reduce.c:
521 Normalize loops to using `< nrules + 1', not `<= nrules'.
522
5232002-04-07 Akim Demaille <akim@epita.fr>
524
525 * TODO: Update.
526
5272002-04-07 Akim Demaille <akim@epita.fr>
528
529 * src/output.c, src/reader.c, src/symtab.c, src/symtab.h: Rename
530 bucket.value as bucket.number.
531
5322002-04-07 Akim Demaille <akim@epita.fr>
533
534 * src/closure.c, src/derives.c, src/gram.h, src/lalr.c,
535 * src/nullable.c, src/output.c, src/print.c, src/print_graph.c,
536 * src/reader.c, src/reduce.c: Let rule_t.rhs point directly to the
537 RHS, instead of being an index in RITEMS.
538
5392002-04-04 Paul Eggert <eggert@twinsun.com>
540
541 * doc/bison.texinfo: Update copyright date.
542 (Rpcalc Lexer, Symbols, Token Decl): Don't assume ASCII.
543 (Symbols): Warn about running Bison in one character set,
544 but compiling and/or running in an incompatible one.
545 Warn about character code 256, too.
546
5472002-04-03 Paul Eggert <eggert@twinsun.com>
548
549 * src/bison.data (YYSTACK_ALLOC): Depend on whether
550 YYERROR_VERBOSE is nonzero, not whether it is defined.
551
552 Merge changes from bison-1_29-branch.
553
5542002-03-20 Paul Eggert <eggert@twinsun.com>
555
556 Merge fixes from Debian bison_1.34-1.diff.
557
558 * configure.in (AC_PREREQ): 2.53.
559
5602002-03-20 Akim Demaille <akim@epita.fr>
561
562 * src/conflicts.c (log_resolution): Argument `resolution' is const.
563
5642002-03-19 Paul Eggert <eggert@twinsun.com>
565
566 * src/bison.simple (YYCOPY): New macro.
567 (YYSTACK_RELOCATE): Use it.
568 Remove Type arg; no longer needed. All callers changed.
569 (yymemcpy): Remove; no longer needed.
570
571 * Makefile.am (AUTOMAKE_OPTIONS): 1.6.
572 * doc/Makefile.am (AUTOMAKE_OPTIONS): Remove.
573
5742002-03-19 Akim Demaille <akim@epita.fr>
575
576 Test and fix the #line outputs.
577
578 * tests/atlocal.at (GCC): New.
579 * tests/synclines.at (AT_TEST_SYNCLINE): New macro.
580 (Prologue synch line, ,%union synch line, Postprologue synch line)
581 (Action synch line, Epilogue synch line): New tests.
582 * src/reader.c (parse_union_decl): Define the muscle stype_line.
583 * data/bison.simple, data/bison.c++: Use it.
584
5852002-03-19 Akim Demaille <akim@epita.fr>
586
587 * tests/regression.at (%nonassoc and eof, Unresolved SR Conflicts)
588 (Solved SR Conflicts, %expect not enough, %expect right)
589 (%expect too much): Move to...
590 * tests/conflicts.at: this new file.
591
5922002-03-19 Akim Demaille <akim@epita.fr>
593
594 * data/m4sugar/m4sugar.m4: Update from CVS Autoconf.
595 * data/bison.simple, data/bison.c++: Handle the `#define' part, so
596 that we can move to enums for instance.
597 * src/output.c (token_definitions_output): Output a list of
598 `token-name, token-number' instead of the #define.
599 (output_skeleton): Name this list `b4_tokens', not `b4_tokendefs'.
600
6012002-03-14 Akim Demaille <akim@epita.fr>
602
603 Use Gettext 0.11.1.
604
6052002-03-09 Robert Anisko <robert@lrde.epita.fr>
606
607 * data/bison.c++: Make the user able to add members to the generated
608 parser by subclassing.
609
6102002-03-05 Robert Anisko <robert@lrde.epita.fr>
611
612 * src/reader.c (read_additionnal_code): `c' should be an integer, not
613 a character.
614 Reported by Nicolas Tisserand and Nicolas Burrus.
615
6162002-03-04 Robert Anisko <robert@lrde.epita.fr>
617
618 * src/reader.c: Warn about lacking semi-colons, do not complain.
619
6202002-03-04 Robert Anisko <robert@lrde.epita.fr>
621
622 * data/bison.c++: Remove a debug line.
623
6242002-03-04 Robert Anisko <robert@lrde.epita.fr>
625
626 * data/bison.c++: Unmerge value as yylval and value as yyval. Unmerge
627 location as yylloc and location as yyloc. Use YYLLOC_DEFAULT, and
628 provide a default implementation.
629
6302002-03-04 Akim Demaille <akim@epita.fr>
631
632 * tests/input.at (Invalid $n, Invalid @n): Add the ending `;'.
633 * tests/output.at (AT_CHECK_OUTPUT): Likewise.
634 * tests/headers.at (AT_TEST_CPP_GUARD_H): Ditto.
635 * tests/semantic.at (Parsing Guards): Similarly.
636 * src/reader.at (readgram): Complain if the last rule is not ended
637 with a semi-colon.
638
6392002-03-04 Akim Demaille <akim@epita.fr>
640
641 * src/warshall.h, src/warshall.c (bitmatrix_print): Move to...
642 * src/closure.c: here.
643 (set_firsts): Use bitsetv_reflexive_transitive_closure instead of
644 RTC.
645 * src/warshall.h, src/warshall.c: Remove.
646 * tests/sets.at (Broken Closure): Adjust.
647
6482002-03-04 Akim Demaille <akim@epita.fr>
649
650 * src/output.c (output_skeleton): tempdir is const.
651 bytes_read is unused.
652
6532002-03-04 Akim Demaille <akim@epita.fr>
654
655 * lib/bbitset.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
656 * lib/bitsetv.h, lib/ebitset.c, lib/lbitset.c, lib/sbitset.c:
657 Update.
658 From Michael Hayes.
659
6602002-03-04 Akim Demaille <akim@epita.fr>
661
662 * src/closure.c (closure): `r' is unused.
663
6642002-03-04 Akim Demaille <akim@epita.fr>
665
666 * tests/sets.at (Broken Closure): Add the ending `;'.
667 * src/reader.at (readgram): Complain if a rule is not ended with a
668 semi-colon.
669
6702002-03-04 Akim Demaille <akim@epita.fr>
671
672 * src/conflicts.c (set_conflicts): Use bitset_disjoint_p.
673 (count_sr_conflicts): Use bitset_count.
674 * src/reduce.c (inaccessable_symbols): Ditto.
675 (bits_size): Remove.
676 * src/warshall.h, src/warshall.c: Convert to bitsetv.
677
6782002-03-04 Akim Demaille <akim@epita.fr>
679
680 * src/closure.c, src/conflicts.c, src/lalr.c, src/print.c,
681 * src/reduce.c: Remove the `bitset_zero's following the
682 `bitset_create's, as now it is performed by the latter.
683
6842002-03-04 Akim Demaille <akim@epita.fr>
685
686 * lib/bitset.c, lib/bitset.h, lib/bitsetv.c, lib/bitsetv.h,
687 * lib/ebitset.c, lib/ebitset.h, lib/lbitset.c, lib/lbitset.h,
688 * lib/sbitset.c, lib/sbitset.h, lib/bbitset.h: Update from the
689 latest sources from Michael.
690
6912002-03-04 Akim Demaille <akim@epita.fr>
692
693 * src/output.c (output): Don't free the grammar.
694 * src/reader.c (grammar_free): New.
695 * src/main.c (main): Call it and don't free symtab here.
696
6972002-03-04 Akim Demaille <akim@epita.fr>
698
699 * src/lex.c (parse_percent_token): Be sure to 0-end token_buffer
700 before returning.
701 Reported by Benoit Perrot.
702
7032002-03-04 Akim Demaille <akim@epita.fr>
704
705 Use bitset operations when possible, not loops over bits.
706
707 * src/conflicts.c (set_conflicts, count_sr_conflicts): Use
708 bitset_or.
709 * src/print.c (print_reductions): Use bitset_and, bitset_andn.
710 * src/reduce.c (useless_nonterminals): Formatting changes.
711 * src/warshall.c (TC): Use bitset_or.
712
7132002-03-04 Akim Demaille <akim@epita.fr>
714
715 * src/lalr.h, src/lalr.c (tokensetsize): Remove, unused.
716 * src/system.h (BITS_PER_WORD, WORDSIZE, SETBIT, RESETBIT, BITISSET):
717 Ditto.
718
7192002-03-04 Akim Demaille <akim@epita.fr>
720
721 * src/lalr.c (F): Now a bitset*.
722 Adjust all dependencies.
723
7242002-03-04 Akim Demaille <akim@epita.fr>
725
726 * src/conflicts.c (shiftset, lookaheadset): Now bitset.
727 Adjust all dependencies.
728
7292002-03-04 Akim Demaille <akim@epita.fr>
730
731 * src/L0.c, src/LR0.h (nstates): Be size_t.
732 Adjust comparisons (signed vs unsigned).
733 * src/conflics.c, src/lalr.c, src/lalr.h, src/output.c (LA): Now a
734 bitset*.
735 Adjust all dependencies.
736
7372002-03-04 Akim Demaille <akim@epita.fr>
738
739 * src/closure.c (firsts): Now, also a bitset.
740 Adjust all dependencies.
741 (varsetsize): Remove, now unused.
742 * src/warshall.h, src/warshall.c: Now work on arrays of bitsets.
743
7442002-03-04 Akim Demaille <akim@epita.fr>
745
746 * src/print.c: Convert to use bitset.h, not hand coded iterations
747 over ints.
748
7492002-03-04 Akim Demaille <akim@epita.fr>
750
751 * src/reduce.c: Convert to use bitset.h, not hand coded BSet.
752
7532002-03-04 Akim Demaille <akim@epita.fr>
754
755 * src/closure.c (ruleset): Be a bitset.
756 (rulesetsize): Remove.
757
7582002-03-04 Akim Demaille <akim@epita.fr>
759
760 * lib/bitset-int.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
761 * lib/bitsetv.h, lib/ebitset.c, lib/ebitset.h, lib/lbitset.c,
762 * lib/lbitset.h, lib/sbitset.c, lib/sbitset.h: New.
763 * src/closure.c (fderives): Be an array of bitsets.
764
7652002-02-28 Robert Anisko <robert@lrde.epita.fr>
766
767 * data/bison.c++: Merge the two generated headers. Insert a copyright
768 notice in each output file.
769
7702002-02-28 Akim Demaille <akim@epita.fr>
771
772 * data/bison.c++: Copy the prologue of bison.simple to fetch
773 useful M4 definitions, such as b4_header_guard.
774
7752002-02-25 Akim Demaille <akim@epita.fr>
776
777 * src/getargs.c (version): Give the name of the authors, and use a
778 translator friendly scheme for the bgr
779 copyright notice.
780
7812002-02-25 Akim Demaille <akim@epita.fr>
782
783 * src/output.c (header_output): Remove, now handled completely via
784 M4.
785
7862002-02-25 Akim Demaille <akim@epita.fr>
787
788 * m4/m4.m4: New, from CVS Autoconf.
789 * configure.in: Invoke it.
790 * src/output.c (output_skeleton): Use its result instead of the
791 hard coded name.
792
7932002-02-25 Akim Demaille <akim@epita.fr>
794
795 * lib/tempname.c, lib/mkstemp.c, m4/mkstemp.m4: New, stolen from
796 Fileutils 4.1.5.
797 * configure.in: Invoke UTILS_FUNC_MKSTEMP.
798 * src/output.c (output_skeleton): Use mkstemp to create a real
799 temporary file.
800 Move the filling of `skeleton' and its muscle to...
801 (prepare): here.
802 (output): Move the definition of the prologue muscle to...
803 (prepare): here.
804 * src/system.h (DEFAULT_TMPDIR): New.
805
8062002-02-14 Paul Eggert <eggert@twinsun.com>
807
808 Remove the support for C++ namespace cleanliness; it was
809 causing more problems than it was curing, since it didn't work
810 properly on some nonstandard C++ compilers. This can wait
811 for a proper C++ parser.
812
813 * NEWS: Document this.
814 * doc/bison.texinfo (Bison Parser, Debugging): Remove special mention
815 of C++, as it's treated like C now.
816 * src/bison.simple (YYSTD): Remove.
817 (YYSIZE_T, YYFPRINTF, YYPARSE_PARAM_ARG, YYPARSE_PARAM_DECL):
818 Treat C++ just like Standard C instead of trying to support
819 namespace cleanliness.
820
8212002-02-14 Akim Demaille <akim@epita.fr>
822
823 * tests/regression.at (else): Adjust to Andreas' change.
824
8252002-02-14 Akim Demaille <akim@epita.fr>
826
827 * lib/Makefile.am (EXTRA_DIST): Ship strnlen.c.
828
8292002-02-13 Andreas Schwab <schwab@suse.de>
830
831 * src/output.c (output_rule_data): Don't output NULL, it might
832 not be defined yet.
833
8342002-02-11 Robert Anisko <robert@lrde.epita.fr>
835
836 * data/bison.c++ (YYDEBUG, YYERROR_VERBOSE): After the prologue.
837 (Copyright notice): Update.
838
8392002-02-11 Akim Demaille <akim@epita.fr>
840
841 * tests/regression.at (%nonassoc and eof): Don't include
842 nonportable headers.
843
8442002-02-08 Robert Anisko <robert@lrde.epita.fr>
845
846 * data/bison.c++: Correct error recovery. Make the user able to
847 initialize the starting location.
848
8492002-02-07 Akim Demaille <akim@epita.fr>
850
851 * tests/input.at: New.
852
8532002-02-07 Robert Anisko <robert@lrde.epita.fr>
854
855 * data/bison.c++: Replace some direct m4 expansions by constants. Be
856 more consistent when naming methods and variables. Put preprocessor
857 directives around tables only needed for debugging.
858
8592002-02-07 Robert Anisko <robert@lrde.epita.fr>
860
861 * data/bison.c++ (yy::b4_name::print_): New method, replaces yyprint in
862 C++ parsers.
863 (yy::b4_name::parse): Use print_.
864
8652002-02-07 Robert Anisko <robert@lrde.epita.fr>
866
867 * data/bison.c++ (yy::b4_name::parse): Error recovery is back.
868
8692002-02-07 Robert Anisko <robert@lrde.epita.fr>
870
871 * data/bison.c++ (yy::b4_name::error_): New method, replaces yyerror in
872 C++ parsers.
873 (yy::b4_name::parse): Build verbose error messages, and use error_.
874
8752002-02-06 Robert Anisko <robert@lrde.epita.fr>
876
877 * data/bison.c++: Fix m4 quoting in comments.
878
8792002-02-06 Robert Anisko <robert@lrde.epita.fr>
880
881 * data/bison.c++: Adjust the parser code. Fix some muscles that were
882 not expanded by m4.
883
8842002-02-05 Akim Demaille <akim@epita.fr>
885
886 * data/bison.c++: Adjust to the M4 back end.
887 More is certainly needed.
888
8892002-02-05 Akim Demaille <akim@epita.fr>
890
891 Give a try to M4 as a back end.
892
893 * lib/readpipe.c: New, from wdiff.
894 * src/Makefile.am (DEFS): Define PKGDATADIR, not BISON_SIMPLE and
895 BISON_HAIRY.
896 * src/system.h (BISON_HAIRY, BISON_SIMPLE): Remove the DOS and VMS
897 specific values. Now it is m4 that performs the lookup.
898 * src/parse-skel.y: Remove.
899 * src/muscle_tab.c, src/muscle_tab.h (muscles_m4_output): New.
900 * src/output.c (actions_output, guards_output)
901 (token_definitions_output): No longer keeps track of the output
902 line number, hence remove the second argument.
903 (guards_output): Check against the guard member of a rule, not the
904 action member.
905 Adjust callers.
906 (output_skeleton): Don't look for the skeleton location, let m4 do
907 that.
908 Create `/tmp/muscles.m4'. This is temporary, a proper temporary
909 file will be used.
910 Invoke `m4' on m4sugar.m4, muscles.m4, and the skeleton.
911 (prepare): Given that for the time being changesyntax is not
912 usable in M4, rename the muscles using `-' to `_'.
913 Define `defines_flag', `output_parser_name' and `output_header_name'.
914 * src/output.h (actions_output, guards_output)
915 (token_definitions_output): Adjust prototypes.
916 * src/scan-skel.l: Instead of scanning the skeletons, it now
917 processes the output of m4: `__oline__' and `#output'.
918 * data/bison.simple: Adjust to be used by M4(sugar).
919 * tests/Makefile.am: Use check_SCRIPTS to make sure `bison' is up
920 to date.
921 * tests/bison.in: Use the secrete envvar `BISON_PKGDATADIR'
922 instead of the dead `BISON_SIMPLE' and `BISON_HAIRY'.
923 * data/m4sugar/m4sugar.m4, data/m4sugar/version.m4: New,
924 shamelessly stolen from CVS Autoconf.
925
9262002-02-05 Akim Demaille <akim@epita.fr>
927
928 * lib/hash.c, lib/hash.h: Replace with Fileutils 4.1's version.
929 * configure.in: Check for the declarations of free and malloc.
930 * src/muscle_tab.c: Adjust.
931
9322002-02-05 Akim Demaille <akim@epita.fr>
933
934 * src/muscle_tab.c (muscle_init): Don't default to NULL muscle
935 which have no values.
936
9372002-02-05 Akim Demaille <akim@epita.fr>
938
939 * src/bison.simple, src/bison.hairy, src/bison.c++: Move to...
940 * data/: here.
941
9422002-01-29 Paul Eggert <eggert@twinsun.com>
943
944 * src/bison.simple (YYSIZE_T): Do not define merely because
945 YYSTACK_USE_ALLOCA is nonzero or alloca or _ALLOCA_H are defined.
946 On some platforms, <alloca.h> does not declare YYSTD (size_t).
947
9482002-01-27 Akim Demaille <akim@epita.fr>
949
950 Fix `%nonassoc and eof'.
951
952 * src/state.c (errs_dup): Aaaah! The failure was due to bytes
953 which were not properly copied! Replace
954 memcpy (res->errs, src->errs, src->nerrs);
955 with
956 memcpy (res->errs, src->errs, src->nerrs * sizeof (src->errs[0]));
957 !!!
958 * tests/regression.at (%nonassoc and eof): Adjust to newest
959 Autotest: `.' is not in the PATH.
960
9612002-01-27 Akim Demaille <akim@epita.fr>
962
963 * tests/sets.at (AT_EXTRACT_SETS): New.
964 (Nullable): Use it.
965 (Firsts): New.
966
9672002-01-26 Akim Demaille <akim@epita.fr>
968
969 * tests/actions.at, tests/calc.at, tests/headers.at,
970 * tests/torture.at: Adjust to the newest Autotest which no longer
971 forces `.' in the PATH.
972
9732002-01-25 Akim Demaille <akim@epita.fr>
974
975 * tests/regression.at (%nonassoc and eof): New.
976 Suggested by Robert Anisko.
977
9782002-01-24 Akim Demaille <akim@epita.fr>
979
980 Bison dumps core when trying to complain about broken input files.
981 Reported by Cris van Pelt.
982
983 * src/lex.c (parse_percent_token): Be sure to set token_buffer.
984 * tests/regression.at (Invalid input: 1, Invalid input: 2): Merge
985 into...
986 (Invalid inputs): Strengthen: exercise parse_percent_token.
987
9882002-01-24 Robert Anisko <robert.anisko@epita.fr>
989
990 * src/Makefile.am: Add bison.c++.
991 * src/bison.c++: New skeleton.
992
9932002-01-21 Paolo Bonzini <bonzini@gnu.org>
994
995 * po/it.po: New.
996
9972002-01-21 Kees Zeelenberg <kzlg@users.sourceforge.net>
998
999 * src/files.c (skeleton_find) [MSDOS]: Fix cp definition.
1000
10012002-01-20 Marc Autret <marc@gnu.org>
1002
1003 * src/files.c (compute_output_file_names): Fix
1004
10052002-01-20 Marc Autret <marc@gnu.org>
1006
1007 * tests/output.at: New test.
1008 * src/files.c (compute_base_names): Don't map extensions when
1009 the YACC flag is set, use defaults.
1010 Reported by Evgeny Stambulchik.
1011
10122002-01-20 Marc Autret <marc@gnu.org>
1013
1014 * src/system.h: Need to define __attribute__ away for non-GCC
1015 compilers as well (i.e. the vendor C compiler).
1016 Suggested by Albert Chin-A-Young.
1017
10182002-01-11 Tim Van Holder <tim.van.holder@pandora.be>
1019
1020 * lib/hash.h, lib/hash.c: Renamed __P to PARAMS and used the
1021 canonical definition.
1022 * src/system.h: Use the canonical definition for PARAMS (avoids
1023 a conflict with the macro from lib/hash.h).
1024
10252002-01-11 Akim Demaille <akim@epita.fr>
1026
1027 * configure.in: Use AC_FUNC_STRNLEN.
1028 Fixes the failures observed on AIX 4.3 by H.Merijn Brand.
1029
10302002-01-09 Akim Demaille <akim@epita.fr>
1031
1032 * src/files.c, src/files.h (output_infix): New.
1033 (tab_extension): Remove.
1034 (compute_base_names): Compute the former, drop the latter.
1035 * src/output.c (prepare): Insert the muscles `output-infix', and
1036 `output-suffix'.
1037 * src/parse-skel.y (string, string.1): New.
1038 (section.header): Use it.
1039 (section.yacc): Remove.
1040 (prefix): Remove too.
1041 * src/scan-skel.l: Adjust.
1042 * src/bison.simple, src/bison.hairy: Adjust.
1043
10442002-01-09 Akim Demaille <akim@epita.fr>
1045
1046 * configure.in (WERROR_CFLAGS): Compute it.
1047 * src/Makefile.am (CFLAGS): Pass it.
1048 * tests/atlocal.in (CFLAGS): Idem.
1049 * src/files.c: Fix a few warnings.
1050 (get_extension_index): Remove, unused.
1051
10522002-01-08 Akim Demaille <akim@epita.fr>
1053
1054 * src/getargs.c (AS_FILE_NAME): New.
1055 (getargs): Use it to convert DOSish file names.
1056 * src/files.c (base_name): Rename as full_base_name to avoid
1057 clashes with `base_name ()'.
1058 (filename_split): New.
1059 (compute_base_names): N-th rewrite, using filename_split.
1060
10612002-01-08 Akim Demaille <akim@epita.fr>
1062
1063 * lib/basename.c, lib/dirname.h, lib/dirname.c, lib/memrchr.c:
1064 New, stolen from the Fileutils 4.1.
1065 * lib/Makefile.am (libbison_a_SOURCES): Adjust.
1066 * configure.in: Check for the presence of memrchr, and of its
1067 prototype.
1068
10692002-01-07 Tim Van Holder <tim.van.holder@pandora.be>
1070
1071 * lib/hash.h (__P): Added definition for this macro.
1072 * src/Makefile.am: Add parse-skel.c and scan-skel.c to
1073 BUILT_SOURCES, to ensure they are generated first.
1074 * src/parse-skel.y: Use YYERROR_VERBOSE instead of
1075 %error-verbose to allow bootstrapping with bison 1.30x.
1076
10772002-01-06 Akim Demaille <akim@epita.fr>
1078
1079 * src/reader.c (parse_braces): Don't fetch the next char, the
1080 convention is to fetch on entry.
1081 * tests/torture.at (GNU Cim Grammar): Reintroduce their weird
1082 'switch' without a following semicolon.
1083 * tests/regression.at (braces parsing): New.
1084
10852002-01-06 Akim Demaille <akim@epita.fr>
1086
1087 Bison is dead wrong in its RR conflict reports.
1088
1089 * tests/torture.at (GNU Cim Grammar): New.
1090 * src/conflicts.c (count_rr_conflicts): Fix.
1091
10922002-01-06 Akim Demaille <akim@epita.fr>
1093
1094 Creating package.m4 from configure.ac causes too many problems.
1095
1096 * tests/Makefile.am (package.m4): Create it by hand,
1097 AC_CONFIG_TESTDIR no longer does in the most recent CVS Autoconf.
1098
10992002-01-06 Akim Demaille <akim@epita.fr>
1100
1101 * src/Makefile.am (bison_SOURCES): Add parse-skel.h and
1102 skeleton.h.
1103
11042002-01-04 Paul Eggert <eggert@twinsun.com>
1105
1106 * doc/bison.texinfo (Debugging):
1107 Remove YYSTDERR; it's no longer defined or used.
1108 Also, s/cstdio.h/cstdio/.
1109
11102002-01-03 Akim Demaille <akim@epita.fr>
1111
1112 * tests/bison.in, tests/atlocal.in: Adjust to CVS Autoconf.
1113
11142002-01-03 Akim Demaille <akim@epita.fr>
1115
1116 * src/parse-skel.y (process_skeleton): Don't bind the parser's
1117 tracing code to --trace, wait for a better --trace option, with
1118 args.
1119
11202002-01-03 Akim Demaille <akim@epita.fr>
1121
1122 * src/bison.simple (YYSTDERR): Remove, replace `stderr'.
1123 The ISO C++ standard is extremely clear about it: stderr is
1124 considered a macro, not a regular symbol (see table 94 `Header
1125 <cstdio> synopsis', [lib.c.files] 27.8.2 C Library files).
1126 Therefore std:: does not apply to it. It still does with fprintf.
1127 Also, s/cstdio.h/cstdio/.
1128
11292002-01-03 Akim Demaille <akim@epita.fr>
1130
1131 * lib/quotearg.c: Use `#include "..."' instead of `#include <...>'
1132 for non system headers.
1133
11342002-01-02 Akim Demaille <akim@epita.fr>
1135
1136 Equip the skeleton chain with location tracking, runtime trace,
1137 pure parser and scanner.
1138
1139 * src/parse-skel.y: Request a pure parser, locations, and prefix
1140 renaming.
1141 (%union): Having several members with the same type does not help
1142 type mismatches, simplify.
1143 (YYPRINT, yyprint): New.
1144 (yyerror): ``Rename'' (there is a #define yyerror skel_error) as...
1145 (skel_error): this.
1146 Handle locations.
1147 * src/scan-skel.l: Adjust to these changes.
1148 * src/skeleton.h (LOCATION_RESET, LOCATION_LINES, LOCATION_STEP)
1149 (LOCATION_PRINT, skel_control_t): New.
1150
11512001-12-30 Akim Demaille <akim@epita.fr>
1152
1153 * src/parse-skel.y: Get rid of the shift/reduce conflict:
1154 replace `gb' with BLANKS.
1155 * src/scan-skel.l: Adjust.
1156
11572001-12-30 Akim Demaille <akim@epita.fr>
1158
1159 * src/system.h: We don't need nor want bcopy.
1160 Throw away MS-DOS crap: we don't need getpid.
1161 * configure.in: We don't need strndup. It was even causing
1162 problems: because Flex includes the headers *before* us,
1163 _GNU_SOURCE is not defined by config.h, and therefore strndup was
1164 not visible.
1165 * lib/xstrndup.c: New.
1166 * src/scan-skel.l: Use it.
1167 Be sure to initialize yylval.muscle member when scanning a MUSCLE.
1168 * src/parse-skel.y: Use %directives instead of #defines.
1169
11702001-12-30 Akim Demaille <akim@epita.fr>
1171
1172 * src/skeleton.h: New.
1173 * src/output.c (output_parser, output_master_parser): Remove, dead
1174 code.
1175 * src/output.h (get_lines_number, actions_output, guards_output)
1176 (token_definitions_output): Prototype them.
1177 * src/parse-skel.y: Add the license notice.
1178 Include output.h and skeleton.h.
1179 (process_skeleton): Returns void, and takes a single parameter.
1180 * src/scan-skel.l: Add the license notice.
1181 Include skeleton.h.
1182 Don't use %option yylineno: it seems that then Flex imagines
1183 REJECT has been used, and therefore it won't reallocate its
1184 buffers (which makes no other sense to me than a bug). It results
1185 in warnings for `unused: yy_flex_realloc'.
1186
11872001-12-30 Robert Anisko <robert.anisko@epita.fr>
1188
1189 * src/muscle_tab.h (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
1190 (MUSCLE_INSERT_PREFIX): ...to there.
1191 * src/output.c (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
1192 (MUSCLE_INSERT_PREFIX): Move from here...
1193
1194 * src/bison.hairy: Add a section directive. Put braces around muscle
1195 names. This parser skeleton is still broken, but Bison should not
1196 choke on a bad muscle 'syntax'.
1197 * src/bison.simple: Add a section directive. Put braces around muscle
1198 names.
1199
1200 * src/files.h (strsuffix, stringappend): Add declarations.
1201 (tab_extension): Add declaration.
1202 (short_base_name): Add declaration.
1203
1204 * src/files.c (strsuffix, stringappend): No longer static. These
1205 functions are used in the skeleton parser.
1206 (tab_extension): New.
1207 (compute_base_names): Use the computations done in this function
1208 to guess if the generated parsers should have '.tab' in their
1209 names.
1210 (short_base_name): No longer static.
1211
1212 * src/output.c (output_skeleton): New.
1213 (output): Disable call to output_master_parser, and give a try to
1214 a new skeleton handling system.
1215 (guards_output, actions_output): No longer static.
1216 (token_definitions_output, get_lines_number): No longer static.
1217
1218 * configure.in: Use AM_PROG_LEX and AC_PROG_YACC.
1219
1220 * src/Makefile.am (bison_SOURCES): Add scan-skel.l and
1221 parse-skel.y.
1222
1223 * src/parse-skel.y: New file.
1224 * src/scan-skel.l: New file.
1225
12262001-12-29 Akim Demaille <akim@epita.fr>
1227
1228 %name-prefix is broken.
1229
1230 * src/files.c (spec_name_prefix): Initialize to NULL, not to "yy".
1231 Adjust all dependencies.
1232 * tests/headers.at (export YYLTYPE): Strengthen this test: use
1233 %name-prefix.
1234
1235 Renaming yylval but not yylloc is not consistent. Now we do.
1236
1237 * src/bison.simple: Prefix yylloc if used.
1238 * doc/bison.texinfo (Decl Summary): Document that.
1239
12402001-12-29 Akim Demaille <akim@epita.fr>
1241
1242 * doc/bison.texinfo: Promote `%long-directive' over
1243 `%long_directive'.
1244 Remove all references to fixed-output-files, yacc is enough.
1245
12462001-12-29 Akim Demaille <akim@epita.fr>
1247
1248 * src/bison.simple: Define YYDEBUG and YYERROR_VERBOSE *after* the
1249 user prologue. These are defaults.
1250 * tests/actions.at (Mid-rule actions): Make sure the user can
1251 define YYDEBUG and YYERROR_VERBOSE.
1252
12532001-12-29 Akim Demaille <akim@epita.fr>
1254
1255 * src/output.c (header_output): Don't forget to export YYLTYPE and
1256 yylloc.
1257 * tests/headers.at (export YYLTYPE): New, make sure it does.
1258 * tests/regression.at (%union and --defines, Invalid CPP headers):
1259 Move to...
1260 * tests/headers.at: here.
1261
12622001-12-29 Akim Demaille <akim@epita.fr>
1263
1264 * src/gram.h (rule_s): Member `assoc' is of type `associativity'.
1265
12662001-12-29 Akim Demaille <akim@epita.fr>
1267
1268 * tests/actions.at (Mid-rule actions): Output on a single line
1269 instead of several.
1270
12712001-12-29 Akim Demaille <akim@epita.fr>
1272
1273 * doc/bison.texinfo: Formatting changes.
1274
12752001-12-29 Akim Demaille <akim@epita.fr>
1276
1277 Don't store the token defs in a muscle, just be ready to output it
1278 on command. Now possible via `symbols'. Fixes a memory leak.
1279
1280 * src/output.c (token_definitions_output): New.
1281 (output_parser, header_output): Use it.
1282 * src/reader.c (symbols_save): Remove.
1283
12842001-12-29 Akim Demaille <akim@epita.fr>
1285
1286 * src/bison.simple: Do not provide a default for YYSTYPE and
1287 YYLTYPE before the user's prologue. Otherwise it's hardly... a
1288 default.
1289
12902001-12-29 Akim Demaille <akim@epita.fr>
1291
1292 Mid-rule actions are simply... ignored!
1293
1294 * src/reader.c (readgram): Be sure to attach mid-rule actions to
1295 the empty-rule associated to the dummy symbol, not to the host
1296 rule.
1297 * tests/actions.at (Mid-rule actions): New.
1298
12992001-12-29 Akim Demaille <akim@epita.fr>
1300
1301 Memory leak.
1302
1303 * src/reader.c (reader): Free grammar.
1304
13052001-12-29 Akim Demaille <akim@epita.fr>
1306
1307 Memory leak.
1308
1309 * src/LR0.c (new_itemsets): Don't allocate `shift_symbol' here,
1310 since it allocates it for each state, although only one is needed.
1311 (allocate_storage): Do it here.
1312
13132001-12-29 Akim Demaille <akim@epita.fr>
1314
1315 * src/options.h, src/options.c (create_long_option_table): Rename
1316 as...
1317 (long_option_table_new): this, with a clearer prototype.
1318 (percent_table): Remove, unused,
1319 * src/getargs.c (getargs): Adjust.
1320
13212001-12-29 Akim Demaille <akim@epita.fr>
1322
1323 * src/LR0.c, src/conflicts.c, src/lalr.c, src/lalr.h, src/output.c
1324 * src/print.c, src/print_graph.c, src/state.h: Rename state_table
1325 as states.
1326
13272001-12-29 Akim Demaille <akim@epita.fr>
1328
1329 * src/lalr.c (build_relations): Rename `states' as `states1'.
1330 Sorry, I don't understand exactly what it is, no better name...
1331
13322001-12-29 Akim Demaille <akim@epita.fr>
1333
1334 * src/closure.c, src/conflicts.c, src/derives.c, src/gram.c
1335 * src/gram.h, src/lalr.c, src/nullable.c, src/output.c, src/print.c
1336 * src/print_graph.c, src/reader.c, src/reduce.c: Rename rule_table
1337 as rules.
1338
13392001-12-29 Akim Demaille <akim@epita.fr>
1340
1341 * src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long
1342 ago.
1343
13442001-12-29 Akim Demaille <akim@epita.fr>
1345
1346 * src/reader.c, src/reader.h (user_toknums): Remove.
1347 Adjust all users to use symbols[i]->user_token_number.
1348
13492001-12-29 Akim Demaille <akim@epita.fr>
1350
1351 * src/gram.c, src/gram.h (sprec, sassoc): Remove.
1352 Adjust all users to use symbols[i]->prec or ->assoc.
1353
13542001-12-29 Akim Demaille <akim@epita.fr>
1355
1356 * src/reader.c, src/reader.h (tags): Remove.
1357 Adjust all users to use symbols[i]->tag.
1358
13592001-12-29 Akim Demaille <akim@epita.fr>
1360
1361 * src/gram.h, src/gram.c (symbols): New, similar to state_table
1362 and rule_table.
1363 * src/reader.c (packsymbols): Fill this table.
1364 Drop sprec.
1365 * src/conflicts.c (resolve_sr_conflict): Adjust.
1366 * src/reduce.c (reduce_grammar): Adjust: just sort symbols, a
1367 single table.
1368 Use symbols[i]->tag instead of tags[i].
1369
13702001-12-29 Akim Demaille <akim@epita.fr>
1371
1372 * tests/calc.at (_AT_DATA_CALC_Y): Also use %union.
1373 In addition, put a comment in there, to replace...
1374 * tests/regression.at (%union and C comments): Remove.
1375
13762001-12-29 Akim Demaille <akim@epita.fr>
1377
1378 * tests/regression.at (Web2c Actions): Blindly move the actual
1379 output as expected output. The contents *seem* right to me, but I
1380 can't pretend reading perfectly parser tables... Nonetheless, all
1381 the other tests pass correctly, the table look OK, even though the
1382 presence of `$axiom' is to be noted: AFAICS it is useless (but
1383 harmless).
1384
13852001-12-29 Akim Demaille <akim@epita.fr>
1386
1387 * src/reader.c (readgram): Don't add the rule 0 if there were no
1388 rules read. In other words, add it _after_ having performed
1389 grammar sanity checks.
1390 Fixes the `tests/regression.at (Invalid input: 1)' Failure.
1391
13922001-12-29 Akim Demaille <akim@epita.fr>
1393
1394 * tests/regression.at (Web2c Report): Catch up: the rule 0 is now
1395 visible, and some states have now a different number.
1396
13972001-12-29 Akim Demaille <akim@epita.fr>
1398
1399 * src/reader.c (readgram): Bind the initial rule's lineno to that
1400 of the first rule.
1401 * tests/regression.at (Rule Line Numbers, Unresolved SR Conflicts):
1402 (Solved SR Conflicts): Adjust rule 0's line number.
1403
14042001-12-29 Akim Demaille <akim@epita.fr>
1405
1406 Fix the `GAWK Grammar' failure.
1407
1408 * src/LR0.c (final_state): Initialize to -1 so that we do compute
1409 the reductions of the first state which was mistakenly confused
1410 with the final state because precisely final_state was initialized
1411 to 0.
1412 * tests/sets.at (Nullable): Adjust: state 0 does have lookaheads,
1413 now noticed by Bison.
1414 * tests/regression.at (Rule Line Numbers): Adjust: state 0 does
1415 have a reduction on $default.
1416
14172001-12-29 Akim Demaille <akim@epita.fr>
1418
1419 * src/gram.c (ritem_print): Be sure to subtract 1 when displaying
1420 rule line numbers.
1421 * src/closure.c (print_closure): Likewise.
1422 * src/derives.c (print_derives): Likewise.
1423 * tests/sets.at (Nullable): Adjust: the rule numbers are correct
1424 now.
1425
14262001-12-29 Akim Demaille <akim@epita.fr>
1427
1428 * src/lalr.c (lookaheads_print): New.
1429 (lalr): Call it when --trace-flag.
1430 * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
1431 are dumped.
1432
14332001-12-29 Akim Demaille <akim@epita.fr>
1434
1435 * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',
1436 when walking through ritem, even via rule->rhs.
1437 * src/reduce.c (dump_grammar, useful_production, reduce_output)
1438 (useful_production, useless_nonterminals): Likewise.
1439 (reduce_grammar_tables): Likewise, plus update nritems.
1440 * src/nullable.c (set_nullable): Likewise.
1441 * src/lalr.c (build_relations): Likewise.
1442 * tests/sets.at (Nullable): Adjust.
1443 Fortunately, now, the $axiom is no longer nullable.
1444
14452001-12-29 Akim Demaille <akim@epita.fr>
1446
1447 * src/LR0.c (generate_states): Use nritems, not nitems, nor using
1448 the 0-sentinel.
1449 * src/gram.c (ritem_longest_rhs): Likewise.
1450 * src/reduce.c (nonterminals_reduce): Likewise.
1451 * src/print_graph.c (print_graph): Likewise.
1452 * src/output.c (output_rule_data): Likewise.
1453 * src/nullable.c (set_nullable): Likewise.
1454
14552001-12-29 Akim Demaille <akim@epita.fr>
1456
1457 * src/output.c: Comment changes.
1458
14592001-12-27 Paul Eggert <eggert@twinsun.com>
1460
1461 * src/bison.simple (YYSTACK_ALLOC, YYSIZE_T): Remove special
1462 cases for non-GNU systems like AIX, HP-UX, SGI, Sun, and
1463 Sparc, as they were causing more porting problems than the
1464 (minor) performance improvement was worth.
1465
1466 Also, catch up with 1.31's YYSTD.
1467
14682001-12-27 Akim Demaille <akim@epita.fr>
1469
1470 * src/output.c (output_gram): Rely on nritems, not the
1471 0-sentinel. See below.
1472 Use -1 as separator, not 0.
1473 * src/bison.simple (yyparse): Subtract 1 to the rule numbers.
1474 Rely on -1 as separator in yyrhs, instead of 0.
1475 * tests/calc.at (AT_CHECK_CALC): Now, the parsers no longer issue
1476 twice `Now at end of input', therefore there are two lines less to
1477 expect.
1478
14792001-12-27 Akim Demaille <akim@epita.fr>
1480
1481 * tests/regression.at (Unresolved SR Conflicts):
1482 (Solved SR Conflicts, Rule Line Numbers): Adjust to the changes
1483 below.
1484
14852001-12-27 Akim Demaille <akim@epita.fr>
1486
1487 * src/LR0.c (new_state): Recognize the final state by the fact it
1488 is reached by eoftoken.
1489 (insert_start_shifting_state, insert_eof_shifting_state)
1490 (insert_accepting_state, augment_automaton): Remove, since now
1491 these states are automatically computed from the initial state.
1492 (generate_states): Adjust.
1493 * src/print.c: When reporting a rule number to the user, substract
1494 1, so that the axiom rule is rule 0, and the first user rule is 1.
1495 * src/reduce.c: Likewise.
1496 * src/print_graph.c (print_core): For the time being, just as for
1497 the report, depend upon --trace-flags to dump the full set of
1498 items.
1499 * src/reader.c (readgram): Once the grammar read, insert the rule
1500 0: `$axiom: START-SYMBOL $'.
1501 * tests/set.at: Adjust: rule 0 is now displayed, and since the
1502 number of the states has changed (the final state is no longer
1503 necessarily the last), catch up.
1504
15052001-12-27 Akim Demaille <akim@epita.fr>
1506
1507 Try to make the use of the eoftoken valid. Given that its value
1508 is 0 which was also used as a sentinel in ritem, (i) make sure >= 0
1509 is used instead of > 0 where appropriate, (ii), depend upon nritems
1510 instead of the 0-sentinel.
1511
1512 * src/gram.h, src/gram.c (nritems): New.
1513 Expected to be duplication of nitems, but for the time being...
1514 * src/reader.c (packgram): Assert nritems and nitems are equal.
1515 * src/LR0.c (allocate_itemsets, new_itemsets): Adjust.
1516 * src/closure.c (print_closure, print_fderives): Likewise.
1517 * src/gram.c (ritem_print): Likewise.
1518 * src/print.c (print_core, print_grammar): Likewise.
1519 * src/print_graph.c: Likewise.
1520
15212001-12-27 Akim Demaille <akim@epita.fr>
1522
1523 * src/main.c (main): If there are complains after grammar
1524 reductions, then output the report anyway if requested, then die.
1525 * src/symtab.c (bucket_new): Initialize `value' to -1, not 0.
1526 * src/reader.c (eoftoken): New.
1527 (parse_token_decl): If the token being defined has value `0', it
1528 is the eoftoken.
1529 (packsymbols): No longer hack `tags' to insert `$' by hand.
1530 Be sure to preserve the value of the eoftoken.
1531 (reader): Make sure eoftoken is defined.
1532 Initialize nsyms to 0: now eoftoken is created just like the others.
1533 * src/print.c (print_grammar): Don't special case the eof token.
1534 * src/regression.at: Adjust: `$' has value 0, not -1, which was a
1535 lie anyway, albeit pleasant.
1536 * tests/calc.at: Exercise error messages with eoftoken.
1537 Change the grammar so that empty input is invalid.
1538 Adjust expectations.
1539 When yyungeting, be sure to use a valid yylloc: use last_yylloc.
1540
15412001-12-27 Akim Demaille <akim@epita.fr>
1542
1543 * configure.in: Check the protos of strchr ans strspn.
1544 Replace strchr if needed.
1545 * src/system.h: Provide the protos of strchr, strspn and memchr if
1546 missing.
1547 * lib/strchr.c: New.
1548 * src/reader.c (symbols_save): Use strchr.
1549
15502001-12-27 Akim Demaille <akim@epita.fr>
1551
1552 * src/print.c, src/print_graph.c (escape): New.
1553 Use it to quote the TAGS outputs.
1554 * src/print_graph.c (print_state): Now errors are in red, and
1555 reductions in green.
1556 Prefer high to wide: output the state number on a line of its own.
1557
15582001-12-27 Akim Demaille <akim@epita.fr>
1559
1560 * src/state.h, src/state.c (reductions_new): New.
1561 * src/LR0.c (set_state_table): Let all the states have a
1562 `reductions', even if reduced to 0.
1563 (save_reductions): Adjust.
1564 * src/lalr.c (initialize_LA, initialize_lookaheads): Adjust.
1565 * src/print.c (print_reductions, print_actions): Adjust.
1566 * src/output.c (action_row): Adjust.
1567
15682001-12-27 Akim Demaille <akim@epita.fr>
1569
1570 * src/state.h, src/state.c (errs_new, errs_dup): New.
1571 * src/LR0.c (set_state_table): Let all the states have an errs,
1572 even if reduced to 0.
1573 * src/print.c (print_errs, print_reductions): Adjust.
1574 * src/output.c (output_actions, action_row): Adjust.
1575 * src/conflicts.c (resolve_sr_conflict): Adjust.
1576
15772001-12-27 Akim Demaille <akim@epita.fr>
1578
1579 * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.
1580
15812001-12-27 Akim Demaille <akim@epita.fr>
1582
1583 * src/conflicts.c, src/conflicts.h (print_reductions): Move to...
1584 * src/print.c: here.
1585 (lookaheadset, shiftset): New, used as additional storage by
1586 print_reductions.
1587 (print_results): Adjust.
1588 (print_shifts, print_gotos, print_errs): New, extracted from...
1589 (print_actions): here.
1590 * src/print_graph.c (print_actions): Remove dead code.
1591
15922001-12-27 Akim Demaille <akim@epita.fr>
1593
1594 * src/reader.c (copy_dollar, copy_at): Better checking of `n' in
1595 `$n' and `@n'.
1596
15972001-12-27 Akim Demaille <akim@epita.fr>
1598
1599 * src/lalr.c (add_lookback_edge): Use state_t instead of ints.
1600 (build_relations): Adjust.
1601
16022001-12-27 Akim Demaille <akim@epita.fr>
1603
1604 * src/lalr.c (set_goto_map): Remove a wrong but benign loop
1605 duplication.
1606
16072001-12-27 Akim Demaille <akim@epita.fr>
1608
1609 * src/reader.c (packgram): Catch nitems overflows.
1610
16112001-12-27 Akim Demaille <akim@epita.fr>
1612
1613 * src/files.c, src/files.h (guard_obstack): Remove.
1614 * src/output.c (output): Adjust.
1615 * src/reader.c (parse_braces): New, factoring...
1616 (copy_action, copy_guard): these two which are renamed as...
1617 (parse_action, parse_guard): these.
1618 As a voluntary consequence, using braces around guards is now
1619 mandatory.
1620
16212001-12-27 Akim Demaille <akim@epita.fr>
1622
1623 * src/gram.h (rule_t): `guard' and `guard_line' are new members.
1624 * src/reader.c (symbol_list): `guard' and `guard_line' are new
1625 members.
1626 (symbol_list_new): Adjust.
1627 (copy_action): action_line is the first line, not the last.
1628 (copy_guard): Just as for actions, store the `action' only, not
1629 the switch/case/break flesh.
1630 Don't parse the user action that might follow the guard, let...
1631 (readgram): do it, i.e., now, there can be an action after a
1632 guard.
1633 In other words the guard is just explicitly optional.
1634 (packgram): Adjust.
1635 * src/output.c (guards_output): New.
1636 (output_parser): Call it when needed.
1637 (output): Also free the guard and attrs obstacks.
1638 * src/files.c, src/files.h (obstack_save): Remove.
1639 (output_files): Remove.
1640 As a result, if one needs the former `.act' file, using an
1641 appropriate skeleton which requires actions and guards is now
1642 required.
1643 * src/main.c (main): Adjust.
1644 * tests/semantic.at: New.
1645 * tests/regression.at: Use `input.y' as input file name.
1646 Avoid 8+3 problems by requiring input.c when the test needs the
1647 parser.
1648
16492001-12-27 Akim Demaille <akim@epita.fr>
1650
1651 * src/reader.c (symbol_list_new): Be sure to initialize all the
1652 fields.
1653
16542001-12-27 Akim Demaille <akim@epita.fr>
1655
1656 All the hacks using a final pseudo state are now useless.
1657
1658 * src/LR0.c (set_state_table): state_table holds exactly nstates.
1659 * src/lalr.c (nLA): New.
1660 (initialize_LA, compute_lookaheads, initialize_lookaheads): Use it
1661 instead of lookaheadsp from the pseudo state (nstate + 1).
1662
16632001-12-27 Akim Demaille <akim@epita.fr>
1664
1665 * src/output.c (action_row, token_actions): Use a state_t instead
1666 of a integer, and nlookaheads instead of the following state's
1667 lookaheadsp.
1668
16692001-12-27 Akim Demaille <akim@epita.fr>
1670
1671 * src/conflicts.c (log_resolution, flush_shift)
1672 (resolve_sr_conflict, set_conflicts, solve_conflicts)
1673 (count_sr_conflicts, count_rr_conflicts, conflicts_output)
1674 (conflicts_print, print_reductions): Use a state_t instead of an
1675 integer when referring to a state.
1676 As much as possible, depend upon nlookaheads, instead of the
1677 `lookaheadsp' member of the following state (since lookaheads of
1678 successive states are successive, the difference between state n + 1
1679 and n served as the number of lookaheads for state n).
1680 * src/lalr.c (add_lookback_edge): Likewise.
1681 * src/print.c (print_core, print_actions, print_state)
1682 (print_results): Likewise.
1683 * src/print_graph.c (print_core, print_actions, print_state)
1684 (print_graph): Likewise.
1685 * src/conflicts.h: Adjust.
1686
16872001-12-27 Akim Demaille <akim@epita.fr>
1688
1689 * src/bison.hairy: Formatting/comment changes.
1690 ANSIfy.
1691 Remove `register' indications.
1692 Add plenty of `static'.
1693
16942001-12-27 Akim Demaille <akim@epita.fr>
1695
1696 * src/output.c (prepare): Drop the muscle `ntbase' which
1697 duplicates ntokens.
1698 * src/bison.simple: Formatting/comment changes.
1699 Use YYNTOKENS only, which is documented, but not YYNTBASE, which
1700 is an undocumented synonym.
1701
17022001-12-22 Akim Demaille <akim@epita.fr>
1703
1704 * src/output.c (output_table_data): Change the prototype to use
1705 `int' for array ranges: some invocations do pass an int, not a
1706 short.
1707 Reported by Wayne Green.
1708
17092001-12-22 Akim Demaille <akim@epita.fr>
1710
1711 Some actions of web2c.y are improperly triggered.
1712 Reported by Mike Castle.
1713
1714 * src/lalr.c (traverse): s/F (i)[k] = F (j)[k]/F (j)[k] = F (i)[k]/.
1715 * tests/regression.at (Web2c): Rename as...
1716 (Web2c Report): this.
1717 (Web2c Actions): New.
1718
17192001-12-22 Akim Demaille <akim@epita.fr>
1720
1721 Reductions in web2c.y are improperly reported.
1722 Reported by Mike Castle.
1723
1724 * src/conflicts.c (print_reductions): Fix.
1725 * tests/regression.at (Web2c): New.
1726
17272001-12-18 Akim Demaille <akim@epita.fr>
1728
1729 Some host fail on `assert (!"foo")', which expands to
1730 ((!"foo") ? (void)0 : __assert("!"foo."", __FILE__, __LINE__))
1731 Reported by Nelson Beebee.
1732
1733 * src/output.c, src/vcg.c: Replace `assert (!"it succeeded")' with
1734 `#define it_succeeded 0' and `assert (it_succeeded)'.
1735
17362001-12-17 Marc Autret <autret_m@epita.fr>
1737
1738 * src/bison.simple: Don't hard code the skeleton line and filename.
1739 * src/output.c (output_parser): Rename 'line' as 'output_line'.
1740 New line counter 'skeleton_line' (skeleton-line muscle).
1741
17422001-12-17 Paul Eggert <eggert@twinsun.com>
1743
1744 * NEWS, doc/bison.texinfo, doc/bison.1, doc/bison.rnh: Document that
1745 YYDEBUG must be defined to a nonzero value.
1746
1747 * src/bison.simple (yytname): Do not assume that the user defines
1748 YYDEBUG to a properly parenthesized expression.
1749
17502001-12-17 Akim Demaille <akim@epita.fr>
1751
1752 * src/state.h (state_t): Rename lookaheads as lookaheadsp.
1753 nlookaheads is a new member.
1754 Adjust all users.
1755 * src/lalr.h (nlookaheads): Remove this orphan declaration.
1756 * src/lalr.c (initialize_lookaheads): Set nlookaheads for each
1757 state.
1758
17592001-12-17 Akim Demaille <akim@epita.fr>
1760
1761 * src/files.h, src/files.c (open_files, close_files): Remove.
1762 * src/main.c (main): Don't open/close files, nor invoke lex_free,
1763 let...
1764 * src/reader.c (reader): Do it.
1765
17662001-12-17 Akim Demaille <akim@epita.fr>
1767
1768 * src/conflicts.c (print_reductions): Formatting changes.
1769
17702001-12-17 Akim Demaille <akim@epita.fr>
1771
1772 * src/conflicts.c (flush_shift): Also adjust lookaheadset.
1773 (flush_reduce): New.
1774 (resolve_sr_conflict): Adjust.
1775
17762001-12-17 Akim Demaille <akim@epita.fr>
1777
1778 * src/output.c (output_obstack): Be static and rename as...
1779 (format_obstack): this, to avoid any confusion with files.c's
1780 output_obstack.
1781 * src/reader.h (muscle_obstack): Move to...
1782 * src/output.h: here, since it's defined in output.c.
1783
17842001-12-17 Akim Demaille <akim@epita.fr>
1785
1786 * src/output.c (action_row, save_column, default_goto)
1787 (sort_actions, matching_state, pack_vector): Better variable
1788 locality.
1789
17902001-12-17 Akim Demaille <akim@epita.fr>
1791
1792 * src/output.c: Various formatting changes.
1793
17942001-12-17 Akim Demaille <akim@epita.fr>
1795
1796 * src/files.c (output_files): Free the output_obstack.
1797 * src/main.c (main): Call print and print_graph conditionally.
1798 * src/print.c (print): Work unconditionally.
1799 * src/print_graph.c (print_graph): Work unconditionally.
1800 * src/conflicts.c (log_resolution): Output only if verbose_flag.
1801
18022001-12-16 Marc Autret <autret_m@epita.fr>
1803
1804 * src/output.c (actions_output): Fix. When we use %no-lines,
1805 there is one less line per action.
1806
18072001-12-16 Marc Autret <autret_m@epita.fr>
1808
1809 * src/bison.simple: Remove a useless #line directive.
1810 s/#line %%line %%skeleton/#line %%line "%%parser-file-name"/'.
1811 * src/output.c (get_lines_number): New.
1812 (output_parser): Adjust, now takes care about the lines of a
1813 output muscles.
1814 Fix line numbering.
1815 (actions_output): Computes the number of lines taken by actions.
1816 (output_master_parser): Insert new skeleton which is the name of
1817 the output parser file name.
1818
18192001-12-15 Marc Autret <autret_m@epita.fr>
1820
1821 * src/bison.simple [YYERROR_VERBOSE]: Restore backward compatibility.
1822
18232001-12-15 Marc Autret <autret_m@epita.fr>
1824
1825 * src/output.c (output_gram): Keep track of the hairy one.
1826
18272001-12-15 Akim Demaille <akim@epita.fr>
1828
1829 Make `make distcheck' work.
1830
1831 * lib/Makefile.am (INCLUDES): Add top_srcdir/intl, since hash uses
1832 system.h which uses libgettext.h.
1833
18342001-12-15 Akim Demaille <akim@epita.fr>
1835
1836 * src/nullable.c (set_nullable): Useless rules must be skipped,
1837 otherwise, since we range over their symbols, we might look at a
1838 nonterminal which no longer ``exists'', i.e., it is not counted in
1839 `nvars', hence we overflow our arrays.
1840
18412001-12-15 Akim Demaille <akim@epita.fr>
1842
1843 The header can also be produced directly, without any obstack!
1844 Yahoo!
1845
1846 * src/files.c, src/files.h (defines_obstack): Remove.
1847 (compute_header_macro): Global.
1848 (defines_obstack_save): Remove.
1849 * src/reader.c (parse_union_decl): No longer output to
1850 defines_obstack: its content can be found in the `stype' muscle
1851 anyway.
1852 (output_token_translations): Merge into...
1853 (symbols_output): this.
1854 Rename as...
1855 (symbols_save): this.
1856 (reader): Adjust.
1857 * src/output.c (header_output): New.
1858 (output): Call it.
1859
18602001-12-15 Akim Demaille <akim@epita.fr>
1861
1862 * src/reader.c (parse_union_decl): Instead of handling two obstack
1863 simultaneously, use one to define the `stype' muscle, and use the
1864 value of the latter to fill defines_obstack.
1865 (copy_comment): Remove.
1866 (copy_comment2): Work for a single obstack.
1867 Rename as...
1868 (copy_comment): this.
1869
18702001-12-15 Akim Demaille <akim@epita.fr>
1871
1872 * src/lex.c, src/lex.h (xgetc): No longer static.
1873 * src/reader.c (parse_union_decl): Revamp.
1874
18752001-12-15 Akim Demaille <akim@epita.fr>
1876
1877 Still making progress in separating Bison into (i) input, (ii)
1878 process, (iii) output: now we can directly output the parser file
1879 without using table_obstack at all.
1880
1881 * src/files.c, src/files.h (table_obstack): Bye bye.
1882 (parser_file_name): New.
1883 * src/files.c (compute_output_file_names): Compute it.
1884 * src/output.c (actions_output, output_parser)
1885 (output_master_parser): To a file instead of an obstack.
1886
18872001-12-15 Akim Demaille <akim@epita.fr>
1888
1889 Attach actions to rules, instead of pre-outputting them to
1890 actions_obstack.
1891
1892 * src/gram.h (rule_t): action and action_line are new members.
1893 * src/reader.c (symbol_list): Likewise.
1894 (copy_action): Save the actions within the rule.
1895 (packgram): Save them in rule_table.
1896 * src/output.c (actions_output): New.
1897 (output_parser): Use it on `%%actions'.
1898 (output_rule_data): Don't free rule_table.
1899 (output): Do it.
1900 (prepare): Don't save the `action' muscle.
1901 * src/bison.simple: s/%%action/%%actions/.
1902
19032001-12-15 Akim Demaille <akim@epita.fr>
1904
1905 * src/reader.c (copy_action): When --yacc, don't append a `;'
1906 to the user action: let it fail if lacking.
1907 Suggested by Arnold Robbins and Tom Tromey.
1908
19092001-12-14 Akim Demaille <akim@epita.fr>
1910
1911 * src/lex.c (literalchar): Simply return the char you decoded, non
1912 longer mess around with obstacks and int pointers.
1913 Adjust all callers.
1914
19152001-12-14 Akim Demaille <akim@epita.fr>
1916
1917 * src/lex.c (literalchar): Don't escape the special characters,
1918 just decode them, and keep them as char (before, eol was output as
1919 the 2 char string `\n' etc.).
1920 * src/output.c (output_rule_data): Use quotearg to output the
1921 token strings.
1922
19232001-12-13 Paul Eggert <eggert@twinsun.com>
1924
1925 * src/bison.simple (YYSIZE_T, YYSTACK_ALLOC, YYSTACK_FREE):
1926 Do not infringe on the global user namespace when using C++.
1927 (YYFPRINTF, YYSTDERR): New macros, needed for the above.
1928 All uses of `fprintf' and `stderr' changed.
1929
1930 * doc/bison.texinfo: Document YYFPRINTF, YYSTDERR.
1931
19322001-12-13 Akim Demaille <akim@epita.fr>
1933
1934 The computation of nullable is broken: it doesn't handle empty
1935 RHS's properly.
1936
1937 * tests/torture.at (GNU AWK Grammar): New.
1938 * tests/sets.at (Nullable): New.
1939 * src/nullable.c (set_nullable): Instead of blindly looping over
1940 `ritems', loop over the rules, and then over their rhs's.
1941
1942 Work around Autotest bugs.
1943
1944 * src/warshall.c (bitmatrix_print): Don't use `+--+' as table
1945 frame, because Autotest understand lines starting with a `+' as
1946 traces from the shell. Then, they are not processed properly.
1947 Admittedly an Autotest bug, but we don't have time to wait for
1948 Autotest to catch up.
1949 * tests/regression.at (Broken Closure): Adjust to the new table
1950 frames.
1951 Move to...
1952 * tests/sets.at: here.
1953
19542001-12-13 Akim Demaille <akim@epita.fr>
1955
1956 * src/closure.c (closure): Use nrules instead of playing tricks
1957 with BITS_PER_WORD.
1958
19592001-12-13 Akim Demaille <akim@epita.fr>
1960
1961 * src/print.c (print_actions): Output the handling of `$' as the
1962 traces do: shifting the token EOF. Before EOF was treated as a
1963 nonterminal.
1964 * tests/regression.at: Adjust some tests.
1965 * src/print_graph.c (print_core): Complete the set of items via
1966 closure. The next-to-final and final states are still unsatisfying,
1967 but that's to be addressed elsewhere.
1968 No longer output the rule numbers, but do output the state number.
1969 A single loop for the shifts + gotos is enough, but picked a
1970 distinct color for each.
1971 (print_graph): Initialize and finalize closure.
1972
19732001-12-13 Akim Demaille <akim@epita.fr>
1974
1975 * src/reader.c (readgram): Remove dead code, an strip useless
1976 braces.
1977 (get_type): Remove, unused.
1978
19792001-12-12 Akim Demaille <akim@epita.fr>
1980
1981 * src/complain.h, src/complain.c: Remove error_one_per_line, rely
1982 on that of lib/error.c.
1983
19842001-12-12 Akim Demaille <akim@epita.fr>
1985
1986 Some hosts don't like `/' in includes.
1987
1988 * src/system.h: Include libgettext.h without qualifying the path.
1989 * src/Makefile.am (INCLUDES): Add $(top_srcdir)/intl, remove
1990 $(top_srcdir).
1991
19922001-12-11 Marc Autret <autret_m@epita.fr>
1993
1994 * src/output.c (output_parser): Remove useless muscle.
1995
19962001-12-11 Marc Autret <autret_m@epita.fr>
1997
1998 * src/bison.simple: Remove #line just before %%epilogue. It
1999 is now handled in ...
2000 * src/reader.c (read_additionnal_code): Add the output of a
2001 #line for the epilogue.
2002
20032001-12-10 Marc Autret <autret_m@epita.fr>
2004
2005 * src/reader.c (copy_definition): Re-use CPP-outed code which
2006 replace precedent remove.
2007 * src/bison.simple: Remove #line before %%prologue because
2008 %%input-line is wrong at this time.
2009
20102001-12-10 Marc Autret <autret_m@epita.fr>
2011
2012 * src/reader.c (symbols_output): Clean up.
2013 * src/output.c (output_gram, output): Clean up.
2014
20152001-12-10 Akim Demaille <akim@epita.fr>
2016
2017 * src/lalr.c (initialize_lookaheads): New. Extracted from...
2018 * src/LR0.c (set_state_table): here.
2019 * src/lalr.c (lalr): Call it.
2020
20212001-12-10 Akim Demaille <akim@epita.fr>
2022
2023 * src/state.h (shifts): Remove the `number' member: shifts are
2024 attached to state, hence no longer need to be labelled with a
2025 state number.
2026
20272001-12-10 Akim Demaille <akim@epita.fr>
2028
2029 Now that states have a complete set of members, the linked list of
2030 shifts is useless: just fill directly the state's shifts member.
2031
2032 * src/state.h (shifts): Remove the `next' member.
2033 * src/LR0.c (first_state, last_state): Remove.
2034 Adjust the callers.
2035 (augment_automaton): Don't look for the shifts that must be added
2036 a shift on EOF: it is those of the state we looked for! But now,
2037 since shifts are attached, it is no longer needed to looking
2038 merely by its id: its number.
2039
20402001-12-10 Akim Demaille <akim@epita.fr>
2041
2042 * src/LR0.c (augment_automaton): Better variable locality.
2043 Remove an impossible branch: if there is a state corresponding to
2044 the start symbol being shifted, then there is shift for the start
2045 symbol from the initial state.
2046
20472001-12-10 Akim Demaille <akim@epita.fr>
2048
2049 * src/LR0.c (augment_automaton): Call `insert_eof_shifting_state'
2050 only when appropriate: when insert_start_shifting_state' is not
2051 invoked.
2052 * tests/regression.at (Rule Line Numbers): Adjust.
2053
20542001-12-10 Akim Demaille <akim@epita.fr>
2055
2056 * src/LR0.c (augment_automaton): Now that all states have shifts,
2057 merge the two cases addition shifts to the initial state.
2058
20592001-12-10 Akim Demaille <akim@epita.fr>
2060
2061 * src/lalr.c (set_state_table): Move to...
2062 * src/LR0.c: here.
2063 * src/lalr.c (lalr): Don't call it...
2064 * src/LR0.c (generate_states): do it.
2065 * src/LR0.h (first_state): Remove, only the table is used.
2066
20672001-12-10 Akim Demaille <akim@epita.fr>
2068
2069 * src/LR0.h (first_shift, first_reduction): Remove.
2070 * src/lalr.c: Don't use first_shift: find shifts through the
2071 states.
2072
20732001-12-10 Akim Demaille <akim@epita.fr>
2074
2075 * src/LR0.c: Attach shifts to states as soon as they are
2076 computed.
2077 * src/lalr.c (set_state_table): Instead of assigning shifts to
2078 state, just assert that the mapping was properly done.
2079
20802001-12-10 Akim Demaille <akim@epita.fr>
2081
2082 * src/LR0.c (insert_start_shift): Rename as...
2083 (insert_start_shifting_state): this.
2084 (insert_eof_shifting_state, insert_accepting_state): New.
2085 (augment_automaton): Adjust.
2086 Better locality of the variables.
2087 When looking if the start_symbol is shifted from the initial
2088 state, using `while (... symbol != start_symbol ...)' sounds
2089 better than `while (... symbol < start_symbol ...)': If fail
2090 to see how the order between symbols could be relevant!
2091
20922001-12-10 Akim Demaille <akim@epita.fr>
2093
2094 * src/getargs.h: Don't declare `spec_name_prefix' and
2095 `spec_file_prefix', declared by src/files.h.
2096 * src/files.c, src/files.h: Default for spec_name_prefix is "yy".
2097 * src/muscle_tab.c (muscle_init): Default prefix to NULL.
2098 * src/output.c (prepare): Adjust.
2099 * src/reader.c (symbols_output): Likewise.
2100 * src/vmsgetargs.c: Vaguely adjust, but who cares?
2101
21022001-12-10 Akim Demaille <akim@epita.fr>
2103
2104 * src/muscle_tab.c (muscle_init): NULL is a better default than
2105 `"0"'.
2106
21072001-12-10 Akim Demaille <akim@epita.fr>
2108
2109 * src/reader.c (reader): Calling symbols_output once is enough.
2110
21112001-12-10 Akim Demaille <akim@epita.fr>
2112
2113 Now that states have a complete set of members, the linked list of
2114 reductions is useless: just fill directly the state's reductions
2115 member.
2116
2117 * src/state.h (struct reductions): Remove member `number' and
2118 `next'.
2119 * src/LR0.c (first_reduction, last_reduction): Remove.
2120 (save_reductions): Don't link the new reductions, store them in
2121 this_state.
2122 * src/lalr.c (set_state_table): No need to attach reductions to
2123 states, it's already done.
2124 * src/output.c (output_actions): No longer free the shifts, then
2125 the reductions, then the states: free all the states and their
2126 members.
2127
21282001-12-10 Akim Demaille <akim@epita.fr>
2129
2130 * src/options.c (OPTN, DRTV, BOTH): New.
2131 (option_table): Use them.
2132
2133 * src/muscle_tab.c: Don't include xalloc.h and string.h: that's
2134 the job of system.h.
2135 * src/options.c: Don't include stdio.h and xalloc.h for the same
2136 reasons.
2137
21382001-12-10 Akim Demaille <akim@epita.fr>
2139
2140 * src/output.c (output, prepare): Make sure the values of the
2141 muscles `action' and `prologue' are 0-terminated.
2142
21432001-12-10 Akim Demaille <akim@epita.fr>
2144
2145 Clean up GCC warnings.
2146
2147 * src/reader.c (copy_action): `buf' is not used.
2148 (parse_skel_decl): Be static.
2149 * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'.
2150 * src/options.h (create_long_option_table): Have a real prototype.
2151 * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete)
2152 (hash_delete_at): Return const void *.
2153 Adjust casts to preserve the const.
2154
21552001-12-10 Akim Demaille <akim@epita.fr>
2156
2157 * configure.in: Require 2.52g.
2158 M4 is not needed, but AUTOM4TE is.
2159 * m4/m4.m4: Remove.
2160 * tests/Makefile.am: Adjust.
2161
21622001-12-10 Akim Demaille <akim@epita.fr>
2163
2164 One structure for states is enough, even though theoretically
2165 there are LR(0) states and LALR(1) states.
2166
2167 * src/lalr.h (state_t): Remove.
2168 (state_table): Be state_t **, not state_t *.
2169 * src/state.h (core, CORE_ALLOC): Rename as...
2170 (state_t, STATE_ALLOC): this.
2171 Add the LALR(1) members: shifts, reductions, errs.
2172 * src/LR0.c (state_table): Rename as...
2173 (state_hash): this, to avoid name clashes with the global
2174 `state_table'.
2175 * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
2176 * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
2177
21782001-12-10 Akim Demaille <akim@epita.fr>
2179
2180 Bison dumps core on bash.y.
2181 Reported by Pascal Bart.
2182
2183 * src/warshall.c (bitmatrix_print): New.
2184 (TC): Use it.
2185 When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
2186 j must be the outer loop.
2187 * tests/regression.at (Broken Closure): New.
2188
21892001-12-05 Akim Demaille <akim@epita.fr>
2190
2191 * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and
2192 its argument.
2193