Lines Matching refs:states
44 transitions *res = xmalloc (offsetof (transitions, states) + states_size); in transitions_new()
46 memcpy (res->states, the_states, states_size); in transitions_new()
64 return shifts->states[j]; in transitions_to()
169 transitions_new (s->transitions->num, s->transitions->states); in state_new_isocore()
420 state_record_reachable_states (s->transitions->states[i], reachable); in state_record_reachable_states()
429 state_record_reachable_states (states[0], reachable); in state_remove_unreachable_states()
434 if (bitset_test (reachable, states[i]->number)) in state_remove_unreachable_states()
436 states[nstates_reachable] = states[i]; in state_remove_unreachable_states()
437 states[nstates_reachable]->number = nstates_reachable; in state_remove_unreachable_states()
442 state_free (states[i]); in state_remove_unreachable_states()
452 state **states = NULL; variable
464 state_free (states[i]); in states_free()
465 free (states); in states_free()