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

/linux-master/kernel/bpf/
H A Dverifier.c16873 static bool states_equal(struct bpf_verifier_env *env, function
17250 if (states_equal(env, &sl->state, cur, RANGE_WITHIN)) {
17260 /* current state is valid due to states_equal(),
17274 if (states_equal(env, &sl->state, cur, RANGE_WITHIN)) {
17281 if (states_equal(env, &sl->state, cur, RANGE_WITHIN))
17287 states_equal(env, &sl->state, cur, EXACT) &&
17331 * | ... ... if 'succ' and 'cur' are states_equal().
17345 if (states_equal(env, &sl->state, cur, force_exact ? RANGE_WITHIN : NOT_EXACT)) {

Completed in 141 milliseconds