Searched refs:states_equal (Results 1 – 2 of 2) sorted by relevance
| /linux-6.12.1/Documentation/bpf/ |
| D | verifier.rst | 317 This is implemented in states_equal().
541 called from ``states_equal()`` when a state cache entry is considered for
|
| /linux-6.12.1/kernel/bpf/ |
| D | verifier.c | 17577 static bool states_equal(struct bpf_verifier_env *env, in states_equal() function
17963 if (states_equal(env, &sl->state, cur, RANGE_WITHIN)) { in is_state_visited()
17988 states_equal(env, &sl->state, cur, RANGE_WITHIN)) { in is_state_visited()
17994 if (states_equal(env, &sl->state, cur, RANGE_WITHIN)) in is_state_visited()
18000 states_equal(env, &sl->state, cur, EXACT) && in is_state_visited()
18058 if (states_equal(env, &sl->state, cur, force_exact ? RANGE_WITHIN : NOT_EXACT)) { in is_state_visited()
|