Searched refs:current_max_dfa_size (Results 1 – 4 of 4) sorted by relevance
272 current_max_dfa_size += MAX_DFA_SIZE_INCREMENT; \274 t = reallocate_integer_array( t, current_max_dfa_size ); \275 stk = reallocate_integer_array( stk, current_max_dfa_size ); \280 if ( ++stkend >= current_max_dfa_size ) \288 if ( ++numstates >= current_max_dfa_size ) \305 stk = allocate_integer_array( current_max_dfa_size );417 nset = allocate_integer_array( current_max_dfa_size ); in ntod()
87 int current_max_dfa_size, current_max_xpairs; variable1090 current_max_dfa_size = INITIAL_MAX_DFA_SIZE; in set_up_initial_allocations()
600 extern int current_max_dfa_size, current_max_xpairs;
283 X+ #define current_max_dfa_size c__max__size