(allocate_itemsets): Use xnmalloc, not xcalloc,

to allocate kernel_base, kernel_items, kernel_size, since
they needn't be initialized to 0.
(set_states): Don't reuse kernel_size and kernel_base
for initial core.  Just have a separate core, so we needn't worry
about whether kernel_size and kernel_base are initialized.
(shift_symbol, redset, shiftset, kernel_base,
kernel_size, kernel_items): Remove unnecessary initialization.
This commit is contained in:
Paul Eggert
2004-12-10 07:48:43 +00:00
parent 8175837596
commit 86a54ab102

View File

@@ -59,7 +59,7 @@ static state_list *last_state = NULL;
static state * static state *
state_list_append (symbol_number sym, size_t core_size, item_number *core) state_list_append (symbol_number sym, size_t core_size, item_number *core)
{ {
state_list *node = MALLOC (node, 1); state_list *node = xmalloc (sizeof *node);
state *s = state_new (sym, core_size, core); state *s = state_new (sym, core_size, core);
if (trace_flag & trace_automaton) if (trace_flag & trace_automaton)
@@ -84,14 +84,14 @@ state_list_append (symbol_number sym, size_t core_size, item_number *core)
} }
static int nshifts; static int nshifts;
static symbol_number *shift_symbol = NULL; static symbol_number *shift_symbol;
static rule **redset = NULL; static rule **redset;
static state **shiftset = NULL; static state **shiftset;
static item_number **kernel_base = NULL; static item_number **kernel_base;
static int *kernel_size = NULL; static int *kernel_size;
static item_number *kernel_items = NULL; static item_number *kernel_items;
static void static void
@@ -106,8 +106,8 @@ allocate_itemsets (void)
browsed too, hence we need to allocate room for _all_ the browsed too, hence we need to allocate room for _all_ the
symbols. */ symbols. */
int count = 0; int count = 0;
short int *symbol_count = CALLOC (symbol_count, short int *symbol_count = xcalloc (nsyms + nuseless_nonterminals,
nsyms + nuseless_nonterminals); sizeof *symbol_count);
for (r = 0; r < nrules; ++r) for (r = 0; r < nrules; ++r)
for (rhsp = rules[r].rhs; *rhsp >= 0; ++rhsp) for (rhsp = rules[r].rhs; *rhsp >= 0; ++rhsp)
@@ -122,9 +122,8 @@ allocate_itemsets (void)
appears as an item, which is SYMBOL_COUNT[S]. appears as an item, which is SYMBOL_COUNT[S].
We allocate that much space for each symbol. */ We allocate that much space for each symbol. */
CALLOC (kernel_base, nsyms); kernel_base = xnmalloc (nsyms, sizeof *kernel_base);
if (count) kernel_items = xnmalloc (count, sizeof *kernel_items);
CALLOC (kernel_items, count);
count = 0; count = 0;
for (i = 0; i < nsyms; i++) for (i = 0; i < nsyms; i++)
@@ -134,7 +133,7 @@ allocate_itemsets (void)
} }
free (symbol_count); free (symbol_count);
CALLOC (kernel_size, nsyms); kernel_size = xnmalloc (nsyms, sizeof *kernel_size);
} }
@@ -143,10 +142,10 @@ allocate_storage (void)
{ {
allocate_itemsets (); allocate_itemsets ();
CALLOC (shiftset, nsyms); shiftset = xnmalloc (nsyms, sizeof *shiftset);
CALLOC (redset, nrules); redset = xnmalloc (nrules, sizeof *redset);
state_hash_new (); state_hash_new ();
CALLOC (shift_symbol, nsyms); shift_symbol = xnmalloc (nsyms, sizeof *shift_symbol);
} }
@@ -252,7 +251,7 @@ append_states (state *s)
{ {
symbol_number sym = shift_symbol[i]; symbol_number sym = shift_symbol[i];
int j; int j;
for (j = i; 0 < j && sym < shift_symbol [j - 1]; j--) for (j = i; 0 < j && sym < shift_symbol[j - 1]; j--)
shift_symbol[j] = shift_symbol[j - 1]; shift_symbol[j] = shift_symbol[j - 1];
shift_symbol[j] = sym; shift_symbol[j] = sym;
} }
@@ -297,7 +296,7 @@ save_reductions (state *s)
static void static void
set_states (void) set_states (void)
{ {
CALLOC (states, nstates); states = xcalloc (nstates, sizeof *states);
while (first_state) while (first_state)
{ {
@@ -331,15 +330,14 @@ set_states (void)
void void
generate_states (void) generate_states (void)
{ {
item_number initial_core = 0;
state_list *list = NULL; state_list *list = NULL;
allocate_storage (); allocate_storage ();
new_closure (nritems); new_closure (nritems);
/* Create the initial state. The 0 at the lhs is the index of the /* Create the initial state. The 0 at the lhs is the index of the
item of this initial rule. */ item of this initial rule. */
kernel_base[0][0] = 0; state_list_append (0, 1, &initial_core);
kernel_size[0] = 1;
state_list_append (0, kernel_size[0], kernel_base[0]);
list = first_state; list = first_state;