Home
last modified time | relevance | path

Searched refs:force_exact (Results 1 – 1 of 1) sorted by relevance

/openbmc/linux/kernel/bpf/
H A Dverifier.c16587 bool force_new_state, add_new_state, force_exact; in is_state_visited() local
16757 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()