summaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* * tests/bison.in: Adjust to CVS Autoconf.Akim Demaille2002-01-033-19/+5
| | | | | | | * tests/calc.at (exp): We no longer need to special case GCC as the warning flags are passed by configure. * tests/atlocal.in: Adjust. * configure.in: Bump to 1.30j.
* Regen.Akim Demaille2002-01-031-4/+4
|
* Some actions of web2c.y are improperly triggered.Akim Demaille2001-12-221-4/+129
| | | | | | | | Reported by Mike Castle. * src/lalr.c (traverse): s/F (i)[k] = F (j)[k]/F (j)[k] = F (i)[k]/. * tests/regression.at (Web2c): Rename as... (Web2c Report): this. (Web2c Actions): New.
* Reductions in web2c.y are improperly reported.Akim Demaille2001-12-221-0/+105
| | | | | | Reported by Mike Castle. * src/conflicts.c (print_reductions): Fix. * tests/regression.at (Web2c): New.
* The computation of nullable is broken: it doesn't handle emptyAkim Demaille2001-12-136-77/+536
| | | | | | | | | | | | | | | | | | RHS's properly. * tests/torture.at (GNU AWK Grammar): New. * tests/sets.at (Nullable): New. * src/nullable.c (set_nullable): Instead of blindly looping over `ritems', loop over the rules, and then over their rhs's. Work around Autotest bugs. * src/warshall.c (bitmatrix_print): Don't use `+--+' as table frame, because Autotest understand lines starting with a `+' as traces from the shell. Then, they are not processed properly. Admittedly an Autotest bug, but we don't have time to wait for Autotest to catch up. * tests/regression.at (Broken Closure): Adjust to the new table frames. Move to... * tests/sets.at: here.
* Bison dumps core on bash.y.Akim Demaille2001-12-101-0/+75
| | | | | | | | | Reported by Pascal Bart. * src/warshall.c (bitmatrix_print): New. (TC): Use it. When performing a transitive closure R(i, j) && R(j, k) => R(i, k), j must be the outer loop. * tests/regression.at (Broken Closure): New.
* * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I andAkim Demaille2001-12-051-1/+1
| | | | | its argument. Reported by Peter Hámorský.
* * configure.in (WARNING_CFLAGS): Add -Werror when possible.Akim Demaille2001-11-301-1/+1
| | | | | | | | | (CFLAGS): Do not include the WARNING_CFLAGS here, since GNU Gettext doesn't compile cleanly, and dies with -Werror. * src/Makefile.am, lib/Makefile.am, tests/atlocal.in (CFLAGS): Include WARNING_CFLAGS here. * lib/xstrdup.c: Include xalloc.h, so that xstrdup be declared before being defined.
* Instead of mapping the LHS of unused rules to -1, keep the LHSAkim Demaille2001-11-301-0/+98
| | | | | | | | | | valid, but flag the rules as invalid. * src/gram.h (rule_t): `useful' is a new member. * src/print.c (print_grammar): Adjust. * src/derives.c (set_derives): Likewise. * src/reader.c (packgram, reduce_output): Likewise. * src/reduce.c (reduce_grammar_tables): Likewise. * tests/reduce.at (Underivable Rules, Useless Rules): New.
* * src/reduce.c (reduce_output): Formatting changes.Akim Demaille2001-11-301-2/+15
| | | | | | * src/print.c (print_results, print_grammar): Likewise. * tests/regression.at (Rule Line Numbers) (Solved SR Conflicts, Unresolved SR Conflicts): Adjust.
* * src/reduce.c (nonterminals_reduce): Instead of throwing awayAkim Demaille2001-11-301-2/+4
| | | | | | useless nonterminals, move them at the end of the symbol arrays. (reduce_output): Adjust. * tests/reduce.at (Useless Nonterminals): Adjust.
* * tests/reduce.at (Useless Terminals, Useless Nonterminals): New.Akim Demaille2001-11-284-2/+109
| | | | | | * src/reduce.c (reduce_grammar_tables): Do not free useless tags, as all tags are free'ed afterwards. From Enrico Scholz.
* * tests/torture.at (Exploding the Stack Size with Malloc):Akim Demaille2001-11-271-1/+1
| | | | s/YYSTACK_USE_ALLOCA_ALLOCA/YYSTACK_USE_ALLOCA/.
* Typo.Akim Demaille2001-11-261-1/+1
|
* * src/reader.c (readgram): Make sure rules for mid-rule actionsAkim Demaille2001-11-261-0/+142
| | | | | | have a lineno equal to that of their host rule. Reported by Hans Aberg. * tests/regression.at (Rule Line Numbers): New.
* * src/reader.c (read_declarations): Don't abort on tok_illegal,Akim Demaille2001-11-261-4/+25
| | | | | | issue an error message. * tests/regression.at (Invalid %directive): New. Reported by Hans Aberg.
* * src/conflicts.c (conflicts_print): Don't complain at all whenAkim Demaille2001-11-261-3/+1
| | | | | | there are no reduce/reduce conflicts, and as many shift/reduce conflicts as expected. * tests/regression.at (%expect right): Adjust.
* Attaching lineno to buckets is stupid, since only one copy of eachAkim Demaille2001-11-231-4/+6
| | | | | | | | | | | | | symbol is kept, only the line of the first occurrence is kept too. * src/symtab.h, src/symtab.c (bucket): Remove the line member. * src/reader.c (rline_allocated): Remove, unused. (symbol_list): Have a `line' member. (symbol_list_new): New. (readgram): Use it. * src/print.c (print_grammar): Output the rule line numbers. * tests/regression.at (Solved SR Conflicts) (Unresolved SR Conflicts): Adjust. Reported by Hans Aberg.
* * src/bison.simple (yyparse): When reporting verbosely an error,Akim Demaille2001-11-191-5/+5
| | | | | no longer issue additional quotes around token names. * tests/calc.at: Adjust.
* * tests/calc.at, tests/output.at, tests/regression.at,Akim Demaille2001-11-146-21/+24
| | | | | | | | * tests/testsuite.at, tests/torture.at: Rely on Autotest 2.52g: now the tests are run in private dirs, therefore AC_CLEANUP and family can be simplified to 0-ary. * tests/atlocal.in: Now that we run `elsewhere' than in tests/, use abs. path to find config.h.
* %expext was not functioning at all.Akim Demaille2001-11-122-1/+61
| | | | | | | | | | * src/conflicts.c (expected_conflicts): Set to -1. (conflict_report): Use ngettext. (conflicts_print): Check %expect and make its violation an error. * doc/bison.texinfo (Expect Decl): Adjust. * configure.in (AM_GNU_GETTEXT): Ask for ngettext. * tests/regression.at (%expect not enough, %expect right) (%expect too much): New.
* * tests/regression.at (Conflicts): Rename as...Akim Demaille2001-11-121-4/+101
| | | | | (Unresolved SR Conflicts): this. (Solved SR Conflicts): New.
* * src/conflicts.c (print_reductions): Accept OUT as argument.Akim Demaille2001-11-121-0/+3
| | | | | Output to it, not to output_obstack. * src/print.c (print_actions): Adjust.
* * src/conflicts.c (count_sr_conflicts, count_rr_conflicts): ReturnAkim Demaille2001-11-121-0/+95
| | | | | | | | | | | | | the result instead of using... (src_total, rrc_total, src_count, rrc_count): Remove. (any_conflicts): Remove. (print_conflicts): Split into... (conflicts_print, conflicts_output): New. * src/conflicts.h: Adjust. * src/main.c (main): Invoke both conflicts_output and conflicts_print. * src/print.c (print_grammar): Issue `n' between to rule outputs. * tests/regression.at (Conflicts): New. Reported by Tom Lane.
* * tests/regression.at (Invalid input): Remove, duplicate withAkim Demaille2001-11-121-20/+0
| | | | ``Invalid input: 1''.
* * tests/torture.at (AT_DATA_STACK_TORTURE)Akim Demaille2001-11-124-2/+120
| | | | | (Exploding the Stack Size with Alloca) (Exploding the Stack Size with Malloc): New.
* * tests/regression.at (AT_TEST_CPP_GUARD_H): Adjust the clean upAkim Demaille2001-11-051-1/+1
| | | | pattern.
* * src/getargs.c (longopts): Support `--output'. getopt is nowAkim Demaille2001-11-041-0/+10
| | | | | | | | | | | | | | | | | | | | | | | | | able to understand that `--out' is OK: the two racing long options are aliases. (usage): Adjust. * src/lex.h (tok_setopt): Remove, replaced with... (tok_intopt, tok_stropt): these new guys. * src/lex.c (getopt.h): Not needed. (token_buffer, unlexed_token_buffer): Not const. (percent_table): Promote `-' over `_' in directive names. Active `%name-prefix', `file-prefix', and `output'. (parse_percent_token): Accept possible arguments to directives. Promote `-' over `_' in directive names. * doc/bison.texinfo (Decl Summary): Split the list into `directives for grammars' and `directives for bison'. Sort'em. Add description of `%name-prefix', `file-prefix', and `output'. Promote `-' over `_' in directive names. (Bison Options): s/%locactions/%locations/. Nice Freudian slip. Simplify the description of `--name-prefix'. Promote `-' over `_' in directive names. Promote `--output' over `--output-file'. Fix the description of `--defines'. * tests/output.at: Exercise %file-prefix and %output.
* * src/symtab.h (SUNDEF): New.Akim Demaille2001-11-021-2/+3
| | | | | | | | | | | * src/symtab.c (bucket_new): Init user_token_number to SUNDEF to stand for `uninitialized', instead of 0. * src/reader.c (packsymbols, parse_thong_decl): Adjust. * src/lex.c (lex): Adjust. * tests/calc.at (_AT_DATA_CALC_Y): Declare a token for EOF. Number it 0. Let yylex return it instead of a plain 0. Reported by Dick Streefland.
* * tests/regression.at (Mixing %token styles): New test.Akim Demaille2001-11-021-0/+23
|
* * tests/regression.at (AT_TEST_CPP_GUARD_H): New.Akim Demaille2001-11-011-8/+19
| | | | | | | Check that `9foo.y' produces correct cpp guards. * src/files.c (compute_header_macro): Prepend `BISON_' to CPP guards. Reported by Wwp.
* * tests/regression.at (Invalid input: 2): New.Akim Demaille2001-11-011-0/+39
| | | | | | | * src/lex.c (unlexed_token_buffer): New. (lex, unlex): Adjust: when unlexing, be sure to save token_buffer too. Reported by Wwp.
* * configure.in: Bump to 1.30a.Akim Demaille2001-11-012-12/+8
| | | | Adjust to newer Autotest.
* Regen.Akim Demaille2001-10-261-4/+2
|
* Version 1.30.Akim Demaille2001-10-261-1/+2
|
* Version 1.29f.v1.29fBISON-1_29fAkim Demaille2001-10-181-1/+1
| | | | | * tests/calc.at (_AT_CHECK_CALC_ERROR): Don't use `foo && bar', to avoid spurious failures.
* * tests/atlocal.in (GCC): Add.Akim Demaille2001-10-183-10/+20
| | | | | | | * tests/calc.at: s/m4_match/m4_bmatch/. s/m4_patsubst/m4_bpatsubst/. (AT_CHECK_CALC): Check the compiler's stderr only if it's GCC. * configure.in: AC_SUBST(GCC).
* * m4/m4.m4: Remove.Akim Demaille2001-10-102-3/+1
| | | | | | * configure.in: M4 is no longer needed, but autom4te is. * tests/Makefile.am (AUTOTEST): Don't define AUTOM4TE, let AC_SUBST do it.
* * INSTALL, config/config.guess, config/config.sub, config/mdate-shAkim Demaille2001-10-101-3/+6
| | | | * config/mkinstalldirs, lib/ansi2knr.c: Update.
* * tests/regression.at (Invalid CPP headers): New.Akim Demaille2001-10-021-0/+22
| | | | | From Alexander Belopolsky. * src/files.c (compute_header_macro): Map non alnum chars to `_'.
* * tests/regression.at (Invalid input): New.Akim Demaille2001-10-021-1/+21
| | | | | * src/lex.c (lex): Be sure to set `token_buffer' in any case. Reported by Shura.
* * tests/calc.at: Now that --debug works, the tests must be adjusted.Akim Demaille2001-10-021-14/+37
|
* * tests/testsuite.at: Update to newer Autotest.Akim Demaille2001-09-284-4/+5
| | | | * tests/Makefile.am (EXTRA_DIST): bison is not to be shipped.
* Position independent wrapper.Akim Demaille2001-09-274-16/+7
| | | | | | * tests/bison: Remove. * tests/bison.in: New. * configure.in: Adjust.
* Position independent wrapper.Akim Demaille2001-09-271-0/+11
| | | | | | * tests/bison: Remove. * tests/bison.in: New. * configure.in: Adjust.
* * configure.in: Bump to 1.29b.Akim Demaille2001-09-223-18/+4
| | | | | | | * tests/Makefile.am (DISTCLEANFILES): Add package.m4. * tests/calc.at (_AT_DATA_CALC_Y): #undef malloc so that we don't need xmalloc.c in calc.y. From Pascal Bart.
* * tests/Makefile.am ($(srcdir)/$(TESTSUITE)): No longer depend upon package.m4.Akim Demaille2001-09-212-2/+2
|
* More ignores.Akim Demaille2001-09-211-1/+3
|
* * tests/Makefile.am (package.m4): Move to...Akim Demaille2001-09-212-24/+16
| | | | ($(srcdir)/$(TESTSUITE)): here.
* * tests/regression.at: New test (comment in %union).Marc Autret2001-09-181-0/+23
|