diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-11-22 11:19:48 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-11-30 16:48:03 +0100 |
commit | 5b19f91ccf5f80e30729fec4b0f8b48b566fdc86 (patch) | |
tree | 4251ff9ec45b15df950389ab1d2d0730ba61e0de /gnulib | |
parent | 7fe9205b9f58a7235721ba63c0f80ad009eba2b5 (diff) | |
download | bison-5b19f91ccf5f80e30729fec4b0f8b48b566fdc86.tar.gz |
multistart: check duplicates
* src/symlist.h, src/symlist.c (symbol_list_find_symbol)
(symbol_list_last): New.
(symbol_list_append): Use symbol_list_last.
* src/reader.c (grammar_start_symbols_add): Check and discard duplicates.
* tests/input.at (Duplicate %start symbol): New.
* tests/reduce.at (Bad start symbols): Add the multistart keyword.
Diffstat (limited to 'gnulib')
m--------- | gnulib | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnulib b/gnulib -Subproject 9351b4033bbf0bb1df3d3412376fefe785168c2 +Subproject b141afaf9ba197e361510da075556822ac453ff |