Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c14444 s64 smin_val = reg_smin(off_reg), smax_val = reg_smax(off_reg); in adjust_ptr_min_max_vals() local
14454 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_ptr_min_max_vals()
14455 smin_val > smax_val || umin_val > umax_val) { in adjust_ptr_min_max_vals()
14514 if (known && smin_val == 0 && opcode == BPF_ADD) in adjust_ptr_min_max_vals()
14641 if ((!known && smin_val < 0) || dst_reg->range < 0) in adjust_ptr_min_max_vals()