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

/linux-master/kernel/bpf/
H A Dverifier.c1488 * In is_state_visited() it is necessary to know if explored states are
1604 * - handle cases B and C in is_state_visited();
1729 * 2. is_state_visited() heuristics may decide not to create
4118 * is_state_visited() would enforce strict and precise SCALAR ranges, if
4868 * has its liveness marks cleared by is_state_visited()
7954 * Iteration convergence logic in is_state_visited() relies on exact
8021 * checkpoint created for cur_st by is_state_visited()
9906 * converges is_state_visited() would prune that visit eventually.
15717 * is_state_visited() check before call itself is
15746 * is_state_visited() migh
17163 static int is_state_visited(struct bpf_verifier_env *env, int insn_idx) function
[all...]

Completed in 184 milliseconds