Home
last modified time | relevance | path

Searched refs:known (Results 1 – 1 of 1) sorted by relevance

/kernel/bpf/
Dverifier.c4281 bool known = tnum_is_const(reg->var_off); in check_reg_sane_offset() local
4285 if (known && (val >= BPF_MAX_VAR_OFF || val <= -BPF_MAX_VAR_OFF)) { in check_reg_sane_offset()
4617 bool known = tnum_is_const(off_reg->var_off); in adjust_ptr_min_max_vals() local
4629 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_ptr_min_max_vals()
4653 if (known && smin_val == 0 && opcode == BPF_ADD) in adjust_ptr_min_max_vals()
4693 if (known && (ptr_reg->off + smin_val == in adjust_ptr_min_max_vals()
4755 if (known && (ptr_reg->off - smin_val == in adjust_ptr_min_max_vals()