Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-16 15:53:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

(symbol_user_token_number_set, symbol_make_alias, symbol_pack):

Browse Source 
Use abort rather than assert.
This commit is contained in:
Paul Eggert
2002-11-21 05:23:46 +00:00
parent fe22d5d20f
commit 2f82502a6f
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/symtab.c
View File

@@ -175,7 +175,8 @@ void
symbol_user_token_number_set (symbol_t *symbol, symbol_user_token_number_set (symbol_t *symbol,
int user_token_number, location_t location) int user_token_number, location_t location)
{ {
assert (symbol->class == token_sym); if (symbol->class != token_sym)
abort ();
if (symbol->user_token_number != USER_NUMBER_UNDEFINED if (symbol->user_token_number != USER_NUMBER_UNDEFINED
&& symbol->user_token_number != user_token_number) && symbol->user_token_number != user_token_number)
@@ -252,7 +253,8 @@ symbol_make_alias (symbol_t *symbol, symbol_t *symval, location_t loc)
/* symbol and symval combined are only one symbol */ /* symbol and symval combined are only one symbol */
nsyms--; nsyms--;
ntokens--; ntokens--;
assert (ntokens == symbol->number || ntokens == symval->number); if (ntokens != symbol->number && ntokens != symval->number)
abort ();
symbol->number = symval->number = symbol->number = symval->number =
(symval->number < symbol->number) ? symval->number : symbol->number; (symval->number < symbol->number) ? symval->number : symbol->number;
} }
@@ -322,7 +324,8 @@ symbol_pack (symbol_t *this)
this->number = this->alias->number = 0; this->number = this->alias->number = 0;
else else
{ {
assert (this->alias->number != NUMBER_UNDEFINED); if (this->alias->number == NUMBER_UNDEFINED)
abort ();
this->number = this->alias->number; this->number = this->alias->number;
} }
} }
@@ -332,7 +335,8 @@ symbol_pack (symbol_t *this)
} }
else /* this->class == token_sym */ else /* this->class == token_sym */
{ {
assert (this->number != NUMBER_UNDEFINED); if (this->number == NUMBER_UNDEFINED)
abort ();
} }
symbols[this->number] = this; symbols[this->number] = this;