149 	size_t state_count, trans_count;  in verify_table_headers()  local
158 	state_count = tables[YYTD_ID_BASE]->td_lolen;  in verify_table_headers()
162 		if (state_count != tables[YYTD_ID_ACCEPT]->td_lolen)  in verify_table_headers()
168 		if (state_count != tables[YYTD_ID_ACCEPT2]->td_lolen)  in verify_table_headers()
171 	if (state_count != tables[YYTD_ID_DEF]->td_lolen)  in verify_table_headers()
199 	size_t i, state_count, trans_count;  in verify_dfa()  local
202 	state_count = dfa->tables[YYTD_ID_BASE]->td_lolen;  in verify_dfa()
204 	if (state_count == 0)  in verify_dfa()
206 	for (i = 0; i < state_count; i++) {  in verify_dfa()
208 		    (DEFAULT_TABLE(dfa)[i] >= state_count))  in verify_dfa()
237 		if (NEXT_TABLE(dfa)[i] >= state_count)  in verify_dfa()
239 		if (CHECK_TABLE(dfa)[i] >= state_count)  in verify_dfa()
244 	for (i = 0; i < state_count; i++) {  in verify_dfa()