34 static struct bpf_verifier_state_list *state_parent_as_list(struct bpf_verifier_state *st)  in state_parent_as_list()
42 				  struct bpf_verifier_state *st);
75 				  struct bpf_verifier_state *st,  in compute_scc_callchain()
160 static int maybe_enter_scc(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in maybe_enter_scc()
185 static int maybe_exit_scc(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in maybe_exit_scc()
228 			    struct bpf_verifier_state *st,  in add_scc_backedge()
260 				  struct bpf_verifier_state *st)  in incomplete_read_marks()
273 int bpf_update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in bpf_update_branch_counts()
276 	struct bpf_verifier_state *parent;  in bpf_update_branch_counts()
475 				 struct bpf_verifier_state *st)  in clean_verifier_state()
869 static bool refsafe(struct bpf_verifier_state *old, struct bpf_verifier_state *cur,  in refsafe()
981 			 struct bpf_verifier_state *old,  in states_equal()
982 			 struct bpf_verifier_state *cur,  in states_equal()
1022 			       const struct bpf_verifier_state *old,  in propagate_precision()
1023 			       struct bpf_verifier_state *cur,  in propagate_precision()
1088 	struct bpf_verifier_state *st;  in propagate_backedges()
1114 static bool states_maybe_looping(struct bpf_verifier_state *old,  in states_maybe_looping()
1115 				 struct bpf_verifier_state *cur)  in states_maybe_looping()
1190 static bool iter_active_depths_differ(struct bpf_verifier_state *old, struct bpf_verifier_state *cu…  in iter_active_depths_differ()
1214 static void mark_all_scalars_imprecise(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in mark_all_scalars_imprecise()
1243 	struct bpf_verifier_state *cur = env->cur_state, *new;  in bpf_is_state_visited()