Searched refs:reg_bounds_sanity_check (Results 1 – 1 of 1) sorted by relevance
/linux/kernel/bpf/ |
H A D | verifier.c | 2475 static int reg_bounds_sanity_check(struct bpf_verifier_env *env, in reg_bounds_sanity_check() function 2605 return reg_bounds_sanity_check(env, reg, "s32_range"); in __mark_reg_s32_range() 10666 return reg_bounds_sanity_check(env, ret_reg, "retval"); in do_refine_retval_range() 15142 return reg_bounds_sanity_check(env, ®s[insn->dst_reg], "alu"); in check_alu_op() 15689 err = reg_bounds_sanity_check(env, true_reg1, "true_reg1"); in reg_set_min_max() 15690 err = err ?: reg_bounds_sanity_check(env, true_reg2, "true_reg2"); in reg_set_min_max() 15691 err = err ?: reg_bounds_sanity_check(env, false_reg1, "false_reg1"); in reg_set_min_max() 15692 err = err ?: reg_bounds_sanity_check(env, false_reg2, "false_reg2"); in reg_set_min_max() 19071 err = err ?: reg_bounds_sanity_check(env, ®s[insn->dst_reg], "ldx"); in do_check()
|