Searched refs:current_max_dfa_size (Results 1 – 3 of 3) sorted by relevance
279 current_max_dfa_size += MAX_DFA_SIZE_INCREMENT; \281 t = reallocate_integer_array( t, current_max_dfa_size ); \282 stk = reallocate_integer_array( stk, current_max_dfa_size ); \287 if ( ++stkend >= current_max_dfa_size ) \295 if ( ++numstates >= current_max_dfa_size ) \312 stk = allocate_integer_array( current_max_dfa_size );424 nset = allocate_integer_array( current_max_dfa_size ); in ntod()
94 int current_max_dfa_size, current_max_xpairs; variable1097 current_max_dfa_size = INITIAL_MAX_DFA_SIZE; in set_up_initial_allocations()
608 extern int current_max_dfa_size, current_max_xpairs;