Searched refs:force_exact (Results 1 – 1 of 1) sorted by relevance
18523 bool force_new_state, add_new_state, force_exact; in is_state_visited() local18701 force_exact = loop_entry && loop_entry->branches > 0; in is_state_visited()18702 if (states_equal(env, &sl->state, cur, force_exact ? RANGE_WITHIN : NOT_EXACT)) { in is_state_visited()18703 if (force_exact) in is_state_visited()