verifier_bug_if

kernel/bpf/verifier.c

10895

if (verifier_bug_if(subprog < 0, env, "target of func call at insn %d is not a program",

kernel/bpf/verifier.c

15092

if (verifier_bug_if(!can_skip_alu_sanitation(env, insn)

kernel/bpf/verifier.c

2072

verifier_bug_if((int)br < 0, env, "%s:branches_to_explore=%d", __func__, br);

kernel/bpf/verifier.c

20818

verifier_bug_if(new->branches != 1, env,

kernel/bpf/verifier.c

21038

if (verifier_bug_if(!map, env, "R%d has an empty map pointer", insn->dst_reg))

kernel/bpf/verifier.c

21041

if (verifier_bug_if(map->map_type != BPF_MAP_TYPE_INSN_ARRAY, env,

kernel/bpf/verifier.c

21390

if (verifier_bug_if((BPF_CLASS(insn->code) == BPF_JMP ||

kernel/bpf/verifier.c

22495

if (verifier_bug_if(load_reg == -1, env,

kernel/bpf/verifier.c

22844

if (verifier_bug_if(subprog < 0, env, "No program to jit at insn %d",

kernel/bpf/verifier.c

4098

verifier_bug_if((env->cur_hist_ent->flags & insn_flags) &&

kernel/bpf/verifier.c

4103

verifier_bug_if(env->cur_hist_ent->linked_regs != 0, env,

kernel/bpf/verifier.c

4524

verifier_bug_if(idx + 1 != subseq_idx, env,

kernel/bpf/verifier.c

5044

if (verifier_bug_if(i >= func->allocated_stack / BPF_REG_SIZE,

kernel/bpf/verifier.c

6841

if (verifier_bug_if(sidx < 0, env, "callee not found at insn %d", next_insn))

kernel/bpf/verifier.c

6952

if (verifier_bug_if(subprog < 0, env, "get stack depth: no program at insn %d", start))

Linux

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c

kernel/bpf/verifier.c