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