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