165 static void diag_print_history(struct bpf_verifier_env *env,
177 	struct bpf_verifier_env *env;
225 bool bpf_diag_enabled(const struct bpf_verifier_env *env)  in bpf_diag_enabled()
230 static void diag_write(struct bpf_verifier_env *env, const char *fmt, ...) __printf(2, 3);
232 int bpf_diag_init(struct bpf_verifier_env *env)  in bpf_diag_init()
245 void bpf_diag_init_frame(struct bpf_verifier_env *env, struct bpf_func_state *state)  in bpf_diag_init_frame()
251 static char *diag_fmt_alloc(struct bpf_verifier_env *env, size_t size)  in diag_fmt_alloc()
284 char *bpf_diag_fmt_buf(struct bpf_verifier_env *env, size_t size)  in bpf_diag_fmt_buf()
294 const char *bpf_diag_vfmt(struct bpf_verifier_env *env, const char *fmt, va_list args)  in bpf_diag_vfmt()
312 const char *bpf_diag_fmt(struct bpf_verifier_env *env, const char *fmt, ...)  in bpf_diag_fmt()
323 static struct diag_fmt_mark diag_fmt_save(struct bpf_verifier_env *env)  in diag_fmt_save()
336 static void diag_fmt_restore(struct bpf_verifier_env *env, struct diag_fmt_mark mark)  in diag_fmt_restore()
358 void bpf_diag_free(struct bpf_verifier_env *env)  in bpf_diag_free()
371 static void diag_write(struct bpf_verifier_env *env, const char *fmt, ...)  in diag_write()
395 u64 bpf_diag_event_log_save(struct bpf_verifier_env *env)  in bpf_diag_event_log_save()
402 void bpf_diag_event_log_restore(struct bpf_verifier_env *env, u64 log_pos)  in bpf_diag_event_log_restore()
444 static void diag_append_history(struct bpf_verifier_env *env,  in diag_append_history()
485 static void diag_print_wrapped_prefixed(struct bpf_verifier_env *env, const char *first_prefix,  in diag_print_wrapped_prefixed()
520 const char *bpf_diag_fmt_btf_type(struct bpf_verifier_env *env, const struct btf *btf, u32 type_id)  in bpf_diag_fmt_btf_type()
542 static void diag_vprint_indented(struct bpf_verifier_env *env, const char *fmt, va_list args)
545 static void diag_vprint_indented(struct bpf_verifier_env *env, const char *fmt, va_list args)  in diag_vprint_indented()
608 static void format_disasm_line(struct bpf_verifier_env *env, int insn_idx,  in format_disasm_line()
700 static void bpf_diag_header(struct bpf_verifier_env *env, const char *category,  in bpf_diag_header()
720 static void diag_reason(struct bpf_verifier_env *env, const char *fmt, ...) __printf(2, 3);
721 static void diag_suggestion(struct bpf_verifier_env *env, const char *fmt, ...)
724 static void diag_section(struct bpf_verifier_env *env, const char *title)  in diag_section()
732 static void diag_reason(struct bpf_verifier_env *env, const char *fmt, ...)  in diag_reason()
746 static void diag_suggestion(struct bpf_verifier_env *env, const char *fmt, ...)  in diag_suggestion()
761 static void diag_print_source_annotation(struct bpf_verifier_env *env, int line_width, int indent,  in diag_print_source_annotation()
774 static void diag_print_insn_context(struct bpf_verifier_env *env, u32 insn_idx,  in diag_print_insn_context()
797 static void bpf_diag_source(struct bpf_verifier_env *env, u32 insn_idx, const char *label,  in bpf_diag_source()
901 static const struct bpf_func_state *diag_current_frame(const struct bpf_verifier_env *env)  in diag_current_frame()
906 void bpf_diag_register_type(struct bpf_verifier_env *env, u32 insn_idx, int regno,  in bpf_diag_register_type()
929 const char *bpf_diag_reg_type_plain(struct bpf_verifier_env *env, enum bpf_reg_type type)  in bpf_diag_reg_type_plain()
995 void bpf_diag_call_type(struct bpf_verifier_env *env, u32 insn_idx, int argno, int regno,  in bpf_diag_call_type()
1057 static const char *diag_active_context(struct bpf_verifier_env *env, u32 depth,  in diag_active_context()
1065 static u32 diag_context_depth(struct bpf_verifier_env *env, enum bpf_diag_context_kind kind)  in diag_context_depth()
1082 void bpf_diag_ctx_forbidden(struct bpf_verifier_env *env, u32 insn_idx,  in bpf_diag_ctx_forbidden()
1136 void bpf_diag_ctx_active(struct bpf_verifier_env *env, u32 insn_idx, const char *operation,  in bpf_diag_ctx_active()
1162 void bpf_diag_ctx_required(struct bpf_verifier_env *env, u32 insn_idx, const char *operation,  in bpf_diag_ctx_required()
1177 void bpf_diag_ctx_underflow(struct bpf_verifier_env *env, u32 insn_idx,  in bpf_diag_ctx_underflow()
1201 void bpf_diag_program_structure(struct bpf_verifier_env *env, u32 insn_idx,  in bpf_diag_program_structure()
1220 void bpf_diag_policy(struct bpf_verifier_env *env, u32 insn_idx, const char *operation,  in bpf_diag_policy()
1232 void bpf_diag_invalid_deref(struct bpf_verifier_env *env, u32 insn_idx, int regno,  in bpf_diag_invalid_deref()
1299 void bpf_diag_unreadable_reg(struct bpf_verifier_env *env, u32 insn_idx, int regno)  in bpf_diag_unreadable_reg()
1377 void bpf_diag_stack_arg_uninit(struct bpf_verifier_env *env, u32 insn_idx, int nargs,  in bpf_diag_stack_arg_uninit()
1416 void bpf_diag_memory(struct bpf_verifier_env *env, u32 insn_idx, const char *problem,  in bpf_diag_memory()
1428 void bpf_diag_record_branch(struct bpf_verifier_env *env, u32 insn_idx, bool cond_true)  in bpf_diag_record_branch()
1455 static bool diag_mod_insn_origin(struct bpf_verifier_env *env, u32 insn_idx,  in diag_mod_insn_origin()
1479 static bool diag_mod_keeps_lineage(struct bpf_verifier_env *env,  in diag_mod_keeps_lineage()
1512 static void diag_record_mod(struct bpf_verifier_env *env, u32 insn_idx,  in diag_record_mod()
1548 static struct bpf_reg_state *target_to_reg(struct bpf_verifier_env *env,  in target_to_reg()
1579 static bool reg_to_target(struct bpf_verifier_env *env, const struct bpf_reg_state *reg,  in reg_to_target()
1620 void bpf_diag_mod_begin(struct bpf_verifier_env *env, const struct bpf_reg_state *reg,  in bpf_diag_mod_begin()
1636 void bpf_diag_mod_end(struct bpf_verifier_env *env)  in bpf_diag_mod_end()
1656 void bpf_diag_record_scrub(struct bpf_verifier_env *env, const struct bpf_reg_state *reg,  in bpf_diag_record_scrub()
1666 void bpf_diag_record_scrub_stack(struct bpf_verifier_env *env,  in bpf_diag_record_scrub_stack()
1675 static void diag_record_ref(struct bpf_verifier_env *env, u32 insn_idx, u8 kind, u32 ref_id)  in diag_record_ref()
1688 void bpf_diag_record_ref_acquire(struct bpf_verifier_env *env, u32 insn_idx, u32 ref_id)  in bpf_diag_record_ref_acquire()
1693 void bpf_diag_record_ref_release(struct bpf_verifier_env *env, u32 insn_idx, u32 ref_id)  in bpf_diag_record_ref_release()
1698 void bpf_diag_record_context(struct bpf_verifier_env *env, u32 insn_idx,  in bpf_diag_record_context()
1780 static void diag_build_lineage(struct bpf_verifier_env *env, struct bpf_diag_log *log,  in diag_build_lineage()
1891 static const char *diag_s64_str(struct bpf_verifier_env *env, s64 value)  in diag_s64_str()
1896 static const char *diag_u64_str(struct bpf_verifier_env *env, u64 value)  in diag_u64_str()
1912 static const char *diag_scalar_range(struct bpf_verifier_env *env, struct cnum64 range)  in diag_scalar_range()
1921 const char *bpf_diag_fmt_s64_sum(struct bpf_verifier_env *env, s64 value, int addend)  in bpf_diag_fmt_s64_sum()
1932 static const char *diag_access_offset(struct bpf_verifier_env *env, int off,  in diag_access_offset()
1952 void bpf_diag_mem_bounds(struct bpf_verifier_env *env, u32 insn_idx, int regno,  in bpf_diag_mem_bounds()
1999 static void diag_res_report(struct bpf_verifier_env *env, u32 insn_idx, const char *problem,  in diag_res_report()
2009 void bpf_diag_res(struct bpf_verifier_env *env, u32 insn_idx, const char *problem,  in bpf_diag_res()
2016 void bpf_diag_lock(struct bpf_verifier_env *env, u32 insn_idx, const char *problem,  in bpf_diag_lock()
2032 void bpf_diag_irq(struct bpf_verifier_env *env, u32 insn_idx, const char *problem,  in bpf_diag_irq()
2053 void bpf_diag_leak(struct bpf_verifier_env *env, u32 ref_id, u32 alloc_insn, u32 fail_insn)  in bpf_diag_leak()
2075 static const char *diag_var_offset(struct bpf_verifier_env *env,  in diag_var_offset()
2098 static const char *diag_reg_snapshot(struct bpf_verifier_env *env,  in diag_reg_snapshot()
2164 static const char *diag_mod_target_desc(struct bpf_verifier_env *env,  in diag_mod_target_desc()
2179 static void diag_print_mod(struct bpf_verifier_env *env, const struct bpf_diag_history_event *event)  in diag_print_mod()
2237 static void diag_print_ref_event(struct bpf_verifier_env *env,  in diag_print_ref_event()
2264 static void diag_print_context_event(struct bpf_verifier_env *env,  in diag_print_context_event()
2272 static void diag_print_history(struct bpf_verifier_env *env,  in diag_print_history()