Searched refs:locked_states (Results 1 – 2 of 2) sorted by relevance
850 int locked_states; member7742 automaton->locked_states = 0; in output_dead_lock_vect()7757 automaton->locked_states++; in output_dead_lock_vect()7762 if (automaton->locked_states == 0) in output_dead_lock_vect()8247 if (automaton->locked_states) in output_internal_dead_lock_func()9098 int locked_states = 0; in output_statistics() local9121 fprintf (f, " %d locked states\n", automaton->locked_states); in output_statistics()9139 locked_states in output_statistics()9140 += automaton->locked_states; in output_statistics()9151 fprintf (f, "%5d all locked states\n", locked_states); in output_statistics()
21170 (struct automaton): Add locked_states field.21172 automaton->locked_states. If it is zero, don't print anything.