Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c14850 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, in adjust_ptr_min_max_vals() local
14861 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_ptr_min_max_vals()
14862 smin_val > smax_val || umin_val > umax_val) { in adjust_ptr_min_max_vals()
14972 check_add_overflow(smax_ptr, smax_val, &dst_reg->smax_value)) { in adjust_ptr_min_max_vals()
15022 if (check_sub_overflow(smin_ptr, smax_val, &dst_reg->smin_value) || in adjust_ptr_min_max_vals()