X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/c21493b89f5f5dd49e1f46d311326d5d4f49f8a4..9b33de72cd2469bedac2b5f0a48a8782571ea9db:/src/state.c diff --git a/src/state.c b/src/state.c index 83e0108f..280a2f41 100644 --- a/src/state.c +++ b/src/state.c @@ -61,8 +61,7 @@ transitions_to (transitions *shifts, symbol_number sym) int j; for (j = 0; ; j++) { - if (shifts->num <= j) - abort (); + aver (j < shifts->num); if (TRANSITION_SYMBOL (shifts, j) == sym) return shifts->states[j]; } @@ -106,7 +105,7 @@ reductions_new (int num, rule **reds) size_t rules_size = num * sizeof *reds; reductions *res = xmalloc (offsetof (reductions, rules) + rules_size); res->num = num; - res->look_ahead_tokens = NULL; + res->lookahead_tokens = NULL; memcpy (res->rules, reds, rules_size); return res; } @@ -136,8 +135,7 @@ state_new (symbol_number accessing_symbol, state *res; size_t items_size = nitems * sizeof *core; - if (STATE_NUMBER_MAXIMUM <= nstates) - abort (); + aver (nstates < STATE_NUMBER_MAXIMUM); res = xmalloc (offsetof (state, items) + items_size); res->number = nstates++; @@ -178,7 +176,7 @@ state_free (state *s) void state_transitions_set (state *s, int num, state **trans) { - assert (!s->transitions); + aver (!s->transitions); s->transitions = transitions_new (num, trans); } @@ -190,7 +188,7 @@ state_transitions_set (state *s, int num, state **trans) void state_reductions_set (state *s, int num, rule **reds) { - assert (!s->reductions); + aver (!s->reductions); s->reductions = reductions_new (num, reds); } @@ -214,33 +212,32 @@ state_reduction_find (state *s, rule *r) void state_errs_set (state *s, int num, symbol **tokens) { - if (s->errs) - abort (); + aver (!s->errs); s->errs = errs_new (num, tokens); } -/*---------------------------------------------------. -| Print on OUT all the look-ahead tokens such that S | -| wants to reduce R. | -`---------------------------------------------------*/ +/*--------------------------------------------------. +| Print on OUT all the lookahead tokens such that S | +| wants to reduce R. | +`--------------------------------------------------*/ void -state_rule_look_ahead_tokens_print (state *s, rule *r, FILE *out) +state_rule_lookahead_tokens_print (state *s, rule *r, FILE *out) { /* Find the reduction we are handling. */ reductions *reds = s->reductions; int red = state_reduction_find (s, r); /* Print them if there are. */ - if (reds->look_ahead_tokens && red != -1) + if (reds->lookahead_tokens && red != -1) { bitset_iterator biter; int k; char const *sep = ""; fprintf (out, " ["); - BITSET_FOR_EACH (biter, reds->look_ahead_tokens[red], k, 0) + BITSET_FOR_EACH (biter, reds->lookahead_tokens[red], k, 0) { fprintf (out, "%s%s", sep, symbols[k]->tag); sep = ", ";