Searched refs:update_branch_counts (Results 1 – 2 of 2) sorted by relevance
532 Once the ``BPF_EXIT`` instruction is reached ``update_branch_counts()`` is
2025 static int update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st) in update_branch_counts() function 19504 * from `update_branch_counts()`. For states with `branches == 0`, it in is_state_visited() 20131 err = update_branch_counts(env, env->cur_state); in do_check()