mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-08-17 14:45:15 +00:00
Paul Eggert
133edcd248
This patch contains more fixes to prefer signed to unsigned integer types, as modern tools like 'gcc -fsanitize=undefined' can check for signed integer overflow but not unsigned overflow. * NEWS: Document the API change. * boostrap.conf (gnulib_modules): Add intprops. * data/skeletons/glr.c: Include stddef.h and stdint.h, since this skeleton can assume C99 or later. (YYSIZEMAX): Now signed, and the minimum of SIZE_MAX and PTRDIFF_MAX. (yybool) [!__cplusplus]: Now signed (which is how bool behaves). (YYTRANSLATE): Avoid use of unsigned, and make the macro safe even for values greater than UINT_MAX. (yytnamerr, struct yyGLRState, struct yyGLRStateSet, struct yyGLRStack) (yyaddDeferredAction, yyinitStateSet, yyinitGLRStack) (yyexpandGLRStack, yymarkStackDeleted, yyremoveDeletes) (yyglrShift, yyglrShiftDefer, yy_reduce_print, yydoAction) (yyglrReduce, yysplitStack, yyreportTree, yycompressStack) (yyprocessOneStack, yyreportSyntaxError, yyrecoverSyntaxError) (yyparse, yy_yypstack, yypstack, yypdumpstack): * tests/input.at (Torturing the Scanner): Prefer ptrdiff_t to size_t. * data/skeletons/c++.m4 (b4_yytranslate_define): * src/AnnotationList.c (AnnotationList__computePredecessorAnnotations): * src/AnnotationList.h (AnnotationIndex): * src/InadequacyList.h (InadequacyListNodeCount): * src/closure.c (closure_new): * src/complain.c (error_message, complains, complain_indent) (complain_args, duplicate_directive, duplicate_rule_directive): * src/gram.c (nritems, ritem_print, grammar_dump): * src/ielr.c (ielr_compute_ritem_sees_lookahead_set) (ielr_item_has_lookahead, ielr_compute_annotation_lists) (ielr_compute_lookaheads): * src/location.c (columns, boundary_print, location_print): * src/muscle-tab.c (muscle_percent_define_insert) (muscle_percent_define_check_values): * src/output.c (prepare_rules, prepare_actions): * src/parse-gram.y (id, handle_require): * src/reader.c (record_merge_function_type, packgram): * src/reduce.c (nuseless_productions, nuseless_nonterminals) (inaccessable_symbols): * src/relation.c (relation_print): * src/scan-code.l (variant, variant_table_size, variant_count) (variant_add, get_at_spec, show_sub_message, show_sub_messages) (parse_ref): * src/scan-gram.l (<SC_ESCAPED_STRING,SC_ESCAPED_CHARACTER>) (scan_integer, convert_ucn_to_byte, handle_syncline): * src/scan-skel.l (at_complain): * src/symtab.c (complain_symbol_redeclared) (complain_semantic_type_redeclared, complain_class_redeclared) (symbol_class_set, complain_user_token_number_redeclared): * src/tables.c (conflict_tos, conflrow, conflict_table) (conflict_list, save_row, pack_vector): * tests/local.at (AT_YYLEX_DEFINE(c)): Prefer signed to unsigned integer. * data/skeletons/lalr1.cc (yy_lac_check_): * tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR): * tests/local.at (AT_YYLEX_DEFINE(c)): Omit now-unnecessary casts. * data/skeletons/location.cc (b4_location_define): * doc/bison.texi (Mfcalc Lexer, C++ position, C++ location): Prefer int to unsigned for line and column numbers. Change example to abort explicitly on memory exhaustion, and fix an off-by-one bug that led to undefined behavior. * data/skeletons/stack.hh (stack::operator[]): Also allow ptrdiff_t indexes. (stack::pop, slice::slice, slice::operator[]): Index arg is now ptrdiff_t, not int. (stack::ssize): New method. (slice::range_): Now ptrdiff_t, not int. * data/skeletons/yacc.c (b4_state_num_type): Remove. All uses replaced by b4_int_type. (YY_CONVERT_INT_BEGIN, YY_CONVERT_INT_END): New macros. (yylac, yyparse): Use them around conversions that -Wconversion would give false alarms about. Omit unnecessary casts. (yy_stack_print): Use int rather than unsigned, and omit a cast that doesn’t seem to be needed here any more. * examples/c++/variant.yy (yylex): * examples/c++/variant-11.yy (yylex): Omit no-longer-needed conversions to unsigned. * src/InadequacyList.c (InadequacyList__new_conflict): Don’t assume *node_count is unsigned. * src/output.c (muscle_insert_unsigned_table): Remove; no longer used.
143 lines
5.2 KiB
C
143 lines
5.2 KiB
C
/* Prepare the LALR and GLR parser tables.
|
|
|
|
Copyright (C) 2002, 2004, 2009-2015, 2018-2019 Free Software
|
|
Foundation, Inc.
|
|
|
|
This file is part of Bison, the GNU Compiler Compiler.
|
|
|
|
This program is free software: you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef TABLES_H_
|
|
# define TABLES_H_
|
|
|
|
# include "state.h"
|
|
|
|
/* The parser tables consist of these tables.
|
|
|
|
YYTRANSLATE = vector mapping yylex's token numbers into bison's
|
|
token numbers.
|
|
|
|
YYTNAME = vector of string-names indexed by bison token number.
|
|
|
|
YYTOKNUM = vector of yylex token numbers corresponding to entries
|
|
in YYTNAME.
|
|
|
|
YYRLINE = vector of line-numbers of all rules. For yydebug
|
|
printouts.
|
|
|
|
YYRHS = vector of items of all rules. This is exactly what RITEMS
|
|
contains. For yydebug and for semantic parser.
|
|
|
|
YYPRHS[R] = index in YYRHS of first item for rule R.
|
|
|
|
YYR1[R] = symbol number of symbol that rule R derives.
|
|
|
|
YYR2[R] = number of symbols composing right hand side of rule R.
|
|
|
|
YYSTOS[S] = the symbol number of the symbol that leads to state S.
|
|
|
|
YYFINAL = the state number of the termination state.
|
|
|
|
YYTABLE = a vector filled with portions for different uses, found
|
|
via YYPACT and YYPGOTO, described below.
|
|
|
|
YYLAST ( = high) the number of the last element of YYTABLE, i.e.,
|
|
sizeof (YYTABLE) - 1.
|
|
|
|
YYCHECK = a vector indexed in parallel with YYTABLE. It indicates,
|
|
in a roundabout way, the bounds of the portion you are trying to
|
|
examine.
|
|
|
|
Suppose that the portion of YYTABLE starts at index P and the index
|
|
to be examined within the portion is I. Then if YYCHECK[P+I] != I,
|
|
I is outside the bounds of what is actually allocated, and the
|
|
default (from YYDEFACT or YYDEFGOTO) should be used. Otherwise,
|
|
YYTABLE[P+I] should be used.
|
|
|
|
YYDEFACT[S] = default reduction number in state s. Performed when
|
|
YYTABLE doesn't specify something else to do. Zero means the default
|
|
is an error.
|
|
|
|
YYDEFGOTO[I] = default state to go to after a reduction of a rule
|
|
that generates variable NTOKENS + I, except when YYTABLE specifies
|
|
something else to do.
|
|
|
|
YYPACT[S] = index in YYTABLE of the portion describing state S.
|
|
The lookahead token's number, I, is used to index that portion of
|
|
YYTABLE to find out what action to perform.
|
|
|
|
If YYPACT[S] == YYPACT_NINF, if YYPACT[S] + I is outside the bounds
|
|
of YYTABLE (from 0 to YYLAST), or I is outside the bounds for portion
|
|
S (that is, YYCHECK[YYPACT[S] + I] != I), then the default action
|
|
(that is, YYDEFACT[S]) should be used instead of YYTABLE. Otherwise,
|
|
the value YYTABLE[YYPACT[S] + I] should be used even if
|
|
YYPACT[S] < 0.
|
|
|
|
If the value in YYTABLE is positive, we shift the token and go to
|
|
that state.
|
|
|
|
If the value is negative, it is minus a rule number to reduce by.
|
|
|
|
If the value is YYTABLE_NINF, it's a syntax error.
|
|
|
|
YYPGOTO[I] = the index in YYTABLE of the portion describing what to
|
|
do after reducing a rule that derives variable I + NTOKENS. This
|
|
portion is indexed by the parser state number, S, as of before the
|
|
text for this nonterminal was read.
|
|
|
|
If YYPGOTO[I] + S is outside the bounds of YYTABLE (from 0 to YYLAST)
|
|
or if S is outside the bounds of the portion for I (that is,
|
|
YYCHECK[YYPGOTO[I] + S] != S), then the default state (that is,
|
|
YYDEFGOTO[I]) should be used instead of YYTABLE. Otherwise,
|
|
YYTABLE[YYPGOTO[I] + S] is the state to go to even if YYPGOTO[I] < 0.
|
|
|
|
When the above YYPACT, YYPGOTO, and YYCHECK tests determine that a
|
|
value from YYTABLE should be used, that value is never zero, so it is
|
|
useless to check for zero. When those tests indicate that the value
|
|
from YYDEFACT or YYDEFGOTO should be used instead, the value from
|
|
YYTABLE *might* be zero, which, as a consequence of the way in which
|
|
the tables are constructed, also happens to indicate that YYDEFACT or
|
|
YYDEFGOTO should be used. However, the YYTABLE value cannot be
|
|
trusted when the YYDEFACT or YYDEFGOTO value should be used. In
|
|
summary, forget about zero values in YYTABLE.
|
|
*/
|
|
|
|
extern int nvectors;
|
|
|
|
typedef int base_number;
|
|
extern base_number *base;
|
|
/* A distinguished value of BASE, negative infinite. During the
|
|
computation equals to BASE_MINIMUM, later mapped to BASE_NINF to
|
|
keep parser tables small. */
|
|
extern base_number base_ninf;
|
|
|
|
extern int *conflict_table;
|
|
extern int *conflict_list;
|
|
extern int conflict_list_cnt;
|
|
|
|
extern base_number *table;
|
|
extern base_number *check;
|
|
/* The value used in TABLE to denote explicit syntax errors
|
|
(%nonassoc), a negative infinite. */
|
|
extern base_number table_ninf;
|
|
|
|
extern state_number *yydefgoto;
|
|
extern rule_number *yydefact;
|
|
extern int high;
|
|
|
|
void tables_generate (void);
|
|
void tables_free (void);
|
|
|
|
#endif /* !TABLES_H_ */
|