Searched refs:reg_bounds_sanity_check (Results 1 – 1 of 1) sorted by relevance
| /linux-6.12.1/kernel/bpf/ |
| D | verifier.c | 2258 static int reg_bounds_sanity_check(struct bpf_verifier_env *env, in reg_bounds_sanity_check() function
2388 return reg_bounds_sanity_check(env, reg, "s32_range"); in __mark_reg_s32_range()
10213 return reg_bounds_sanity_check(env, ret_reg, "retval"); in do_refine_retval_range()
14528 return reg_bounds_sanity_check(env, ®s[insn->dst_reg], "alu"); in check_alu_op()
15075 err = reg_bounds_sanity_check(env, true_reg1, "true_reg1"); in reg_set_min_max()
15076 err = err ?: reg_bounds_sanity_check(env, true_reg2, "true_reg2"); in reg_set_min_max()
15077 err = err ?: reg_bounds_sanity_check(env, false_reg1, "false_reg1"); in reg_set_min_max()
15078 err = err ?: reg_bounds_sanity_check(env, false_reg2, "false_reg2"); in reg_set_min_max()
18427 err = err ?: reg_bounds_sanity_check(env, ®s[insn->dst_reg], "ldx"); in do_check()
|