Searched refs:current_max_dfa_size (Results 1 – 3 of 3) sorted by relevance
263 current_max_dfa_size += MAX_DFA_SIZE_INCREMENT; \265 t = reallocate_integer_array( t, current_max_dfa_size ); \266 stk = reallocate_integer_array( stk, current_max_dfa_size ); \271 if ( ++stkend >= current_max_dfa_size ) \279 if ( ++numstates >= current_max_dfa_size ) \295 stk = allocate_integer_array (current_max_dfa_size);409 nset = allocate_integer_array (current_max_dfa_size); in ntod()
87 int current_max_dfa_size, current_max_xpairs; variable1748 current_max_dfa_size = INITIAL_MAX_DFA_SIZE; in set_up_initial_allocations()
624 extern int current_max_dfa_size, current_max_xpairs;