include/linux/bpf_verifier.h

1074

verifier_bug(env, fmt " (" #cond ")", ##args); \

kernel/bpf/backtrack.c

150

verifier_bug(bt->env, "subprog enter from frame %d", bt->frame);

kernel/bpf/backtrack.c

160

verifier_bug(bt->env, "subprog exit from frame 0");

kernel/bpf/backtrack.c

432

verifier_bug(env, "global subprog unexpected regs %x",

kernel/bpf/backtrack.c

447

verifier_bug(env, "static subprog unexpected regs %x",

kernel/bpf/backtrack.c

455

verifier_bug(env,

kernel/bpf/backtrack.c

468

verifier_bug(env,

kernel/bpf/backtrack.c

486

verifier_bug(env, "callback unexpected regs %x",

kernel/bpf/backtrack.c

491

verifier_bug(env, "callback leftover stack slots %llx",

kernel/bpf/backtrack.c

514

verifier_bug(env, "backtracking call unexpected regs %x",

kernel/bpf/backtrack.c

538

verifier_bug(env, "backtracking exit unexpected regs %x",

kernel/bpf/backtrack.c

820

verifier_bug(env, "backtracking misuse");

kernel/bpf/backtrack.c

862

verifier_bug(env, "backtracking func entry subprog %d reg_mask %x stack_mask %llx",

kernel/bpf/backtrack.c

899

verifier_bug(env, "backtracking idx %d", i);

kernel/bpf/btf.c

7995

verifier_bug(env, "func_info undefined");

kernel/bpf/btf.c

8019

verifier_bug(env, "unreliable BTF for function %s()", tname);

kernel/bpf/cfg.c

144

verifier_bug(env, "insn state internal bug");

kernel/bpf/cfg.c

602

verifier_bug(env, "visit_insn internal bug");

kernel/bpf/cfg.c

610

verifier_bug(env, "pop stack internal bug");

kernel/bpf/fixups.c

1460

verifier_bug(env, "only one hidden subprog supported");

kernel/bpf/fixups.c

1689

verifier_bug(env, "%d insns generated for ld_abs", cnt);

kernel/bpf/fixups.c

2006

verifier_bug(env, "%d insns generated for map lookup", cnt);

kernel/bpf/fixups.c

2336

verifier_bug(env,

kernel/bpf/fixups.c

2372

verifier_bug(env, "stack_slots supports may_goto only");

kernel/bpf/fixups.c

2408

verifier_bug(env, "poke tab is misconfigured");

kernel/bpf/fixups.c

707

verifier_bug(env, "epilogue is too long");

kernel/bpf/fixups.c

730

verifier_bug(env, "gen_prologue is null");

kernel/bpf/fixups.c

736

verifier_bug(env, "prologue is too long");

kernel/bpf/fixups.c

922

verifier_bug(env, "narrow ctx access misconfigured");

kernel/bpf/fixups.c

941

verifier_bug(env, "error during ctx access conversion (%d)", cnt);

kernel/bpf/fixups.c

949

verifier_bug(env, "narrow ctx load misconfigured");

kernel/bpf/states.c

207

verifier_bug(env, "scc exit: no visit info for call chain %s",

kernel/bpf/states.c

235

verifier_bug(env, "add backedge: no SCC in verification path, insn_idx %d",

kernel/bpf/states.c

241

verifier_bug(env, "add backedge: no visit info for call chain %s",

kernel/bpf/verifier.c

10213

verifier_bug(env, "func %s#%d: r1 != ctx", func_id_name(func_id), func_id);

kernel/bpf/verifier.c

10222

verifier_bug(env, "incorrect func proto %s#%d", func_id_name(func_id), func_id);

kernel/bpf/verifier.c

10443

verifier_bug(env, "unexpected null map_ptr");

kernel/bpf/verifier.c

10534

verifier_bug(env, "func %s has non-overwritten BPF_PTR_POISON return type",

kernel/bpf/verifier.c

11450

verifier_bug(env, "unknown irq flags kfunc");

kernel/bpf/verifier.c

11496

verifier_bug(env, "%s w/o active lock", __func__);

kernel/bpf/verifier.c

11501

verifier_bug(env, "NON_OWN_REF already set");

kernel/bpf/verifier.c

11587

verifier_bug(env, "unknown reg type for lock check");

kernel/bpf/verifier.c

11769

verifier_bug(env, "unexpected btf mismatch in kfunc call");

kernel/bpf/verifier.c

11800

verifier_bug(env, "repeating %s arg", head_type_name);

kernel/bpf/verifier.c

11837

verifier_bug(env, "unexpected btf mismatch in kfunc call");

kernel/bpf/verifier.c

11974

verifier_bug(env, "Only 1 prog->aux argument supported per-kfunc");

kernel/bpf/verifier.c

12000

verifier_bug(env, "only one constant argument permitted");

kernel/bpf/verifier.c

12158

verifier_bug(env, "unknown kfunc arg type %d", kf_arg_type);

kernel/bpf/verifier.c

12233

verifier_bug(env, "no dynptr type for parent of clone");

kernel/bpf/verifier.c

12393

verifier_bug(env, "only one constant argument permitted");

kernel/bpf/verifier.c

12427

verifier_bug(env, "Couldn't find btf_record");

kernel/bpf/verifier.c

12880

verifier_bug(env, "bpf_dynptr_slice(_rdwr) no constant size");

kernel/bpf/verifier.c

12900

verifier_bug(env, "no dynptr id");

kernel/bpf/verifier.c

13591

verifier_bug(env, "unknown reason (%d)", reason);

kernel/bpf/verifier.c

16228

verifier_bug(env, "pseudo btf id: unexpected dst reg type");

kernel/bpf/verifier.c

16273

verifier_bug(env, "unexpected src reg value for ldimm64");

kernel/bpf/verifier.c

16320

verifier_bug(env, "gen_ld_abs is null");

kernel/bpf/verifier.c

18456

verifier_bug(env, "unhandled arg#%d type %d",

kernel/bpf/verifier.c

19647

verifier_bug(env, "kernel function descriptor not found for func_id %u",

kernel/bpf/verifier.c

19665

verifier_bug(env, "NULL kptr_struct_meta expected at insn_idx %d",

kernel/bpf/verifier.c

19682

verifier_bug(env, "NULL kptr_struct_meta expected at insn_idx %d",

kernel/bpf/verifier.c

19688

verifier_bug(env, "kptr_struct_meta expected at insn_idx %d",

kernel/bpf/verifier.c

19713

verifier_bug(env, "kptr_struct_meta expected at insn_idx %d",

kernel/bpf/verifier.c

2135

verifier_bug(env, "REG INVARIANTS VIOLATION (%s): %s r64={.base=%#llx, .size=%#llx} "

kernel/bpf/verifier.c

2226

verifier_bug(env, "unexpected reg_type %d in %s\n", reg_type, __func__);

kernel/bpf/verifier.c

245

verifier_bug(env, "function expects only one referenced object but got %d\n",

kernel/bpf/verifier.c

5191

verifier_bug(env, "subprog has tail_call and async cb");

kernel/bpf/verifier.c

541

verifier_bug(env, "unhandled async callback in is_async_cb_sleepable");

kernel/bpf/verifier.c

5794

verifier_bug(env, "reg->btf must be kernel btf");

kernel/bpf/verifier.c

5814

verifier_bug(env, "allocated object must have a referenced id");

kernel/bpf/verifier.c

7128

verifier_bug(env, "unsupported BTF field type: %s\n", struct_name);

kernel/bpf/verifier.c

7137

verifier_bug(env, "Two map pointers in a %s helper", struct_name);

kernel/bpf/verifier.c

7625

verifier_bug(env, "unexpected iterator state %d (%s)",

kernel/bpf/verifier.c

7636

verifier_bug(env, "bad parent state for iter next call");

kernel/bpf/verifier.c

7695

verifier_bug(env, "invalid map_ptr to access map->type");

kernel/bpf/verifier.c

7844

verifier_bug(env, "unsupported arg type %d", arg_type);

kernel/bpf/verifier.c

7927

verifier_bug(env, "missing arg compatible BTF ID");

kernel/bpf/verifier.c

7966

verifier_bug(env, "unimplemented handling of MEM_ALLOC");

kernel/bpf/verifier.c

7984

verifier_bug(env, "invalid PTR_TO_BTF_ID register for type match");

kernel/bpf/verifier.c

8321

verifier_bug(env, "invalid map_ptr to access map->key");

kernel/bpf/verifier.c

8348

verifier_bug(env, "invalid map_ptr to access map->value");

kernel/bpf/verifier.c

8378

verifier_bug(env, "spin lock arg on unexpected helper");

kernel/bpf/verifier.c

9096

verifier_bug(env, "Frame %d already allocated", state->curframe + 1);

kernel/bpf/verifier.c

9232

verifier_bug(env, "unrecognized %s type %d",

kernel/bpf/verifier.c

9296

verifier_bug(env, "kfunc %s#%d not marked as callback-calling",

kernel/bpf/verifier.c

9301

verifier_bug(env, "helper %s#%d not marked as callback-calling",

kernel/bpf/verifier.c

9757

verifier_bug(env, "in callback at %d, callsite %d !calls_callback",

kernel/bpf/verifier.c

9883

verifier_bug(env, "expected map for helper call");