Home
last modified time | relevance | path

Searched refs:verifier_bug (Results 1 – 7 of 7) sorted by relevance

/linux/kernel/bpf/
H A Dbacktrack.c150 verifier_bug(bt->env, "subprog enter from frame %d", bt->frame); in bt_subprog_enter()
160 verifier_bug(bt->env, "subprog exit from frame 0"); in bt_subprog_exit()
431 verifier_bug(env, "global subprog unexpected regs %x", in backtrack_insn()
446 verifier_bug(env, "static subprog unexpected regs %x", in backtrack_insn()
454 verifier_bug(env, in backtrack_insn()
467 verifier_bug(env, in backtrack_insn()
485 verifier_bug(env, "callback unexpected regs %x", in backtrack_insn()
490 verifier_bug(env, "callback leftover stack slots %llx", in backtrack_insn()
513 verifier_bug(env, "backtracking call unexpected regs %x", in backtrack_insn()
537 verifier_bug(env, "backtracking exit unexpected regs %x", in backtrack_insn()
[all …]
H A Dfixups.c760 verifier_bug(env, "epilogue is too long"); in bpf_convert_ctx_accesses()
783 verifier_bug(env, "gen_prologue is null"); in bpf_convert_ctx_accesses()
789 verifier_bug(env, "prologue is too long"); in bpf_convert_ctx_accesses()
980 verifier_bug(env, "narrow ctx access misconfigured"); in bpf_convert_ctx_accesses()
999 verifier_bug(env, "error during ctx access conversion (%d)", cnt); in bpf_convert_ctx_accesses()
1007 verifier_bug(env, "narrow ctx load misconfigured"); in bpf_convert_ctx_accesses()
1487 verifier_bug(env, "only one hidden subprog supported"); in add_hidden_subprog()
1713 verifier_bug(env, "%d insns generated for ld_abs", cnt); in bpf_do_misc_fixups()
2069 verifier_bug(env, "%d insns generated for map lookup", cnt); in bpf_do_misc_fixups()
2404 verifier_bug(env, in bpf_do_misc_fixups()
[all …]
H A Dcfg.c154 verifier_bug(env, "insn state internal bug"); in push_insn()
627 verifier_bug(env, "visit_insn internal bug"); in bpf_check_cfg()
635 verifier_bug(env, "pop stack internal bug"); in bpf_check_cfg()
H A Dverifier.c251 verifier_bug(env, "function expects only one referenced object but got %d\n", in validate_ref_obj()
527 verifier_bug(env, "unhandled async callback in is_async_cb_sleepable"); in is_async_cb_sleepable()
2169 verifier_bug(env, "REG INVARIANTS VIOLATION (%s): %s r64={.base=%#llx, .size=%#llx} " in reg_bounds_sanity_check()
2257 verifier_bug(env, "unexpected reg_type %d in %s\n", reg_type, __func__); in mark_btf_ld_reg()
6006 verifier_bug(env, "reg->btf must be kernel btf"); in check_ptr_to_btf_access()
6025 verifier_bug(env, "allocated object must have a referenced id"); in check_ptr_to_btf_access()
7173 verifier_bug(env, "only one allocation size argument permitted"); in process_const_alloc_mem_size()
7207 verifier_bug(env, "only one constant argument permitted"); in process_const_arg()
7446 verifier_bug(env, "unsupported BTF field type: %s\n", struct_name); in check_map_field_pointer()
7455 verifier_bug(env, "Two map pointers in a %s helper", struct_name); in check_map_field_pointer()
[all …]
H A Dstates.c207 verifier_bug(env, "scc exit: no visit info for call chain %s", in maybe_exit_scc()
235 verifier_bug(env, "add backedge: no SCC in verification path, insn_idx %d", in add_scc_backedge()
241 verifier_bug(env, "add backedge: no visit info for call chain %s", in add_scc_backedge()
H A Dbtf.c8012 verifier_bug(env, "func_info undefined"); in btf_prepare_func_args()
8036 verifier_bug(env, "unreliable BTF for function %s()", tname); in btf_prepare_func_args()
/linux/include/linux/
H A Dbpf_verifier.h1101 verifier_bug(env, fmt " (" #cond ")", ##args); \
1104 #define verifier_bug(env, fmt, args...) \ macro