Searched refs:current_max_dfa_size (Results 1 – 3 of 3) sorted by relevance
264 current_max_dfa_size += MAX_DFA_SIZE_INCREMENT; \266 t = reallocate_integer_array( t, current_max_dfa_size ); \267 stk = reallocate_integer_array( stk, current_max_dfa_size ); \272 if ( ++stkend >= current_max_dfa_size ) \280 if ( ++numstates >= current_max_dfa_size ) \296 stk = allocate_integer_array (current_max_dfa_size);410 nset = allocate_integer_array (current_max_dfa_size); in ntod()
90 int current_max_dfa_size, current_max_xpairs; variable1751 current_max_dfa_size = INITIAL_MAX_DFA_SIZE; in set_up_initial_allocations()
625 extern int current_max_dfa_size, current_max_xpairs;