Searched refs:states_equal (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | states.c | 980 static bool states_equal(struct bpf_verifier_env *env, in states_equal() function
1333 if (states_equal(env, &sl->state, cur, RANGE_WITHIN)) { in bpf_is_state_visited()
1358 states_equal(env, &sl->state, cur, RANGE_WITHIN)) { in bpf_is_state_visited()
1364 if (states_equal(env, &sl->state, cur, RANGE_WITHIN)) { in bpf_is_state_visited()
1372 states_equal(env, &sl->state, cur, EXACT) && in bpf_is_state_visited()
1405 if (states_equal(env, &sl->state, cur, loop ? RANGE_WITHIN : NOT_EXACT)) { in bpf_is_state_visited()
|