Symbol: NOT_EXACT
kernel/bpf/verifier.c
19860
if (!rold->precise && exact == NOT_EXACT)
kernel/bpf/verifier.c
20639
if (states_equal(env, &sl->state, cur, loop ? RANGE_WITHIN : NOT_EXACT)) {