bpf_update_branch_counts
int bpf_update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st);
err = bpf_update_branch_counts(env, env->cur_state);