12 static bool is_may_goto_insn_at(struct bpf_verifier_env *env, int insn_idx)  in is_may_goto_insn_at()
17 static bool is_iter_next_insn(struct bpf_verifier_env *env, int insn_idx)  in is_iter_next_insn()
22 static void update_peak_states(struct bpf_verifier_env *env)  in update_peak_states()
41 static bool incomplete_read_marks(struct bpf_verifier_env *env,
48 static void maybe_free_verifier_state(struct bpf_verifier_env *env,  in maybe_free_verifier_state()
74 static bool compute_scc_callchain(struct bpf_verifier_env *env,  in compute_scc_callchain()
97 static struct bpf_scc_visit *scc_visit_lookup(struct bpf_verifier_env *env,  in scc_visit_lookup()
116 static struct bpf_scc_visit *scc_visit_alloc(struct bpf_verifier_env *env,  in scc_visit_alloc()
140 static char *format_callchain(struct bpf_verifier_env *env, struct bpf_scc_callchain *callchain)  in format_callchain()
160 static int maybe_enter_scc(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in maybe_enter_scc()
179 static int propagate_backedges(struct bpf_verifier_env *env, struct bpf_scc_visit *visit);
185 static int maybe_exit_scc(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in maybe_exit_scc()
227 static int add_scc_backedge(struct bpf_verifier_env *env,  in add_scc_backedge()
259 static bool incomplete_read_marks(struct bpf_verifier_env *env,  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()
398 static void __clean_func_state(struct bpf_verifier_env *env,  in __clean_func_state()
474 static int clean_verifier_state(struct bpf_verifier_env *env,  in clean_verifier_state()
507 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold,  in regsafe()
674 static bool is_stack_misc_after(struct bpf_verifier_env *env,  in is_stack_misc_after()
690 static struct bpf_reg_state *scalar_reg_for_stack(struct bpf_verifier_env *env,  in scalar_reg_for_stack()
702 static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old,  in stacksafe()
847 static bool stack_arg_safe(struct bpf_verifier_env *env, struct bpf_func_state *old,  in stack_arg_safe()
945 static bool func_states_equal(struct bpf_verifier_env *env, struct bpf_func_state *old,  in func_states_equal()
972 static void reset_idmap_scratch(struct bpf_verifier_env *env)  in reset_idmap_scratch()
980 static bool states_equal(struct bpf_verifier_env *env,  in states_equal()
1021 static int propagate_precision(struct bpf_verifier_env *env,  in propagate_precision()
1085 static int propagate_backedges(struct bpf_verifier_env *env, struct bpf_scc_visit *visit)  in propagate_backedges()
1214 static void mark_all_scalars_imprecise(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in mark_all_scalars_imprecise()
1239 int bpf_is_state_visited(struct bpf_verifier_env *env, int insn_idx)  in bpf_is_state_visited()