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