Lines Matching refs:current_max_dfas
163 while ( lastdfa + 1 >= current_max_dfas )789 acc_array = allocate_integer_array( current_max_dfas );