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