Searched refs:nfa_allocated (Results 1 – 4 of 4) sorted by relevance
43 int nfa_allocated = 0; /* keeps track of number of nfa nodes */ variable810 ++nfa_allocated; in new_nfa_node()811 if (nfa_size<=nfa_allocated){ in new_nfa_node()815 nfa_size=nfa_allocated+NFA_MIN; in new_nfa_node()820 nfa_size=2*(nfa_allocated+1); in new_nfa_node()827 nfa_array[nfa_allocated] = t; in new_nfa_node()829 t->node_no = nfa_allocated; in new_nfa_node()
46 int nfa_allocated = 0; /* keeps track of number of nfa nodes */460 ++nfa_allocated;461 if (nfa_size<=nfa_allocated){465 nfa_size=nfa_allocated+NFA_MIN;470 nfa_size=2*(nfa_allocated+1);477 nfa_array[nfa_allocated] = t;479 t->node_no = nfa_allocated;
134 extern int nfa_allocated;
138 reach_list = (unsigned *) malloc((2+nfa_allocated)*sizeof(unsigned));