verifier_bug_if

kernel/bpf/backtrack.c

23

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

kernel/bpf/backtrack.c

30

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

kernel/bpf/backtrack.c

425

verifier_bug_if(idx + 1 != subseq_idx, env,

kernel/bpf/backtrack.c

926

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

kernel/bpf/fixups.c

1046

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

kernel/bpf/fixups.c

149

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

kernel/bpf/fixups.c

661

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

kernel/bpf/states.c

1583

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

kernel/bpf/states.c

285

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

kernel/bpf/verifier.c

13850

if (verifier_bug_if(!can_skip_alu_sanitation(env, insn)

kernel/bpf/verifier.c

17195

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

kernel/bpf/verifier.c

17198

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

kernel/bpf/verifier.c

17454

if (verifier_bug_if((u32)regs[r].var_off.value != cval,

kernel/bpf/verifier.c

17502

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

kernel/bpf/verifier.c

411

if (verifier_bug_if(!func, env, "btf_id %u not found", btf_id))

kernel/bpf/verifier.c

5187

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

kernel/bpf/verifier.c

9359

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

Linux

kernel/bpf/backtrack.c

kernel/bpf/backtrack.c

kernel/bpf/backtrack.c

kernel/bpf/backtrack.c

kernel/bpf/fixups.c

kernel/bpf/fixups.c

kernel/bpf/fixups.c

kernel/bpf/states.c

kernel/bpf/states.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