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

/linux-master/kernel/bpf/
H A Dverifier.c17171 bool force_exact; local
17320 * 'force_exact' is needed to catch the following case:
17344 force_exact = loop_entry && loop_entry->branches > 0;
17345 if (states_equal(env, &sl->state, cur, force_exact ? RANGE_WITHIN : NOT_EXACT)) {
17346 if (force_exact)

Completed in 126 milliseconds