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