Searched refs:verifier_bug_if (Results 1 – 5 of 5) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | backtrack.c | 23 verifier_bug_if((env->cur_hist_ent->flags & insn_flags) && in bpf_push_jmp_history()
30 verifier_bug_if(env->cur_hist_ent->linked_regs != 0, env, in bpf_push_jmp_history()
424 verifier_bug_if(idx + 1 != subseq_idx, env, in backtrack_insn()
935 if (verifier_bug_if(i >= func->allocated_stack / BPF_REG_SIZE, in bpf_mark_chain_precision()
|
| H A D | states.c | 285 verifier_bug_if((int)br < 0, env, "%s:branches_to_explore=%d", __func__, br); in bpf_update_branch_counts()
1583 verifier_bug_if(new->branches != 1, env, in bpf_is_state_visited()
|
| H A D | fixups.c | 211 if (verifier_bug_if(subprog < 0, env, "get stack depth: no program at insn %d", start)) in get_callee_stack_depth()
739 if (verifier_bug_if(load_reg == -1, env, in bpf_opt_subreg_zext_lo32_rnd_hi32()
983 if (verifier_bug_if(bpf_may_fault_on_deref(ptr_type), env, in bpf_convert_ctx_accesses()
1109 if (verifier_bug_if(subprog < 0, env, "No program to jit at insn %d", in jit_subprogs()
|
| H A D | verifier.c | 406 if (verifier_bug_if(!func, env, "btf_id %u not found", btf_id)) in subprog_returns_void()
5442 if (verifier_bug_if(sidx < 0, env, "callee not found at insn %d", next_insn)) in check_max_stack_depth_subprog()
9937 if (verifier_bug_if(subprog < 0, env, "target of func call at insn %d is not a program", in check_func_call()
14844 if (verifier_bug_if(!can_skip_alu_sanitation(env, insn) in adjust_ptr_min_max_vals()
18254 if (verifier_bug_if(!map, env, "R%d has an empty map pointer", insn->dst_reg)) in check_indirect_jump()
18257 if (verifier_bug_if(map->map_type != BPF_MAP_TYPE_INSN_ARRAY, env, in check_indirect_jump()
18541 if (verifier_bug_if((u32)regs[r].var_off.value != cval, in do_check()
18589 if (verifier_bug_if((BPF_CLASS(insn->code) == BPF_JMP || in do_check()
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 1101 #define verifier_bug_if(cond, env, fmt, args...) \ macro
|