Searched refs:force_exact (Results 1 – 1 of 1) sorted by relevance
16587 bool force_new_state, add_new_state, force_exact; in is_state_visited() local16757 force_exact = loop_entry && loop_entry->branches > 0; in is_state_visited()16758 if (states_equal(env, &sl->state, cur, force_exact)) { in is_state_visited()16759 if (force_exact) in is_state_visited()