Home
last modified time | relevance | path

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

/kernel/bpf/
Dverifier.c12088 static int propagate_liveness(struct bpf_verifier_env *env, in propagate_liveness() function
12283 err = propagate_liveness(env, &sl->state, cur); in is_state_visited()