Home
last modified time | relevance | path

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

/linux-6.15/kernel/bpf/
H A Dverifier.c18302 NOT_EXACT, enumerator
18315 if (!(rold->live & REG_LIVE_READ) && exact == NOT_EXACT) in regsafe()
18319 if (exact == NOT_EXACT || rcur->type == NOT_INIT) in regsafe()
18357 if (!rold->precise && exact == NOT_EXACT) in regsafe()
18488 if (exact != NOT_EXACT && in stacksafe()
18495 && exact == NOT_EXACT) { in stacksafe()
19176 if (states_equal(env, &sl->state, cur, force_exact ? RANGE_WITHIN : NOT_EXACT)) { in is_state_visited()