Searched refs:verifier_bug_if (Results 1 – 3 of 3) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | fixups.c | 149 if (verifier_bug_if(subprog < 0, env, "get stack depth: no program at insn %d", start)) in get_callee_stack_depth()
661 if (verifier_bug_if(load_reg == -1, env, in bpf_opt_subreg_zext_lo32_rnd_hi32()
1046 if (verifier_bug_if(subprog < 0, env, "No program to jit at insn %d", in jit_subprogs()
|
| H A D | verifier.c | 356 if (verifier_bug_if(!func, env, "btf_id %u not found", btf_id)) in subprog_returns_void()
5430 if (verifier_bug_if(sidx < 0, env, "callee not found at insn %d", next_insn)) in check_max_stack_depth_subprog()
9513 if (verifier_bug_if(subprog < 0, env, "target of func call at insn %d is not a program", in check_func_call()
13956 if (verifier_bug_if(!can_skip_alu_sanitation(env, insn) in adjust_ptr_min_max_vals()
17542 if (verifier_bug_if(!map, env, "R%d has an empty map pointer", insn->dst_reg)) in check_indirect_jump()
17545 if (verifier_bug_if(map->map_type != BPF_MAP_TYPE_INSN_ARRAY, env, in check_indirect_jump()
17791 if (verifier_bug_if((u32)regs[r].var_off.value != cval, in do_check()
17839 if (verifier_bug_if((BPF_CLASS(insn->code) == BPF_JMP || in do_check()
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 977 #define verifier_bug_if(cond, env, fmt, args...) \ macro
|